Trace number 3368805

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.34 1203.64

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v550-c2343-S1694067460-072.UNKNOWN.cnf
MD5SUMf2d2b125797e776fb2e7099729714d99
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables550
Number of clauses2343
Sum of the clauses size7029
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32343
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368805-1305403370.cnf'
0.00/0.01	c -- header says num vars:            550
0.00/0.01	c -- header says num clauses:        2343
0.00/0.01	c -- clauses added:            0 learnts,         2343 normals,            0 xors
0.00/0.01	c -- vars added        550
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       550      2343         0         0      7029         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/2343/2343 lits-rem:0 time: 0.01
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:    550 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.02	c lits-rem:         0  cl-subs:        0  v-elim:     22  v-fix:    0  time:  0.01 s
0.00/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.02	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.02	c calculated reachability. Time: 0.00
0.00/0.02	c Calc default polars -  time:   0.00 s pos:     246 undec:      59 neg:     245
0.00/0.02	c =========================================================================================
0.00/0.02	c types(t): F = full restart, N = normal restart
0.00/0.02	c types(t): S = simplification begin/end, E = solution found
0.00/0.02	c restart types(rt): st = static, dy = dynamic
0.00/0.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.02	c  B st     0         0       528      2332         0         0      7132         0   no data   no data  --
0.00/0.07	c Decided on static restart strategy
3.17/0.85	c  N st     8      4923       528      2332         0      4855      7132    111268   no data   no data  --
3.17/0.85	c  N st    10     11306       528      2332         0      4456      7132     70723   no data   no data  --
3.17/0.85	c  N st    11     17049       528      2332         0     10039      7132    193889   no data   no data  --
4.40/1.15	c  F st    12     25000       528      2332         0     12336      7132    251852   no data   no data  --
4.40/1.15	c  N st    12     25000       528      2332         0     12336      7132    251852   no data   no data  --
5.16/1.32	c Decided on static restart strategy
5.16/1.32	c  N st    18     30001       528      2332         0     10610      7132    186138   no data   no data  --
5.16/1.32	c  S st    18     30001       528      2332         0     10610      7132    186138   no data   no data  --
5.16/1.35	c  S st    18     30501       528      2332         0     11109      7132    197849   no data   no data  --
5.16/1.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.16/1.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.16/1.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    528 time:  0.00 s
5.16/1.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.96/1.55	c lits-rem:       173  cl-subs:     1061  v-elim:      0  v-fix:    0  time:  0.78 s
5.96/1.56	c asymm  cl-useful: 0/2332/2332 lits-rem:0 time: 0.04
5.96/1.56	c calculated reachability. Time: 0.00
5.96/1.56	c  N st    18     30501       528      2332         0     10048      7132    174952   no data   no data  --
7.55/1.94	c  N st    20     37615       528      2332         0      9319      7132    147078   no data   no data  --
9.19/2.31	c  N st    21     44016       528      2332         0     15602      7132    286958   no data   no data  --
9.54/2.42	c  S st    22     45751       528      2332         0     17292      7132    323479   no data   no data  --
9.54/2.47	c  S st    22     46253       528      2332         0      9059      7132    124694   no data   no data  --
9.54/2.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.54/2.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.54/2.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.54/2.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.54/2.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.54/2.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    528 time:  0.00 s
9.54/2.47	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.95/2.54	c lits-rem:        46  cl-subs:       54  v-elim:      0  v-fix:    0  time:  0.25 s
9.95/2.54	c vivif2 --  cl tried     2332 cl shrink        0 lits rem          0 time: 0.00
9.95/2.54	c vivif2 --  cl tried     9005 cl shrink        0 lits rem          0 time: 0.01
9.95/2.55	c asymm  cl-useful: 0/2332/2332 lits-rem:0 time: 0.03
9.95/2.55	c calculated reachability. Time: 0.00
9.95/2.55	c  N st    22     46253       528      2332         0      9005      7132    123643   no data   no data  --
13.18/3.35	c  N st    23     60651       528      2332         0     13320      7132    210458   no data   no data  --
15.54/3.94	c  N st    24     69380       528      2332         0     11124      7132    151506   no data   no data  --
15.54/3.94	c  S st    24     69380       528      2332         0     11124      7132    151506   no data   no data  --
15.54/3.97	c  S st    24     69886       528      2332         0     11629      7132    163988   no data   no data  --
15.54/3.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.54/3.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.54/3.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
15.54/3.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.54/3.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.54/3.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    528 time:  0.00 s
15.54/3.98	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.33/4.12	c lits-rem:        55  cl-subs:      156  v-elim:      0  v-fix:    0  time:  0.58 s
16.33/4.12	c vivif2 --  cl tried     2332 cl shrink        0 lits rem          0 time: 0.00
16.33/4.13	c vivif2 --  cl tried    11473 cl shrink        0 lits rem          0 time: 0.01
16.33/4.14	c asymm  cl-useful: 0/2332/2332 lits-rem:0 time: 0.04
16.33/4.14	c calculated reachability. Time: 0.00
16.33/4.14	c  N st    24     69886       528      2332         0     11473      7132    160422   no data   no data  --
21.11/5.35	c  F st    25     87500       528      2332         0     16952      7132    282388   no data   no data  --
21.11/5.35	c  N st    25     87500       528      2332         0     16952      7132    282388   no data   no data  --
22.71/5.71	c Decided on static restart strategy
23.51/5.94	c  N st    32     95535       528      2332         0     24859      7132    468291   no data   no data  --
25.91/6.58	c  N st    34    104831       528      2332         0     21242      7132    363503   no data   no data  --
25.91/6.58	c  S st    34    104831       528      2332         0     21242      7132    363503   no data   no data  --
26.34/6.64	c  S st    34    105332       528      2332         0     21742      7132    375059   no data   no data  --
26.34/6.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.34/6.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.34/6.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
26.34/6.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.34/6.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.34/6.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    528 time:  0.00 s
26.34/6.66	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
29.49/7.48	c lits-rem:       617  cl-subs:     1040  v-elim:      0  v-fix:    0  time:  3.26 s
29.49/7.48	c vivif2 --  cl tried     2332 cl shrink        0 lits rem          0 time: 0.00
29.49/7.48	c vivif2 --  cl tried    20702 cl shrink        0 lits rem          0 time: 0.01
29.89/7.50	c asymm  cl-useful: 0/2332/2332 lits-rem:0 time: 0.07
29.89/7.50	c calculated reachability. Time: 0.00
29.89/7.50	c  N st    34    105332       528      2332         0     20702      7132    350692   no data   no data  --
32.67/8.28	c  N st    35    114931       528      2332         0     16355      7132    230067   no data   no data  --
37.86/9.52	c  N st    36    129329       528      2332         0     15747      7132    200031   no data   no data  --
45.04/11.33	c  N st    37    150925       528      2332         0     21230      7132    317878   no data   no data  --
47.44/11.94	c  S st    38    157998       528      2332         0     28118      7132    477002   no data   no data  --
47.83/12.01	c  S st    38    158502       528      2332         0     28622      7132    488817   no data   no data  --
47.83/12.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
47.83/12.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.83/12.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
47.83/12.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.83/12.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.83/12.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    528 time:  0.00 s
47.83/12.03	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
53.41/13.42	c lits-rem:       580  cl-subs:     1274  v-elim:      0  v-fix:    0  time:  5.52 s
53.41/13.42	c vivif2 --  cl tried     2332 cl shrink        0 lits rem          0 time: 0.00
53.41/13.43	c vivif2 --  cl tried    27348 cl shrink        0 lits rem          0 time: 0.02
53.41/13.45	c asymm  cl-useful: 0/2332/2332 lits-rem:0 time: 0.08
53.41/13.45	c calculated reachability. Time: 0.00
53.41/13.45	c  N st    38    158502       528      2332         0     27348      7132    459217   no data   no data  --
72.16/18.19	c  N st    39    207091       528      2332         0     22016      7132    297264   no data   no data  --
84.12/21.18	c  N st    40    237753       528      2332         0     32481      7132    520015   no data   no data  --
84.12/21.18	c  S st    40    237753       528      2332         0     32481      7132    520015   no data   no data  --
84.52/21.27	c  S st    40    238255       528      2332         0     32982      7132    531828   no data   no data  --
84.52/21.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
84.52/21.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
84.52/21.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
84.92/21.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
84.92/21.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.92/21.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    528 time:  0.00 s
84.92/21.30	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
92.15/23.17	c lits-rem:      1308  cl-subs:     1765  v-elim:      0  v-fix:    0  time:  7.45 s
92.15/23.17	c vivif2 --  cl tried     2332 cl shrink        0 lits rem          0 time: 0.00
92.15/23.18	c vivif2 --  cl tried    31217 cl shrink        0 lits rem          0 time: 0.02
92.15/23.21	c asymm  cl-useful: 0/2332/2332 lits-rem:0 time: 0.11
92.15/23.21	c calculated reachability. Time: 0.00
92.15/23.21	c  N st    40    238255       528      2332         0     31217      7132    493160   no data   no data  --
120.81/30.39	c  F st    41    306250       528      2332         0     33128      7132    490004   no data   no data  --
120.81/30.39	c  N st    41    306250       528      2332         0     33128      7132    490004   no data   no data  --
123.25/30.99	c Decided on static restart strategy
133.98/33.62	c  N st    51    334554       528      2332         0     37410      7132    584866   no data   no data  --
144.35/36.26	c  N st    53    357382       528      2332         0     35300      7132    531815   no data   no data  --
144.35/36.26	c  S st    53    357382       528      2332         0     35300      7132    531815   no data   no data  --
144.80/36.34	c  S st    53    357883       528      2332         0     35800      7132    543955   no data   no data  --
144.80/36.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
144.80/36.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
144.80/36.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
144.80/36.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
144.80/36.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
144.80/36.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    528 time:  0.00 s
144.80/36.37	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
151.53/38.01	c lits-rem:       760  cl-subs:     1149  v-elim:      0  v-fix:    0  time:  6.54 s
151.53/38.01	c vivif2 --  cl tried     2332 cl shrink        0 lits rem          0 time: 0.00
151.53/38.02	c vivif2 --  cl tried    34651 cl shrink        0 lits rem          0 time: 0.02
151.53/38.05	c asymm  cl-useful: 0/2332/2332 lits-rem:0 time: 0.13
151.53/38.05	c calculated reachability. Time: 0.00
151.53/38.05	c  N st    53    357883       528      2332         0     34651      7132    516999   no data   no data  --
167.14/41.95	c  N st    54    390277       528      2332         0     40979      7132    667144   no data   no data  --
194.60/48.86	c  N st    55    438866       528      2332         0     34597      7132    454863   no data   no data  --
230.49/57.83	c  N st    56    511748       528      2332         0     48390      7132    793540   no data   no data  --
243.66/61.16	c  N st    57    536824       528      2332         0     42568      7132    631886   no data   no data  --
243.66/61.16	c  S st    57    536824       528      2332         0     42568      7132    631886   no data   no data  --
244.06/61.27	c  S st    57    537327       528      2332         0     43070      7132    643471   no data   no data  --
244.06/61.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
244.06/61.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
244.06/61.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
244.46/61.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
244.46/61.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
244.46/61.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    528 time:  0.00 s
244.46/61.30	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
252.03/63.24	c lits-rem:      1062  cl-subs:     1335  v-elim:      0  v-fix:    0  time:  7.70 s
252.03/63.24	c vivif2 --  cl tried     2332 cl shrink        0 lits rem          0 time: 0.00
252.03/63.24	c vivif2 --  cl tried    41735 cl shrink        0 lits rem          0 time: 0.03
252.03/63.29	c asymm  cl-useful: 0/2332/2332 lits-rem:0 time: 0.17
252.03/63.29	c calculated reachability. Time: 0.00
252.03/63.29	c  N st    57    537327       528      2332         0     41735      7132    606978   no data   no data  --
352.53/88.45	c  N st    58    701314       528      2332         0     35613      7132    364579   no data   no data  --
424.33/106.42	c  N st    59    805990       528      2332         0     64533      7132   1006366   no data   no data  --
424.33/106.42	c  S st    59    805990       528      2332         0     64533      7132   1006366   no data   no data  --
425.13/106.62	c  S st    59    806494       528      2332         0     65036      7132   1018255   no data   no data  --
425.13/106.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
425.13/106.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
425.13/106.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
425.13/106.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
425.13/106.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
425.13/106.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    528 time:  0.00 s
425.13/106.68	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
437.09/109.68	c lits-rem:      1277  cl-subs:     4821  v-elim:      0  v-fix:    0  time: 11.97 s
437.09/109.68	c vivif2 --  cl tried     2332 cl shrink        0 lits rem          0 time: 0.00
437.09/109.69	c vivif2 --  cl tried    60215 cl shrink        0 lits rem          0 time: 0.05
437.49/109.77	c asymm  cl-useful: 0/2332/2332 lits-rem:0 time: 0.29
437.49/109.77	c calculated reachability. Time: 0.00
437.49/109.77	c  N st    59    806494       528      2332         0     60215      7132    921989   no data   no data  --
628.12/157.50	c  F st    60   1071876       528      2332         0     75858      7132   1204835   no data   no data  --
628.12/157.50	c  N st    60   1071876       528      2332         0     75858      7132   1204835   no data   no data  --
632.91/158.75	c Decided on static restart strategy
651.26/163.34	c  N st    70   1100180       528      2332         0     60007      7132    834922   no data   no data  --
684.80/171.78	c  N st    72   1136172       528      2332         0     50315      7132    560775   no data   no data  --
710.73/178.21	c  N st    73   1168565       528      2332         0     81807      7132   1307077   no data   no data  --
742.19/186.14	c  N st    74   1209742       528      2332         0     76181      7132   1146998   no data   no data  --
742.19/186.14	c  S st    74   1209742       528      2332         0     76181      7132   1146998   no data   no data  --
742.99/186.37	c  S st    74   1210245       528      2332         0     76680      7132   1159708   no data   no data  --
742.99/186.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
742.99/186.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
743.39/186.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
743.39/186.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
743.39/186.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
743.39/186.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    528 time:  0.00 s
743.39/186.45	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
757.35/189.95	c lits-rem:       452  cl-subs:     4450  v-elim:      0  v-fix:    0  time: 13.97 s
757.35/189.95	c vivif2 --  cl tried     2332 cl shrink        0 lits rem          0 time: 0.00
757.35/189.97	c vivif2 --  cl tried    72230 cl shrink        0 lits rem          0 time: 0.06
757.75/190.09	c asymm  cl-useful: 0/2332/2332 lits-rem:0 time: 0.48
757.75/190.09	c calculated reachability. Time: 0.00
757.75/190.09	c  N st    74   1210245       528      2332         0     72230      7132   1067848   no data   no data  --
829.58/208.01	c  N st    75   1283127       528      2332         0     48734      7132    478952   no data   no data  --
934.03/234.24	c  N st    76   1392450       528      2332         0     56841      7132    647528   no data   no data  --
1087.18/272.68	c  N st    77   1556436       528      2332         0     61509      7132    699180   no data   no data  --
1228.80/308.14	c  N st    78   1710245       528      2332         0    102466      7132   1598575   no data   no data  --
1228.80/308.14	c  S st    78   1710245       528      2332         0    102466      7132   1598575   no data   no data  --
1229.95/308.48	c  S st    78   1710748       528      2332         0    102968      7132   1610699   no data   no data  --
1229.95/308.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1229.95/308.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1230.35/308.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
1230.35/308.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1230.35/308.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1230.35/308.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    528 time:  0.00 s
1230.35/308.59	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1288.59/323.11	c lits-rem:      2437  cl-subs:    13366  v-elim:      0  v-fix:    0  time: 57.91 s
1288.59/323.11	c vivif2 --  cl tried     2332 cl shrink        0 lits rem          0 time: 0.00
1288.59/323.12	c vivif2 --  cl tried    89602 cl shrink        0 lits rem          0 time: 0.07
1288.99/323.27	c asymm  cl-useful: 0/2332/2332 lits-rem:0 time: 0.57
1288.99/323.27	c calculated reachability. Time: 0.00
1288.99/323.27	c  N st    78   1710748       528      2332         0     89602      7132   1339753   no data   no data  --
1652.71/414.48	c  N st    79   2079712       528      2332         0    102013      7132   1509958   no data   no data  --
1796.68/450.55	c  N st    80   2210752       528      2332         0    106006      7132   1628139   no data   no data  --
1796.68/450.55	c  S st    80   2210752       528      2332         0    106006      7132   1628139   no data   no data  --
1798.28/450.90	c  S st    80   2211260       528      2332         0    106512      7132   1640492   no data   no data  --
1798.28/450.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1798.28/450.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1798.28/450.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
1798.28/451.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1798.28/451.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1798.28/451.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    528 time:  0.00 s
1798.28/451.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1855.76/465.34	c lits-rem:       258  cl-subs:    10561  v-elim:      0  v-fix:    0  time: 57.12 s
1855.76/465.34	c vivif2 --  cl tried     2332 cl shrink        0 lits rem          0 time: 0.00
1855.76/465.35	c vivif2 --  cl tried    95951 cl shrink        0 lits rem          0 time: 0.07
1856.51/465.51	c asymm  cl-useful: 0/2332/2332 lits-rem:0 time: 0.62
1856.51/465.51	c calculated reachability. Time: 0.00
1856.51/465.51	c  N st    80   2211260       528      2332         0     95951      7132   1409096   no data   no data  --
2416.07/605.85	c  N st    81   2711262       528      2332         0    118811      7132   1693620   no data   no data  --
2416.07/605.85	c  S st    81   2711262       528      2332         0    118811      7132   1693620   no data   no data  --
2417.71/606.24	c  S st    81   2711767       528      2332         0    119315      7132   1706379   no data   no data  --
2417.71/606.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2417.71/606.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2418.06/606.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.24
2418.06/606.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2418.06/606.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2418.06/606.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    528 time:  0.00 s
2418.06/606.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2478.29/621.46	c lits-rem:       207  cl-subs:    15810  v-elim:      0  v-fix:    0  time: 60.19 s
2478.29/621.46	c vivif2 --  cl tried     2332 cl shrink        0 lits rem          0 time: 0.00
2478.29/621.48	c vivif2 --  cl tried   103505 cl shrink        0 lits rem          0 time: 0.08
2479.13/621.64	c asymm  cl-useful: 0/2332/2332 lits-rem:0 time: 0.66
2479.13/621.65	c calculated reachability. Time: 0.00
2479.13/621.65	c  N st    81   2711767       528      2332         0    103505      7132   1417087   no data   no data  --
3002.74/752.92	c  N st    82   3211771       528      2332         0     81335      7132    836447   no data   no data  --
3002.74/752.92	c  S st    82   3211771       528      2332         0     81335      7132    836447   no data   no data  --
3003.54/753.15	c  S st    82   3212274       528      2332         0     81838      7132    848328   no data   no data  --
3003.54/753.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3003.54/753.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3003.54/753.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
3003.94/753.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3003.94/753.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3003.94/753.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    528 time:  0.00 s
3003.94/753.22	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3013.51/755.70	c lits-rem:       590  cl-subs:      626  v-elim:      0  v-fix:    0  time:  9.88 s
3013.51/755.70	c vivif2 --  cl tried     2332 cl shrink        0 lits rem          0 time: 0.00
3013.95/755.71	c vivif2 --  cl tried    81212 cl shrink        0 lits rem          0 time: 0.04
3014.35/755.83	c asymm  cl-useful: 0/2332/2332 lits-rem:0 time: 0.46
3014.35/755.83	c calculated reachability. Time: 0.00
3014.35/755.83	c  N st    82   3212274       528      2332         0     81212      7132    834658   no data   no data  --
3667.64/919.63	c  N st    83   3712278       528      2332         0     91309      7132    999047   no data   no data  --
3667.64/919.63	c  S st    83   3712278       528      2332         0     91309      7132    999047   no data   no data  --
3668.78/919.93	c  S st    83   3712782       528      2332         0     91813      7132   1011533   no data   no data  --
3668.78/919.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3668.78/919.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3668.78/919.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
3669.18/920.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3669.18/920.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3669.18/920.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    528 time:  0.00 s
3669.18/920.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3677.55/922.16	c lits-rem:       169  cl-subs:     1946  v-elim:      0  v-fix:    0  time:  8.58 s
3677.55/922.16	c vivif2 --  cl tried     2332 cl shrink        0 lits rem          0 time: 0.00
3677.55/922.18	c vivif2 --  cl tried    89867 cl shrink        0 lits rem          0 time: 0.06
3678.35/922.30	c asymm  cl-useful: 0/2332/2332 lits-rem:0 time: 0.50
3678.35/922.30	c calculated reachability. Time: 0.00
3678.35/922.30	c  N st    83   3712782       528      2332         0     89867      7132    967415   no data   no data  --
3724.22/933.86	c  F st    84   3751562       528      2332         0    127423      7132   1899978   no data   no data  --
3724.22/933.86	c  N st    84   3751562       528      2332         0    127423      7132   1899978   no data   no data  --
3731.40/935.60	c Decided on static restart strategy
3770.08/945.35	c  N st    94   3779865       528      2332         0    154994      7132   2569150   no data   no data  --
3823.93/958.84	c  N st    96   3815859       528      2332         0    107491      7132   1366380   no data   no data  --
3871.39/970.77	c  N st    97   3848254       528      2332         0    138979      7132   2105511   no data   no data  --
3937.59/987.32	c  N st    98   3896842       528      2332         0    102759      7132   1238574   no data   no data  --
4062.03/1018.55	c  N st    99   3969724       528      2332         0     88938      7132    873415   no data   no data  --
4199.61/1053.07	c  N st   100   4079048       528      2332         0    109603      7132   1366213   no data   no data  --
4383.48/1099.13	c  N st   101   4212782       528      2332         0    152687      7132   2309336   no data   no data  --
4383.48/1099.13	c  S st   101   4212782       528      2332         0    152687      7132   2309336   no data   no data  --
4385.88/1099.72	c  S st   101   4213288       528      2332         0    153192      7132   2322093   no data   no data  --
4385.88/1099.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4385.88/1099.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4386.28/1099.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.32
4386.28/1099.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4386.28/1099.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4386.28/1099.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    528 time:  0.00 s
4386.28/1099.89	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4491.97/1126.30	c lits-rem:       534  cl-subs:    14973  v-elim:      0  v-fix:    0  time: 105.27 s
4491.97/1126.30	c vivif2 --  cl tried     2332 cl shrink        0 lits rem          0 time: 0.00
4491.97/1126.32	c vivif2 --  cl tried   138219 cl shrink        0 lits rem          0 time: 0.11
4492.81/1126.55	c asymm  cl-useful: 0/2332/2332 lits-rem:0 time: 0.91
4492.81/1126.56	c calculated reachability. Time: 0.00
4492.81/1126.56	c  N st   101   4213288       528      2332         0    138219      7132   2031944   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-3368805-1305403370/watcher-3368805-1305403370 -o /tmp/evaluation-result-3368805-1305403370/solver-3368805-1305403370 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368805-1305403370.cnf 

