Trace number 3366306

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.46 1202.84

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v175-c3727-S520872997-084.SATISFIABLE.cnf
MD5SUMb9af20624ed5bd46fea8950d0fddc198
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.18797
Satisfiable
(Un)Satisfiability was proved
Number of variables175
Number of clauses3727
Sum of the clauses size18635
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 53727
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 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-3366306-1305401355.cnf'
0.00/0.01	c -- header says num vars:            175
0.00/0.01	c -- header says num clauses:        3727
0.00/0.01	c -- clauses added:            0 learnts,         3727 normals,            0 xors
0.00/0.01	c -- vars added        175
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       175      3727         0         0     18635         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/3727/3727 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:    175 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.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.03	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.03	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.03	c calculated reachability. Time: 0.00
0.00/0.03	c Calc default polars -  time:   0.00 s pos:      85 undec:       5 neg:      85
0.00/0.03	c =========================================================================================
0.00/0.03	c types(t): F = full restart, N = normal restart
0.00/0.03	c types(t): S = simplification begin/end, E = solution found
0.00/0.03	c restart types(rt): st = static, dy = dynamic
0.00/0.03	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.03	c  B st     0         0       175      3727         0         0     18635         0   no data   no data
0.15/0.08	c Decided on static restart strategy
0.37/0.16	c  N st     8      4913       175      3727         0      4735     18635    159360   no data   no data
1.17/0.38	c  N st    10     11296       175      3727         0      4367     18635    110781   no data   no data
2.37/0.62	c  N st    11     17040       175      3727         0      9832     18635    297870   no data   no data
3.99/1.01	c  F st    12     25004       175      3727         0     12077     18635    360917   no data   no data
3.99/1.01	c  N st    12     25004       175      3727         0     12077     18635    360917   no data   no data
4.76/1.22	c Decided on static restart strategy
4.76/1.22	c  N st    18     30000       175      3727         0     10378     18635    297277   no data   no data
4.76/1.22	c  S st    18     30000       175      3727         0     10378     18635    297277   no data   no data
4.76/1.25	c  S st    18     30504       175      3727         0     10871     18635    313572   no data   no data
4.76/1.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.76/1.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.76/1.25	c blocked clauses removed:        0 vars:      0 tried:         175 T: 0.00 s
4.76/1.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.76/1.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.76/1.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
4.76/1.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.76/1.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.76/1.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.46	c lits-rem:       226  cl-subs:      997  v-elim:      0  v-fix:    0  time:  0.19 s
5.96/1.50	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.04
5.96/1.50	c calculated reachability. Time: 0.00
5.96/1.50	c  N st    18     30504       175      3727         0      9874     18635    274660   no data   no data
7.16/1.85	c  N st    20     37616       175      3727         0      9125     18635    232680   no data   no data
8.79/2.22	c  N st    21     44016       175      3727         0     15275     18635    447901   no data   no data
9.15/2.31	c  S st    22     45758       175      3727         0     16954     18635    507119   no data   no data
9.15/2.36	c  S st    22     46262       175      3727         0      8863     18635    195774   no data   no data
9.15/2.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.15/2.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.15/2.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.15/2.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.15/2.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.15/2.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
9.15/2.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.15/2.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.15/2.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.15/2.39	c lits-rem:        17  cl-subs:       93  v-elim:      0  v-fix:    0  time:  0.02 s
9.15/2.39	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
9.55/2.40	c vivif2 --  cl tried     8770 cl shrink        0 lits rem          0 time: 0.00
9.55/2.44	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.04
9.55/2.44	c calculated reachability. Time: 0.00
9.55/2.44	c  N st    22     46262       175      3727         0      8770     18635    191954   no data   no data
12.77/3.23	c  N st    23     60659       175      3727         0     13040     18635    325913   no data   no data
15.14/3.87	c  N st    24     69394       175      3727         0     10879     18635    228209   no data   no data
15.14/3.87	c  S st    24     69394       175      3727         0     10879     18635    228209   no data   no data
15.54/3.91	c  S st    24     69897       175      3727         0     11372     18635    244796   no data   no data
15.54/3.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.54/3.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.54/3.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.54/3.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.54/3.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.54/3.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
15.54/3.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.54/3.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.54/3.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.54/3.97	c lits-rem:        81  cl-subs:      159  v-elim:      0  v-fix:    0  time:  0.04 s
15.54/3.97	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
15.54/3.97	c vivif2 --  cl tried    11213 cl shrink        0 lits rem          0 time: 0.00
15.94/4.03	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.05
15.94/4.03	c calculated reachability. Time: 0.00
15.94/4.03	c  N st    24     69897       175      3727         0     11213     18635    238491   no data   no data
20.73/5.27	c  F st    25     87501       175      3727         0     16502     18635    405876   no data   no data
20.73/5.28	c  N st    25     87501       175      3727         0     16502     18635    405876   no data   no data
22.32/5.64	c Decided on static restart strategy
23.13/5.87	c  N st    32     95549       175      3727         0     24218     18635    666358   no data   no data
25.94/6.51	c  N st    34    104845       175      3727         0     20677     18635    531966   no data   no data
25.94/6.51	c  S st    34    104845       175      3727         0     20677     18635    531966   no data   no data
25.94/6.56	c  S st    34    105348       175      3727         0     21168     18635    547996   no data   no data
25.94/6.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.94/6.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
25.94/6.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.94/6.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.94/6.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.94/6.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
25.94/6.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.94/6.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
25.94/6.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.91/7.08	c lits-rem:       177  cl-subs:     1328  v-elim:      0  v-fix:    0  time:  0.48 s
27.91/7.08	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
27.91/7.08	c vivif2 --  cl tried    19840 cl shrink        0 lits rem          0 time: 0.01
28.31/7.17	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.08
28.31/7.17	c calculated reachability. Time: 0.00
28.31/7.17	c  N st    34    105348       175      3727         0     19840     18635    499433   no data   no data
31.10/7.88	c  N st    35    114946       175      3727         0     15639     18635    353489   no data   no data
35.90/9.06	c  N st    36    129345       175      3727         0     15078     18635    303746   no data   no data
42.68/10.73	c  N st    37    150941       175      3727         0     20486     18635    462286   no data   no data
44.68/11.25	c  S st    38    158023       175      3727         0     27274     18635    695921   no data   no data
45.08/11.32	c  S st    38    158527       175      3727         0     27772     18635    712735   no data   no data
45.08/11.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.08/11.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
45.08/11.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45.08/11.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.08/11.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.08/11.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
45.08/11.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.08/11.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
45.08/11.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.06/12.30	c lits-rem:       555  cl-subs:     1627  v-elim:      0  v-fix:    0  time:  0.94 s
49.06/12.30	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
49.06/12.31	c vivif2 --  cl tried    26145 cl shrink        0 lits rem          0 time: 0.01
49.46/12.43	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.12
49.46/12.43	c calculated reachability. Time: 0.00
49.46/12.43	c  N st    38    158527       175      3727         0     26145     18635    651455   no data   no data
67.02/16.85	c  N st    39    207115       175      3727         0     20929     18635    419160   no data   no data
79.80/20.00	c  N st    40    237790       175      3727         0     31135     18635    761379   no data   no data
79.80/20.00	c  S st    40    237790       175      3727         0     31135     18635    761379   no data   no data
80.20/20.10	c  S st    40    238295       175      3727         0     31631     18635    778074   no data   no data
80.20/20.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
80.20/20.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.02
80.20/20.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
80.20/20.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
80.20/20.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
80.20/20.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
80.20/20.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
80.20/20.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
80.20/20.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.59/21.76	c lits-rem:       533  cl-subs:     1777  v-elim:      0  v-fix:    0  time:  1.61 s
86.59/21.76	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
86.59/21.77	c vivif2 --  cl tried    29854 cl shrink        0 lits rem          0 time: 0.01
87.40/21.92	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.14
87.40/21.92	c calculated reachability. Time: 0.00
87.40/21.92	c  N st    40    238295       175      3727         0     29854     18635    712706   no data   no data
115.72/29.07	c  F st    41    306250       175      3727         0     31665     18635    719044   no data   no data
115.72/29.07	c  N st    41    306250       175      3727         0     31665     18635    719044   no data   no data
118.14/29.64	c Decided on static restart strategy
127.34/31.96	c  N st    51    334554       175      3727         0     35871     18635    829313   no data   no data
137.28/34.45	c  N st    53    357442       175      3727         0     33892     18635    730423   no data   no data
137.28/34.45	c  S st    53    357442       175      3727         0     33892     18635    730423   no data   no data
137.68/34.54	c  S st    53    357945       175      3727         0     34389     18635    746922   no data   no data
137.68/34.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
137.68/34.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
137.68/34.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
137.68/34.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
137.68/34.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
137.68/34.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
137.68/34.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
137.68/34.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
137.68/34.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
141.27/35.46	c lits-rem:       385  cl-subs:     1520  v-elim:      0  v-fix:    0  time:  0.87 s
141.27/35.46	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
141.27/35.46	c vivif2 --  cl tried    32869 cl shrink        0 lits rem          0 time: 0.01
142.07/35.62	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.15
142.07/35.62	c calculated reachability. Time: 0.00
142.07/35.62	c  N st    53    357945       175      3727         0     32869     18635    690831   no data   no data
157.24/39.41	c  N st    54    390337       175      3727         0     38807     18635    880134   no data   no data
183.58/46.10	c  N st    55    438927       175      3727         0     32708     18635    642830   no data   no data
222.70/55.83	c  N st    56    511812       175      3727         0     45984     18635   1067501   no data   no data
236.28/59.24	c  N st    57    536919       175      3727         0     40445     18635    845995   no data   no data
236.28/59.24	c  S st    57    536919       175      3727         0     40445     18635    845995   no data   no data
236.69/59.35	c  S st    57    537422       175      3727         0     40933     18635    861987   no data   no data
236.69/59.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
236.69/59.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
236.69/59.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
236.69/59.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
236.69/59.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
236.69/59.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
236.69/59.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
236.69/59.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
236.69/59.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
242.25/60.73	c lits-rem:       748  cl-subs:     1653  v-elim:      0  v-fix:    0  time:  1.34 s
242.25/60.74	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
242.25/60.75	c vivif2 --  cl tried    39280 cl shrink        0 lits rem          0 time: 0.01
243.05/60.94	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.20
243.05/60.95	c calculated reachability. Time: 0.00
243.05/60.95	c  N st    57    537422       175      3727         0     39280     18635    798992   no data   no data
338.44/84.82	c  N st    58    701406       175      3727         0     67625     18635   1722154   no data   no data
407.10/102.09	c  N st    59    806134       175      3727         0     61777     18635   1455381   no data   no data
407.10/102.09	c  S st    59    806134       175      3727         0     61777     18635   1455381   no data   no data
407.92/102.26	c  S st    59    806636       175      3727         0     62274     18635   1471650   no data   no data
407.92/102.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
407.92/102.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
407.92/102.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
407.92/102.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
407.92/102.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
407.92/102.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
407.92/102.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
408.32/102.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
408.32/102.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
443.03/111.04	c lits-rem:      2049  cl-subs:     4601  v-elim:      0  v-fix:    0  time:  8.69 s
443.03/111.04	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
443.03/111.06	c vivif2 --  cl tried    57673 cl shrink        0 lits rem          0 time: 0.02
444.21/111.36	c asymm  cl-useful: 0/3129/3727 lits-rem:0 time: 0.30
444.21/111.36	c calculated reachability. Time: 0.00
444.21/111.36	c  N st    59    806636       175      3727         0     57673     18635   1305280   no data   no data
632.98/158.65	c  F st    60   1071876       175      3727         0     73232     18635   1750116   no data   no data
632.98/158.65	c  N st    60   1071876       175      3727         0     73232     18635   1750116   no data   no data
638.17/159.93	c Decided on static restart strategy
654.94/164.18	c  N st    70   1100187       175      3727         0     57533     18635   1135915   no data   no data
682.48/171.09	c  N st    72   1136180       175      3727         0     48064     18635    785940   no data   no data
710.01/177.98	c  N st    73   1168572       175      3727         0     78877     18635   1841993   no data   no data
754.74/189.16	c  N st    74   1209954       175      3727         0     73450     18635   1602580   no data   no data
754.74/189.16	c  S st    74   1209954       175      3727         0     73450     18635   1602580   no data   no data
755.91/189.42	c  S st    74   1210459       175      3727         0     73947     18635   1618883   no data   no data
755.91/189.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
755.91/189.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
755.91/189.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
755.91/189.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
755.91/189.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
755.91/189.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
755.91/189.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
755.91/189.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
756.31/189.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
795.42/199.37	c lits-rem:      1013  cl-subs:     5377  v-elim:      0  v-fix:    0  time:  9.84 s
795.42/199.37	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
795.42/199.39	c vivif2 --  cl tried    68570 cl shrink        0 lits rem          0 time: 0.02
795.82/199.47	c asymm  cl-useful: 0/598/3727 lits-rem:0 time: 0.08
795.82/199.47	c calculated reachability. Time: 0.00
795.82/199.47	c  N st    74   1210459       175      3727         0     68570     18635   1435943   no data   no data
872.85/218.79	c  N st    75   1283342       175      3727         0     92554     18635   2349940   no data   no data
983.43/246.45	c  N st    76   1392666       175      3727         0     53713     18635    867150   no data   no data
1125.87/282.13	c  N st    77   1556652       175      3727         0     58523     18635    973402   no data   no data
1267.56/317.64	c  N st    78   1710459       175      3727         0     99051     18635   2364923   no data   no data
1267.56/317.64	c  S st    78   1710459       175      3727         0     99051     18635   2364923   no data   no data
1268.79/317.93	c  S st    78   1710962       175      3727         0     99546     18635   2381594   no data   no data
1268.79/317.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1268.79/317.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1268.79/317.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1268.79/317.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1268.79/317.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1268.79/317.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
1268.79/317.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1269.15/318.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1269.15/318.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1369.35/343.20	c lits-rem:      4671  cl-subs:     7912  v-elim:      0  v-fix:    0  time: 25.12 s
1369.35/343.20	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
1369.76/343.23	c vivif2 --  cl tried    91634 cl shrink        0 lits rem          0 time: 0.03
1370.93/343.59	c asymm  cl-useful: 0/2105/3727 lits-rem:0 time: 0.37
1371.33/343.60	c calculated reachability. Time: 0.00
1371.33/343.60	c  N st    78   1710962       175      3727         0     91634     18635   2101375   no data   no data
1783.61/446.91	c  N st    79   2079926       175      3727         0    103053     18635   2355662   no data   no data
1911.73/479.08	c  N st    80   2210963       175      3727         0    107331     18635   2498845   no data   no data
1911.73/479.08	c  S st    80   2210963       175      3727         0    107331     18635   2498845   no data   no data
1913.33/479.40	c  S st    80   2211464       175      3727         0    107827     18635   2515426   no data   no data
1913.33/479.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1913.33/479.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1913.33/479.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1913.33/479.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1913.33/479.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1913.33/479.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
1913.33/479.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1913.33/479.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1913.74/479.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2027.88/508.13	c lits-rem:      3207  cl-subs:     8298  v-elim:      0  v-fix:    0  time: 28.55 s
2027.88/508.13	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
2027.88/508.16	c vivif2 --  cl tried    99529 cl shrink        0 lits rem          0 time: 0.03
2029.45/508.51	c asymm  cl-useful: 0/1622/3727 lits-rem:0 time: 0.35
2029.45/508.51	c calculated reachability. Time: 0.00
2029.45/508.51	c  N st    80   2211464       175      3727         0     99529     18635   2210889   no data   no data
2596.57/650.61	c  N st    81   2711464       175      3727         0    122282     18635   2829606   no data   no data
2596.57/650.61	c  S st    81   2711464       175      3727         0    122282     18635   2829606   no data   no data
2597.77/650.99	c  S st    81   2711965       175      3727         0    122777     18635   2845498   no data   no data
2598.17/651.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2598.17/651.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2598.17/651.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2598.17/651.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2598.17/651.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2598.17/651.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
2598.17/651.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2598.17/651.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2598.59/651.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2763.79/692.55	c lits-rem:      2851  cl-subs:    10595  v-elim:      0  v-fix:    0  time: 41.37 s
2763.79/692.55	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
2763.79/692.59	c vivif2 --  cl tried   112182 cl shrink        0 lits rem          0 time: 0.03
2765.41/692.98	c asymm  cl-useful: 0/1704/3727 lits-rem:0 time: 0.39
2765.41/692.98	c calculated reachability. Time: 0.00
2765.41/692.98	c  N st    81   2711965       175      3727         0    112182     18635   2476697   no data   no data
3448.24/864.01	c  N st    82   3211965       175      3727         0     88861     18635   1504493   no data   no data
3448.24/864.01	c  S st    82   3211965       175      3727         0     88861     18635   1504493   no data   no data
3449.44/864.34	c  S st    82   3212469       175      3727         0     89360     18635   1521086   no data   no data
3449.44/864.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3449.84/864.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.05
3449.84/864.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3449.84/864.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3449.84/864.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3449.84/864.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
3449.84/864.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3449.84/864.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3449.84/864.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3470.99/869.75	c lits-rem:       535  cl-subs:     3019  v-elim:      0  v-fix:    0  time:  5.27 s
3470.99/869.75	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
3470.99/869.77	c vivif2 --  cl tried    86341 cl shrink        0 lits rem          0 time: 0.02
3472.62/870.13	c asymm  cl-useful: 0/1998/3727 lits-rem:0 time: 0.36
3472.62/870.13	c calculated reachability. Time: 0.00
3472.62/870.13	c  N st    82   3212469       175      3727         0     86341     18635   1424207   no data   no data
4200.54/1052.60	c  N st    83   3712470       175      3727         0     97156     18635   1653315   no data   no data
4200.54/1052.60	c  S st    83   3712470       175      3727         0     97156     18635   1653315   no data   no data
4201.73/1052.88	c  S st    83   3712977       175      3727         0     97651     18635   1670380   no data   no data
4201.73/1052.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4202.13/1052.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
4202.13/1052.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4202.13/1052.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4202.13/1052.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4202.13/1052.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
4202.13/1052.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4202.13/1052.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4202.53/1053.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4228.87/1059.63	c lits-rem:       565  cl-subs:     3837  v-elim:      0  v-fix:    0  time:  6.63 s
4228.87/1059.64	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
4228.87/1059.66	c vivif2 --  cl tried    93814 cl shrink        0 lits rem          0 time: 0.03
4230.87/1060.15	c asymm  cl-useful: 0/2050/3727 lits-rem:0 time: 0.49
4230.87/1060.16	c calculated reachability. Time: 0.00
4230.87/1060.16	c  N st    83   3712977       175      3727         0     93814     18635   1548156   no data   no data
4288.34/1074.60	c  F st    84   3751562       175      3727         0    130493     18635   2835435   no data   no data
4288.34/1074.60	c  N st    84   3751562       175      3727         0    130493     18635   2835435   no data   no data
4297.12/1076.71	c Decided on static restart strategy
4331.84/1085.40	c  N st    94   3779869       175      3727         0    157563     18635   3775962   no data   no data
4376.14/1096.56	c  N st    96   3815864       175      3727         0    111352     18635   2137781   no data   no data
4432.81/1110.70	c  N st    97   3848256       175      3727         0    142207     18635   3190981   no data   no data
4500.66/1127.78	c  N st    98   3896844       175      3727         0    106742     18635   1966375   no data   no data
4608.01/1154.61	c  N st    99   3969727       175      3727         0     93306     18635   1469486   no data   no data
4762.88/1193.46	c  N st   100   4079052       175      3727         0    113522     18635   2182851   no data   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

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

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

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


