Trace number 3175138

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? (TO) 4800.37 1201.73

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v400-c1704-S1081907273-083.UNKNOWN.cnf
MD5SUM4b706363c6542ff406d07bd657988d05
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark39.0431
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of clauses1704
Sum of the clauses size5112
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31704
Number of clauses of size 40
Number of clauses of size 50
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-3175138-1304091295.cnf'
0.00/0.00	c -- header says num vars:            400
0.00/0.00	c -- header says num clauses:        1704
0.00/0.00	c -- clauses added:            0 learnts,         1704 normals,            0 xors
0.00/0.00	c -- vars added        400
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       400      1704         0         0      5112         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/1704/1704 lits-rem:0 time: 0.00
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:    400 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.01	c lits-rem:         1  cl-subs:        0  v-elim:     20  v-fix:    0  time:  0.01 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     168 undec:      43 neg:     189
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       380      1696         0         0      5222         0   no data   no data  --
0.16/0.05	c Decided on static restart strategy
0.37/0.14	c  N st     8      4915       380      1696         0      4815      5222     96174   no data   no data  --
1.17/0.38	c  N st    10     11299       380      1696         0      4455      5222     68808   no data   no data  --
2.37/0.62	c  N st    11     17043       380      1696         0     10056      5222    184899   no data   no data  --
3.57/0.99	c  F st    12     25002       380      1696         0     12276      5222    228479   no data   no data  --
3.57/0.99	c  N st    12     25002       380      1696         0     12276      5222    228479   no data   no data  --
4.77/1.22	c Decided on static restart strategy
4.77/1.22	c  N st    18     30001       380      1696         0     10538      5222    169447   no data   no data  --
4.77/1.22	c  S st    18     30001       380      1696         0     10538      5222    169447   no data   no data  --
4.77/1.25	c  S st    18     30501       380      1696         0     11037      5222    178997   no data   no data  --
4.77/1.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.77/1.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.77/1.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
4.77/1.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.77/1.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.77/1.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    380 time:  0.00 s
4.77/1.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.56/1.42	c lits-rem:       226  cl-subs:      954  v-elim:      0  v-fix:    0  time:  0.65 s
5.56/1.43	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.03
5.56/1.43	c calculated reachability. Time: 0.00
5.56/1.43	c  N st    18     30501       380      1696         0     10083      5222    159663   no data   no data  --
7.17/1.84	c  N st    20     37612       380      1696         0      9343      5222    130214   no data   no data  --
8.37/2.20	c  N st    21     44011       380      1696         0     15554      5222    254940   no data   no data  --
9.16/2.31	c  S st    22     45752       380      1696         0     17257      5222    290735   no data   no data  --
9.16/2.35	c  S st    22     46253       380      1696         0      9081      5222    114758   no data   no data  --
9.16/2.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.16/2.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.16/2.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.16/2.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.16/2.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    380 time:  0.00 s
9.16/2.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.56/2.40	c lits-rem:        29  cl-subs:       96  v-elim:      0  v-fix:    0  time:  0.20 s
9.56/2.40	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
9.56/2.41	c vivif2 --  cl tried     8985 cl shrink        0 lits rem          0 time: 0.00
9.56/2.41	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.03
9.56/2.41	c calculated reachability. Time: 0.00
9.56/2.41	c  N st    22     46253       380      1696         0      8985      5222    112908   no data   no data  --
12.77/3.27	c  N st    23     60651       380      1696         0     13273      5222    186895   no data   no data  --
15.15/3.88	c  N st    24     69379       380      1696         0     11097      5222    137575   no data   no data  --
15.15/3.88	c  S st    24     69379       380      1696         0     11097      5222    137575   no data   no data  --
15.55/3.91	c  S st    24     69881       380      1696         0     11594      5222    147551   no data   no data  --
15.55/3.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.55/3.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.55/3.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
15.55/3.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.55/3.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.55/3.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    380 time:  0.00 s
15.55/3.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.95/4.04	c lits-rem:        90  cl-subs:      194  v-elim:      0  v-fix:    0  time:  0.49 s
15.95/4.04	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
15.95/4.05	c vivif2 --  cl tried    11400 cl shrink        0 lits rem          0 time: 0.00
15.95/4.05	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.04
15.95/4.06	c calculated reachability. Time: 0.00
15.95/4.06	c  N st    24     69881       380      1696         0     11400      5222    144027   no data   no data  --
20.74/5.27	c  F st    25     87502       380      1696         0     16886      5222    246028   no data   no data  --
20.74/5.27	c  N st    25     87502       380      1696         0     16886      5222    246028   no data   no data  --
22.34/5.68	c Decided on static restart strategy
23.54/5.96	c  N st    32     95547       380      1696         0     24718      5222    401323   no data   no data  --
26.36/6.68	c  N st    34    104821       380      1696         0     21148      5222    303455   no data   no data  --
26.36/6.68	c  S st    34    104821       380      1696         0     21148      5222    303455   no data   no data  --
26.74/6.74	c  S st    34    105323       380      1696         0     21649      5222    312921   no data   no data  --
26.74/6.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.74/6.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.74/6.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
26.74/6.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.74/6.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.74/6.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    380 time:  0.00 s
26.74/6.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.13/7.39	c lits-rem:       399  cl-subs:     1479  v-elim:      0  v-fix:    0  time:  2.54 s
29.13/7.39	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
29.13/7.39	c vivif2 --  cl tried    20170 cl shrink        0 lits rem          0 time: 0.01
29.54/7.41	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.06
29.54/7.41	c calculated reachability. Time: 0.00
29.54/7.41	c  N st    34    105323       380      1696         0     20170      5222    286540   no data   no data  --
31.93/8.06	c  N st    35    114921       380      1696         0     15909      5222    195985   no data   no data  --
37.12/9.33	c  N st    36    129319       380      1696         0     15316      5222    169773   no data   no data  --
43.94/11.01	c  N st    37    150914       380      1696         0     20788      5222    276433   no data   no data  --
45.91/11.58	c  S st    38    157987       380      1696         0     27659      5222    415730   no data   no data  --
46.31/11.66	c  S st    38    158490       380      1696         0     28161      5222    425588   no data   no data  --
46.31/11.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.31/11.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
46.31/11.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
46.31/11.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.31/11.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.31/11.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    380 time:  0.00 s
46.31/11.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
51.90/13.00	c lits-rem:       991  cl-subs:     1794  v-elim:      0  v-fix:    0  time:  5.27 s
51.90/13.00	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
51.90/13.00	c vivif2 --  cl tried    26367 cl shrink        0 lits rem          0 time: 0.02
51.90/13.02	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.08
51.90/13.02	c calculated reachability. Time: 0.00
51.90/13.02	c  N st    38    158490       380      1696         0     26367      5222    389349   no data   no data  --
70.30/17.65	c  N st    39    207079       380      1696         0     21123      5222    252368   no data   no data  --
83.08/20.84	c  N st    40    237736       380      1696         0     31257      5222    434877   no data   no data  --
83.08/20.84	c  S st    40    237736       380      1696         0     31257      5222    434877   no data   no data  --
83.49/20.93	c  S st    40    238240       380      1696         0     31757      5222    444763   no data   no data  --
83.49/20.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
83.49/20.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
83.49/20.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
83.49/20.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
83.49/20.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.49/20.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    380 time:  0.00 s
83.49/20.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
89.46/22.44	c lits-rem:      1030  cl-subs:     3003  v-elim:      0  v-fix:    0  time:  5.92 s
89.46/22.44	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
89.46/22.44	c vivif2 --  cl tried    28754 cl shrink        0 lits rem          0 time: 0.02
89.46/22.46	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.10
89.46/22.47	c calculated reachability. Time: 0.00
89.46/22.47	c  N st    40    238240       380      1696         0     28754      5222    387790   no data   no data  --
119.82/30.05	c  F st    41    306253       380      1696         0     30976      5222    395604   no data   no data  --
119.82/30.05	c  N st    41    306253       380      1696         0     30976      5222    395604   no data   no data  --
122.22/30.62	c Decided on static restart strategy
132.99/33.34	c  N st    51    334559       380      1696         0     35165      5222    475337   no data   no data  --
143.39/35.98	c  N st    53    357360       380      1696         0     33000      5222    415447   no data   no data  --
143.39/35.98	c  S st    53    357360       380      1696         0     33000      5222    415447   no data   no data  --
143.79/36.07	c  S st    53    357863       380      1696         0     33499      5222    425580   no data   no data  --
143.79/36.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
143.79/36.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
143.79/36.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
143.79/36.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
143.79/36.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
143.79/36.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    380 time:  0.00 s
143.79/36.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
148.99/37.36	c lits-rem:       636  cl-subs:     1187  v-elim:      0  v-fix:    0  time:  5.06 s
148.99/37.36	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
148.99/37.36	c vivif2 --  cl tried    32312 cl shrink        0 lits rem          0 time: 0.02
148.99/37.39	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.10
148.99/37.39	c calculated reachability. Time: 0.00
148.99/37.39	c  N st    53    357863       380      1696         0     32312      5222    402541   no data   no data  --
163.76/41.00	c  N st    54    390256       380      1696         0     38417      5222    515152   no data   no data  --
190.93/47.88	c  N st    55    438845       380      1696         0     32130      5222    353358   no data   no data  --
228.88/57.35	c  N st    56    511728       380      1696         0     45533      5222    597175   no data   no data  --
241.68/60.59	c  N st    57    536796       380      1696         0     39852      5222    482297   no data   no data  --
241.68/60.59	c  S st    57    536796       380      1696         0     39852      5222    482297   no data   no data  --
242.45/60.70	c  S st    57    537299       380      1696         0     40351      5222    492400   no data   no data  --
242.45/60.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
242.45/60.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
242.45/60.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
242.45/60.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
242.45/60.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
242.45/60.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    380 time:  0.00 s
242.45/60.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
248.45/62.29	c lits-rem:      1297  cl-subs:     1953  v-elim:      0  v-fix:    0  time:  6.24 s
248.45/62.29	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
248.45/62.29	c vivif2 --  cl tried    38398 cl shrink        0 lits rem          0 time: 0.02
248.85/62.33	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.14
248.85/62.33	c calculated reachability. Time: 0.00
248.85/62.33	c  N st    57    537299       380      1696         0     38398      5222    457376   no data   no data  --
349.12/87.43	c  N st    58    701283       380      1696         0     67353      5222    981579   no data   no data  --
420.23/105.20	c  N st    59    805950       380      1696         0     61276      5222    819432   no data   no data  --
420.23/105.20	c  S st    59    805950       380      1696         0     61276      5222    819432   no data   no data  --
420.62/105.38	c  S st    59    806454       380      1696         0     61778      5222    829712   no data   no data  --
420.62/105.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
420.62/105.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
421.02/105.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
421.02/105.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
421.02/105.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
421.02/105.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    380 time:  0.00 s
421.02/105.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
434.21/108.76	c lits-rem:      2178  cl-subs:     5945  v-elim:      0  v-fix:    0  time: 13.28 s
434.21/108.76	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
434.21/108.77	c vivif2 --  cl tried    55833 cl shrink        0 lits rem          0 time: 0.04
434.61/108.82	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.22
434.61/108.83	c calculated reachability. Time: 0.00
434.61/108.83	c  N st    59    806454       380      1696         0     55833      5222    728528   no data   no data  --
629.54/157.66	c  F st    60   1071875       380      1696         0     71803      5222    996934   no data   no data  --
629.54/157.66	c  N st    60   1071875       380      1696         0     71803      5222    996934   no data   no data  --
635.53/159.11	c Decided on static restart strategy
653.92/163.76	c  N st    70   1100181       380      1696         0     55740      5222    661089   no data   no data  --
688.27/172.34	c  N st    72   1136178       380      1696         0     46084      5222    440261   no data   no data  --
714.24/178.88	c  N st    73   1168570       380      1696         0     77321      5222   1082133   no data   no data  --
754.17/188.85	c  N st    74   1209682       380      1696         0     71626      5222    928608   no data   no data  --
754.17/188.85	c  S st    74   1209682       380      1696         0     71626      5222    928608   no data   no data  --
755.38/189.13	c  S st    74   1210184       380      1696         0     72126      5222    938905   no data   no data  --
755.38/189.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
755.38/189.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
755.38/189.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.15
755.79/189.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
755.79/189.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
755.79/189.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    380 time:  0.00 s
755.79/189.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
773.37/193.66	c lits-rem:      1160  cl-subs:     4379  v-elim:      0  v-fix:    0  time: 17.78 s
773.37/193.66	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
773.37/193.67	c vivif2 --  cl tried    67747 cl shrink        0 lits rem          0 time: 0.05
773.75/193.76	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.35
773.75/193.76	c calculated reachability. Time: 0.00
773.75/193.76	c  N st    74   1210184       380      1696         0     67747      5222    865072   no data   no data  --
845.65/211.75	c  N st    75   1283067       380      1696         0     92058      5222   1377160   no data   no data  --
951.10/238.17	c  N st    76   1392391       380      1696         0     52554      5222    505432   no data   no data  --
1092.92/273.65	c  N st    77   1556375       380      1696         0     57369      5222    569267   no data   no data  --
1247.11/312.28	c  N st    78   1710185       380      1696         0     98190      5222   1322127   no data   no data  --
1247.11/312.28	c  S st    78   1710185       380      1696         0     98190      5222   1322127   no data   no data  --
1248.70/312.63	c  S st    78   1710688       380      1696         0     98691      5222   1332943   no data   no data  --
1248.70/312.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1248.70/312.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1248.70/312.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.21
1249.10/312.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1249.10/312.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1249.10/312.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    380 time:  0.00 s
1249.10/312.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1285.46/321.84	c lits-rem:       402  cl-subs:    14406  v-elim:      0  v-fix:    0  time: 36.36 s
1285.46/321.84	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
1285.46/321.86	c vivif2 --  cl tried    84285 cl shrink        0 lits rem          0 time: 0.06
1285.86/321.98	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.47
1285.86/321.98	c calculated reachability. Time: 0.00
1285.86/321.98	c  N st    78   1710688       380      1696         0     84285      5222   1086889   no data   no data  --
1670.93/418.35	c  N st    79   2079652       380      1696         0     96172      5222   1178015   no data   no data  --
1817.94/455.14	c  N st    80   2210688       380      1696         0    100117      5222   1244952   no data   no data  --
1817.94/455.14	c  S st    80   2210688       380      1696         0    100117      5222   1244952   no data   no data  --
1819.15/455.47	c  S st    80   2211192       380      1696         0    100618      5222   1255382   no data   no data  --
1819.15/455.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1819.15/455.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1819.53/455.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1819.53/455.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1819.53/455.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1819.53/455.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    380 time:  0.00 s
1819.53/455.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1851.48/463.52	c lits-rem:      1270  cl-subs:    14795  v-elim:      0  v-fix:    0  time: 31.74 s
1851.48/463.52	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
1851.48/463.53	c vivif2 --  cl tried    85823 cl shrink        0 lits rem          0 time: 0.06
1851.88/463.65	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.46
1851.88/463.65	c calculated reachability. Time: 0.00
1851.88/463.65	c  N st    80   2211192       380      1696         0     85823      5222   1011241   no data   no data  --
2409.54/603.29	c  N st    81   2711195       380      1696         0    109092      5222   1376833   no data   no data  --
2409.54/603.29	c  S st    81   2711195       380      1696         0    109092      5222   1376833   no data   no data  --
2411.54/603.76	c  S st    81   2711700       380      1696         0    109596      5222   1387781   no data   no data  --
2411.54/603.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2411.54/603.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2411.95/603.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.23
2411.95/603.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2411.95/603.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2411.95/603.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    380 time:  0.00 s
2411.95/603.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2453.48/614.25	c lits-rem:      1114  cl-subs:    13843  v-elim:      0  v-fix:    0  time: 41.44 s
2453.48/614.25	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
2453.48/614.27	c vivif2 --  cl tried    95753 cl shrink        0 lits rem          0 time: 0.07
2454.28/614.41	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.55
2454.28/614.41	c calculated reachability. Time: 0.00
2454.28/614.41	c  N st    81   2711700       380      1696         0     95753      5222   1157391   no data   no data  --
3047.47/762.91	c  N st    82   3211702       380      1696         0    147360      5222   2050208   no data   no data  --
3047.47/762.91	c  S st    82   3211702       380      1696         0    147360      5222   2050208   no data   no data  --
3049.49/763.48	c  S st    82   3212207       380      1696         0    147863      5222   2060728   no data   no data  --
3049.49/763.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3049.49/763.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3049.87/763.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.29
3050.27/763.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3050.27/763.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3050.27/763.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    380 time:  0.00 s
3050.27/763.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3149.73/788.54	c lits-rem:       956  cl-subs:    26753  v-elim:      0  v-fix:    0  time: 99.47 s
3149.73/788.54	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
3149.73/788.56	c vivif2 --  cl tried   121110 cl shrink        0 lits rem          0 time: 0.09
3150.55/788.76	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.79
3150.55/788.76	c calculated reachability. Time: 0.00
3150.55/788.76	c  N st    82   3212207       380      1696         0    121110      5222   1629220   no data   no data  --
3758.11/940.84	c  N st    83   3712207       380      1696         0    138742      5222   1869380   no data   no data  --
3758.11/940.84	c  S st    83   3712207       380      1696         0    138742      5222   1869380   no data   no data  --
3760.11/941.35	c  S st    83   3712712       380      1696         0    139245      5222   1880143   no data   no data  --
3760.11/941.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3760.11/941.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3760.51/941.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.28
3760.51/941.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3760.51/941.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3760.51/941.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    380 time:  0.00 s
3760.51/941.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3832.41/959.47	c lits-rem:       419  cl-subs:    16690  v-elim:      0  v-fix:    0  time: 71.77 s
3832.41/959.47	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
3832.41/959.49	c vivif2 --  cl tried   122555 cl shrink        0 lits rem          0 time: 0.09
3833.21/959.67	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.74
3833.21/959.68	c calculated reachability. Time: 0.00
3833.21/959.68	c  N st    83   3712712       380      1696         0    122555      5222   1595014   no data   no data  --
3886.74/973.08	c  F st    84   3751564       380      1696         0    160148      5222   2374555   no data   no data  --
3886.74/973.08	c  N st    84   3751564       380      1696         0    160148      5222   2374555   no data   no data  --
3895.93/975.33	c Decided on static restart strategy
3922.30/981.96	c  N st    94   3779870       380      1696         0    106918      5222   1217724   no data   no data  --
3978.62/996.06	c  N st    96   3815862       380      1696         0    141386      5222   1861961   no data   no data  --
4026.95/1008.19	c  N st    97   3848255       380      1696         0     90911      5222    871766   no data   no data  --
4086.49/1023.05	c  N st    98   3896843       380      1696         0    137512      5222   1807017   no data   no data  --
4185.93/1047.92	c  N st    99   3969725       380      1696         0    125478      5222   1564877   no data   no data  --
4344.52/1087.63	c  N st   100   4079049       380      1696         0    147233      5222   2008616   no data   no data  --
4531.06/1134.37	c  N st   101   4212713       380      1696         0    105052      5222   1116827   no data   no data  --
4531.06/1134.37	c  S st   101   4212713       380      1696         0    105052      5222   1116827   no data   no data  --
4532.66/1134.79	c  S st   101   4213215       380      1696         0    105553      5222   1128048   no data   no data  --
4533.06/1134.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4533.06/1134.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4533.06/1134.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.25
4533.46/1134.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4533.46/1134.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4533.46/1134.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    380 time:  0.00 s
4533.46/1134.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4555.83/1140.53	c lits-rem:      1351  cl-subs:     5887  v-elim:      0  v-fix:    0  time: 22.46 s
4555.83/1140.53	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
4555.83/1140.55	c vivif2 --  cl tried    99666 cl shrink        0 lits rem          0 time: 0.08
4556.65/1140.74	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.75
4556.65/1140.74	c calculated reachability. Time: 0.00
4556.65/1140.74	c  N st   101   4213215       380      1696         0     99666      5222   1033237   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: 935)

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-3175138-1304091295/watcher-3175138-1304091295 -o /tmp/evaluation-result-3175138-1304091295/solver-3175138-1304091295 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175138-1304091295.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: 6.95 7.90 7.99 2/172 2175
/proc/meminfo: memFree=19210260/32950928 swapFree=67111528/67111528
[pid=2175] ppid=2173 vsize=40992 CPUtime=0 cores=0,2,4,6
/proc/2175/stat : 2175 (strangenight1-m) R 2173 2175 1274 0 -1 4202496 410 0 0 0 0 0 0 0 22 0 3 0 520729133 41975808 350 33554432000 4194304 4650419 140735332005312 18446744073709551615 274474023921 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2175/statm: 10248 350 303 112 0 5213 0
[pid=2175/tid=2176] ppid=2173 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2175/task/2176/stat : 2176 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 520729133 52465664 352 33554432000 4194304 4650419 140735332005312 18446744073709551615 47138852812722 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2175/tid=2177] ppid=2173 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2175/task/2177/stat : 2177 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 520729133 52465664 352 33554432000 4194304 4650419 140735332005312 18446744073709551615 47138852812716 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2175/tid=2178] ppid=2173 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2175/task/2178/stat : 2178 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 520729133 52465664 352 33554432000 4194304 4650419 140735332005312 18446744073709551615 274474023921 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0482229 s]
/proc/loadavg: 6.95 7.90 7.99 2/172 2175
/proc/meminfo: memFree=19210260/32950928 swapFree=67111528/67111528
[pid=2175] ppid=2173 vsize=282208 CPUtime=0.16 cores=0,2,4,6
/proc/2175/stat : 2175 (strangenight1-m) R 2173 2175 1274 0 -1 4202496 1324 0 0 0 16 0 0 0 24 0 4 0 520729133 288980992 1205 33554432000 4194304 4650419 140735332005312 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2175/statm: 70552 1205 390 112 0 65517 0
[pid=2175/tid=2176] ppid=2173 vsize=282208 CPUtime=0.04 cores=0,2,4,6
/proc/2175/task/2176/stat : 2176 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 252 0 0 0 4 0 0 0 24 0 4 0 520729133 288980992 1205 33554432000 4194304 4650419 140735332005312 18446744073709551615 4363613 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2175/tid=2177] ppid=2173 vsize=282208 CPUtime=0.04 cores=0,2,4,6
/proc/2175/task/2177/stat : 2177 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 237 0 0 0 4 0 0 0 24 0 4 0 520729133 288980992 1205 33554432000 4194304 4650419 140735332005312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2175/tid=2178] ppid=2173 vsize=282208 CPUtime=0.04 cores=0,2,4,6
/proc/2175/task/2178/stat : 2178 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 168 0 0 0 4 0 0 0 25 0 4 0 520729133 288980992 1205 33554432000 4194304 4650419 140735332005312 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 282208