running on 4 cores: 1,3,5,7

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: 8.17 8.09 8.07 9/361 28486
/proc/meminfo: memFree=24013272/32951124 swapFree=56449224/67111528
[pid=28486] ppid=28484 vsize=51236 CPUtime=0.02 cores=1,3,5,7
/proc/28486/stat : 28486 (strangenight1-m) R 28484 28486 28046 0 -1 4202496 412 0 0 0 2 0 0 0 24 0 4 0 651937428 52465664 352 33554432000 4194304 4650419 140733771333248 18446744073709551615 47905173465010 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28486/statm: 12809 352 303 112 0 7774 0
[pid=28486/tid=28487] ppid=28484 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/28486/task/28487/stat : 28487 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651937428 52465664 352 33554432000 4194304 4650419 140733771333248 18446744073709551615 47905173465000 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28486/tid=28488] ppid=28484 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/28486/task/28488/stat : 28488 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651937428 52465664 352 33554432000 4194304 4650419 140733771333248 18446744073709551615 47905173465004 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28486/tid=28489] ppid=28484 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/28486/task/28489/stat : 28489 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651937428 52465664 352 33554432000 4194304 4650419 140733771333248 18446744073709551615 253640915953 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.163775 s]
/proc/loadavg: 8.17 8.09 8.07 9/361 28486
/proc/meminfo: memFree=24013272/32951124 swapFree=56449224/67111528
[pid=28486] ppid=28484 vsize=282428 CPUtime=0.62 cores=1,3,5,7
/proc/28486/stat : 28486 (strangenight1-m) R 28484 28486 28046 0 -1 4202496 2026 0 0 0 62 0 0 0 18 0 4 0 651937428 289206272 1875 33554432000 4194304 4650419 140733771333248 18446744073709551615 4363553 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28486/statm: 70607 1875 391 112 0 65572 0
[pid=28486/tid=28487] ppid=28484 vsize=282428 CPUtime=0.15 cores=1,3,5,7
/proc/28486/task/28487/stat : 28487 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 448 0 0 0 15 0 0 0 18 0 4 0 651937428 289206272 1875 33554432000 4194304 4650419 140733771333248 18446744073709551615 4363444 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28486/tid=28488] ppid=28484 vsize=282428 CPUtime=0.15 cores=1,3,5,7
/proc/28486/task/28488/stat : 28488 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 413 0 0 0 15 0 0 0 18 0 4 0 651937428 289206272 1876 33554432000 4194304 4650419 140733771333248 18446744073709551615 253640520737 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28486/tid=28489] ppid=28484 vsize=282428 CPUtime=0.14 cores=1,3,5,7
/proc/28486/task/28489/stat : 28489 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 327 0 0 0 14 0 0 0 25 0 4 0 651937428 289206272 1876 33554432000 4194304 4650419 140733771333248 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 282428

