Trace number 3366470

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

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v450-c1917-S528475885-007.SATISFIABLE.cnf
MD5SUM970ca2029fea75cb0f7721dfc724b428
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.014997
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of clauses1917
Sum of the clauses size5751
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31917
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 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-3366470-1305404810.cnf'
0.00/0.01	c -- header says num vars:            450
0.00/0.01	c -- header says num clauses:        1917
0.00/0.01	c -- clauses added:            0 learnts,         1917 normals,            0 xors
0.00/0.01	c -- vars added        450
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       450      1917         0         0      5751         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/1917/1917 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    450 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.23/0.85	c lits-rem:         0  cl-subs:        0  v-elim:      9  v-fix:    0  time:  0.00 s
3.23/0.85	c Finding binary XORs  T:     0.00 s  found:       0
3.23/0.85	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.23/0.85	c calculated reachability. Time: 0.00
3.23/0.85	c Calc default polars -  time:   0.00 s pos:     202 undec:      46 neg:     202
3.23/0.85	c =========================================================================================
3.23/0.85	c types(t): F = full restart, N = normal restart
3.23/0.85	c types(t): S = simplification begin/end, E = solution found
3.23/0.85	c restart types(rt): st = static, dy = dynamic
3.23/0.85	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.23/0.85	c  B st     0         0       441      1908         0         0      5768         0   no data   no data
3.23/0.85	c Decided on static restart strategy
3.23/0.85	c  N st     8      4913       441      1908         0      4818      5768    102821   no data   no data
3.23/0.85	c  N st    10     11295       441      1908         0      4478      5768     71022   no data   no data
3.23/0.85	c  N st    11     17039       441      1908         0     10106      5768    200562   no data   no data
4.43/1.15	c  F st    12     25001       441      1908         0     12347      5768    253580   no data   no data
4.43/1.15	c  N st    12     25001       441      1908         0     12347      5768    253580   no data   no data
5.23/1.35	c Decided on static restart strategy
5.23/1.35	c  N st    18     30001       441      1908         0     10661      5768    186042   no data   no data
5.23/1.35	c  S st    18     30001       441      1908         0     10661      5768    186042   no data   no data
5.23/1.35	c  S st    18     30504       441      1908         0     11163      5768    196486   no data   no data
5.23/1.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.23/1.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.23/1.35	c blocked clauses removed:        0 vars:      0 tried:         441 T: 0.00 s
5.23/1.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.23/1.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.23/1.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
5.23/1.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.23/1.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.23/1.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.63/1.45	c lits-rem:        71  cl-subs:      579  v-elim:      0  v-fix:    0  time:  0.04 s
5.63/1.45	c asymm  cl-useful: 0/1908/1908 lits-rem:0 time: 0.01
5.63/1.45	c calculated reachability. Time: 0.00
5.63/1.45	c  N st    18     30504       441      1908         0     10584      5768    183273   no data   no data
6.76/1.79	c  N st    20     37616       441      1908         0      9851      5768    150291   no data   no data
8.35/2.17	c  N st    21     44018       441      1908         0     16120      5768    292427   no data   no data
9.14/2.30	c  S st    22     45756       441      1908         0      9074      5768    120625   no data   no data
9.14/2.33	c  S st    22     46259       441      1908         0      9574      5768    131908   no data   no data
9.14/2.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.14/2.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.14/2.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.14/2.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.14/2.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.14/2.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
9.14/2.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.14/2.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.14/2.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.14/2.35	c lits-rem:        37  cl-subs:       49  v-elim:      0  v-fix:    0  time:  0.01 s
9.14/2.35	c vivif2 --  cl tried     1908 cl shrink        0 lits rem          0 time: 0.00
9.14/2.35	c vivif2 --  cl tried     9525 cl shrink        0 lits rem          0 time: 0.00
9.14/2.35	c asymm  cl-useful: 0/1908/1908 lits-rem:0 time: 0.00
9.14/2.35	c calculated reachability. Time: 0.00
9.14/2.35	c  N st    22     46259       441      1908         0      9525      5768    130810   no data   no data
12.73/3.29	c  N st    23     60660       441      1908         0     13890      5768    214196   no data   no data
15.52/3.90	c  N st    24     69388       441      1908         0     11668      5768    156966   no data   no data
15.52/3.90	c  S st    24     69388       441      1908         0     11668      5768    156966   no data   no data
15.52/3.94	c  S st    24     69893       441      1908         0     12169      5768    167817   no data   no data
15.52/3.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.52/3.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.52/3.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.52/3.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.52/3.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.52/3.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
15.52/3.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.52/3.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.52/3.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.52/3.96	c lits-rem:        61  cl-subs:      107  v-elim:      0  v-fix:    0  time:  0.01 s
15.52/3.96	c vivif2 --  cl tried     1908 cl shrink        0 lits rem          0 time: 0.00
15.52/3.96	c vivif2 --  cl tried    12062 cl shrink        0 lits rem          0 time: 0.00
15.52/3.97	c asymm  cl-useful: 0/1908/1908 lits-rem:0 time: 0.01
15.52/3.97	c calculated reachability. Time: 0.00
15.52/3.97	c  N st    24     69893       441      1908         0     12062      5768    165332   no data   no data
20.33/5.15	c  F st    25     87500       441      1908         0     17464      5768    279533   no data   no data
20.33/5.15	c  N st    25     87500       441      1908         0     17464      5768    279533   no data   no data
21.90/5.54	c Decided on static restart strategy
22.70/5.78	c  N st    32     95537       441      1908         0     25338      5768    448378   no data   no data
25.49/6.42	c  N st    34    104839       441      1908         0     21736      5768    353320   no data   no data
25.49/6.42	c  S st    34    104839       441      1908         0     21736      5768    353320   no data   no data
25.49/6.47	c  S st    34    105344       441      1908         0     22240      5768    364159   no data   no data
25.49/6.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.49/6.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
25.49/6.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.49/6.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.49/6.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.49/6.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
25.49/6.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.49/6.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
25.49/6.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.29/6.61	c lits-rem:        90  cl-subs:      808  v-elim:      0  v-fix:    0  time:  0.12 s
26.29/6.61	c vivif2 --  cl tried     1908 cl shrink        0 lits rem          0 time: 0.00
26.29/6.62	c vivif2 --  cl tried    21432 cl shrink        0 lits rem          0 time: 0.00
26.29/6.63	c asymm  cl-useful: 0/1908/1908 lits-rem:0 time: 0.01
26.29/6.63	c calculated reachability. Time: 0.00
26.29/6.63	c  N st    34    105344       441      1908         0     21432      5768    346343   no data   no data
29.53/7.41	c  N st    35    114942       441      1908         0     17123      5768    229397   no data   no data
34.27/8.61	c  N st    36    129340       441      1908         0     16538      5768    206814   no data   no data
41.45/10.45	c  N st    37    150935       441      1908         0     22032      5768    315179   no data   no data
44.24/11.14	c  S st    38    158017       441      1908         0     28904      5768    465309   no data   no data
44.64/11.21	c  S st    38    158519       441      1908         0     29400      5768    476446   no data   no data
44.64/11.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.64/11.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
44.64/11.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.64/11.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.64/11.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.64/11.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
44.64/11.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.64/11.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
44.64/11.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.84/11.57	c lits-rem:       213  cl-subs:     1460  v-elim:      0  v-fix:    0  time:  0.32 s
45.84/11.57	c vivif2 --  cl tried     1908 cl shrink        0 lits rem          0 time: 0.00
45.84/11.57	c vivif2 --  cl tried    27940 cl shrink        0 lits rem          0 time: 0.00
45.84/11.59	c asymm  cl-useful: 0/1908/1908 lits-rem:0 time: 0.02
45.84/11.59	c calculated reachability. Time: 0.00
45.84/11.59	c  N st    38    158519       441      1908         0     27940      5768    444778   no data   no data
65.77/16.54	c  N st    39    207107       441      1908         0     22627      5768    297500   no data   no data
78.13/19.68	c  N st    40    237778       441      1908         0     32905      5768    487047   no data   no data
78.13/19.68	c  S st    40    237778       441      1908         0     32905      5768    487047   no data   no data
78.53/19.76	c  S st    40    238280       441      1908         0     33407      5768    497801   no data   no data
78.53/19.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
78.53/19.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
78.53/19.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
78.53/19.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
78.53/19.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
78.53/19.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
78.53/19.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
78.53/19.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
78.53/19.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
80.94/20.36	c lits-rem:       492  cl-subs:     2664  v-elim:      0  v-fix:    0  time:  0.56 s
80.94/20.36	c vivif2 --  cl tried     1908 cl shrink        0 lits rem          0 time: 0.00
80.94/20.36	c vivif2 --  cl tried    30743 cl shrink        0 lits rem          0 time: 0.01
80.94/20.38	c asymm  cl-useful: 0/1908/1908 lits-rem:0 time: 0.02
80.94/20.38	c calculated reachability. Time: 0.00
80.94/20.38	c  N st    40    238280       441      1908         0     30743      5768    447133   no data   no data
110.45/27.79	c  F st    41    306251       441      1908         0     32754      5768    446506   no data   no data
110.45/27.79	c  N st    41    306251       441      1908         0     32754      5768    446506   no data   no data
113.23/28.41	c Decided on static restart strategy
124.00/31.15	c  N st    51    334555       441      1908         0     37062      5768    554336   no data   no data
134.81/33.82	c  N st    53    357422       441      1908         0     35021      5768    484322   no data   no data
134.81/33.82	c  S st    53    357422       441      1908         0     35021      5768    484322   no data   no data
135.16/33.91	c  S st    53    357929       441      1908         0     35527      5768    495480   no data   no data
135.16/33.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
135.16/33.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
135.16/33.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
135.16/33.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
135.16/33.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
135.16/33.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
135.16/33.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
135.16/33.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
135.16/33.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
135.96/34.18	c lits-rem:       186  cl-subs:     1215  v-elim:      0  v-fix:    0  time:  0.24 s
135.96/34.18	c vivif2 --  cl tried     1908 cl shrink        0 lits rem          0 time: 0.00
135.96/34.19	c vivif2 --  cl tried    34312 cl shrink        0 lits rem          0 time: 0.01
136.36/34.21	c asymm  cl-useful: 0/1908/1908 lits-rem:0 time: 0.02
136.36/34.21	c calculated reachability. Time: 0.00
136.36/34.21	c  N st    53    357929       441      1908         0     34312      5768    470766   no data   no data
153.51/38.53	c  N st    54    390321       441      1908         0     40580      5768    588757   no data   no data
179.83/45.19	c  N st    55    438909       441      1908         0     34275      5768    423709   no data   no data
219.71/55.13	c  N st    56    511791       441      1908         0     47776      5768    701324   no data   no data
234.87/58.93	c  N st    57    536895       441      1908         0     41986      5768    540753   no data   no data
234.87/58.93	c  S st    57    536895       441      1908         0     41986      5768    540753   no data   no data
235.29/59.04	c  S st    57    537401       441      1908         0     42492      5768    551971   no data   no data
235.29/59.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
235.29/59.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
235.29/59.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
235.29/59.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
235.29/59.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
235.29/59.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
235.29/59.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
235.29/59.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
235.29/59.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
237.26/59.59	c lits-rem:       281  cl-subs:     2188  v-elim:      0  v-fix:    0  time:  0.51 s
237.26/59.59	c vivif2 --  cl tried     1908 cl shrink        0 lits rem          0 time: 0.00
237.66/59.60	c vivif2 --  cl tried    40304 cl shrink        0 lits rem          0 time: 0.01
237.66/59.63	c asymm  cl-useful: 0/1908/1908 lits-rem:0 time: 0.02
237.66/59.63	c calculated reachability. Time: 0.00
237.66/59.63	c  N st    57    537401       441      1908         0     40304      5768    511101   no data   no data
341.35/85.69	c  N st    58    701387       441      1908         0     69012      5768   1045301   no data   no data
409.95/102.87	c  N st    59    806105       441      1908         0     62917      5768    865455   no data   no data
409.95/102.87	c  S st    59    806105       441      1908         0     62917      5768    865455   no data   no data
410.76/103.07	c  S st    59    806607       441      1908         0     63419      5768    876770   no data   no data
410.76/103.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
410.76/103.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
410.76/103.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
410.76/103.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
410.76/103.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
410.76/103.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
410.76/103.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
411.19/103.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
411.19/103.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
419.11/105.19	c lits-rem:       303  cl-subs:     6707  v-elim:      0  v-fix:    0  time:  2.05 s
419.11/105.19	c vivif2 --  cl tried     1908 cl shrink        0 lits rem          0 time: 0.00
419.11/105.20	c vivif2 --  cl tried    56712 cl shrink        0 lits rem          0 time: 0.01
419.53/105.25	c asymm  cl-useful: 0/1908/1908 lits-rem:0 time: 0.04
419.53/105.25	c calculated reachability. Time: 0.00
419.53/105.25	c  N st    59    806607       441      1908         0     56712      5768    765040   no data   no data
612.13/153.51	c  F st    60   1071876       441      1908         0     73065      5768   1112388   no data   no data
612.13/153.51	c  N st    60   1071876       441      1908         0     73065      5768   1112388   no data   no data
616.93/154.74	c Decided on static restart strategy
635.65/159.48	c  N st    70   1100181       441      1908         0     56948      5768    684594   no data   no data
669.15/167.82	c  N st    72   1136175       441      1908         0     47258      5768    464727   no data   no data
695.48/174.42	c  N st    73   1168567       441      1908         0     78442      5768   1107857   no data   no data
731.40/183.45	c  N st    74   1209911       441      1908         0     72938      5768    977238   no data   no data
731.40/183.45	c  S st    74   1209911       441      1908         0     72938      5768    977238   no data   no data
732.14/183.67	c  S st    74   1210413       441      1908         0     73438      5768    988430   no data   no data
732.14/183.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
732.54/183.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
732.54/183.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
732.54/183.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
732.54/183.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
732.54/183.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
732.54/183.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
732.54/183.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
732.54/183.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
746.50/187.24	c lits-rem:       274  cl-subs:     6698  v-elim:      0  v-fix:    0  time:  3.49 s
746.50/187.24	c vivif2 --  cl tried     1908 cl shrink        0 lits rem          0 time: 0.00
746.50/187.25	c vivif2 --  cl tried    66740 cl shrink        0 lits rem          0 time: 0.01
746.91/187.33	c asymm  cl-useful: 0/1908/1908 lits-rem:0 time: 0.07
746.91/187.33	c calculated reachability. Time: 0.00
746.91/187.33	c  N st    74   1210413       441      1908         0     66740      5768    860801   no data   no data
823.10/206.46	c  N st    75   1283296       441      1908         0     91041      5768   1404262   no data   no data
928.38/232.88	c  N st    76   1392620       441      1908         0     51520      5768    487327   no data   no data
1069.54/268.22	c  N st    77   1556604       441      1908         0     56488      5768    564331   no data   no data
1217.50/305.32	c  N st    78   1710414       441      1908         0     97353      5768   1471401   no data   no data
1217.50/305.32	c  S st    78   1710414       441      1908         0     97353      5768   1471401   no data   no data
1218.69/305.63	c  S st    78   1710916       441      1908         0     97852      5768   1482500   no data   no data
1218.69/305.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1218.69/305.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1218.69/305.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1218.69/305.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1218.69/305.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1218.69/305.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
1218.69/305.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1219.09/305.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1219.09/305.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1258.56/315.62	c lits-rem:       767  cl-subs:    11053  v-elim:      0  v-fix:    0  time:  9.87 s
1258.56/315.62	c vivif2 --  cl tried     1908 cl shrink        0 lits rem          0 time: 0.00
1258.56/315.64	c vivif2 --  cl tried    86799 cl shrink        0 lits rem          0 time: 0.02
1258.95/315.72	c asymm  cl-useful: 0/1908/1908 lits-rem:0 time: 0.08
1258.95/315.73	c calculated reachability. Time: 0.00
1258.95/315.73	c  N st    78   1710916       441      1908         0     86799      5768   1247078   no data   no data
1635.06/410.02	c  N st    79   2079880       441      1908         0     99107      5768   1401929   no data   no data
1788.61/448.52	c  N st    80   2210918       441      1908         0    103010      5768   1401074   no data   no data
1788.61/448.52	c  S st    80   2210918       441      1908         0    103010      5768   1401074   no data   no data
1789.75/448.82	c  S st    80   2211422       441      1908         0    103513      5768   1413645   no data   no data
1789.75/448.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1789.75/448.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1789.75/448.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1789.75/448.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1789.75/448.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1789.75/448.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
1789.75/448.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1790.15/448.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1790.15/448.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1821.25/456.75	c lits-rem:       672  cl-subs:    11923  v-elim:      0  v-fix:    0  time:  7.79 s
1821.25/456.75	c vivif2 --  cl tried     1908 cl shrink        0 lits rem          0 time: 0.00
1821.25/456.77	c vivif2 --  cl tried    91590 cl shrink        0 lits rem          0 time: 0.02
1821.65/456.85	c asymm  cl-useful: 0/1908/1908 lits-rem:0 time: 0.09
1821.65/456.86	c calculated reachability. Time: 0.00
1821.65/456.86	c  N st    80   2211422       441      1908         0     91590      5768   1187822   no data   no data
2386.74/598.54	c  N st    81   2711422       441      1908         0    115197      5768   1577561   no data   no data
2386.74/598.54	c  S st    81   2711422       441      1908         0    115197      5768   1577561   no data   no data
2388.34/598.92	c  S st    81   2711925       441      1908         0    115698      5768   1588651   no data   no data
2388.34/598.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2388.34/598.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
2388.34/598.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2388.34/598.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2388.34/598.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2388.34/598.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
2388.34/598.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2388.74/599.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2388.74/599.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2421.04/607.10	c lits-rem:       427  cl-subs:    12221  v-elim:      0  v-fix:    0  time:  8.04 s
2421.04/607.10	c vivif2 --  cl tried     1908 cl shrink        0 lits rem          0 time: 0.00
2421.04/607.12	c vivif2 --  cl tried   103477 cl shrink        0 lits rem          0 time: 0.02
2421.44/607.23	c asymm  cl-useful: 0/1908/1908 lits-rem:0 time: 0.11
2421.44/607.23	c calculated reachability. Time: 0.00
2421.44/607.23	c  N st    81   2711925       441      1908         0    103477      5768   1374995   no data   no data
3097.44/776.72	c  N st    82   3211926       441      1908         0     80043      5768    757630   no data   no data
3097.44/776.72	c  S st    82   3211926       441      1908         0     80043      5768    757630   no data   no data
3099.04/777.13	c  S st    82   3212427       441      1908         0     80542      5768    769068   no data   no data
3099.04/777.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3099.44/777.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.06
3099.44/777.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3099.44/777.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3099.44/777.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3099.44/777.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
3099.44/777.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3099.44/777.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3099.44/777.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3101.43/777.73	c lits-rem:        92  cl-subs:      688  v-elim:      0  v-fix:    0  time:  0.47 s
3101.43/777.73	c vivif2 --  cl tried     1908 cl shrink        0 lits rem          0 time: 0.00
3101.43/777.75	c vivif2 --  cl tried    79854 cl shrink        0 lits rem          0 time: 0.02
3101.83/777.87	c asymm  cl-useful: 0/1908/1908 lits-rem:0 time: 0.12
3101.83/777.87	c calculated reachability. Time: 0.00
3101.83/777.87	c  N st    82   3212427       441      1908         0     79854      5768    756250   no data   no data
3804.55/954.02	c  N st    83   3712428       441      1908         0     90070      5768    893336   no data   no data
3804.55/954.02	c  S st    83   3712428       441      1908         0     90070      5768    893336   no data   no data
3805.35/954.30	c  S st    83   3712938       441      1908         0     90579      5768    905191   no data   no data
3805.75/954.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3805.75/954.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3805.75/954.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3805.75/954.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3805.75/954.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3805.75/954.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
3805.75/954.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3805.75/954.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3805.75/954.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3807.74/954.86	c lits-rem:       112  cl-subs:     1629  v-elim:      0  v-fix:    0  time:  0.47 s
3807.74/954.86	c vivif2 --  cl tried     1908 cl shrink        0 lits rem          0 time: 0.00
3807.74/954.88	c vivif2 --  cl tried    88950 cl shrink        0 lits rem          0 time: 0.01
3808.14/954.96	c asymm  cl-useful: 0/1908/1908 lits-rem:0 time: 0.08
3808.14/954.96	c calculated reachability. Time: 0.00
3808.14/954.96	c  N st    83   3712938       441      1908         0     88950      5768    877141   no data   no data
3872.40/971.04	c  F st    84   3751562       441      1908         0    126325      5768   1707754   no data   no data
3872.40/971.04	c  N st    84   3751562       441      1908         0    126325      5768   1707754   no data   no data
3884.31/974.08	c Decided on static restart strategy
3928.99/985.30	c  N st    94   3779862       441      1908         0    153791      5768   2299548   no data   no data
3984.81/999.21	c  N st    96   3815857       441      1908         0    106511      5768   1261072   no data   no data
4037.86/1012.51	c  N st    97   3848249       441      1908         0    137831      5768   2001241   no data   no data
4124.80/1034.31	c  N st    98   3896837       441      1908         0    101513      5768   1121649   no data   no data
4256.41/1067.36	c  N st    99   3969720       441      1908         0     87797      5768    809049   no data   no data
4419.53/1108.25	c  N st   100   4079044       441      1908         0    108674      5768   1294373   no data   no data
4652.45/1166.69	c  N st   101   4212940       441      1908         0    152789      5768   2213289   no data   no data
4652.45/1166.69	c  S st   101   4212940       441      1908         0    152789      5768   2213289   no data   no data
4654.84/1167.24	c  S st   101   4213449       441      1908         0    153296      5768   2225429   no data   no data
4654.84/1167.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4655.24/1167.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.08
4655.24/1167.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4655.24/1167.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4655.24/1167.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4655.24/1167.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
4655.24/1167.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4655.24/1167.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4655.64/1167.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4714.28/1182.21	c lits-rem:      1221  cl-subs:    11512  v-elim:      0  v-fix:    0  time: 14.77 s
4714.28/1182.21	c vivif2 --  cl tried     1908 cl shrink        0 lits rem          0 time: 0.00
4714.71/1182.24	c vivif2 --  cl tried   141784 cl shrink        0 lits rem          0 time: 0.03
4715.05/1182.39	c asymm  cl-useful: 0/1908/1908 lits-rem:0 time: 0.15
4715.45/1182.40	c calculated reachability. Time: 0.00
4715.45/1182.40	c  N st   101   4213449       441      1908         0    141784      5768   2010241   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-3366470-1305404810/watcher-3366470-1305404810 -o /tmp/evaluation-result-3366470-1305404810/solver-3366470-1305404810 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366470-1305404810.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.07 7.60 7.17 5/373 17431
/proc/meminfo: memFree=22388864/32951124 swapFree=67111348/67111528
[pid=17431] ppid=17429 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/17431/stat : 17431 (strangenight2-m) R 17429 17431 16711 0 -1 4202496 411 0 0 0 0 0 0 0 25 0 4 0 652078733 52396032 351 33554432000 4194304 4580107 140735971892272 18446744073709551615 47093390423976 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17431/statm: 12792 351 302 95 0 7774 0
[pid=17431/tid=17432] ppid=17429 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/17431/task/17432/stat : 17432 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 652078733 52396032 351 33554432000 4194304 4580107 140735971892272 18446744073709551615 47093390423581 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17431/tid=17433] ppid=17429 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/17431/task/17433/stat : 17433 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652078733 52396032 351 33554432000 4194304 4580107 140735971892272 18446744073709551615 47093390423986 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17431/tid=17434] ppid=17429 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/17431/task/17434/stat : 17434 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652078733 52396032 351 33554432000 4194304 4580107 140735971892272 18446744073709551615 47093390423577 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.101443 s]
/proc/loadavg: 8.07 7.60 7.17 5/373 17431
/proc/meminfo: memFree=22388864/32951124 swapFree=67111348/67111528
[pid=17431] ppid=17429 vsize=285000 CPUtime=3.23 cores=1,3,5,7
/proc/17431/stat : 17431 (strangenight2-m) R 17429 17431 16711 0 -1 4202496 4903 0 0 0 322 1 0 0 19 0 4 0 652078733 291840000 2421 33554432000 4194304 4580107 140735971892272 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17431/statm: 71250 2421 377 95 0 66232 0
[pid=17431/tid=17432] ppid=17429 vsize=285000 CPUtime=0.81 cores=1,3,5,7
/proc/17431/task/17432/stat : 17432 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 1141 0 0 0 81 0 0 0 18 0 4 0 652078733 291840000 2421 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17431/tid=17433] ppid=17429 vsize=285000 CPUtime=0.79 cores=1,3,5,7
/proc/17431/task/17433/stat : 17433 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 1144 0 0 0 79 0 0 0 19 0 4 0 652078733 291840000 2421 33554432000 4194304 4580107 140735971892272 18446744073709551615 4293932 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17431/tid=17434] ppid=17429 vsize=285000 CPUtime=0.8 cores=1,3,5,7
/proc/17431/task/17434/stat : 17434 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 1080 0 0 0 80 0 0 0 18 0 4 0 652078733 291840000 2421 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.23
Current children cumulated vsize (KiB) 285000

