Trace number 3174191

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-2-mt? (TO) 4800.45 1201.74

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v650-c2769-S216164582-083.UNKNOWN.cnf
MD5SUMac87980bdfffc015f316143175a762b6
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 variables650
Number of clauses2769
Sum of the clauses size8307
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32769
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 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3174191-1304111762.cnf'
0.00/0.00	c -- header says num vars:            650
0.00/0.00	c -- header says num clauses:        2769
0.00/0.01	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.01	c -- vars added        650
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       650      2769         0         0      8307         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2769/2769 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.38/0.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.38/0.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.38/0.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.38/0.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    650 time:  0.00 s
0.38/0.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.38/0.18	c lits-rem:         0  cl-subs:        0  v-elim:     15  v-fix:    0  time:  0.00 s
0.38/0.18	c Finding binary XORs  T:     0.00 s  found:       0
0.38/0.18	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.38/0.18	c calculated reachability. Time: 0.00
0.38/0.18	c Calc default polars -  time:   0.00 s pos:     296 undec:      71 neg:     283
0.38/0.18	c =========================================================================================
0.38/0.18	c types(t): F = full restart, N = normal restart
0.38/0.18	c types(t): S = simplification begin/end, E = solution found
0.38/0.18	c restart types(rt): st = static, dy = dynamic
0.38/0.18	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.80	c  B st     0         0       635      2742         0         0      8296         0   no data   no data
3.17/0.80	c Decided on static restart strategy
3.17/0.80	c  N st     8      4920       635      2742         0      4839      8296    133396   no data   no data
3.17/0.80	c  N st    10     11302       635      2742         0      4495      8296     86957   no data   no data
3.17/0.80	c  N st    11     17045       635      2742         0     10123      8296    241692   no data   no data
4.77/1.20	c  F st    12     25000       635      2742         0     12414      8296    307513   no data   no data
4.77/1.20	c  N st    12     25000       635      2742         0     12414      8296    307513   no data   no data
5.57/1.42	c Decided on static restart strategy
5.57/1.42	c  N st    18     30000       635      2742         0     10708      8296    237913   no data   no data
5.57/1.42	c  S st    18     30000       635      2742         0     10708      8296    237913   no data   no data
5.57/1.45	c  S st    18     30504       635      2742         0     11212      8296    251203   no data   no data
5.57/1.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.57/1.46	c blocked clauses removed:       11 vars:      2 tried:         635 T: 0.00 s
5.57/1.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
5.57/1.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.57/1.46	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.00 s
5.57/1.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.53	c lits-rem:       137  cl-subs:      390  v-elim:      0  v-fix:    0  time:  0.05 s
5.97/1.53	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.01
5.97/1.53	c calculated reachability. Time: 0.00
5.97/1.53	c  N st    18     30504       632      2730         0     10821      8265    238081   no data   no data
7.57/1.95	c  N st    20     37616       632      2730         0     10078      8265    197193   no data   no data
9.16/2.33	c  N st    21     44016       632      2730         0     16380      8265    373582   no data   no data
9.56/2.44	c  S st    22     45757       632      2730         0      9301      8265    153468   no data   no data
9.56/2.47	c  S st    22     46262       632      2730         0      9806      8265    166150   no data   no data
9.56/2.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.56/2.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.56/2.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.56/2.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.56/2.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
9.56/2.47	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.56/2.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.56/2.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.49	c lits-rem:        13  cl-subs:       27  v-elim:      0  v-fix:    0  time:  0.01 s
9.56/2.49	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
9.56/2.49	c vivif2 --  cl tried     9779 cl shrink        0 lits rem          0 time: 0.00
9.96/2.50	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.01
9.96/2.50	c calculated reachability. Time: 0.00
9.96/2.50	c  N st    22     46262       632      2730         0      9779      8265    165349   no data   no data
13.56/3.48	c  N st    23     60659       632      2730         0     14123      8265    284476   no data   no data
16.36/4.12	c  N st    24     69395       632      2730         0     11905      8265    203990   no data   no data
16.36/4.12	c  S st    24     69395       632      2730         0     11905      8265    203990   no data   no data
16.36/4.15	c  S st    24     69898       632      2730         0     12408      8265    217533   no data   no data
16.36/4.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.36/4.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.36/4.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.36/4.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.36/4.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.36/4.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
16.36/4.16	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.36/4.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.36/4.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.36/4.19	c lits-rem:        33  cl-subs:       95  v-elim:      0  v-fix:    0  time:  0.02 s
16.36/4.19	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
16.36/4.19	c vivif2 --  cl tried    12313 cl shrink        0 lits rem          0 time: 0.00
16.75/4.20	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.01
16.75/4.20	c calculated reachability. Time: 0.00
16.75/4.20	c  N st    24     69898       632      2730         0     12313      8265    214848   no data   no data
21.97/5.54	c  F st    25     87501       632      2730         0     17826      8265    365662   no data   no data
21.97/5.54	c  N st    25     87501       632      2730         0     17826      8265    365662   no data   no data
23.54/5.93	c Decided on static restart strategy
24.34/6.19	c  N st    32     95537       632      2730         0     12965      8265    197604   no data   no data
27.14/6.87	c  N st    34    104847       632      2730         0     22095      8265    451490   no data   no data
27.14/6.87	c  S st    34    104847       632      2730         0     22095      8265    451490   no data   no data
27.54/6.93	c  S st    34    105349       632      2730         0     22597      8265    464860   no data   no data
27.54/6.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.54/6.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.54/6.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.54/6.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.54/6.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.54/6.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
27.54/6.94	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.54/6.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.54/6.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.34/7.11	c lits-rem:        91  cl-subs:      673  v-elim:      0  v-fix:    0  time:  0.16 s
28.34/7.11	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
28.34/7.12	c vivif2 --  cl tried    21924 cl shrink        0 lits rem          0 time: 0.00
28.34/7.13	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.01
28.34/7.13	c calculated reachability. Time: 0.00
28.34/7.13	c  N st    34    105349       632      2730         0     21924      8265    443270   no data   no data
31.53/7.91	c  N st    35    114947       632      2730         0     17621      8265    310264   no data   no data
37.13/9.32	c  N st    36    129344       632      2730         0     17047      8265    277284   no data   no data
45.11/11.34	c  N st    37    150939       632      2730         0     22538      8265    428719   no data   no data
47.93/12.04	c  S st    38    158023       632      2730         0     29465      8265    621204   no data   no data
48.33/12.12	c  S st    38    158532       632      2730         0     29973      8265    634014   no data   no data
48.33/12.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
48.33/12.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
48.33/12.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
48.33/12.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
48.33/12.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.33/12.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
48.33/12.13	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
48.33/12.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
48.33/12.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.31/12.61	c lits-rem:       560  cl-subs:     1096  v-elim:      0  v-fix:    0  time:  0.45 s
50.31/12.61	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
50.31/12.61	c vivif2 --  cl tried    28877 cl shrink        0 lits rem          0 time: 0.01
50.31/12.63	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.02
50.31/12.63	c calculated reachability. Time: 0.00
50.31/12.63	c  N st    38    158532       632      2730         0     28877      8265    597075   no data   no data
70.30/17.69	c  N st    39    207120       632      2730         0     23578      8265    390919   no data   no data
83.87/21.09	c  N st    40    237798       632      2730         0     34095      8265    666082   no data   no data
83.87/21.09	c  S st    40    237798       632      2730         0     34095      8265    666082   no data   no data
84.27/21.18	c  S st    40    238301       632      2730         0     34598      8265    679680   no data   no data
84.27/21.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
84.27/21.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
84.27/21.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
84.27/21.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
84.27/21.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.27/21.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
84.27/21.19	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
84.67/21.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
84.67/21.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.66/21.71	c lits-rem:       242  cl-subs:     1099  v-elim:      0  v-fix:    0  time:  0.49 s
86.66/21.71	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
86.66/21.72	c vivif2 --  cl tried    33499 cl shrink        0 lits rem          0 time: 0.01
86.66/21.75	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.02
86.66/21.75	c calculated reachability. Time: 0.00
86.66/21.75	c  N st    40    238301       632      2730         0     33499      8265    646886   no data   no data
119.01/29.83	c  F st    41    306251       632      2730         0     35299      8265    640803   no data   no data
119.01/29.83	c  N st    41    306251       632      2730         0     35299      8265    640803   no data   no data
121.41/30.47	c Decided on static restart strategy
132.20/33.17	c  N st    51    334553       632      2730         0     39558      8265    736147   no data   no data
143.78/36.06	c  N st    53    357452       632      2730         0     37460      8265    654785   no data   no data
143.78/36.06	c  S st    53    357452       632      2730         0     37460      8265    654785   no data   no data
144.18/36.15	c  S st    53    357956       632      2730         0     37963      8265    668016   no data   no data
144.18/36.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
144.18/36.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
144.18/36.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
144.18/36.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
144.18/36.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
144.18/36.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
144.18/36.17	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
144.18/36.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
144.18/36.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.57/36.73	c lits-rem:       120  cl-subs:     1611  v-elim:      0  v-fix:    0  time:  0.53 s
146.57/36.73	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
146.57/36.73	c vivif2 --  cl tried    36352 cl shrink        0 lits rem          0 time: 0.01
146.57/36.76	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.03
146.57/36.76	c calculated reachability. Time: 0.00
146.57/36.76	c  N st    53    357956       632      2730         0     36352      8265    622919   no data   no data
164.16/41.15	c  N st    54    390352       632      2730         0     42720      8265    775469   no data   no data
190.92/47.86	c  N st    55    438940       632      2730         0     36295      8265    554815   no data   no data
235.66/59.05	c  N st    56    511822       632      2730         0     49788      8265    906610   no data   no data
251.64/63.05	c  N st    57    536934       632      2730         0     44144      8265    745303   no data   no data
251.64/63.05	c  S st    57    536934       632      2730         0     44144      8265    745303   no data   no data
252.04/63.16	c  S st    57    537437       632      2730         0     44647      8265    759161   no data   no data
252.04/63.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
252.04/63.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.01
252.04/63.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
252.04/63.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
252.04/63.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
252.04/63.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
252.04/63.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
252.04/63.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
252.44/63.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
255.23/63.91	c lits-rem:       200  cl-subs:     1628  v-elim:      0  v-fix:    0  time:  0.70 s
255.23/63.91	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
255.23/63.92	c vivif2 --  cl tried    43019 cl shrink        0 lits rem          0 time: 0.01
255.23/63.95	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.03
255.23/63.95	c calculated reachability. Time: 0.00
255.23/63.95	c  N st    57    537437       632      2730         0     43019      8265    712817   no data   no data
369.87/92.63	c  N st    58    701422       632      2730         0     37031      8265    438346   no data   no data
448.57/112.36	c  N st    59    806156       632      2730         0     66199      8265   1185539   no data   no data
448.57/112.36	c  S st    59    806156       632      2730         0     66199      8265   1185539   no data   no data
449.38/112.56	c  S st    59    806660       632      2730         0     66703      8265   1199189   no data   no data
449.38/112.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
449.38/112.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
449.38/112.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
449.38/112.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
449.38/112.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
449.38/112.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
449.38/112.59	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
449.78/112.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
449.78/112.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
459.76/115.18	c lits-rem:       449  cl-subs:     3441  v-elim:      0  v-fix:    0  time:  2.53 s
459.76/115.18	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
460.16/115.20	c vivif2 --  cl tried    63262 cl shrink        0 lits rem          0 time: 0.01
460.16/115.26	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.06
460.16/115.26	c calculated reachability. Time: 0.00
460.16/115.26	c  N st    59    806660       632      2730         0     63262      8265   1118400   no data   no data
678.67/169.90	c  F st    60   1071875       632      2730         0     78982      8265   1456986   no data   no data
678.67/169.90	c  N st    60   1071875       632      2730         0     78982      8265   1456986   no data   no data
683.87/171.23	c Decided on static restart strategy
703.84/176.20	c  N st    70   1100179       632      2730         0     62749      8265    955312   no data   no data
737.80/184.74	c  N st    72   1136175       632      2730         0     53140      8265    708917   no data   no data
769.35/192.65	c  N st    73   1168568       632      2730         0     84930      8265   1645998   no data   no data
807.30/202.11	c  N st    74   1209990       632      2730         0     79589      8265   1480078   no data   no data
807.30/202.11	c  S st    74   1209990       632      2730         0     79589      8265   1480078   no data   no data
808.11/202.36	c  S st    74   1210492       632      2730         0     80088      8265   1494298   no data   no data
808.11/202.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
808.11/202.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
808.52/202.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
808.52/202.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
808.52/202.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
808.52/202.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
808.52/202.40	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
808.52/202.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
808.52/202.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
829.67/207.77	c lits-rem:       491  cl-subs:     2609  v-elim:      0  v-fix:    0  time:  5.30 s
829.67/207.77	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
829.67/207.79	c vivif2 --  cl tried    77479 cl shrink        0 lits rem          0 time: 0.02
830.09/207.89	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.10
830.09/207.90	c calculated reachability. Time: 0.00
830.09/207.90	c  N st    74   1210492       632      2730         0     77479      8265   1413091   no data   no data
907.96/227.33	c  N st    75   1283374       632      2730         0     53887      8265    672634   no data   no data
1022.21/255.91	c  N st    76   1392698       632      2730         0     61827      8265    843012   no data   no data
1207.16/302.23	c  N st    77   1556682       632      2730         0     66738      8265    956314   no data   no data
1370.96/343.27	c  N st    78   1710492       632      2730         0    108787      8265   2170246   no data   no data
1370.96/343.27	c  S st    78   1710492       632      2730         0    108787      8265   2170246   no data   no data
1372.54/343.62	c  S st    78   1710995       632      2730         0    109289      8265   2183632   no data   no data
1372.54/343.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1372.54/343.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1372.54/343.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1372.54/343.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1372.54/343.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1372.54/343.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
1372.54/343.69	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1372.94/343.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1372.94/343.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1421.68/355.95	c lits-rem:      1136  cl-subs:     5857  v-elim:      0  v-fix:    0  time: 12.16 s
1421.68/355.95	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
1421.68/355.98	c vivif2 --  cl tried   103432 cl shrink        0 lits rem          0 time: 0.03
1422.08/356.09	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.11
1422.08/356.09	c calculated reachability. Time: 0.00
1422.08/356.09	c  N st    78   1710995       632      2730         0    103432      8265   2015058   no data   no data
1858.71/465.40	c  N st    79   2079960       632      2730         0    115161      8265   2136397   no data   no data
2018.88/505.42	c  N st    80   2210995       632      2730         0    118916      8265   2173043   no data   no data
2018.88/505.42	c  S st    80   2210995       632      2730         0    118916      8265   2173043   no data   no data
2020.08/505.79	c  S st    80   2211498       632      2730         0    119419      8265   2186266   no data   no data
2020.48/505.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2020.48/505.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2020.48/505.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2020.48/505.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2020.48/505.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2020.48/505.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
2020.48/505.86	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2020.48/505.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2020.90/505.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2074.41/519.32	c lits-rem:      1244  cl-subs:     7392  v-elim:      0  v-fix:    0  time: 13.35 s
2074.41/519.32	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
2074.41/519.35	c vivif2 --  cl tried   112027 cl shrink        0 lits rem          0 time: 0.03
2074.81/519.48	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.13
2074.81/519.48	c calculated reachability. Time: 0.00
2074.81/519.48	c  N st    80   2211498       632      2730         0    112027      8265   2002501   no data   no data
2763.09/691.71	c  N st    81   2711498       632      2730         0    134950      8265   2528370   no data   no data
2763.09/691.71	c  S st    81   2711498       632      2730         0    134950      8265   2528370   no data   no data
2764.68/692.17	c  S st    81   2711998       632      2730         0    135450      8265   2542602   no data   no data
2764.68/692.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2765.08/692.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2765.08/692.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2765.08/692.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2765.08/692.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2765.08/692.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
2765.08/692.25	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2765.08/692.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2765.48/692.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2874.14/719.56	c lits-rem:       862  cl-subs:    12663  v-elim:      0  v-fix:    0  time: 27.19 s
2874.14/719.56	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
2874.14/719.59	c vivif2 --  cl tried   122787 cl shrink        0 lits rem          0 time: 0.03
2874.94/719.73	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.14
2874.94/719.74	c calculated reachability. Time: 0.00
2874.94/719.74	c  N st    81   2711998       632      2730         0    122787      8265   2228573   no data   no data
3613.16/904.50	c  N st    82   3211998       632      2730         0     99027      8265   1374382   no data   no data
3613.16/904.50	c  S st    82   3211998       632      2730         0     99027      8265   1374382   no data   no data
3614.35/904.80	c  S st    82   3212503       632      2730         0     99532      8265   1387786   no data   no data
3614.35/904.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3614.35/904.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3614.35/904.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3614.35/904.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3614.35/904.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3614.35/904.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
3614.35/904.86	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3614.35/904.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3614.75/904.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3627.93/908.26	c lits-rem:       353  cl-subs:     4188  v-elim:      0  v-fix:    0  time:  3.34 s
3627.93/908.26	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
3627.93/908.29	c vivif2 --  cl tried    95344 cl shrink        0 lits rem          0 time: 0.02
3628.33/908.38	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.10
3628.33/908.39	c calculated reachability. Time: 0.00
3628.33/908.39	c  N st    82   3212503       632      2730         0     95344      8265   1280707   no data   no data
4444.44/1112.61	c  N st    83   3712504       632      2730         0    105914      8265   1450034   no data   no data
4444.44/1112.61	c  S st    83   3712504       632      2730         0    105914      8265   1450034   no data   no data
4445.64/1112.93	c  S st    83   3713006       632      2730         0    106416      8265   1463857   no data   no data
4445.64/1112.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4445.64/1112.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4445.64/1112.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4445.64/1112.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4445.64/1112.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4445.64/1112.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    632 time:  0.00 s
4445.64/1112.99	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4446.04/1113.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4446.04/1113.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4459.23/1116.31	c lits-rem:       404  cl-subs:     3687  v-elim:      0  v-fix:    0  time:  3.25 s
4459.23/1116.31	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
4459.23/1116.33	c vivif2 --  cl tried   102729 cl shrink        0 lits rem          0 time: 0.02
4459.65/1116.45	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.11
4459.65/1116.45	c calculated reachability. Time: 0.00
4459.65/1116.45	c  N st    83   3713006       632      2730         0    102729      8265   1371148   no data   no data
4520.75/1131.77	c  F st    84   3751562       632      2730         0    140380      8265   2379316   no data   no data
4520.75/1131.77	c  N st    84   3751562       632      2730         0    140380      8265   2379316   no data   no data
4531.93/1134.51	c Decided on static restart strategy
4578.68/1146.24	c  N st    94   3779865       632      2730         0     85343      8265    870138   no data   no data
4633.39/1159.99	c  N st    96   3815858       632      2730         0    120555      8265   1834642   no data   no data
4698.51/1176.20	c  N st    97   3848251       632      2730         0    152179      8265   2674376   no data   no data
4780.00/1196.67	c  N st    98   3896839       632      2730         0    115748      8265   1746212   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-3174191-1304111762/watcher-3174191-1304111762 -o /tmp/evaluation-result-3174191-1304111762/solver-3174191-1304111762 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174191-1304111762.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: 6.88 7.86 7.94 3/172 4891
/proc/meminfo: memFree=29521916/32950928 swapFree=67111356/67111528
[pid=4891] ppid=4889 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/4891/stat : 4891 (strangenight2-m) R 4889 4891 4858 0 -1 4202496 407 0 0 0 0 0 0 0 18 0 4 0 601406912 52441088 347 33554432000 4194304 4627427 140735811969424 18446744073709551615 47231853594546 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4891/statm: 12803 347 299 106 0 7774 0
[pid=4891/tid=4894] ppid=4889 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/4891/task/4894/stat : 4894 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 601406912 52441088 347 33554432000 4194304 4627427 140735811969424 18446744073709551615 231907288118 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4891/tid=4895] ppid=4889 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/4891/task/4895/stat : 4895 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 601406912 52441088 347 33554432000 4194304 4627427 140735811969424 18446744073709551615 47231853594546 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4891/tid=4897] ppid=4889 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/4891/task/4897/stat : 4897 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 601406912 52441088 347 33554432000 4194304 4627427 140735811969424 18446744073709551615 231895546865 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.061817 s]
/proc/loadavg: 6.88 7.86 7.94 3/172 4891
/proc/meminfo: memFree=29521916/32950928 swapFree=67111356/67111528
[pid=4891] ppid=4889 vsize=282452 CPUtime=0.22 cores=1,3,5,7
/proc/4891/stat : 4891 (strangenight2-m) R 4889 4891 4858 0 -1 4202496 1662 0 0 0 22 0 0 0 18 0 4 0 601406912 289230848 1557 33554432000 4194304 4627427 140735811969424 18446744073709551615 4308265 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4891/statm: 70613 1557 384 106 0 65584 0
[pid=4891/tid=4894] ppid=4889 vsize=282452 CPUtime=0.05 cores=1,3,5,7
/proc/4891/task/4894/stat : 4894 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 332 0 0 0 5 0 0 0 18 0 4 0 601406912 289230848 1557 33554432000 4194304 4627427 140735811969424 18446744073709551615 4329520 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4891/tid=4895] ppid=4889 vsize=282452 CPUtime=0.05 cores=1,3,5,7
/proc/4891/task/4895/stat : 4895 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 352 0 0 0 5 0 0 0 18 0 4 0 601406912 289230848 1557 33554432000 4194304 4627427 140735811969424 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4891/tid=4897] ppid=4889 vsize=282452 CPUtime=0.05 cores=1,3,5,7
/proc/4891/task/4897/stat : 4897 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 219 0 0 0 5 0 0 0 21 0 4 0 601406912 289230848 1557 33554432000 4194304 4627427 140735811969424 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 282452