[startup+0.200769 s]
/proc/loadavg: 8.17 8.09 8.07 9/361 28486
/proc/meminfo: memFree=24013272/32951124 swapFree=56449224/67111528
[pid=28486] ppid=28484 vsize=283564 CPUtime=0.77 cores=1,3,5,7
/proc/28486/stat : 28486 (strangenight1-m) R 28484 28486 28046 0 -1 4202496 2512 0 0 0 77 0 0 0 18 0 4 0 651937428 290369536 1782 33554432000 4194304 4650419 140733771333248 18446744073709551615 4334293 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28486/statm: 70891 1782 393 112 0 65856 0
[pid=28486/tid=28487] ppid=28484 vsize=283564 CPUtime=0.19 cores=1,3,5,7
/proc/28486/task/28487/stat : 28487 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 571 0 0 0 19 0 0 0 18 0 4 0 651937428 290369536 1782 33554432000 4194304 4650419 140733771333248 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28486/tid=28488] ppid=28484 vsize=283564 CPUtime=0.19 cores=1,3,5,7
/proc/28486/task/28488/stat : 28488 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 535 0 0 0 19 0 0 0 18 0 4 0 651937428 290369536 1782 33554432000 4194304 4650419 140733771333248 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28486/tid=28489] ppid=28484 vsize=283564 CPUtime=0.18 cores=1,3,5,7
/proc/28486/task/28489/stat : 28489 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 450 0 0 0 18 0 0 0 25 0 4 0 651937428 290369536 1782 33554432000 4194304 4650419 140733771333248 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283564

