Trace number 3369063

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.21 1203.13

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v100-c2130-S815408325-054.UNKNOWN.cnf
MD5SUM9830e1bf79d13e57ceeaa969f4476a02
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark313.374
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of clauses2130
Sum of the clauses size10650
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 52130
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3369063-1305411188.cnf'
0.00/0.00	c -- header says num vars:            100
0.00/0.00	c -- header says num clauses:        2130
0.00/0.00	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.00	c -- vars added        100
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       100      2130         0         0     10650         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.02
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
0.00/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:      51 undec:       3 neg:      46
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.10	c  B st     0         0       100      2130         0         0     10650         0   no data   no data  --
0.00/0.10	c Decided on static restart strategy
0.77/0.20	c  N st     8      4918       100      2130         0      4585     10650    100891   no data   no data  --
0.77/0.29	c  N st    10     11304       100      2130         0      4253     10650     75614   no data   no data  --
1.57/0.49	c  N st    11     17049       100      2130         0      9571     10650    188286   no data   no data  --
3.17/0.81	c  F st    12     25000       100      2130         0     11669     10650    231696   no data   no data  --
3.17/0.81	c  N st    12     25000       100      2130         0     11669     10650    231696   no data   no data  --
3.97/1.01	c Decided on static restart strategy
3.97/1.01	c  N st    18     30000       100      2130         0     10033     10650    187008   no data   no data  --
3.97/1.01	c  S st    18     30000       100      2130         0     10033     10650    187008   no data   no data  --
3.97/1.04	c  S st    18     30504       100      2130         0     10515     10650    197501   no data   no data  --
3.97/1.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.97/1.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3.97/1.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
3.97/1.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.97/1.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.97/1.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.97/1.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.56/1.49	c lits-rem:      2310  cl-subs:     1886  v-elim:      0  v-fix:    0  time:  1.75 s
5.96/1.53	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.17
5.96/1.53	c calculated reachability. Time: 0.00
5.96/1.53	c  N st    18     30504       100      2130         0      8629     10650    154896   no data   no data  --
7.15/1.89	c  N st    20     37619       100      2130         0      7951     10650    129625   no data   no data  --
8.36/2.18	c  N st    21     44018       100      2130         0     13878     10650    258772   no data   no data  --
8.77/2.28	c  S st    22     45756       100      2130         0     15493     10650    293474   no data   no data  --
9.19/2.32	c  S st    22     46259       100      2130         0     15982     10650    304208   no data   no data  --
9.19/2.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.19/2.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.19/2.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
9.19/2.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.19/2.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
9.19/2.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
13.93/3.55	c lits-rem:      3301  cl-subs:     2056  v-elim:      0  v-fix:    0  time:  4.84 s
13.93/3.55	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
13.93/3.56	c vivif2 --  cl tried    13926 cl shrink        0 lits rem          0 time: 0.01
14.33/3.62	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.24
14.33/3.62	c calculated reachability. Time: 0.00
14.33/3.62	c  N st    22     46259       100      2130         0     13926     10650    257056   no data   no data  --
17.13/4.40	c  N st    23     60657       100      2130         0      9824     10650    146369   no data   no data  --
19.12/4.84	c  N st    24     69389       100      2130         0     17884     10650    323384   no data   no data  --
19.12/4.84	c  S st    24     69389       100      2130         0     17884     10650    323384   no data   no data  --
19.12/4.89	c  S st    24     69899       100      2130         0     18377     10650    334245   no data   no data  --
19.12/4.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
19.12/4.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.12/4.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
19.53/4.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
19.53/4.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
19.53/4.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
19.53/4.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.71/6.20	c lits-rem:      3594  cl-subs:     2325  v-elim:      0  v-fix:    0  time:  5.16 s
24.71/6.20	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
24.71/6.20	c vivif2 --  cl tried    16052 cl shrink        0 lits rem          0 time: 0.01
24.71/6.27	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.28
24.71/6.27	c calculated reachability. Time: 0.00
24.71/6.27	c  N st    24     69899       100      2130         0     16052     10650    281941   no data   no data  --
28.70/7.29	c  F st    25     87500       100      2130         0     11223     10650    161563   no data   no data  --
28.70/7.29	c  N st    25     87500       100      2130         0     11223     10650    161563   no data   no data  --
29.90/7.57	c Decided on static restart strategy
30.71/7.77	c  N st    32     95540       100      2130         0     18639     10650    315071   no data   no data  --
33.09/8.37	c  N st    34    104848       100      2130         0     15280     10650    246607   no data   no data  --
33.09/8.37	c  S st    34    104848       100      2130         0     15280     10650    246607   no data   no data  --
33.49/8.42	c  S st    34    105351       100      2130         0     15762     10650    257187   no data   no data  --
33.49/8.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
33.49/8.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
33.49/8.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
33.49/8.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
33.49/8.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
33.49/8.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
33.49/8.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
37.48/9.45	c lits-rem:      1774  cl-subs:     1237  v-elim:      0  v-fix:    0  time:  4.03 s
37.48/9.45	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
37.48/9.45	c vivif2 --  cl tried    14525 cl shrink        0 lits rem          0 time: 0.01
37.88/9.51	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.24
37.88/9.51	c calculated reachability. Time: 0.00
37.88/9.51	c  N st    34    105351       100      2130         0     14525     10650    229303   no data   no data  --
40.26/10.10	c  N st    35    114949       100      2130         0     23400     10650    417631   no data   no data  --
43.47/10.98	c  N st    36    129347       100      2130         0     23811     10650    415238   no data   no data  --
49.85/12.52	c  N st    37    150942       100      2130         0     15162     10650    203157   no data   no data  --
51.45/12.91	c  S st    38    158026       100      2130         0     21756     10650    349654   no data   no data  --
51.45/12.97	c  S st    38    158529       100      2130         0     22244     10650    360656   no data   no data  --
51.45/12.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
51.45/12.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.45/12.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
51.45/12.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
51.45/12.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.45/12.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
51.45/12.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
56.63/14.22	c lits-rem:      2848  cl-subs:     2153  v-elim:      0  v-fix:    0  time:  4.95 s
56.63/14.22	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
56.63/14.23	c vivif2 --  cl tried    20091 cl shrink        0 lits rem          0 time: 0.01
57.05/14.31	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.31
57.05/14.31	c calculated reachability. Time: 0.00
57.05/14.31	c  N st    38    158529       100      2130         0     20091     10650    312169   no data   no data  --
72.58/18.20	c  N st    39    207117       100      2130         0     32599     10650    552352   no data   no data  --
83.38/20.93	c  N st    40    237794       100      2130         0     25013     10650    376840   no data   no data  --
83.38/20.93	c  S st    40    237794       100      2130         0     25013     10650    376840   no data   no data  --
83.38/20.99	c  S st    40    238296       100      2130         0     25496     10650    387545   no data   no data  --
83.38/20.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
83.38/20.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
83.38/21.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
83.80/21.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
83.80/21.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.80/21.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
83.80/21.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
88.94/22.38	c lits-rem:      2153  cl-subs:     2340  v-elim:      0  v-fix:    0  time:  5.45 s
88.94/22.38	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
88.94/22.38	c vivif2 --  cl tried    23156 cl shrink        0 lits rem          0 time: 0.01
89.34/22.48	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.38
89.34/22.48	c calculated reachability. Time: 0.00
89.34/22.48	c  N st    40    238296       100      2130         0     23156     10650    339114   no data   no data  --
112.89/28.35	c  F st    41    306251       100      2130         0     25017     10650    341889   no data   no data  --
112.89/28.35	c  N st    41    306251       100      2130         0     25017     10650    341889   no data   no data  --
114.88/28.83	c Decided on static restart strategy
123.65/31.07	c  N st    51    334559       100      2130         0     29113     10650    425492   no data   no data  --
133.63/33.54	c  N st    53    357444       100      2130         0     27226     10650    369187   no data   no data  --
133.63/33.54	c  S st    53    357444       100      2130         0     27226     10650    369187   no data   no data  --
134.03/33.61	c  S st    53    357948       100      2130         0     27710     10650    380117   no data   no data  --
134.03/33.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
134.03/33.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
134.03/33.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
134.03/33.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
134.03/33.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
134.03/33.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
134.03/33.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
138.41/34.79	c lits-rem:      1835  cl-subs:     1365  v-elim:      0  v-fix:    0  time:  4.61 s
138.41/34.79	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
138.41/34.79	c vivif2 --  cl tried    26345 cl shrink        0 lits rem          0 time: 0.02
139.21/34.91	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.45
139.21/34.91	c calculated reachability. Time: 0.00
139.21/34.91	c  N st    53    357948       100      2130         0     26345     10650    351059   no data   no data  --
154.77/38.86	c  N st    54    390340       100      2130         0     32171     10650    468103   no data   no data  --
176.32/44.23	c  N st    55    438930       100      2130         0     26271     10650    320404   no data   no data  --
206.68/51.88	c  N st    56    511812       100      2130         0     38805     10650    556227   no data   no data  --
217.41/54.56	c  N st    57    536922       100      2130         0     33441     10650    439478   no data   no data  --
217.41/54.56	c  S st    57    536922       100      2130         0     33441     10650    439478   no data   no data  --
217.82/54.65	c  S st    57    537427       100      2130         0     33922     10650    450387   no data   no data  --
217.82/54.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
217.82/54.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
217.82/54.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
217.82/54.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
217.82/54.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
217.82/54.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
217.82/54.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
223.82/56.13	c lits-rem:      2071  cl-subs:     1623  v-elim:      0  v-fix:    0  time:  5.79 s
223.82/56.13	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
223.82/56.13	c vivif2 --  cl tried    32299 cl shrink        0 lits rem          0 time: 0.02
224.23/56.27	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.58
224.23/56.28	c calculated reachability. Time: 0.00
224.23/56.28	c  N st    57    537427       100      2130         0     32299     10650    417277   no data   no data  --
306.79/76.92	c  N st    58    701411       100      2130         0     59667     10650    943302   no data   no data  --
363.85/91.29	c  N st    59    806140       100      2130         0     54107     10650    795658   no data   no data  --
363.85/91.29	c  S st    59    806140       100      2130         0     54107     10650    795658   no data   no data  --
364.68/91.44	c  S st    59    806643       100      2130         0     54584     10650    806656   no data   no data  --
364.68/91.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
364.68/91.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
364.68/91.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
364.68/91.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
364.68/91.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
364.68/91.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
364.68/91.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
384.59/96.47	c lits-rem:      1797  cl-subs:     6788  v-elim:      0  v-fix:    0  time: 19.90 s
384.59/96.47	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
384.59/96.48	c vivif2 --  cl tried    47796 cl shrink        0 lits rem          0 time: 0.03
385.79/96.73	c asymm  cl-useful: 0/1909/2130 lits-rem:0 time: 0.99
385.79/96.73	c calculated reachability. Time: 0.00
385.79/96.73	c  N st    59    806643       100      2130         0     47796     10650    682001   no data   no data  --
542.99/136.10	c  F st    60   1071875       100      2130         0     62995     10650    907393   no data   no data  --
542.99/136.10	c  N st    60   1071875       100      2130         0     62995     10650    907393   no data   no data  --
546.98/137.13	c Decided on static restart strategy
564.54/141.56	c  N st    70   1100179       100      2130         0     48013     10650    615109   no data   no data  --
590.07/147.91	c  N st    72   1136174       100      2130         0     81201     10650   1342186   no data   no data  --
610.45/153.07	c  N st    73   1168566       100      2130         0     68737     10650   1044030   no data   no data  --
641.18/160.73	c  N st    74   1209965       100      2130         0     63637     10650    937536   no data   no data  --
641.18/160.73	c  S st    74   1209965       100      2130         0     63637     10650    937536   no data   no data  --
641.93/160.93	c  S st    74   1210469       100      2130         0     64108     10650    948312   no data   no data  --
641.93/160.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
641.93/160.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
641.93/160.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
641.93/160.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
641.93/160.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
641.93/160.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
641.93/160.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
670.67/168.19	c lits-rem:       915  cl-subs:     5494  v-elim:      0  v-fix:    0  time: 28.76 s
670.67/168.19	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
671.07/168.20	c vivif2 --  cl tried    58614 cl shrink        0 lits rem          0 time: 0.04
672.26/168.53	c asymm  cl-useful: 0/1632/2130 lits-rem:0 time: 1.29
672.26/168.53	c calculated reachability. Time: 0.00
672.26/168.53	c  N st    74   1210469       100      2130         0     58614     10650    832287   no data   no data  --
727.32/182.32	c  N st    75   1283351       100      2130         0     81452     10650   1295201   no data   no data  --
805.93/202.03	c  N st    76   1392674       100      2130         0     91097     10650   1484776   no data   no data  --
943.18/236.45	c  N st    77   1556659       100      2130         0     98032     10650   1561192   no data   no data  --
1055.29/264.52	c  N st    78   1710470       100      2130         0     88177     10650   1354352   no data   no data  --
1055.29/264.52	c  S st    78   1710470       100      2130         0     88177     10650   1354352   no data   no data  --
1056.09/264.79	c  S st    78   1710974       100      2130         0     88660     10650   1365445   no data   no data  --
1056.49/264.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1056.49/264.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1056.49/264.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.15
1056.49/264.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1056.49/264.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1056.49/264.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1056.49/264.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1133.08/284.05	c lits-rem:      2120  cl-subs:    10887  v-elim:      0  v-fix:    0  time: 76.47 s
1133.08/284.05	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1133.08/284.07	c vivif2 --  cl tried    77773 cl shrink        0 lits rem          0 time: 0.06
1134.69/284.49	c asymm  cl-useful: 0/1236/2130 lits-rem:0 time: 1.68
1134.69/284.49	c calculated reachability. Time: 0.00
1134.69/284.49	c  N st    78   1710974       100      2130         0     77773     10650   1156271   no data   no data  --
1447.90/362.94	c  N st    79   2079938       100      2130         0     89006     10650   1268806   no data   no data  --
1562.42/391.63	c  N st    80   2210974       100      2130         0     92984     10650   1358834   no data   no data  --
1562.42/391.63	c  S st    80   2210974       100      2130         0     92984     10650   1358834   no data   no data  --
1563.59/391.95	c  S st    80   2211475       100      2130         0     93463     10650   1369808   no data   no data  --
1563.59/391.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1563.59/391.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1564.00/392.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1564.00/392.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1564.00/392.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1564.00/392.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1564.00/392.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1628.26/408.12	c lits-rem:      5568  cl-subs:    10943  v-elim:      0  v-fix:    0  time: 64.15 s
1628.26/408.12	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1628.26/408.13	c vivif2 --  cl tried    82520 cl shrink        0 lits rem          0 time: 0.06
1629.43/408.45	c asymm  cl-useful: 0/894/2130 lits-rem:0 time: 1.25
1629.43/408.45	c calculated reachability. Time: 0.00
1629.43/408.45	c  N st    80   2211475       100      2130         0     82520     10650   1156106   no data   no data  --
2099.84/526.30	c  N st    81   2711475       100      2130         0    105452     10650   1576913   no data   no data  --
2099.84/526.30	c  S st    81   2711475       100      2130         0    105452     10650   1576913   no data   no data  --
2101.04/526.63	c  S st    81   2711979       100      2130         0    105935     10650   1588012   no data   no data  --
2101.04/526.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2101.04/526.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2101.04/526.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
2101.44/526.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2101.44/526.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2101.44/526.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2101.44/526.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2191.61/549.37	c lits-rem:      4943  cl-subs:    11613  v-elim:      0  v-fix:    0  time: 90.29 s
2191.61/549.37	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2191.61/549.39	c vivif2 --  cl tried    94322 cl shrink        0 lits rem          0 time: 0.07
2193.21/549.72	c asymm  cl-useful: 0/1056/2130 lits-rem:0 time: 1.32
2193.21/549.72	c calculated reachability. Time: 0.00
2193.21/549.72	c  N st    81   2711979       100      2130         0     94322     10650   1365045   no data   no data  --
2770.53/694.48	c  N st    82   3211980       100      2130         0     71859     10650    772838   no data   no data  --
2770.53/694.48	c  S st    82   3211980       100      2130         0     71859     10650    772838   no data   no data  --
2771.74/694.70	c  S st    82   3212482       100      2130         0     72342     10650    783753   no data   no data  --
2771.74/694.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2771.74/694.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2771.74/694.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.11
2771.74/694.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2771.74/694.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2771.74/694.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2771.74/694.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2789.69/699.28	c lits-rem:       332  cl-subs:      385  v-elim:      0  v-fix:    0  time: 18.05 s
2789.69/699.28	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2789.69/699.29	c vivif2 --  cl tried    71957 cl shrink        0 lits rem          0 time: 0.04
2790.90/699.58	c asymm  cl-useful: 0/1074/2130 lits-rem:0 time: 1.13
2790.90/699.58	c calculated reachability. Time: 0.00
2790.90/699.58	c  N st    82   3212482       100      2130         0     71957     10650    776816   no data   no data  --
3368.22/844.26	c  N st    83   3712482       100      2130         0     82339     10650    942040   no data   no data  --
3368.22/844.26	c  S st    83   3712482       100      2130         0     82339     10650    942040   no data   no data  --
3369.42/844.51	c  S st    83   3712985       100      2130         0     82825     10650    953194   no data   no data  --
3369.42/844.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3369.42/844.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3369.42/844.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
3369.42/844.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3369.42/844.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3369.42/844.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3369.42/844.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3392.59/850.33	c lits-rem:       505  cl-subs:     1414  v-elim:      0  v-fix:    0  time: 22.93 s
3392.59/850.33	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3392.59/850.34	c vivif2 --  cl tried    81411 cl shrink        0 lits rem          0 time: 0.05
3393.76/850.63	c asymm  cl-useful: 0/1231/2130 lits-rem:0 time: 1.16
3393.76/850.63	c calculated reachability. Time: 0.00
3393.76/850.63	c  N st    83   3712985       100      2130         0     81411     10650    921727   no data   no data  --
3430.88/859.92	c  F st    84   3751562       100      2130         0    116706     10650   1696015   no data   no data  --
3430.88/859.92	c  N st    84   3751562       100      2130         0    116706     10650   1696015   no data   no data  --
3438.45/861.89	c Decided on static restart strategy
3470.77/869.96	c  N st    94   3779865       100      2130         0    142701     10650   2268072   no data   no data  --
3514.26/880.85	c  N st    96   3815860       100      2130         0     98232     10650   1285892   no data   no data  --
3555.40/891.13	c  N st    97   3848254       100      2130         0    127978     10650   1948178   no data   no data  --
3621.99/907.85	c  N st    98   3896843       100      2130         0     93650     10650   1146023   no data   no data  --
3730.95/935.14	c  N st    99   3969726       100      2130         0     80841     10650    864185   no data   no data  --
3863.77/968.49	c  N st   100   4079051       100      2130         0    100403     10650   1269151   no data   no data  --
4042.15/1013.16	c  N st   101   4212985       100      2130         0    141329     10650   2164588   no data   no data  --
4042.15/1013.16	c  S st   101   4212985       100      2130         0    141329     10650   2164588   no data   no data  --
4044.52/1013.73	c  S st   101   4213488       100      2130         0    141809     10650   2175174   no data   no data  --
4044.52/1013.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4044.52/1013.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4044.92/1013.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.33
4045.31/1013.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4045.31/1013.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4045.31/1013.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4045.31/1013.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4451.84/1115.88	c lits-rem:      6476  cl-subs:    16654  v-elim:      0  v-fix:    0  time: 406.78 s
4451.84/1115.88	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4452.24/1115.91	c vivif2 --  cl tried   125155 cl shrink        0 lits rem          0 time: 0.11
4454.23/1116.40	c asymm  cl-useful: 0/630/2130 lits-rem:0 time: 1.97
4454.23/1116.41	c calculated reachability. Time: 0.00
4454.23/1116.41	c  N st   101   4213488       100      2130         0    125155     10650   1841411   no data   no data  --

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3369063-1305411188/watcher-3369063-1305411188 -o /tmp/evaluation-result-3369063-1305411188/solver-3369063-1305411188 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369063-1305411188.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.45 8.00 8.05 5/320 15114
/proc/meminfo: memFree=28004848/32950928 swapFree=60199044/67111528
[pid=15114] ppid=15112 vsize=207908 CPUtime=0 cores=0,2,4,6
/proc/15114/stat : 15114 (strangenight1-m) R 15112 15114 14558 0 -1 4202496 611 0 0 0 0 0 0 0 25 0 4 0 652717606 212897792 524 33554432000 4194304 4650419 140733698928272 18446744073709551615 4520021 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15114/statm: 51977 524 343 112 0 46942 0
[pid=15114/tid=15115] ppid=15112 vsize=216364 CPUtime=0 cores=0,2,4,6
/proc/15114/task/15115/stat : 15115 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 95 0 0 0 0 0 0 0 25 0 4 0 652717606 221556736 697 33554432000 4194304 4650419 140733698928272 18446744073709551615 4371151 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15114/tid=15116] ppid=15112 vsize=216364 CPUtime=0 cores=0,2,4,6
/proc/15114/task/15116/stat : 15116 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 86 0 0 0 0 0 0 0 25 0 4 0 652717606 221556736 697 33554432000 4194304 4650419 140733698928272 18446744073709551615 268272794094 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15114/tid=15117] ppid=15112 vsize=216364 CPUtime=0 cores=0,2,4,6
/proc/15114/task/15117/stat : 15117 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 90 0 0 0 0 0 0 0 25 0 4 0 652717606 221556736 697 33554432000 4194304 4650419 140733698928272 18446744073709551615 268272349893 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.1107 s]
/proc/loadavg: 7.45 8.00 8.05 5/320 15114
/proc/meminfo: memFree=28004848/32950928 swapFree=60199044/67111528
[pid=15114] ppid=15112 vsize=217420 CPUtime=0.41 cores=0,2,4,6
/proc/15114/stat : 15114 (strangenight1-m) R 15112 15114 14558 0 -1 4202496 1769 0 0 0 41 0 0 0 25 0 4 0 652717606 222638080 1628 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15114/statm: 54355 1628 389 112 0 49320 0
[pid=15114/tid=15115] ppid=15112 vsize=217420 CPUtime=0.1 cores=0,2,4,6
/proc/15114/task/15115/stat : 15115 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 360 0 0 0 10 0 0 0 25 0 4 0 652717606 222638080 1628 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15114/tid=15116] ppid=15112 vsize=217420 CPUtime=0.1 cores=0,2,4,6
/proc/15114/task/15116/stat : 15116 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 369 0 0 0 10 0 0 0 25 0 4 0 652717606 222638080 1628 33554432000 4194304 4650419 140733698928272 18446744073709551615 4328361 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15114/tid=15117] ppid=15112 vsize=217420 CPUtime=0.1 cores=0,2,4,6
/proc/15114/task/15117/stat : 15117 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 235 0 0 0 10 0 0 0 25 0 4 0 652717606 222638080 1629 33554432000 4194304 4650419 140733698928272 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 217420