[startup+0 s]
/proc/loadavg: 6.88 7.91 7.92 2/274 18636
/proc/meminfo: memFree=25095340/32951124 swapFree=67057896/67111528
[pid=18636] ppid=18634 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18636/stat : 18636 (strangenight2-m) R 18634 18636 18306 0 -1 4202496 407 0 0 0 0 0 0 0 23 0 4 0 632550833 52396032 348 33554432000 4194304 4580107 140736468573312 18446744073709551615 47552831047600 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18636/statm: 12792 348 299 95 0 7774 0
[pid=18636/tid=18638] ppid=18634 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18636/task/18638/stat : 18638 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 632550834 52396032 348 33554432000 4194304 4580107 140736468573312 18446744073709551615 254261672945 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18636/tid=18639] ppid=18634 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18636/task/18639/stat : 18639 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 632550834 52396032 348 33554432000 4194304 4580107 140736468573312 18446744073709551615 47552831047602 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18636/tid=18640] ppid=18634 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18636/task/18640/stat : 18640 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 632550834 52396032 348 33554432000 4194304 4580107 140736468573312 18446744073709551615 47552831047602 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0460891 s]
/proc/loadavg: 6.88 7.91 7.92 2/274 18636
/proc/meminfo: memFree=25095340/32951124 swapFree=67057896/67111528
[pid=18636] ppid=18634 vsize=282488 CPUtime=0.15 cores=0,2,4,6
/proc/18636/stat : 18636 (strangenight2-m) R 18634 18636 18306 0 -1 4202496 1861 0 0 0 15 0 0 0 18 0 4 0 632550833 289267712 1610 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294581 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18636/statm: 70622 1611 375 95 0 65604 0
[pid=18636/tid=18638] ppid=18634 vsize=282488 CPUtime=0.03 cores=0,2,4,6
/proc/18636/task/18638/stat : 18638 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 389 0 0 0 3 0 0 0 25 0 4 0 632550834 289267712 1611 33554432000 4194304 4580107 140736468573312 18446744073709551615 4316677 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18636/tid=18639] ppid=18634 vsize=282488 CPUtime=0.04 cores=0,2,4,6
/proc/18636/task/18639/stat : 18639 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 433 0 0 0 4 0 0 0 18 0 4 0 632550834 289267712 1612 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294418 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18636/tid=18640] ppid=18634 vsize=282488 CPUtime=0.04 cores=0,2,4,6
/proc/18636/task/18640/stat : 18640 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 214 0 0 0 4 0 0 0 18 0 4 0 632550834 289267712 1612 33554432000 4194304 4580107 140736468573312 18446744073709551615 254261277729 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 282488

