Trace number 3174222

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.28 1201.74

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v600-c2556-S1383380994-043.SATISFIABLE.cnf
MD5SUM016ccbb74f587730ed4815e028a75eb1
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.233964
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of clauses2556
Sum of the clauses size7668
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32556
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3174222-1304115438.cnf'
0.00/0.00	c -- header says num vars:            600
0.00/0.00	c -- header says num clauses:        2556
0.00/0.05	c -- clauses added:            0 learnts,         2556 normals,            0 xors
0.00/0.05	c -- vars added        600
0.00/0.05	c Parsing time:  0.00 s
0.00/0.05	c  N st     0         0       600      2556         0         0      7668         0   no data   no data
0.00/0.05	c asymm  cl-useful: 0/2556/2556 lits-rem:0 time: 0.00
0.00/0.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    600 time:  0.00 s
0.00/0.05	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.05	c lits-rem:         1  cl-subs:        2  v-elim:     12  v-fix:    0  time:  0.00 s
0.00/0.05	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.05	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.05	c calculated reachability. Time: 0.00
0.00/0.05	c Calc default polars -  time:   0.00 s pos:     242 undec:      62 neg:     296
0.00/0.05	c =========================================================================================
0.00/0.05	c types(t): F = full restart, N = normal restart
0.00/0.05	c types(t): S = simplification begin/end, E = solution found
0.00/0.05	c restart types(rt): st = static, dy = dynamic
0.00/0.05	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.05	c  B st     0         0       588      2542         1         0      7696         0   no data   no data
3.17/0.80	c Decided on static restart strategy
3.17/0.80	c  N st     8      4913       588      2542         1      4865      7696    134363   no data   no data
3.17/0.80	c  N st    10     11296       588      2542         1      4490      7696     86128   no data   no data
3.17/0.80	c  N st    11     17039       588      2542         1     10140      7696    240065   no data   no data
4.39/1.20	c  F st    12     25000       588      2542         1     12435      7696    294226   no data   no data
4.39/1.20	c  N st    12     25000       588      2542         1     12435      7696    294226   no data   no data
5.56/1.40	c Decided on static restart strategy
5.56/1.40	c  N st    18     30002       588      2542         1     10712      7696    224359   no data   no data
5.56/1.40	c  S st    18     30002       588      2542         1     10712      7696    224359   no data   no data
5.97/1.50	c  S st    18     30506       588      2542         1     11214      7696    236547   no data   no data
5.97/1.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.97/1.50	c blocked clauses removed:       26 vars:      3 tried:         588 T: 0.00 s
5.97/1.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
5.97/1.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.97/1.50	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.00 s
5.97/1.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.50	c lits-rem:       158  cl-subs:      337  v-elim:      0  v-fix:    0  time:  0.04 s
5.97/1.50	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.01
5.97/1.50	c calculated reachability. Time: 0.00
5.97/1.50	c  N st    18     30506       584      2514         1     10821      7622    224730   no data   no data
7.17/1.87	c  N st    20     37618       584      2514         1     10091      7622    192747   no data   no data
8.78/2.26	c  N st    21     44018       584      2514         1     16422      7622    376110   no data   no data
9.18/2.38	c  S st    22     45759       584      2514         1      9359      7622    149533   no data   no data
9.56/2.41	c  S st    22     46264       584      2514         1      9863      7622    162313   no data   no data
9.56/2.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.56/2.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.56/2.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.56/2.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.56/2.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
9.56/2.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.56/2.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.56/2.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.43	c lits-rem:        14  cl-subs:       35  v-elim:      0  v-fix:    0  time:  0.01 s
9.56/2.43	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
9.56/2.43	c vivif2 --  cl tried     9828 cl shrink        0 lits rem          0 time: 0.00
9.56/2.44	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.01
9.56/2.44	c calculated reachability. Time: 0.00
9.56/2.44	c  N st    22     46264       584      2514         1      9828      7622    161148   no data   no data
13.57/3.44	c  N st    23     60662       584      2514         1     14145      7622    265246   no data   no data
16.36/4.15	c  N st    24     69397       584      2514         1     11931      7622    194718   no data   no data
16.36/4.15	c  S st    24     69397       584      2514         1     11931      7622    194718   no data   no data
16.36/4.18	c  S st    24     69900       584      2514         1     12434      7622    207643   no data   no data
16.36/4.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.36/4.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.36/4.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.36/4.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.36/4.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.36/4.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
16.36/4.19	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.36/4.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.76/4.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.76/4.23	c lits-rem:        16  cl-subs:      278  v-elim:      0  v-fix:    0  time:  0.03 s
16.76/4.23	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
16.76/4.23	c vivif2 --  cl tried    12156 cl shrink        0 lits rem          0 time: 0.00
16.76/4.24	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.01
16.76/4.24	c calculated reachability. Time: 0.00
16.76/4.24	c  N st    24     69900       584      2514         1     12156      7622    200153   no data   no data
21.97/5.55	c  F st    25     87500       584      2514         1     17656      7622    352201   no data   no data
21.97/5.55	c  N st    25     87500       584      2514         1     17656      7622    352201   no data   no data
23.54/5.95	c Decided on static restart strategy
24.74/6.22	c  N st    32     95535       584      2514         1     25583      7622    562894   no data   no data
27.14/6.88	c  N st    34    104852       584      2514         1     21977      7622    442996   no data   no data
27.14/6.88	c  S st    34    104852       584      2514         1     21977      7622    442996   no data   no data
27.53/6.94	c  S st    34    105358       584      2514         1     22482      7622    455955   no data   no data
27.53/6.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.53/6.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.53/6.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.53/6.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.53/6.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.53/6.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
27.53/6.95	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.53/6.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.53/6.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.33/7.15	c lits-rem:       175  cl-subs:      735  v-elim:      0  v-fix:    0  time:  0.18 s
28.33/7.15	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
28.33/7.15	c vivif2 --  cl tried    21747 cl shrink        0 lits rem          0 time: 0.01
28.33/7.17	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.01
28.33/7.17	c calculated reachability. Time: 0.00
28.33/7.17	c  N st    34    105358       584      2514         1     21747      7622    433337   no data   no data
31.53/7.95	c  N st    35    114956       584      2514         1     17441      7622    292636   no data   no data
36.33/9.19	c  N st    36    129354       584      2514         1     16815      7622    252347   no data   no data
44.34/11.16	c  N st    37    150951       584      2514         1     22300      7622    398711   no data   no data
46.71/11.79	c  S st    38    158037       584      2514         1     29291      7622    609028   no data   no data
47.11/11.86	c  S st    38    158543       584      2514         1     29796      7622    621689   no data   no data
47.11/11.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.11/11.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.11/11.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.11/11.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.11/11.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.11/11.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
47.11/11.88	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.11/11.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.51/11.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.73/12.29	c lits-rem:       360  cl-subs:      996  v-elim:      0  v-fix:    0  time:  0.39 s
48.73/12.29	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
49.11/12.30	c vivif2 --  cl tried    28800 cl shrink        0 lits rem          0 time: 0.01
49.11/12.32	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.02
49.11/12.32	c calculated reachability. Time: 0.00
49.11/12.32	c  N st    38    158543       584      2514         1     28800      7622    589290   no data   no data
69.08/17.38	c  N st    39    207131       584      2514         1     23373      7622    370551   no data   no data
84.26/21.18	c  N st    40    237816       584      2514         1     33884      7622    637297   no data   no data
84.26/21.18	c  S st    40    237816       584      2514         1     33884      7622    637297   no data   no data
84.66/21.26	c  S st    40    238317       584      2514         1     34383      7622    650225   no data   no data
84.66/21.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
84.66/21.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
84.66/21.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
84.66/21.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
84.66/21.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.66/21.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
84.66/21.27	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
84.66/21.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
85.06/21.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
87.45/21.99	c lits-rem:       383  cl-subs:     1729  v-elim:      0  v-fix:    0  time:  0.69 s
87.45/21.99	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
87.45/22.00	c vivif2 --  cl tried    32654 cl shrink        0 lits rem          0 time: 0.01
87.87/22.02	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.02
87.87/22.02	c calculated reachability. Time: 0.00
87.87/22.02	c  N st    40    238317       584      2514         1     32654      7622    604363   no data   no data
119.80/30.06	c  F st    41    306251       584      2514         1     34622      7622    629121   no data   no data
119.80/30.06	c  N st    41    306251       584      2514         1     34622      7622    629121   no data   no data
122.60/30.75	c Decided on static restart strategy
134.19/33.63	c  N st    51    334563       584      2514         1     38888      7622    713254   no data   no data
145.77/36.53	c  N st    53    357475       584      2514         1     36821      7622    633441   no data   no data
145.77/36.53	c  S st    53    357475       584      2514         1     36821      7622    633441   no data   no data
146.17/36.62	c  S st    53    357978       584      2514         1     37324      7622    646571   no data   no data
146.17/36.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
146.17/36.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
146.17/36.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
146.17/36.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
146.17/36.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.17/36.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
146.17/36.64	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
146.17/36.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
146.17/36.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.76/37.08	c lits-rem:       219  cl-subs:     1216  v-elim:      0  v-fix:    0  time:  0.41 s
147.76/37.08	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
147.76/37.09	c vivif2 --  cl tried    36108 cl shrink        0 lits rem          0 time: 0.01
148.16/37.11	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.02
148.16/37.11	c calculated reachability. Time: 0.00
148.16/37.11	c  N st    53    357978       584      2514         1     36108      7622    610703   no data   no data
164.54/41.28	c  N st    54    390370       584      2514         1     42308      7622    757802   no data   no data
193.32/48.46	c  N st    55    438959       584      2514         1     36105      7622    553709   no data   no data
236.45/59.25	c  N st    56    511841       584      2514         1     49770      7622    925629   no data   no data
251.23/62.99	c  N st    57    536967       584      2514         1     44064      7622    727879   no data   no data
251.23/62.99	c  S st    57    536967       584      2514         1     44064      7622    727879   no data   no data
251.63/63.09	c  S st    57    537468       584      2514         1     44565      7622    741790   no data   no data
252.03/63.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
252.03/63.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.01
252.03/63.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
252.03/63.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
252.03/63.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
252.03/63.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
252.03/63.11	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
252.03/63.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
252.03/63.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
254.42/63.73	c lits-rem:       235  cl-subs:     1224  v-elim:      0  v-fix:    0  time:  0.59 s
254.42/63.73	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
254.42/63.74	c vivif2 --  cl tried    43341 cl shrink        0 lits rem          0 time: 0.01
254.42/63.78	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.03
254.42/63.78	c calculated reachability. Time: 0.00
254.42/63.78	c  N st    57    537468       584      2514         1     43341      7622    704794   no data   no data
367.07/91.91	c  N st    58    701452       584      2514         1     37173      7622    442429   no data   no data
444.56/111.37	c  N st    59    806204       584      2514         1     66436      7622   1260331   no data   no data
444.56/111.37	c  S st    59    806204       584      2514         1     66436      7622   1260331   no data   no data
445.36/111.57	c  S st    59    806708       584      2514         1     66939      7622   1273928   no data   no data
445.36/111.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
445.76/111.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
445.76/111.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
445.76/111.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
445.76/111.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
445.76/111.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
445.76/111.61	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
445.76/111.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
445.76/111.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
458.54/114.80	c lits-rem:       587  cl-subs:     3150  v-elim:      0  v-fix:    0  time:  3.14 s
458.54/114.80	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
458.54/114.82	c vivif2 --  cl tried    63789 cl shrink        0 lits rem          0 time: 0.02
458.54/114.88	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.06
458.54/114.88	c calculated reachability. Time: 0.00
458.54/114.88	c  N st    59    806708       584      2514         1     63789      7622   1184226   no data   no data
671.05/168.02	c  F st    60   1071878       584      2514         1     79722      7622   1529904   no data   no data
671.05/168.02	c  N st    60   1071878       584      2514         1     79722      7622   1529904   no data   no data
677.07/169.57	c Decided on static restart strategy
697.01/174.52	c  N st    70   1100182       584      2514         1     63410      7622    961609   no data   no data
728.57/182.48	c  N st    72   1136177       584      2514         1     53669      7622    704883   no data   no data
757.73/189.77	c  N st    73   1168571       584      2514         1     85461      7622   1593111   no data   no data
801.27/200.68	c  N st    74   1210063       584      2514         1     79782      7622   1392767   no data   no data
801.27/200.68	c  S st    74   1210063       584      2514         1     79782      7622   1392767   no data   no data
802.47/200.98	c  S st    74   1210565       584      2514         1     80281      7622   1406229   no data   no data
802.47/200.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
802.87/201.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.05
802.87/201.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
802.87/201.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
802.87/201.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
802.87/201.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
802.87/201.04	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
802.87/201.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
803.26/201.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
834.85/209.02	c lits-rem:       373  cl-subs:     4778  v-elim:      0  v-fix:    0  time:  7.90 s
834.85/209.02	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
834.85/209.04	c vivif2 --  cl tried    75503 cl shrink        0 lits rem          0 time: 0.02
835.25/209.14	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.10
835.25/209.14	c calculated reachability. Time: 0.00
835.25/209.14	c  N st    74   1210565       584      2514         1     75503      7622   1278848   no data   no data
916.71/229.54	c  N st    75   1283447       584      2514         1     52170      7622    606368   no data   no data
1042.54/261.03	c  N st    76   1392773       584      2514         1     60032      7622    783251   no data   no data
1211.51/303.35	c  N st    77   1556758       584      2514         1     65059      7622    890492   no data   no data
1383.28/346.31	c  N st    78   1710565       584      2514         1    106882      7622   2077433   no data   no data
1383.28/346.31	c  S st    78   1710565       584      2514         1    106882      7622   2077433   no data   no data
1384.50/346.64	c  S st    78   1711069       584      2514         1    107386      7622   2090777   no data   no data
1384.50/346.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1384.87/346.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1384.87/346.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1384.87/346.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1384.87/346.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1384.87/346.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
1384.87/346.70	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1384.87/346.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1385.27/346.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1446.38/362.16	c lits-rem:      1089  cl-subs:     7725  v-elim:      0  v-fix:    0  time: 15.37 s
1446.38/362.16	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
1446.38/362.19	c vivif2 --  cl tried    99661 cl shrink        0 lits rem          0 time: 0.03
1447.18/362.30	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.11
1447.18/362.30	c calculated reachability. Time: 0.00
1447.18/362.30	c  N st    78   1711069       584      2514         1     99661      7622   1875505   no data   no data
1900.17/475.73	c  N st    79   2080034       584      2514         1    111290      7622   2136263   no data   no data
2073.13/519.08	c  N st    80   2211070       584      2514         1    115500      7622   2175569   no data   no data
2073.13/519.08	c  S st    80   2211070       584      2514         1    115500      7622   2175569   no data   no data
2074.72/519.47	c  S st    80   2211574       584      2514         1    115999      7622   2188086   no data   no data
2074.72/519.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2075.12/519.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2075.12/519.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2075.12/519.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2075.12/519.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2075.12/519.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
2075.12/519.53	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2075.12/519.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2075.52/519.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2128.65/532.97	c lits-rem:       615  cl-subs:     5628  v-elim:      0  v-fix:    0  time: 13.33 s
2128.65/532.97	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
2129.05/533.00	c vivif2 --  cl tried   110371 cl shrink        0 lits rem          0 time: 0.03
2129.45/533.12	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.12
2129.45/533.12	c calculated reachability. Time: 0.00
2129.45/533.12	c  N st    80   2211574       584      2514         1    110371      7622   2023405   no data   no data
2819.31/705.86	c  N st    81   2711574       584      2514         1    133727      7622   2533594   no data   no data
2819.31/705.86	c  S st    81   2711574       584      2514         1    133727      7622   2533594   no data   no data
2821.33/706.33	c  S st    81   2712080       584      2514         1    134231      7622   2546986   no data   no data
2821.33/706.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2821.71/706.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2821.71/706.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2821.71/706.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2821.71/706.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2821.71/706.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
2821.71/706.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2821.71/706.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2822.11/706.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2904.41/727.13	c lits-rem:       583  cl-subs:     8328  v-elim:      0  v-fix:    0  time: 20.60 s
2904.41/727.13	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
2904.41/727.17	c vivif2 --  cl tried   125903 cl shrink        0 lits rem          0 time: 0.04
2905.18/727.33	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.16
2905.18/727.34	c calculated reachability. Time: 0.00
2905.18/727.34	c  N st    81   2712080       584      2514         1    125903      7622   2328047   no data   no data
3655.79/915.20	c  N st    82   3212081       584      2514         1    101759      7622   1487871   no data   no data
3655.79/915.20	c  S st    82   3212081       584      2514         1    101759      7622   1487871   no data   no data
3656.97/915.54	c  S st    82   3212581       584      2514         1    102259      7622   1500903   no data   no data
3656.97/915.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3656.97/915.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3656.97/915.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3656.97/915.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3657.37/915.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3657.37/915.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
3657.37/915.60	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3657.37/915.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3657.37/915.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3680.14/921.31	c lits-rem:       319  cl-subs:     3050  v-elim:      0  v-fix:    0  time:  5.64 s
3680.14/921.31	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
3680.14/921.34	c vivif2 --  cl tried    99209 cl shrink        0 lits rem          0 time: 0.02
3680.54/921.47	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.14
3680.54/921.48	c calculated reachability. Time: 0.00
3680.54/921.48	c  N st    82   3212581       584      2514         1     99209      7622   1420774   no data   no data
4541.76/1137.03	c  N st    83   3712581       584      2514         1    109844      7622   1586491   no data   no data
4541.76/1137.03	c  S st    83   3712581       584      2514         1    109844      7622   1586491   no data   no data
4542.96/1137.35	c  S st    83   3713082       584      2514         1    110345      7622   1599465   no data   no data
4542.96/1137.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4543.37/1137.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
4543.37/1137.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4543.37/1137.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4543.37/1137.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4543.37/1137.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
4543.37/1137.42	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4543.37/1137.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4543.37/1137.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4569.73/1144.05	c lits-rem:       513  cl-subs:     3838  v-elim:      0  v-fix:    0  time:  6.55 s
4569.73/1144.05	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
4569.73/1144.07	c vivif2 --  cl tried   106507 cl shrink        0 lits rem          0 time: 0.02
4570.51/1144.21	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.14
4570.51/1144.21	c calculated reachability. Time: 0.00
4570.51/1144.21	c  N st    83   3713082       584      2514         1    106507      7622   1500562   no data   no data
4637.22/1160.98	c  F st    84   3751562       584      2514         1    144093      7622   2480445   no data   no data
4637.22/1160.98	c  N st    84   3751562       584      2514         1    144093      7622   2480445   no data   no data
4648.83/1163.82	c Decided on static restart strategy
4697.94/1176.15	c  N st    94   3779864       584      2514         1     88896      7622    954948   no data   no data
4746.67/1188.32	c  N st    96   3815856       584      2514         1    124178      7622   1916228   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-3174222-1304115438/watcher-3174222-1304115438 -o /tmp/evaluation-result-3174222-1304115438/solver-3174222-1304115438 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174222-1304115438.cnf 

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

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


