Trace number 3173897

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.41 1201.74

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3173897-1304072690.cnf'
0.00/0.00	c -- header says num vars:            175
0.00/0.00	c -- header says num clauses:        3727
0.00/0.00	c -- clauses added:            0 learnts,         3727 normals,            0 xors
0.00/0.00	c -- vars added        175
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	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.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
0.00/0.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.90	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.90	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.90	c calculated reachability. Time: 0.00
0.00/0.90	c Calc default polars -  time:   0.00 s pos:      85 undec:       5 neg:      85
0.00/0.90	c =========================================================================================
0.00/0.90	c types(t): F = full restart, N = normal restart
0.00/0.90	c types(t): S = simplification begin/end, E = solution found
0.00/0.90	c restart types(rt): st = static, dy = dynamic
0.00/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.90	c  B st     0         0       175      3727         0         0     18635         0   no data   no data
0.00/0.90	c Decided on static restart strategy
0.00/0.90	c  N st     8      4913       175      3727         0      4735     18635    159360   no data   no data
0.00/0.90	c  N st    10     11296       175      3727         0      4367     18635    110781   no data   no data
0.00/0.90	c  N st    11     17040       175      3727         0      9832     18635    297870   no data   no data
3.60/1.00	c  F st    12     25004       175      3727         0     12077     18635    360917   no data   no data
3.60/1.00	c  N st    12     25004       175      3727         0     12077     18635    360917   no data   no data
4.77/1.22	c Decided on static restart strategy
4.77/1.22	c  N st    18     30000       175      3727         0     10378     18635    297277   no data   no data
4.77/1.22	c  S st    18     30000       175      3727         0     10378     18635    297277   no data   no data
4.77/1.25	c  S st    18     30504       175      3727         0     10871     18635    313572   no data   no data
4.77/1.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.77/1.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.77/1.25	c blocked clauses removed:        0 vars:      0 tried:         175 T: 0.00 s
4.77/1.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.77/1.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.77/1.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
4.77/1.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.77/1.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.77/1.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.58/1.46	c lits-rem:       226  cl-subs:      997  v-elim:      0  v-fix:    0  time:  0.19 s
5.98/1.50	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.04
5.98/1.50	c calculated reachability. Time: 0.00
5.98/1.50	c  N st    18     30504       175      3727         0      9874     18635    274660   no data   no data
7.17/1.85	c  N st    20     37616       175      3727         0      9125     18635    232680   no data   no data
8.76/2.22	c  N st    21     44016       175      3727         0     15275     18635    447901   no data   no data
9.16/2.31	c  S st    22     45758       175      3727         0     16954     18635    507119   no data   no data
9.16/2.36	c  S st    22     46262       175      3727         0      8863     18635    195774   no data   no data
9.16/2.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.16/2.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.16/2.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.16/2.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.16/2.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
9.16/2.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.16/2.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.16/2.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.57/2.40	c lits-rem:        17  cl-subs:       93  v-elim:      0  v-fix:    0  time:  0.02 s
9.57/2.40	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
9.57/2.40	c vivif2 --  cl tried     8770 cl shrink        0 lits rem          0 time: 0.00
9.57/2.45	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.04
9.57/2.45	c calculated reachability. Time: 0.00
9.57/2.45	c  N st    22     46262       175      3727         0      8770     18635    191954   no data   no data
12.76/3.24	c  N st    23     60659       175      3727         0     13040     18635    325913   no data   no data
15.16/3.89	c  N st    24     69394       175      3727         0     10879     18635    228209   no data   no data
15.16/3.89	c  S st    24     69394       175      3727         0     10879     18635    228209   no data   no data
15.56/3.92	c  S st    24     69897       175      3727         0     11372     18635    244796   no data   no data
15.56/3.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.56/3.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.56/3.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.56/3.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.56/3.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.56/3.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
15.56/3.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.56/3.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.56/3.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.56/3.98	c lits-rem:        81  cl-subs:      159  v-elim:      0  v-fix:    0  time:  0.05 s
15.56/3.98	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
15.56/3.99	c vivif2 --  cl tried    11213 cl shrink        0 lits rem          0 time: 0.00
15.96/4.04	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.05
15.96/4.04	c calculated reachability. Time: 0.00
15.96/4.04	c  N st    24     69897       175      3727         0     11213     18635    238491   no data   no data
20.76/5.29	c  F st    25     87501       175      3727         0     16502     18635    405876   no data   no data
20.76/5.29	c  N st    25     87501       175      3727         0     16502     18635    405876   no data   no data
22.35/5.65	c Decided on static restart strategy
23.15/5.88	c  N st    32     95549       175      3727         0     24218     18635    666358   no data   no data
25.94/6.53	c  N st    34    104845       175      3727         0     20677     18635    531966   no data   no data
25.94/6.53	c  S st    34    104845       175      3727         0     20677     18635    531966   no data   no data
25.94/6.58	c  S st    34    105348       175      3727         0     21168     18635    547996   no data   no data
25.94/6.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.94/6.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
25.94/6.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.94/6.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.94/6.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.94/6.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
25.94/6.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.94/6.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
26.34/6.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.34/7.10	c lits-rem:       177  cl-subs:     1328  v-elim:      0  v-fix:    0  time:  0.49 s
28.34/7.10	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
28.34/7.10	c vivif2 --  cl tried    19840 cl shrink        0 lits rem          0 time: 0.01
28.34/7.19	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.09
28.34/7.19	c calculated reachability. Time: 0.00
28.34/7.19	c  N st    34    105348       175      3727         0     19840     18635    499433   no data   no data
31.54/7.90	c  N st    35    114946       175      3727         0     15639     18635    353489   no data   no data
35.93/9.09	c  N st    36    129345       175      3727         0     15078     18635    303746   no data   no data
42.74/10.74	c  N st    37    150941       175      3727         0     20486     18635    462286   no data   no data
44.72/11.26	c  S st    38    158023       175      3727         0     27274     18635    695921   no data   no data
45.12/11.33	c  S st    38    158527       175      3727         0     27772     18635    712735   no data   no data
45.12/11.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.12/11.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
45.12/11.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45.12/11.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.12/11.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.12/11.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
45.12/11.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.12/11.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
45.12/11.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.12/12.31	c lits-rem:       555  cl-subs:     1627  v-elim:      0  v-fix:    0  time:  0.95 s
49.12/12.31	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
49.12/12.32	c vivif2 --  cl tried    26145 cl shrink        0 lits rem          0 time: 0.01
49.52/12.43	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.11
49.52/12.44	c calculated reachability. Time: 0.00
49.52/12.44	c  N st    38    158527       175      3727         0     26145     18635    651455   no data   no data
67.09/16.86	c  N st    39    207115       175      3727         0     20929     18635    419160   no data   no data
79.87/20.04	c  N st    40    237790       175      3727         0     31135     18635    761379   no data   no data
79.87/20.04	c  S st    40    237790       175      3727         0     31135     18635    761379   no data   no data
80.27/20.14	c  S st    40    238295       175      3727         0     31631     18635    778074   no data   no data
80.27/20.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
80.27/20.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.02
80.27/20.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
80.27/20.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
80.27/20.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
80.27/20.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
80.27/20.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
80.27/20.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
80.27/20.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.26/21.64	c lits-rem:       533  cl-subs:     1777  v-elim:      0  v-fix:    0  time:  1.45 s
86.26/21.64	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
86.26/21.65	c vivif2 --  cl tried    29854 cl shrink        0 lits rem          0 time: 0.01
86.68/21.79	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.14
86.68/21.79	c calculated reachability. Time: 0.00
86.68/21.79	c  N st    40    238295       175      3727         0     29854     18635    712706   no data   no data
115.43/28.96	c  F st    41    306250       175      3727         0     31665     18635    719044   no data   no data
115.43/28.96	c  N st    41    306250       175      3727         0     31665     18635    719044   no data   no data
117.84/29.52	c Decided on static restart strategy
127.00/31.86	c  N st    51    334554       175      3727         0     35871     18635    829313   no data   no data
137.00/34.36	c  N st    53    357442       175      3727         0     33892     18635    730423   no data   no data
137.00/34.36	c  S st    53    357442       175      3727         0     33892     18635    730423   no data   no data
137.40/34.45	c  S st    53    357945       175      3727         0     34389     18635    746922   no data   no data
137.40/34.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
137.40/34.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
137.40/34.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
137.40/34.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
137.40/34.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
137.40/34.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
137.40/34.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
137.40/34.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
137.40/34.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
140.98/35.36	c lits-rem:       385  cl-subs:     1520  v-elim:      0  v-fix:    0  time:  0.87 s
140.98/35.36	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
140.98/35.37	c vivif2 --  cl tried    32869 cl shrink        0 lits rem          0 time: 0.01
141.79/35.52	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.15
141.79/35.53	c calculated reachability. Time: 0.00
141.79/35.53	c  N st    53    357945       175      3727         0     32869     18635    690831   no data   no data
156.99/39.32	c  N st    54    390337       175      3727         0     38807     18635    880134   no data   no data
184.52/46.23	c  N st    55    438927       175      3727         0     32708     18635    642830   no data   no data
222.90/55.86	c  N st    56    511812       175      3727         0     45984     18635   1067501   no data   no data
236.48/59.27	c  N st    57    536919       175      3727         0     40445     18635    845995   no data   no data
236.48/59.27	c  S st    57    536919       175      3727         0     40445     18635    845995   no data   no data
236.86/59.37	c  S st    57    537422       175      3727         0     40933     18635    861987   no data   no data
236.86/59.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
236.86/59.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
236.86/59.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
236.86/59.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
236.86/59.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
236.86/59.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
236.86/59.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
237.25/59.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
237.25/59.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
242.45/60.76	c lits-rem:       748  cl-subs:     1653  v-elim:      0  v-fix:    0  time:  1.34 s
242.45/60.76	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
242.45/60.77	c vivif2 --  cl tried    39280 cl shrink        0 lits rem          0 time: 0.01
243.25/60.97	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.20
243.25/60.97	c calculated reachability. Time: 0.00
243.25/60.97	c  N st    57    537422       175      3727         0     39280     18635    798992   no data   no data
338.32/84.73	c  N st    58    701406       175      3727         0     67625     18635   1722154   no data   no data
407.03/101.91	c  N st    59    806134       175      3727         0     61777     18635   1455381   no data   no data
407.03/101.91	c  S st    59    806134       175      3727         0     61777     18635   1455381   no data   no data
407.45/102.08	c  S st    59    806636       175      3727         0     62274     18635   1471650   no data   no data
407.45/102.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
407.85/102.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
407.85/102.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
407.85/102.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
407.85/102.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
407.85/102.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
407.85/102.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
407.85/102.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
407.85/102.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
443.00/110.94	c lits-rem:      2049  cl-subs:     4601  v-elim:      0  v-fix:    0  time:  8.77 s
443.00/110.94	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
443.00/110.96	c vivif2 --  cl tried    57673 cl shrink        0 lits rem          0 time: 0.02
444.18/111.26	c asymm  cl-useful: 0/3129/3727 lits-rem:0 time: 0.30
444.18/111.26	c calculated reachability. Time: 0.00
444.18/111.26	c  N st    59    806636       175      3727         0     57673     18635   1305280   no data   no data
633.12/158.57	c  F st    60   1071876       175      3727         0     73232     18635   1750116   no data   no data
633.12/158.57	c  N st    60   1071876       175      3727         0     73232     18635   1750116   no data   no data
638.32/159.85	c Decided on static restart strategy
655.49/164.15	c  N st    70   1100187       175      3727         0     57533     18635   1135915   no data   no data
683.06/171.04	c  N st    72   1136180       175      3727         0     48064     18635    785940   no data   no data
710.65/177.95	c  N st    73   1168572       175      3727         0     78877     18635   1841993   no data   no data
754.98/189.05	c  N st    74   1209954       175      3727         0     73450     18635   1602580   no data   no data
754.98/189.05	c  S st    74   1209954       175      3727         0     73450     18635   1602580   no data   no data
756.16/189.30	c  S st    74   1210459       175      3727         0     73947     18635   1618883   no data   no data
756.16/189.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
756.16/189.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
756.16/189.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
756.16/189.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
756.16/189.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
756.16/189.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
756.16/189.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
756.16/189.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
756.56/189.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
797.71/199.75	c lits-rem:      1013  cl-subs:     5377  v-elim:      0  v-fix:    0  time: 10.33 s
797.71/199.75	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
797.71/199.77	c vivif2 --  cl tried    68570 cl shrink        0 lits rem          0 time: 0.02
798.11/199.88	c asymm  cl-useful: 0/598/3727 lits-rem:0 time: 0.11
798.11/199.89	c calculated reachability. Time: 0.00
798.11/199.89	c  N st    74   1210459       175      3727         0     68570     18635   1435943   no data   no data
874.80/219.08	c  N st    75   1283342       175      3727         0     92554     18635   2349940   no data   no data
984.25/246.48	c  N st    76   1392666       175      3727         0     53713     18635    867150   no data   no data
1127.26/282.29	c  N st    77   1556652       175      3727         0     58523     18635    973402   no data   no data
1269.09/317.77	c  N st    78   1710459       175      3727         0     99051     18635   2364923   no data   no data
1269.09/317.77	c  S st    78   1710459       175      3727         0     99051     18635   2364923   no data   no data
1270.26/318.06	c  S st    78   1710962       175      3727         0     99546     18635   2381594   no data   no data
1270.26/318.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1270.66/318.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1270.66/318.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1270.66/318.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1270.66/318.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1270.66/318.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
1270.66/318.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1270.66/318.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1271.07/318.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1372.13/343.58	c lits-rem:      4671  cl-subs:     7912  v-elim:      0  v-fix:    0  time: 25.36 s
1372.13/343.58	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
1372.53/343.61	c vivif2 --  cl tried    91634 cl shrink        0 lits rem          0 time: 0.03
1373.74/343.97	c asymm  cl-useful: 0/2105/3727 lits-rem:0 time: 0.37
1373.74/343.98	c calculated reachability. Time: 0.00
1373.74/343.98	c  N st    78   1710962       175      3727         0     91634     18635   2101375   no data   no data
1785.97/447.17	c  N st    79   2079926       175      3727         0    103053     18635   2355662   no data   no data
1914.20/479.30	c  N st    80   2210963       175      3727         0    107331     18635   2498845   no data   no data
1914.20/479.30	c  S st    80   2210963       175      3727         0    107331     18635   2498845   no data   no data
1915.80/479.61	c  S st    80   2211464       175      3727         0    107827     18635   2515426   no data   no data
1915.80/479.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1915.80/479.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1915.80/479.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1915.80/479.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1915.80/479.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1915.80/479.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
1915.80/479.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1916.20/479.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1916.20/479.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2031.65/508.66	c lits-rem:      3207  cl-subs:     8298  v-elim:      0  v-fix:    0  time: 28.89 s
2031.65/508.66	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
2031.65/508.69	c vivif2 --  cl tried    99529 cl shrink        0 lits rem          0 time: 0.03
2033.27/509.05	c asymm  cl-useful: 0/1622/3727 lits-rem:0 time: 0.35
2033.27/509.05	c calculated reachability. Time: 0.00
2033.27/509.05	c  N st    80   2211464       175      3727         0     99529     18635   2210889   no data   no data
2600.50/651.03	c  N st    81   2711464       175      3727         0    122282     18635   2829606   no data   no data
2600.50/651.03	c  S st    81   2711464       175      3727         0    122282     18635   2829606   no data   no data
2602.08/651.40	c  S st    81   2711965       175      3727         0    122777     18635   2845498   no data   no data
2602.08/651.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2602.08/651.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2602.08/651.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2602.08/651.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2602.08/651.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2602.08/651.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
2602.08/651.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2602.48/651.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2602.88/651.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2769.85/693.40	c lits-rem:      2851  cl-subs:    10595  v-elim:      0  v-fix:    0  time: 41.80 s
2769.85/693.40	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
2769.85/693.43	c vivif2 --  cl tried   112182 cl shrink        0 lits rem          0 time: 0.03
2771.47/693.81	c asymm  cl-useful: 0/1704/3727 lits-rem:0 time: 0.38
2771.47/693.82	c calculated reachability. Time: 0.00
2771.47/693.82	c  N st    81   2711965       175      3727         0    112182     18635   2476697   no data   no data
3449.34/863.54	c  N st    82   3211965       175      3727         0     88861     18635   1504493   no data   no data
3449.34/863.54	c  S st    82   3211965       175      3727         0     88861     18635   1504493   no data   no data
3450.54/863.88	c  S st    82   3212469       175      3727         0     89360     18635   1521086   no data   no data
3450.54/863.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3450.94/863.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.06
3450.94/863.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3450.94/863.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3450.94/863.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3450.94/863.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
3450.94/863.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3450.94/863.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3451.34/864.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3480.90/871.44	c lits-rem:       535  cl-subs:     3019  v-elim:      0  v-fix:    0  time:  7.41 s
3480.90/871.44	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
3480.90/871.47	c vivif2 --  cl tried    86341 cl shrink        0 lits rem          0 time: 0.02
3482.90/871.94	c asymm  cl-useful: 0/1998/3727 lits-rem:0 time: 0.48
3482.90/871.95	c calculated reachability. Time: 0.00
3482.90/871.95	c  N st    82   3212469       175      3727         0     86341     18635   1424207   no data   no data
4217.14/1055.80	c  N st    83   3712470       175      3727         0     97156     18635   1653315   no data   no data
4217.14/1055.80	c  S st    83   3712470       175      3727         0     97156     18635   1653315   no data   no data
4218.31/1056.08	c  S st    83   3712977       175      3727         0     97651     18635   1670380   no data   no data
4218.31/1056.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4218.71/1056.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
4218.71/1056.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4218.71/1056.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4218.71/1056.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4218.71/1056.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
4218.71/1056.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4218.71/1056.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4219.11/1056.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4244.68/1062.61	c lits-rem:       565  cl-subs:     3837  v-elim:      0  v-fix:    0  time:  6.40 s
4244.68/1062.62	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
4244.68/1062.64	c vivif2 --  cl tried    93814 cl shrink        0 lits rem          0 time: 0.02
4245.87/1062.99	c asymm  cl-useful: 0/2050/3727 lits-rem:0 time: 0.35
4246.27/1063.00	c calculated reachability. Time: 0.00
4246.27/1063.00	c  N st    83   3712977       175      3727         0     93814     18635   1548156   no data   no data
4301.80/1076.99	c  F st    84   3751562       175      3727         0    130493     18635   2835435   no data   no data
4301.80/1076.99	c  N st    84   3751562       175      3727         0    130493     18635   2835435   no data   no data
4312.19/1079.51	c Decided on static restart strategy
4346.94/1088.27	c  N st    94   3779869       175      3727         0    157563     18635   3775962   no data   no data
4391.68/1099.43	c  N st    96   3815864       175      3727         0    111352     18635   2137781   no data   no data
4447.60/1113.45	c  N st    97   3848256       175      3727         0    142207     18635   3190981   no data   no data
4515.52/1130.49	c  N st    98   3896844       175      3727         0    106742     18635   1966375   no data   no data
4622.97/1157.30	c  N st    99   3969727       175      3727         0     93306     18635   1469486   no data   no data
4777.56/1196.07	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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3173897-1304072690/watcher-3173897-1304072690 -o /tmp/evaluation-result-3173897-1304072690/solver-3173897-1304072690 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173897-1304072690.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: 2.19 3.38 4.97 5/180 31333
/proc/meminfo: memFree=31485440/32950928 swapFree=67111404/67111528
[pid=31333] ppid=31331 vsize=216216 CPUtime=0 cores=1,3,5,7
/proc/31333/stat : 31333 (strangenight2-m) R 31331 31333 30873 0 -1 4202496 661 0 0 0 0 0 0 0 22 0 4 0 518867768 221405184 589 33554432000 4194304 4627427 140736757268816 18446744073709551615 235594971679 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31333/statm: 54054 593 338 106 0 49025 0
[pid=31333/tid=31334] ppid=31331 vsize=216216 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31334/stat : 31334 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 71 0 0 0 0 0 0 0 23 0 4 0 518867768 221405184 596 33554432000 4194304 4627427 140736757268816 18446744073709551615 235594971679 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31333/tid=31335] ppid=31331 vsize=216216 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31335/stat : 31335 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 58 0 0 0 0 0 0 0 23 0 4 0 518867768 221405184 597 33554432000 4194304 4627427 140736757268816 18446744073709551615 235594971679 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31333/tid=31336] ppid=31331 vsize=216216 CPUtime=0 cores=1,3,5,7
/proc/31333/task/31336/stat : 31336 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 58 0 0 0 0 0 0 0 23 0 4 0 518867768 221405184 598 33554432000 4194304 4627427 140736757268816 18446744073709551615 235594971630 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.121119 s]
/proc/loadavg: 2.19 3.38 4.97 5/180 31333
/proc/meminfo: memFree=31485440/32950928 swapFree=67111404/67111528
[pid=31333] ppid=31331 vsize=221760 CPUtime=3.6 cores=1,3,5,7
/proc/31333/stat : 31333 (strangenight2-m) R 31331 31333 30873 0 -1 4202496 7279 0 0 0 358 2 0 0 25 0 4 0 518867768 227082240 3474 33554432000 4194304 4627427 140736757268816 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31333/statm: 55440 3474 384 106 0 50411 0
[pid=31333/tid=31334] ppid=31331 vsize=221760 CPUtime=0.89 cores=1,3,5,7
/proc/31333/task/31334/stat : 31334 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 1886 0 0 0 89 0 0 0 19 0 4 0 518867768 227082240 3474 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31333/tid=31335] ppid=31331 vsize=221760 CPUtime=0.89 cores=1,3,5,7
/proc/31333/task/31335/stat : 31335 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 1705 0 0 0 89 0 0 0 19 0 4 0 518867768 227082240 3474 33554432000 4194304 4627427 140736757268816 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31333/tid=31336] ppid=31331 vsize=221760 CPUtime=0.89 cores=1,3,5,7
/proc/31333/task/31336/stat : 31336 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 1500 0 0 0 89 0 0 0 19 0 4 0 518867768 227082240 3475 33554432000 4194304 4627427 140736757268816 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 221760