[startup+0.30075 s]
/proc/loadavg: 8.17 8.09 8.07 9/361 28486
/proc/meminfo: memFree=24013272/32951124 swapFree=56449224/67111528
[pid=28486] ppid=28484 vsize=283708 CPUtime=1.17 cores=1,3,5,7
/proc/28486/stat : 28486 (strangenight1-m) R 28484 28486 28046 0 -1 4202496 2890 0 0 0 117 0 0 0 18 0 4 0 651937428 290516992 2160 33554432000 4194304 4650419 140733771333248 18446744073709551615 4363398 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28486/statm: 70927 2160 393 112 0 65892 0
[pid=28486/tid=28487] ppid=28484 vsize=283708 CPUtime=0.29 cores=1,3,5,7
/proc/28486/task/28487/stat : 28487 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 667 0 0 0 29 0 0 0 18 0 4 0 651937428 290516992 2160 33554432000 4194304 4650419 140733771333248 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28486/tid=28488] ppid=28484 vsize=283708 CPUtime=0.29 cores=1,3,5,7
/proc/28486/task/28488/stat : 28488 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 630 0 0 0 29 0 0 0 18 0 4 0 651937428 290516992 2160 33554432000 4194304 4650419 140733771333248 18446744073709551615 4329701 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28486/tid=28489] ppid=28484 vsize=283708 CPUtime=0.28 cores=1,3,5,7
/proc/28486/task/28489/stat : 28489 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 543 0 0 0 28 0 0 0 25 0 4 0 651937428 290516992 2160 33554432000 4194304 4650419 140733771333248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283708

[startup+0.700678 s]
/proc/loadavg: 8.17 8.09 8.07 9/361 28486
/proc/meminfo: memFree=24013272/32951124 swapFree=56449224/67111528
[pid=28486] ppid=28484 vsize=284600 CPUtime=2.77 cores=1,3,5,7
/proc/28486/stat : 28486 (strangenight1-m) R 28484 28486 28046 0 -1 4202496 4460 0 0 0 277 0 0 0 18 0 4 0 651937428 291430400 2882 33554432000 4194304 4650419 140733771333248 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28486/statm: 71150 2882 393 112 0 66115 0
[pid=28486/tid=28487] ppid=28484 vsize=284600 CPUtime=0.69 cores=1,3,5,7
/proc/28486/task/28487/stat : 28487 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 1078 0 0 0 69 0 0 0 18 0 4 0 651937428 291430400 2882 33554432000 4194304 4650419 140733771333248 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28486/tid=28488] ppid=28484 vsize=284600 CPUtime=0.69 cores=1,3,5,7
/proc/28486/task/28488/stat : 28488 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 1028 0 0 0 69 0 0 0 18 0 4 0 651937428 291430400 2882 33554432000 4194304 4650419 140733771333248 18446744073709551615 4315103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28486/tid=28489] ppid=28484 vsize=284600 CPUtime=0.68 cores=1,3,5,7
/proc/28486/task/28489/stat : 28489 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 930 0 0 0 68 0 0 0 25 0 4 0 651937428 291430400 2882 33554432000 4194304 4650419 140733771333248 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284600