[startup+0 s]
/proc/loadavg: 4.40 6.51 7.45 6/180 4462
/proc/meminfo: memFree=24117240/32951124 swapFree=67111524/67111528
[pid=4462] ppid=4460 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/4462/stat : 4462 (strangenight2-m) R 4460 4462 4006 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 523141549 52441088 347 33554432000 4194304 4627427 140734033856128 18446744073709551615 212687731697 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4462/statm: 12803 347 299 106 0 7774 0
[pid=4462/tid=4463] ppid=4460 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/4462/task/4463/stat : 4463 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 523141549 52441088 347 33554432000 4194304 4627427 140734033856128 18446744073709551615 47047062296498 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4462/tid=4464] ppid=4460 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/4462/task/4464/stat : 4464 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 523141549 52441088 347 33554432000 4194304 4627427 140734033856128 18446744073709551615 47047062296496 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4462/tid=4465] ppid=4460 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/4462/task/4465/stat : 4465 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 523141549 52441088 347 33554432000 4194304 4627427 140734033856128 18446744073709551615 212687731697 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.156799 s]
/proc/loadavg: 4.40 6.51 7.45 6/180 4462
/proc/meminfo: memFree=24117240/32951124 swapFree=67111524/67111528
[pid=4462] ppid=4460 vsize=282456 CPUtime=0.6 cores=0,2,4,6
/proc/4462/stat : 4462 (strangenight2-m) R 4460 4462 4006 0 -1 4202496 2100 0 0 0 60 0 0 0 18 0 4 0 523141549 289234944 1940 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4462/statm: 70614 1940 384 106 0 65585 0
[pid=4462/tid=4463] ppid=4460 vsize=282456 CPUtime=0.15 cores=0,2,4,6
/proc/4462/task/4463/stat : 4463 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 451 0 0 0 15 0 0 0 18 0 4 0 523141549 289234944 1940 33554432000 4194304 4627427 140734033856128 18446744073709551615 4332587 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4462/tid=4464] ppid=4460 vsize=282456 CPUtime=0.15 cores=0,2,4,6
/proc/4462/task/4464/stat : 4464 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 442 0 0 0 15 0 0 0 18 0 4 0 523141549 289234944 1940 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4462/tid=4465] ppid=4460 vsize=282456 CPUtime=0.14 cores=0,2,4,6
/proc/4462/task/4465/stat : 4465 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 351 0 0 0 14 0 0 0 25 0 4 0 523141549 289234944 1940 33554432000 4194304 4627427 140734033856128 18446744073709551615 4329973 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 282456