[startup+0.100809 s]
/proc/loadavg: 6.88 7.86 7.94 3/172 4891
/proc/meminfo: memFree=29521916/32950928 swapFree=67111356/67111528
[pid=4891] ppid=4889 vsize=282452 CPUtime=0.38 cores=1,3,5,7
/proc/4891/stat : 4891 (strangenight2-m) R 4889 4891 4858 0 -1 4202496 1837 0 0 0 38 0 0 0 18 0 4 0 601406912 289230848 1732 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309312 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4891/statm: 70613 1732 384 106 0 65584 0
[pid=4891/tid=4894] ppid=4889 vsize=282452 CPUtime=0.09 cores=1,3,5,7
/proc/4891/task/4894/stat : 4894 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 374 0 0 0 9 0 0 0 18 0 4 0 601406912 289230848 1732 33554432000 4194304 4627427 140735811969424 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4891/tid=4895] ppid=4889 vsize=282452 CPUtime=0.09 cores=1,3,5,7
/proc/4891/task/4895/stat : 4895 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 400 0 0 0 9 0 0 0 18 0 4 0 601406912 289230848 1732 33554432000 4194304 4627427 140735811969424 18446744073709551615 4306360 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4891/tid=4897] ppid=4889 vsize=282452 CPUtime=0.09 cores=1,3,5,7
/proc/4891/task/4897/stat : 4897 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 269 0 0 0 9 0 0 0 21 0 4 0 601406912 289230848 1733 33554432000 4194304 4627427 140735811969424 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282452