[startup+0.100214 s]
/proc/loadavg: 6.95 7.90 7.99 2/172 2175
/proc/meminfo: memFree=19210260/32950928 swapFree=67111528/67111528
[pid=2175] ppid=2173 vsize=282208 CPUtime=0.37 cores=0,2,4,6
/proc/2175/stat : 2175 (strangenight1-m) R 2173 2175 1274 0 -1 4202496 1563 0 0 0 37 0 0 0 24 0 4 0 520729133 288980992 1444 33554432000 4194304 4650419 140735332005312 18446744073709551615 4363531 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2175/statm: 70552 1444 391 112 0 65517 0
[pid=2175/tid=2176] ppid=2173 vsize=282208 CPUtime=0.09 cores=0,2,4,6
/proc/2175/task/2176/stat : 2176 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 316 0 0 0 9 0 0 0 24 0 4 0 520729133 288980992 1444 33554432000 4194304 4650419 140735332005312 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2175/tid=2177] ppid=2173 vsize=282208 CPUtime=0.09 cores=0,2,4,6
/proc/2175/task/2177/stat : 2177 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 295 0 0 0 9 0 0 0 24 0 4 0 520729133 288980992 1444 33554432000 4194304 4650419 140735332005312 18446744073709551615 4328518 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2175/tid=2178] ppid=2173 vsize=282208 CPUtime=0.09 cores=0,2,4,6
/proc/2175/task/2178/stat : 2178 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 232 0 0 0 9 0 0 0 25 0 4 0 520729133 288980992 1444 33554432000 4194304 4650419 140735332005312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282208