[startup+0.200685 s]
/proc/loadavg: 7.45 8.00 8.05 5/320 15114
/proc/meminfo: memFree=28004848/32950928 swapFree=60199044/67111528
[pid=15114] ppid=15112 vsize=218760 CPUtime=0.77 cores=0,2,4,6
/proc/15114/stat : 15114 (strangenight1-m) R 15112 15114 14558 0 -1 4202496 2498 0 0 0 77 0 0 0 25 0 4 0 652717606 224010240 1832 33554432000 4194304 4650419 140733698928272 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15114/statm: 54690 1832 391 112 0 49655 0
[pid=15114/tid=15115] ppid=15112 vsize=218760 CPUtime=0.19 cores=0,2,4,6
/proc/15114/task/15115/stat : 15115 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 548 0 0 0 19 0 0 0 25 0 4 0 652717606 224010240 1832 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15114/tid=15116] ppid=15112 vsize=218760 CPUtime=0.19 cores=0,2,4,6
/proc/15114/task/15116/stat : 15116 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 541 0 0 0 19 0 0 0 25 0 4 0 652717606 224010240 1832 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15114/tid=15117] ppid=15112 vsize=218760 CPUtime=0.19 cores=0,2,4,6
/proc/15114/task/15117/stat : 15117 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 407 0 0 0 19 0 0 0 25 0 4 0 652717606 224010240 1832 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 218760