[startup+0.916602 s]
/proc/loadavg: 8.07 7.60 7.17 5/373 17431
/proc/meminfo: memFree=22388864/32951124 swapFree=67111348/67111528
[pid=17431] ppid=17429 vsize=285000 CPUtime=3.63 cores=1,3,5,7
/proc/17431/stat : 17431 (strangenight2-m) R 17429 17431 16711 0 -1 4202496 5118 0 0 0 362 1 0 0 19 0 4 0 652078733 291840000 2636 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294639 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17431/statm: 71250 2636 377 95 0 66232 0
[pid=17431/tid=17432] ppid=17429 vsize=285000 CPUtime=0.91 cores=1,3,5,7
/proc/17431/task/17432/stat : 17432 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 1189 0 0 0 91 0 0 0 19 0 4 0 652078733 291840000 2636 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17431/tid=17433] ppid=17429 vsize=285000 CPUtime=0.89 cores=1,3,5,7
/proc/17431/task/17433/stat : 17433 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 1197 0 0 0 89 0 0 0 19 0 4 0 652078733 291840000 2636 33554432000 4194304 4580107 140735971892272 18446744073709551615 4293979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17431/tid=17434] ppid=17429 vsize=285000 CPUtime=0.9 cores=1,3,5,7
/proc/17431/task/17434/stat : 17434 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 1142 0 0 0 90 0 0 0 19 0 4 0 652078733 291840000 2636 33554432000 4194304 4580107 140735971892272 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 285000