[startup+0.300179 s]
/proc/loadavg: 6.95 7.90 7.99 2/172 2175
/proc/meminfo: memFree=19210260/32950928 swapFree=67111528/67111528
[pid=2175] ppid=2173 vsize=283328 CPUtime=1.17 cores=0,2,4,6
/proc/2175/stat : 2175 (strangenight1-m) R 2173 2175 1274 0 -1 4202496 2578 0 0 0 117 0 0 0 25 0 4 0 520729133 290127872 1976 33554432000 4194304 4650419 140735332005312 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2175/statm: 70832 1976 393 112 0 65797 0
[pid=2175/tid=2176] ppid=2173 vsize=283328 CPUtime=0.29 cores=0,2,4,6
/proc/2175/task/2176/stat : 2176 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 572 0 0 0 29 0 0 0 25 0 4 0 520729133 290127872 1976 33554432000 4194304 4650419 140735332005312 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2175/tid=2177] ppid=2173 vsize=283328 CPUtime=0.29 cores=0,2,4,6
/proc/2175/task/2177/stat : 2177 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 542 0 0 0 29 0 0 0 25 0 4 0 520729133 290127872 1976 33554432000 4194304 4650419 140735332005312 18446744073709551615 4364402 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2175/tid=2178] ppid=2173 vsize=283328 CPUtime=0.29 cores=0,2,4,6
/proc/2175/task/2178/stat : 2178 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 478 0 0 0 29 0 0 0 25 0 4 0 520729133 290127872 1976 33554432000 4194304 4650419 140735332005312 18446744073709551615 4333600 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283328