[startup+1.50053 s]
/proc/loadavg: 8.17 8.09 8.07 10/365 28490
/proc/meminfo: memFree=23993524/32951124 swapFree=56449224/67111528
[pid=28486] ppid=28484 vsize=285784 CPUtime=5.96 cores=1,3,5,7
/proc/28486/stat : 28486 (strangenight1-m) R 28484 28486 28046 0 -1 4202496 8579 0 0 0 595 1 0 0 20 0 4 0 651937428 292642816 4638 33554432000 4194304 4650419 140733771333248 18446744073709551615 4441688 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28486/statm: 71446 4638 395 112 0 66411 0
[pid=28486/tid=28487] ppid=28484 vsize=285784 CPUtime=1.49 cores=1,3,5,7
/proc/28486/task/28487/stat : 28487 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 1883 0 0 0 149 0 0 0 19 0 4 0 651937428 292642816 4638 33554432000 4194304 4650419 140733771333248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28486/tid=28488] ppid=28484 vsize=285784 CPUtime=1.49 cores=1,3,5,7
/proc/28486/task/28488/stat : 28488 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 1789 0 0 0 149 0 0 0 19 0 4 0 651937428 292642816 4638 33554432000 4194304 4650419 140733771333248 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28486/tid=28489] ppid=28484 vsize=285784 CPUtime=1.47 cores=1,3,5,7
/proc/28486/task/28489/stat : 28489 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 1629 0 0 0 147 0 0 0 25 0 4 0 651937428 292642816 4638 33554432000 4194304 4650419 140733771333248 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 285784

[startup+3.10024 s]
/proc/loadavg: 8.16 8.09 8.07 9/365 28490
/proc/meminfo: memFree=23954836/32951124 swapFree=56449224/67111528
[pid=28486] ppid=28484 vsize=304352 CPUtime=12.34 cores=1,3,5,7
/proc/28486/stat : 28486 (strangenight1-m) R 28484 28486 28046 0 -1 4202496 16787 0 0 0 1232 2 0 0 25 0 4 0 651937428 311656448 9479 33554432000 4194304 4650419 140733771333248 18446744073709551615 4363566 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28486/statm: 76088 9479 395 112 0 71053 0
[pid=28486/tid=28487] ppid=28484 vsize=304352 CPUtime=3.08 cores=1,3,5,7
/proc/28486/task/28487/stat : 28487 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 4101 0 0 0 308 0 0 0 25 0 4 0 651937428 311656448 9479 33554432000 4194304 4650419 140733771333248 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28486/tid=28488] ppid=28484 vsize=304352 CPUtime=3.08 cores=1,3,5,7
/proc/28486/task/28488/stat : 28488 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 4449 0 0 0 308 0 0 0 25 0 4 0 651937428 311656448 9479 33554432000 4194304 4650419 140733771333248 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28486/tid=28489] ppid=28484 vsize=304352 CPUtime=3.05 cores=1,3,5,7
/proc/28486/task/28489/stat : 28489 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 3773 0 0 0 305 0 0 0 25 0 4 0 651937428 311656448 9479 33554432000 4194304 4650419 140733771333248 18446744073709551615 4367284 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 304352

[startup+6.30066 s]
/proc/loadavg: 8.16 8.09 8.07 9/365 28491
/proc/meminfo: memFree=23914332/32951124 swapFree=56449224/67111528
[pid=28486] ppid=28484 vsize=322888 CPUtime=25.11 cores=1,3,5,7
/proc/28486/stat : 28486 (strangenight1-m) R 28484 28486 28046 0 -1 4202496 26296 0 0 0 2507 4 0 0 25 0 4 0 651937428 330637312 14052 33554432000 4194304 4650419 140733771333248 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28486/statm: 80722 14052 395 112 0 75687 0
[pid=28486/tid=28487] ppid=28484 vsize=322888 CPUtime=6.29 cores=1,3,5,7
/proc/28486/task/28487/stat : 28487 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 6860 0 0 0 628 1 0 0 25 0 4 0 651937428 330637312 14052 33554432000 4194304 4650419 140733771333248 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28486/tid=28488] ppid=28484 vsize=322888 CPUtime=6.28 cores=1,3,5,7
/proc/28486/task/28488/stat : 28488 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 7531 0 0 0 627 1 0 0 25 0 4 0 651937428 330637312 14052 33554432000 4194304 4650419 140733771333248 18446744073709551615 4438393 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28486/tid=28489] ppid=28484 vsize=322888 CPUtime=6.21 cores=1,3,5,7
/proc/28486/task/28489/stat : 28489 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 5045 0 0 0 621 0 0 0 25 0 4 0 651937428 330637312 14052 33554432000 4194304 4650419 140733771333248 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 322888

[startup+12.7005 s]
/proc/loadavg: 8.13 8.09 8.07 9/365 28491
/proc/meminfo: memFree=23871708/32951124 swapFree=56449224/67111528
[pid=28486] ppid=28484 vsize=323744 CPUtime=50.63 cores=1,3,5,7
/proc/28486/stat : 28486 (strangenight1-m) R 28484 28486 28046 0 -1 4202496 39010 0 0 0 5056 7 0 0 25 0 4 0 651937428 331513856 19016 33554432000 4194304 4650419 140733771333248 18446744073709551615 4439361 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28486/statm: 80936 19016 395 112 0 75901 0
[pid=28486/tid=28487] ppid=28484 vsize=323744 CPUtime=12.69 cores=1,3,5,7
/proc/28486/task/28487/stat : 28487 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 10834 0 0 0 1267 2 0 0 25 0 4 0 651937428 331513856 19016 33554432000 4194304 4650419 140733771333248 18446744073709551615 4365366 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28486/tid=28488] ppid=28484 vsize=323744 CPUtime=12.68 cores=1,3,5,7
/proc/28486/task/28488/stat : 28488 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 10445 0 0 0 1266 2 0 0 25 0 4 0 651937428 331513856 19016 33554432000 4194304 4650419 140733771333248 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28486/tid=28489] ppid=28484 vsize=323744 CPUtime=12.54 cores=1,3,5,7
/proc/28486/task/28489/stat : 28489 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 6260 0 0 0 1254 0 0 0 25 0 4 0 651937428 331513856 19016 33554432000 4194304 4650419 140733771333248 18446744073709551615 4367284 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 323744

[startup+25.5012 s]
/proc/loadavg: 8.19 8.10 8.07 9/365 28491
/proc/meminfo: memFree=23820740/32951124 swapFree=56449224/67111528
[pid=28486] ppid=28484 vsize=325296 CPUtime=101.67 cores=1,3,5,7
/proc/28486/stat : 28486 (strangenight1-m) R 28484 28486 28046 0 -1 4202496 57912 0 0 0 10156 11 0 0 25 0 4 0 651937428 333103104 25291 33554432000 4194304 4650419 140733771333248 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28486/statm: 81324 25291 395 112 0 76289 0
[pid=28486/tid=28487] ppid=28484 vsize=325296 CPUtime=25.49 cores=1,3,5,7
/proc/28486/task/28487/stat : 28487 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 16791 0 0 0 2546 3 0 0 25 0 4 0 651937428 333103104 25291 33554432000 4194304 4650419 140733771333248 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28486/tid=28488] ppid=28484 vsize=325296 CPUtime=25.49 cores=1,3,5,7
/proc/28486/task/28488/stat : 28488 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 17026 0 0 0 2545 4 0 0 25 0 4 0 651937428 333103104 25291 33554432000 4194304 4650419 140733771333248 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28486/tid=28489] ppid=28484 vsize=325296 CPUtime=25.18 cores=1,3,5,7
/proc/28486/task/28489/stat : 28489 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 7240 0 0 0 2518 0 0 0 25 0 4 0 651937428 333103104 25291 33554432000 4194304 4650419 140733771333248 18446744073709551615 4365273 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 325296