[startup+1.00797 s]
/proc/loadavg: 2.19 3.38 4.97 5/180 31333
/proc/meminfo: memFree=31485440/32950928 swapFree=67111404/67111528
[pid=31333] ppid=31331 vsize=221892 CPUtime=4 cores=1,3,5,7
/proc/31333/stat : 31333 (strangenight2-m) R 31331 31333 30873 0 -1 4202496 7662 0 0 0 398 2 0 0 25 0 4 0 518867768 227217408 3857 33554432000 4194304 4627427 140736757268816 18446744073709551615 4324759 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31333/statm: 55473 3857 385 106 0 50444 0
[pid=31333/tid=31334] ppid=31331 vsize=221892 CPUtime=0.99 cores=1,3,5,7
/proc/31333/task/31334/stat : 31334 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 1974 0 0 0 99 0 0 0 19 0 4 0 518867768 227217408 3857 33554432000 4194304 4627427 140736757268816 18446744073709551615 4330061 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31333/tid=31335] ppid=31331 vsize=221892 CPUtime=0.99 cores=1,3,5,7
/proc/31333/task/31335/stat : 31335 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 1773 0 0 0 99 0 0 0 19 0 4 0 518867768 227217408 3857 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309220 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31333/tid=31336] ppid=31331 vsize=221892 CPUtime=0.99 cores=1,3,5,7
/proc/31333/task/31336/stat : 31336 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 1628 0 0 0 99 0 0 0 19 0 4 0 518867768 227217408 3857 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 221892