[startup+0.200791 s]
/proc/loadavg: 4.40 6.51 7.45 6/180 4462
/proc/meminfo: memFree=24117240/32951124 swapFree=67111524/67111528
[pid=4462] ppid=4460 vsize=283896 CPUtime=0.77 cores=0,2,4,6
/proc/4462/stat : 4462 (strangenight2-m) R 4460 4462 4006 0 -1 4202496 2567 0 0 0 77 0 0 0 18 0 4 0 523141549 290709504 1761 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4462/statm: 70974 1761 385 106 0 65945 0
[pid=4462/tid=4463] ppid=4460 vsize=283896 CPUtime=0.19 cores=0,2,4,6
/proc/4462/task/4463/stat : 4463 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 564 0 0 0 19 0 0 0 18 0 4 0 523141549 290709504 1761 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4462/tid=4464] ppid=4460 vsize=283896 CPUtime=0.19 cores=0,2,4,6
/proc/4462/task/4464/stat : 4464 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 562 0 0 0 19 0 0 0 18 0 4 0 523141549 290709504 1761 33554432000 4194304 4627427 140734033856128 18446744073709551615 4308326 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4462/tid=4465] ppid=4460 vsize=283896 CPUtime=0.19 cores=0,2,4,6
/proc/4462/task/4465/stat : 4465 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 468 0 0 0 19 0 0 0 25 0 4 0 523141549 290709504 1761 33554432000 4194304 4627427 140734033856128 18446744073709551615 4308615 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283896