[startup+0.300772 s]
/proc/loadavg: 6.88 7.86 7.94 3/172 4891
/proc/meminfo: memFree=29521916/32950928 swapFree=67111356/67111528
[pid=4891] ppid=4889 vsize=284276 CPUtime=1.18 cores=1,3,5,7
/proc/4891/stat : 4891 (strangenight2-m) R 4889 4891 4858 0 -1 4202496 3014 0 0 0 118 0 0 0 18 0 4 0 601406912 291098624 2240 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4891/statm: 71069 2240 385 106 0 66040 0
[pid=4891/tid=4894] ppid=4889 vsize=284276 CPUtime=0.29 cores=1,3,5,7
/proc/4891/task/4894/stat : 4894 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 663 0 0 0 29 0 0 0 18 0 4 0 601406912 291098624 2240 33554432000 4194304 4627427 140735811969424 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4891/tid=4895] ppid=4889 vsize=284276 CPUtime=0.29 cores=1,3,5,7
/proc/4891/task/4895/stat : 4895 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 682 0 0 0 29 0 0 0 18 0 4 0 601406912 291098624 2240 33554432000 4194304 4627427 140735811969424 18446744073709551615 4327609 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4891/tid=4897] ppid=4889 vsize=284276 CPUtime=0.29 cores=1,3,5,7
/proc/4891/task/4897/stat : 4897 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 582 0 0 0 29 0 0 0 21 0 4 0 601406912 291098624 2240 33554432000 4194304 4627427 140735811969424 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284276