[startup+0.300667 s]
/proc/loadavg: 7.45 8.00 8.05 5/320 15114
/proc/meminfo: memFree=28004848/32950928 swapFree=60199044/67111528
[pid=15114] ppid=15112 vsize=219348 CPUtime=1.17 cores=0,2,4,6
/proc/15114/stat : 15114 (strangenight1-m) R 15112 15114 14558 0 -1 4202496 3133 0 0 0 117 0 0 0 25 0 4 0 652717606 224612352 2061 33554432000 4194304 4650419 140733698928272 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15114/statm: 54837 2061 391 112 0 49802 0
[pid=15114/tid=15115] ppid=15112 vsize=219348 CPUtime=0.29 cores=0,2,4,6
/proc/15114/task/15115/stat : 15115 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 757 0 0 0 29 0 0 0 25 0 4 0 652717606 224612352 2062 33554432000 4194304 4650419 140733698928272 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15114/tid=15116] ppid=15112 vsize=219348 CPUtime=0.29 cores=0,2,4,6
/proc/15114/task/15116/stat : 15116 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 642 0 0 0 29 0 0 0 25 0 4 0 652717606 224612352 2062 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15114/tid=15117] ppid=15112 vsize=219348 CPUtime=0.29 cores=0,2,4,6
/proc/15114/task/15117/stat : 15117 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 515 0 0 0 29 0 0 0 25 0 4 0 652717606 224612352 2062 33554432000 4194304 4650419 140733698928272 18446744073709551615 4333858 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 219348