[startup+1.10822 s]
/proc/loadavg: 2.19 3.38 4.97 5/180 31333
/proc/meminfo: memFree=31485440/32950928 swapFree=67111404/67111528
[pid=31333] ppid=31331 vsize=222696 CPUtime=4.4 cores=1,3,5,7
/proc/31333/stat : 31333 (strangenight2-m) R 31331 31333 30873 0 -1 4202496 8915 0 0 0 438 2 0 0 25 0 4 0 518867768 228040704 3252 33554432000 4194304 4627427 140736757268816 18446744073709551615 4328830 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31333/statm: 55674 3252 385 106 0 50645 0
[pid=31333/tid=31334] ppid=31331 vsize=222696 CPUtime=1.09 cores=1,3,5,7
/proc/31333/task/31334/stat : 31334 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 2304 0 0 0 109 0 0 0 19 0 4 0 518867768 228040704 3252 33554432000 4194304 4627427 140736757268816 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31333/tid=31335] ppid=31331 vsize=222696 CPUtime=1.09 cores=1,3,5,7
/proc/31333/task/31335/stat : 31335 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 2078 0 0 0 109 0 0 0 19 0 4 0 518867768 228040704 3252 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31333/tid=31336] ppid=31331 vsize=222696 CPUtime=1.09 cores=1,3,5,7
/proc/31333/task/31336/stat : 31336 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 1934 0 0 0 109 0 0 0 19 0 4 0 518867768 228040704 3252 33554432000 4194304 4627427 140736757268816 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 222696