[startup+1.01658 s]
/proc/loadavg: 8.07 7.60 7.17 5/373 17431
/proc/meminfo: memFree=22388864/32951124 swapFree=67111348/67111528
[pid=17431] ppid=17429 vsize=285168 CPUtime=4.03 cores=1,3,5,7
/proc/17431/stat : 17431 (strangenight2-m) R 17429 17431 16711 0 -1 4202496 5372 0 0 0 402 1 0 0 19 0 4 0 652078733 292012032 2890 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17431/statm: 71292 2890 378 95 0 66274 0
[pid=17431/tid=17432] ppid=17429 vsize=285168 CPUtime=1.01 cores=1,3,5,7
/proc/17431/task/17432/stat : 17432 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 1245 0 0 0 101 0 0 0 19 0 4 0 652078733 292012032 2891 33554432000 4194304 4580107 140735971892272 18446744073709551615 4301724 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17431/tid=17433] ppid=17429 vsize=285168 CPUtime=0.99 cores=1,3,5,7
/proc/17431/task/17433/stat : 17433 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 1253 0 0 0 99 0 0 0 19 0 4 0 652078733 292012032 2891 33554432000 4194304 4580107 140735971892272 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17431/tid=17434] ppid=17429 vsize=285168 CPUtime=1 cores=1,3,5,7
/proc/17431/task/17434/stat : 17434 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 1219 0 0 0 100 0 0 0 19 0 4 0 652078733 292012032 2891 33554432000 4194304 4580107 140735971892272 18446744073709551615 4293923 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 285168