[startup+0.700596 s]
/proc/loadavg: 7.45 8.00 8.05 5/320 15114
/proc/meminfo: memFree=28004848/32950928 swapFree=60199044/67111528
[pid=15114] ppid=15112 vsize=220804 CPUtime=2.77 cores=0,2,4,6
/proc/15114/stat : 15114 (strangenight1-m) R 15112 15114 14558 0 -1 4202496 5073 0 0 0 277 0 0 0 25 0 4 0 652717606 226103296 2602 33554432000 4194304 4650419 140733698928272 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15114/statm: 55201 2602 391 112 0 50166 0
[pid=15114/tid=15115] ppid=15112 vsize=220804 CPUtime=0.69 cores=0,2,4,6
/proc/15114/task/15115/stat : 15115 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 1194 0 0 0 69 0 0 0 25 0 4 0 652717606 226103296 2602 33554432000 4194304 4650419 140733698928272 18446744073709551615 4363280 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15114/tid=15116] ppid=15112 vsize=220804 CPUtime=0.68 cores=0,2,4,6
/proc/15114/task/15116/stat : 15116 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 1216 0 0 0 68 0 0 0 25 0 4 0 652717606 226103296 2602 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15114/tid=15117] ppid=15112 vsize=220804 CPUtime=0.69 cores=0,2,4,6
/proc/15114/task/15117/stat : 15117 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 1014 0 0 0 69 0 0 0 25 0 4 0 652717606 226103296 2602 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 220804