[startup+0.701109 s]
/proc/loadavg: 6.95 7.90 7.99 2/172 2175
/proc/meminfo: memFree=19210260/32950928 swapFree=67111528/67111528
[pid=2175] ppid=2173 vsize=285060 CPUtime=2.77 cores=0,2,4,6
/proc/2175/stat : 2175 (strangenight1-m) R 2173 2175 1274 0 -1 4202496 4554 0 0 0 277 0 0 0 25 0 4 0 520729133 291901440 2310 33554432000 4194304 4650419 140735332005312 18446744073709551615 4334034 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2175/statm: 71265 2310 393 112 0 66230 0
[pid=2175/tid=2176] ppid=2173 vsize=285060 CPUtime=0.69 cores=0,2,4,6
/proc/2175/task/2176/stat : 2176 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 1061 0 0 0 69 0 0 0 25 0 4 0 520729133 291901440 2310 33554432000 4194304 4650419 140735332005312 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2175/tid=2177] ppid=2173 vsize=285060 CPUtime=0.69 cores=0,2,4,6
/proc/2175/task/2177/stat : 2177 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 1039 0 0 0 69 0 0 0 25 0 4 0 520729133 291901440 2310 33554432000 4194304 4650419 140735332005312 18446744073709551615 4363520 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2175/tid=2178] ppid=2173 vsize=285060 CPUtime=0.69 cores=0,2,4,6
/proc/2175/task/2178/stat : 2178 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 943 0 0 0 69 0 0 0 25 0 4 0 520729133 291901440 2310 33554432000 4194304 4650419 140735332005312 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285060

[startup+1.50097 s]
/proc/loadavg: 6.95 7.90 7.99 9/184 2187
/proc/meminfo: memFree=19189836/32950928 swapFree=67111528/67111528
[pid=2175] ppid=2173 vsize=277308 CPUtime=5.96 cores=0,2,4,6
/proc/2175/stat : 2175 (strangenight1-m) R 2173 2175 1274 0 -1 4202496 7834 0 0 0 596 0 0 0 25 0 4 0 520729133 283963392 4114 33554432000 4194304 4650419 140735332005312 18446744073709551615 4333548 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2175/statm: 69327 4114 395 112 0 64292 0
[pid=2175/tid=2176] ppid=2173 vsize=277308 CPUtime=1.49 cores=0,2,4,6
/proc/2175/task/2176/stat : 2176 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 1566 0 0 0 149 0 0 0 25 0 4 0 520729133 283963392 4114 33554432000 4194304 4650419 140735332005312 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2175/tid=2177] ppid=2173 vsize=277308 CPUtime=1.48 cores=0,2,4,6
/proc/2175/task/2177/stat : 2177 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 1756 0 0 0 148 0 0 0 25 0 4 0 520729133 283963392 4114 33554432000 4194304 4650419 140735332005312 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2175/tid=2178] ppid=2173 vsize=277308 CPUtime=1.49 cores=0,2,4,6
/proc/2175/task/2178/stat : 2178 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 1455 0 0 0 149 0 0 0 25 0 4 0 520729133 283963392 4115 33554432000 4194304 4650419 140735332005312 18446744073709551615 4315564 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 277308

