Trace number 3366352

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 (fixed)? (TO) 4800.2 1202.84

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v150-c3195-S1579607106-017.SATISFIABLE.cnf
MD5SUM7790a3f63c0c8a2b2a87d89aa5f80b99
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.080987
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses3195
Sum of the clauses size15975
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 53195
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.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366352-1305402241.cnf'
0.00/0.01	c -- header says num vars:            150
0.00/0.01	c -- header says num clauses:        3195
0.00/0.01	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.01	c -- vars added        150
0.00/0.02	c Parsing time:  0.00 s
0.00/0.02	c  N st     0         0       150      3195         0         0     15975         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.01
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:      76 undec:       4 neg:      70
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.10	c  B st     0         0       150      3195         0         0     15975         0   no data   no data
0.00/0.10	c Decided on static restart strategy
0.77/0.20	c  N st     8      4921       150      3195         0      4692     15975    140701   no data   no data
1.17/0.36	c  N st    10     11304       150      3195         0      4324     15975     98063   no data   no data
2.37/0.60	c  N st    11     17047       150      3195         0      9782     15975    259617   no data   no data
3.57/0.94	c  F st    12     25000       150      3195         0     12031     15975    326993   no data   no data
3.57/0.94	c  N st    12     25000       150      3195         0     12031     15975    326993   no data   no data
4.38/1.17	c Decided on static restart strategy
4.38/1.17	c  N st    18     30001       150      3195         0     10327     15975    265280   no data   no data
4.38/1.17	c  S st    18     30001       150      3195         0     10327     15975    265280   no data   no data
4.38/1.20	c  S st    18     30506       150      3195         0     10828     15975    279888   no data   no data
4.38/1.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.38/1.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.38/1.20	c blocked clauses removed:        0 vars:      0 tried:         150 T: 0.00 s
4.38/1.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.38/1.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.38/1.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4.38/1.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.80/1.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.80/1.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.42	c lits-rem:       210  cl-subs:     1316  v-elim:      0  v-fix:    0  time:  0.21 s
5.57/1.46	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
5.57/1.46	c calculated reachability. Time: 0.00
5.57/1.46	c  N st    18     30506       150      3195         0      9512     15975    235396   no data   no data
7.16/1.84	c  N st    20     37619       150      3195         0      8742     15975    193927   no data   no data
8.37/2.16	c  N st    21     44021       150      3195         0     14835     15975    371397   no data   no data
8.77/2.27	c  S st    22     45759       150      3195         0     16492     15975    424005   no data   no data
9.19/2.32	c  S st    22     46263       150      3195         0     16987     15975    438543   no data   no data
9.19/2.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.19/2.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
9.19/2.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.19/2.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.19/2.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
9.19/2.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.19/2.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.19/2.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.75/2.79	c lits-rem:       347  cl-subs:     1437  v-elim:      0  v-fix:    0  time:  0.45 s
10.75/2.79	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
11.15/2.80	c vivif2 --  cl tried    15550 cl shrink        0 lits rem          0 time: 0.01
11.15/2.87	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.06
11.15/2.87	c calculated reachability. Time: 0.00
11.15/2.87	c  N st    22     46263       150      3195         0     15550     15975    392892   no data   no data
14.74/3.71	c  N st    23     60662       150      3195         0     11326     15975    232752   no data   no data
16.34/4.19	c  N st    24     69396       150      3195         0     19632     15975    477553   no data   no data
16.34/4.19	c  S st    24     69396       150      3195         0     19632     15975    477553   no data   no data
16.74/4.24	c  S st    24     69902       150      3195         0     20124     15975    491788   no data   no data
16.74/4.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.74/4.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
16.74/4.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.74/4.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.74/4.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.74/4.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
16.74/4.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.74/4.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.74/4.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
19.13/4.87	c lits-rem:       462  cl-subs:     1665  v-elim:      0  v-fix:    0  time:  0.60 s
19.13/4.88	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
19.13/4.88	c vivif2 --  cl tried    18459 cl shrink        0 lits rem          0 time: 0.00
19.53/4.95	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.08
19.53/4.95	c calculated reachability. Time: 0.00
19.53/4.95	c  N st    24     69902       150      3195         0     18459     15975    439282   no data   no data
23.92/6.06	c  F st    25     87501       150      3195         0     13394     15975    267485   no data   no data
23.92/6.06	c  N st    25     87501       150      3195         0     13394     15975    267485   no data   no data
25.11/6.36	c Decided on static restart strategy
25.93/6.58	c  N st    32     95539       150      3195         0     21074     15975    502740   no data   no data
28.31/7.18	c  N st    34    104853       150      3195         0     17542     15975    387813   no data   no data
28.31/7.18	c  S st    34    104853       150      3195         0     17542     15975    387813   no data   no data
28.71/7.23	c  S st    34    105355       150      3195         0     18026     15975    402258   no data   no data
28.71/7.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.71/7.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.71/7.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.71/7.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.71/7.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.71/7.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
28.71/7.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
28.71/7.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
28.71/7.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.90/7.53	c lits-rem:       149  cl-subs:     1001  v-elim:      0  v-fix:    0  time:  0.28 s
29.90/7.53	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
29.90/7.54	c vivif2 --  cl tried    17025 cl shrink        0 lits rem          0 time: 0.00
30.30/7.62	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.08
30.30/7.62	c calculated reachability. Time: 0.00
30.30/7.62	c  N st    34    105355       150      3195         0     17025     15975    366949   no data   no data
33.10/8.31	c  N st    35    114954       150      3195         0     26193     15975    662022   no data   no data
37.49/9.43	c  N st    36    129351       150      3195         0     26531     15975    652719   no data   no data
43.89/11.11	c  N st    37    150947       150      3195         0     17558     15975    325697   no data   no data
46.27/11.62	c  S st    38    158035       150      3195         0     24295     15975    531614   no data   no data
46.27/11.68	c  S st    38    158537       150      3195         0     24787     15975    545707   no data   no data
46.27/11.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.27/11.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
46.27/11.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
46.27/11.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.27/11.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.27/11.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
46.27/11.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
46.27/11.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
46.67/11.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.05/12.39	c lits-rem:       872  cl-subs:     1660  v-elim:      0  v-fix:    0  time:  0.68 s
49.05/12.39	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
49.45/12.40	c vivif2 --  cl tried    23127 cl shrink        0 lits rem          0 time: 0.01
49.85/12.50	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.10
49.85/12.50	c calculated reachability. Time: 0.00
49.85/12.50	c  N st    38    158537       150      3195         0     23127     15975    490902   no data   no data
66.61/16.72	c  N st    39    207127       150      3195         0     17996     15975    291249   no data   no data
78.59/19.76	c  N st    40    237806       150      3195         0     28124     15975    578105   no data   no data
78.59/19.76	c  S st    40    237806       150      3195         0     28124     15975    578105   no data   no data
79.00/19.84	c  S st    40    238310       150      3195         0     28621     15975    592541   no data   no data
79.00/19.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
79.00/19.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
79.00/19.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
79.00/19.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
79.00/19.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.00/19.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
79.00/19.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
79.00/19.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
79.00/19.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.58/20.78	c lits-rem:       407  cl-subs:     2009  v-elim:      0  v-fix:    0  time:  0.90 s
82.58/20.78	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
82.58/20.78	c vivif2 --  cl tried    26612 cl shrink        0 lits rem          0 time: 0.01
83.38/20.92	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.12
83.38/20.92	c calculated reachability. Time: 0.00
83.38/20.92	c  N st    40    238310       150      3195         0     26612     15975    532226   no data   no data
108.92/27.30	c  F st    41    306252       150      3195         0     28430     15975    533505   no data   no data
108.92/27.30	c  N st    41    306252       150      3195         0     28430     15975    533505   no data   no data
110.91/27.81	c Decided on static restart strategy
120.88/30.39	c  N st    51    334559       150      3195         0     32595     15975    645047   no data   no data
131.68/33.06	c  N st    53    357465       150      3195         0     30711     15975    570499   no data   no data
131.68/33.06	c  S st    53    357465       150      3195         0     30711     15975    570499   no data   no data
132.09/33.15	c  S st    53    357972       150      3195         0     31208     15975    585024   no data   no data
132.09/33.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
132.09/33.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
132.09/33.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
132.09/33.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
132.09/33.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
132.09/33.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
132.09/33.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
132.09/33.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
132.09/33.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
134.05/33.66	c lits-rem:       281  cl-subs:      972  v-elim:      0  v-fix:    0  time:  0.49 s
134.05/33.66	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
134.05/33.67	c vivif2 --  cl tried    30236 cl shrink        0 lits rem          0 time: 0.01
134.85/33.81	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.14
134.85/33.81	c calculated reachability. Time: 0.00
134.85/33.81	c  N st    53    357972       150      3195         0     30236     15975    552049   no data   no data
149.66/37.52	c  N st    54    390364       150      3195         0     36214     15975    714123   no data   no data
175.16/43.99	c  N st    55    438957       150      3195         0     30136     15975    509460   no data   no data
211.87/53.19	c  N st    56    511839       150      3195         0     43246     15975    878878   no data   no data
224.29/56.22	c  N st    57    536958       150      3195         0     37803     15975    690449   no data   no data
224.29/56.22	c  S st    57    536958       150      3195         0     37803     15975    690449   no data   no data
224.64/56.31	c  S st    57    537462       150      3195         0     38293     15975    704857   no data   no data
224.64/56.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
224.64/56.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
224.64/56.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
224.64/56.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
224.64/56.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
224.64/56.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
224.64/56.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
224.64/56.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
224.64/56.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
227.84/57.14	c lits-rem:       548  cl-subs:     1256  v-elim:      0  v-fix:    0  time:  0.79 s
227.84/57.14	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
227.84/57.15	c vivif2 --  cl tried    37037 cl shrink        0 lits rem          0 time: 0.01
228.67/57.34	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.18
228.67/57.34	c calculated reachability. Time: 0.00
228.67/57.34	c  N st    57    537462       150      3195         0     37037     15975    661287   no data   no data
320.45/80.34	c  N st    58    701448       150      3195         0     65355     15975   1501998   no data   no data
384.29/96.34	c  N st    59    806194       150      3195         0     59272     15975   1213716   no data   no data
384.29/96.34	c  S st    59    806194       150      3195         0     59272     15975   1213716   no data   no data
385.09/96.50	c  S st    59    806698       150      3195         0     59762     15975   1228740   no data   no data
385.09/96.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
385.09/96.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.03
385.09/96.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
385.09/96.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
385.09/96.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
385.09/96.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
385.09/96.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
385.09/96.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
385.09/96.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
411.02/103.06	c lits-rem:      1472  cl-subs:     4919  v-elim:      0  v-fix:    0  time:  6.42 s
411.02/103.06	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
411.02/103.07	c vivif2 --  cl tried    54843 cl shrink        0 lits rem          0 time: 0.01
412.22/103.36	c asymm  cl-useful: 0/2760/3195 lits-rem:0 time: 0.29
412.22/103.36	c calculated reachability. Time: 0.00
412.22/103.36	c  N st    59    806698       150      3195         0     54843     15975   1076481   no data   no data
595.41/149.25	c  F st    60   1071878       150      3195         0     69942     15975   1446140   no data   no data
595.41/149.25	c  N st    60   1071878       150      3195         0     69942     15975   1446140   no data   no data
600.20/150.49	c Decided on static restart strategy
619.39/155.29	c  N st    70   1100179       150      3195         0     54564     15975    939880   no data   no data
651.67/163.38	c  N st    72   1136172       150      3195         0     45260     15975    637812   no data   no data
673.63/168.86	c  N st    73   1168569       150      3195         0     75994     15975   1579092   no data   no data
713.52/178.86	c  N st    74   1210047       150      3195         0     70622     15975   1384306   no data   no data
713.52/178.86	c  S st    74   1210047       150      3195         0     70622     15975   1384306   no data   no data
714.74/179.14	c  S st    74   1210552       150      3195         0     71117     15975   1398560   no data   no data
714.74/179.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
714.74/179.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
714.74/179.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
714.74/179.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
714.74/179.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
714.74/179.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
714.74/179.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
715.13/179.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
715.13/179.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
772.59/193.67	c lits-rem:      1287  cl-subs:     5726  v-elim:      0  v-fix:    0  time: 14.26 s
772.59/193.67	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
772.59/193.69	c vivif2 --  cl tried    65391 cl shrink        0 lits rem          0 time: 0.02
774.57/194.14	c asymm  cl-useful: 0/2441/3195 lits-rem:0 time: 0.46
774.57/194.14	c calculated reachability. Time: 0.00
774.57/194.14	c  N st    74   1210552       150      3195         0     65391     15975   1227502   no data   no data
836.43/209.69	c  N st    75   1283435       150      3195         0     88938     15975   1964387   no data   no data
935.78/234.50	c  N st    76   1392758       150      3195         0     50682     15975    713315   no data   no data
1079.88/270.63	c  N st    77   1556742       150      3195         0     55492     15975    803656   no data   no data
1232.73/308.91	c  N st    78   1710552       150      3195         0     95548     15975   1975116   no data   no data
1232.73/308.91	c  S st    78   1710552       150      3195         0     95548     15975   1975116   no data   no data
1233.96/309.22	c  S st    78   1711055       150      3195         0     96039     15975   1989744   no data   no data
1233.96/309.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1233.96/309.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1233.96/309.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1233.96/309.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1233.96/309.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1233.96/309.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1233.96/309.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1234.31/309.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1234.31/309.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1322.50/331.45	c lits-rem:      2322  cl-subs:     9364  v-elim:      0  v-fix:    0  time: 21.89 s
1322.50/331.45	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1322.50/331.48	c vivif2 --  cl tried    86675 cl shrink        0 lits rem          0 time: 0.02
1323.30/331.65	c asymm  cl-useful: 0/754/3195 lits-rem:0 time: 0.17
1323.30/331.65	c calculated reachability. Time: 0.00
1323.30/331.65	c  N st    78   1711055       150      3195         0     86675     15975   1712913   no data   no data
1696.84/425.28	c  N st    79   2080019       150      3195         0     98369     15975   1975512   no data   no data
1841.32/461.42	c  N st    80   2211056       150      3195         0    102280     15975   2027512   no data   no data
1841.32/461.42	c  S st    80   2211056       150      3195         0    102280     15975   2027512   no data   no data
1842.52/461.74	c  S st    80   2211560       150      3195         0    102764     15975   2042843   no data   no data
1842.52/461.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1842.92/461.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1842.92/461.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1842.92/461.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1842.92/461.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1842.92/461.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1842.92/461.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1842.92/461.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1842.92/461.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1923.17/481.94	c lits-rem:      3025  cl-subs:     8676  v-elim:      0  v-fix:    0  time: 19.86 s
1923.17/481.94	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1923.17/481.97	c vivif2 --  cl tried    94088 cl shrink        0 lits rem          0 time: 0.02
1924.72/482.33	c asymm  cl-useful: 0/1811/3195 lits-rem:0 time: 0.36
1924.72/482.33	c calculated reachability. Time: 0.00
1924.72/482.33	c  N st    80   2211560       150      3195         0     94088     15975   1794183   no data   no data
2464.69/617.60	c  N st    81   2711560       150      3195         0    117084     15975   2367947   no data   no data
2464.69/617.60	c  S st    81   2711560       150      3195         0    117084     15975   2367947   no data   no data
2465.89/617.99	c  S st    81   2712063       150      3195         0    117575     15975   2382522   no data   no data
2465.89/617.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2466.29/618.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2466.29/618.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2466.29/618.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2466.29/618.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2466.29/618.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2466.29/618.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2466.29/618.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2466.69/618.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2594.00/650.09	c lits-rem:      2234  cl-subs:    11225  v-elim:      0  v-fix:    0  time: 31.65 s
2594.00/650.09	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2594.41/650.13	c vivif2 --  cl tried   106350 cl shrink        0 lits rem          0 time: 0.03
2595.99/650.51	c asymm  cl-useful: 0/1384/3195 lits-rem:0 time: 0.38
2595.99/650.52	c calculated reachability. Time: 0.00
2595.99/650.52	c  N st    81   2712063       150      3195         0    106350     15975   2067005   no data   no data
3233.68/810.30	c  N st    82   3212063       150      3195         0     83590     15975   1237321   no data   no data
3233.68/810.30	c  S st    82   3212063       150      3195         0     83590     15975   1237321   no data   no data
3234.48/810.53	c  S st    82   3212565       150      3195         0     84085     15975   1252110   no data   no data
3234.48/810.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3234.48/810.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
3234.48/810.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3234.48/810.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3234.48/810.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3234.48/810.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3234.48/810.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3234.48/810.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3234.88/810.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3243.66/812.86	c lits-rem:       303  cl-subs:     2126  v-elim:      0  v-fix:    0  time:  2.21 s
3243.66/812.86	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3243.66/812.87	c vivif2 --  cl tried    81959 cl shrink        0 lits rem          0 time: 0.02
3245.25/813.21	c asymm  cl-useful: 0/1908/3195 lits-rem:0 time: 0.33
3245.25/813.22	c calculated reachability. Time: 0.00
3245.25/813.22	c  N st    82   3212565       150      3195         0     81959     15975   1188934   no data   no data
3916.50/981.42	c  N st    83   3712565       150      3195         0     92365     15975   1388532   no data   no data
3916.50/981.42	c  S st    83   3712565       150      3195         0     92365     15975   1388532   no data   no data
3917.69/981.71	c  S st    83   3713070       150      3195         0     92864     15975   1404029   no data   no data
3917.69/981.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3917.69/981.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
3917.69/981.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3917.69/981.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3917.69/981.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3917.69/981.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3917.69/981.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3917.69/981.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3918.09/981.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3931.27/985.18	c lits-rem:       667  cl-subs:     2848  v-elim:      0  v-fix:    0  time:  3.32 s
3931.27/985.18	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3931.27/985.20	c vivif2 --  cl tried    90016 cl shrink        0 lits rem          0 time: 0.02
3932.47/985.48	c asymm  cl-useful: 0/1287/3195 lits-rem:0 time: 0.28
3932.47/985.48	c calculated reachability. Time: 0.00
3932.47/985.48	c  N st    83   3713070       150      3195         0     90016     15975   1323991   no data   no data
3988.34/999.43	c  F st    84   3751562       150      3195         0    126395     15975   2424692   no data   no data
3988.34/999.43	c  N st    84   3751562       150      3195         0    126395     15975   2424692   no data   no data
3998.72/1002.07	c Decided on static restart strategy
4043.03/1013.12	c  N st    94   3779871       150      3195         0    153200     15975   3238190   no data   no data
4086.12/1023.92	c  N st    96   3815864       150      3195         0    107252     15975   1848138   no data   no data
4140.03/1037.48	c  N st    97   3848256       150      3195         0    137958     15975   2790536   no data   no data
4210.28/1055.01	c  N st    98   3896844       150      3195         0    102476     15975   1638694   no data   no data
4311.60/1080.43	c  N st    99   3969726       150      3195         0     89093     15975   1221482   no data   no data
4454.10/1116.13	c  N st   100   4079051       150      3195         0    109400     15975   1834692   no data   no data
4701.15/1178.06	c  N st   101   4213070       150      3195         0    151469     15975   3070455   no data   no data
4701.15/1178.06	c  S st   101   4213070       150      3195         0    151469     15975   3070455   no data   no data
4703.14/1178.56	c  S st   101   4213573       150      3195         0    151960     15975   3085601   no data   no data
4703.14/1178.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4703.53/1178.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.08
4703.53/1178.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4703.53/1178.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4703.53/1178.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4703.53/1178.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4703.53/1178.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4703.53/1178.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4703.93/1178.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s

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-3366352-1305402241/watcher-3366352-1305402241 -o /tmp/evaluation-result-3366352-1305402241/solver-3366352-1305402241 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366352-1305402241.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.09 8.04 8.00 5/298 2073
/proc/meminfo: memFree=12810388/32950928 swapFree=67083212/67111528
[pid=2073] ppid=2071 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/2073/stat : 2073 (strangenight2-m) R 2071 2073 1603 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 651823739 52396032 347 33554432000 4194304 4580107 140733869578608 18446744073709551615 46981006264236 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2073/statm: 12792 347 299 95 0 7774 0
[pid=2073/tid=2074] ppid=2071 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/2073/task/2074/stat : 2074 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651823739 52396032 352 33554432000 4194304 4580107 140733869578608 18446744073709551615 46981006263833 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2073/tid=2075] ppid=2071 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/2073/task/2075/stat : 2075 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651823739 52396032 352 33554432000 4194304 4580107 140733869578608 18446744073709551615 46981006263833 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2073/tid=2076] ppid=2071 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/2073/task/2076/stat : 2076 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 651823739 52396032 352 33554432000 4194304 4580107 140733869578608 18446744073709551615 46981006263824 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.111408 s]
/proc/loadavg: 8.09 8.04 8.00 5/298 2073
/proc/meminfo: memFree=12810388/32950928 swapFree=67083212/67111528
[pid=2073] ppid=2071 vsize=282432 CPUtime=0.41 cores=1,3,5,7
/proc/2073/stat : 2073 (strangenight2-m) R 2071 2073 1603 0 -1 4202496 2024 0 0 0 41 0 0 0 25 0 4 0 651823739 289210368 1840 33554432000 4194304 4580107 140733869578608 18446744073709551615 4322556 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2073/statm: 70608 1840 376 95 0 65590 0
[pid=2073/tid=2074] ppid=2071 vsize=282432 CPUtime=0.1 cores=1,3,5,7
/proc/2073/task/2074/stat : 2074 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 425 0 0 0 10 0 0 0 25 0 4 0 651823739 289210368 1841 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2073/tid=2075] ppid=2071 vsize=282432 CPUtime=0.1 cores=1,3,5,7
/proc/2073/task/2075/stat : 2075 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 442 0 0 0 10 0 0 0 25 0 4 0 651823739 289210368 1841 33554432000 4194304 4580107 140733869578608 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2073/tid=2076] ppid=2071 vsize=282432 CPUtime=0.1 cores=1,3,5,7
/proc/2073/task/2076/stat : 2076 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 316 0 0 0 10 0 0 0 25 0 4 0 651823739 289210368 1841 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 282432