[startup+1.50046 s]
/proc/loadavg: 7.45 8.00 8.05 9/324 15118
/proc/meminfo: memFree=27975180/32950928 swapFree=60199044/67111528
[pid=15114] ppid=15112 vsize=222064 CPUtime=5.96 cores=0,2,4,6
/proc/15114/stat : 15114 (strangenight1-m) R 15112 15114 14558 0 -1 4202496 9998 0 0 0 595 1 0 0 25 0 4 0 652717606 227393536 5233 33554432000 4194304 4650419 140733698928272 18446744073709551615 4371092 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15114/statm: 55516 5233 393 112 0 50481 0
[pid=15114/tid=15115] ppid=15112 vsize=222064 CPUtime=1.49 cores=0,2,4,6
/proc/15114/task/15115/stat : 15115 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 2886 0 0 0 149 0 0 0 25 0 4 0 652717606 227393536 5233 33554432000 4194304 4650419 140733698928272 18446744073709551615 4306748 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15114/tid=15116] ppid=15112 vsize=222064 CPUtime=1.47 cores=0,2,4,6
/proc/15114/task/15116/stat : 15116 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 2076 0 0 0 147 0 0 0 25 0 4 0 652717606 227393536 5233 33554432000 4194304 4650419 140733698928272 18446744073709551615 4360491 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15114/tid=15117] ppid=15112 vsize=222064 CPUtime=1.48 cores=0,2,4,6
/proc/15114/task/15117/stat : 15117 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 1718 0 0 0 148 0 0 0 25 0 4 0 652717606 227393536 5233 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 222064

[startup+3.10117 s]
/proc/loadavg: 7.45 8.00 8.05 9/324 15118
/proc/meminfo: memFree=27944376/32950928 swapFree=60199044/67111528
[pid=15114] ppid=15112 vsize=238164 CPUtime=12.35 cores=0,2,4,6
/proc/15114/stat : 15114 (strangenight1-m) R 15112 15114 14558 0 -1 4202496 17414 0 0 0 1233 2 0 0 25 0 4 0 652717606 243879936 11028 33554432000 4194304 4650419 140733698928272 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15114/statm: 59541 11028 393 112 0 54506 0
[pid=15114/tid=15115] ppid=15112 vsize=238164 CPUtime=3.09 cores=0,2,4,6
/proc/15114/task/15115/stat : 15115 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 5269 0 0 0 309 0 0 0 25 0 4 0 652717606 243879936 11028 33554432000 4194304 4650419 140733698928272 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15114/tid=15116] ppid=15112 vsize=238164 CPUtime=3.06 cores=0,2,4,6
/proc/15114/task/15116/stat : 15116 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 3986 0 0 0 306 0 0 0 25 0 4 0 652717606 243879936 11028 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15114/tid=15117] ppid=15112 vsize=238164 CPUtime=3.08 cores=0,2,4,6
/proc/15114/task/15117/stat : 15117 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 3497 0 0 0 308 0 0 0 25 0 4 0 652717606 243879936 11028 33554432000 4194304 4650419 140733698928272 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 238164

[startup+6.3006 s]
/proc/loadavg: 7.50 8.00 8.05 9/324 15118
/proc/meminfo: memFree=27900232/32950928 swapFree=60199044/67111528
[pid=15114] ppid=15112 vsize=247928 CPUtime=25.11 cores=0,2,4,6
/proc/15114/stat : 15114 (strangenight1-m) R 15112 15114 14558 0 -1 4202496 23827 0 0 0 2507 4 0 0 25 0 4 0 652717606 253878272 13022 33554432000 4194304 4650419 140733698928272 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15114/statm: 61982 13022 393 112 0 56947 0
[pid=15114/tid=15115] ppid=15112 vsize=247928 CPUtime=6.29 cores=0,2,4,6
/proc/15114/task/15115/stat : 15115 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 6677 0 0 0 628 1 0 0 25 0 4 0 652717606 253878272 13022 33554432000 4194304 4650419 140733698928272 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15114/tid=15116] ppid=15112 vsize=247928 CPUtime=6.22 cores=0,2,4,6
/proc/15114/task/15116/stat : 15116 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 5969 0 0 0 622 0 0 0 25 0 4 0 652717606 253878272 13022 33554432000 4194304 4650419 140733698928272 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15114/tid=15117] ppid=15112 vsize=247928 CPUtime=6.28 cores=0,2,4,6
/proc/15114/task/15117/stat : 15117 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 4662 0 0 0 628 0 0 0 25 0 4 0 652717606 253878272 13022 33554432000 4194304 4650419 140733698928272 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 247928

[startup+12.7005 s]
/proc/loadavg: 7.54 8.00 8.04 9/324 15118
/proc/meminfo: memFree=27847768/32950928 swapFree=60199044/67111528
[pid=15114] ppid=15112 vsize=255988 CPUtime=50.65 cores=0,2,4,6
/proc/15114/stat : 15114 (strangenight1-m) R 15112 15114 14558 0 -1 4202496 36125 0 0 0 5059 6 0 0 25 0 4 0 652717606 262131712 18477 33554432000 4194304 4650419 140733698928272 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15114/statm: 63997 18477 393 112 0 58962 0
[pid=15114/tid=15115] ppid=15112 vsize=255988 CPUtime=12.68 cores=0,2,4,6
/proc/15114/task/15115/stat : 15115 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 10302 0 0 0 1267 1 0 0 25 0 4 0 652717606 262131712 18477 33554432000 4194304 4650419 140733698928272 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15114/tid=15116] ppid=15112 vsize=255988 CPUtime=12.56 cores=0,2,4,6
/proc/15114/task/15116/stat : 15116 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 8813 0 0 0 1255 1 0 0 25 0 4 0 652717606 262131712 18477 33554432000 4194304 4650419 140733698928272 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15114/tid=15117] ppid=15112 vsize=255988 CPUtime=12.69 cores=0,2,4,6
/proc/15114/task/15117/stat : 15117 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 7199 0 0 0 1268 1 0 0 25 0 4 0 652717606 262131712 18477 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 255988

[startup+25.5012 s]
/proc/loadavg: 7.71 8.02 8.05 9/324 15118
/proc/meminfo: memFree=27787864/32950928 swapFree=60199044/67111528
[pid=15114] ppid=15112 vsize=285516 CPUtime=101.71 cores=0,2,4,6
/proc/15114/stat : 15114 (strangenight1-m) R 15112 15114 14558 0 -1 4202496 51755 0 0 0 10162 9 0 0 25 0 4 0 652717606 292368384 25103 33554432000 4194304 4650419 140733698928272 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15114/statm: 71379 25103 393 112 0 66344 0
[pid=15114/tid=15115] ppid=15112 vsize=285516 CPUtime=25.48 cores=0,2,4,6
/proc/15114/task/15115/stat : 15115 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 16038 0 0 0 2546 2 0 0 25 0 4 0 652717606 292368384 25103 33554432000 4194304 4650419 140733698928272 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15114/tid=15116] ppid=15112 vsize=285516 CPUtime=25.23 cores=0,2,4,6
/proc/15114/task/15116/stat : 15116 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 12232 0 0 0 2521 2 0 0 25 0 4 0 652717606 292368384 25103 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15114/tid=15117] ppid=15112 vsize=285516 CPUtime=25.48 cores=0,2,4,6
/proc/15114/task/15117/stat : 15117 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 8870 0 0 0 2547 1 0 0 25 0 4 0 652717606 292368384 25103 33554432000 4194304 4650419 140733698928272 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 285516