[startup+0.101079 s]
/proc/loadavg: 6.88 7.91 7.92 2/274 18636
/proc/meminfo: memFree=25095340/32951124 swapFree=67057896/67111528
[pid=18636] ppid=18634 vsize=282488 CPUtime=0.37 cores=0,2,4,6
/proc/18636/stat : 18636 (strangenight2-m) R 18634 18636 18306 0 -1 4202496 2195 0 0 0 37 0 0 0 18 0 4 0 632550833 289267712 1944 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18636/statm: 70622 1945 376 95 0 65604 0
[pid=18636/tid=18638] ppid=18634 vsize=282488 CPUtime=0.08 cores=0,2,4,6
/proc/18636/task/18638/stat : 18638 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 465 0 0 0 8 0 0 0 25 0 4 0 632550834 289267712 1945 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18636/tid=18639] ppid=18634 vsize=282488 CPUtime=0.09 cores=0,2,4,6
/proc/18636/task/18639/stat : 18639 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 511 0 0 0 9 0 0 0 18 0 4 0 632550834 289267712 1945 33554432000 4194304 4580107 140736468573312 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18636/tid=18640] ppid=18634 vsize=282488 CPUtime=0.09 cores=0,2,4,6
/proc/18636/task/18640/stat : 18640 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 313 0 0 0 9 0 0 0 18 0 4 0 632550834 289267712 1945 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282488