[startup+1.20094 s]
/proc/loadavg: 2.19 3.38 4.97 5/180 31333
/proc/meminfo: memFree=31485440/32950928 swapFree=67111404/67111528
[pid=31333] ppid=31331 vsize=222856 CPUtime=4.77 cores=1,3,5,7
/proc/31333/stat : 31333 (strangenight2-m) R 31331 31333 30873 0 -1 4202496 9263 0 0 0 475 2 0 0 25 0 4 0 518867768 228204544 3600 33554432000 4194304 4627427 140736757268816 18446744073709551615 4507174 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31333/statm: 55714 3600 385 106 0 50685 0
[pid=31333/tid=31334] ppid=31331 vsize=222856 CPUtime=1.18 cores=1,3,5,7
/proc/31333/task/31334/stat : 31334 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 2384 0 0 0 118 0 0 0 19 0 4 0 518867768 228204544 3600 33554432000 4194304 4627427 140736757268816 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31333/tid=31335] ppid=31331 vsize=222856 CPUtime=1.18 cores=1,3,5,7
/proc/31333/task/31335/stat : 31335 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 2163 0 0 0 118 0 0 0 19 0 4 0 518867768 228204544 3600 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31333/tid=31336] ppid=31331 vsize=222856 CPUtime=1.19 cores=1,3,5,7
/proc/31333/task/31336/stat : 31336 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 2019 0 0 0 119 0 0 0 19 0 4 0 518867768 228204544 3600 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.77
Current children cumulated vsize (KiB) 222856

