Trace number 3174148

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.11 1202.64

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v650-c2769-S29470018-050.UNKNOWN.cnf
MD5SUM27350cd58dd0500df065558763d7d963
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables650
Number of clauses2769
Sum of the clauses size8307
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32769
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-3174148-1304104308.cnf'
0.00/0.00	c -- header says num vars:            650
0.00/0.00	c -- header says num clauses:        2769
0.00/0.01	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.01	c -- vars added        650
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       650      2769         0         0      8307         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2769/2769 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
3.17/0.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.17/0.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    650 time:  0.00 s
3.17/0.83	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3.17/0.83	c lits-rem:         0  cl-subs:        0  v-elim:     20  v-fix:    0  time:  0.00 s
3.17/0.83	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.83	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.17/0.83	c calculated reachability. Time: 0.00
3.17/0.83	c Calc default polars -  time:   0.00 s pos:     305 undec:      68 neg:     277
3.17/0.83	c =========================================================================================
3.17/0.83	c types(t): F = full restart, N = normal restart
3.17/0.83	c types(t): S = simplification begin/end, E = solution found
3.17/0.83	c restart types(rt): st = static, dy = dynamic
3.17/0.83	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.83	c  B st     0         0       630      2742         0         0      8353         0   no data   no data
3.17/0.83	c Decided on static restart strategy
3.17/0.83	c  N st     8      4917       630      2742         0      4854      8353    144756   no data   no data
3.17/0.83	c  N st    10     11299       630      2742         0      4509      8353     91153   no data   no data
3.17/0.83	c  N st    11     17042       630      2742         0     10166      8353    246809   no data   no data
4.77/1.23	c  F st    12     25001       630      2742         0     12483      8353    322511   no data   no data
4.77/1.23	c  N st    12     25001       630      2742         0     12483      8353    322511   no data   no data
5.97/1.53	c Decided on static restart strategy
5.97/1.53	c  N st    18     30000       630      2742         0     10728      8353    245490   no data   no data
5.97/1.53	c  S st    18     30000       630      2742         0     10728      8353    245490   no data   no data
5.97/1.53	c  S st    18     30501       630      2742         0     11228      8353    258172   no data   no data
5.97/1.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.97/1.53	c blocked clauses removed:       14 vars:      2 tried:         630 T: 0.00 s
5.97/1.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
5.97/1.53	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.97/1.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.97/1.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.55	c lits-rem:       116  cl-subs:      362  v-elim:      0  v-fix:    0  time:  0.05 s
5.97/1.55	c asymm  cl-useful: 0/2728/2728 lits-rem:0 time: 0.01
5.97/1.55	c calculated reachability. Time: 0.00
5.97/1.55	c  N st    18     30501       628      2728         0     10865      8311    245635   no data   no data
7.97/2.00	c  N st    20     37611       628      2728         0     10101      8311    203914   no data   no data
9.10/2.38	c  N st    21     44010       628      2728         0     16415      8311    397866   no data   no data
9.91/2.51	c  S st    22     45751       628      2728         0      9312      8311    156800   no data   no data
9.91/2.54	c  S st    22     46258       628      2728         0      9819      8311    169157   no data   no data
9.91/2.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.91/2.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.91/2.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.91/2.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.91/2.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.91/2.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
9.91/2.54	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.91/2.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.91/2.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.91/2.56	c lits-rem:        16  cl-subs:       42  v-elim:      0  v-fix:    0  time:  0.01 s
9.91/2.56	c vivif2 --  cl tried     2728 cl shrink        0 lits rem          0 time: 0.00
9.91/2.56	c vivif2 --  cl tried     9777 cl shrink        0 lits rem          0 time: 0.00
9.91/2.57	c asymm  cl-useful: 0/2728/2728 lits-rem:0 time: 0.01
9.91/2.57	c calculated reachability. Time: 0.00
9.91/2.57	c  N st    22     46258       628      2728         0      9777      8311    167812   no data   no data
13.90/3.53	c  N st    23     60656       628      2728         0     14125      8311    286947   no data   no data
16.71/4.23	c  N st    24     69387       628      2728         0     11887      8311    211458   no data   no data
16.71/4.23	c  S st    24     69387       628      2728         0     11887      8311    211458   no data   no data
16.71/4.27	c  S st    24     69890       628      2728         0     12389      8311    224449   no data   no data
16.71/4.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.71/4.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.71/4.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.71/4.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.71/4.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.71/4.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
16.71/4.27	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.71/4.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.71/4.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.12/4.30	c lits-rem:        69  cl-subs:      120  v-elim:      0  v-fix:    0  time:  0.02 s
17.12/4.30	c vivif2 --  cl tried     2728 cl shrink        0 lits rem          0 time: 0.00
17.12/4.31	c vivif2 --  cl tried    12269 cl shrink        0 lits rem          0 time: 0.00
17.12/4.31	c asymm  cl-useful: 0/2728/2728 lits-rem:0 time: 0.01
17.12/4.31	c calculated reachability. Time: 0.00
17.12/4.31	c  N st    24     69890       628      2728         0     12269      8311    220527   no data   no data
21.84/5.74	c  F st    25     87500       628      2728         0     17759      8311    373713   no data   no data
21.84/5.74	c  N st    25     87500       628      2728         0     17759      8311    373713   no data   no data
23.21/6.16	c Decided on static restart strategy
24.14/6.48	c  N st    32     95540       628      2728         0     12938      8311    200242   no data   no data
26.41/7.15	c  N st    34    104836       628      2728         0     22065      8311    466557   no data   no data
26.41/7.15	c  S st    34    104836       628      2728         0     22065      8311    466557   no data   no data
26.76/7.21	c  S st    34    105338       628      2728         0     22567      8311    479858   no data   no data
26.76/7.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.76/7.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
26.76/7.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.76/7.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.76/7.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.76/7.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
26.76/7.22	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
26.76/7.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
26.76/7.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.41/7.46	c lits-rem:        81  cl-subs:      706  v-elim:      0  v-fix:    0  time:  0.15 s
27.41/7.46	c vivif2 --  cl tried     2728 cl shrink        0 lits rem          0 time: 0.00
27.41/7.47	c vivif2 --  cl tried    21861 cl shrink        0 lits rem          0 time: 0.00
27.41/7.48	c asymm  cl-useful: 0/2728/2728 lits-rem:0 time: 0.01
27.41/7.48	c calculated reachability. Time: 0.00
27.41/7.48	c  N st    34    105338       628      2728         0     21861      8311    456530   no data   no data
30.19/8.27	c  N st    35    114936       628      2728         0     17560      8311    309496   no data   no data
35.38/9.59	c  N st    36    129334       628      2728         0     16969      8311    269660   no data   no data
43.34/11.59	c  N st    37    150929       628      2728         0     22488      8311    406476   no data   no data
46.13/12.26	c  S st    38    158008       628      2728         0     29464      8311    611615   no data   no data
46.53/12.33	c  S st    38    158513       628      2728         0     29969      8311    624547   no data   no data
46.53/12.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.53/12.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
46.53/12.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
46.53/12.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.53/12.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.53/12.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
46.53/12.35	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
46.53/12.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
46.53/12.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.73/12.69	c lits-rem:       228  cl-subs:      919  v-elim:      0  v-fix:    0  time:  0.31 s
47.73/12.69	c vivif2 --  cl tried     2728 cl shrink        0 lits rem          0 time: 0.00
47.73/12.69	c vivif2 --  cl tried    29050 cl shrink        0 lits rem          0 time: 0.01
48.13/12.71	c asymm  cl-useful: 0/2728/2728 lits-rem:0 time: 0.02
48.13/12.71	c calculated reachability. Time: 0.00
48.13/12.71	c  N st    38    158513       628      2728         0     29050      8311    597318   no data   no data
68.09/17.71	c  N st    39    207104       628      2728         0     23674      8311    409939   no data   no data
81.67/21.13	c  N st    40    237769       628      2728         0     34132      8311    694986   no data   no data
81.67/21.13	c  S st    40    237769       628      2728         0     34132      8311    694986   no data   no data
82.07/21.22	c  S st    40    238271       628      2728         0     34633      8311    708078   no data   no data
82.07/21.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
82.07/21.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
82.07/21.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
82.07/21.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
82.07/21.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.07/21.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
82.07/21.23	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
82.07/21.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
82.07/21.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.88/21.93	c lits-rem:       243  cl-subs:     1398  v-elim:      0  v-fix:    0  time:  0.67 s
84.88/21.93	c vivif2 --  cl tried     2728 cl shrink        0 lits rem          0 time: 0.00
84.88/21.94	c vivif2 --  cl tried    33235 cl shrink        0 lits rem          0 time: 0.01
84.88/21.96	c asymm  cl-useful: 0/2728/2728 lits-rem:0 time: 0.02
84.88/21.97	c calculated reachability. Time: 0.00
84.88/21.97	c  N st    40    238271       628      2728         0     33235      8311    663129   no data   no data
118.80/30.43	c  F st    41    306250       628      2728         0     35132      8311    687049   no data   no data
118.80/30.43	c  N st    41    306250       628      2728         0     35132      8311    687049   no data   no data
121.58/31.15	c Decided on static restart strategy
133.19/34.05	c  N st    51    334563       628      2728         0     39431      8311    770950   no data   no data
144.75/36.97	c  N st    53    357407       628      2728         0     37330      8311    680623   no data   no data
144.75/36.97	c  S st    53    357407       628      2728         0     37330      8311    680623   no data   no data
145.15/37.07	c  S st    53    357913       628      2728         0     37836      8311    694890   no data   no data
145.15/37.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
145.15/37.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
145.15/37.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
145.15/37.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
145.15/37.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
145.15/37.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
145.15/37.09	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
145.55/37.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
145.55/37.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.15/37.53	c lits-rem:       288  cl-subs:     1004  v-elim:      0  v-fix:    0  time:  0.41 s
147.15/37.53	c vivif2 --  cl tried     2728 cl shrink        0 lits rem          0 time: 0.00
147.15/37.54	c vivif2 --  cl tried    36832 cl shrink        0 lits rem          0 time: 0.01
147.15/37.57	c asymm  cl-useful: 0/2728/2728 lits-rem:0 time: 0.03
147.15/37.57	c calculated reachability. Time: 0.00
147.15/37.57	c  N st    53    357913       628      2728         0     36832      8311    661598   no data   no data
165.11/42.04	c  N st    54    390306       628      2728         0     43060      8311    806088   no data   no data
195.08/49.52	c  N st    55    438894       628      2728         0     36915      8311    618552   no data   no data
240.59/60.97	c  N st    56    511779       628      2728         0     50432      8311    959246   no data   no data
256.96/65.05	c  N st    57    536871       628      2728         0     44619      8311    756442   no data   no data
256.96/65.05	c  S st    57    536871       628      2728         0     44619      8311    756442   no data   no data
257.37/65.16	c  S st    57    537372       628      2728         0     45120      8311    770107   no data   no data
257.37/65.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
257.37/65.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
257.37/65.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
257.37/65.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
257.37/65.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
257.37/65.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
257.37/65.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
257.37/65.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
257.77/65.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
260.16/65.85	c lits-rem:       906  cl-subs:     1332  v-elim:      0  v-fix:    0  time:  0.63 s
260.16/65.85	c vivif2 --  cl tried     2728 cl shrink        0 lits rem          0 time: 0.00
260.16/65.86	c vivif2 --  cl tried    43788 cl shrink        0 lits rem          0 time: 0.01
260.16/65.89	c asymm  cl-useful: 0/2728/2728 lits-rem:0 time: 0.03
260.16/65.90	c calculated reachability. Time: 0.00
260.16/65.90	c  N st    57    537372       628      2728         0     43788      8311    729516   no data   no data
377.18/95.11	c  N st    58    701356       628      2728         0     37850      8311    474329   no data   no data
460.25/115.94	c  N st    59    806058       628      2728         0     67144      8311   1325612   no data   no data
460.25/115.94	c  S st    59    806058       628      2728         0     67144      8311   1325612   no data   no data
461.05/116.13	c  S st    59    806560       628      2728         0     67645      8311   1339534   no data   no data
461.05/116.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
461.05/116.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
461.05/116.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
461.05/116.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
461.05/116.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
461.05/116.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
461.05/116.16	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
461.05/116.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
461.44/116.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
473.03/119.10	c lits-rem:      1144  cl-subs:     2274  v-elim:      0  v-fix:    0  time:  2.88 s
473.03/119.10	c vivif2 --  cl tried     2728 cl shrink        0 lits rem          0 time: 0.00
473.03/119.12	c vivif2 --  cl tried    65371 cl shrink        0 lits rem          0 time: 0.02
473.03/119.18	c asymm  cl-useful: 0/2728/2728 lits-rem:0 time: 0.06
473.03/119.19	c calculated reachability. Time: 0.00
473.03/119.19	c  N st    59    806560       628      2728         0     65371      8311   1268272   no data   no data
700.30/176.09	c  F st    60   1071875       628      2728         0     80904      8311   1574854   no data   no data
700.30/176.09	c  N st    60   1071875       628      2728         0     80904      8311   1574854   no data   no data
706.26/177.52	c Decided on static restart strategy
725.44/182.37	c  N st    70   1100181       628      2728         0     64831      8311   1085608   no data   no data
759.37/190.86	c  N st    72   1136174       628      2728         0     55043      8311    786080   no data   no data
790.91/198.75	c  N st    73   1168566       628      2728         0     86758      8311   1677699   no data   no data
830.44/208.69	c  N st    74   1209842       628      2728         0     81194      8311   1511671   no data   no data
830.44/208.69	c  S st    74   1209842       628      2728         0     81194      8311   1511671   no data   no data
831.66/208.94	c  S st    74   1210344       628      2728         0     81696      8311   1526222   no data   no data
831.66/208.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
831.66/208.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
831.66/208.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
831.66/208.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
831.66/208.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
831.66/208.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
831.66/208.99	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
832.06/209.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
832.06/209.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
848.02/213.01	c lits-rem:       392  cl-subs:     2941  v-elim:      0  v-fix:    0  time:  3.95 s
848.02/213.01	c vivif2 --  cl tried     2728 cl shrink        0 lits rem          0 time: 0.00
848.02/213.03	c vivif2 --  cl tried    78755 cl shrink        0 lits rem          0 time: 0.02
848.42/213.11	c asymm  cl-useful: 0/2728/2728 lits-rem:0 time: 0.08
848.42/213.11	c calculated reachability. Time: 0.00
848.42/213.11	c  N st    74   1210344       628      2728         0     78755      8311   1438309   no data   no data
925.08/232.30	c  N st    75   1283226       628      2728         0     55241      8311    707302   no data   no data
1038.13/260.64	c  N st    76   1392552       628      2728         0     63299      8311    929157   no data   no data
1203.45/302.03	c  N st    77   1556539       628      2728         0     68265      8311   1008543   no data   no data
1363.62/342.16	c  N st    78   1710344       628      2728         0    110035      8311   2314807   no data   no data
1363.62/342.16	c  S st    78   1710344       628      2728         0    110035      8311   2314807   no data   no data
1365.20/342.51	c  S st    78   1710846       628      2728         0    110536      8311   2328331   no data   no data
1365.20/342.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1365.20/342.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1365.20/342.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1365.20/342.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1365.20/342.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1365.20/342.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
1365.20/342.58	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1365.58/342.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1365.58/342.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1430.67/358.95	c lits-rem:      1154  cl-subs:     5990  v-elim:      0  v-fix:    0  time: 16.26 s
1430.67/358.95	c vivif2 --  cl tried     2728 cl shrink        0 lits rem          0 time: 0.00
1430.67/358.99	c vivif2 --  cl tried   104546 cl shrink        0 lits rem          0 time: 0.03
1431.47/359.10	c asymm  cl-useful: 0/2728/2728 lits-rem:0 time: 0.12
1431.47/359.11	c calculated reachability. Time: 0.00
1431.47/359.11	c  N st    78   1710846       628      2728         0    104546      8311   2132412   no data   no data
1845.62/462.84	c  N st    79   2079813       628      2728         0    116107      8311   2398353   no data   no data
1995.78/500.41	c  N st    80   2210846       628      2728         0    120079      8311   2466877   no data   no data
1995.78/500.41	c  S st    80   2210846       628      2728         0    120079      8311   2466877   no data   no data
1996.96/500.78	c  S st    80   2211346       628      2728         0    120574      8311   2480394   no data   no data
1996.96/500.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1997.36/500.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
1997.36/500.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1997.36/500.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1997.36/500.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1997.36/500.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
1997.36/500.85	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1997.36/500.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1997.76/500.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2089.21/523.84	c lits-rem:      1001  cl-subs:     7913  v-elim:      0  v-fix:    0  time: 22.86 s
2089.21/523.84	c vivif2 --  cl tried     2728 cl shrink        0 lits rem          0 time: 0.00
2089.21/523.87	c vivif2 --  cl tried   112661 cl shrink        0 lits rem          0 time: 0.03
2090.01/524.00	c asymm  cl-useful: 0/2728/2728 lits-rem:0 time: 0.13
2090.01/524.00	c calculated reachability. Time: 0.00
2090.01/524.00	c  N st    80   2211346       628      2728         0    112661      8311   2224398   no data   no data
2729.40/684.17	c  N st    81   2711346       628      2728         0    136168      8311   2789681   no data   no data
2729.40/684.17	c  S st    81   2711346       628      2728         0    136168      8311   2789681   no data   no data
2731.38/684.63	c  S st    81   2711850       628      2728         0    136672      8311   2803019   no data   no data
2731.38/684.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2731.78/684.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2731.78/684.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2731.78/684.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2731.78/684.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2731.78/684.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
2731.78/684.71	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2731.78/684.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2732.17/684.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2853.18/715.14	c lits-rem:      1258  cl-subs:     9286  v-elim:      0  v-fix:    0  time: 30.29 s
2853.18/715.14	c vivif2 --  cl tried     2728 cl shrink        0 lits rem          0 time: 0.00
2853.18/715.18	c vivif2 --  cl tried   127386 cl shrink        0 lits rem          0 time: 0.04
2853.97/715.33	c asymm  cl-useful: 0/2728/2728 lits-rem:0 time: 0.15
2853.97/715.34	c calculated reachability. Time: 0.00
2853.97/715.34	c  N st    81   2711850       628      2728         0    127386      8311   2518522   no data   no data
3559.26/891.93	c  N st    82   3211852       628      2728         0    103729      8311   1614520   no data   no data
3559.26/891.93	c  S st    82   3211852       628      2728         0    103729      8311   1614520   no data   no data
3560.84/892.36	c  S st    82   3212356       628      2728         0    104233      8311   1629071   no data   no data
3560.84/892.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3561.24/892.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.07
3561.24/892.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3561.24/892.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3561.24/892.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3561.24/892.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
3561.24/892.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3561.24/892.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3561.64/892.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3591.18/899.99	c lits-rem:       338  cl-subs:     3181  v-elim:      0  v-fix:    0  time:  7.45 s
3591.18/899.99	c vivif2 --  cl tried     2728 cl shrink        0 lits rem          0 time: 0.00
3591.58/900.02	c vivif2 --  cl tried   101052 cl shrink        0 lits rem          0 time: 0.03
3591.98/900.17	c asymm  cl-useful: 0/2728/2728 lits-rem:0 time: 0.15
3591.98/900.17	c calculated reachability. Time: 0.00
3591.98/900.17	c  N st    82   3212356       628      2728         0    101052      8311   1529894   no data   no data
4375.13/1096.26	c  N st    83   3712356       628      2728         0    112002      8311   1819939   no data   no data
4375.13/1096.26	c  S st    83   3712356       628      2728         0    112002      8311   1819939   no data   no data
4376.73/1096.61	c  S st    83   3712859       628      2728         0    112503      8311   1833604   no data   no data
4376.73/1096.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4376.73/1096.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
4376.73/1096.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4376.73/1096.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4376.73/1096.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4376.73/1096.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
4376.73/1096.67	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4377.14/1096.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4377.14/1096.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4392.70/1100.62	c lits-rem:      1186  cl-subs:     1840  v-elim:      0  v-fix:    0  time:  3.86 s
4392.70/1100.62	c vivif2 --  cl tried     2728 cl shrink        0 lits rem          0 time: 0.00
4392.70/1100.65	c vivif2 --  cl tried   110663 cl shrink        0 lits rem          0 time: 0.03
4393.10/1100.77	c asymm  cl-useful: 0/2728/2728 lits-rem:0 time: 0.12
4393.10/1100.78	c calculated reachability. Time: 0.00
4393.10/1100.78	c  N st    83   3712859       628      2728         0    110663      8311   1765875   no data   no data
4455.82/1116.45	c  F st    84   3751564       628      2728         0    148531      8311   2984321   no data   no data
4455.82/1116.45	c  N st    84   3751564       628      2728         0    148531      8311   2984321   no data   no data
4471.78/1120.45	c Decided on static restart strategy
4522.48/1133.15	c  N st    94   3779865       628      2728         0     92933      8311   1097912   no data   no data
4582.39/1148.12	c  N st    96   3815857       628      2728         0    128314      8311   2133671   no data   no data
4652.67/1165.74	c  N st    97   3848249       628      2728         0    160098      8311   3099099   no data   no data
4728.93/1184.87	c  N st    98   3896837       628      2728         0    123384      8311   1991792   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-3174148-1304104308/watcher-3174148-1304104308 -o /tmp/evaluation-result-3174148-1304104308/solver-3174148-1304104308 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174148-1304104308.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: 1.75 3.95 5.70 5/178 9663
/proc/meminfo: memFree=30988024/32951132 swapFree=67080208/67111528
[pid=9663] ppid=9661 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/9663/stat : 9663 (strangenight2-m) R 9661 9663 9622 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 522030476 52441088 347 33554432000 4194304 4627427 140735389907264 18446744073709551615 47118260348844 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9663/statm: 12803 347 299 106 0 7774 0
[pid=9663/tid=9664] ppid=9661 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/9663/task/9664/stat : 9664 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 522030476 52441088 347 33554432000 4194304 4627427 140735389907264 18446744073709551615 210647202801 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9663/tid=9665] ppid=9661 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/9663/task/9665/stat : 9665 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 522030476 52441088 347 33554432000 4194304 4627427 140735389907264 18446744073709551615 210658944054 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9663/tid=9666] ppid=9661 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/9663/task/9666/stat : 9666 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 522030476 52441088 347 33554432000 4194304 4627427 140735389907264 18446744073709551615 47118260348850 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0675309 s]
/proc/loadavg: 1.75 3.95 5.70 5/178 9663
/proc/meminfo: memFree=30988024/32951132 swapFree=67080208/67111528
[pid=9663] ppid=9661 vsize=282212 CPUtime=0.25 cores=0,2,4,6
/proc/9663/stat : 9663 (strangenight2-m) R 9661 9663 9622 0 -1 4202496 1682 0 0 0 25 0 0 0 18 0 4 0 522030476 288985088 1564 33554432000 4194304 4627427 140735389907264 18446744073709551615 4333184 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9663/statm: 70553 1565 384 106 0 65524 0
[pid=9663/tid=9664] ppid=9661 vsize=282212 CPUtime=0.05 cores=0,2,4,6
/proc/9663/task/9664/stat : 9664 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 286 0 0 0 5 0 0 0 25 0 4 0 522030476 288985088 1565 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9663/tid=9665] ppid=9661 vsize=282212 CPUtime=0.06 cores=0,2,4,6
/proc/9663/task/9665/stat : 9665 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 377 0 0 0 6 0 0 0 18 0 4 0 522030476 288985088 1565 33554432000 4194304 4627427 140735389907264 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9663/tid=9666] ppid=9661 vsize=282212 CPUtime=0.06 cores=0,2,4,6
/proc/9663/task/9666/stat : 9666 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 201 0 0 0 6 0 0 0 18 0 4 0 522030476 288985088 1565 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 282212