[startup+0.301043 s]
/proc/loadavg: 6.88 7.91 7.92 2/274 18636
/proc/meminfo: memFree=25095340/32951124 swapFree=67057896/67111528
[pid=18636] ppid=18634 vsize=284692 CPUtime=1.17 cores=0,2,4,6
/proc/18636/stat : 18636 (strangenight2-m) R 18634 18636 18306 0 -1 4202496 3655 0 0 0 117 0 0 0 18 0 4 0 632550833 291524608 2584 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294345 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18636/statm: 71173 2584 377 95 0 66155 0
[pid=18636/tid=18638] ppid=18634 vsize=284692 CPUtime=0.28 cores=0,2,4,6
/proc/18636/task/18638/stat : 18638 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 836 0 0 0 28 0 0 0 25 0 4 0 632550834 291524608 2584 33554432000 4194304 4580107 140736468573312 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18636/tid=18639] ppid=18634 vsize=284692 CPUtime=0.29 cores=0,2,4,6
/proc/18636/task/18639/stat : 18639 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 883 0 0 0 29 0 0 0 18 0 4 0 632550834 291524608 2584 33554432000 4194304 4580107 140736468573312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18636/tid=18640] ppid=18634 vsize=284692 CPUtime=0.29 cores=0,2,4,6
/proc/18636/task/18640/stat : 18640 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 668 0 0 0 29 0 0 0 18 0 4 0 632550834 291524608 2584 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284692

[startup+0.700974 s]
/proc/loadavg: 6.88 7.91 7.92 2/274 18636
/proc/meminfo: memFree=25095340/32951124 swapFree=67057896/67111528
[pid=18636] ppid=18634 vsize=286396 CPUtime=2.78 cores=0,2,4,6
/proc/18636/stat : 18636 (strangenight2-m) R 18634 18636 18306 0 -1 4202496 6399 0 0 0 277 1 0 0 18 0 4 0 632550833 293269504 2921 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18636/statm: 71599 2921 377 95 0 66581 0
[pid=18636/tid=18638] ppid=18634 vsize=286396 CPUtime=0.68 cores=0,2,4,6
/proc/18636/task/18638/stat : 18638 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 1600 0 0 0 68 0 0 0 25 0 4 0 632550834 293269504 2921 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18636/tid=18639] ppid=18634 vsize=286396 CPUtime=0.69 cores=0,2,4,6
/proc/18636/task/18639/stat : 18639 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 1399 0 0 0 69 0 0 0 18 0 4 0 632550834 293269504 2921 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18636/tid=18640] ppid=18634 vsize=286396 CPUtime=0.69 cores=0,2,4,6
/proc/18636/task/18640/stat : 18640 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 1391 0 0 0 69 0 0 0 18 0 4 0 632550834 293269504 2922 33554432000 4194304 4580107 140736468573312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 286396