[startup+51.1006 s]
/proc/loadavg: 7.81 8.02 8.05 9/324 15119
/proc/meminfo: memFree=27751088/32950928 swapFree=60199044/67111528
[pid=15114] ppid=15112 vsize=298680 CPUtime=203.85 cores=0,2,4,6
/proc/15114/stat : 15114 (strangenight1-m) R 15112 15114 14558 0 -1 4202496 78240 0 0 0 20370 15 0 0 25 0 4 0 652717606 305848320 30777 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15114/statm: 74670 30777 393 112 0 69635 0
[pid=15114/tid=15115] ppid=15112 vsize=298680 CPUtime=51.09 cores=0,2,4,6
/proc/15114/task/15115/stat : 15115 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 25427 0 0 0 5105 4 0 0 25 0 4 0 652717606 305848320 30777 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15114/tid=15116] ppid=15112 vsize=298680 CPUtime=50.57 cores=0,2,4,6
/proc/15114/task/15116/stat : 15116 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 18204 0 0 0 5054 3 0 0 25 0 4 0 652717606 305848320 30777 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15114/tid=15117] ppid=15112 vsize=298680 CPUtime=51.09 cores=0,2,4,6
/proc/15114/task/15117/stat : 15117 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 11947 0 0 0 5107 2 0 0 25 0 4 0 652717606 305848320 30777 33554432000 4194304 4650419 140733698928272 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.85
Current children cumulated vsize (KiB) 298680

[startup+102.301 s]
/proc/loadavg: 7.95 8.03 8.05 9/324 15120
/proc/meminfo: memFree=27680872/32950928 swapFree=60199044/67111528
[pid=15114] ppid=15112 vsize=319952 CPUtime=408.15 cores=0,2,4,6
/proc/15114/stat : 15114 (strangenight1-m) R 15112 15114 14558 0 -1 4202496 120521 0 0 0 40790 25 0 0 25 0 4 0 652717606 327630848 40513 33554432000 4194304 4650419 140733698928272 18446744073709551615 4315069 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15114/statm: 79988 40513 393 112 0 74953 0
[pid=15114/tid=15115] ppid=15112 vsize=319952 CPUtime=102.29 cores=0,2,4,6
/proc/15114/task/15115/stat : 15115 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 39718 0 0 0 10222 7 0 0 25 0 4 0 652717606 327630848 40515 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15114/tid=15116] ppid=15112 vsize=319952 CPUtime=101.27 cores=0,2,4,6
/proc/15114/task/15116/stat : 15116 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 27395 0 0 0 10121 6 0 0 25 0 4 0 652717606 327630848 40515 33554432000 4194304 4650419 140733698928272 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15114/tid=15117] ppid=15112 vsize=319952 CPUtime=102.3 cores=0,2,4,6
/proc/15114/task/15117/stat : 15117 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 16799 0 0 0 10227 3 0 0 25 0 4 0 652717606 327630848 40515 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.15
Current children cumulated vsize (KiB) 319952

[startup+162.301 s]

################
# More data... #
################

[pid=15114] ppid=15112 vsize=474236 CPUtime=2562.67 cores=0,2,4,6
/proc/15114/stat : 15114 (strangenight1-m) R 15112 15114 14558 0 -1 4202496 333289 0 0 0 256165 102 0 0 25 0 4 0 652717606 485617664 82125 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15114/statm: 118559 82125 393 112 0 113524 0
[pid=15114/tid=15115] ppid=15112 vsize=474236 CPUtime=642.28 cores=0,2,4,6
/proc/15114/task/15115/stat : 15115 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 115719 0 0 0 64194 34 0 0 25 0 4 0 652717606 485617664 82125 33554432000 4194304 4650419 140733698928272 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15114/tid=15116] ppid=15112 vsize=474236 CPUtime=635.88 cores=0,2,4,6
/proc/15114/task/15116/stat : 15116 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 62360 0 0 0 63567 21 0 0 25 0 4 0 652717606 485617664 82125 33554432000 4194304 4650419 140733698928272 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15114/tid=15117] ppid=15112 vsize=474236 CPUtime=642.3 cores=0,2,4,6
/proc/15114/task/15117/stat : 15117 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 26635 0 0 0 64224 6 0 0 25 0 4 0 652717606 485617664 82125 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2562.67
Current children cumulated vsize (KiB) 474236

[startup+702.301 s]
/proc/loadavg: 8.10 8.10 8.06 9/324 15136
/proc/meminfo: memFree=27363216/32950928 swapFree=60199044/67111528
[pid=15114] ppid=15112 vsize=487432 CPUtime=2802.06 cores=0,2,4,6
/proc/15114/stat : 15114 (strangenight1-m) R 15112 15114 14558 0 -1 4202496 351208 0 0 0 280096 110 0 0 25 0 4 0 652717606 499130368 81020 33554432000 4194304 4650419 140733698928272 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15114/statm: 121858 81020 393 112 0 116823 0
[pid=15114/tid=15115] ppid=15112 vsize=487432 CPUtime=702.27 cores=0,2,4,6
/proc/15114/task/15115/stat : 15115 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 118790 0 0 0 70191 36 0 0 25 0 4 0 652717606 499130368 81020 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15114/tid=15116] ppid=15112 vsize=487432 CPUtime=695.27 cores=0,2,4,6
/proc/15114/task/15116/stat : 15116 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 68577 0 0 0 69504 23 0 0 25 0 4 0 652717606 499130368 81020 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15114/tid=15117] ppid=15112 vsize=487432 CPUtime=702.3 cores=0,2,4,6
/proc/15114/task/15117/stat : 15117 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 26756 0 0 0 70224 6 0 0 25 0 4 0 652717606 499130368 81020 33554432000 4194304 4650419 140733698928272 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2802.06
Current children cumulated vsize (KiB) 487432

[startup+762.301 s]
/proc/loadavg: 8.10 8.09 8.06 9/324 15138
/proc/meminfo: memFree=27318412/32950928 swapFree=60199044/67111528
[pid=15114] ppid=15112 vsize=488048 CPUtime=3041.47 cores=0,2,4,6
/proc/15114/stat : 15114 (strangenight1-m) R 15112 15114 14558 0 -1 4202496 365274 0 0 0 304031 116 0 0 25 0 4 0 652717606 499761152 84238 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15114/statm: 122012 84238 393 112 0 116977 0
[pid=15114/tid=15115] ppid=15112 vsize=488048 CPUtime=762.28 cores=0,2,4,6
/proc/15114/task/15115/stat : 15115 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 122843 0 0 0 76190 38 0 0 25 0 4 0 652717606 499761152 84240 33554432000 4194304 4650419 140733698928272 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15114/tid=15116] ppid=15112 vsize=488048 CPUtime=754.68 cores=0,2,4,6
/proc/15114/task/15116/stat : 15116 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 71970 0 0 0 75443 25 0 0 25 0 4 0 652717606 499761152 84240 33554432000 4194304 4650419 140733698928272 18446744073709551615 4433090 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15114/tid=15117] ppid=15112 vsize=488048 CPUtime=762.31 cores=0,2,4,6
/proc/15114/task/15117/stat : 15117 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 26758 0 0 0 76225 6 0 0 25 0 4 0 652717606 499761152 84240 33554432000 4194304 4650419 140733698928272 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3041.47
Current children cumulated vsize (KiB) 488048