[startup+0.100524 s]
/proc/loadavg: 1.75 3.95 5.70 5/178 9663
/proc/meminfo: memFree=30988024/32951132 swapFree=67080208/67111528
[pid=9663] ppid=9661 vsize=282344 CPUtime=0.38 cores=0,2,4,6
/proc/9663/stat : 9663 (strangenight2-m) R 9661 9663 9622 0 -1 4202496 1852 0 0 0 38 0 0 0 18 0 4 0 522030476 289120256 1734 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9663/statm: 70586 1734 384 106 0 65557 0
[pid=9663/tid=9664] ppid=9661 vsize=282344 CPUtime=0.09 cores=0,2,4,6
/proc/9663/task/9664/stat : 9664 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 322 0 0 0 9 0 0 0 25 0 4 0 522030476 289120256 1734 33554432000 4194304 4627427 140735389907264 18446744073709551615 4308780 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9663/tid=9665] ppid=9661 vsize=282344 CPUtime=0.09 cores=0,2,4,6
/proc/9663/task/9665/stat : 9665 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 428 0 0 0 9 0 0 0 18 0 4 0 522030476 289120256 1734 33554432000 4194304 4627427 140735389907264 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9663/tid=9666] ppid=9661 vsize=282344 CPUtime=0.09 cores=0,2,4,6
/proc/9663/task/9666/stat : 9666 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 231 0 0 0 9 0 0 0 18 0 4 0 522030476 289120256 1734 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282344