[startup+1.50083 s]
/proc/loadavg: 6.88 7.91 7.92 9/286 18648
/proc/meminfo: memFree=25066228/32951124 swapFree=67057896/67111528
[pid=18636] ppid=18634 vsize=287776 CPUtime=5.96 cores=0,2,4,6
/proc/18636/stat : 18636 (strangenight2-m) R 18634 18636 18306 0 -1 4202496 11872 0 0 0 595 1 0 0 20 0 4 0 632550833 294682624 5943 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294436 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18636/statm: 71944 5943 379 95 0 66926 0
[pid=18636/tid=18638] ppid=18634 vsize=287776 CPUtime=1.47 cores=0,2,4,6
/proc/18636/task/18638/stat : 18638 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 2529 0 0 0 147 0 0 0 25 0 4 0 632550834 294682624 5943 33554432000 4194304 4580107 140736468573312 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18636/tid=18639] ppid=18634 vsize=287776 CPUtime=1.49 cores=0,2,4,6
/proc/18636/task/18639/stat : 18639 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 2498 0 0 0 149 0 0 0 20 0 4 0 632550834 294682624 5943 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18636/tid=18640] ppid=18634 vsize=287776 CPUtime=1.49 cores=0,2,4,6
/proc/18636/task/18640/stat : 18640 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 2301 0 0 0 149 0 0 0 20 0 4 0 632550834 294682624 5943 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 287776

[startup+3.10055 s]
/proc/loadavg: 6.88 7.91 7.92 9/286 18648
/proc/meminfo: memFree=25026548/32951124 swapFree=67057896/67111528
[pid=18636] ppid=18634 vsize=294560 CPUtime=12.35 cores=0,2,4,6
/proc/18636/stat : 18636 (strangenight2-m) R 18634 18636 18306 0 -1 4202496 24630 0 0 0 1231 4 0 0 25 0 4 0 632550833 301629440 11826 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294692 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18636/statm: 73640 11826 379 95 0 68622 0
[pid=18636/tid=18638] ppid=18634 vsize=294560 CPUtime=3.06 cores=0,2,4,6
/proc/18636/task/18638/stat : 18638 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 5637 0 0 0 305 1 0 0 25 0 4 0 632550834 301629440 11826 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18636/tid=18639] ppid=18634 vsize=294560 CPUtime=3.08 cores=0,2,4,6
/proc/18636/task/18639/stat : 18639 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 6406 0 0 0 308 0 0 0 25 0 4 0 632550834 301629440 11826 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18636/tid=18640] ppid=18634 vsize=294560 CPUtime=3.09 cores=0,2,4,6
/proc/18636/task/18640/stat : 18640 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 6140 0 0 0 308 1 0 0 25 0 4 0 632550834 301629440 11826 33554432000 4194304 4580107 140736468573312 18446744073709551615 4320708 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 294560

[startup+6.30098 s]
/proc/loadavg: 7.05 7.93 7.92 9/286 18648
/proc/meminfo: memFree=24980724/32951124 swapFree=67057896/67111528
[pid=18636] ppid=18634 vsize=312700 CPUtime=25.12 cores=0,2,4,6
/proc/18636/stat : 18636 (strangenight2-m) R 18634 18636 18306 0 -1 4202496 37526 0 0 0 2506 6 0 0 25 0 4 0 632550833 320204800 17492 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18636/statm: 78175 17492 379 95 0 73157 0
[pid=18636/tid=18638] ppid=18634 vsize=312700 CPUtime=6.23 cores=0,2,4,6
/proc/18636/task/18638/stat : 18638 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 9173 0 0 0 622 1 0 0 25 0 4 0 632550834 320204800 17492 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18636/tid=18639] ppid=18634 vsize=312700 CPUtime=6.29 cores=0,2,4,6
/proc/18636/task/18639/stat : 18639 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 10206 0 0 0 628 1 0 0 25 0 4 0 632550834 320204800 17492 33554432000 4194304 4580107 140736468573312 18446744073709551615 4416018 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18636/tid=18640] ppid=18634 vsize=312700 CPUtime=6.28 cores=0,2,4,6
/proc/18636/task/18640/stat : 18640 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 8860 0 0 0 627 1 0 0 25 0 4 0 632550834 320204800 17492 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 312700

[startup+12.7008 s]
/proc/loadavg: 7.12 7.93 7.92 9/286 18648
/proc/meminfo: memFree=24919352/32951124 swapFree=67057896/67111528
[pid=18636] ppid=18634 vsize=330156 CPUtime=50.66 cores=0,2,4,6
/proc/18636/stat : 18636 (strangenight2-m) R 18634 18636 18306 0 -1 4202496 58979 0 0 0 5055 11 0 0 25 0 4 0 632550833 338079744 26191 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294462 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18636/statm: 82539 26191 379 95 0 77521 0
[pid=18636/tid=18638] ppid=18634 vsize=330156 CPUtime=12.58 cores=0,2,4,6
/proc/18636/task/18638/stat : 18638 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 12994 0 0 0 1256 2 0 0 25 0 4 0 632550834 338079744 26191 33554432000 4194304 4580107 140736468573312 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18636/tid=18639] ppid=18634 vsize=330156 CPUtime=12.69 cores=0,2,4,6
/proc/18636/task/18639/stat : 18639 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 14789 0 0 0 1267 2 0 0 25 0 4 0 632550834 338079744 26191 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18636/tid=18640] ppid=18634 vsize=330156 CPUtime=12.69 cores=0,2,4,6
/proc/18636/task/18640/stat : 18640 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 14941 0 0 0 1266 3 0 0 25 0 4 0 632550834 338079744 26191 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 330156

[startup+25.5006 s]
/proc/loadavg: 7.32 7.93 7.92 9/286 18648
/proc/meminfo: memFree=24873724/32951124 swapFree=67057896/67111528
[pid=18636] ppid=18634 vsize=323916 CPUtime=101.75 cores=0,2,4,6
/proc/18636/stat : 18636 (strangenight2-m) R 18634 18636 18306 0 -1 4202496 87526 0 0 0 10157 18 0 0 25 0 4 0 632550833 331689984 32417 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294496 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18636/statm: 80979 32417 379 95 0 75961 0
[pid=18636/tid=18638] ppid=18634 vsize=323916 CPUtime=25.27 cores=0,2,4,6
/proc/18636/task/18638/stat : 18638 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 18442 0 0 0 2524 3 0 0 25 0 4 0 632550834 331689984 32417 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18636/tid=18639] ppid=18634 vsize=323916 CPUtime=25.49 cores=0,2,4,6
/proc/18636/task/18639/stat : 18639 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 23233 0 0 0 2545 4 0 0 25 0 4 0 632550834 331689984 32417 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18636/tid=18640] ppid=18634 vsize=323916 CPUtime=25.49 cores=0,2,4,6
/proc/18636/task/18640/stat : 18640 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 21915 0 0 0 2544 5 0 0 25 0 4 0 632550834 331689984 32417 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 323916