[startup+0.200392 s]
/proc/loadavg: 8.09 8.04 8.00 5/298 2073
/proc/meminfo: memFree=12810388/32950928 swapFree=67083212/67111528
[pid=2073] ppid=2071 vsize=284096 CPUtime=0.77 cores=1,3,5,7
/proc/2073/stat : 2073 (strangenight2-m) R 2071 2073 1603 0 -1 4202496 2837 0 0 0 77 0 0 0 25 0 4 0 651823739 290914304 1942 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2073/statm: 71024 1942 376 95 0 66006 0
[pid=2073/tid=2074] ppid=2071 vsize=284096 CPUtime=0.19 cores=1,3,5,7
/proc/2073/task/2074/stat : 2074 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 626 0 0 0 19 0 0 0 25 0 4 0 651823739 290914304 1943 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2073/tid=2075] ppid=2071 vsize=284096 CPUtime=0.19 cores=1,3,5,7
/proc/2073/task/2075/stat : 2075 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 652 0 0 0 19 0 0 0 25 0 4 0 651823739 290914304 1944 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294460 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2073/tid=2076] ppid=2071 vsize=284096 CPUtime=0.19 cores=1,3,5,7
/proc/2073/task/2076/stat : 2076 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 514 0 0 0 19 0 0 0 25 0 4 0 651823739 290914304 1944 33554432000 4194304 4580107 140733869578608 18446744073709551615 208079893537 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 284096