[startup+51.1005 s]
/proc/loadavg: 8.12 8.09 8.07 9/365 28494
/proc/meminfo: memFree=23771080/32951124 swapFree=56449224/67111528
[pid=28486] ppid=28484 vsize=327116 CPUtime=203.77 cores=1,3,5,7
/proc/28486/stat : 28486 (strangenight1-m) R 28484 28486 28046 0 -1 4202496 87596 0 0 0 20357 20 0 0 25 0 4 0 651937428 334966784 33422 33554432000 4194304 4650419 140733771333248 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28486/statm: 81779 33422 395 112 0 76744 0
[pid=28486/tid=28487] ppid=28484 vsize=327116 CPUtime=51.08 cores=1,3,5,7
/proc/28486/task/28487/stat : 28487 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 26416 0 0 0 5103 5 0 0 25 0 4 0 651937428 334966784 33422 33554432000 4194304 4650419 140733771333248 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28486/tid=28488] ppid=28484 vsize=327116 CPUtime=51.08 cores=1,3,5,7
/proc/28486/task/28488/stat : 28488 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 26614 0 0 0 5102 6 0 0 25 0 4 0 651937428 334966784 33422 33554432000 4194304 4650419 140733771333248 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28486/tid=28489] ppid=28484 vsize=327116 CPUtime=50.48 cores=1,3,5,7
/proc/28486/task/28489/stat : 28489 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 8300 0 0 0 5047 1 0 0 25 0 4 0 651937428 334966784 33422 33554432000 4194304 4650419 140733771333248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.77
Current children cumulated vsize (KiB) 327116

[startup+102.301 s]
/proc/loadavg: 8.32 8.16 8.09 9/365 28496
/proc/meminfo: memFree=23704880/32951124 swapFree=56449224/67111528
[pid=28486] ppid=28484 vsize=329984 CPUtime=408.01 cores=1,3,5,7
/proc/28486/stat : 28486 (strangenight1-m) R 28484 28486 28046 0 -1 4202496 130806 0 0 0 40767 34 0 0 25 0 4 0 651937428 337903616 36998 33554432000 4194304 4650419 140733771333248 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28486/statm: 82496 36998 395 112 0 77461 0
[pid=28486/tid=28487] ppid=28484 vsize=329984 CPUtime=102.3 cores=1,3,5,7
/proc/28486/task/28487/stat : 28487 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 40666 0 0 0 10221 9 0 0 25 0 4 0 651937428 337903616 36998 33554432000 4194304 4650419 140733771333248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28486/tid=28488] ppid=28484 vsize=329984 CPUtime=102.3 cores=1,3,5,7
/proc/28486/task/28488/stat : 28488 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 40151 0 0 0 10218 12 0 0 25 0 4 0 651937428 337903616 36998 33554432000 4194304 4650419 140733771333248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28486/tid=28489] ppid=28484 vsize=329984 CPUtime=101.08 cores=1,3,5,7
/proc/28486/task/28489/stat : 28489 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 10565 0 0 0 10107 1 0 0 25 0 4 0 651937428 337903616 36998 33554432000 4194304 4650419 140733771333248 18446744073709551615 4363582 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.01
Current children cumulated vsize (KiB) 329984

[startup+162.301 s]

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

[pid=28486] ppid=28484 vsize=566168 CPUtime=2800.93 cores=1,3,5,7
/proc/28486/stat : 28486 (strangenight1-m) R 28484 28486 28046 0 -1 4202496 428792 0 0 0 279919 174 0 0 25 0 4 0 651937428 579756032 83968 33554432000 4194304 4650419 140733771333248 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28486/statm: 141542 83968 395 112 0 136507 0
[pid=28486/tid=28487] ppid=28484 vsize=566168 CPUtime=702.31 cores=1,3,5,7
/proc/28486/task/28487/stat : 28487 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 139088 0 0 0 70174 57 0 0 25 0 4 0 651937428 579756032 83968 33554432000 4194304 4650419 140733771333248 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28486/tid=28488] ppid=28484 vsize=566168 CPUtime=702.29 cores=1,3,5,7
/proc/28486/task/28488/stat : 28488 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 142672 0 0 0 70170 59 0 0 25 0 4 0 651937428 579756032 83968 33554432000 4194304 4650419 140733771333248 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28486/tid=28489] ppid=28484 vsize=566168 CPUtime=694 cores=1,3,5,7
/proc/28486/task/28489/stat : 28489 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 20836 0 0 0 69393 7 0 0 25 0 4 0 651937428 579756032 83968 33554432000 4194304 4650419 140733771333248 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2800.93
Current children cumulated vsize (KiB) 566168

[startup+762.301 s]
/proc/loadavg: 8.08 8.14 8.09 9/365 28514
/proc/meminfo: memFree=23302752/32951124 swapFree=56449224/67111528
[pid=28486] ppid=28484 vsize=576396 CPUtime=3040.28 cores=1,3,5,7
/proc/28486/stat : 28486 (strangenight1-m) R 28484 28486 28046 0 -1 4202496 456025 0 0 0 303842 186 0 0 25 0 4 0 651937428 590229504 85782 33554432000 4194304 4650419 140733771333248 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28486/statm: 144099 85782 395 112 0 139064 0
[pid=28486/tid=28487] ppid=28484 vsize=576396 CPUtime=762.33 cores=1,3,5,7
/proc/28486/task/28487/stat : 28487 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 146622 0 0 0 76173 60 0 0 25 0 4 0 651937428 590229504 85782 33554432000 4194304 4650419 140733771333248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28486/tid=28488] ppid=28484 vsize=576396 CPUtime=762.3 cores=1,3,5,7
/proc/28486/task/28488/stat : 28488 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 151338 0 0 0 76168 62 0 0 25 0 4 0 651937428 590229504 85782 33554432000 4194304 4650419 140733771333248 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28486/tid=28489] ppid=28484 vsize=576396 CPUtime=753.31 cores=1,3,5,7
/proc/28486/task/28489/stat : 28489 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 23231 0 0 0 75322 9 0 0 25 0 4 0 651937428 590229504 85782 33554432000 4194304 4650419 140733771333248 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3040.28
Current children cumulated vsize (KiB) 576396