[startup+51.101 s]
/proc/loadavg: 7.67 7.97 7.94 9/286 18649
/proc/meminfo: memFree=24816576/32951124 swapFree=67057896/67111528
[pid=18636] ppid=18634 vsize=349464 CPUtime=203.94 cores=0,2,4,6
/proc/18636/stat : 18636 (strangenight2-m) R 18634 18636 18306 0 -1 4202496 125620 0 0 0 20368 26 0 0 25 0 4 0 632550833 357851136 41517 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294504 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18636/statm: 87366 41517 379 95 0 82348 0
[pid=18636/tid=18638] ppid=18634 vsize=349464 CPUtime=50.65 cores=0,2,4,6
/proc/18636/task/18638/stat : 18638 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 22528 0 0 0 5061 4 0 0 25 0 4 0 632550834 357851136 41517 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18636/tid=18639] ppid=18634 vsize=349464 CPUtime=51.08 cores=0,2,4,6
/proc/18636/task/18639/stat : 18639 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 35677 0 0 0 5103 5 0 0 25 0 4 0 632550834 357851136 41517 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18636/tid=18640] ppid=18634 vsize=349464 CPUtime=51.08 cores=0,2,4,6
/proc/18636/task/18640/stat : 18640 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 33730 0 0 0 5101 7 0 0 25 0 4 0 632550834 357851136 41517 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.94
Current children cumulated vsize (KiB) 349464

[startup+102.311 s]
/proc/loadavg: 7.99 8.00 7.95 9/286 18651
/proc/meminfo: memFree=24753580/32951124 swapFree=67057896/67111528
[pid=18636] ppid=18634 vsize=363156 CPUtime=408.32 cores=0,2,4,6
/proc/18636/stat : 18636 (strangenight2-m) R 18634 18636 18306 0 -1 4202496 192631 0 0 0 40789 43 0 0 25 0 4 0 632550833 371871744 50795 33554432000 4194304 4580107 140736468573312 18446744073709551615 4507797 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18636/statm: 90789 50795 379 95 0 85771 0
[pid=18636/tid=18638] ppid=18634 vsize=363156 CPUtime=101.41 cores=0,2,4,6
/proc/18636/task/18638/stat : 18638 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 32790 0 0 0 10135 6 0 0 25 0 4 0 632550834 371871744 50795 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18636/tid=18639] ppid=18634 vsize=363156 CPUtime=102.3 cores=0,2,4,6
/proc/18636/task/18639/stat : 18639 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 53872 0 0 0 10220 10 0 0 25 0 4 0 632550834 371871744 50795 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18636/tid=18640] ppid=18634 vsize=363156 CPUtime=102.3 cores=0,2,4,6
/proc/18636/task/18640/stat : 18640 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 54557 0 0 0 10218 12 0 0 25 0 4 0 632550834 371871744 50795 33554432000 4194304 4580107 140736468573312 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.32
Current children cumulated vsize (KiB) 363156

[startup+162.301 s]

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

[pid=18636] ppid=18634 vsize=726804 CPUtime=2563.47 cores=0,2,4,6
/proc/18636/stat : 18636 (strangenight2-m) R 18634 18636 18306 0 -1 4202496 544748 0 0 0 256170 177 0 0 25 0 4 0 632550833 744247296 121670 33554432000 4194304 4580107 140736468573312 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18636/statm: 181701 121670 379 95 0 176683 0
[pid=18636/tid=18638] ppid=18634 vsize=726804 CPUtime=636.61 cores=0,2,4,6
/proc/18636/task/18638/stat : 18638 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 74706 0 0 0 63639 22 0 0 25 0 4 0 632550834 744247296 121671 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18636/tid=18639] ppid=18634 vsize=726804 CPUtime=642.31 cores=0,2,4,6
/proc/18636/task/18639/stat : 18639 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 165810 0 0 0 64179 52 0 0 25 0 4 0 632550834 744247296 121671 33554432000 4194304 4580107 140736468573312 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18636/tid=18640] ppid=18634 vsize=726804 CPUtime=642.31 cores=0,2,4,6
/proc/18636/task/18640/stat : 18640 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 171550 0 0 0 64171 60 0 0 25 0 4 0 632550834 744247296 121671 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2563.47
Current children cumulated vsize (KiB) 726804

[startup+702.301 s]
/proc/loadavg: 8.23 8.14 8.03 9/286 18667
/proc/meminfo: memFree=24337772/32951124 swapFree=67057896/67111528
[pid=18636] ppid=18634 vsize=791956 CPUtime=2802.9 cores=0,2,4,6
/proc/18636/stat : 18636 (strangenight2-m) R 18634 18636 18306 0 -1 4202496 563316 0 0 0 280102 188 0 0 25 0 4 0 632550833 810962944 122879 33554432000 4194304 4580107 140736468573312 18446744073709551615 4304864 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18636/statm: 197989 122879 379 95 0 192971 0
[pid=18636/tid=18638] ppid=18634 vsize=791956 CPUtime=696.06 cores=0,2,4,6
/proc/18636/task/18638/stat : 18638 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 75745 0 0 0 69583 23 0 0 25 0 4 0 632550834 810962944 122879 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18636/tid=18639] ppid=18634 vsize=791956 CPUtime=702.3 cores=0,2,4,6
/proc/18636/task/18639/stat : 18639 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 172194 0 0 0 70174 56 0 0 25 0 4 0 632550834 810962944 122879 33554432000 4194304 4580107 140736468573312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18636/tid=18640] ppid=18634 vsize=791956 CPUtime=702.3 cores=0,2,4,6
/proc/18636/task/18640/stat : 18640 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 179496 0 0 0 70165 65 0 0 25 0 4 0 632550834 810962944 122879 33554432000 4194304 4580107 140736468573312 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2802.9
Current children cumulated vsize (KiB) 791956

[startup+762.31 s]
/proc/loadavg: 8.12 8.13 8.03 9/286 18668
/proc/meminfo: memFree=24310224/32951124 swapFree=67057896/67111528
[pid=18636] ppid=18634 vsize=774800 CPUtime=3042.4 cores=0,2,4,6
/proc/18636/stat : 18636 (strangenight2-m) R 18634 18636 18306 0 -1 4202496 595674 0 0 0 304038 202 0 0 25 0 4 0 632550833 793395200 123966 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18636/statm: 193700 123966 379 95 0 188682 0
[pid=18636/tid=18638] ppid=18634 vsize=774800 CPUtime=755.54 cores=0,2,4,6
/proc/18636/task/18638/stat : 18638 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 80417 0 0 0 75529 25 0 0 25 0 4 0 632550834 793395200 123966 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18636/tid=18639] ppid=18634 vsize=774800 CPUtime=762.31 cores=0,2,4,6
/proc/18636/task/18639/stat : 18639 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 180491 0 0 0 76172 59 0 0 25 0 4 0 632550834 793395200 123966 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18636/tid=18640] ppid=18634 vsize=774800 CPUtime=762.32 cores=0,2,4,6
/proc/18636/task/18640/stat : 18640 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 188575 0 0 0 76162 70 0 0 25 0 4 0 632550834 793395200 123966 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3042.4
Current children cumulated vsize (KiB) 774800