[startup+0.300491 s]
/proc/loadavg: 1.75 3.95 5.70 5/178 9663
/proc/meminfo: memFree=30988024/32951132 swapFree=67080208/67111528
[pid=9663] ppid=9661 vsize=283984 CPUtime=1.17 cores=0,2,4,6
/proc/9663/stat : 9663 (strangenight2-m) R 9661 9663 9622 0 -1 4202496 3002 0 0 0 117 0 0 0 18 0 4 0 522030476 290799616 2214 33554432000 4194304 4627427 140735389907264 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9663/statm: 70996 2214 385 106 0 65967 0
[pid=9663/tid=9664] ppid=9661 vsize=283984 CPUtime=0.29 cores=0,2,4,6
/proc/9663/task/9664/stat : 9664 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 598 0 0 0 29 0 0 0 25 0 4 0 522030476 290799616 2214 33554432000 4194304 4627427 140735389907264 18446744073709551615 4308135 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9663/tid=9665] ppid=9661 vsize=283984 CPUtime=0.28 cores=0,2,4,6
/proc/9663/task/9665/stat : 9665 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 707 0 0 0 28 0 0 0 18 0 4 0 522030476 290799616 2214 33554432000 4194304 4627427 140735389907264 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9663/tid=9666] ppid=9661 vsize=283984 CPUtime=0.29 cores=0,2,4,6
/proc/9663/task/9666/stat : 9666 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 524 0 0 0 29 0 0 0 18 0 4 0 522030476 290799616 2214 33554432000 4194304 4627427 140735389907264 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283984