[startup+1.50089 s]
/proc/loadavg: 2.19 3.38 4.97 5/180 31333
/proc/meminfo: memFree=31485440/32950928 swapFree=67111404/67111528
[pid=31333] ppid=31331 vsize=230484 CPUtime=5.98 cores=1,3,5,7
/proc/31333/stat : 31333 (strangenight2-m) R 31331 31333 30873 0 -1 4202496 11779 0 0 0 595 3 0 0 25 0 4 0 518867768 236015616 6116 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309164 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31333/statm: 57621 6116 388 106 0 52592 0
[pid=31333/tid=31334] ppid=31331 vsize=230484 CPUtime=1.48 cores=1,3,5,7
/proc/31333/task/31334/stat : 31334 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 2628 0 0 0 148 0 0 0 19 0 4 0 518867768 236015616 6116 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31333/tid=31335] ppid=31331 vsize=230484 CPUtime=1.48 cores=1,3,5,7
/proc/31333/task/31335/stat : 31335 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 2384 0 0 0 148 0 0 0 20 0 4 0 518867768 236015616 6116 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31333/tid=31336] ppid=31331 vsize=230484 CPUtime=1.49 cores=1,3,5,7
/proc/31333/task/31336/stat : 31336 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 2220 0 0 0 149 0 0 0 19 0 4 0 518867768 236015616 6116 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 230484

[startup+3.10661 s]
/proc/loadavg: 2.65 3.46 4.99 9/184 31337
/proc/meminfo: memFree=31398884/32950928 swapFree=67111404/67111528
[pid=31333] ppid=31331 vsize=231172 CPUtime=12.39 cores=1,3,5,7
/proc/31333/stat : 31333 (strangenight2-m) R 31331 31333 30873 0 -1 4202496 24266 0 0 0 1235 4 0 0 25 0 4 0 518867768 236720128 11744 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31333/statm: 57793 11744 388 106 0 52764 0
[pid=31333/tid=31334] ppid=31331 vsize=231172 CPUtime=3.1 cores=1,3,5,7
/proc/31333/task/31334/stat : 31334 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 5774 0 0 0 309 1 0 0 25 0 4 0 518867768 236720128 11744 33554432000 4194304 4627427 140736757268816 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31333/tid=31335] ppid=31331 vsize=231172 CPUtime=3.08 cores=1,3,5,7
/proc/31333/task/31335/stat : 31335 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 6141 0 0 0 307 1 0 0 25 0 4 0 518867768 236720128 11744 33554432000 4194304 4627427 140736757268816 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31333/tid=31336] ppid=31331 vsize=231172 CPUtime=3.09 cores=1,3,5,7
/proc/31333/task/31336/stat : 31336 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 6085 0 0 0 309 0 0 0 25 0 4 0 518867768 236720128 11744 33554432000 4194304 4627427 140736757268816 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 231172

[startup+6.30105 s]
/proc/loadavg: 2.65 3.46 4.99 9/184 31338
/proc/meminfo: memFree=31366280/32950928 swapFree=67111404/67111528
[pid=31333] ppid=31331 vsize=224360 CPUtime=25.16 cores=1,3,5,7
/proc/31333/stat : 31333 (strangenight2-m) R 31331 31333 30873 0 -1 4202496 37440 0 0 0 2510 6 0 0 25 0 4 0 518867768 229744640 17432 33554432000 4194304 4627427 140736757268816 18446744073709551615 4507248 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31333/statm: 56090 17432 388 106 0 51061 0
[pid=31333/tid=31334] ppid=31331 vsize=224360 CPUtime=6.29 cores=1,3,5,7
/proc/31333/task/31334/stat : 31334 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 9584 0 0 0 628 1 0 0 25 0 4 0 518867768 229744640 17432 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31333/tid=31335] ppid=31331 vsize=224360 CPUtime=6.26 cores=1,3,5,7
/proc/31333/task/31335/stat : 31335 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 9970 0 0 0 625 1 0 0 25 0 4 0 518867768 229744640 17432 33554432000 4194304 4627427 140736757268816 18446744073709551615 4420191 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31333/tid=31336] ppid=31331 vsize=224360 CPUtime=6.29 cores=1,3,5,7
/proc/31333/task/31336/stat : 31336 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 8800 0 0 0 628 1 0 0 25 0 4 0 518867768 229744640 17432 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 224360

[startup+12.7009 s]
/proc/loadavg: 3.08 3.53 5.00 9/184 31338
/proc/meminfo: memFree=31297488/32950928 swapFree=67111404/67111528
[pid=31333] ppid=31331 vsize=251308 CPUtime=50.71 cores=1,3,5,7
/proc/31333/stat : 31333 (strangenight2-m) R 31331 31333 30873 0 -1 4202496 58375 0 0 0 5060 11 0 0 25 0 4 0 518867768 257339392 24340 33554432000 4194304 4627427 140736757268816 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31333/statm: 62827 24340 388 106 0 57798 0
[pid=31333/tid=31334] ppid=31331 vsize=251308 CPUtime=12.68 cores=1,3,5,7
/proc/31333/task/31334/stat : 31334 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 14652 0 0 0 1266 2 0 0 25 0 4 0 518867768 257339392 24340 33554432000 4194304 4627427 140736757268816 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31333/tid=31335] ppid=31331 vsize=251308 CPUtime=12.62 cores=1,3,5,7
/proc/31333/task/31335/stat : 31335 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 14203 0 0 0 1260 2 0 0 25 0 4 0 518867768 257339392 24340 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31333/tid=31336] ppid=31331 vsize=251308 CPUtime=12.68 cores=1,3,5,7
/proc/31333/task/31336/stat : 31336 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 14178 0 0 0 1266 2 0 0 25 0 4 0 518867768 257339392 24340 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 251308

[startup+25.5007 s]
/proc/loadavg: 4.24 3.77 5.06 9/184 31338
/proc/meminfo: memFree=31232332/32950928 swapFree=67111404/67111528
[pid=31333] ppid=31331 vsize=322368 CPUtime=101.84 cores=1,3,5,7
/proc/31333/stat : 31333 (strangenight2-m) R 31331 31333 30873 0 -1 4202496 89926 0 0 0 10164 20 0 0 25 0 4 0 518867768 330104832 32403 33554432000 4194304 4627427 140736757268816 18446744073709551615 4321603 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31333/statm: 80592 32403 388 106 0 75563 0
[pid=31333/tid=31334] ppid=31331 vsize=322368 CPUtime=25.49 cores=1,3,5,7
/proc/31333/task/31334/stat : 31334 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 23484 0 0 0 2545 4 0 0 25 0 4 0 518867768 330104832 32403 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31333/tid=31335] ppid=31331 vsize=322368 CPUtime=25.35 cores=1,3,5,7
/proc/31333/task/31335/stat : 31335 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 22448 0 0 0 2530 5 0 0 25 0 4 0 518867768 330104832 32403 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31333/tid=31336] ppid=31331 vsize=322368 CPUtime=25.49 cores=1,3,5,7
/proc/31333/task/31336/stat : 31336 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 21231 0 0 0 2544 5 0 0 25 0 4 0 518867768 330104832 32403 33554432000 4194304 4627427 140736757268816 18446744073709551615 4467852 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 322368