[startup+0.700698 s]
/proc/loadavg: 6.88 7.86 7.94 3/172 4891
/proc/meminfo: memFree=29521916/32950928 swapFree=67111356/67111528
[pid=4891] ppid=4889 vsize=285152 CPUtime=2.77 cores=1,3,5,7
/proc/4891/stat : 4891 (strangenight2-m) R 4889 4891 4858 0 -1 4202496 4697 0 0 0 277 0 0 0 18 0 4 0 601406912 291995648 2900 33554432000 4194304 4627427 140735811969424 18446744073709551615 4305826 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4891/statm: 71288 2901 385 106 0 66259 0
[pid=4891/tid=4894] ppid=4889 vsize=285152 CPUtime=0.69 cores=1,3,5,7
/proc/4891/task/4894/stat : 4894 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 1080 0 0 0 69 0 0 0 18 0 4 0 601406912 291995648 2901 33554432000 4194304 4627427 140735811969424 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4891/tid=4895] ppid=4889 vsize=285152 CPUtime=0.69 cores=1,3,5,7
/proc/4891/task/4895/stat : 4895 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 1092 0 0 0 69 0 0 0 18 0 4 0 601406912 291995648 2901 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309225 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4891/tid=4897] ppid=4889 vsize=285152 CPUtime=0.69 cores=1,3,5,7
/proc/4891/task/4897/stat : 4897 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 1023 0 0 0 69 0 0 0 22 0 4 0 601406912 291995648 2901 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309347 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) 285152