[startup+0.700424 s]
/proc/loadavg: 1.75 3.95 5.70 5/178 9663
/proc/meminfo: memFree=30988024/32951132 swapFree=67080208/67111528
[pid=9663] ppid=9661 vsize=285040 CPUtime=2.77 cores=0,2,4,6
/proc/9663/stat : 9663 (strangenight2-m) R 9661 9663 9622 0 -1 4202496 4673 0 0 0 277 0 0 0 18 0 4 0 522030476 291880960 2886 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9663/statm: 71260 2886 385 106 0 66231 0
[pid=9663/tid=9664] ppid=9661 vsize=285040 CPUtime=0.69 cores=0,2,4,6
/proc/9663/task/9664/stat : 9664 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 1007 0 0 0 69 0 0 0 25 0 4 0 522030476 291880960 2886 33554432000 4194304 4627427 140735389907264 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9663/tid=9665] ppid=9661 vsize=285040 CPUtime=0.68 cores=0,2,4,6
/proc/9663/task/9665/stat : 9665 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 1135 0 0 0 68 0 0 0 18 0 4 0 522030476 291880960 2886 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9663/tid=9666] ppid=9661 vsize=285040 CPUtime=0.69 cores=0,2,4,6
/proc/9663/task/9666/stat : 9666 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 938 0 0 0 69 0 0 0 18 0 4 0 522030476 291880960 2886 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285040