[startup+0.300372 s]
/proc/loadavg: 8.09 8.04 8.00 5/298 2073
/proc/meminfo: memFree=12810388/32950928 swapFree=67083212/67111528
[pid=2073] ppid=2071 vsize=284364 CPUtime=1.17 cores=1,3,5,7
/proc/2073/stat : 2073 (strangenight2-m) R 2071 2073 1603 0 -1 4202496 3344 0 0 0 117 0 0 0 25 0 4 0 651823739 291188736 2449 33554432000 4194304 4580107 140733869578608 18446744073709551615 4293235 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2073/statm: 71091 2449 377 95 0 66073 0
[pid=2073/tid=2074] ppid=2071 vsize=284364 CPUtime=0.29 cores=1,3,5,7
/proc/2073/task/2074/stat : 2074 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 759 0 0 0 29 0 0 0 25 0 4 0 651823739 291188736 2449 33554432000 4194304 4580107 140733869578608 18446744073709551615 4301945 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2073/tid=2075] ppid=2071 vsize=284364 CPUtime=0.29 cores=1,3,5,7
/proc/2073/task/2075/stat : 2075 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 783 0 0 0 29 0 0 0 25 0 4 0 651823739 291188736 2449 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2073/tid=2076] ppid=2071 vsize=284364 CPUtime=0.29 cores=1,3,5,7
/proc/2073/task/2076/stat : 2076 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 638 0 0 0 29 0 0 0 25 0 4 0 651823739 291188736 2449 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284364