[startup+822.301 s]
/proc/loadavg: 8.16 8.14 8.03 9/286 18670
/proc/meminfo: memFree=24274220/32951124 swapFree=67057896/67111528
[pid=18636] ppid=18634 vsize=681320 CPUtime=3281.82 cores=0,2,4,6
/proc/18636/stat : 18636 (strangenight2-m) R 18634 18636 18306 0 -1 4202496 625661 0 0 0 327968 214 0 0 25 0 4 0 632550833 697671680 129596 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18636/statm: 170330 129596 379 95 0 165312 0
[pid=18636/tid=18638] ppid=18634 vsize=681320 CPUtime=815 cores=0,2,4,6
/proc/18636/task/18638/stat : 18638 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 87965 0 0 0 81472 28 0 0 25 0 4 0 632550834 697671680 129596 33554432000 4194304 4580107 140736468573312 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18636/tid=18639] ppid=18634 vsize=681320 CPUtime=822.3 cores=0,2,4,6
/proc/18636/task/18639/stat : 18639 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 188567 0 0 0 82166 64 0 0 25 0 4 0 632550834 697671680 129596 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18636/tid=18640] ppid=18634 vsize=681320 CPUtime=822.31 cores=0,2,4,6
/proc/18636/task/18640/stat : 18640 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 198822 0 0 0 82160 71 0 0 25 0 4 0 632550834 697671680 129596 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3281.82
Current children cumulated vsize (KiB) 681320

[startup+882.301 s]
/proc/loadavg: 8.17 8.14 8.04 9/286 18671
/proc/meminfo: memFree=24213448/32951124 swapFree=67057896/67111528
[pid=18636] ppid=18634 vsize=807168 CPUtime=3521.28 cores=0,2,4,6
/proc/18636/stat : 18636 (strangenight2-m) R 18634 18636 18306 0 -1 4202496 653517 0 0 0 351901 227 0 0 25 0 4 0 632550833 826540032 135974 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18636/statm: 201792 135974 379 95 0 196774 0
[pid=18636/tid=18638] ppid=18634 vsize=807168 CPUtime=874.45 cores=0,2,4,6
/proc/18636/task/18638/stat : 18638 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 95428 0 0 0 87414 31 0 0 25 0 4 0 632550834 826540032 135974 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18636/tid=18639] ppid=18634 vsize=807168 CPUtime=882.3 cores=0,2,4,6
/proc/18636/task/18639/stat : 18639 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 197194 0 0 0 88164 66 0 0 25 0 4 0 632550834 826540032 135974 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18636/tid=18640] ppid=18634 vsize=807168 CPUtime=882.31 cores=0,2,4,6
/proc/18636/task/18640/stat : 18640 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 205717 0 0 0 88155 76 0 0 25 0 4 0 632550834 826540032 135974 33554432000 4194304 4580107 140736468573312 18446744073709551615 4316677 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3521.28
Current children cumulated vsize (KiB) 807168

[startup+942.3 s]
/proc/loadavg: 8.24 8.16 8.05 9/286 18673
/proc/meminfo: memFree=24166540/32951124 swapFree=67057896/67111528
[pid=18636] ppid=18634 vsize=865464 CPUtime=3760.73 cores=0,2,4,6
/proc/18636/stat : 18636 (strangenight2-m) R 18634 18636 18306 0 -1 4202496 688865 0 0 0 375832 241 0 0 25 0 4 0 632550833 886235136 144485 33554432000 4194304 4580107 140736468573312 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18636/statm: 216366 144485 379 95 0 211348 0
[pid=18636/tid=18638] ppid=18634 vsize=865464 CPUtime=933.93 cores=0,2,4,6
/proc/18636/task/18638/stat : 18638 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 104642 0 0 0 93357 36 0 0 25 0 4 0 632550834 886235136 144485 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18636/tid=18639] ppid=18634 vsize=865464 CPUtime=942.31 cores=0,2,4,6
/proc/18636/task/18639/stat : 18639 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 206152 0 0 0 94161 70 0 0 25 0 4 0 632550834 886235136 144485 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18636/tid=18640] ppid=18634 vsize=865464 CPUtime=942.31 cores=0,2,4,6
/proc/18636/task/18640/stat : 18640 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 214361 0 0 0 94152 79 0 0 25 0 4 0 632550834 886235136 144485 33554432000 4194304 4580107 140736468573312 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3760.73
Current children cumulated vsize (KiB) 865464

[startup+1002.3 s]
/proc/loadavg: 8.16 8.14 8.05 9/286 18675
/proc/meminfo: memFree=24201744/32951124 swapFree=67057896/67111528
[pid=18636] ppid=18634 vsize=752288 CPUtime=4000.2 cores=0,2,4,6
/proc/18636/stat : 18636 (strangenight2-m) R 18634 18636 18306 0 -1 4202496 719711 0 0 0 399768 252 0 0 25 0 4 0 632550833 770342912 144284 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294595 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18636/statm: 188072 144284 379 95 0 183054 0
[pid=18636/tid=18638] ppid=18634 vsize=752288 CPUtime=993.38 cores=0,2,4,6
/proc/18636/task/18638/stat : 18638 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 109578 0 0 0 99300 38 0 0 25 0 4 0 632550834 770342912 144284 33554432000 4194304 4580107 140736468573312 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18636/tid=18639] ppid=18634 vsize=752288 CPUtime=1002.3 cores=0,2,4,6
/proc/18636/task/18639/stat : 18639 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 214777 0 0 0 100157 73 0 0 25 0 4 0 632550834 770342912 144284 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18636/tid=18640] ppid=18634 vsize=752288 CPUtime=1002.31 cores=0,2,4,6
/proc/18636/task/18640/stat : 18640 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 225325 0 0 0 100149 82 0 0 25 0 4 0 632550834 770342912 144284 33554432000 4194304 4580107 140736468573312 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4000.2
Current children cumulated vsize (KiB) 752288