[startup+1.50055 s]
/proc/loadavg: 6.88 7.86 7.94 9/184 4903
/proc/meminfo: memFree=29499376/32950928 swapFree=67111356/67111528
[pid=4891] ppid=4889 vsize=286700 CPUtime=5.97 cores=1,3,5,7
/proc/4891/stat : 4891 (strangenight2-m) R 4889 4891 4858 0 -1 4202496 9586 0 0 0 596 1 0 0 20 0 4 0 601406912 293580800 4962 33554432000 4194304 4627427 140735811969424 18446744073709551615 4421008 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4891/statm: 71675 4962 389 106 0 66646 0
[pid=4891/tid=4894] ppid=4889 vsize=286700 CPUtime=1.49 cores=1,3,5,7
/proc/4891/task/4894/stat : 4894 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 1935 0 0 0 149 0 0 0 20 0 4 0 601406912 293580800 4962 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4891/tid=4895] ppid=4889 vsize=286700 CPUtime=1.49 cores=1,3,5,7
/proc/4891/task/4895/stat : 4895 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 1927 0 0 0 149 0 0 0 20 0 4 0 601406912 293580800 4962 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4891/tid=4897] ppid=4889 vsize=286700 CPUtime=1.48 cores=1,3,5,7
/proc/4891/task/4897/stat : 4897 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 1855 0 0 0 148 0 0 0 25 0 4 0 601406912 293580800 4962 33554432000 4194304 4627427 140735811969424 18446744073709551615 4305894 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286700

[startup+3.10025 s]
/proc/loadavg: 6.88 7.86 7.94 9/184 4903
/proc/meminfo: memFree=29474576/32950928 swapFree=67111356/67111528
[pid=4891] ppid=4889 vsize=296656 CPUtime=12.36 cores=1,3,5,7
/proc/4891/stat : 4891 (strangenight2-m) R 4889 4891 4858 0 -1 4202496 19579 0 0 0 1233 3 0 0 25 0 4 0 601406912 303775744 10671 33554432000 4194304 4627427 140735811969424 18446744073709551615 4308275 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4891/statm: 74164 10671 389 106 0 69135 0
[pid=4891/tid=4894] ppid=4889 vsize=296656 CPUtime=3.08 cores=1,3,5,7
/proc/4891/task/4894/stat : 4894 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 4337 0 0 0 308 0 0 0 25 0 4 0 601406912 303775744 10671 33554432000 4194304 4627427 140735811969424 18446744073709551615 4308282 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4891/tid=4895] ppid=4889 vsize=296656 CPUtime=3.08 cores=1,3,5,7
/proc/4891/task/4895/stat : 4895 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 5260 0 0 0 308 0 0 0 25 0 4 0 601406912 303775744 10671 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4891/tid=4897] ppid=4889 vsize=296656 CPUtime=3.07 cores=1,3,5,7
/proc/4891/task/4897/stat : 4897 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 4725 0 0 0 307 0 0 0 25 0 4 0 601406912 303775744 10671 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 296656

[startup+6.30066 s]
/proc/loadavg: 6.97 7.86 7.94 9/184 4903
/proc/meminfo: memFree=29419404/32950928 swapFree=67111356/67111528
[pid=4891] ppid=4889 vsize=303648 CPUtime=25.15 cores=1,3,5,7
/proc/4891/stat : 4891 (strangenight2-m) R 4889 4891 4858 0 -1 4202496 31209 0 0 0 2509 6 0 0 25 0 4 0 601406912 310935552 14474 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4891/statm: 75912 14474 389 106 0 70883 0
[pid=4891/tid=4894] ppid=4889 vsize=303648 CPUtime=6.28 cores=1,3,5,7
/proc/4891/task/4894/stat : 4894 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 8024 0 0 0 627 1 0 0 25 0 4 0 601406912 310935552 14474 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4891/tid=4895] ppid=4889 vsize=303648 CPUtime=6.29 cores=1,3,5,7
/proc/4891/task/4895/stat : 4895 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 8543 0 0 0 628 1 0 0 25 0 4 0 601406912 310935552 14474 33554432000 4194304 4627427 140735811969424 18446744073709551615 4420181 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4891/tid=4897] ppid=4889 vsize=303648 CPUtime=6.26 cores=1,3,5,7
/proc/4891/task/4897/stat : 4897 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 6719 0 0 0 625 1 0 0 25 0 4 0 601406912 310935552 14474 33554432000 4194304 4627427 140735811969424 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 303648

[startup+12.7005 s]
/proc/loadavg: 7.05 7.87 7.94 9/184 4903
/proc/meminfo: memFree=29350204/32950928 swapFree=67111356/67111528
[pid=4891] ppid=4889 vsize=304304 CPUtime=50.71 cores=1,3,5,7
/proc/4891/stat : 4891 (strangenight2-m) R 4889 4891 4858 0 -1 4202496 50737 0 0 0 5060 11 0 0 25 0 4 0 601406912 311607296 21765 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4891/statm: 76076 21765 389 106 0 71047 0
[pid=4891/tid=4894] ppid=4889 vsize=304304 CPUtime=12.68 cores=1,3,5,7
/proc/4891/task/4894/stat : 4894 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 12581 0 0 0 1266 2 0 0 25 0 4 0 601406912 311607296 21765 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4891/tid=4895] ppid=4889 vsize=304304 CPUtime=12.68 cores=1,3,5,7
/proc/4891/task/4895/stat : 4895 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 11619 0 0 0 1266 2 0 0 25 0 4 0 601406912 311607296 21766 33554432000 4194304 4627427 140735811969424 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4891/tid=4897] ppid=4889 vsize=304304 CPUtime=12.62 cores=1,3,5,7
/proc/4891/task/4897/stat : 4897 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 12144 0 0 0 1260 2 0 0 25 0 4 0 601406912 311607296 21766 33554432000 4194304 4627427 140735811969424 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 304304

[startup+25.5011 s]
/proc/loadavg: 7.26 7.87 7.94 9/184 4904
/proc/meminfo: memFree=29271568/32950928 swapFree=67111356/67111528
[pid=4891] ppid=4889 vsize=323396 CPUtime=101.84 cores=1,3,5,7
/proc/4891/stat : 4891 (strangenight2-m) R 4889 4891 4858 0 -1 4202496 77844 0 0 0 10167 17 0 0 25 0 4 0 601406912 331157504 29311 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4891/statm: 80849 29311 389 106 0 75820 0
[pid=4891/tid=4894] ppid=4889 vsize=323396 CPUtime=25.48 cores=1,3,5,7
/proc/4891/task/4894/stat : 4894 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 20145 0 0 0 2544 4 0 0 25 0 4 0 601406912 331157504 29311 33554432000 4194304 4627427 140735811969424 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4891/tid=4895] ppid=4889 vsize=323396 CPUtime=25.49 cores=1,3,5,7
/proc/4891/task/4895/stat : 4895 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 18293 0 0 0 2545 4 0 0 25 0 4 0 601406912 331157504 29311 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4891/tid=4897] ppid=4889 vsize=323396 CPUtime=25.35 cores=1,3,5,7
/proc/4891/task/4897/stat : 4897 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 18040 0 0 0 2532 3 0 0 25 0 4 0 601406912 331157504 29311 33554432000 4194304 4627427 140735811969424 18446744073709551615 4330971 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 323396