[startup+1.11657 s]
/proc/loadavg: 8.07 7.60 7.17 5/373 17431
/proc/meminfo: memFree=22388864/32951124 swapFree=67111348/67111528
[pid=17431] ppid=17429 vsize=285376 CPUtime=4.43 cores=1,3,5,7
/proc/17431/stat : 17431 (strangenight2-m) R 17429 17431 16711 0 -1 4202496 5786 0 0 0 442 1 0 0 19 0 4 0 652078733 292225024 3001 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17431/statm: 71344 3001 378 95 0 66326 0
[pid=17431/tid=17432] ppid=17429 vsize=285376 CPUtime=1.11 cores=1,3,5,7
/proc/17431/task/17432/stat : 17432 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 1311 0 0 0 111 0 0 0 19 0 4 0 652078733 292225024 3001 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17431/tid=17433] ppid=17429 vsize=285376 CPUtime=1.09 cores=1,3,5,7
/proc/17431/task/17433/stat : 17433 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 1329 0 0 0 109 0 0 0 19 0 4 0 652078733 292225024 3001 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17431/tid=17434] ppid=17429 vsize=285376 CPUtime=1.1 cores=1,3,5,7
/proc/17431/task/17434/stat : 17434 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 1413 0 0 0 110 0 0 0 19 0 4 0 652078733 292225024 3001 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.43
Current children cumulated vsize (KiB) 285376