[startup+0.300773 s]
/proc/loadavg: 4.40 6.51 7.45 6/180 4462
/proc/meminfo: memFree=24117240/32951124 swapFree=67111524/67111528
[pid=4462] ppid=4460 vsize=284040 CPUtime=1.17 cores=0,2,4,6
/proc/4462/stat : 4462 (strangenight2-m) R 4460 4462 4006 0 -1 4202496 3007 0 0 0 117 0 0 0 18 0 4 0 523141549 290856960 2201 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309260 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4462/statm: 71010 2201 385 106 0 65981 0
[pid=4462/tid=4463] ppid=4460 vsize=284040 CPUtime=0.29 cores=0,2,4,6
/proc/4462/task/4463/stat : 4463 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 672 0 0 0 29 0 0 0 18 0 4 0 523141549 290856960 2201 33554432000 4194304 4627427 140734033856128 18446744073709551615 4332696 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4462/tid=4464] ppid=4460 vsize=284040 CPUtime=0.29 cores=0,2,4,6
/proc/4462/task/4464/stat : 4464 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 671 0 0 0 29 0 0 0 18 0 4 0 523141549 290856960 2201 33554432000 4194304 4627427 140734033856128 18446744073709551615 4305826 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4462/tid=4465] ppid=4460 vsize=284040 CPUtime=0.29 cores=0,2,4,6
/proc/4462/task/4465/stat : 4465 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 584 0 0 0 29 0 0 0 25 0 4 0 523141549 290856960 2201 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284040

[startup+0.700701 s]
/proc/loadavg: 4.40 6.51 7.45 6/180 4462
/proc/meminfo: memFree=24117240/32951124 swapFree=67111524/67111528
[pid=4462] ppid=4460 vsize=284980 CPUtime=2.77 cores=0,2,4,6
/proc/4462/stat : 4462 (strangenight2-m) R 4460 4462 4006 0 -1 4202496 4631 0 0 0 277 0 0 0 18 0 4 0 523141549 291819520 2879 33554432000 4194304 4627427 140734033856128 18446744073709551615 4352119 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4462/statm: 71245 2879 385 106 0 66216 0
[pid=4462/tid=4463] ppid=4460 vsize=284980 CPUtime=0.69 cores=0,2,4,6
/proc/4462/task/4463/stat : 4463 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 1087 0 0 0 69 0 0 0 18 0 4 0 523141549 291819520 2880 33554432000 4194304 4627427 140734033856128 18446744073709551615 4507248 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4462/tid=4464] ppid=4460 vsize=284980 CPUtime=0.69 cores=0,2,4,6
/proc/4462/task/4464/stat : 4464 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 1065 0 0 0 69 0 0 0 18 0 4 0 523141549 291819520 2880 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4462/tid=4465] ppid=4460 vsize=284980 CPUtime=0.69 cores=0,2,4,6
/proc/4462/task/4465/stat : 4465 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 981 0 0 0 69 0 0 0 25 0 4 0 523141549 291819520 2880 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309327 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284980