[startup+51.1012 s]
/proc/loadavg: 5.52 4.11 5.13 9/184 31339
/proc/meminfo: memFree=31176832/32950928 swapFree=67111404/67111528
[pid=31333] ppid=31331 vsize=308912 CPUtime=204.11 cores=1,3,5,7
/proc/31333/stat : 31333 (strangenight2-m) R 31331 31333 30873 0 -1 4202496 131459 0 0 0 20378 33 0 0 25 0 4 0 518867768 316325888 41831 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309089 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31333/statm: 77228 41831 388 106 0 72199 0
[pid=31333/tid=31334] ppid=31331 vsize=308912 CPUtime=51.09 cores=1,3,5,7
/proc/31333/task/31334/stat : 31334 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 34339 0 0 0 5102 7 0 0 25 0 4 0 518867768 316325888 41831 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31333/tid=31335] ppid=31331 vsize=308912 CPUtime=50.82 cores=1,3,5,7
/proc/31333/task/31335/stat : 31335 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 30297 0 0 0 5075 7 0 0 25 0 4 0 518867768 316325888 41831 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31333/tid=31336] ppid=31331 vsize=308912 CPUtime=51.09 cores=1,3,5,7
/proc/31333/task/31336/stat : 31336 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 32012 0 0 0 5100 9 0 0 25 0 4 0 518867768 316325888 41831 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 308912

[startup+102.301 s]
/proc/loadavg: 6.98 4.72 5.29 9/184 31340
/proc/meminfo: memFree=31087632/32950928 swapFree=67111404/67111528
[pid=31333] ppid=31331 vsize=335460 CPUtime=408.62 cores=1,3,5,7
/proc/31333/stat : 31333 (strangenight2-m) R 31331 31333 30873 0 -1 4202496 207369 0 0 0 40809 53 0 0 25 0 4 0 518867768 343511040 53719 33554432000 4194304 4627427 140736757268816 18446744073709551615 4467990 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31333/statm: 83865 53719 388 106 0 78836 0
[pid=31333/tid=31334] ppid=31331 vsize=335460 CPUtime=102.28 cores=1,3,5,7
/proc/31333/task/31334/stat : 31334 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 53187 0 0 0 10216 12 0 0 25 0 4 0 518867768 343511040 53719 33554432000 4194304 4627427 140736757268816 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31333/tid=31335] ppid=31331 vsize=335460 CPUtime=101.74 cores=1,3,5,7
/proc/31333/task/31335/stat : 31335 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 48441 0 0 0 10162 12 0 0 25 0 4 0 518867768 343511040 53719 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31333/tid=31336] ppid=31331 vsize=335460 CPUtime=102.29 cores=1,3,5,7
/proc/31333/task/31336/stat : 31336 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 50517 0 0 0 10215 14 0 0 25 0 4 0 518867768 343511040 53719 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 335460

[startup+162.301 s]

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

[pid=31333] ppid=31331 vsize=666204 CPUtime=2565.73 cores=1,3,5,7
/proc/31333/stat : 31333 (strangenight2-m) R 31331 31333 30873 0 -1 4202496 576946 0 0 0 256367 206 0 0 25 0 4 0 518867768 682192896 111476 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31333/statm: 166551 111476 388 106 0 161522 0
[pid=31333/tid=31334] ppid=31331 vsize=666204 CPUtime=642.29 cores=1,3,5,7
/proc/31333/task/31334/stat : 31334 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 148826 0 0 0 64176 53 0 0 25 0 4 0 518867768 682192896 111476 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31333/tid=31335] ppid=31331 vsize=666204 CPUtime=638.79 cores=1,3,5,7
/proc/31333/task/31335/stat : 31335 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 153526 0 0 0 63823 56 0 0 25 0 4 0 518867768 682192896 111476 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31333/tid=31336] ppid=31331 vsize=666204 CPUtime=642.3 cores=1,3,5,7
/proc/31333/task/31336/stat : 31336 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 140527 0 0 0 64177 53 0 0 25 0 4 0 518867768 682192896 111476 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2565.73
Current children cumulated vsize (KiB) 666204

[startup+702.301 s]
/proc/loadavg: 8.18 7.69 6.63 9/184 31356
/proc/meminfo: memFree=30625572/32950928 swapFree=67111404/67111528
[pid=31333] ppid=31331 vsize=735108 CPUtime=2805.41 cores=1,3,5,7
/proc/31333/stat : 31333 (strangenight2-m) R 31331 31333 30873 0 -1 4202496 601562 0 0 0 280322 219 0 0 25 0 4 0 518867768 752750592 119499 33554432000 4194304 4627427 140736757268816 18446744073709551615 4310094 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31333/statm: 183777 119499 388 106 0 178748 0
[pid=31333/tid=31334] ppid=31331 vsize=735108 CPUtime=702.3 cores=1,3,5,7
/proc/31333/task/31334/stat : 31334 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 156575 0 0 0 70172 58 0 0 25 0 4 0 518867768 752750592 119499 33554432000 4194304 4627427 140736757268816 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31333/tid=31335] ppid=31331 vsize=735108 CPUtime=698.48 cores=1,3,5,7
/proc/31333/task/31335/stat : 31335 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 161678 0 0 0 69787 61 0 0 25 0 4 0 518867768 752750592 119499 33554432000 4194304 4627427 140736757268816 18446744073709551615 4332023 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31333/tid=31336] ppid=31331 vsize=735108 CPUtime=702.3 cores=1,3,5,7
/proc/31333/task/31336/stat : 31336 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 148559 0 0 0 70174 56 0 0 25 0 4 0 518867768 752750592 119499 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.41
Current children cumulated vsize (KiB) 735108

[startup+762.301 s]
/proc/loadavg: 8.16 7.77 6.73 9/184 31358
/proc/meminfo: memFree=30566760/32950928 swapFree=67111404/67111528
[pid=31333] ppid=31331 vsize=711172 CPUtime=3045.09 cores=1,3,5,7
/proc/31333/stat : 31333 (strangenight2-m) R 31331 31333 30873 0 -1 4202496 635001 0 0 0 304273 236 0 0 25 0 4 0 518867768 728240128 126629 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31333/statm: 177793 126629 388 106 0 172764 0
[pid=31333/tid=31334] ppid=31331 vsize=711172 CPUtime=762.31 cores=1,3,5,7
/proc/31333/task/31334/stat : 31334 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 163669 0 0 0 76169 62 0 0 25 0 4 0 518867768 728240128 126629 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31333/tid=31335] ppid=31331 vsize=711172 CPUtime=758.15 cores=1,3,5,7
/proc/31333/task/31335/stat : 31335 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 169304 0 0 0 75751 64 0 0 25 0 4 0 518867768 728240128 126629 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31333/tid=31336] ppid=31331 vsize=711172 CPUtime=762.31 cores=1,3,5,7
/proc/31333/task/31336/stat : 31336 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 158994 0 0 0 76168 63 0 0 25 0 4 0 518867768 728240128 126629 33554432000 4194304 4627427 140736757268816 18446744073709551615 4420151 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3045.09
Current children cumulated vsize (KiB) 711172