[startup+1.5005 s]
/proc/loadavg: 8.07 7.60 7.17 5/373 17431
/proc/meminfo: memFree=22388864/32951124 swapFree=67111348/67111528
[pid=17431] ppid=17429 vsize=285584 CPUtime=5.96 cores=1,3,5,7
/proc/17431/stat : 17431 (strangenight2-m) R 17429 17431 16711 0 -1 4202496 8207 0 0 0 595 1 0 0 20 0 4 0 652078733 292438016 4446 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294818 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17431/statm: 71396 4446 379 95 0 66378 0
[pid=17431/tid=17432] ppid=17429 vsize=285584 CPUtime=1.49 cores=1,3,5,7
/proc/17431/task/17432/stat : 17432 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 1639 0 0 0 149 0 0 0 20 0 4 0 652078733 292438016 4446 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17431/tid=17433] ppid=17429 vsize=285584 CPUtime=1.47 cores=1,3,5,7
/proc/17431/task/17433/stat : 17433 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 1666 0 0 0 147 0 0 0 19 0 4 0 652078733 292438016 4446 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17431/tid=17434] ppid=17429 vsize=285584 CPUtime=1.48 cores=1,3,5,7
/proc/17431/task/17434/stat : 17434 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 1610 0 0 0 148 0 0 0 20 0 4 0 652078733 292438016 4446 33554432000 4194304 4580107 140735971892272 18446744073709551615 4340667 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 285584

[startup+3.10021 s]
/proc/loadavg: 8.07 7.61 7.17 9/377 17435
/proc/meminfo: memFree=22348604/32951124 swapFree=67111348/67111528
[pid=17431] ppid=17429 vsize=290508 CPUtime=12.33 cores=1,3,5,7
/proc/17431/stat : 17431 (strangenight2-m) R 17429 17431 16711 0 -1 4202496 16956 0 0 0 1230 3 0 0 25 0 4 0 652078733 297480192 8225 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294510 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17431/statm: 72627 8225 379 95 0 67609 0
[pid=17431/tid=17432] ppid=17429 vsize=290508 CPUtime=3.08 cores=1,3,5,7
/proc/17431/task/17432/stat : 17432 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 3730 0 0 0 308 0 0 0 25 0 4 0 652078733 297480192 8225 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17431/tid=17433] ppid=17429 vsize=290508 CPUtime=3.04 cores=1,3,5,7
/proc/17431/task/17433/stat : 17433 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 4571 0 0 0 304 0 0 0 25 0 4 0 652078733 297480192 8225 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17431/tid=17434] ppid=17429 vsize=290508 CPUtime=3.08 cores=1,3,5,7
/proc/17431/task/17434/stat : 17434 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 4205 0 0 0 308 0 0 0 25 0 4 0 652078733 297480192 8225 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 290508

[startup+6.31462 s]
/proc/loadavg: 8.07 7.61 7.17 9/377 17435
/proc/meminfo: memFree=22332516/32951124 swapFree=67111348/67111528
[pid=17431] ppid=17429 vsize=297280 CPUtime=25.14 cores=1,3,5,7
/proc/17431/stat : 17431 (strangenight2-m) R 17429 17431 16711 0 -1 4202496 26203 0 0 0 2510 4 0 0 25 0 4 0 652078733 304414720 11670 33554432000 4194304 4580107 140735971892272 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17431/statm: 74320 11670 379 95 0 69302 0
[pid=17431/tid=17432] ppid=17429 vsize=297280 CPUtime=6.3 cores=1,3,5,7
/proc/17431/task/17432/stat : 17432 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 6617 0 0 0 629 1 0 0 25 0 4 0 652078733 304414720 11670 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17431/tid=17433] ppid=17429 vsize=297280 CPUtime=6.23 cores=1,3,5,7
/proc/17431/task/17433/stat : 17433 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 7165 0 0 0 622 1 0 0 25 0 4 0 652078733 304414720 11670 33554432000 4194304 4580107 140735971892272 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17431/tid=17434] ppid=17429 vsize=297280 CPUtime=6.3 cores=1,3,5,7
/proc/17431/task/17434/stat : 17434 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 5919 0 0 0 629 1 0 0 25 0 4 0 652078733 304414720 11670 33554432000 4194304 4580107 140735971892272 18446744073709551615 4306246 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 297280

[startup+12.7005 s]
/proc/loadavg: 8.06 7.61 7.18 9/377 17435
/proc/meminfo: memFree=22311016/32951124 swapFree=67111348/67111528
[pid=17431] ppid=17429 vsize=301524 CPUtime=50.62 cores=1,3,5,7
/proc/17431/stat : 17431 (strangenight2-m) R 17429 17431 16711 0 -1 4202496 42140 0 0 0 5055 7 0 0 25 0 4 0 652078733 308760576 16442 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294462 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17431/statm: 75381 16442 379 95 0 70363 0
[pid=17431/tid=17432] ppid=17429 vsize=301524 CPUtime=12.69 cores=1,3,5,7
/proc/17431/task/17432/stat : 17432 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 9975 0 0 0 1267 2 0 0 25 0 4 0 652078733 308760576 16442 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17431/tid=17433] ppid=17429 vsize=301524 CPUtime=12.55 cores=1,3,5,7
/proc/17431/task/17433/stat : 17433 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 10131 0 0 0 1253 2 0 0 25 0 4 0 652078733 308760576 16442 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17431/tid=17434] ppid=17429 vsize=301524 CPUtime=12.68 cores=1,3,5,7
/proc/17431/task/17434/stat : 17434 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 10204 0 0 0 1267 1 0 0 25 0 4 0 652078733 308760576 16442 33554432000 4194304 4580107 140735971892272 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 301524