[startup+3.10069 s]
/proc/loadavg: 7.03 7.91 7.99 9/184 2187
/proc/meminfo: memFree=19154248/32950928 swapFree=67111528/67111528
[pid=2175] ppid=2173 vsize=278760 CPUtime=12.36 cores=0,2,4,6
/proc/2175/stat : 2175 (strangenight1-m) R 2173 2175 1274 0 -1 4202496 15244 0 0 0 1234 2 0 0 25 0 4 0 520729133 285450240 8752 33554432000 4194304 4650419 140735332005312 18446744073709551615 4354952 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2175/statm: 69690 8752 395 112 0 64655 0
[pid=2175/tid=2176] ppid=2173 vsize=278760 CPUtime=3.09 cores=0,2,4,6
/proc/2175/task/2176/stat : 2176 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 3604 0 0 0 309 0 0 0 25 0 4 0 520729133 285450240 8752 33554432000 4194304 4650419 140735332005312 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2175/tid=2177] ppid=2173 vsize=278760 CPUtime=3.07 cores=0,2,4,6
/proc/2175/task/2177/stat : 2177 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 3979 0 0 0 307 0 0 0 25 0 4 0 520729133 285450240 8753 33554432000 4194304 4650419 140735332005312 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2175/tid=2178] ppid=2173 vsize=278760 CPUtime=3.08 cores=0,2,4,6
/proc/2175/task/2178/stat : 2178 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 3517 0 0 0 308 0 0 0 25 0 4 0 520729133 285450240 8753 33554432000 4194304 4650419 140735332005312 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 278760

[startup+6.30113 s]
/proc/loadavg: 7.03 7.91 7.99 9/184 2187
/proc/meminfo: memFree=19119724/32950928 swapFree=67111528/67111528
[pid=2175] ppid=2173 vsize=279908 CPUtime=25.14 cores=0,2,4,6
/proc/2175/stat : 2175 (strangenight1-m) R 2173 2175 1274 0 -1 4202496 22334 0 0 0 2511 3 0 0 25 0 4 0 520729133 286625792 11336 33554432000 4194304 4650419 140735332005312 18446744073709551615 4363584 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2175/statm: 69977 11337 395 112 0 64942 0
[pid=2175/tid=2176] ppid=2173 vsize=279908 CPUtime=6.28 cores=0,2,4,6
/proc/2175/task/2176/stat : 2176 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 6085 0 0 0 628 0 0 0 25 0 4 0 520729133 286625792 11337 33554432000 4194304 4650419 140735332005312 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2175/tid=2177] ppid=2173 vsize=279908 CPUtime=6.26 cores=0,2,4,6
/proc/2175/task/2177/stat : 2177 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 6370 0 0 0 625 1 0 0 25 0 4 0 520729133 286625792 11337 33554432000 4194304 4650419 140735332005312 18446744073709551615 4439099 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2175/tid=2178] ppid=2173 vsize=279908 CPUtime=6.28 cores=0,2,4,6
/proc/2175/task/2178/stat : 2178 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 4411 0 0 0 628 0 0 0 25 0 4 0 520729133 286625792 11337 33554432000 4194304 4650419 140735332005312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 279908

[startup+12.701 s]
/proc/loadavg: 7.25 7.92 7.99 9/184 2187
/proc/meminfo: memFree=19084748/32950928 swapFree=67111528/67111528
[pid=2175] ppid=2173 vsize=282712 CPUtime=50.7 cores=0,2,4,6
/proc/2175/stat : 2175 (strangenight1-m) R 2173 2175 1274 0 -1 4202496 33971 0 0 0 5065 5 0 0 25 0 4 0 520729133 289497088 15676 33554432000 4194304 4650419 140735332005312 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2175/statm: 70678 15676 395 112 0 65643 0
[pid=2175/tid=2176] ppid=2173 vsize=282712 CPUtime=12.69 cores=0,2,4,6
/proc/2175/task/2176/stat : 2176 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 9019 0 0 0 1268 1 0 0 25 0 4 0 520729133 289497088 15676 33554432000 4194304 4650419 140735332005312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2175/tid=2177] ppid=2173 vsize=282712 CPUtime=12.63 cores=0,2,4,6
/proc/2175/task/2177/stat : 2177 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 9543 0 0 0 1261 2 0 0 25 0 4 0 520729133 289497088 15676 33554432000 4194304 4650419 140735332005312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2175/tid=2178] ppid=2173 vsize=282712 CPUtime=12.68 cores=0,2,4,6
/proc/2175/task/2178/stat : 2178 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 6424 0 0 0 1268 0 0 0 25 0 4 0 520729133 289497088 15676 33554432000 4194304 4650419 140735332005312 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 282712

[startup+25.5007 s]
/proc/loadavg: 7.37 7.93 7.99 9/184 2188
/proc/meminfo: memFree=19039740/32950928 swapFree=67111528/67111528
[pid=2175] ppid=2173 vsize=286976 CPUtime=101.84 cores=0,2,4,6
/proc/2175/stat : 2175 (strangenight1-m) R 2173 2175 1274 0 -1 4202496 53930 0 0 0 10175 9 0 0 25 0 4 0 520729133 293863424 21011 33554432000 4194304 4650419 140735332005312 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2175/statm: 71744 21011 395 112 0 66709 0
[pid=2175/tid=2176] ppid=2173 vsize=286976 CPUtime=25.49 cores=0,2,4,6
/proc/2175/task/2176/stat : 2176 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 15374 0 0 0 2547 2 0 0 25 0 4 0 520729133 293863424 21011 33554432000 4194304 4650419 140735332005312 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2175/tid=2177] ppid=2173 vsize=286976 CPUtime=25.35 cores=0,2,4,6
/proc/2175/task/2177/stat : 2177 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 15123 0 0 0 2533 2 0 0 25 0 4 0 520729133 293863424 21011 33554432000 4194304 4650419 140735332005312 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2175/tid=2178] ppid=2173 vsize=286976 CPUtime=25.48 cores=0,2,4,6
/proc/2175/task/2178/stat : 2178 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 9509 0 0 0 2547 1 0 0 25 0 4 0 520729133 293863424 21011 33554432000 4194304 4650419 140735332005312 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 286976