[startup+822.301 s]
/proc/loadavg: 8.15 7.84 6.81 9/184 31359
/proc/meminfo: memFree=30546636/32950928 swapFree=67111404/67111528
[pid=31333] ppid=31331 vsize=716364 CPUtime=3284.77 cores=1,3,5,7
/proc/31333/stat : 31333 (strangenight2-m) R 31331 31333 30873 0 -1 4202496 656198 0 0 0 328231 246 0 0 25 0 4 0 518867768 733556736 131614 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31333/statm: 179091 131614 388 106 0 174062 0
[pid=31333/tid=31334] ppid=31331 vsize=716364 CPUtime=822.3 cores=1,3,5,7
/proc/31333/task/31334/stat : 31334 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 171852 0 0 0 82167 63 0 0 25 0 4 0 518867768 733556736 131614 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31333/tid=31335] ppid=31331 vsize=716364 CPUtime=817.83 cores=1,3,5,7
/proc/31333/task/31335/stat : 31335 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 177157 0 0 0 81714 69 0 0 25 0 4 0 518867768 733556736 131614 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31333/tid=31336] ppid=31331 vsize=716364 CPUtime=822.3 cores=1,3,5,7
/proc/31333/task/31336/stat : 31336 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 160098 0 0 0 82167 63 0 0 25 0 4 0 518867768 733556736 131614 33554432000 4194304 4627427 140736757268816 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.77
Current children cumulated vsize (KiB) 716364

[startup+882.301 s]
/proc/loadavg: 8.22 7.91 6.90 9/184 31361
/proc/meminfo: memFree=30490408/32950928 swapFree=67111404/67111528
[pid=31333] ppid=31331 vsize=730864 CPUtime=3524.45 cores=1,3,5,7
/proc/31333/stat : 31333 (strangenight2-m) R 31331 31333 30873 0 -1 4202496 685681 0 0 0 352188 257 0 0 25 0 4 0 518867768 748404736 138231 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31333/statm: 182716 138231 388 106 0 177687 0
[pid=31333/tid=31334] ppid=31331 vsize=730864 CPUtime=882.3 cores=1,3,5,7
/proc/31333/task/31334/stat : 31334 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 180665 0 0 0 88163 67 0 0 25 0 4 0 518867768 748404736 138231 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31333/tid=31335] ppid=31331 vsize=730864 CPUtime=877.5 cores=1,3,5,7
/proc/31333/task/31335/stat : 31335 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 185139 0 0 0 87679 71 0 0 25 0 4 0 518867768 748404736 138231 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31333/tid=31336] ppid=31331 vsize=730864 CPUtime=882.3 cores=1,3,5,7
/proc/31333/task/31336/stat : 31336 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 164810 0 0 0 88165 65 0 0 25 0 4 0 518867768 748404736 138231 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.45
Current children cumulated vsize (KiB) 730864

[startup+942.301 s]
/proc/loadavg: 8.13 7.94 6.97 9/184 31363
/proc/meminfo: memFree=30441012/32950928 swapFree=67111404/67111528
[pid=31333] ppid=31331 vsize=863072 CPUtime=3764.12 cores=1,3,5,7
/proc/31333/stat : 31333 (strangenight2-m) R 31331 31333 30873 0 -1 4202496 707652 0 0 0 376143 269 0 0 25 0 4 0 518867768 883785728 144077 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309242 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31333/statm: 215768 144077 388 106 0 210739 0
[pid=31333/tid=31334] ppid=31331 vsize=863072 CPUtime=942.31 cores=1,3,5,7
/proc/31333/task/31334/stat : 31334 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 189647 0 0 0 94159 72 0 0 25 0 4 0 518867768 883785728 144077 33554432000 4194304 4627427 140736757268816 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31333/tid=31335] ppid=31331 vsize=863072 CPUtime=937.18 cores=1,3,5,7
/proc/31333/task/31335/stat : 31335 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 190451 0 0 0 93644 74 0 0 25 0 4 0 518867768 883785728 144077 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31333/tid=31336] ppid=31331 vsize=863072 CPUtime=942.31 cores=1,3,5,7
/proc/31333/task/31336/stat : 31336 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 169850 0 0 0 94163 68 0 0 25 0 4 0 518867768 883785728 144077 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3764.12
Current children cumulated vsize (KiB) 863072

[startup+1002.3 s]
/proc/loadavg: 8.09 7.96 7.04 9/184 31364
/proc/meminfo: memFree=30440468/32950928 swapFree=67111404/67111528
[pid=31333] ppid=31331 vsize=708584 CPUtime=4003.8 cores=1,3,5,7
/proc/31333/stat : 31333 (strangenight2-m) R 31331 31333 30873 0 -1 4202496 734740 0 0 0 400099 281 0 0 25 0 4 0 518867768 725590016 137230 33554432000 4194304 4627427 140736757268816 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31333/statm: 177146 137230 388 106 0 172117 0
[pid=31333/tid=31334] ppid=31331 vsize=708584 CPUtime=1002.31 cores=1,3,5,7
/proc/31333/task/31334/stat : 31334 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 199410 0 0 0 100155 76 0 0 25 0 4 0 518867768 725590016 137230 33554432000 4194304 4627427 140736757268816 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31333/tid=31335] ppid=31331 vsize=708584 CPUtime=996.85 cores=1,3,5,7
/proc/31333/task/31335/stat : 31335 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 199128 0 0 0 99606 79 0 0 25 0 4 0 518867768 725590016 137230 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31333/tid=31336] ppid=31331 vsize=708584 CPUtime=1002.31 cores=1,3,5,7
/proc/31333/task/31336/stat : 31336 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 176977 0 0 0 100160 71 0 0 25 0 4 0 518867768 725590016 137230 33554432000 4194304 4627427 140736757268816 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.8
Current children cumulated vsize (KiB) 708584