[startup+1.50029 s]
/proc/loadavg: 1.75 3.95 5.70 9/182 9667
/proc/meminfo: memFree=30965920/32951132 swapFree=67080208/67111528
[pid=9663] ppid=9661 vsize=287000 CPUtime=5.97 cores=0,2,4,6
/proc/9663/stat : 9663 (strangenight2-m) R 9661 9663 9622 0 -1 4202496 9667 0 0 0 596 1 0 0 20 0 4 0 522030476 293888000 5042 33554432000 4194304 4627427 140735389907264 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9663/statm: 71750 5042 390 106 0 66721 0
[pid=9663/tid=9664] ppid=9661 vsize=287000 CPUtime=1.48 cores=0,2,4,6
/proc/9663/task/9664/stat : 9664 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 1866 0 0 0 148 0 0 0 25 0 4 0 522030476 293888000 5043 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9663/tid=9665] ppid=9661 vsize=287000 CPUtime=1.48 cores=0,2,4,6
/proc/9663/task/9665/stat : 9665 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 1955 0 0 0 148 0 0 0 20 0 4 0 522030476 293888000 5043 33554432000 4194304 4627427 140735389907264 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9663/tid=9666] ppid=9661 vsize=287000 CPUtime=1.49 cores=0,2,4,6
/proc/9663/task/9666/stat : 9666 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 1799 0 0 0 149 0 0 0 20 0 4 0 522030476 293888000 5043 33554432000 4194304 4627427 140735389907264 18446744073709551615 4308345 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 287000

[startup+3.10102 s]
/proc/loadavg: 1.75 3.95 5.70 10/182 9667
/proc/meminfo: memFree=30942276/32951132 swapFree=67080208/67111528
[pid=9663] ppid=9661 vsize=282388 CPUtime=12.31 cores=0,2,4,6
/proc/9663/stat : 9663 (strangenight2-m) R 9661 9663 9622 0 -1 4202496 18859 0 0 0 1226 5 0 0 25 0 4 0 522030476 289165312 10442 33554432000 4194304 4627427 140735389907264 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9663/statm: 70597 10442 390 106 0 65568 0
[pid=9663/tid=9664] ppid=9661 vsize=282388 CPUtime=3.07 cores=0,2,4,6
/proc/9663/task/9664/stat : 9664 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 4235 0 0 0 306 1 0 0 25 0 4 0 522030476 289165312 10442 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9663/tid=9665] ppid=9661 vsize=282388 CPUtime=3.08 cores=0,2,4,6
/proc/9663/task/9665/stat : 9665 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 5258 0 0 0 307 1 0 0 25 0 4 0 522030476 289165312 10442 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9663/tid=9666] ppid=9661 vsize=282388 CPUtime=3.04 cores=0,2,4,6
/proc/9663/task/9666/stat : 9666 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 3960 0 0 0 303 1 0 0 25 0 4 0 522030476 289165312 10442 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.31
Current children cumulated vsize (KiB) 282388

[startup+6.30048 s]
/proc/loadavg: 2.25 4.02 5.71 10/182 9667
/proc/meminfo: memFree=30890932/32951132 swapFree=67080208/67111528
[pid=9663] ppid=9661 vsize=288532 CPUtime=23.85 cores=0,2,4,6
/proc/9663/stat : 9663 (strangenight2-m) R 9661 9663 9622 0 -1 4202496 27766 0 0 0 2370 15 0 0 25 0 4 0 522030476 295456768 14199 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9663/statm: 72133 14199 389 106 0 67104 0
[pid=9663/tid=9664] ppid=9661 vsize=288532 CPUtime=5.72 cores=0,2,4,6
/proc/9663/task/9664/stat : 9664 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 7416 0 0 0 568 4 0 0 25 0 4 0 522030476 295456768 14199 33554432000 4194304 4627427 140735389907264 18446744073709551615 4332184 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9663/tid=9665] ppid=9661 vsize=288532 CPUtime=6.14 cores=0,2,4,6
/proc/9663/task/9665/stat : 9665 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 7337 0 0 0 608 6 0 0 18 0 4 0 522030476 295456768 14199 33554432000 4194304 4627427 140735389907264 18446744073709551615 210647189687 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9663/tid=9666] ppid=9661 vsize=288532 CPUtime=5.7 cores=0,2,4,6
/proc/9663/task/9666/stat : 9666 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 5518 0 0 0 568 2 0 0 25 0 4 0 522030476 295456768 14199 33554432000 4194304 4627427 140735389907264 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 23.85
Current children cumulated vsize (KiB) 288532

[startup+12.7004 s]
/proc/loadavg: 2.71 4.08 5.73 10/182 9667
/proc/meminfo: memFree=30841780/32951132 swapFree=67080208/67111528
[pid=9663] ppid=9661 vsize=299724 CPUtime=48.13 cores=0,2,4,6
/proc/9663/stat : 9663 (strangenight2-m) R 9661 9663 9622 0 -1 4202496 46691 0 0 0 4761 52 0 0 25 0 4 0 522030476 306917376 21097 33554432000 4194304 4627427 140735389907264 18446744073709551615 4310114 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9663/statm: 74931 21097 389 106 0 69902 0
[pid=9663/tid=9664] ppid=9661 vsize=299724 CPUtime=10.93 cores=0,2,4,6
/proc/9663/task/9664/stat : 9664 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 10803 0 0 0 1072 21 0 0 25 0 4 0 522030476 306917376 21097 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9663/tid=9665] ppid=9661 vsize=299724 CPUtime=12.51 cores=0,2,4,6
/proc/9663/task/9665/stat : 9665 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 11970 0 0 0 1237 14 0 0 25 0 4 0 522030476 306917376 21097 33554432000 4194304 4627427 140735389907264 18446744073709551615 4321720 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9663/tid=9666] ppid=9661 vsize=299724 CPUtime=12.05 cores=0,2,4,6
/proc/9663/task/9666/stat : 9666 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 9674 0 0 0 1201 4 0 0 25 0 4 0 522030476 306917376 21097 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 48.13
Current children cumulated vsize (KiB) 299724

[startup+25.5003 s]
/proc/loadavg: 3.96 4.29 5.77 10/182 9667
/proc/meminfo: memFree=30787264/32951132 swapFree=67080208/67111528
[pid=9663] ppid=9661 vsize=294936 CPUtime=99.25 cores=0,2,4,6
/proc/9663/stat : 9663 (strangenight2-m) R 9661 9663 9622 0 -1 4202496 69271 0 0 0 9867 58 0 0 25 0 4 0 522030476 302014464 30222 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9663/statm: 73734 30222 389 106 0 68705 0
[pid=9663/tid=9664] ppid=9661 vsize=294936 CPUtime=23.72 cores=0,2,4,6
/proc/9663/task/9664/stat : 9664 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 16718 0 0 0 2349 23 0 0 25 0 4 0 522030476 302014464 30222 33554432000 4194304 4627427 140735389907264 18446744073709551615 4324104 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9663/tid=9665] ppid=9661 vsize=294936 CPUtime=25.31 cores=0,2,4,6
/proc/9663/task/9665/stat : 9665 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 19246 0 0 0 2515 16 0 0 25 0 4 0 522030476 302014464 30222 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9663/tid=9666] ppid=9661 vsize=294936 CPUtime=24.78 cores=0,2,4,6
/proc/9663/task/9666/stat : 9666 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 13326 0 0 0 2473 5 0 0 25 0 4 0 522030476 302014464 30222 33554432000 4194304 4627427 140735389907264 18446744073709551615 4308368 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 99.25
Current children cumulated vsize (KiB) 294936