[startup+0.7003 s]
/proc/loadavg: 8.09 8.04 8.00 5/298 2073
/proc/meminfo: memFree=12810388/32950928 swapFree=67083212/67111528
[pid=2073] ppid=2071 vsize=286068 CPUtime=2.77 cores=1,3,5,7
/proc/2073/stat : 2073 (strangenight2-m) R 2071 2073 1603 0 -1 4202496 6077 0 0 0 276 1 0 0 25 0 4 0 651823739 292933632 2733 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294595 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2073/statm: 71517 2733 377 95 0 66499 0
[pid=2073/tid=2074] ppid=2071 vsize=286068 CPUtime=0.68 cores=1,3,5,7
/proc/2073/task/2074/stat : 2074 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 1437 0 0 0 68 0 0 0 25 0 4 0 651823739 292933632 2733 33554432000 4194304 4580107 140733869578608 18446744073709551615 4295831 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2073/tid=2075] ppid=2071 vsize=286068 CPUtime=0.68 cores=1,3,5,7
/proc/2073/task/2075/stat : 2075 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 1474 0 0 0 68 0 0 0 25 0 4 0 651823739 292933632 2733 33554432000 4194304 4580107 140733869578608 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2073/tid=2076] ppid=2071 vsize=286068 CPUtime=0.69 cores=1,3,5,7
/proc/2073/task/2076/stat : 2076 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 1320 0 0 0 69 0 0 0 25 0 4 0 651823739 292933632 2733 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 286068