[startup+1.50056 s]
/proc/loadavg: 4.40 6.51 7.45 9/184 4467
/proc/meminfo: memFree=24087868/32951124 swapFree=67111524/67111528
[pid=4462] ppid=4460 vsize=286296 CPUtime=5.97 cores=0,2,4,6
/proc/4462/stat : 4462 (strangenight2-m) R 4460 4462 4006 0 -1 4202496 9276 0 0 0 596 1 0 0 20 0 4 0 523141549 293167104 4733 33554432000 4194304 4627427 140734033856128 18446744073709551615 4327622 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4462/statm: 71574 4733 389 106 0 66545 0
[pid=4462/tid=4463] ppid=4460 vsize=286296 CPUtime=1.49 cores=0,2,4,6
/proc/4462/task/4463/stat : 4463 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 1878 0 0 0 149 0 0 0 20 0 4 0 523141549 293167104 4733 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4462/tid=4464] ppid=4460 vsize=286296 CPUtime=1.49 cores=0,2,4,6
/proc/4462/task/4464/stat : 4464 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 1872 0 0 0 149 0 0 0 20 0 4 0 523141549 293167104 4733 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4462/tid=4465] ppid=4460 vsize=286296 CPUtime=1.48 cores=0,2,4,6
/proc/4462/task/4465/stat : 4465 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 1796 0 0 0 148 0 0 0 25 0 4 0 523141549 293167104 4733 33554432000 4194304 4627427 140734033856128 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286296

[startup+3.10027 s]
/proc/loadavg: 4.40 6.51 7.45 9/184 4467
/proc/meminfo: memFree=24059972/32951124 swapFree=67111524/67111528
[pid=4462] ppid=4460 vsize=296032 CPUtime=12.35 cores=0,2,4,6
/proc/4462/stat : 4462 (strangenight2-m) R 4460 4462 4006 0 -1 4202496 19192 0 0 0 1233 2 0 0 25 0 4 0 523141549 303136768 10328 33554432000 4194304 4627427 140734033856128 18446744073709551615 4308323 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4462/statm: 74008 10328 389 106 0 68979 0
[pid=4462/tid=4463] ppid=4460 vsize=296032 CPUtime=3.09 cores=0,2,4,6
/proc/4462/task/4463/stat : 4463 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 4118 0 0 0 309 0 0 0 25 0 4 0 523141549 303136768 10328 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4462/tid=4464] ppid=4460 vsize=296032 CPUtime=3.08 cores=0,2,4,6
/proc/4462/task/4464/stat : 4464 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 5061 0 0 0 308 0 0 0 25 0 4 0 523141549 303136768 10328 33554432000 4194304 4627427 140734033856128 18446744073709551615 4332689 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4462/tid=4465] ppid=4460 vsize=296032 CPUtime=3.07 cores=0,2,4,6
/proc/4462/task/4465/stat : 4465 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 4924 0 0 0 307 0 0 0 25 0 4 0 523141549 303136768 10328 33554432000 4194304 4627427 140734033856128 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 296032

[startup+6.30068 s]
/proc/loadavg: 4.77 6.55 7.45 9/184 4467
/proc/meminfo: memFree=24015456/32951124 swapFree=67111524/67111528
[pid=4462] ppid=4460 vsize=303504 CPUtime=25.14 cores=0,2,4,6
/proc/4462/stat : 4462 (strangenight2-m) R 4460 4462 4006 0 -1 4202496 30862 0 0 0 2510 4 0 0 25 0 4 0 523141549 310788096 14395 33554432000 4194304 4627427 140734033856128 18446744073709551615 4310114 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4462/statm: 75876 14395 389 106 0 70847 0
[pid=4462/tid=4463] ppid=4460 vsize=303504 CPUtime=6.29 cores=0,2,4,6
/proc/4462/task/4463/stat : 4463 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 7865 0 0 0 628 1 0 0 25 0 4 0 523141549 310788096 14395 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4462/tid=4464] ppid=4460 vsize=303504 CPUtime=6.28 cores=0,2,4,6
/proc/4462/task/4464/stat : 4464 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 8458 0 0 0 628 0 0 0 25 0 4 0 523141549 310788096 14395 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4462/tid=4465] ppid=4460 vsize=303504 CPUtime=6.25 cores=0,2,4,6
/proc/4462/task/4465/stat : 4465 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 6977 0 0 0 625 0 0 0 25 0 4 0 523141549 310788096 14395 33554432000 4194304 4627427 140734033856128 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 303504

[startup+12.7005 s]
/proc/loadavg: 5.03 6.58 7.46 9/184 4467
/proc/meminfo: memFree=23961644/32951124 swapFree=67111524/67111528
[pid=4462] ppid=4460 vsize=304276 CPUtime=50.7 cores=0,2,4,6
/proc/4462/stat : 4462 (strangenight2-m) R 4460 4462 4006 0 -1 4202496 49932 0 0 0 5063 7 0 0 25 0 4 0 523141549 311578624 20639 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309130 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4462/statm: 76069 20639 389 106 0 71040 0
[pid=4462/tid=4463] ppid=4460 vsize=304276 CPUtime=12.69 cores=0,2,4,6
/proc/4462/task/4463/stat : 4463 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 12214 0 0 0 1267 2 0 0 25 0 4 0 523141549 311578624 20639 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4462/tid=4464] ppid=4460 vsize=304276 CPUtime=12.68 cores=0,2,4,6
/proc/4462/task/4464/stat : 4464 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 11751 0 0 0 1267 1 0 0 25 0 4 0 523141549 311578624 20639 33554432000 4194304 4627427 140734033856128 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4462/tid=4465] ppid=4460 vsize=304276 CPUtime=12.62 cores=0,2,4,6
/proc/4462/task/4465/stat : 4465 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 12286 0 0 0 1261 1 0 0 25 0 4 0 523141549 311578624 20639 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 304276

[startup+25.5012 s]
/proc/loadavg: 5.69 6.64 7.46 9/184 4467
/proc/meminfo: memFree=23916000/32951124 swapFree=67111524/67111528
[pid=4462] ppid=4460 vsize=302940 CPUtime=101.84 cores=0,2,4,6
/proc/4462/stat : 4462 (strangenight2-m) R 4460 4462 4006 0 -1 4202496 74573 0 0 0 10171 13 0 0 25 0 4 0 523141549 310210560 28781 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4462/statm: 75735 28781 389 106 0 70706 0
[pid=4462/tid=4463] ppid=4460 vsize=302940 CPUtime=25.49 cores=0,2,4,6
/proc/4462/task/4463/stat : 4463 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 19155 0 0 0 2546 3 0 0 25 0 4 0 523141549 310210560 28781 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4462/tid=4464] ppid=4460 vsize=302940 CPUtime=25.49 cores=0,2,4,6
/proc/4462/task/4464/stat : 4464 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 18476 0 0 0 2546 3 0 0 25 0 4 0 523141549 310210560 28781 33554432000 4194304 4627427 140734033856128 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4462/tid=4465] ppid=4460 vsize=302940 CPUtime=25.35 cores=0,2,4,6
/proc/4462/task/4465/stat : 4465 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 17555 0 0 0 2532 3 0 0 25 0 4 0 523141549 310210560 28781 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 302940