[startup+25.5011 s]
/proc/loadavg: 8.12 7.65 7.19 9/377 17435
/proc/meminfo: memFree=22311512/32951124 swapFree=67111348/67111528
[pid=17431] ppid=17429 vsize=311152 CPUtime=101.67 cores=1,3,5,7
/proc/17431/stat : 17431 (strangenight2-m) R 17429 17431 16711 0 -1 4202496 65313 0 0 0 10155 12 0 0 25 0 4 0 652078733 318619648 22166 33554432000 4194304 4580107 140735971892272 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17431/statm: 77788 22166 379 95 0 72770 0
[pid=17431/tid=17432] ppid=17429 vsize=311152 CPUtime=25.48 cores=1,3,5,7
/proc/17431/task/17432/stat : 17432 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 16159 0 0 0 2545 3 0 0 25 0 4 0 652078733 318619648 22166 33554432000 4194304 4580107 140735971892272 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17431/tid=17433] ppid=17429 vsize=311152 CPUtime=25.19 cores=1,3,5,7
/proc/17431/task/17433/stat : 17433 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 16121 0 0 0 2516 3 0 0 25 0 4 0 652078733 318619648 22166 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17431/tid=17434] ppid=17429 vsize=311152 CPUtime=25.48 cores=1,3,5,7
/proc/17431/task/17434/stat : 17434 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 15543 0 0 0 2546 2 0 0 25 0 4 0 652078733 318619648 22166 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 311152

[startup+51.1005 s]
/proc/loadavg: 8.14 7.69 7.22 9/377 17436
/proc/meminfo: memFree=22270576/32951124 swapFree=67111348/67111528
[pid=17431] ppid=17429 vsize=323000 CPUtime=203.76 cores=1,3,5,7
/proc/17431/stat : 17431 (strangenight2-m) R 17429 17431 16711 0 -1 4202496 99402 0 0 0 20355 21 0 0 25 0 4 0 652078733 330752000 27649 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17431/statm: 80750 27649 379 95 0 75732 0
[pid=17431/tid=17432] ppid=17429 vsize=323000 CPUtime=51.08 cores=1,3,5,7
/proc/17431/task/17432/stat : 17432 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 25468 0 0 0 5103 5 0 0 25 0 4 0 652078733 330752000 27649 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17431/tid=17433] ppid=17429 vsize=323000 CPUtime=50.49 cores=1,3,5,7
/proc/17431/task/17433/stat : 17433 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 24889 0 0 0 5045 4 0 0 25 0 4 0 652078733 330752000 27649 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17431/tid=17434] ppid=17429 vsize=323000 CPUtime=51.08 cores=1,3,5,7
/proc/17431/task/17434/stat : 17434 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 23302 0 0 0 5103 5 0 0 25 0 4 0 652078733 330752000 27649 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.76
Current children cumulated vsize (KiB) 323000

[startup+102.301 s]
/proc/loadavg: 8.12 7.75 7.26 9/377 17437
/proc/meminfo: memFree=22258904/32951124 swapFree=67111348/67111528
[pid=17431] ppid=17429 vsize=331480 CPUtime=407.95 cores=1,3,5,7
/proc/17431/stat : 17431 (strangenight2-m) R 17429 17431 16711 0 -1 4202496 151560 0 0 0 40757 38 0 0 25 0 4 0 652078733 339435520 34460 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294445 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17431/statm: 82870 34460 379 95 0 77852 0
[pid=17431/tid=17432] ppid=17429 vsize=331480 CPUtime=102.29 cores=1,3,5,7
/proc/17431/task/17432/stat : 17432 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 38112 0 0 0 10220 9 0 0 25 0 4 0 652078733 339435520 34460 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17431/tid=17433] ppid=17429 vsize=331480 CPUtime=101.08 cores=1,3,5,7
/proc/17431/task/17433/stat : 17433 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 37507 0 0 0 10100 8 0 0 25 0 4 0 652078733 339435520 34460 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17431/tid=17434] ppid=17429 vsize=331480 CPUtime=102.28 cores=1,3,5,7
/proc/17431/task/17434/stat : 17434 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 37462 0 0 0 10219 9 0 0 25 0 4 0 652078733 339435520 34460 33554432000 4194304 4580107 140735971892272 18446744073709551615 4322594 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.95
Current children cumulated vsize (KiB) 331480

[startup+162.3 s]

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

[pid=17431] ppid=17429 vsize=535488 CPUtime=2561.41 cores=1,3,5,7
/proc/17431/stat : 17431 (strangenight2-m) R 17429 17431 16711 0 -1 4202496 472686 0 0 0 255953 188 0 0 25 0 4 0 652078733 548339712 77913 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17431/statm: 133872 77913 379 95 0 128854 0
[pid=17431/tid=17432] ppid=17429 vsize=535488 CPUtime=642.29 cores=1,3,5,7
/proc/17431/task/17432/stat : 17432 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 109253 0 0 0 64182 47 0 0 25 0 4 0 652078733 548339712 77913 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17431/tid=17433] ppid=17429 vsize=535488 CPUtime=634.64 cores=1,3,5,7
/proc/17431/task/17433/stat : 17433 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 123310 0 0 0 63419 45 0 0 25 0 4 0 652078733 548339712 77913 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17431/tid=17434] ppid=17429 vsize=535488 CPUtime=642.29 cores=1,3,5,7
/proc/17431/task/17434/stat : 17434 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 116188 0 0 0 64182 47 0 0 25 0 4 0 652078733 548339712 77913 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2561.41
Current children cumulated vsize (KiB) 535488

[startup+702.301 s]
/proc/loadavg: 5.24 7.17 7.34 5/368 17471
/proc/meminfo: memFree=22290132/32951124 swapFree=67111348/67111528
[pid=17431] ppid=17429 vsize=572148 CPUtime=2800.71 cores=1,3,5,7
/proc/17431/stat : 17431 (strangenight2-m) R 17429 17431 16711 0 -1 4202496 497713 0 0 0 279869 202 0 0 25 0 4 0 652078733 585879552 80773 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294458 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17431/statm: 143037 80773 379 95 0 138019 0
[pid=17431/tid=17432] ppid=17429 vsize=572148 CPUtime=702.28 cores=1,3,5,7
/proc/17431/task/17432/stat : 17432 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 115280 0 0 0 70178 50 0 0 25 0 4 0 652078733 585879552 80773 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17431/tid=17433] ppid=17429 vsize=572148 CPUtime=693.94 cores=1,3,5,7
/proc/17431/task/17433/stat : 17433 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 131195 0 0 0 69345 49 0 0 25 0 4 0 652078733 585879552 80773 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17431/tid=17434] ppid=17429 vsize=572148 CPUtime=702.29 cores=1,3,5,7
/proc/17431/task/17434/stat : 17434 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 120343 0 0 0 70179 50 0 0 25 0 4 0 652078733 585879552 80773 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2800.71
Current children cumulated vsize (KiB) 572148