[startup+1062.3 s]
/proc/loadavg: 8.09 7.98 7.10 9/184 31366
/proc/meminfo: memFree=30410172/32950928 swapFree=67111404/67111528
[pid=31333] ppid=31331 vsize=739216 CPUtime=4243.5 cores=1,3,5,7
/proc/31333/stat : 31333 (strangenight2-m) R 31331 31333 30873 0 -1 4202496 753115 0 0 0 424058 292 0 0 25 0 4 0 518867768 756957184 140515 33554432000 4194304 4627427 140736757268816 18446744073709551615 4428403 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31333/statm: 184804 140515 388 106 0 179775 0
[pid=31333/tid=31334] ppid=31331 vsize=739216 CPUtime=1062.31 cores=1,3,5,7
/proc/31333/task/31334/stat : 31334 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 202407 0 0 0 106154 77 0 0 25 0 4 0 518867768 756957184 140515 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31333/tid=31335] ppid=31331 vsize=739216 CPUtime=1056.53 cores=1,3,5,7
/proc/31333/task/31335/stat : 31335 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 206378 0 0 0 105570 83 0 0 25 0 4 0 518867768 756957184 140515 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31333/tid=31336] ppid=31331 vsize=739216 CPUtime=1062.31 cores=1,3,5,7
/proc/31333/task/31336/stat : 31336 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 178426 0 0 0 106160 71 0 0 25 0 4 0 518867768 756957184 140515 33554432000 4194304 4627427 140736757268816 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.5
Current children cumulated vsize (KiB) 739216

[startup+1122.3 s]
/proc/loadavg: 8.03 7.98 7.15 9/184 31367
/proc/meminfo: memFree=30383188/32950928 swapFree=67111404/67111528
[pid=31333] ppid=31331 vsize=907520 CPUtime=4483.16 cores=1,3,5,7
/proc/31333/stat : 31333 (strangenight2-m) R 31331 31333 30873 0 -1 4202496 778079 0 0 0 448012 304 0 0 25 0 4 0 518867768 929300480 149273 33554432000 4194304 4627427 140736757268816 18446744073709551615 4310117 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31333/statm: 226880 149273 388 106 0 221851 0
[pid=31333/tid=31334] ppid=31331 vsize=907520 CPUtime=1122.31 cores=1,3,5,7
/proc/31333/task/31334/stat : 31334 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 209868 0 0 0 112149 82 0 0 25 0 4 0 518867768 929300480 149273 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31333/tid=31335] ppid=31331 vsize=907520 CPUtime=1116.2 cores=1,3,5,7
/proc/31333/task/31335/stat : 31335 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 215246 0 0 0 111533 87 0 0 25 0 4 0 518867768 929300480 149273 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31333/tid=31336] ppid=31331 vsize=907520 CPUtime=1122.31 cores=1,3,5,7
/proc/31333/task/31336/stat : 31336 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 183629 0 0 0 112158 73 0 0 25 0 4 0 518867768 929300480 149273 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4483.16
Current children cumulated vsize (KiB) 907520

[startup+1182.31 s]
/proc/loadavg: 8.01 7.98 7.20 9/184 31369
/proc/meminfo: memFree=30366032/32950928 swapFree=67111404/67111528
[pid=31333] ppid=31331 vsize=820076 CPUtime=4722.86 cores=1,3,5,7
/proc/31333/stat : 31333 (strangenight2-m) R 31331 31333 30873 0 -1 4202496 813178 0 0 0 471966 320 0 0 25 0 4 0 518867768 839757824 150065 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31333/statm: 205019 150066 388 106 0 199990 0
[pid=31333/tid=31334] ppid=31331 vsize=820076 CPUtime=1182.31 cores=1,3,5,7
/proc/31333/task/31334/stat : 31334 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 220731 0 0 0 118146 85 0 0 25 0 4 0 518867768 839757824 150066 33554432000 4194304 4627427 140736757268816 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31333/tid=31335] ppid=31331 vsize=820076 CPUtime=1175.87 cores=1,3,5,7
/proc/31333/task/31335/stat : 31335 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 223625 0 0 0 117496 91 0 0 25 0 4 0 518867768 839757824 150066 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309149 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31333/tid=31336] ppid=31331 vsize=820076 CPUtime=1182.32 cores=1,3,5,7
/proc/31333/task/31336/stat : 31336 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 194610 0 0 0 118154 78 0 0 25 0 4 0 518867768 839757824 150066 33554432000 4194304 4627427 140736757268816 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.86
Current children cumulated vsize (KiB) 820076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.01 7.98 7.22 6/183 31370
/proc/meminfo: memFree=30431600/32950928 swapFree=67111404/67111528
[pid=31333] ppid=31331 vsize=939212 CPUtime=4800.35 cores=1,3,5,7
/proc/31333/stat : 31333 (strangenight2-m) R 31331 31333 30873 0 -1 4202496 819923 0 0 0 479711 324 0 0 25 0 4 0 518867768 961753088 155955 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309587 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31333/statm: 234803 155955 388 106 0 229774 0
[pid=31333/tid=31334] ppid=31331 vsize=939212 CPUtime=1201.72 cores=1,3,5,7
/proc/31333/task/31334/stat : 31334 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 223225 0 0 0 120085 87 0 0 25 0 4 0 518867768 961753088 155955 33554432000 4194304 4627427 140736757268816 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31333/tid=31335] ppid=31331 vsize=939212 CPUtime=1195.17 cores=1,3,5,7
/proc/31333/task/31335/stat : 31335 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 225452 0 0 0 119424 93 0 0 25 0 4 0 518867768 961753088 155955 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31333/tid=31336] ppid=31331 vsize=939212 CPUtime=1201.72 cores=1,3,5,7
/proc/31333/task/31336/stat : 31336 (strangenight2-m) R 31331 31333 30873 0 -1 4202560 196646 0 0 0 120093 79 0 0 25 0 4 0 518867768 961753088 155955 33554432000 4194304 4627427 140736757268816 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 939212

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): 1201.74
CPU time (s): 4800.41
CPU user time (s): 4797.14
CPU system time (s): 3.2705
CPU usage (%): 399.455
Max. virtual memory (cumulated for all children) (KiB): 939212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.14
system time used= 3.2705
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 819924
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= 528
involuntary context switches= 20276

runsolver used 1.86472 second user time and 4.70029 second system time

The end

Launcher Data 

Begin job on node120 at 2011-04-29 12:24:50
IDJOB=3173897
IDBENCH=82715
IDSOLVER=1586
FILE ID=node120/3173897-1304072690
RUNJOBID= node120-1304072690-31311
PBS_JOBID= 13170475
Free space on /tmp= 72068 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3173897-1304072690/watcher-3173897-1304072690 -o /tmp/evaluation-result-3173897-1304072690/solver-3173897-1304072690 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173897-1304072690.cnf

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

MD5SUM BENCH= b9af20624ed5bd46fea8950d0fddc198
RANDOM SEED=2117527671

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31485472 kB
Buffers:        451120 kB
Cached:         585600 kB
SwapCached:          8 kB
Active:         394592 kB
Inactive:       710040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31485472 kB
SwapTotal:    67111528 kB
SwapFree:     67111404 kB
Dirty:           11444 kB
Writeback:           0 kB
AnonPages:       67884 kB
Mapped:          15080 kB
Slab:           296580 kB
PageTables:       4712 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   271452 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= 72064 MiB
End job on node120 at 2011-04-29 12:44:54