[startup+51.1005 s]
/proc/loadavg: 6.47 6.75 7.48 9/184 4468
/proc/meminfo: memFree=23849964/32951124 swapFree=67111524/67111528
[pid=4462] ppid=4460 vsize=312128 CPUtime=204.09 cores=0,2,4,6
/proc/4462/stat : 4462 (strangenight2-m) R 4460 4462 4006 0 -1 4202496 114000 0 0 0 20387 22 0 0 25 0 4 0 523141549 319619072 36169 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4462/statm: 78032 36169 389 106 0 73003 0
[pid=4462/tid=4463] ppid=4460 vsize=312128 CPUtime=51.08 cores=0,2,4,6
/proc/4462/task/4463/stat : 4463 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 30081 0 0 0 5103 5 0 0 25 0 4 0 523141549 319619072 36169 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4462/tid=4464] ppid=4460 vsize=312128 CPUtime=51.08 cores=0,2,4,6
/proc/4462/task/4464/stat : 4464 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 28015 0 0 0 5103 5 0 0 25 0 4 0 523141549 319619072 36169 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4462/tid=4465] ppid=4460 vsize=312128 CPUtime=50.81 cores=0,2,4,6
/proc/4462/task/4465/stat : 4465 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 26948 0 0 0 5076 5 0 0 25 0 4 0 523141549 319619072 36169 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 312128

[startup+102.301 s]
/proc/loadavg: 7.38 6.96 7.51 9/184 4469
/proc/meminfo: memFree=23766112/32951124 swapFree=67111524/67111528
[pid=4462] ppid=4460 vsize=324200 CPUtime=408.63 cores=0,2,4,6
/proc/4462/stat : 4462 (strangenight2-m) R 4460 4462 4006 0 -1 4202496 172003 0 0 0 40824 39 0 0 25 0 4 0 523141549 331980800 43959 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4462/statm: 81050 43959 389 106 0 76021 0
[pid=4462/tid=4463] ppid=4460 vsize=324200 CPUtime=102.28 cores=0,2,4,6
/proc/4462/task/4463/stat : 4463 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 43206 0 0 0 10220 8 0 0 25 0 4 0 523141549 331980800 43959 33554432000 4194304 4627427 140734033856128 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4462/tid=4464] ppid=4460 vsize=324200 CPUtime=102.28 cores=0,2,4,6
/proc/4462/task/4464/stat : 4464 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 41342 0 0 0 10219 9 0 0 25 0 4 0 523141549 331980800 43959 33554432000 4194304 4627427 140734033856128 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4462/tid=4465] ppid=4460 vsize=324200 CPUtime=101.74 cores=0,2,4,6
/proc/4462/task/4465/stat : 4465 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 43019 0 0 0 10165 9 0 0 25 0 4 0 523141549 331980800 43959 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 324200

[startup+162.3 s]

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

[pid=4462] ppid=4460 vsize=582704 CPUtime=2565.66 cores=0,2,4,6
/proc/4462/stat : 4462 (strangenight2-m) R 4460 4462 4006 0 -1 4202496 535116 0 0 0 256402 164 0 0 25 0 4 0 523141549 596688896 93656 33554432000 4194304 4627427 140734033856128 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4462/statm: 145676 93656 389 106 0 140647 0
[pid=4462/tid=4463] ppid=4460 vsize=582704 CPUtime=642.22 cores=0,2,4,6
/proc/4462/task/4463/stat : 4463 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 136471 0 0 0 64183 39 0 0 25 0 4 0 523141549 596688896 93656 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4462/tid=4464] ppid=4460 vsize=582704 CPUtime=642.29 cores=0,2,4,6
/proc/4462/task/4464/stat : 4464 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 135512 0 0 0 64188 41 0 0 25 0 4 0 523141549 596688896 93656 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4462/tid=4465] ppid=4460 vsize=582704 CPUtime=638.81 cores=0,2,4,6
/proc/4462/task/4465/stat : 4465 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 135201 0 0 0 63840 41 0 0 25 0 4 0 523141549 596688896 93656 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2565.66
Current children cumulated vsize (KiB) 582704

[startup+702.301 s]
/proc/loadavg: 8.14 7.96 7.78 9/184 4485
/proc/meminfo: memFree=23340456/32951124 swapFree=67111524/67111528
[pid=4462] ppid=4460 vsize=648644 CPUtime=2805.33 cores=0,2,4,6
/proc/4462/stat : 4462 (strangenight2-m) R 4460 4462 4006 0 -1 4202496 566888 0 0 0 280354 179 0 0 25 0 4 0 523141549 664211456 101608 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309408 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4462/statm: 162161 101608 389 106 0 157132 0
[pid=4462/tid=4463] ppid=4460 vsize=648644 CPUtime=702.22 cores=0,2,4,6
/proc/4462/task/4463/stat : 4463 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 146264 0 0 0 70179 43 0 0 25 0 4 0 523141549 664211456 101608 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4462/tid=4464] ppid=4460 vsize=648644 CPUtime=702.3 cores=0,2,4,6
/proc/4462/task/4464/stat : 4464 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 142824 0 0 0 70185 45 0 0 25 0 4 0 523141549 664211456 101608 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4462/tid=4465] ppid=4460 vsize=648644 CPUtime=698.48 cores=0,2,4,6
/proc/4462/task/4465/stat : 4465 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 144026 0 0 0 69803 45 0 0 25 0 4 0 523141549 664211456 101608 33554432000 4194304 4627427 140734033856128 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.33
Current children cumulated vsize (KiB) 648644

[startup+762.301 s]
/proc/loadavg: 8.15 8.00 7.80 9/184 4487
/proc/meminfo: memFree=23294556/32951124 swapFree=67111524/67111528
[pid=4462] ppid=4460 vsize=648988 CPUtime=3045.02 cores=0,2,4,6
/proc/4462/stat : 4462 (strangenight2-m) R 4460 4462 4006 0 -1 4202496 593444 0 0 0 304311 191 0 0 25 0 4 0 523141549 664563712 108126 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4462/statm: 162247 108126 389 106 0 157218 0
[pid=4462/tid=4463] ppid=4460 vsize=648988 CPUtime=762.22 cores=0,2,4,6
/proc/4462/task/4463/stat : 4463 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 153363 0 0 0 76176 46 0 0 25 0 4 0 523141549 664563712 108126 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4462/tid=4464] ppid=4460 vsize=648988 CPUtime=762.3 cores=0,2,4,6
/proc/4462/task/4464/stat : 4464 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 149627 0 0 0 76183 47 0 0 25 0 4 0 523141549 664563712 108126 33554432000 4194304 4627427 140734033856128 18446744073709551615 4332984 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4462/tid=4465] ppid=4460 vsize=648988 CPUtime=758.15 cores=0,2,4,6
/proc/4462/task/4465/stat : 4465 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 151285 0 0 0 75766 49 0 0 25 0 4 0 523141549 664563712 108126 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.02
Current children cumulated vsize (KiB) 648988