[startup+51.1002 s]
/proc/loadavg: 7.71 7.96 8.00 9/184 2188
/proc/meminfo: memFree=18993544/32950928 swapFree=67111528/67111528
[pid=2175] ppid=2173 vsize=346072 CPUtime=204.11 cores=0,2,4,6
/proc/2175/stat : 2175 (strangenight1-m) R 2173 2175 1274 0 -1 4202496 82048 0 0 0 20394 17 0 0 25 0 4 0 520729133 354377728 27215 33554432000 4194304 4650419 140735332005312 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2175/statm: 86518 27215 395 112 0 81483 0
[pid=2175/tid=2176] ppid=2173 vsize=346072 CPUtime=51.09 cores=0,2,4,6
/proc/2175/task/2176/stat : 2176 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 23814 0 0 0 5105 4 0 0 25 0 4 0 520729133 354377728 27215 33554432000 4194304 4650419 140735332005312 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2175/tid=2177] ppid=2173 vsize=346072 CPUtime=50.82 cores=0,2,4,6
/proc/2175/task/2177/stat : 2177 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 23507 0 0 0 5078 4 0 0 25 0 4 0 520729133 354377728 27215 33554432000 4194304 4650419 140735332005312 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2175/tid=2178] ppid=2173 vsize=346072 CPUtime=51.09 cores=0,2,4,6
/proc/2175/task/2178/stat : 2178 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 14276 0 0 0 5106 3 0 0 25 0 4 0 520729133 354377728 27215 33554432000 4194304 4650419 140735332005312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 346072

[startup+102.306 s]
/proc/loadavg: 7.94 7.98 8.00 9/184 2190
/proc/meminfo: memFree=18943812/32950928 swapFree=67111528/67111528
[pid=2175] ppid=2173 vsize=293704 CPUtime=408.66 cores=0,2,4,6
/proc/2175/stat : 2175 (strangenight1-m) R 2173 2175 1274 0 -1 4202496 126798 0 0 0 40836 30 0 0 25 0 4 0 520729133 300752896 31505 33554432000 4194304 4650419 140735332005312 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2175/statm: 73426 31505 395 112 0 68391 0
[pid=2175/tid=2176] ppid=2173 vsize=293704 CPUtime=102.3 cores=0,2,4,6
/proc/2175/task/2176/stat : 2176 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 36048 0 0 0 10222 8 0 0 25 0 4 0 520729133 300752896 31505 33554432000 4194304 4650419 140735332005312 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2175/tid=2177] ppid=2173 vsize=293704 CPUtime=101.77 cores=0,2,4,6
/proc/2175/task/2177/stat : 2177 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 36397 0 0 0 10169 8 0 0 25 0 4 0 520729133 300752896 31505 33554432000 4194304 4650419 140735332005312 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2175/tid=2178] ppid=2173 vsize=293704 CPUtime=102.3 cores=0,2,4,6
/proc/2175/task/2178/stat : 2178 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 21380 0 0 0 10225 5 0 0 25 0 4 0 520729133 300752896 31505 33554432000 4194304 4650419 140735332005312 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.66
Current children cumulated vsize (KiB) 293704

[startup+162.301 s]

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

[pid=2175] ppid=2173 vsize=524008 CPUtime=2805.4 cores=0,2,4,6
/proc/2175/stat : 2175 (strangenight1-m) R 2173 2175 1274 0 -1 4202496 421355 0 0 0 280402 138 0 0 25 0 4 0 520729133 536584192 74828 33554432000 4194304 4650419 140735332005312 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2175/statm: 131002 74828 395 112 0 125967 0
[pid=2175/tid=2176] ppid=2173 vsize=524008 CPUtime=702.31 cores=0,2,4,6
/proc/2175/task/2176/stat : 2176 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 116149 0 0 0 70194 37 0 0 25 0 4 0 520729133 536584192 74828 33554432000 4194304 4650419 140735332005312 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2175/tid=2177] ppid=2173 vsize=524008 CPUtime=698.54 cores=0,2,4,6
/proc/2175/task/2177/stat : 2177 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 129106 0 0 0 69815 39 0 0 25 0 4 0 520729133 536584192 74828 33554432000 4194304 4650419 140735332005312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2175/tid=2178] ppid=2173 vsize=524008 CPUtime=702.3 cores=0,2,4,6
/proc/2175/task/2178/stat : 2178 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 71804 0 0 0 70206 24 0 0 25 0 4 0 520729133 536584192 74828 33554432000 4194304 4650419 140735332005312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.4
Current children cumulated vsize (KiB) 524008

[startup+762.306 s]
/proc/loadavg: 8.09 8.08 8.02 9/184 2207
/proc/meminfo: memFree=18559060/32950928 swapFree=67111528/67111528
[pid=2175] ppid=2173 vsize=591056 CPUtime=3045.1 cores=0,2,4,6
/proc/2175/stat : 2175 (strangenight1-m) R 2173 2175 1274 0 -1 4202496 443601 0 0 0 304362 148 0 0 25 0 4 0 520729133 605241344 78720 33554432000 4194304 4650419 140735332005312 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2175/statm: 147764 78720 395 112 0 142729 0
[pid=2175/tid=2176] ppid=2173 vsize=591056 CPUtime=762.31 cores=0,2,4,6
/proc/2175/task/2176/stat : 2176 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 121966 0 0 0 76192 39 0 0 25 0 4 0 520729133 605241344 78720 33554432000 4194304 4650419 140735332005312 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2175/tid=2177] ppid=2173 vsize=591056 CPUtime=758.21 cores=0,2,4,6
/proc/2175/task/2177/stat : 2177 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 135420 0 0 0 75780 41 0 0 25 0 4 0 520729133 605241344 78720 33554432000 4194304 4650419 140735332005312 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2175/tid=2178] ppid=2173 vsize=591056 CPUtime=762.31 cores=0,2,4,6
/proc/2175/task/2178/stat : 2178 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 75427 0 0 0 76205 26 0 0 25 0 4 0 520729133 605241344 78720 33554432000 4194304 4650419 140735332005312 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.1
Current children cumulated vsize (KiB) 591056

[startup+822.301 s]
/proc/loadavg: 8.10 8.10 8.03 9/184 2209
/proc/meminfo: memFree=18540688/32950928 swapFree=67111528/67111528
[pid=2175] ppid=2173 vsize=528412 CPUtime=3284.75 cores=0,2,4,6
/proc/2175/stat : 2175 (strangenight1-m) R 2173 2175 1274 0 -1 4202496 467269 0 0 0 328318 157 0 0 25 0 4 0 520729133 541093888 83017 33554432000 4194304 4650419 140735332005312 18446744073709551615 4310834 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2175/statm: 132103 83017 395 112 0 127068 0
[pid=2175/tid=2176] ppid=2173 vsize=528412 CPUtime=822.31 cores=0,2,4,6
/proc/2175/task/2176/stat : 2176 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 128740 0 0 0 82189 42 0 0 25 0 4 0 520729133 541093888 83017 33554432000 4194304 4650419 140735332005312 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2175/tid=2177] ppid=2173 vsize=528412 CPUtime=817.89 cores=0,2,4,6
/proc/2175/task/2177/stat : 2177 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 143854 0 0 0 81745 44 0 0 25 0 4 0 520729133 541093888 83017 33554432000 4194304 4650419 140735332005312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2175/tid=2178] ppid=2173 vsize=528412 CPUtime=822.3 cores=0,2,4,6
/proc/2175/task/2178/stat : 2178 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 78081 0 0 0 82203 27 0 0 25 0 4 0 520729133 541093888 83017 33554432000 4194304 4650419 140735332005312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.75
Current children cumulated vsize (KiB) 528412