[startup+1.50115 s]
/proc/loadavg: 8.09 8.04 8.00 9/302 2077
/proc/meminfo: memFree=12796900/32950928 swapFree=67083212/67111528
[pid=2073] ppid=2071 vsize=287328 CPUtime=5.97 cores=1,3,5,7
/proc/2073/stat : 2073 (strangenight2-m) R 2071 2073 1603 0 -1 4202496 11433 0 0 0 595 2 0 0 25 0 4 0 651823739 294223872 4896 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2073/statm: 71832 4896 379 95 0 66814 0
[pid=2073/tid=2074] ppid=2071 vsize=287328 CPUtime=1.48 cores=1,3,5,7
/proc/2073/task/2074/stat : 2074 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 2450 0 0 0 148 0 0 0 25 0 4 0 651823739 294223872 4896 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2073/tid=2075] ppid=2071 vsize=287328 CPUtime=1.48 cores=1,3,5,7
/proc/2073/task/2075/stat : 2075 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 2492 0 0 0 148 0 0 0 25 0 4 0 651823739 294223872 4896 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2073/tid=2076] ppid=2071 vsize=287328 CPUtime=1.49 cores=1,3,5,7
/proc/2073/task/2076/stat : 2076 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 2370 0 0 0 149 0 0 0 25 0 4 0 651823739 294223872 4896 33554432000 4194304 4580107 140733869578608 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 287328

[startup+3.10084 s]
/proc/loadavg: 8.09 8.04 8.00 9/302 2077
/proc/meminfo: memFree=12763544/32950928 swapFree=67083212/67111528
[pid=2073] ppid=2071 vsize=289060 CPUtime=12.35 cores=1,3,5,7
/proc/2073/stat : 2073 (strangenight2-m) R 2071 2073 1603 0 -1 4202496 23121 0 0 0 1231 4 0 0 25 0 4 0 651823739 295997440 12284 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2073/statm: 72265 12284 379 95 0 67247 0
[pid=2073/tid=2074] ppid=2071 vsize=289060 CPUtime=3.09 cores=1,3,5,7
/proc/2073/task/2074/stat : 2074 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 5064 0 0 0 308 1 0 0 25 0 4 0 651823739 295997440 12284 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294570 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2073/tid=2075] ppid=2071 vsize=289060 CPUtime=3.09 cores=1,3,5,7
/proc/2073/task/2075/stat : 2075 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 5824 0 0 0 308 1 0 0 25 0 4 0 651823739 295997440 12284 33554432000 4194304 4580107 140733869578608 18446744073709551615 4321207 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2073/tid=2076] ppid=2071 vsize=289060 CPUtime=3.09 cores=1,3,5,7
/proc/2073/task/2076/stat : 2076 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 5722 0 0 0 308 1 0 0 25 0 4 0 651823739 295997440 12285 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 289060

[startup+6.30023 s]
/proc/loadavg: 8.08 8.04 8.00 9/302 2077
/proc/meminfo: memFree=12705404/32950928 swapFree=67083212/67111528
[pid=2073] ppid=2071 vsize=304208 CPUtime=25.11 cores=1,3,5,7
/proc/2073/stat : 2073 (strangenight2-m) R 2071 2073 1603 0 -1 4202496 35323 0 0 0 2505 6 0 0 25 0 4 0 651823739 311508992 18480 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2073/statm: 76052 18490 379 95 0 71034 0
[pid=2073/tid=2074] ppid=2071 vsize=304208 CPUtime=6.28 cores=1,3,5,7
/proc/2073/task/2074/stat : 2074 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 8826 0 0 0 627 1 0 0 25 0 4 0 651823739 311508992 18494 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2073/tid=2075] ppid=2071 vsize=304208 CPUtime=6.28 cores=1,3,5,7
/proc/2073/task/2075/stat : 2075 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 8911 0 0 0 627 1 0 0 25 0 4 0 651823739 311508992 18499 33554432000 4194304 4580107 140733869578608 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2073/tid=2076] ppid=2071 vsize=304208 CPUtime=6.28 cores=1,3,5,7
/proc/2073/task/2076/stat : 2076 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 8271 0 0 0 627 1 0 0 25 0 4 0 651823739 311508992 18504 33554432000 4194304 4580107 140733869578608 18446744073709551615 4485991 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 304208

[startup+12.701 s]
/proc/loadavg: 8.07 8.04 8.00 9/302 2078
/proc/meminfo: memFree=12681484/32950928 swapFree=67083212/67111528
[pid=2073] ppid=2071 vsize=313356 CPUtime=50.65 cores=1,3,5,7
/proc/2073/stat : 2073 (strangenight2-m) R 2071 2073 1603 0 -1 4202496 53946 0 0 0 5055 10 0 0 25 0 4 0 651823739 320876544 22541 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2073/statm: 78339 22541 379 95 0 73321 0
[pid=2073/tid=2074] ppid=2071 vsize=313356 CPUtime=12.68 cores=1,3,5,7
/proc/2073/task/2074/stat : 2074 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 13905 0 0 0 1266 2 0 0 25 0 4 0 651823739 320876544 22541 33554432000 4194304 4580107 140733869578608 18446744073709551615 4321072 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2073/tid=2075] ppid=2071 vsize=313356 CPUtime=12.69 cores=1,3,5,7
/proc/2073/task/2075/stat : 2075 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 12728 0 0 0 1267 2 0 0 25 0 4 0 651823739 320876544 22541 33554432000 4194304 4580107 140733869578608 18446744073709551615 4321089 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2073/tid=2076] ppid=2071 vsize=313356 CPUtime=12.69 cores=1,3,5,7
/proc/2073/task/2076/stat : 2076 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 13751 0 0 0 1267 2 0 0 25 0 4 0 651823739 320876544 22541 33554432000 4194304 4580107 140733869578608 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 313356

[startup+25.5006 s]
/proc/loadavg: 8.13 8.05 8.00 9/302 2078
/proc/meminfo: memFree=12638588/32950928 swapFree=67083212/67111528
[pid=2073] ppid=2071 vsize=294688 CPUtime=101.73 cores=1,3,5,7
/proc/2073/stat : 2073 (strangenight2-m) R 2071 2073 1603 0 -1 4202496 82417 0 0 0 10154 19 0 0 25 0 4 0 651823739 301760512 32749 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2073/statm: 73672 32749 379 95 0 68654 0
[pid=2073/tid=2074] ppid=2071 vsize=294688 CPUtime=25.49 cores=1,3,5,7
/proc/2073/task/2074/stat : 2074 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 22203 0 0 0 2544 5 0 0 25 0 4 0 651823739 301760512 32749 33554432000 4194304 4580107 140733869578608 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2073/tid=2075] ppid=2071 vsize=294688 CPUtime=25.48 cores=1,3,5,7
/proc/2073/task/2075/stat : 2075 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 19585 0 0 0 2545 3 0 0 25 0 4 0 651823739 301760512 32749 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2073/tid=2076] ppid=2071 vsize=294688 CPUtime=25.48 cores=1,3,5,7
/proc/2073/task/2076/stat : 2076 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 20904 0 0 0 2543 5 0 0 25 0 4 0 651823739 301760512 32749 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 294688