[startup+51.101 s]
/proc/loadavg: 5.34 4.59 5.83 10/182 9668
/proc/meminfo: memFree=30736420/32951132 swapFree=67080208/67111528
[pid=9663] ppid=9661 vsize=363704 CPUtime=201.46 cores=0,2,4,6
/proc/9663/stat : 9663 (strangenight2-m) R 9661 9663 9622 0 -1 4202496 102733 0 0 0 20071 75 0 0 25 0 4 0 522030476 372432896 35280 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9663/statm: 90926 35280 389 106 0 85897 0
[pid=9663/tid=9664] ppid=9661 vsize=363704 CPUtime=49.28 cores=0,2,4,6
/proc/9663/task/9664/stat : 9664 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 25134 0 0 0 4895 33 0 0 25 0 4 0 522030476 372432896 35280 33554432000 4194304 4627427 140735389907264 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9663/tid=9665] ppid=9661 vsize=363704 CPUtime=50.91 cores=0,2,4,6
/proc/9663/task/9665/stat : 9665 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 29386 0 0 0 5073 18 0 0 25 0 4 0 522030476 372432896 35280 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9663/tid=9666] ppid=9661 vsize=363704 CPUtime=50.27 cores=0,2,4,6
/proc/9663/task/9666/stat : 9666 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 18909 0 0 0 5020 7 0 0 25 0 4 0 522030476 372432896 35280 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 201.46
Current children cumulated vsize (KiB) 363704

[startup+102.306 s]
/proc/loadavg: 6.96 5.14 5.95 10/182 9669
/proc/meminfo: memFree=30675380/32951132 swapFree=67080208/67111528
[pid=9663] ppid=9661 vsize=318080 CPUtime=405.96 cores=0,2,4,6
/proc/9663/stat : 9663 (strangenight2-m) R 9661 9663 9622 0 -1 4202496 148012 0 0 0 40505 91 0 0 25 0 4 0 522030476 325713920 42786 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309164 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9663/statm: 79520 42786 389 106 0 74491 0
[pid=9663/tid=9664] ppid=9661 vsize=318080 CPUtime=100.46 cores=0,2,4,6
/proc/9663/task/9664/stat : 9664 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 34848 0 0 0 10008 38 0 0 25 0 4 0 522030476 325713920 42786 33554432000 4194304 4627427 140735389907264 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9663/tid=9665] ppid=9661 vsize=318080 CPUtime=102.11 cores=0,2,4,6
/proc/9663/task/9665/stat : 9665 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 41358 0 0 0 10188 23 0 0 25 0 4 0 522030476 325713920 42786 33554432000 4194304 4627427 140735389907264 18446744073709551615 4308632 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9663/tid=9666] ppid=9661 vsize=318080 CPUtime=101.22 cores=0,2,4,6
/proc/9663/task/9666/stat : 9666 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 28274 0 0 0 10113 9 0 0 25 0 4 0 522030476 325713920 42786 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 405.96
Current children cumulated vsize (KiB) 318080

[startup+162.3 s]

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

[pid=9663] ppid=9661 vsize=608344 CPUtime=2562.49 cores=0,2,4,6
/proc/9663/stat : 9663 (strangenight2-m) R 9661 9663 9622 0 -1 4202496 418469 0 0 0 256041 208 0 0 25 0 4 0 522030476 622944256 95463 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9663/statm: 152086 95463 389 106 0 147057 0
[pid=9663/tid=9664] ppid=9661 vsize=608344 CPUtime=640.18 cores=0,2,4,6
/proc/9663/task/9664/stat : 9664 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 100746 0 0 0 63942 76 0 0 25 0 4 0 522030476 622944256 95463 33554432000 4194304 4627427 140735389907264 18446744073709551615 4324104 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9663/tid=9665] ppid=9661 vsize=608344 CPUtime=642.07 cores=0,2,4,6
/proc/9663/task/9665/stat : 9665 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 111331 0 0 0 64157 50 0 0 25 0 4 0 522030476 622944256 95463 33554432000 4194304 4627427 140735389907264 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9663/tid=9666] ppid=9661 vsize=608344 CPUtime=638.43 cores=0,2,4,6
/proc/9663/task/9666/stat : 9666 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 81035 0 0 0 63813 30 0 0 25 0 4 0 522030476 622944256 95463 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2562.49
Current children cumulated vsize (KiB) 608344

[startup+702.301 s]
/proc/loadavg: 8.14 7.70 6.95 10/182 9685
/proc/meminfo: memFree=30287004/32951132 swapFree=67080208/67111528
[pid=9663] ppid=9661 vsize=620264 CPUtime=2802.06 cores=0,2,4,6
/proc/9663/stat : 9663 (strangenight2-m) R 9661 9663 9622 0 -1 4202496 444966 0 0 0 279987 219 0 0 25 0 4 0 522030476 635150336 102566 33554432000 4194304 4627427 140735389907264 18446744073709551615 4420130 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9663/statm: 155066 102566 389 106 0 150037 0
[pid=9663/tid=9664] ppid=9661 vsize=620264 CPUtime=700.14 cores=0,2,4,6
/proc/9663/task/9664/stat : 9664 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 109203 0 0 0 69933 81 0 0 25 0 4 0 522030476 635150336 102566 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9663/tid=9665] ppid=9661 vsize=620264 CPUtime=702.06 cores=0,2,4,6
/proc/9663/task/9665/stat : 9665 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 116392 0 0 0 70153 53 0 0 25 0 4 0 522030476 635150336 102566 33554432000 4194304 4627427 140735389907264 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9663/tid=9666] ppid=9661 vsize=620264 CPUtime=698.11 cores=0,2,4,6
/proc/9663/task/9666/stat : 9666 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 86470 0 0 0 69779 32 0 0 25 0 4 0 522030476 635150336 102566 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2802.06
Current children cumulated vsize (KiB) 620264