[startup+822.301 s]
/proc/loadavg: 8.03 8.11 8.09 9/365 28515
/proc/meminfo: memFree=23291324/32951124 swapFree=56449224/67111528
[pid=28486] ppid=28484 vsize=576596 CPUtime=3279.53 cores=1,3,5,7
/proc/28486/stat : 28486 (strangenight1-m) R 28484 28486 28046 0 -1 4202496 480763 0 0 0 327756 197 0 0 25 0 4 0 651937428 590434304 94059 33554432000 4194304 4650419 140733771333248 18446744073709551615 4364559 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28486/statm: 144149 94059 395 112 0 139114 0
[pid=28486/tid=28487] ppid=28484 vsize=576596 CPUtime=822.32 cores=1,3,5,7
/proc/28486/task/28487/stat : 28487 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 156040 0 0 0 82168 64 0 0 25 0 4 0 651937428 590434304 94059 33554432000 4194304 4650419 140733771333248 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28486/tid=28488] ppid=28484 vsize=576596 CPUtime=822.29 cores=1,3,5,7
/proc/28486/task/28488/stat : 28488 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 160062 0 0 0 82163 66 0 0 25 0 4 0 651937428 590434304 94059 33554432000 4194304 4650419 140733771333248 18446744073709551615 4366026 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28486/tid=28489] ppid=28484 vsize=576596 CPUtime=812.59 cores=1,3,5,7
/proc/28486/task/28489/stat : 28489 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 23231 0 0 0 81250 9 0 0 25 0 4 0 651937428 590434304 94059 33554432000 4194304 4650419 140733771333248 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3279.53
Current children cumulated vsize (KiB) 576596

[startup+882.314 s]
/proc/loadavg: 8.07 8.10 8.09 9/365 28517
/proc/meminfo: memFree=23276800/32951124 swapFree=56449224/67111528
[pid=28486] ppid=28484 vsize=577392 CPUtime=3518.87 cores=1,3,5,7
/proc/28486/stat : 28486 (strangenight1-m) R 28484 28486 28046 0 -1 4202496 503751 0 0 0 351679 208 0 0 25 0 4 0 651937428 591249408 93980 33554432000 4194304 4650419 140733771333248 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28486/statm: 144348 93980 395 112 0 139313 0
[pid=28486/tid=28487] ppid=28484 vsize=577392 CPUtime=882.32 cores=1,3,5,7
/proc/28486/task/28487/stat : 28487 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 164725 0 0 0 88166 66 0 0 25 0 4 0 651937428 591249408 93980 33554432000 4194304 4650419 140733771333248 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28486/tid=28488] ppid=28484 vsize=577392 CPUtime=882.3 cores=1,3,5,7
/proc/28486/task/28488/stat : 28488 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 167045 0 0 0 88159 71 0 0 25 0 4 0 651937428 591249408 93980 33554432000 4194304 4650419 140733771333248 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28486/tid=28489] ppid=28484 vsize=577392 CPUtime=871.89 cores=1,3,5,7
/proc/28486/task/28489/stat : 28489 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 23373 0 0 0 87180 9 0 0 25 0 4 0 651937428 591249408 93980 33554432000 4194304 4650419 140733771333248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3518.87
Current children cumulated vsize (KiB) 577392

[startup+942.301 s]
/proc/loadavg: 8.06 8.10 8.08 9/365 28519
/proc/meminfo: memFree=23257568/32951124 swapFree=56449224/67111528
[pid=28486] ppid=28484 vsize=578132 CPUtime=3758.13 cores=1,3,5,7
/proc/28486/stat : 28486 (strangenight1-m) R 28484 28486 28046 0 -1 4202496 526661 0 0 0 375592 221 0 0 25 0 4 0 651937428 592007168 95054 33554432000 4194304 4650419 140733771333248 18446744073709551615 4333937 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28486/statm: 144533 95054 395 112 0 139498 0
[pid=28486/tid=28487] ppid=28484 vsize=578132 CPUtime=942.31 cores=1,3,5,7
/proc/28486/task/28487/stat : 28487 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 172303 0 0 0 94161 70 0 0 25 0 4 0 651937428 592007168 95054 33554432000 4194304 4650419 140733771333248 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28486/tid=28488] ppid=28484 vsize=578132 CPUtime=942.29 cores=1,3,5,7
/proc/28486/task/28488/stat : 28488 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 174336 0 0 0 94154 75 0 0 25 0 4 0 651937428 592007168 95054 33554432000 4194304 4650419 140733771333248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28486/tid=28489] ppid=28484 vsize=578132 CPUtime=931.18 cores=1,3,5,7
/proc/28486/task/28489/stat : 28489 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 23484 0 0 0 93109 9 0 0 25 0 4 0 651937428 592007168 95054 33554432000 4194304 4650419 140733771333248 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3758.13
Current children cumulated vsize (KiB) 578132

[startup+1002.3 s]
/proc/loadavg: 8.07 8.09 8.08 9/365 28520
/proc/meminfo: memFree=23250104/32951124 swapFree=56449224/67111528
[pid=28486] ppid=28484 vsize=578392 CPUtime=3997.41 cores=1,3,5,7
/proc/28486/stat : 28486 (strangenight1-m) R 28484 28486 28046 0 -1 4202496 550079 0 0 0 399510 231 0 0 25 0 4 0 651937428 592273408 97408 33554432000 4194304 4650419 140733771333248 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28486/statm: 144598 97408 395 112 0 139563 0
[pid=28486/tid=28487] ppid=28484 vsize=578392 CPUtime=1002.31 cores=1,3,5,7
/proc/28486/task/28487/stat : 28487 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 180097 0 0 0 100158 73 0 0 25 0 4 0 651937428 592273408 97408 33554432000 4194304 4650419 140733771333248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28486/tid=28488] ppid=28484 vsize=578392 CPUtime=1002.29 cores=1,3,5,7
/proc/28486/task/28488/stat : 28488 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 183390 0 0 0 100151 78 0 0 25 0 4 0 651937428 592273408 97408 33554432000 4194304 4650419 140733771333248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28486/tid=28489] ppid=28484 vsize=578392 CPUtime=990.46 cores=1,3,5,7
/proc/28486/task/28489/stat : 28489 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 23865 0 0 0 99037 9 0 0 25 0 4 0 651937428 592273408 97408 33554432000 4194304 4650419 140733771333248 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3997.41
Current children cumulated vsize (KiB) 578392

[startup+1062.3 s]
/proc/loadavg: 8.11 8.10 8.09 9/365 28522
/proc/meminfo: memFree=23260128/32951124 swapFree=56449224/67111528
[pid=28486] ppid=28484 vsize=578712 CPUtime=4236.71 cores=1,3,5,7
/proc/28486/stat : 28486 (strangenight1-m) R 28484 28486 28046 0 -1 4202496 571248 0 0 0 423430 241 0 0 25 0 4 0 651937428 592601088 96905 33554432000 4194304 4650419 140733771333248 18446744073709551615 4366845 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28486/statm: 144678 96905 395 112 0 139643 0
[pid=28486/tid=28487] ppid=28484 vsize=578712 CPUtime=1062.32 cores=1,3,5,7
/proc/28486/task/28487/stat : 28487 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 186915 0 0 0 106155 77 0 0 25 0 4 0 651937428 592601088 96905 33554432000 4194304 4650419 140733771333248 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28486/tid=28488] ppid=28484 vsize=578712 CPUtime=1062.28 cores=1,3,5,7
/proc/28486/task/28488/stat : 28488 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 191052 0 0 0 106147 81 0 0 25 0 4 0 651937428 592601088 96905 33554432000 4194304 4650419 140733771333248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28486/tid=28489] ppid=28484 vsize=578712 CPUtime=1049.76 cores=1,3,5,7
/proc/28486/task/28489/stat : 28489 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 24010 0 0 0 104967 9 0 0 25 0 4 0 651937428 592601088 96905 33554432000 4194304 4650419 140733771333248 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4236.71
Current children cumulated vsize (KiB) 578712