[startup+762.301 s]
/proc/loadavg: 4.45 6.59 7.13 5/368 17473
/proc/meminfo: memFree=22283920/32951124 swapFree=67111348/67111528
[pid=17431] ppid=17429 vsize=572400 CPUtime=3040.01 cores=1,3,5,7
/proc/17431/stat : 17431 (strangenight2-m) R 17429 17431 16711 0 -1 4202496 518915 0 0 0 303788 213 0 0 25 0 4 0 652078733 586137600 82293 33554432000 4194304 4580107 140735971892272 18446744073709551615 4323215 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17431/statm: 143100 82293 379 95 0 138082 0
[pid=17431/tid=17432] ppid=17429 vsize=572400 CPUtime=762.29 cores=1,3,5,7
/proc/17431/task/17432/stat : 17432 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 116154 0 0 0 76178 51 0 0 25 0 4 0 652078733 586137600 82293 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17431/tid=17433] ppid=17429 vsize=572400 CPUtime=753.23 cores=1,3,5,7
/proc/17431/task/17433/stat : 17433 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 138043 0 0 0 75271 52 0 0 25 0 4 0 652078733 586137600 82293 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17431/tid=17434] ppid=17429 vsize=572400 CPUtime=762.29 cores=1,3,5,7
/proc/17431/task/17434/stat : 17434 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 127679 0 0 0 76175 54 0 0 25 0 4 0 652078733 586137600 82293 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3040.01
Current children cumulated vsize (KiB) 572400

[startup+822.301 s]
/proc/loadavg: 4.22 6.13 6.94 5/368 17475
/proc/meminfo: memFree=22261200/32951124 swapFree=67111348/67111528
[pid=17431] ppid=17429 vsize=575936 CPUtime=3279.3 cores=1,3,5,7
/proc/17431/stat : 17431 (strangenight2-m) R 17429 17431 16711 0 -1 4202496 540554 0 0 0 327706 224 0 0 25 0 4 0 652078733 589758464 88107 33554432000 4194304 4580107 140735971892272 18446744073709551615 4316555 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17431/statm: 143984 88107 379 95 0 138966 0
[pid=17431/tid=17432] ppid=17429 vsize=575936 CPUtime=822.29 cores=1,3,5,7
/proc/17431/task/17432/stat : 17432 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 116804 0 0 0 82177 52 0 0 25 0 4 0 652078733 589758464 88107 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17431/tid=17433] ppid=17429 vsize=575936 CPUtime=812.52 cores=1,3,5,7
/proc/17431/task/17433/stat : 17433 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 145896 0 0 0 81195 57 0 0 25 0 4 0 652078733 589758464 88107 33554432000 4194304 4580107 140735971892272 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17431/tid=17434] ppid=17429 vsize=575936 CPUtime=822.29 cores=1,3,5,7
/proc/17431/task/17434/stat : 17434 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 134907 0 0 0 82173 56 0 0 25 0 4 0 652078733 589758464 88107 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3279.3
Current children cumulated vsize (KiB) 575936

[startup+882.301 s]
/proc/loadavg: 4.13 5.76 6.76 5/368 17476
/proc/meminfo: memFree=22246680/32951124 swapFree=67111348/67111528
[pid=17431] ppid=17429 vsize=600968 CPUtime=3518.59 cores=1,3,5,7
/proc/17431/stat : 17431 (strangenight2-m) R 17429 17431 16711 0 -1 4202496 562674 0 0 0 351622 237 0 0 25 0 4 0 652078733 615391232 91648 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294468 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17431/statm: 150242 91648 379 95 0 145224 0
[pid=17431/tid=17432] ppid=17429 vsize=600968 CPUtime=882.28 cores=1,3,5,7
/proc/17431/task/17432/stat : 17432 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 120293 0 0 0 88174 54 0 0 25 0 4 0 652078733 615391232 91648 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17431/tid=17433] ppid=17429 vsize=600968 CPUtime=871.8 cores=1,3,5,7
/proc/17431/task/17433/stat : 17433 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 151826 0 0 0 87121 59 0 0 25 0 4 0 652078733 615391232 91648 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17431/tid=17434] ppid=17429 vsize=600968 CPUtime=882.3 cores=1,3,5,7
/proc/17431/task/17434/stat : 17434 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 141408 0 0 0 88169 61 0 0 25 0 4 0 652078733 615391232 91648 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3518.59
Current children cumulated vsize (KiB) 600968

[startup+942.301 s]
/proc/loadavg: 4.09 5.43 6.57 5/368 17478
/proc/meminfo: memFree=22263784/32951124 swapFree=67111348/67111528
[pid=17431] ppid=17429 vsize=588184 CPUtime=3757.92 cores=1,3,5,7
/proc/17431/stat : 17431 (strangenight2-m) R 17429 17431 16711 0 -1 4202496 582574 0 0 0 375543 249 0 0 25 0 4 0 652078733 602300416 87279 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17431/statm: 147046 87279 379 95 0 142028 0
[pid=17431/tid=17432] ppid=17429 vsize=588184 CPUtime=942.3 cores=1,3,5,7
/proc/17431/task/17432/stat : 17432 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 121386 0 0 0 94175 55 0 0 25 0 4 0 652078733 602300416 87283 33554432000 4194304 4580107 140735971892272 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17431/tid=17433] ppid=17429 vsize=588184 CPUtime=931.1 cores=1,3,5,7
/proc/17431/task/17433/stat : 17433 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 158428 0 0 0 93047 63 0 0 25 0 4 0 652078733 602300416 87283 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17431/tid=17434] ppid=17429 vsize=588184 CPUtime=942.31 cores=1,3,5,7
/proc/17431/task/17434/stat : 17434 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 147438 0 0 0 94166 65 0 0 25 0 4 0 652078733 602300416 87283 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3757.92
Current children cumulated vsize (KiB) 588184

[startup+1002.3 s]
/proc/loadavg: 4.13 5.21 6.43 5/368 17479
/proc/meminfo: memFree=22258304/32951124 swapFree=67111348/67111528
[pid=17431] ppid=17429 vsize=588504 CPUtime=3997.17 cores=1,3,5,7
/proc/17431/stat : 17431 (strangenight2-m) R 17429 17431 16711 0 -1 4202496 604707 0 0 0 399457 260 0 0 25 0 4 0 652078733 602628096 88849 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17431/statm: 147126 88849 379 95 0 142108 0
[pid=17431/tid=17432] ppid=17429 vsize=588504 CPUtime=1002.28 cores=1,3,5,7
/proc/17431/task/17432/stat : 17432 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 125389 0 0 0 100172 56 0 0 25 0 4 0 652078733 602628096 88849 33554432000 4194304 4580107 140735971892272 18446744073709551615 4318737 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17431/tid=17433] ppid=17429 vsize=588504 CPUtime=990.38 cores=1,3,5,7
/proc/17431/task/17433/stat : 17433 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 162849 0 0 0 98971 67 0 0 25 0 4 0 652078733 602628096 88849 33554432000 4194304 4580107 140735971892272 18446744073709551615 4304894 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17431/tid=17434] ppid=17429 vsize=588504 CPUtime=1002.3 cores=1,3,5,7
/proc/17431/task/17434/stat : 17434 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 155039 0 0 0 100161 69 0 0 25 0 4 0 652078733 602628096 88849 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3997.17
Current children cumulated vsize (KiB) 588504