[startup+762.306 s]
/proc/loadavg: 8.12 7.77 7.02 10/182 9687
/proc/meminfo: memFree=30235524/32951132 swapFree=67080208/67111528
[pid=9663] ppid=9661 vsize=583004 CPUtime=3041.7 cores=0,2,4,6
/proc/9663/stat : 9663 (strangenight2-m) R 9661 9663 9622 0 -1 4202496 467780 0 0 0 303939 231 0 0 25 0 4 0 522030476 596996096 107891 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9663/statm: 145751 107891 389 106 0 140722 0
[pid=9663/tid=9664] ppid=9661 vsize=583004 CPUtime=760.12 cores=0,2,4,6
/proc/9663/task/9664/stat : 9664 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 116708 0 0 0 75926 86 0 0 25 0 4 0 522030476 596996096 107891 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9663/tid=9665] ppid=9661 vsize=583004 CPUtime=762.06 cores=0,2,4,6
/proc/9663/task/9665/stat : 9665 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 122518 0 0 0 76150 56 0 0 25 0 4 0 522030476 596996096 107891 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9663/tid=9666] ppid=9661 vsize=583004 CPUtime=757.78 cores=0,2,4,6
/proc/9663/task/9666/stat : 9666 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 89102 0 0 0 75745 33 0 0 25 0 4 0 522030476 596996096 107891 33554432000 4194304 4627427 140735389907264 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3041.7
Current children cumulated vsize (KiB) 583004

[startup+822.3 s]
/proc/loadavg: 8.10 7.82 7.08 10/182 9689
/proc/meminfo: memFree=30208096/32951132 swapFree=67080208/67111528
[pid=9663] ppid=9661 vsize=648940 CPUtime=3281.3 cores=0,2,4,6
/proc/9663/stat : 9663 (strangenight2-m) R 9661 9663 9622 0 -1 4202496 493343 0 0 0 327887 243 0 0 25 0 4 0 522030476 664514560 112756 33554432000 4194304 4627427 140735389907264 18446744073709551615 4310574 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9663/statm: 162235 112756 389 106 0 157206 0
[pid=9663/tid=9664] ppid=9661 vsize=648940 CPUtime=820.08 cores=0,2,4,6
/proc/9663/task/9664/stat : 9664 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 124535 0 0 0 81918 90 0 0 25 0 4 0 522030476 664514560 112756 33554432000 4194304 4627427 140735389907264 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9663/tid=9665] ppid=9661 vsize=648940 CPUtime=822.04 cores=0,2,4,6
/proc/9663/task/9665/stat : 9665 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 126323 0 0 0 82147 57 0 0 25 0 4 0 522030476 664514560 112756 33554432000 4194304 4627427 140735389907264 18446744073709551615 4332992 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9663/tid=9666] ppid=9661 vsize=648940 CPUtime=817.47 cores=0,2,4,6
/proc/9663/task/9666/stat : 9666 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 95668 0 0 0 81711 36 0 0 25 0 4 0 522030476 664514560 112756 33554432000 4194304 4627427 140735389907264 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3281.3
Current children cumulated vsize (KiB) 648940

[startup+882.3 s]
/proc/loadavg: 8.15 7.88 7.15 10/182 9690
/proc/meminfo: memFree=30227528/32951132 swapFree=67080208/67111528
[pid=9663] ppid=9661 vsize=752716 CPUtime=3520.93 cores=0,2,4,6
/proc/9663/stat : 9663 (strangenight2-m) R 9661 9663 9622 0 -1 4202496 516718 0 0 0 351836 257 0 0 25 0 4 0 522030476 770781184 115170 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9663/statm: 188179 115170 389 106 0 183150 0
[pid=9663/tid=9664] ppid=9661 vsize=752716 CPUtime=880.05 cores=0,2,4,6
/proc/9663/task/9664/stat : 9664 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 131954 0 0 0 87910 95 0 0 25 0 4 0 522030476 770781184 115170 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9663/tid=9665] ppid=9661 vsize=752716 CPUtime=882.05 cores=0,2,4,6
/proc/9663/task/9665/stat : 9665 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 130280 0 0 0 88145 60 0 0 25 0 4 0 522030476 770781184 115170 33554432000 4194304 4627427 140735389907264 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9663/tid=9666] ppid=9661 vsize=752716 CPUtime=877.15 cores=0,2,4,6
/proc/9663/task/9666/stat : 9666 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 100085 0 0 0 87676 39 0 0 25 0 4 0 522030476 770781184 115170 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309149 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3520.93
Current children cumulated vsize (KiB) 752716

[startup+942.301 s]
/proc/loadavg: 8.16 7.93 7.21 9/182 9691
/proc/meminfo: memFree=30183596/32951132 swapFree=67080208/67111528
[pid=9663] ppid=9661 vsize=659664 CPUtime=3760.54 cores=0,2,4,6
/proc/9663/stat : 9663 (strangenight2-m) R 9661 9663 9622 0 -1 4202496 536608 0 0 0 375787 267 0 0 25 0 4 0 522030476 675495936 119706 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309195 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9663/statm: 164916 119706 389 106 0 159887 0
[pid=9663/tid=9664] ppid=9661 vsize=659664 CPUtime=940.02 cores=0,2,4,6
/proc/9663/task/9664/stat : 9664 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 137803 0 0 0 93903 99 0 0 25 0 4 0 522030476 675495936 119706 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9663/tid=9665] ppid=9661 vsize=659664 CPUtime=942.04 cores=0,2,4,6
/proc/9663/task/9665/stat : 9665 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 135350 0 0 0 94142 62 0 0 25 0 4 0 522030476 675495936 119706 33554432000 4194304 4627427 140735389907264 18446744073709551615 4420161 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9663/tid=9666] ppid=9661 vsize=659664 CPUtime=936.83 cores=0,2,4,6
/proc/9663/task/9666/stat : 9666 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 102415 0 0 0 93643 40 0 0 25 0 4 0 522030476 675495936 119706 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3760.54
Current children cumulated vsize (KiB) 659664

[startup+1002.3 s]
/proc/loadavg: 8.10 7.96 7.26 10/182 9693
/proc/meminfo: memFree=30194588/32951132 swapFree=67080208/67111528
[pid=9663] ppid=9661 vsize=646860 CPUtime=4000.14 cores=0,2,4,6
/proc/9663/stat : 9663 (strangenight2-m) R 9661 9663 9622 0 -1 4202496 560347 0 0 0 399734 280 0 0 25 0 4 0 522030476 662384640 114683 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9663/statm: 161715 114683 389 106 0 156686 0
[pid=9663/tid=9664] ppid=9661 vsize=646860 CPUtime=999.99 cores=0,2,4,6
/proc/9663/task/9664/stat : 9664 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 142091 0 0 0 99897 102 0 0 25 0 4 0 522030476 662384640 114683 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9663/tid=9665] ppid=9661 vsize=646860 CPUtime=1002.03 cores=0,2,4,6
/proc/9663/task/9665/stat : 9665 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 142044 0 0 0 100137 66 0 0 25 0 4 0 522030476 662384640 114683 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9663/tid=9666] ppid=9661 vsize=646860 CPUtime=996.5 cores=0,2,4,6
/proc/9663/task/9666/stat : 9666 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 107625 0 0 0 99608 42 0 0 25 0 4 0 522030476 662384640 114683 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309075 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4000.14
Current children cumulated vsize (KiB) 646860