[startup+822.301 s]
/proc/loadavg: 8.10 8.01 7.82 9/184 4488
/proc/meminfo: memFree=23288096/32951124 swapFree=67111524/67111528
[pid=4462] ppid=4460 vsize=649352 CPUtime=3284.67 cores=0,2,4,6
/proc/4462/stat : 4462 (strangenight2-m) R 4460 4462 4006 0 -1 4202496 619135 0 0 0 328267 200 0 0 25 0 4 0 523141549 664936448 107281 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4462/statm: 162338 107281 389 106 0 157309 0
[pid=4462/tid=4463] ppid=4460 vsize=649352 CPUtime=822.21 cores=0,2,4,6
/proc/4462/task/4463/stat : 4463 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 161369 0 0 0 82172 49 0 0 25 0 4 0 523141549 664936448 107281 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4462/tid=4464] ppid=4460 vsize=649352 CPUtime=822.3 cores=0,2,4,6
/proc/4462/task/4464/stat : 4464 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 156280 0 0 0 82181 49 0 0 25 0 4 0 523141549 664936448 107281 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4462/tid=4465] ppid=4460 vsize=649352 CPUtime=817.83 cores=0,2,4,6
/proc/4462/task/4465/stat : 4465 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 158597 0 0 0 81731 52 0 0 25 0 4 0 523141549 664936448 107281 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.67
Current children cumulated vsize (KiB) 649352

[startup+882.306 s]
/proc/loadavg: 8.07 8.02 7.83 9/184 4490
/proc/meminfo: memFree=23252612/32951124 swapFree=67111524/67111528
[pid=4462] ppid=4460 vsize=649604 CPUtime=3524.37 cores=0,2,4,6
/proc/4462/stat : 4462 (strangenight2-m) R 4460 4462 4006 0 -1 4202496 652737 0 0 0 352223 214 0 0 25 0 4 0 523141549 665194496 116717 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4462/statm: 162401 116717 389 106 0 157372 0
[pid=4462/tid=4463] ppid=4460 vsize=649604 CPUtime=882.21 cores=0,2,4,6
/proc/4462/task/4463/stat : 4463 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 171835 0 0 0 88168 53 0 0 25 0 4 0 523141549 665194496 116717 33554432000 4194304 4627427 140734033856128 18446744073709551615 4310102 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4462/tid=4464] ppid=4460 vsize=649604 CPUtime=882.3 cores=0,2,4,6
/proc/4462/task/4464/stat : 4464 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 162662 0 0 0 88177 53 0 0 25 0 4 0 523141549 665194496 116717 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4462/tid=4465] ppid=4460 vsize=649604 CPUtime=877.51 cores=0,2,4,6
/proc/4462/task/4465/stat : 4465 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 170445 0 0 0 87695 56 0 0 25 0 4 0 523141549 665194496 116717 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.37
Current children cumulated vsize (KiB) 649604

[startup+942.3 s]
/proc/loadavg: 8.06 8.03 7.84 9/184 4492
/proc/meminfo: memFree=23130928/32951124 swapFree=67111524/67111528
[pid=4462] ppid=4460 vsize=810616 CPUtime=3764.01 cores=0,2,4,6
/proc/4462/stat : 4462 (strangenight2-m) R 4460 4462 4006 0 -1 4202496 673717 0 0 0 376177 224 0 0 25 0 4 0 523141549 830070784 127115 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309250 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4462/statm: 202654 127115 389 106 0 197625 0
[pid=4462/tid=4463] ppid=4460 vsize=810616 CPUtime=942.2 cores=0,2,4,6
/proc/4462/task/4463/stat : 4463 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 178825 0 0 0 94164 56 0 0 25 0 4 0 523141549 830070784 127115 33554432000 4194304 4627427 140734033856128 18446744073709551615 4348160 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4462/tid=4464] ppid=4460 vsize=810616 CPUtime=942.3 cores=0,2,4,6
/proc/4462/task/4464/stat : 4464 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 168481 0 0 0 94174 56 0 0 25 0 4 0 523141549 830070784 127115 33554432000 4194304 4627427 140734033856128 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4462/tid=4465] ppid=4460 vsize=810616 CPUtime=937.18 cores=0,2,4,6
/proc/4462/task/4465/stat : 4465 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 175394 0 0 0 93659 59 0 0 25 0 4 0 523141549 830070784 127115 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.01
Current children cumulated vsize (KiB) 810616

[startup+1002.3 s]
/proc/loadavg: 8.06 8.03 7.85 9/184 4493
/proc/meminfo: memFree=23142432/32951124 swapFree=67111524/67111528
[pid=4462] ppid=4460 vsize=654516 CPUtime=4003.69 cores=0,2,4,6
/proc/4462/stat : 4462 (strangenight2-m) R 4460 4462 4006 0 -1 4202496 697716 0 0 0 400134 235 0 0 25 0 4 0 523141549 670224384 119923 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4462/statm: 163629 119923 389 106 0 158600 0
[pid=4462/tid=4463] ppid=4460 vsize=654516 CPUtime=1002.19 cores=0,2,4,6
/proc/4462/task/4463/stat : 4463 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 185876 0 0 0 100160 59 0 0 25 0 4 0 523141549 670224384 119923 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4462/tid=4464] ppid=4460 vsize=654516 CPUtime=1002.3 cores=0,2,4,6
/proc/4462/task/4464/stat : 4464 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 175091 0 0 0 100171 59 0 0 25 0 4 0 523141549 670224384 119923 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4462/tid=4465] ppid=4460 vsize=654516 CPUtime=996.85 cores=0,2,4,6
/proc/4462/task/4465/stat : 4465 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 181903 0 0 0 99624 61 0 0 25 0 4 0 523141549 670224384 119923 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.69
Current children cumulated vsize (KiB) 654516