[startup+51.1003 s]
/proc/loadavg: 7.57 7.90 7.94 9/184 4904
/proc/meminfo: memFree=29212084/32950928 swapFree=67111356/67111528
[pid=4891] ppid=4889 vsize=324628 CPUtime=204.1 cores=1,3,5,7
/proc/4891/stat : 4891 (strangenight2-m) R 4889 4891 4858 0 -1 4202496 112025 0 0 0 20384 26 0 0 25 0 4 0 601406912 332419072 34696 33554432000 4194304 4627427 140735811969424 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4891/statm: 81157 34696 389 106 0 76128 0
[pid=4891/tid=4894] ppid=4889 vsize=324628 CPUtime=51.08 cores=1,3,5,7
/proc/4891/task/4894/stat : 4894 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 29216 0 0 0 5102 6 0 0 25 0 4 0 601406912 332419072 34696 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4891/tid=4895] ppid=4889 vsize=324628 CPUtime=51.09 cores=1,3,5,7
/proc/4891/task/4895/stat : 4895 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 25767 0 0 0 5103 6 0 0 25 0 4 0 601406912 332419072 34696 33554432000 4194304 4627427 140735811969424 18446744073709551615 4308194 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4891/tid=4897] ppid=4889 vsize=324628 CPUtime=50.81 cores=1,3,5,7
/proc/4891/task/4897/stat : 4897 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 27181 0 0 0 5075 6 0 0 25 0 4 0 601406912 332419072 34696 33554432000 4194304 4627427 140735811969424 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 324628

[startup+102.307 s]
/proc/loadavg: 7.95 7.94 7.95 9/184 4906
/proc/meminfo: memFree=29131444/32950928 swapFree=67111356/67111528
[pid=4891] ppid=4889 vsize=348492 CPUtime=408.65 cores=1,3,5,7
/proc/4891/stat : 4891 (strangenight2-m) R 4889 4891 4858 0 -1 4202496 167574 0 0 0 40821 44 0 0 25 0 4 0 601406912 356855808 44683 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4891/statm: 87123 44683 389 106 0 82094 0
[pid=4891/tid=4894] ppid=4889 vsize=348492 CPUtime=102.29 cores=1,3,5,7
/proc/4891/task/4894/stat : 4894 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 46028 0 0 0 10217 12 0 0 25 0 4 0 601406912 356855808 44683 33554432000 4194304 4627427 140735811969424 18446744073709551615 4327749 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4891/tid=4895] ppid=4889 vsize=348492 CPUtime=102.3 cores=1,3,5,7
/proc/4891/task/4895/stat : 4895 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 33346 0 0 0 10221 9 0 0 25 0 4 0 601406912 356855808 44684 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4891/tid=4897] ppid=4889 vsize=348492 CPUtime=101.74 cores=1,3,5,7
/proc/4891/task/4897/stat : 4897 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 44991 0 0 0 10162 12 0 0 25 0 4 0 601406912 356855808 44684 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 348492

[startup+162.3 s]

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

[pid=4891] ppid=4889 vsize=672176 CPUtime=2805.43 cores=1,3,5,7
/proc/4891/stat : 4891 (strangenight2-m) R 4889 4891 4858 0 -1 4202496 482074 0 0 0 280365 178 0 0 25 0 4 0 601406912 688308224 110040 33554432000 4194304 4627427 140735811969424 18446744073709551615 4420243 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4891/statm: 168044 110040 389 106 0 163015 0
[pid=4891/tid=4894] ppid=4889 vsize=672176 CPUtime=702.3 cores=1,3,5,7
/proc/4891/task/4894/stat : 4894 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 151180 0 0 0 70171 59 0 0 25 0 4 0 601406912 688308224 110040 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4891/tid=4895] ppid=4889 vsize=672176 CPUtime=702.31 cores=1,3,5,7
/proc/4891/task/4895/stat : 4895 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 73521 0 0 0 70208 23 0 0 25 0 4 0 601406912 688308224 110040 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4891/tid=4897] ppid=4889 vsize=672176 CPUtime=698.48 cores=1,3,5,7
/proc/4891/task/4897/stat : 4897 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 141426 0 0 0 69792 56 0 0 25 0 4 0 601406912 688308224 110040 33554432000 4194304 4627427 140735811969424 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.43
Current children cumulated vsize (KiB) 672176

[startup+762.307 s]
/proc/loadavg: 8.18 8.13 8.03 9/184 4923
/proc/meminfo: memFree=28638336/32950928 swapFree=67111356/67111528
[pid=4891] ppid=4889 vsize=685512 CPUtime=3045.14 cores=1,3,5,7
/proc/4891/stat : 4891 (strangenight2-m) R 4889 4891 4858 0 -1 4202496 501764 0 0 0 304323 191 0 0 25 0 4 0 601406912 701964288 106125 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4891/statm: 171378 106125 389 106 0 166349 0
[pid=4891/tid=4894] ppid=4889 vsize=685512 CPUtime=762.3 cores=1,3,5,7
/proc/4891/task/4894/stat : 4894 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 158785 0 0 0 76166 64 0 0 25 0 4 0 601406912 701964288 106125 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4891/tid=4895] ppid=4889 vsize=685512 CPUtime=762.32 cores=1,3,5,7
/proc/4891/task/4895/stat : 4895 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 75825 0 0 0 76208 24 0 0 25 0 4 0 601406912 701964288 106125 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4891/tid=4897] ppid=4889 vsize=685512 CPUtime=758.16 cores=1,3,5,7
/proc/4891/task/4897/stat : 4897 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 145621 0 0 0 75758 58 0 0 25 0 4 0 601406912 701964288 106125 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.14
Current children cumulated vsize (KiB) 685512