[startup+1062.3 s]
/proc/loadavg: 8.12 8.13 8.05 9/286 18676
/proc/meminfo: memFree=24182968/32951124 swapFree=67057896/67111528
[pid=18636] ppid=18634 vsize=875904 CPUtime=4239.66 cores=0,2,4,6
/proc/18636/stat : 18636 (strangenight2-m) R 18634 18636 18306 0 -1 4202496 735713 0 0 0 423704 262 0 0 25 0 4 0 632550833 896925696 142769 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18636/statm: 218976 142769 379 95 0 213958 0
[pid=18636/tid=18638] ppid=18634 vsize=875904 CPUtime=1052.85 cores=0,2,4,6
/proc/18636/task/18638/stat : 18638 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 110705 0 0 0 105246 39 0 0 25 0 4 0 632550834 896925696 142769 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18636/tid=18639] ppid=18634 vsize=875904 CPUtime=1062.3 cores=0,2,4,6
/proc/18636/task/18639/stat : 18639 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 224167 0 0 0 106153 77 0 0 25 0 4 0 632550834 896925696 142769 33554432000 4194304 4580107 140736468573312 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18636/tid=18640] ppid=18634 vsize=875904 CPUtime=1062.32 cores=0,2,4,6
/proc/18636/task/18640/stat : 18640 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 226882 0 0 0 106148 84 0 0 25 0 4 0 632550834 896925696 142769 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4239.66
Current children cumulated vsize (KiB) 875904

[startup+1122.3 s]
/proc/loadavg: 8.11 8.12 8.05 9/286 18678
/proc/meminfo: memFree=24126776/32951124 swapFree=67057896/67111528
[pid=18636] ppid=18634 vsize=962516 CPUtime=4479.1 cores=0,2,4,6
/proc/18636/stat : 18636 (strangenight2-m) R 18634 18636 18306 0 -1 4202496 766026 0 0 0 447635 275 0 0 25 0 4 0 632550833 985616384 155160 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18636/statm: 240629 155160 379 95 0 235611 0
[pid=18636/tid=18638] ppid=18634 vsize=962516 CPUtime=1112.3 cores=0,2,4,6
/proc/18636/task/18638/stat : 18638 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 119302 0 0 0 111187 43 0 0 25 0 4 0 632550834 985616384 155160 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18636/tid=18639] ppid=18634 vsize=962516 CPUtime=1122.31 cores=0,2,4,6
/proc/18636/task/18639/stat : 18639 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 230747 0 0 0 112151 80 0 0 25 0 4 0 632550834 985616384 155160 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294570 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18636/tid=18640] ppid=18634 vsize=962516 CPUtime=1122.32 cores=0,2,4,6
/proc/18636/task/18640/stat : 18640 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 235089 0 0 0 112144 88 0 0 25 0 4 0 632550834 985616384 155160 33554432000 4194304 4580107 140736468573312 18446744073709551615 4305283 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4479.1
Current children cumulated vsize (KiB) 962516

[startup+1182.3 s]
/proc/loadavg: 8.14 8.13 8.05 9/286 18679
/proc/meminfo: memFree=24156128/32951124 swapFree=67057896/67111528
[pid=18636] ppid=18634 vsize=890368 CPUtime=4718.56 cores=0,2,4,6
/proc/18636/stat : 18636 (strangenight2-m) R 18634 18636 18306 0 -1 4202496 795224 0 0 0 471567 289 0 0 25 0 4 0 632550833 911736832 147987 33554432000 4194304 4580107 140736468573312 18446744073709551615 4293222 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18636/statm: 222592 147987 379 95 0 217574 0
[pid=18636/tid=18638] ppid=18634 vsize=890368 CPUtime=1171.76 cores=0,2,4,6
/proc/18636/task/18638/stat : 18638 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 124922 0 0 0 117130 46 0 0 25 0 4 0 632550834 911736832 147987 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18636/tid=18639] ppid=18634 vsize=890368 CPUtime=1182.3 cores=0,2,4,6
/proc/18636/task/18639/stat : 18639 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 239616 0 0 0 118146 84 0 0 25 0 4 0 632550834 911736832 147987 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18636/tid=18640] ppid=18634 vsize=890368 CPUtime=1182.31 cores=0,2,4,6
/proc/18636/task/18640/stat : 18640 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 246146 0 0 0 118139 92 0 0 25 0 4 0 632550834 911736832 147987 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4718.56
Current children cumulated vsize (KiB) 890368



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.10 8.12 8.05 9/286 18680
/proc/meminfo: memFree=24162204/32951124 swapFree=67057896/67111528
[pid=18636] ppid=18634 vsize=817136 CPUtime=4800.39 cores=0,2,4,6
/proc/18636/stat : 18636 (strangenight2-m) R 18634 18636 18306 0 -1 4202496 805062 0 0 0 479746 293 0 0 25 0 4 0 632550833 836747264 147623 33554432000 4194304 4580107 140736468573312 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18636/statm: 204284 147623 379 95 0 199266 0
[pid=18636/tid=18638] ppid=18634 vsize=817136 CPUtime=1192.08 cores=0,2,4,6
/proc/18636/task/18638/stat : 18638 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 125671 0 0 0 119161 47 0 0 25 0 4 0 632550834 836747264 147624 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18636/tid=18639] ppid=18634 vsize=817136 CPUtime=1202.81 cores=0,2,4,6
/proc/18636/task/18639/stat : 18639 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 243008 0 0 0 120196 85 0 0 25 0 4 0 632550834 836747264 147624 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18636/tid=18640] ppid=18634 vsize=817136 CPUtime=1202.82 cores=0,2,4,6
/proc/18636/task/18640/stat : 18640 (strangenight2-m) R 18634 18636 18306 0 -1 4202560 248177 0 0 0 120189 93 0 0 25 0 4 0 632550834 836747264 147624 33554432000 4194304 4580107 140736468573312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 817136

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.84
CPU time (s): 4800.46
CPU user time (s): 4797.5
CPU system time (s): 2.96355
CPU usage (%): 399.092
Max. virtual memory (cumulated for all children) (KiB): 962516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.5
system time used= 2.96355
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 805063
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= 369
involuntary context switches= 23343

runsolver used 3.23851 second user time and 7.51986 second system time

The end

Launcher Data 

Begin job on node140 at 2011-05-14 21:29:15
IDJOB=3366306
IDBENCH=82715
IDSOLVER=1844
FILE ID=node140/3366306-1305401355
RUNJOBID= node140-1305401355-18621
PBS_JOBID= 13324465
Free space on /tmp= 73488 MiB

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

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

MD5SUM BENCH= b9af20624ed5bd46fea8950d0fddc198
RANDOM SEED=1189482263

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
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:     32951124 kB
MemFree:      25095496 kB
Buffers:        296072 kB
Cached:        3720320 kB
SwapCached:       8056 kB
Active:        4869764 kB
Inactive:      2675736 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25095496 kB
SwapTotal:    67111528 kB
SwapFree:     67057896 kB
Dirty:           11048 kB
Writeback:           0 kB
AnonPages:     3525772 kB
Mapped:          22556 kB
Slab:           224716 kB
PageTables:      21836 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 45559748 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= 73476 MiB
End job on node140 at 2011-05-14 21:49:20