[startup+1062.31 s]
/proc/loadavg: 4.04 4.97 6.27 5/368 17481
/proc/meminfo: memFree=22224568/32951124 swapFree=67111348/67111528
[pid=17431] ppid=17429 vsize=614380 CPUtime=4236.52 cores=1,3,5,7
/proc/17431/stat : 17431 (strangenight2-m) R 17429 17431 16711 0 -1 4202496 626666 0 0 0 423379 273 0 0 25 0 4 0 652078733 629125120 97189 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17431/statm: 153595 97189 379 95 0 148577 0
[pid=17431/tid=17432] ppid=17429 vsize=614380 CPUtime=1062.31 cores=1,3,5,7
/proc/17431/task/17432/stat : 17432 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 130988 0 0 0 106171 60 0 0 25 0 4 0 652078733 629125120 97189 33554432000 4194304 4580107 140735971892272 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17431/tid=17433] ppid=17429 vsize=614380 CPUtime=1049.68 cores=1,3,5,7
/proc/17431/task/17433/stat : 17433 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 169643 0 0 0 104897 71 0 0 25 0 4 0 652078733 629125120 97189 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17431/tid=17434] ppid=17429 vsize=614380 CPUtime=1062.32 cores=1,3,5,7
/proc/17431/task/17434/stat : 17434 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 160040 0 0 0 106160 72 0 0 25 0 4 0 652078733 629125120 97189 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4236.52
Current children cumulated vsize (KiB) 614380

[startup+1122.3 s]
/proc/loadavg: 4.06 4.82 6.14 5/368 17483
/proc/meminfo: memFree=22204088/32951124 swapFree=67111348/67111528
[pid=17431] ppid=17429 vsize=601688 CPUtime=4475.77 cores=1,3,5,7
/proc/17431/stat : 17431 (strangenight2-m) R 17429 17431 16711 0 -1 4202496 644703 0 0 0 447291 286 0 0 25 0 4 0 652078733 616128512 102426 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17431/statm: 150422 102426 379 95 0 145404 0
[pid=17431/tid=17432] ppid=17429 vsize=601688 CPUtime=1122.29 cores=1,3,5,7
/proc/17431/task/17432/stat : 17432 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 132683 0 0 0 112168 61 0 0 25 0 4 0 652078733 616128512 102426 33554432000 4194304 4580107 140735971892272 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17431/tid=17433] ppid=17429 vsize=601688 CPUtime=1108.97 cores=1,3,5,7
/proc/17431/task/17433/stat : 17433 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 174235 0 0 0 110822 75 0 0 25 0 4 0 652078733 616128512 102426 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17431/tid=17434] ppid=17429 vsize=601688 CPUtime=1122.31 cores=1,3,5,7
/proc/17431/task/17434/stat : 17434 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 165864 0 0 0 112154 77 0 0 25 0 4 0 652078733 616128512 102426 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4475.77
Current children cumulated vsize (KiB) 601688

[startup+1182.3 s]
/proc/loadavg: 4.02 4.66 5.99 5/368 17484
/proc/meminfo: memFree=22197628/32951124 swapFree=67111348/67111528
[pid=17431] ppid=17429 vsize=615316 CPUtime=4715.05 cores=1,3,5,7
/proc/17431/stat : 17431 (strangenight2-m) R 17429 17431 16711 0 -1 4202496 666093 0 0 0 471208 297 0 0 25 0 4 0 652078733 630083584 103279 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17431/statm: 153829 103279 379 95 0 148811 0
[pid=17431/tid=17432] ppid=17429 vsize=615316 CPUtime=1182.29 cores=1,3,5,7
/proc/17431/task/17432/stat : 17432 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 133004 0 0 0 118168 61 0 0 25 0 4 0 652078733 630083584 103279 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294558 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17431/tid=17433] ppid=17429 vsize=615316 CPUtime=1168.24 cores=1,3,5,7
/proc/17431/task/17433/stat : 17433 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 180170 0 0 0 116745 79 0 0 25 0 4 0 652078733 630083584 103279 33554432000 4194304 4580107 140735971892272 18446744073709551615 4316670 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17431/tid=17434] ppid=17429 vsize=615316 CPUtime=1182.3 cores=1,3,5,7
/proc/17431/task/17434/stat : 17434 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 172406 0 0 0 118151 79 0 0 25 0 4 0 652078733 630083584 103279 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4715.05
Current children cumulated vsize (KiB) 615316



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 4.08 4.63 5.95 5/368 17485
/proc/meminfo: memFree=22201844/32951124 swapFree=67111348/67111528
[pid=17431] ppid=17429 vsize=615440 CPUtime=4800.02 cores=1,3,5,7
/proc/17431/stat : 17431 (strangenight2-m) R 17429 17431 16711 0 -1 4202496 672438 0 0 0 479700 302 0 0 25 0 4 0 652078733 630210560 102659 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17431/statm: 153860 102659 379 95 0 148842 0
[pid=17431/tid=17432] ppid=17429 vsize=615440 CPUtime=1203.61 cores=1,3,5,7
/proc/17431/task/17432/stat : 17432 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 133340 0 0 0 120299 62 0 0 25 0 4 0 652078733 630210560 102660 33554432000 4194304 4580107 140735971892272 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17431/tid=17433] ppid=17429 vsize=615440 CPUtime=1189.3 cores=1,3,5,7
/proc/17431/task/17433/stat : 17433 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 182503 0 0 0 118849 81 0 0 25 0 4 0 652078733 630210560 102660 33554432000 4194304 4580107 140735971892272 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17431/tid=17434] ppid=17429 vsize=615440 CPUtime=1203.62 cores=1,3,5,7
/proc/17431/task/17434/stat : 17434 (strangenight2-m) R 17429 17431 16711 0 -1 4202560 173932 0 0 0 120281 81 0 0 25 0 4 0 652078733 630210560 102660 33554432000 4194304 4580107 140735971892272 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.02
Current children cumulated vsize (KiB) 615440

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): 1203.64
CPU time (s): 4800.1
CPU user time (s): 4797.05
CPU system time (s): 3.04954
CPU usage (%): 398.798
Max. virtual memory (cumulated for all children) (KiB): 719788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.05
system time used= 3.04954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 672441
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= 197
involuntary context switches= 26301

runsolver used 3.9144 second user time and 10.4324 second system time

The end

Launcher Data 

Begin job on node139 at 2011-05-14 22:26:50
IDJOB=3366470
IDBENCH=82879
IDSOLVER=1844
FILE ID=node139/3366470-1305404810
RUNJOBID= node139-1305404233-17363
PBS_JOBID= 13324464
Free space on /tmp= 73352 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v450-c1917-S528475885-007.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366470-1305404810/watcher-3366470-1305404810 -o /tmp/evaluation-result-3366470-1305404810/solver-3366470-1305404810 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366470-1305404810.cnf

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

MD5SUM BENCH= 970ca2029fea75cb0f7721dfc724b428
RANDOM SEED=743298497

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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.852
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	: 5321.49
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.852
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.852
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.852
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22389144 kB
Buffers:        298332 kB
Cached:        2895044 kB
SwapCached:          0 kB
Active:        8196808 kB
Inactive:      2060256 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22389144 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            5468 kB
Writeback:           0 kB
AnonPages:     7062748 kB
Mapped:          29256 kB
Slab:           202944 kB
PageTables:      38680 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 77088336 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= 73352 MiB
End job on node139 at 2011-05-14 22:46:56