[startup+51.1007 s]
/proc/loadavg: 8.08 8.05 8.00 9/302 2079
/proc/meminfo: memFree=12611476/32950928 swapFree=67083212/67111528
[pid=2073] ppid=2071 vsize=315360 CPUtime=203.89 cores=1,3,5,7
/proc/2073/stat : 2073 (strangenight2-m) R 2071 2073 1603 0 -1 4202496 119946 0 0 0 20359 30 0 0 25 0 4 0 651823739 322928640 38203 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2073/statm: 78840 38204 379 95 0 73822 0
[pid=2073/tid=2074] ppid=2071 vsize=315360 CPUtime=51.08 cores=1,3,5,7
/proc/2073/task/2074/stat : 2074 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 33250 0 0 0 5101 7 0 0 25 0 4 0 651823739 322928640 38204 33554432000 4194304 4580107 140733869578608 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2073/tid=2075] ppid=2071 vsize=315360 CPUtime=51.08 cores=1,3,5,7
/proc/2073/task/2075/stat : 2075 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 28362 0 0 0 5102 6 0 0 25 0 4 0 651823739 322928640 38204 33554432000 4194304 4580107 140733869578608 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2073/tid=2076] ppid=2071 vsize=315360 CPUtime=51.08 cores=1,3,5,7
/proc/2073/task/2076/stat : 2076 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 31131 0 0 0 5100 8 0 0 25 0 4 0 651823739 322928640 38204 33554432000 4194304 4580107 140733869578608 18446744073709551615 4342240 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.89
Current children cumulated vsize (KiB) 315360

[startup+102.301 s]
/proc/loadavg: 8.09 8.05 8.00 9/302 2080
/proc/meminfo: memFree=12581176/32950928 swapFree=67083212/67111528
[pid=2073] ppid=2071 vsize=382576 CPUtime=408.25 cores=1,3,5,7
/proc/2073/stat : 2073 (strangenight2-m) R 2071 2073 1603 0 -1 4202496 189746 0 0 0 40774 51 0 0 25 0 4 0 651823739 391757824 46718 33554432000 4194304 4580107 140733869578608 18446744073709551615 4416469 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2073/statm: 95644 46718 379 95 0 90626 0
[pid=2073/tid=2074] ppid=2071 vsize=382576 CPUtime=102.3 cores=1,3,5,7
/proc/2073/task/2074/stat : 2074 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 48586 0 0 0 10219 11 0 0 25 0 4 0 651823739 391757824 46723 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2073/tid=2075] ppid=2071 vsize=382576 CPUtime=102.29 cores=1,3,5,7
/proc/2073/task/2075/stat : 2075 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 44796 0 0 0 10217 12 0 0 25 0 4 0 651823739 391757824 46723 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2073/tid=2076] ppid=2071 vsize=382576 CPUtime=102.3 cores=1,3,5,7
/proc/2073/task/2076/stat : 2076 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 49873 0 0 0 10216 14 0 0 25 0 4 0 651823739 391757824 46723 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.25
Current children cumulated vsize (KiB) 382576

[startup+162.301 s]

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

[pid=2073] ppid=2071 vsize=707072 CPUtime=2802.71 cores=1,3,5,7
/proc/2073/stat : 2073 (strangenight2-m) R 2071 2073 1603 0 -1 4202496 630173 0 0 0 280025 246 0 0 25 0 4 0 651823739 724041728 103719 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2073/statm: 176768 103719 380 95 0 171750 0
[pid=2073/tid=2074] ppid=2071 vsize=707072 CPUtime=702.31 cores=1,3,5,7
/proc/2073/task/2074/stat : 2074 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 164017 0 0 0 70166 65 0 0 25 0 4 0 651823739 724041728 103719 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2073/tid=2075] ppid=2071 vsize=707072 CPUtime=702.31 cores=1,3,5,7
/proc/2073/task/2075/stat : 2075 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 153668 0 0 0 70170 61 0 0 25 0 4 0 651823739 724041728 103719 33554432000 4194304 4580107 140733869578608 18446744073709551615 4331967 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2073/tid=2076] ppid=2071 vsize=707072 CPUtime=702.31 cores=1,3,5,7
/proc/2073/task/2076/stat : 2076 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 170586 0 0 0 70165 66 0 0 25 0 4 0 651823739 724041728 103719 33554432000 4194304 4580107 140733869578608 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2802.71
Current children cumulated vsize (KiB) 707072

[startup+762.301 s]
/proc/loadavg: 8.19 8.13 8.05 9/302 2098
/proc/meminfo: memFree=12133996/32950928 swapFree=67083212/67111528
[pid=2073] ppid=2071 vsize=653016 CPUtime=3042.14 cores=1,3,5,7
/proc/2073/stat : 2073 (strangenight2-m) R 2071 2073 1603 0 -1 4202496 661573 0 0 0 303952 262 0 0 25 0 4 0 651823739 668688384 112707 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294440 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2073/statm: 163254 112707 380 95 0 158236 0
[pid=2073/tid=2074] ppid=2071 vsize=653016 CPUtime=762.33 cores=1,3,5,7
/proc/2073/task/2074/stat : 2074 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 172896 0 0 0 76164 69 0 0 25 0 4 0 651823739 668688384 112709 33554432000 4194304 4580107 140733869578608 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2073/tid=2075] ppid=2071 vsize=653016 CPUtime=762.32 cores=1,3,5,7
/proc/2073/task/2075/stat : 2075 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 162639 0 0 0 76166 66 0 0 25 0 4 0 651823739 668688384 112709 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2073/tid=2076] ppid=2071 vsize=653016 CPUtime=762.32 cores=1,3,5,7
/proc/2073/task/2076/stat : 2076 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 178287 0 0 0 76164 68 0 0 25 0 4 0 651823739 668688384 112709 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3042.14
Current children cumulated vsize (KiB) 653016

[startup+822.301 s]
/proc/loadavg: 8.18 8.14 8.05 9/302 2099
/proc/meminfo: memFree=12094916/32950928 swapFree=67083212/67111528
[pid=2073] ppid=2071 vsize=714384 CPUtime=3281.58 cores=1,3,5,7
/proc/2073/stat : 2073 (strangenight2-m) R 2071 2073 1603 0 -1 4202496 690352 0 0 0 327883 275 0 0 25 0 4 0 651823739 731529216 122450 33554432000 4194304 4580107 140733869578608 18446744073709551615 4293216 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2073/statm: 178596 122450 380 95 0 173578 0
[pid=2073/tid=2074] ppid=2071 vsize=714384 CPUtime=822.31 cores=1,3,5,7
/proc/2073/task/2074/stat : 2074 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 180899 0 0 0 82159 72 0 0 25 0 4 0 651823739 731529216 122450 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2073/tid=2075] ppid=2071 vsize=714384 CPUtime=822.31 cores=1,3,5,7
/proc/2073/task/2075/stat : 2075 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 169430 0 0 0 82163 68 0 0 25 0 4 0 651823739 731529216 122450 33554432000 4194304 4580107 140733869578608 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2073/tid=2076] ppid=2071 vsize=714384 CPUtime=822.31 cores=1,3,5,7
/proc/2073/task/2076/stat : 2076 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 186006 0 0 0 82159 72 0 0 25 0 4 0 651823739 731529216 122450 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3281.58
Current children cumulated vsize (KiB) 714384