[startup+822.301 s]
/proc/loadavg: 8.08 8.09 8.06 9/324 15140
/proc/meminfo: memFree=27333888/32950928 swapFree=60199044/67111528
[pid=15114] ppid=15112 vsize=488340 CPUtime=3280.85 cores=0,2,4,6
/proc/15114/stat : 15114 (strangenight1-m) R 15112 15114 14558 0 -1 4202496 382581 0 0 0 327960 125 0 0 25 0 4 0 652717606 500060160 84237 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15114/statm: 122085 84237 393 112 0 117050 0
[pid=15114/tid=15115] ppid=15112 vsize=488340 CPUtime=822.28 cores=0,2,4,6
/proc/15114/task/15115/stat : 15115 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 126481 0 0 0 82187 41 0 0 25 0 4 0 652717606 500060160 84237 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15114/tid=15116] ppid=15112 vsize=488340 CPUtime=814.07 cores=0,2,4,6
/proc/15114/task/15116/stat : 15116 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 77665 0 0 0 81380 27 0 0 25 0 4 0 652717606 500060160 84237 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15114/tid=15117] ppid=15112 vsize=488340 CPUtime=822.3 cores=0,2,4,6
/proc/15114/task/15117/stat : 15117 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 26878 0 0 0 82224 6 0 0 25 0 4 0 652717606 500060160 84237 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3280.85
Current children cumulated vsize (KiB) 488340

[startup+882.312 s]
/proc/loadavg: 8.08 8.08 8.06 9/324 15141
/proc/meminfo: memFree=27323556/32950928 swapFree=60199044/67111528
[pid=15114] ppid=15112 vsize=488596 CPUtime=3520.28 cores=0,2,4,6
/proc/15114/stat : 15114 (strangenight1-m) R 15112 15114 14558 0 -1 4202496 400735 0 0 0 351897 131 0 0 25 0 4 0 652717606 500322304 86294 33554432000 4194304 4650419 140733698928272 18446744073709551615 4364746 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15114/statm: 122149 86294 393 112 0 117114 0
[pid=15114/tid=15115] ppid=15112 vsize=488596 CPUtime=882.28 cores=0,2,4,6
/proc/15114/task/15115/stat : 15115 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 129685 0 0 0 88186 42 0 0 25 0 4 0 652717606 500322304 86294 33554432000 4194304 4650419 140733698928272 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15114/tid=15116] ppid=15112 vsize=488596 CPUtime=873.49 cores=0,2,4,6
/proc/15114/task/15116/stat : 15116 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 84386 0 0 0 87320 29 0 0 25 0 4 0 652717606 500322304 86294 33554432000 4194304 4650419 140733698928272 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15114/tid=15117] ppid=15112 vsize=488596 CPUtime=882.32 cores=0,2,4,6
/proc/15114/task/15117/stat : 15117 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 26880 0 0 0 88225 7 0 0 25 0 4 0 652717606 500322304 86294 33554432000 4194304 4650419 140733698928272 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3520.28
Current children cumulated vsize (KiB) 488596

[startup+942.301 s]
/proc/loadavg: 8.12 8.10 8.07 9/324 15143
/proc/meminfo: memFree=27248756/32950928 swapFree=60199044/67111528
[pid=15114] ppid=15112 vsize=566016 CPUtime=3759.64 cores=0,2,4,6
/proc/15114/stat : 15114 (strangenight1-m) R 15112 15114 14558 0 -1 4202496 421171 0 0 0 375825 139 0 0 25 0 4 0 652717606 579600384 94183 33554432000 4194304 4650419 140733698928272 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15114/statm: 141504 94183 393 112 0 136469 0
[pid=15114/tid=15115] ppid=15112 vsize=566016 CPUtime=942.27 cores=0,2,4,6
/proc/15114/task/15115/stat : 15115 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 135367 0 0 0 94183 44 0 0 25 0 4 0 652717606 579600384 94183 33554432000 4194304 4650419 140733698928272 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15114/tid=15116] ppid=15112 vsize=566016 CPUtime=932.89 cores=0,2,4,6
/proc/15114/task/15116/stat : 15116 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 90108 0 0 0 93258 31 0 0 25 0 4 0 652717606 579600384 94183 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15114/tid=15117] ppid=15112 vsize=566016 CPUtime=942.31 cores=0,2,4,6
/proc/15114/task/15117/stat : 15117 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 29096 0 0 0 94223 8 0 0 25 0 4 0 652717606 579600384 94183 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3759.64
Current children cumulated vsize (KiB) 566016

[startup+1002.3 s]
/proc/loadavg: 8.13 8.11 8.07 9/324 15144
/proc/meminfo: memFree=27264716/32950928 swapFree=60199044/67111528
[pid=15114] ppid=15112 vsize=500696 CPUtime=3999.03 cores=0,2,4,6
/proc/15114/stat : 15114 (strangenight1-m) R 15112 15114 14558 0 -1 4202496 435463 0 0 0 399758 145 0 0 25 0 4 0 652717606 512712704 92776 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365195 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15114/statm: 125174 92776 393 112 0 120139 0
[pid=15114/tid=15115] ppid=15112 vsize=500696 CPUtime=1002.27 cores=0,2,4,6
/proc/15114/task/15115/stat : 15115 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 138747 0 0 0 100182 45 0 0 25 0 4 0 652717606 512712704 92776 33554432000 4194304 4650419 140733698928272 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15114/tid=15116] ppid=15112 vsize=500696 CPUtime=992.27 cores=0,2,4,6
/proc/15114/task/15116/stat : 15116 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 93685 0 0 0 99195 32 0 0 25 0 4 0 652717606 512712704 92776 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15114/tid=15117] ppid=15112 vsize=500696 CPUtime=1002.3 cores=0,2,4,6
/proc/15114/task/15117/stat : 15117 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 29450 0 0 0 100222 8 0 0 25 0 4 0 652717606 512712704 92776 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3999.03
Current children cumulated vsize (KiB) 500696