[startup+1062.3 s]
/proc/loadavg: 8.02 8.03 7.86 9/184 4495
/proc/meminfo: memFree=23077436/32951124 swapFree=67111524/67111528
[pid=4462] ppid=4460 vsize=707372 CPUtime=4243.36 cores=0,2,4,6
/proc/4462/stat : 4462 (strangenight2-m) R 4460 4462 4006 0 -1 4202496 723899 0 0 0 424091 245 0 0 25 0 4 0 523141549 724348928 127033 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4462/statm: 176843 127033 389 106 0 171814 0
[pid=4462/tid=4463] ppid=4460 vsize=707372 CPUtime=1062.19 cores=0,2,4,6
/proc/4462/task/4463/stat : 4463 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 193071 0 0 0 106158 61 0 0 25 0 4 0 523141549 724348928 127033 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4462/tid=4464] ppid=4460 vsize=707372 CPUtime=1062.31 cores=0,2,4,6
/proc/4462/task/4464/stat : 4464 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 181968 0 0 0 106168 63 0 0 25 0 4 0 523141549 724348928 127033 33554432000 4194304 4627427 140734033856128 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4462/tid=4465] ppid=4460 vsize=707372 CPUtime=1056.53 cores=0,2,4,6
/proc/4462/task/4465/stat : 4465 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 188471 0 0 0 105589 64 0 0 25 0 4 0 523141549 724348928 127033 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.36
Current children cumulated vsize (KiB) 707372

[startup+1122.3 s]
/proc/loadavg: 8.04 8.03 7.87 9/184 4496
/proc/meminfo: memFree=23136572/32951124 swapFree=67111524/67111528
[pid=4462] ppid=4460 vsize=747344 CPUtime=4483.03 cores=0,2,4,6
/proc/4462/stat : 4462 (strangenight2-m) R 4460 4462 4006 0 -1 4202496 745076 0 0 0 448049 254 0 0 25 0 4 0 523141549 765280256 125016 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309100 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4462/statm: 186836 125016 389 106 0 181807 0
[pid=4462/tid=4463] ppid=4460 vsize=747344 CPUtime=1122.18 cores=0,2,4,6
/proc/4462/task/4463/stat : 4463 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 199589 0 0 0 112154 64 0 0 25 0 4 0 523141549 765280256 125016 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309197 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4462/tid=4464] ppid=4460 vsize=747344 CPUtime=1122.3 cores=0,2,4,6
/proc/4462/task/4464/stat : 4464 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 186759 0 0 0 112165 65 0 0 25 0 4 0 523141549 765280256 125016 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4462/tid=4465] ppid=4460 vsize=747344 CPUtime=1116.2 cores=0,2,4,6
/proc/4462/task/4465/stat : 4465 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 196662 0 0 0 111554 66 0 0 25 0 4 0 523141549 765280256 125016 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.03
Current children cumulated vsize (KiB) 747344

[startup+1182.3 s]
/proc/loadavg: 8.12 8.05 7.89 9/184 4498
/proc/meminfo: memFree=23042052/32951124 swapFree=67111524/67111528
[pid=4462] ppid=4460 vsize=742196 CPUtime=4722.71 cores=0,2,4,6
/proc/4462/stat : 4462 (strangenight2-m) R 4460 4462 4006 0 -1 4202496 769784 0 0 0 472006 265 0 0 25 0 4 0 523141549 760008704 137150 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4462/statm: 185549 137150 389 106 0 180520 0
[pid=4462/tid=4463] ppid=4460 vsize=742196 CPUtime=1182.17 cores=0,2,4,6
/proc/4462/task/4463/stat : 4463 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 206005 0 0 0 118150 67 0 0 25 0 4 0 523141549 760008704 137150 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4462/tid=4464] ppid=4460 vsize=742196 CPUtime=1182.31 cores=0,2,4,6
/proc/4462/task/4464/stat : 4464 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 194516 0 0 0 118163 68 0 0 25 0 4 0 523141549 760008704 137150 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4462/tid=4465] ppid=4460 vsize=742196 CPUtime=1175.88 cores=0,2,4,6
/proc/4462/task/4465/stat : 4465 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 201553 0 0 0 117520 68 0 0 25 0 4 0 523141549 760008704 137150 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.71
Current children cumulated vsize (KiB) 742196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.09 8.05 7.89 6/178 4512
/proc/meminfo: memFree=23593856/32951124 swapFree=67111524/67111528
[pid=4462] ppid=4460 vsize=726784 CPUtime=4800.22 cores=0,2,4,6
/proc/4462/stat : 4462 (strangenight2-m) R 4460 4462 4006 0 -1 4202496 776788 0 0 0 479753 269 0 0 25 0 4 0 523141549 744226816 136554 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4462/statm: 181696 136554 389 106 0 176667 0
[pid=4462/tid=4463] ppid=4460 vsize=726784 CPUtime=1201.59 cores=0,2,4,6
/proc/4462/task/4463/stat : 4463 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 207696 0 0 0 120090 69 0 0 25 0 4 0 523141549 744226816 136554 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4462/tid=4464] ppid=4460 vsize=726784 CPUtime=1201.72 cores=0,2,4,6
/proc/4462/task/4464/stat : 4464 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 195816 0 0 0 120103 69 0 0 25 0 4 0 523141549 744226816 136554 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4462/tid=4465] ppid=4460 vsize=726784 CPUtime=1195.18 cores=0,2,4,6
/proc/4462/task/4465/stat : 4465 (strangenight2-m) R 4460 4462 4006 0 -1 4202560 204233 0 0 0 119449 69 0 0 25 0 4 0 523141549 744226816 136554 33554432000 4194304 4627427 140734033856128 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 726784

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.28
CPU user time (s): 4797.56
CPU system time (s): 2.71959
CPU usage (%): 399.444
Max. virtual memory (cumulated for all children) (KiB): 862452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.56
system time used= 2.71959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 776790
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= 266
involuntary context switches= 21216

runsolver used 2.00169 second user time and 4.5663 second system time

The end

Launcher Data 

Begin job on node139 at 2011-04-30 00:17:18
IDJOB=3174222
IDBENCH=83040
IDSOLVER=1586
FILE ID=node139/3174222-1304115438
RUNJOBID= node139-1304115436-4409
PBS_JOBID= 13170691
Free space on /tmp= 72548 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v600-c2556-S1383380994-043.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174222-1304115438/watcher-3174222-1304115438 -o /tmp/evaluation-result-3174222-1304115438/solver-3174222-1304115438 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174222-1304115438.cnf

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

MD5SUM BENCH= 016ccbb74f587730ed4815e028a75eb1
RANDOM SEED=1276215753

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:      24117396 kB
Buffers:       2049088 kB
Cached:        6179544 kB
SwapCached:          4 kB
Active:         964444 kB
Inactive:      7350428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24117396 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           11596 kB
Writeback:          32 kB
AnonPages:       86256 kB
Mapped:          15504 kB
Slab:           454500 kB
PageTables:       4680 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   294032 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= 72544 MiB
End job on node139 at 2011-04-30 00:37:22