[startup+822.301 s]
/proc/loadavg: 8.10 8.12 8.03 9/184 4925
/proc/meminfo: memFree=28592300/32950928 swapFree=67111356/67111528
[pid=4891] ppid=4889 vsize=724528 CPUtime=3284.79 cores=1,3,5,7
/proc/4891/stat : 4891 (strangenight2-m) R 4889 4891 4858 0 -1 4202496 534658 0 0 0 328275 204 0 0 25 0 4 0 601406912 741916672 115715 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4891/statm: 181132 115715 389 106 0 176103 0
[pid=4891/tid=4894] ppid=4889 vsize=724528 CPUtime=822.3 cores=1,3,5,7
/proc/4891/task/4894/stat : 4894 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 172755 0 0 0 82162 68 0 0 25 0 4 0 601406912 741916672 115715 33554432000 4194304 4627427 140735811969424 18446744073709551615 4420243 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4891/tid=4895] ppid=4889 vsize=724528 CPUtime=822.32 cores=1,3,5,7
/proc/4891/task/4895/stat : 4895 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 82289 0 0 0 82204 28 0 0 25 0 4 0 601406912 741916672 115715 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4891/tid=4897] ppid=4889 vsize=724528 CPUtime=817.82 cores=1,3,5,7
/proc/4891/task/4897/stat : 4897 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 153523 0 0 0 81721 61 0 0 25 0 4 0 601406912 741916672 115715 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.79
Current children cumulated vsize (KiB) 724528

[startup+882.301 s]
/proc/loadavg: 8.04 8.09 8.02 9/184 4927
/proc/meminfo: memFree=28521212/32950928 swapFree=67111356/67111528
[pid=4891] ppid=4889 vsize=660604 CPUtime=3524.47 cores=1,3,5,7
/proc/4891/stat : 4891 (strangenight2-m) R 4889 4891 4858 0 -1 4202496 556279 0 0 0 352230 217 0 0 25 0 4 0 601406912 676458496 123691 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309250 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4891/statm: 165151 123691 389 106 0 160122 0
[pid=4891/tid=4894] ppid=4889 vsize=660604 CPUtime=882.3 cores=1,3,5,7
/proc/4891/task/4894/stat : 4894 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 178499 0 0 0 88158 72 0 0 25 0 4 0 601406912 676458496 123691 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4891/tid=4895] ppid=4889 vsize=660604 CPUtime=882.32 cores=1,3,5,7
/proc/4891/task/4895/stat : 4895 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 82435 0 0 0 88204 28 0 0 25 0 4 0 601406912 676458496 123691 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4891/tid=4897] ppid=4889 vsize=660604 CPUtime=877.5 cores=1,3,5,7
/proc/4891/task/4897/stat : 4897 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 163725 0 0 0 87684 66 0 0 25 0 4 0 601406912 676458496 123692 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.47
Current children cumulated vsize (KiB) 660604

[startup+942.3 s]
/proc/loadavg: 8.01 8.07 8.02 9/184 4928
/proc/meminfo: memFree=28493384/32950928 swapFree=67111356/67111528
[pid=4891] ppid=4889 vsize=661224 CPUtime=3764.15 cores=1,3,5,7
/proc/4891/stat : 4891 (strangenight2-m) R 4889 4891 4858 0 -1 4202496 575904 0 0 0 376188 227 0 0 25 0 4 0 601406912 677093376 121045 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4891/statm: 165306 121045 389 106 0 160277 0
[pid=4891/tid=4894] ppid=4889 vsize=661224 CPUtime=942.3 cores=1,3,5,7
/proc/4891/task/4894/stat : 4894 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 186543 0 0 0 94154 76 0 0 25 0 4 0 601406912 677093376 121045 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4891/tid=4895] ppid=4889 vsize=661224 CPUtime=942.32 cores=1,3,5,7
/proc/4891/task/4895/stat : 4895 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 83131 0 0 0 94204 28 0 0 25 0 4 0 601406912 677093376 121045 33554432000 4194304 4627427 140735811969424 18446744073709551615 4420232 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4891/tid=4897] ppid=4889 vsize=661224 CPUtime=937.18 cores=1,3,5,7
/proc/4891/task/4897/stat : 4897 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 170269 0 0 0 93648 70 0 0 25 0 4 0 601406912 677093376 121045 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.15
Current children cumulated vsize (KiB) 661224

[startup+1002.3 s]
/proc/loadavg: 8.00 8.06 8.01 9/184 4930
/proc/meminfo: memFree=28502908/32950928 swapFree=67111356/67111528
[pid=4891] ppid=4889 vsize=831696 CPUtime=4003.84 cores=1,3,5,7
/proc/4891/stat : 4891 (strangenight2-m) R 4889 4891 4858 0 -1 4202496 594719 0 0 0 400145 239 0 0 25 0 4 0 601406912 851656704 127894 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309312 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4891/statm: 207924 127894 389 106 0 202895 0
[pid=4891/tid=4894] ppid=4889 vsize=831696 CPUtime=1002.31 cores=1,3,5,7
/proc/4891/task/4894/stat : 4894 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 194295 0 0 0 100150 81 0 0 25 0 4 0 601406912 851656704 127894 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4891/tid=4895] ppid=4889 vsize=831696 CPUtime=1002.32 cores=1,3,5,7
/proc/4891/task/4895/stat : 4895 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 83732 0 0 0 100204 28 0 0 25 0 4 0 601406912 851656704 127894 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4891/tid=4897] ppid=4889 vsize=831696 CPUtime=996.85 cores=1,3,5,7
/proc/4891/task/4897/stat : 4897 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 175925 0 0 0 99612 73 0 0 25 0 4 0 601406912 851656704 127894 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.84
Current children cumulated vsize (KiB) 831696

[startup+1062.3 s]
/proc/loadavg: 8.00 8.04 8.01 9/184 4931
/proc/meminfo: memFree=28408384/32950928 swapFree=67111356/67111528
[pid=4891] ppid=4889 vsize=739380 CPUtime=4243.52 cores=1,3,5,7
/proc/4891/stat : 4891 (strangenight2-m) R 4889 4891 4858 0 -1 4202496 615361 0 0 0 424102 250 0 0 25 0 4 0 601406912 757125120 142263 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4891/statm: 184845 142263 389 106 0 179816 0
[pid=4891/tid=4894] ppid=4889 vsize=739380 CPUtime=1062.31 cores=1,3,5,7
/proc/4891/task/4894/stat : 4894 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 201726 0 0 0 106147 84 0 0 25 0 4 0 601406912 757125120 142263 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4891/tid=4895] ppid=4889 vsize=739380 CPUtime=1062.33 cores=1,3,5,7
/proc/4891/task/4895/stat : 4895 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 87368 0 0 0 106202 31 0 0 25 0 4 0 601406912 757125120 142263 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4891/tid=4897] ppid=4889 vsize=739380 CPUtime=1056.53 cores=1,3,5,7
/proc/4891/task/4897/stat : 4897 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 182439 0 0 0 105576 77 0 0 25 0 4 0 601406912 757125120 142263 33554432000 4194304 4627427 140735811969424 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.52
Current children cumulated vsize (KiB) 739380