[startup+1122.3 s]
/proc/loadavg: 8.18 8.11 8.09 9/365 28523
/proc/meminfo: memFree=23201832/32951124 swapFree=56449224/67111528
[pid=28486] ppid=28484 vsize=599544 CPUtime=4476 cores=1,3,5,7
/proc/28486/stat : 28486 (strangenight1-m) R 28484 28486 28046 0 -1 4202496 598262 0 0 0 447345 255 0 0 25 0 4 0 651937428 613933056 104865 33554432000 4194304 4650419 140733771333248 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28486/statm: 149886 104866 395 112 0 144851 0
[pid=28486/tid=28487] ppid=28484 vsize=599544 CPUtime=1122.32 cores=1,3,5,7
/proc/28486/task/28487/stat : 28487 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 194482 0 0 0 112152 80 0 0 25 0 4 0 651937428 613933056 104866 33554432000 4194304 4650419 140733771333248 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28486/tid=28488] ppid=28484 vsize=599544 CPUtime=1122.29 cores=1,3,5,7
/proc/28486/task/28488/stat : 28488 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 198269 0 0 0 112142 87 0 0 25 0 4 0 651937428 613933056 104866 33554432000 4194304 4650419 140733771333248 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28486/tid=28489] ppid=28484 vsize=599544 CPUtime=1109.05 cores=1,3,5,7
/proc/28486/task/28489/stat : 28489 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 27991 0 0 0 110893 12 0 0 25 0 4 0 651937428 613933056 104866 33554432000 4194304 4650419 140733771333248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4476
Current children cumulated vsize (KiB) 599544

[startup+1182.3 s]
/proc/loadavg: 8.11 8.11 8.09 9/365 28525
/proc/meminfo: memFree=23163624/32951124 swapFree=56449224/67111528
[pid=28486] ppid=28484 vsize=651944 CPUtime=4715.31 cores=1,3,5,7
/proc/28486/stat : 28486 (strangenight1-m) R 28484 28486 28046 0 -1 4202496 624861 0 0 0 471264 267 0 0 25 0 4 0 651937428 667590656 117895 33554432000 4194304 4650419 140733771333248 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28486/statm: 162986 117895 395 112 0 157951 0
[pid=28486/tid=28487] ppid=28484 vsize=651944 CPUtime=1182.33 cores=1,3,5,7
/proc/28486/task/28487/stat : 28487 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 201744 0 0 0 118149 84 0 0 25 0 4 0 651937428 667590656 117895 33554432000 4194304 4650419 140733771333248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28486/tid=28488] ppid=28484 vsize=651944 CPUtime=1182.29 cores=1,3,5,7
/proc/28486/task/28488/stat : 28488 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 209455 0 0 0 118138 91 0 0 25 0 4 0 651937428 667590656 117895 33554432000 4194304 4650419 140733771333248 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28486/tid=28489] ppid=28484 vsize=651944 CPUtime=1168.35 cores=1,3,5,7
/proc/28486/task/28489/stat : 28489 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 29161 0 0 0 116823 12 0 0 25 0 4 0 651937428 667590656 117895 33554432000 4194304 4650419 140733771333248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4715.31
Current children cumulated vsize (KiB) 651944



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.35 8.16 8.11 10/365 28526
/proc/meminfo: memFree=23156172/32951124 swapFree=56449224/67111528
[pid=28486] ppid=28484 vsize=651988 CPUtime=4800.29 cores=1,3,5,7
/proc/28486/stat : 28486 (strangenight1-m) R 28484 28486 28046 0 -1 4202496 629975 0 0 0 479758 271 0 0 25 0 4 0 651937428 667635712 119106 33554432000 4194304 4650419 140733771333248 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28486/statm: 162997 119106 395 112 0 157962 0
[pid=28486/tid=28487] ppid=28484 vsize=651988 CPUtime=1203.64 cores=1,3,5,7
/proc/28486/task/28487/stat : 28487 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 204526 0 0 0 120278 86 0 0 25 0 4 0 651937428 667635712 119106 33554432000 4194304 4650419 140733771333248 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28486/tid=28488] ppid=28484 vsize=651988 CPUtime=1203.6 cores=1,3,5,7
/proc/28486/task/28488/stat : 28488 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 210388 0 0 0 120269 91 0 0 25 0 4 0 651937428 667635712 119106 33554432000 4194304 4650419 140733771333248 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28486/tid=28489] ppid=28484 vsize=651988 CPUtime=1189.39 cores=1,3,5,7
/proc/28486/task/28489/stat : 28489 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 29161 0 0 0 118927 12 0 0 25 0 4 0 651937428 667635712 119106 33554432000 4194304 4650419 140733771333248 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 651988

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

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

[startup+1203.6 s]
/proc/loadavg: 8.35 8.16 8.11 10/365 28526
/proc/meminfo: memFree=23156172/32951124 swapFree=56449224/67111528
[pid=28486] ppid=28484 vsize=651988 CPUtime=4800.29 cores=1,3,5,7
/proc/28486/stat : 28486 (strangenight1-m) R 28484 28486 28046 0 -1 4202496 629975 0 0 0 479758 271 0 0 25 0 4 0 651937428 667635712 119106 33554432000 4194304 4650419 140733771333248 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28486/statm: 162997 119106 395 112 0 157962 0
[pid=28486/tid=28487] ppid=28484 vsize=651988 CPUtime=1203.64 cores=1,3,5,7
/proc/28486/task/28487/stat : 28487 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 204526 0 0 0 120278 86 0 0 25 0 4 0 651937428 667635712 119106 33554432000 4194304 4650419 140733771333248 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28486/tid=28488] ppid=28484 vsize=651988 CPUtime=1203.6 cores=1,3,5,7
/proc/28486/task/28488/stat : 28488 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 210388 0 0 0 120269 91 0 0 25 0 4 0 651937428 667635712 119106 33554432000 4194304 4650419 140733771333248 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28486/tid=28489] ppid=28484 vsize=651988 CPUtime=1189.39 cores=1,3,5,7
/proc/28486/task/28489/stat : 28489 (strangenight1-m) R 28484 28486 28046 0 -1 4202560 29161 0 0 0 118927 12 0 0 25 0 4 0 651937428 667635712 119106 33554432000 4194304 4650419 140733771333248 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 651988

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.64
CPU time (s): 4800.34
CPU user time (s): 4797.61
CPU system time (s): 2.73158
CPU usage (%): 398.819
Max. virtual memory (cumulated for all children) (KiB): 718792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.61
system time used= 2.73158
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 629975
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= 220
involuntary context switches= 21823

runsolver used 3.66344 second user time and 10.5904 second system time

The end

Launcher Data 

Begin job on node106 at 2011-05-14 22:02:50
IDJOB=3368805
IDBENCH=82814
IDSOLVER=1846
FILE ID=node106/3368805-1305403370
RUNJOBID= node106-1305402164-28361
PBS_JOBID= 13324490
Free space on /tmp= 73356 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v550-c2343-S1694067460-072.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368805-1305403370/watcher-3368805-1305403370 -o /tmp/evaluation-result-3368805-1305403370/solver-3368805-1305403370 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368805-1305403370.cnf

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

MD5SUM BENCH= f2d2b125797e776fb2e7099729714d99
RANDOM SEED=416040001

node106.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.830
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.66
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.830
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	: 5226.20
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.830
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.830
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.82
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.830
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.74
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.830
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.830
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.830
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24013552 kB
Buffers:        268036 kB
Cached:        5686300 kB
SwapCached:      27544 kB
Active:         735772 kB
Inactive:      7975656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24013552 kB
SwapTotal:    67111528 kB
SwapFree:     56449224 kB
Dirty:           12436 kB
Writeback:           0 kB
AnonPages:     2738220 kB
Mapped:          10200 kB
Slab:           113564 kB
PageTables:      47372 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 75081512 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= 73348 MiB
End job on node106 at 2011-05-14 22:22:56