[startup+882.312 s]
/proc/loadavg: 8.16 8.14 8.06 9/302 2101
/proc/meminfo: memFree=12037736/32950928 swapFree=67083212/67111528
[pid=2073] ppid=2071 vsize=756432 CPUtime=3521.06 cores=1,3,5,7
/proc/2073/stat : 2073 (strangenight2-m) R 2071 2073 1603 0 -1 4202496 722513 0 0 0 351815 291 0 0 25 0 4 0 651823739 774586368 116987 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2073/statm: 189108 116987 380 95 0 184090 0
[pid=2073/tid=2074] ppid=2071 vsize=756432 CPUtime=882.33 cores=1,3,5,7
/proc/2073/task/2074/stat : 2074 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 190712 0 0 0 88156 77 0 0 25 0 4 0 651823739 774586368 116987 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2073/tid=2075] ppid=2071 vsize=756432 CPUtime=882.32 cores=1,3,5,7
/proc/2073/task/2075/stat : 2075 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 178840 0 0 0 88160 72 0 0 25 0 4 0 651823739 774586368 116987 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2073/tid=2076] ppid=2071 vsize=756432 CPUtime=882.32 cores=1,3,5,7
/proc/2073/task/2076/stat : 2076 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 193955 0 0 0 88156 76 0 0 25 0 4 0 651823739 774586368 116987 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3521.06
Current children cumulated vsize (KiB) 756432

[startup+942.301 s]
/proc/loadavg: 5.70 7.45 7.82 5/293 2120
/proc/meminfo: memFree=12627824/32950928 swapFree=67083212/67111528
[pid=2073] ppid=2071 vsize=879516 CPUtime=3760.45 cores=1,3,5,7
/proc/2073/stat : 2073 (strangenight2-m) R 2071 2073 1603 0 -1 4202496 744482 0 0 0 375741 304 0 0 25 0 4 0 651823739 900624384 126278 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2073/statm: 219879 126278 380 95 0 214861 0
[pid=2073/tid=2074] ppid=2071 vsize=879516 CPUtime=942.32 cores=1,3,5,7
/proc/2073/task/2074/stat : 2074 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 195717 0 0 0 94153 79 0 0 25 0 4 0 651823739 900624384 126278 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2073/tid=2075] ppid=2071 vsize=879516 CPUtime=942.31 cores=1,3,5,7
/proc/2073/task/2075/stat : 2075 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 185078 0 0 0 94155 76 0 0 25 0 4 0 651823739 900624384 126278 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2073/tid=2076] ppid=2071 vsize=879516 CPUtime=942.31 cores=1,3,5,7
/proc/2073/task/2076/stat : 2076 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 200722 0 0 0 94150 81 0 0 25 0 4 0 651823739 900624384 126278 33554432000 4194304 4580107 140733869578608 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3760.45
Current children cumulated vsize (KiB) 879516

[startup+1002.3 s]
/proc/loadavg: 4.66 6.84 7.59 5/293 2122
/proc/meminfo: memFree=12616160/32950928 swapFree=67083212/67111528
[pid=2073] ppid=2071 vsize=653384 CPUtime=3999.91 cores=1,3,5,7
/proc/2073/stat : 2073 (strangenight2-m) R 2071 2073 1603 0 -1 4202496 769312 0 0 0 399672 319 0 0 25 0 4 0 651823739 669065216 129097 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2073/statm: 163346 129097 380 95 0 158328 0
[pid=2073/tid=2074] ppid=2071 vsize=653384 CPUtime=1002.32 cores=1,3,5,7
/proc/2073/task/2074/stat : 2074 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 203461 0 0 0 100148 84 0 0 25 0 4 0 651823739 669065216 129097 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294418 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2073/tid=2075] ppid=2071 vsize=653384 CPUtime=1002.32 cores=1,3,5,7
/proc/2073/task/2075/stat : 2075 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 193590 0 0 0 100152 80 0 0 25 0 4 0 651823739 669065216 129097 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2073/tid=2076] ppid=2071 vsize=653384 CPUtime=1002.32 cores=1,3,5,7
/proc/2073/task/2076/stat : 2076 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 202170 0 0 0 100149 83 0 0 25 0 4 0 651823739 669065216 129097 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294440 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3999.91
Current children cumulated vsize (KiB) 653384

[startup+1062.3 s]
/proc/loadavg: 4.24 6.32 7.36 5/293 2133
/proc/meminfo: memFree=12632244/32950928 swapFree=67083212/67111528
[pid=2073] ppid=2071 vsize=651992 CPUtime=4239.38 cores=1,3,5,7
/proc/2073/stat : 2073 (strangenight2-m) R 2071 2073 1603 0 -1 4202496 794292 0 0 0 423606 332 0 0 25 0 4 0 651823739 667639808 125206 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2073/statm: 162998 125206 380 95 0 157980 0
[pid=2073/tid=2074] ppid=2071 vsize=651992 CPUtime=1062.32 cores=1,3,5,7
/proc/2073/task/2074/stat : 2074 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 211674 0 0 0 106144 88 0 0 25 0 4 0 651823739 667639808 125206 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2073/tid=2075] ppid=2071 vsize=651992 CPUtime=1062.32 cores=1,3,5,7
/proc/2073/task/2075/stat : 2075 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 199123 0 0 0 106149 83 0 0 25 0 4 0 651823739 667639808 125206 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2073/tid=2076] ppid=2071 vsize=651992 CPUtime=1062.32 cores=1,3,5,7
/proc/2073/task/2076/stat : 2076 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 209461 0 0 0 106146 86 0 0 25 0 4 0 651823739 667639808 125206 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4239.38
Current children cumulated vsize (KiB) 651992

[startup+1122.3 s]
/proc/loadavg: 4.13 5.91 7.15 5/293 2134
/proc/meminfo: memFree=12649836/32950928 swapFree=67083212/67111528
[pid=2073] ppid=2071 vsize=652208 CPUtime=4478.84 cores=1,3,5,7
/proc/2073/stat : 2073 (strangenight2-m) R 2071 2073 1603 0 -1 4202496 822991 0 0 0 447539 345 0 0 25 0 4 0 651823739 667860992 120665 33554432000 4194304 4580107 140733869578608 18446744073709551615 4295723 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2073/statm: 163052 120665 380 95 0 158034 0
[pid=2073/tid=2074] ppid=2071 vsize=652208 CPUtime=1122.32 cores=1,3,5,7
/proc/2073/task/2074/stat : 2074 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 220592 0 0 0 112141 91 0 0 25 0 4 0 651823739 667860992 120665 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2073/tid=2075] ppid=2071 vsize=652208 CPUtime=1122.32 cores=1,3,5,7
/proc/2073/task/2075/stat : 2075 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 205401 0 0 0 112146 86 0 0 25 0 4 0 651823739 667860992 120665 33554432000 4194304 4580107 140733869578608 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2073/tid=2076] ppid=2071 vsize=652208 CPUtime=1122.32 cores=1,3,5,7
/proc/2073/task/2076/stat : 2076 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 217655 0 0 0 112142 90 0 0 25 0 4 0 651823739 667860992 120665 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4478.84
Current children cumulated vsize (KiB) 652208