[startup+1062.3 s]
/proc/loadavg: 8.20 8.13 8.08 9/324 15146
/proc/meminfo: memFree=27244852/32950928 swapFree=60199044/67111528
[pid=15114] ppid=15112 vsize=500812 CPUtime=4238.39 cores=0,2,4,6
/proc/15114/stat : 15114 (strangenight1-m) R 15112 15114 14558 0 -1 4202496 450193 0 0 0 423688 151 0 0 25 0 4 0 652717606 512831488 95227 33554432000 4194304 4650419 140733698928272 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15114/statm: 125203 95227 393 112 0 120168 0
[pid=15114/tid=15115] ppid=15112 vsize=500812 CPUtime=1062.27 cores=0,2,4,6
/proc/15114/task/15115/stat : 15115 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 142154 0 0 0 106180 47 0 0 25 0 4 0 652717606 512831488 95227 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15114/tid=15116] ppid=15112 vsize=500812 CPUtime=1051.65 cores=0,2,4,6
/proc/15114/task/15116/stat : 15116 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 98661 0 0 0 105130 35 0 0 25 0 4 0 652717606 512831488 95227 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15114/tid=15117] ppid=15112 vsize=500812 CPUtime=1062.3 cores=0,2,4,6
/proc/15114/task/15117/stat : 15117 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 29537 0 0 0 106222 8 0 0 25 0 4 0 652717606 512831488 95227 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4238.39
Current children cumulated vsize (KiB) 500812

[startup+1122.3 s]
/proc/loadavg: 8.11 8.12 8.08 9/324 15148
/proc/meminfo: memFree=27225356/32950928 swapFree=60199044/67111528
[pid=15114] ppid=15112 vsize=527268 CPUtime=4477.76 cores=0,2,4,6
/proc/15114/stat : 15114 (strangenight1-m) R 15112 15114 14558 0 -1 4202496 462222 0 0 0 447621 155 0 0 25 0 4 0 652717606 539922432 98090 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15114/statm: 131817 98090 393 112 0 126782 0
[pid=15114/tid=15115] ppid=15112 vsize=527268 CPUtime=1122.27 cores=0,2,4,6
/proc/15114/task/15115/stat : 15115 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 146704 0 0 0 112178 49 0 0 25 0 4 0 652717606 539922432 98090 33554432000 4194304 4650419 140733698928272 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15114/tid=15116] ppid=15112 vsize=527268 CPUtime=1111.03 cores=0,2,4,6
/proc/15114/task/15116/stat : 15116 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 102750 0 0 0 111066 37 0 0 25 0 4 0 652717606 539922432 98090 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15114/tid=15117] ppid=15112 vsize=527268 CPUtime=1122.31 cores=0,2,4,6
/proc/15114/task/15117/stat : 15117 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 30740 0 0 0 112222 9 0 0 25 0 4 0 652717606 539922432 98090 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4477.76
Current children cumulated vsize (KiB) 527268

[startup+1182.3 s]
/proc/loadavg: 8.16 8.12 8.09 9/324 15149
/proc/meminfo: memFree=27212924/32950928 swapFree=60199044/67111528
[pid=15114] ppid=15112 vsize=539856 CPUtime=4717.15 cores=0,2,4,6
/proc/15114/stat : 15114 (strangenight1-m) R 15112 15114 14558 0 -1 4202496 471791 0 0 0 471553 162 0 0 25 0 4 0 652717606 552812544 100786 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365313 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15114/statm: 134964 100786 393 112 0 129929 0
[pid=15114/tid=15115] ppid=15112 vsize=539856 CPUtime=1182.27 cores=0,2,4,6
/proc/15114/task/15115/stat : 15115 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 147293 0 0 0 118178 49 0 0 25 0 4 0 652717606 552812544 100786 33554432000 4194304 4650419 140733698928272 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15114/tid=15116] ppid=15112 vsize=539856 CPUtime=1170.41 cores=0,2,4,6
/proc/15114/task/15116/stat : 15116 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 103084 0 0 0 117004 37 0 0 25 0 4 0 652717606 552812544 100786 33554432000 4194304 4650419 140733698928272 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15114/tid=15117] ppid=15112 vsize=539856 CPUtime=1182.31 cores=0,2,4,6
/proc/15114/task/15117/stat : 15117 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 33713 0 0 0 118220 11 0 0 25 0 4 0 652717606 552812544 100786 33554432000 4194304 4650419 140733698928272 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4717.15
Current children cumulated vsize (KiB) 539856



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.11 8.11 8.08 5/319 15151
/proc/meminfo: memFree=27598228/32950928 swapFree=60199044/67111528
[pid=15114] ppid=15112 vsize=539856 CPUtime=4800.15 cores=0,2,4,6
/proc/15114/stat : 15114 (strangenight1-m) R 15112 15114 14558 0 -1 4202496 478032 0 0 0 479851 164 0 0 25 0 4 0 652717606 552812544 102053 33554432000 4194304 4650419 140733698928272 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15114/statm: 134964 102053 393 112 0 129929 0
[pid=15114/tid=15115] ppid=15112 vsize=539856 CPUtime=1203.08 cores=0,2,4,6
/proc/15114/task/15115/stat : 15115 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 151493 0 0 0 120258 50 0 0 25 0 4 0 652717606 552812544 102053 33554432000 4194304 4650419 140733698928272 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15114/tid=15116] ppid=15112 vsize=539856 CPUtime=1191 cores=0,2,4,6
/proc/15114/task/15116/stat : 15116 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 103130 0 0 0 119063 37 0 0 25 0 4 0 652717606 552812544 102053 33554432000 4194304 4650419 140733698928272 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15114/tid=15117] ppid=15112 vsize=539856 CPUtime=1203.12 cores=0,2,4,6
/proc/15114/task/15117/stat : 15117 (strangenight1-m) R 15112 15114 14558 0 -1 4202560 34463 0 0 0 120301 11 0 0 25 0 4 0 652717606 552812544 102053 33554432000 4194304 4650419 140733698928272 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 539856

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.13
CPU time (s): 4800.21
CPU user time (s): 4798.55
CPU system time (s): 1.65575
CPU usage (%): 398.976
Max. virtual memory (cumulated for all children) (KiB): 581188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.55
system time used= 1.65575
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 478034
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 136
involuntary context switches= 23782

runsolver used 3.37749 second user time and 8.75567 second system time

The end

Launcher Data 

Begin job on node122 at 2011-05-15 00:13:08
IDJOB=3369063
IDBENCH=83072
IDSOLVER=1846
FILE ID=node122/3369063-1305411188
RUNJOBID= node122-1305409983-14984
PBS_JOBID= 13324494
Free space on /tmp= 73432 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v100-c2130-S815408325-054.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369063-1305411188/watcher-3369063-1305411188 -o /tmp/evaluation-result-3369063-1305411188/solver-3369063-1305411188 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369063-1305411188.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 9830e1bf79d13e57ceeaa969f4476a02
RANDOM SEED=71098234

node122.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      28005128 kB
Buffers:        276564 kB
Cached:        3352032 kB
SwapCached:      50104 kB
Active:         882552 kB
Inactive:      3854224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28005128 kB
SwapTotal:    67111528 kB
SwapFree:     60199044 kB
Dirty:           12684 kB
Writeback:          76 kB
AnonPages:     1068960 kB
Mapped:          14316 kB
Slab:           113392 kB
PageTables:      32068 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 52611476 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73432 MiB
End job on node122 at 2011-05-15 00:33:13