[startup+882.301 s]
/proc/loadavg: 8.17 8.12 8.04 9/184 2210
/proc/meminfo: memFree=18511652/32950928 swapFree=67111528/67111528
[pid=2175] ppid=2173 vsize=606988 CPUtime=3524.42 cores=0,2,4,6
/proc/2175/stat : 2175 (strangenight1-m) R 2173 2175 1274 0 -1 4202496 488714 0 0 0 352276 166 0 0 25 0 4 0 520729133 621555712 84972 33554432000 4194304 4650419 140735332005312 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2175/statm: 151747 84973 395 112 0 146712 0
[pid=2175/tid=2176] ppid=2173 vsize=606988 CPUtime=882.3 cores=0,2,4,6
/proc/2175/task/2176/stat : 2176 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 136094 0 0 0 88184 46 0 0 25 0 4 0 520729133 621555712 84973 33554432000 4194304 4650419 140735332005312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2175/tid=2177] ppid=2173 vsize=606988 CPUtime=877.57 cores=0,2,4,6
/proc/2175/task/2177/stat : 2177 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 150476 0 0 0 87711 46 0 0 25 0 4 0 520729133 621555712 84973 33554432000 4194304 4650419 140735332005312 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2175/tid=2178] ppid=2173 vsize=606988 CPUtime=882.3 cores=0,2,4,6
/proc/2175/task/2178/stat : 2178 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 81093 0 0 0 88202 28 0 0 25 0 4 0 520729133 621555712 84973 33554432000 4194304 4650419 140735332005312 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.42
Current children cumulated vsize (KiB) 606988

[startup+942.3 s]
/proc/loadavg: 8.14 8.11 8.04 9/184 2212
/proc/meminfo: memFree=18506048/32950928 swapFree=67111528/67111528
[pid=2175] ppid=2173 vsize=605460 CPUtime=3764.11 cores=0,2,4,6
/proc/2175/stat : 2175 (strangenight1-m) R 2173 2175 1274 0 -1 4202496 509061 0 0 0 376235 176 0 0 25 0 4 0 520729133 619991040 90978 33554432000 4194304 4650419 140735332005312 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2175/statm: 151365 90978 395 112 0 146330 0
[pid=2175/tid=2176] ppid=2173 vsize=605460 CPUtime=942.31 cores=0,2,4,6
/proc/2175/task/2176/stat : 2176 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 142073 0 0 0 94181 50 0 0 25 0 4 0 520729133 619991040 90978 33554432000 4194304 4650419 140735332005312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2175/tid=2177] ppid=2173 vsize=605460 CPUtime=937.25 cores=0,2,4,6
/proc/2175/task/2177/stat : 2177 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 156548 0 0 0 93677 48 0 0 25 0 4 0 520729133 619991040 90978 33554432000 4194304 4650419 140735332005312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2175/tid=2178] ppid=2173 vsize=605460 CPUtime=942.31 cores=0,2,4,6
/proc/2175/task/2178/stat : 2178 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 83400 0 0 0 94202 29 0 0 25 0 4 0 520729133 619991040 90978 33554432000 4194304 4650419 140735332005312 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.11
Current children cumulated vsize (KiB) 605460

[startup+1002.3 s]
/proc/loadavg: 8.11 8.10 8.04 9/184 2214
/proc/meminfo: memFree=18492740/32950928 swapFree=67111528/67111528
[pid=2175] ppid=2173 vsize=606292 CPUtime=4003.78 cores=0,2,4,6
/proc/2175/stat : 2175 (strangenight1-m) R 2173 2175 1274 0 -1 4202496 524672 0 0 0 400195 183 0 0 25 0 4 0 520729133 620843008 87723 33554432000 4194304 4650419 140735332005312 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2175/statm: 151573 87723 395 112 0 146538 0
[pid=2175/tid=2176] ppid=2173 vsize=606292 CPUtime=1002.31 cores=0,2,4,6
/proc/2175/task/2176/stat : 2176 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 147215 0 0 0 100179 52 0 0 25 0 4 0 520729133 620843008 87723 33554432000 4194304 4650419 140735332005312 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2175/tid=2177] ppid=2173 vsize=606292 CPUtime=996.93 cores=0,2,4,6
/proc/2175/task/2177/stat : 2177 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 163483 0 0 0 99641 52 0 0 25 0 4 0 520729133 620843008 87723 33554432000 4194304 4650419 140735332005312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2175/tid=2178] ppid=2173 vsize=606292 CPUtime=1002.31 cores=0,2,4,6
/proc/2175/task/2178/stat : 2178 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 85136 0 0 0 100201 30 0 0 25 0 4 0 520729133 620843008 87723 33554432000 4194304 4650419 140735332005312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.78
Current children cumulated vsize (KiB) 606292

[startup+1062.3 s]
/proc/loadavg: 8.10 8.10 8.04 9/184 2215
/proc/meminfo: memFree=18473884/32950928 swapFree=67111528/67111528
[pid=2175] ppid=2173 vsize=606436 CPUtime=4243.46 cores=0,2,4,6
/proc/2175/stat : 2175 (strangenight1-m) R 2173 2175 1274 0 -1 4202496 543848 0 0 0 424156 190 0 0 25 0 4 0 520729133 620990464 94440 33554432000 4194304 4650419 140735332005312 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2175/statm: 151609 94440 395 112 0 146574 0
[pid=2175/tid=2176] ppid=2173 vsize=606436 CPUtime=1062.32 cores=0,2,4,6
/proc/2175/task/2176/stat : 2176 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 151619 0 0 0 106178 54 0 0 25 0 4 0 520729133 620990464 94440 33554432000 4194304 4650419 140735332005312 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2175/tid=2177] ppid=2173 vsize=606436 CPUtime=1056.6 cores=0,2,4,6
/proc/2175/task/2177/stat : 2177 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 169807 0 0 0 105606 54 0 0 25 0 4 0 520729133 620990464 94440 33554432000 4194304 4650419 140735332005312 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2175/tid=2178] ppid=2173 vsize=606436 CPUtime=1062.31 cores=0,2,4,6
/proc/2175/task/2178/stat : 2178 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 88177 0 0 0 106201 30 0 0 25 0 4 0 520729133 620990464 94440 33554432000 4194304 4650419 140735332005312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.46
Current children cumulated vsize (KiB) 606436