[startup+1182.3 s]
/proc/loadavg: 4.08 5.57 6.96 5/293 2136
/proc/meminfo: memFree=12598616/32950928 swapFree=67083212/67111528
[pid=2073] ppid=2071 vsize=718404 CPUtime=4718.3 cores=1,3,5,7
/proc/2073/stat : 2073 (strangenight2-m) R 2071 2073 1603 0 -1 4202496 850426 0 0 0 471469 361 0 0 25 0 4 0 651823739 735645696 133617 33554432000 4194304 4580107 140733869578608 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2073/statm: 179601 133617 380 95 0 174583 0
[pid=2073/tid=2074] ppid=2071 vsize=718404 CPUtime=1182.32 cores=1,3,5,7
/proc/2073/task/2074/stat : 2074 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 229140 0 0 0 118136 96 0 0 25 0 4 0 651823739 735645696 133617 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2073/tid=2075] ppid=2071 vsize=718404 CPUtime=1182.33 cores=1,3,5,7
/proc/2073/task/2075/stat : 2075 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 211438 0 0 0 118143 90 0 0 25 0 4 0 651823739 735645696 133617 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2073/tid=2076] ppid=2071 vsize=718404 CPUtime=1182.32 cores=1,3,5,7
/proc/2073/task/2076/stat : 2076 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 225219 0 0 0 118137 95 0 0 25 0 4 0 651823739 735645696 133617 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4718.3
Current children cumulated vsize (KiB) 718404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 4.13 5.48 6.90 5/293 2138
/proc/meminfo: memFree=12561900/32950928 swapFree=67083212/67111528
[pid=2073] ppid=2071 vsize=801908 CPUtime=4800.11 cores=1,3,5,7
/proc/2073/stat : 2073 (strangenight2-m) R 2071 2073 1603 0 -1 4202496 859361 0 0 0 479646 365 0 0 25 0 4 0 651823739 821153792 142552 33554432000 4194304 4580107 140733869578608 18446744073709551615 4406340 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2073/statm: 200477 142552 380 95 0 195459 0
[pid=2073/tid=2074] ppid=2071 vsize=801908 CPUtime=1202.84 cores=1,3,5,7
/proc/2073/task/2074/stat : 2074 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 230357 0 0 0 120186 98 0 0 25 0 4 0 651823739 821153792 142553 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2073/tid=2075] ppid=2071 vsize=801908 CPUtime=1202.84 cores=1,3,5,7
/proc/2073/task/2075/stat : 2075 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 217798 0 0 0 120193 91 0 0 25 0 4 0 651823739 821153792 142553 33554432000 4194304 4580107 140733869578608 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2073/tid=2076] ppid=2071 vsize=801908 CPUtime=1202.83 cores=1,3,5,7
/proc/2073/task/2076/stat : 2076 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 226578 0 0 0 120186 97 0 0 25 0 4 0 651823739 821153792 142553 33554432000 4194304 4580107 140733869578608 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 801908

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

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

[startup+1202.8 s]
/proc/loadavg: 4.13 5.48 6.90 5/293 2138
/proc/meminfo: memFree=12561900/32950928 swapFree=67083212/67111528
[pid=2073] ppid=2071 vsize=801908 CPUtime=4800.11 cores=1,3,5,7
/proc/2073/stat : 2073 (strangenight2-m) R 2071 2073 1603 0 -1 4202496 859361 0 0 0 479646 365 0 0 25 0 4 0 651823739 821153792 142552 33554432000 4194304 4580107 140733869578608 18446744073709551615 4406340 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/2073/statm: 200477 142552 380 95 0 195459 0
[pid=2073/tid=2074] ppid=2071 vsize=801908 CPUtime=1202.84 cores=1,3,5,7
/proc/2073/task/2074/stat : 2074 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 230357 0 0 0 120186 98 0 0 25 0 4 0 651823739 821153792 142553 33554432000 4194304 4580107 140733869578608 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2073/tid=2075] ppid=2071 vsize=801908 CPUtime=1202.84 cores=1,3,5,7
/proc/2073/task/2075/stat : 2075 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 217798 0 0 0 120193 91 0 0 25 0 4 0 651823739 821153792 142553 33554432000 4194304 4580107 140733869578608 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2073/tid=2076] ppid=2071 vsize=801908 CPUtime=1202.83 cores=1,3,5,7
/proc/2073/task/2076/stat : 2076 (strangenight2-m) R 2071 2073 1603 0 -1 4202560 226578 0 0 0 120186 97 0 0 25 0 4 0 651823739 821153792 142553 33554432000 4194304 4580107 140733869578608 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 801908

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.84
CPU time (s): 4800.2
CPU user time (s): 4796.51
CPU system time (s): 3.68644
CPU usage (%): 399.071
Max. virtual memory (cumulated for all children) (KiB): 936612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.51
system time used= 3.68644
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 859362
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= 372
involuntary context switches= 32100

runsolver used 2.99154 second user time and 8.26474 second system time

The end

Launcher Data 

Begin job on node127 at 2011-05-14 21:44:01
IDJOB=3366352
IDBENCH=82761
IDSOLVER=1844
FILE ID=node127/3366352-1305402241
RUNJOBID= node127-1305400722-1919
PBS_JOBID= 13324449
Free space on /tmp= 73472 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v150-c3195-S1579607106-017.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366352-1305402241/watcher-3366352-1305402241 -o /tmp/evaluation-result-3366352-1305402241/solver-3366352-1305402241 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366352-1305402241.cnf

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

MD5SUM BENCH= 7790a3f63c0c8a2b2a87d89aa5f80b99
RANDOM SEED=1680870334

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
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.823
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.823
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.86
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.823
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.823
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.823
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.60
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.823
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:     32950928 kB
MemFree:      12810668 kB
Buffers:        288204 kB
Cached:        3364820 kB
SwapCached:       1620 kB
Active:       17136820 kB
Inactive:      2666968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      12810668 kB
SwapTotal:    67111528 kB
SwapFree:     67083212 kB
Dirty:            5524 kB
Writeback:          24 kB
AnonPages:    16149144 kB
Mapped:          26608 kB
Slab:           226096 kB
PageTables:      47436 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 44726276 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= 73472 MiB
End job on node127 at 2011-05-14 22:04:06