[startup+1122.3 s]
/proc/loadavg: 8.00 8.03 8.00 9/184 4933
/proc/meminfo: memFree=28414280/32950928 swapFree=67111356/67111528
[pid=4891] ppid=4889 vsize=752164 CPUtime=4483.2 cores=1,3,5,7
/proc/4891/stat : 4891 (strangenight2-m) R 4889 4891 4858 0 -1 4202496 627639 0 0 0 448060 260 0 0 25 0 4 0 601406912 770215936 136555 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4891/statm: 188041 136555 389 106 0 183012 0
[pid=4891/tid=4894] ppid=4889 vsize=752164 CPUtime=1122.31 cores=1,3,5,7
/proc/4891/task/4894/stat : 4894 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 207438 0 0 0 112142 89 0 0 25 0 4 0 601406912 770215936 136555 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4891/tid=4895] ppid=4889 vsize=752164 CPUtime=1122.33 cores=1,3,5,7
/proc/4891/task/4895/stat : 4895 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 89125 0 0 0 112201 32 0 0 25 0 4 0 601406912 770215936 136555 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309186 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4891/tid=4897] ppid=4889 vsize=752164 CPUtime=1116.2 cores=1,3,5,7
/proc/4891/task/4897/stat : 4897 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 183489 0 0 0 111541 79 0 0 25 0 4 0 601406912 770215936 136555 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.2
Current children cumulated vsize (KiB) 752164

[startup+1182.3 s]
/proc/loadavg: 8.05 8.04 8.00 9/184 4935
/proc/meminfo: memFree=28380860/32950928 swapFree=67111356/67111528
[pid=4891] ppid=4889 vsize=805116 CPUtime=4722.88 cores=1,3,5,7
/proc/4891/stat : 4891 (strangenight2-m) R 4889 4891 4858 0 -1 4202496 647297 0 0 0 472018 270 0 0 25 0 4 0 601406912 824438784 146857 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309324 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4891/statm: 201279 146857 389 106 0 196250 0
[pid=4891/tid=4894] ppid=4889 vsize=805116 CPUtime=1182.31 cores=1,3,5,7
/proc/4891/task/4894/stat : 4894 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 214399 0 0 0 118138 93 0 0 25 0 4 0 601406912 824438784 146857 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4891/tid=4895] ppid=4889 vsize=805116 CPUtime=1182.33 cores=1,3,5,7
/proc/4891/task/4895/stat : 4895 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 91774 0 0 0 118200 33 0 0 25 0 4 0 601406912 824438784 146857 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4891/tid=4897] ppid=4889 vsize=805116 CPUtime=1175.88 cores=1,3,5,7
/proc/4891/task/4897/stat : 4897 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 189821 0 0 0 117506 82 0 0 25 0 4 0 601406912 824438784 146857 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.88
Current children cumulated vsize (KiB) 805116



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.03 8.04 8.00 9/184 4935
/proc/meminfo: memFree=28368064/32950928 swapFree=67111356/67111528
[pid=4891] ppid=4889 vsize=859996 CPUtime=4800.39 cores=1,3,5,7
/proc/4891/stat : 4891 (strangenight2-m) R 4889 4891 4858 0 -1 4202496 653109 0 0 0 479766 273 0 0 25 0 4 0 601406912 880635904 151828 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4891/statm: 214999 151828 389 106 0 209970 0
[pid=4891/tid=4894] ppid=4889 vsize=859996 CPUtime=1201.72 cores=1,3,5,7
/proc/4891/task/4894/stat : 4894 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 215804 0 0 0 120078 94 0 0 25 0 4 0 601406912 880635904 151828 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4891/tid=4895] ppid=4889 vsize=859996 CPUtime=1201.74 cores=1,3,5,7
/proc/4891/task/4895/stat : 4895 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 92348 0 0 0 120140 34 0 0 25 0 4 0 601406912 880635904 151828 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4891/tid=4897] ppid=4889 vsize=859996 CPUtime=1195.17 cores=1,3,5,7
/proc/4891/task/4897/stat : 4897 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 191025 0 0 0 119434 83 0 0 25 0 4 0 601406912 880635904 151828 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 859996

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.03 8.04 8.00 9/184 4935
/proc/meminfo: memFree=28368064/32950928 swapFree=67111356/67111528
[pid=4891] ppid=4889 vsize=859996 CPUtime=4800.39 cores=1,3,5,7
/proc/4891/stat : 4891 (strangenight2-m) R 4889 4891 4858 0 -1 4202496 653109 0 0 0 479766 273 0 0 25 0 4 0 601406912 880635904 151828 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4891/statm: 214999 151828 389 106 0 209970 0
[pid=4891/tid=4894] ppid=4889 vsize=859996 CPUtime=1201.72 cores=1,3,5,7
/proc/4891/task/4894/stat : 4894 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 215804 0 0 0 120078 94 0 0 25 0 4 0 601406912 880635904 151828 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4891/tid=4895] ppid=4889 vsize=859996 CPUtime=1201.74 cores=1,3,5,7
/proc/4891/task/4895/stat : 4895 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 92348 0 0 0 120140 34 0 0 25 0 4 0 601406912 880635904 151828 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4891/tid=4897] ppid=4889 vsize=859996 CPUtime=1195.17 cores=1,3,5,7
/proc/4891/task/4897/stat : 4897 (strangenight2-m) R 4889 4891 4858 0 -1 4202560 191025 0 0 0 119434 83 0 0 25 0 4 0 601406912 880635904 151828 33554432000 4194304 4627427 140735811969424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 859996

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.45
CPU user time (s): 4797.69
CPU system time (s): 2.76458
CPU usage (%): 399.457
Max. virtual memory (cumulated for all children) (KiB): 913384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.69
system time used= 2.76458
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 653110
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= 243
involuntary context switches= 31886

runsolver used 1.81672 second user time and 4.75428 second system time

The end

Launcher Data 

Begin job on node114 at 2011-04-29 23:16:02
IDJOB=3174191
IDBENCH=83009
IDSOLVER=1586
FILE ID=node114/3174191-1304111762
RUNJOBID= node114-1304111762-4877
PBS_JOBID= 13170690
Free space on /tmp= 71804 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v650-c2769-S216164582-083.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174191-1304111762/watcher-3174191-1304111762 -o /tmp/evaluation-result-3174191-1304111762/solver-3174191-1304111762 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174191-1304111762.cnf

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

MD5SUM BENCH= ac87980bdfffc015f316143175a762b6
RANDOM SEED=1271816739

node114.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.848
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.69
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.848
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.15
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.848
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.74
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.848
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.73
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.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
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.848
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.74
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.848
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:      29522196 kB
Buffers:       1062872 kB
Cached:        1794404 kB
SwapCached:        168 kB
Active:         147780 kB
Inactive:      2773576 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29522196 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           11820 kB
Writeback:           0 kB
AnonPages:       64516 kB
Mapped:          13940 kB
Slab:           440960 kB
PageTables:       5420 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   185948 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= 71792 MiB
End job on node114 at 2011-04-29 23:36:06