[startup+1122.3 s]
/proc/loadavg: 8.09 8.09 8.03 9/184 2217
/proc/meminfo: memFree=18451792/32950928 swapFree=67111528/67111528
[pid=2175] ppid=2173 vsize=606640 CPUtime=4483.14 cores=0,2,4,6
/proc/2175/stat : 2175 (strangenight1-m) R 2173 2175 1274 0 -1 4202496 560374 0 0 0 448116 198 0 0 25 0 4 0 520729133 621199360 95585 33554432000 4194304 4650419 140735332005312 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2175/statm: 151660 95585 395 112 0 146625 0
[pid=2175/tid=2176] ppid=2173 vsize=606640 CPUtime=1122.32 cores=0,2,4,6
/proc/2175/task/2176/stat : 2176 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 156828 0 0 0 112176 56 0 0 25 0 4 0 520729133 621199360 95585 33554432000 4194304 4650419 140735332005312 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2175/tid=2177] ppid=2173 vsize=606640 CPUtime=1116.28 cores=0,2,4,6
/proc/2175/task/2177/stat : 2177 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 176540 0 0 0 111571 57 0 0 25 0 4 0 520729133 621199360 95585 33554432000 4194304 4650419 140735332005312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2175/tid=2178] ppid=2173 vsize=606640 CPUtime=1122.31 cores=0,2,4,6
/proc/2175/task/2178/stat : 2178 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 89415 0 0 0 112200 31 0 0 25 0 4 0 520729133 621199360 95585 33554432000 4194304 4650419 140735332005312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.14
Current children cumulated vsize (KiB) 606640

[startup+1182.3 s]
/proc/loadavg: 8.14 8.10 8.04 9/184 2218
/proc/meminfo: memFree=18421272/32950928 swapFree=67111528/67111528
[pid=2175] ppid=2173 vsize=594048 CPUtime=4722.8 cores=0,2,4,6
/proc/2175/stat : 2175 (strangenight1-m) R 2173 2175 1274 0 -1 4202496 580653 0 0 0 472075 205 0 0 25 0 4 0 520729133 608305152 101031 33554432000 4194304 4650419 140735332005312 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2175/statm: 148512 101031 395 112 0 143477 0
[pid=2175/tid=2176] ppid=2173 vsize=594048 CPUtime=1182.32 cores=0,2,4,6
/proc/2175/task/2176/stat : 2176 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 160604 0 0 0 118175 57 0 0 25 0 4 0 520729133 608305152 101031 33554432000 4194304 4650419 140735332005312 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2175/tid=2177] ppid=2173 vsize=594048 CPUtime=1175.96 cores=0,2,4,6
/proc/2175/task/2177/stat : 2177 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 184651 0 0 0 117536 60 0 0 25 0 4 0 520729133 608305152 101031 33554432000 4194304 4650419 140735332005312 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2175/tid=2178] ppid=2173 vsize=594048 CPUtime=1182.31 cores=0,2,4,6
/proc/2175/task/2178/stat : 2178 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 92483 0 0 0 118199 32 0 0 25 0 4 0 520729133 608305152 101031 33554432000 4194304 4650419 140735332005312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.8
Current children cumulated vsize (KiB) 594048



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.09 8.09 8.04 9/184 2219
/proc/meminfo: memFree=18405892/32950928 swapFree=67111528/67111528
[pid=2175] ppid=2173 vsize=594048 CPUtime=4800.3 cores=0,2,4,6
/proc/2175/stat : 2175 (strangenight1-m) R 2173 2175 1274 0 -1 4202496 584431 0 0 0 479824 206 0 0 25 0 4 0 520729133 608305152 103293 33554432000 4194304 4650419 140735332005312 18446744073709551615 4366931 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2175/statm: 148512 103293 395 112 0 143477 0
[pid=2175/tid=2176] ppid=2173 vsize=594048 CPUtime=1201.72 cores=0,2,4,6
/proc/2175/task/2176/stat : 2176 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 160604 0 0 0 120115 57 0 0 25 0 4 0 520729133 608305152 103293 33554432000 4194304 4650419 140735332005312 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2175/tid=2177] ppid=2173 vsize=594048 CPUtime=1195.25 cores=0,2,4,6
/proc/2175/task/2177/stat : 2177 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 186544 0 0 0 119465 60 0 0 25 0 4 0 520729133 608305152 103293 33554432000 4194304 4650419 140735332005312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2175/tid=2178] ppid=2173 vsize=594048 CPUtime=1201.72 cores=0,2,4,6
/proc/2175/task/2178/stat : 2178 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 93127 0 0 0 120139 33 0 0 25 0 4 0 520729133 608305152 103293 33554432000 4194304 4650419 140735332005312 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 594048

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

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

[startup+1201.7 s]
/proc/loadavg: 8.09 8.09 8.04 9/184 2219
/proc/meminfo: memFree=18405892/32950928 swapFree=67111528/67111528
[pid=2175] ppid=2173 vsize=594048 CPUtime=4800.3 cores=0,2,4,6
/proc/2175/stat : 2175 (strangenight1-m) R 2173 2175 1274 0 -1 4202496 584431 0 0 0 479824 206 0 0 25 0 4 0 520729133 608305152 103293 33554432000 4194304 4650419 140735332005312 18446744073709551615 4366931 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2175/statm: 148512 103293 395 112 0 143477 0
[pid=2175/tid=2176] ppid=2173 vsize=594048 CPUtime=1201.72 cores=0,2,4,6
/proc/2175/task/2176/stat : 2176 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 160604 0 0 0 120115 57 0 0 25 0 4 0 520729133 608305152 103293 33554432000 4194304 4650419 140735332005312 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2175/tid=2177] ppid=2173 vsize=594048 CPUtime=1195.25 cores=0,2,4,6
/proc/2175/task/2177/stat : 2177 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 186544 0 0 0 119465 60 0 0 25 0 4 0 520729133 608305152 103293 33554432000 4194304 4650419 140735332005312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2175/tid=2178] ppid=2173 vsize=594048 CPUtime=1201.72 cores=0,2,4,6
/proc/2175/task/2178/stat : 2178 (strangenight1-m) R 2173 2175 1274 0 -1 4202560 93127 0 0 0 120139 33 0 0 25 0 4 0 520729133 608305152 103293 33554432000 4194304 4650419 140735332005312 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 594048

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.37
CPU user time (s): 4798.28
CPU system time (s): 2.08868
CPU usage (%): 399.454
Max. virtual memory (cumulated for all children) (KiB): 658708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.28
system time used= 2.08868
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 584432
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= 306
involuntary context switches= 22765

runsolver used 1.9577 second user time and 4.51531 second system time

The end

Launcher Data 

Begin job on node125 at 2011-04-29 17:34:55
IDJOB=3175138
IDBENCH=82756
IDSOLVER=1588
FILE ID=node125/3175138-1304091295
RUNJOBID= node125-1304091295-2160
PBS_JOBID= 13170543
Free space on /tmp= 72764 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v400-c1704-S1081907273-083.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175138-1304091295/watcher-3175138-1304091295 -o /tmp/evaluation-result-3175138-1304091295/solver-3175138-1304091295 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175138-1304091295.cnf

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

MD5SUM BENCH= 4b706363c6542ff406d07bd657988d05
RANDOM SEED=1361578464

node125.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.828
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.65
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.828
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	: 5266.55
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.828
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.84
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.828
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.74
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.828
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.82
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.828
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.74
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.828
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.828
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      19210540 kB
Buffers:       2218276 kB
Cached:       10927228 kB
SwapCached:          0 kB
Active:        8432980 kB
Inactive:      4776228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      19210540 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           12564 kB
Writeback:           0 kB
AnonPages:       63268 kB
Mapped:          14488 kB
Slab:           467220 kB
PageTables:       4856 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   189596 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= 72752 MiB
End job on node125 at 2011-04-29 17:54:58