[startup+1062.3 s]
/proc/loadavg: 8.04 7.96 7.30 10/182 9695
/proc/meminfo: memFree=30214000/32951132 swapFree=67080208/67111528
[pid=9663] ppid=9661 vsize=647060 CPUtime=4239.76 cores=0,2,4,6
/proc/9663/stat : 9663 (strangenight2-m) R 9661 9663 9622 0 -1 4202496 589266 0 0 0 423682 294 0 0 25 0 4 0 522030476 662589440 117010 33554432000 4194304 4627427 140735389907264 18446744073709551615 4310114 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9663/statm: 161765 117010 389 106 0 156736 0
[pid=9663/tid=9664] ppid=9661 vsize=647060 CPUtime=1059.96 cores=0,2,4,6
/proc/9663/task/9664/stat : 9664 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 147892 0 0 0 105891 105 0 0 25 0 4 0 522030476 662589440 117010 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9663/tid=9665] ppid=9661 vsize=647060 CPUtime=1062.03 cores=0,2,4,6
/proc/9663/task/9665/stat : 9665 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 149217 0 0 0 106133 70 0 0 25 0 4 0 522030476 662589440 117010 33554432000 4194304 4627427 140735389907264 18446744073709551615 4308345 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9663/tid=9666] ppid=9661 vsize=647060 CPUtime=1056.18 cores=0,2,4,6
/proc/9663/task/9666/stat : 9666 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 115863 0 0 0 105573 45 0 0 25 0 4 0 522030476 662589440 117010 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4239.76
Current children cumulated vsize (KiB) 647060

[startup+1122.3 s]
/proc/loadavg: 8.10 8.00 7.36 10/182 9697
/proc/meminfo: memFree=30147616/32951132 swapFree=67080208/67111528
[pid=9663] ppid=9661 vsize=700528 CPUtime=4479.37 cores=0,2,4,6
/proc/9663/stat : 9663 (strangenight2-m) R 9661 9663 9622 0 -1 4202496 610658 0 0 0 447631 306 0 0 25 0 4 0 522030476 717340672 130009 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9663/statm: 175132 130009 389 106 0 170103 0
[pid=9663/tid=9664] ppid=9661 vsize=700528 CPUtime=1119.92 cores=0,2,4,6
/proc/9663/task/9664/stat : 9664 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 153382 0 0 0 111884 108 0 0 25 0 4 0 522030476 717340672 130009 33554432000 4194304 4627427 140735389907264 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9663/tid=9665] ppid=9661 vsize=700528 CPUtime=1122.03 cores=0,2,4,6
/proc/9663/task/9665/stat : 9665 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 154688 0 0 0 112130 73 0 0 25 0 4 0 522030476 717340672 130009 33554432000 4194304 4627427 140735389907264 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9663/tid=9666] ppid=9661 vsize=700528 CPUtime=1115.85 cores=0,2,4,6
/proc/9663/task/9666/stat : 9666 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 120714 0 0 0 111537 48 0 0 25 0 4 0 522030476 717340672 130009 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4479.37
Current children cumulated vsize (KiB) 700528

[startup+1182.3 s]
/proc/loadavg: 8.08 8.01 7.40 10/182 9698
/proc/meminfo: memFree=30134304/32951132 swapFree=67080208/67111528
[pid=9663] ppid=9661 vsize=766500 CPUtime=4718.97 cores=0,2,4,6
/proc/9663/stat : 9663 (strangenight2-m) R 9661 9663 9622 0 -1 4202496 626662 0 0 0 471581 316 0 0 25 0 4 0 522030476 784896000 130329 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309312 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9663/statm: 191625 130329 389 106 0 186596 0
[pid=9663/tid=9664] ppid=9661 vsize=766500 CPUtime=1179.9 cores=0,2,4,6
/proc/9663/task/9664/stat : 9664 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 154426 0 0 0 117880 110 0 0 25 0 4 0 522030476 784896000 130329 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9663/tid=9665] ppid=9661 vsize=766500 CPUtime=1182.02 cores=0,2,4,6
/proc/9663/task/9665/stat : 9665 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 159048 0 0 0 118126 76 0 0 25 0 4 0 522030476 784896000 130329 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9663/tid=9666] ppid=9661 vsize=766500 CPUtime=1175.54 cores=0,2,4,6
/proc/9663/task/9666/stat : 9666 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 125026 0 0 0 117503 51 0 0 25 0 4 0 522030476 784896000 130329 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4718.97
Current children cumulated vsize (KiB) 766500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.6 s]
/proc/loadavg: 8.14 8.03 7.42 5/177 9700
/proc/meminfo: memFree=30462804/32951132 swapFree=67080208/67111528
[pid=9663] ppid=9661 vsize=774508 CPUtime=4800.04 cores=0,2,4,6
/proc/9663/stat : 9663 (strangenight2-m) R 9661 9663 9622 0 -1 4202496 632816 0 0 0 479683 321 0 0 25 0 4 0 522030476 793096192 132216 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9663/statm: 193627 132216 389 106 0 188598 0
[pid=9663/tid=9664] ppid=9661 vsize=774508 CPUtime=1200.18 cores=0,2,4,6
/proc/9663/task/9664/stat : 9664 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 155576 0 0 0 119906 112 0 0 25 0 4 0 522030476 793096192 132216 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9663/tid=9665] ppid=9661 vsize=774508 CPUtime=1202.33 cores=0,2,4,6
/proc/9663/task/9665/stat : 9665 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 161623 0 0 0 120156 77 0 0 25 0 4 0 522030476 793096192 132216 33554432000 4194304 4627427 140735389907264 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9663/tid=9666] ppid=9661 vsize=774508 CPUtime=1195.73 cores=0,2,4,6
/proc/9663/task/9666/stat : 9666 (strangenight2-m) R 9661 9663 9622 0 -1 4202560 126033 0 0 0 119521 52 0 0 25 0 4 0 522030476 793096192 132216 33554432000 4194304 4627427 140735389907264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.04
Current children cumulated vsize (KiB) 774508

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.64
CPU time (s): 4800.11
CPU user time (s): 4796.86
CPU system time (s): 3.24251
CPU usage (%): 399.131
Max. virtual memory (cumulated for all children) (KiB): 824040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.86
system time used= 3.24251
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 632818
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= 827
involuntary context switches= 19589

runsolver used 1.72074 second user time and 4.6003 second system time

The end

Launcher Data 

Begin job on node129 at 2011-04-29 21:11:49
IDJOB=3174148
IDBENCH=82966
IDSOLVER=1586
FILE ID=node129/3174148-1304104308
RUNJOBID= node129-1304104308-9640
PBS_JOBID= 13170649
Free space on /tmp= 66364 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v650-c2769-S29470018-050.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174148-1304104308/watcher-3174148-1304104308 -o /tmp/evaluation-result-3174148-1304104308/solver-3174148-1304104308 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174148-1304104308.cnf

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

MD5SUM BENCH= 27350cd58dd0500df065558763d7d963
RANDOM SEED=1560981795

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      30988320 kB
Buffers:        359360 kB
Cached:        1171444 kB
SwapCached:       5192 kB
Active:          87844 kB
Inactive:      1484836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30988320 kB
SwapTotal:    67111528 kB
SwapFree:     67080208 kB
Dirty:           11832 kB
Writeback:           0 kB
AnonPages:       38872 kB
Mapped:          12816 kB
Slab:           323916 kB
PageTables:       4636 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   271144 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66360 MiB
End job on node129 at 2011-04-29 21:31:53