Trace number 3366531

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.4 1203.34

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v600-c2556-S224791863-033.UNKNOWN.cnf
MD5SUM97219d7d3b8dcf40225a045ad28970d7
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 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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366531-1305406647.cnf'
0.00/0.01	c -- header says num vars:            600
0.00/0.01	c -- header says num clauses:        2556
0.00/0.01	c -- clauses added:            0 learnts,         2556 normals,            0 xors
0.00/0.01	c -- vars added        600
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       600      2556         0         0      7668         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2556/2556 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    600 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.10	c lits-rem:         0  cl-subs:        0  v-elim:     12  v-fix:    0  time:  0.00 s
0.00/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:     266 undec:      68 neg:     266
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.10	c  B st     0         0       588      2544         0         0      7703         0   no data   no data
0.00/0.10	c Decided on static restart strategy
0.40/0.17	c  N st     8      4915       588      2544         0      4842      7703    128465   no data   no data
1.56/0.43	c  N st    10     11301       588      2544         0      4499      7703     83784   no data   no data
2.76/0.72	c  N st    11     17046       588      2544         0     10141      7703    241601   no data   no data
4.38/1.14	c  F st    12     25001       588      2544         0     12418      7703    297923   no data   no data
4.38/1.14	c  N st    12     25001       588      2544         0     12418      7703    297923   no data   no data
5.55/1.40	c Decided on static restart strategy
5.55/1.40	c  N st    18     30001       588      2544         0     10679      7703    227463   no data   no data
5.55/1.40	c  S st    18     30001       588      2544         0     10679      7703    227463   no data   no data
5.55/1.43	c  S st    18     30506       588      2544         0     11183      7703    239633   no data   no data
5.55/1.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.55/1.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.55/1.44	c blocked clauses removed:       32 vars:      5 tried:         588 T: 0.00 s
5.55/1.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.55/1.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.55/1.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    583 time:  0.00 s
5.55/1.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.55/1.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.55/1.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.95/1.50	c lits-rem:       105  cl-subs:      463  v-elim:      0  v-fix:    0  time:  0.05 s
5.95/1.51	c asymm  cl-useful: 0/2512/2512 lits-rem:0 time: 0.01
5.95/1.51	c calculated reachability. Time: 0.00
5.95/1.51	c  N st    18     30506       583      2512         0     10720      7607    225586   no data   no data
7.55/1.91	c  N st    20     37620       583      2512         0      9979      7607    186896   no data   no data
8.77/2.29	c  N st    21     44020       583      2512         0     16231      7607    346462   no data   no data
9.54/2.41	c  S st    22     45761       583      2512         0      9176      7607    144931   no data   no data
9.54/2.44	c  S st    22     46262       583      2512         0      9677      7607    157639   no data   no data
9.54/2.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.54/2.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.54/2.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.54/2.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.54/2.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.54/2.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    583 time:  0.00 s
9.54/2.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.54/2.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.54/2.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.54/2.46	c lits-rem:        36  cl-subs:       58  v-elim:      0  v-fix:    0  time:  0.01 s
9.54/2.46	c vivif2 --  cl tried     2512 cl shrink        0 lits rem          0 time: 0.00
9.54/2.46	c vivif2 --  cl tried     9619 cl shrink        0 lits rem          0 time: 0.00
9.54/2.47	c asymm  cl-useful: 0/2512/2512 lits-rem:0 time: 0.00
9.54/2.47	c calculated reachability. Time: 0.00
9.54/2.47	c  N st    22     46262       583      2512         0      9619      7607    156024   no data   no data
13.58/3.47	c  N st    23     60659       583      2512         0     13926      7607    253415   no data   no data
16.33/4.11	c  N st    24     69395       583      2512         0     11752      7607    191051   no data   no data
16.33/4.11	c  S st    24     69395       583      2512         0     11752      7607    191051   no data   no data
16.33/4.14	c  S st    24     69901       583      2512         0     12258      7607    203926   no data   no data
16.33/4.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.33/4.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.33/4.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.33/4.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.33/4.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.33/4.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    583 time:  0.00 s
16.33/4.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.33/4.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.33/4.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.33/4.18	c lits-rem:        29  cl-subs:      146  v-elim:      0  v-fix:    0  time:  0.02 s
16.33/4.18	c vivif2 --  cl tried     2512 cl shrink        0 lits rem          0 time: 0.00
16.33/4.18	c vivif2 --  cl tried    12112 cl shrink        0 lits rem          0 time: 0.00
16.33/4.19	c asymm  cl-useful: 0/2512/2512 lits-rem:0 time: 0.01
16.33/4.19	c calculated reachability. Time: 0.00
16.33/4.19	c  N st    24     69901       583      2512         0     12112      7607    199438   no data   no data
21.94/5.60	c  F st    25     87500       583      2512         0     17678      7607    357523   no data   no data
21.94/5.60	c  N st    25     87500       583      2512         0     17678      7607    357523   no data   no data
23.90/6.09	c  N dy    33     93518       583      2512         0     23606      7607    515162     18.96     20.02
25.91/6.58	c  N dy    52     99523       583      2512         0     16685      7607    255106     18.68     19.74
27.50/6.98	c  S st    71    104851       583      2512         0     21957      7607    392113     18.43   no data
27.89/7.04	c  S st    71    105355       583      2512         0     22461      7607    404813     18.43   no data
27.89/7.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.89/7.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.89/7.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.89/7.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.89/7.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.89/7.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    583 time:  0.00 s
27.89/7.04	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.89/7.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.89/7.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.29/7.13	c lits-rem:       124  cl-subs:      344  v-elim:      0  v-fix:    0  time:  0.07 s
28.29/7.13	c vivif2 --  cl tried     2512 cl shrink        0 lits rem          0 time: 0.00
28.29/7.14	c vivif2 --  cl tried    22117 cl shrink        0 lits rem          0 time: 0.00
28.29/7.15	c asymm  cl-useful: 0/2512/2512 lits-rem:0 time: 0.01
28.29/7.15	c calculated reachability. Time: 0.00
28.29/7.15	c  N dy    71    105355       583      2512         0     22117      7607    394439     18.43   no data
31.48/7.96	c  N dy    79    114851       583      2512         0     17661      7607    246188     17.70     18.64
36.27/9.14	c  N dy   103    127581       583      2512         0     15436      7607    166968     17.34     18.29
42.66/10.77	c  N dy   133    145411       583      2512         0     17178      7607    187497     16.87     17.78
45.84/11.58	c  N dy   191    154691       583      2512         0     26378      7607    423911     16.99     18.05
47.44/11.94	c  S st   204    158033       583      2512         0     29680      7607    506151     17.01   no data
47.84/12.01	c  S st   204    158536       583      2512         0     30182      7607    518836     17.01   no data
47.84/12.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.84/12.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.84/12.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.84/12.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.84/12.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.84/12.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    583 time:  0.00 s
47.84/12.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.84/12.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.84/12.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.27/12.18	c lits-rem:       138  cl-subs:      595  v-elim:      0  v-fix:    0  time:  0.13 s
48.27/12.18	c vivif2 --  cl tried     2512 cl shrink        0 lits rem          0 time: 0.00
48.27/12.18	c vivif2 --  cl tried    29587 cl shrink        0 lits rem          0 time: 0.01
48.27/12.20	c asymm  cl-useful: 0/2512/2512 lits-rem:0 time: 0.02
48.27/12.20	c calculated reachability. Time: 0.00
48.27/12.20	c  N dy   204    158536       583      2512         0     29587      7607    503240     17.01   no data
52.23/13.20	c  N dy   241    168727       583      2512         0     22869      7607    315151     17.02     17.99
57.46/14.44	c  N dy   308    179792       583      2512         0     33860      7607    600929     17.13     18.38
62.20/15.60	c  N dy   364    191951       583      2512         0     28087      7607    424446     17.13     18.15
67.79/17.08	c  N dy   393    204237       583      2512         0     21429      7607    231189     17.04     18.01
73.77/18.52	c  N dy   457    217687       583      2512         0     34741      7607    573755     17.09     18.00
80.16/20.12	c  N dy   544    231579       583      2512         0     28691      7607    402992     17.19     18.27
82.96/20.89	c  S st   585    237805       583      2512         0     34850      7607    565042     17.25     17.61
83.38/20.97	c  S st   585    238310       583      2512         0     35353      7607    578252     17.25   no data
83.38/20.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
83.38/20.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
83.38/20.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
83.38/20.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
83.38/20.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.38/20.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    583 time:  0.00 s
83.38/20.99	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
83.38/20.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
83.79/21.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.15/21.17	c lits-rem:       171  cl-subs:      456  v-elim:      0  v-fix:    0  time:  0.16 s
84.15/21.17	c vivif2 --  cl tried     2512 cl shrink        0 lits rem          0 time: 0.00
84.15/21.18	c vivif2 --  cl tried    34897 cl shrink        0 lits rem          0 time: 0.01
84.55/21.20	c asymm  cl-useful: 0/2512/2512 lits-rem:0 time: 0.02
84.55/21.21	c calculated reachability. Time: 0.00
84.55/21.21	c  N dy   585    238310       583      2512         0     34897      7607    564024     17.25   no data
91.74/23.07	c  N dy   660    253560       583      2512         0     29200      7607    398508     17.31     19.21
100.51/25.26	c  N dy   739    269766       583      2512         0     23460      7607    223443     17.35     18.38
108.89/27.34	c  N dy   811    287064       583      2512         0     40536      7607    656349     17.35     19.76
118.50/29.81	c  F st   927    306251       583      2512         0     36807      7607    548158     17.42     16.63
118.50/29.81	c  N st   927    306251       583      2512         0     36807      7607    548158     17.42     16.63
121.66/30.50	c Decided on static restart strategy
132.43/33.26	c  N st   937    334557       583      2512         0     40934      7607    851957     17.42   no data
143.61/36.06	c  N st   939    357466       583      2512         0     38847      7607    781115     17.42   no data
143.61/36.06	c  S st   939    357466       583      2512         0     38847      7607    781115     17.42   no data
144.01/36.16	c  S st   939    357976       583      2512         0     39354      7607    794905     17.42   no data
144.01/36.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
144.01/36.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
144.01/36.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
144.01/36.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
144.01/36.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
144.01/36.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    583 time:  0.00 s
144.01/36.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
144.01/36.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
144.41/36.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.80/36.89	c lits-rem:       301  cl-subs:     1602  v-elim:      0  v-fix:    0  time:  0.67 s
146.80/36.89	c vivif2 --  cl tried     2512 cl shrink        0 lits rem          0 time: 0.00
147.20/36.90	c vivif2 --  cl tried    37752 cl shrink        0 lits rem          0 time: 0.01
147.20/36.93	c asymm  cl-useful: 0/2512/2512 lits-rem:0 time: 0.03
147.20/36.93	c calculated reachability. Time: 0.00
147.20/36.93	c  N st   939    357976       583      2512         0     37752      7607    747508     17.42   no data
165.94/41.62	c  N st   940    390369       583      2512         0     44081      7607    938733     17.42   no data
193.87/48.60	c  N st   941    438958       583      2512         0     37668      7607    645560     17.42   no data
239.76/60.17	c  N st   942    511841       583      2512         0     51263      7607    983348     17.42   no data
258.51/64.90	c  N st   943    536964       583      2512         0     45487      7607    797707     17.42   no data
258.51/64.90	c  S st   943    536964       583      2512         0     45487      7607    797707     17.42   no data
259.34/65.01	c  S st   943    537469       583      2512         0     45992      7607    811537     17.42   no data
259.34/65.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
259.34/65.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
259.34/65.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
259.34/65.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
259.34/65.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
259.34/65.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    583 time:  0.00 s
259.34/65.03	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
259.34/65.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
259.34/65.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
262.90/65.95	c lits-rem:       210  cl-subs:     1736  v-elim:      0  v-fix:    0  time:  0.88 s
262.90/65.95	c vivif2 --  cl tried     2512 cl shrink        0 lits rem          0 time: 0.00
262.90/65.96	c vivif2 --  cl tried    44256 cl shrink        0 lits rem          0 time: 0.01
262.90/65.99	c asymm  cl-useful: 0/2512/2512 lits-rem:0 time: 0.03
262.90/65.99	c calculated reachability. Time: 0.00
262.90/65.99	c  N st   943    537469       583      2512         0     44256      7607    763240     17.42   no data
385.00/96.53	c  N st   944    701453       583      2512         0     38240      7607    492554     17.42   no data
462.00/115.81	c  N st   945    806204       583      2512         0     67316      7607   1180361     17.42   no data
462.00/115.81	c  S st   945    806204       583      2512         0     67316      7607   1180361     17.42   no data
462.80/116.00	c  S st   945    806706       583      2512         0     67816      7607   1193600     17.42   no data
462.80/116.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
462.80/116.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
462.80/116.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
462.80/116.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
462.80/116.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
462.80/116.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    583 time:  0.00 s
462.80/116.03	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
462.80/116.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
462.80/116.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
477.16/119.60	c lits-rem:       347  cl-subs:     5237  v-elim:      0  v-fix:    0  time:  3.51 s
477.16/119.60	c vivif2 --  cl tried     2512 cl shrink        0 lits rem          0 time: 0.00
477.16/119.62	c vivif2 --  cl tried    62579 cl shrink        0 lits rem          0 time: 0.01
477.16/119.67	c asymm  cl-useful: 0/2512/2512 lits-rem:0 time: 0.06
477.16/119.68	c calculated reachability. Time: 0.00
477.16/119.68	c  N st   945    806706       583      2512         0     62579      7607   1079606     17.42   no data
721.74/180.95	c  F st   946   1071878       583      2512         0     78357      7607   1477234     17.42   no data
721.74/180.95	c  N st   946   1071878       583      2512         0     78357      7607   1477234     17.42   no data
727.73/182.48	c Decided on static restart strategy
747.68/187.41	c  N st   956   1100184       583      2512         0     62335      7607    995934     17.42   no data
780.40/195.64	c  N st   958   1136177       583      2512         0     52659      7607    698222     17.42   no data
815.91/204.59	c  N st   959   1168569       583      2512         0     84352      7607   1546092     17.42   no data
858.17/215.13	c  N st   960   1210059       583      2512         0     79058      7607   1436201     17.42   no data
858.17/215.13	c  S st   960   1210059       583      2512         0     79058      7607   1436201     17.42   no data
858.97/215.35	c  S st   960   1210559       583      2512         0     79558      7607   1449858     17.42   no data
858.97/215.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
858.97/215.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
859.37/215.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
859.37/215.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
859.37/215.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
859.37/215.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    583 time:  0.00 s
859.37/215.40	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
859.37/215.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
859.37/215.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
871.34/218.49	c lits-rem:       714  cl-subs:     2355  v-elim:      0  v-fix:    0  time:  3.03 s
871.34/218.49	c vivif2 --  cl tried     2512 cl shrink        0 lits rem          0 time: 0.00
871.75/218.51	c vivif2 --  cl tried    77203 cl shrink        0 lits rem          0 time: 0.02
871.75/218.59	c asymm  cl-useful: 0/2512/2512 lits-rem:0 time: 0.08
871.75/218.59	c calculated reachability. Time: 0.00
871.75/218.59	c  N st   960   1210559       583      2512         0     77203      7607   1380300     17.42   no data
948.74/237.85	c  N st   961   1283441       583      2512         0     53668      7607    650558     17.42   no data
1052.89/263.97	c  N st   962   1392764       583      2512         0     61785      7607    845719     17.42   no data
1216.87/305.09	c  N st   963   1556748       583      2512         0     66633      7607    927449     17.42   no data
1383.64/346.87	c  N st   964   1710559       583      2512         0    108573      7607   2187443     17.42   no data
1383.64/346.87	c  S st   964   1710559       583      2512         0    108573      7607   2187443     17.42   no data
1385.24/347.23	c  S st   964   1711062       583      2512         0    109076      7607   2200660     17.42   no data
1385.24/347.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1385.24/347.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1385.64/347.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1385.64/347.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1385.64/347.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1385.64/347.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    583 time:  0.00 s
1385.64/347.30	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1385.64/347.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1385.64/347.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1437.91/360.42	c lits-rem:       828  cl-subs:     5302  v-elim:      0  v-fix:    0  time: 13.03 s
1437.91/360.42	c vivif2 --  cl tried     2512 cl shrink        0 lits rem          0 time: 0.00
1437.91/360.45	c vivif2 --  cl tried   103774 cl shrink        0 lits rem          0 time: 0.03
1438.31/360.56	c asymm  cl-useful: 0/2512/2512 lits-rem:0 time: 0.11
1438.31/360.57	c calculated reachability. Time: 0.00
1438.31/360.57	c  N st   964   1711062       583      2512         0    103774      7607   2033329     17.42   no data
1849.26/463.75	c  N st   965   2080026       583      2512         0    115495      7607   2285818     17.42   no data
2006.08/503.08	c  N st   966   2211063       583      2512         0    119519      7607   2313067     17.42   no data
2006.08/503.08	c  S st   966   2211063       583      2512         0    119519      7607   2313067     17.42   no data
2007.68/503.49	c  S st   966   2211566       583      2512         0    120021      7607   2326519     17.42   no data
2007.68/503.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2008.08/503.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2008.08/503.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2008.08/503.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2008.08/503.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2008.08/503.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    583 time:  0.00 s
2008.08/503.56	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2008.08/503.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2008.48/503.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2060.34/516.69	c lits-rem:       618  cl-subs:     5153  v-elim:      0  v-fix:    0  time: 13.03 s
2060.34/516.69	c vivif2 --  cl tried     2512 cl shrink        0 lits rem          0 time: 0.00
2060.74/516.72	c vivif2 --  cl tried   114868 cl shrink        0 lits rem          0 time: 0.03
2061.14/516.85	c asymm  cl-useful: 0/2512/2512 lits-rem:0 time: 0.12
2061.14/516.85	c calculated reachability. Time: 0.00
2061.14/516.85	c  N st   966   2211566       583      2512         0    114868      7607   2178198     17.42   no data
2728.29/684.04	c  N st   967   2711566       583      2512         0    138356      7607   2766861     17.42   no data
2728.29/684.04	c  S st   967   2711566       583      2512         0    138356      7607   2766861     17.42   no data
2730.68/684.61	c  S st   967   2712069       583      2512         0    138858      7607   2780493     17.42   no data
2730.68/684.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2731.08/684.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.08
2731.08/684.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2731.08/684.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2731.08/684.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2731.08/684.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    583 time:  0.00 s
2731.08/684.70	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2731.08/684.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2731.48/684.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2828.84/709.21	c lits-rem:      1894  cl-subs:     7744  v-elim:      0  v-fix:    0  time: 24.39 s
2828.84/709.21	c vivif2 --  cl tried     2512 cl shrink        0 lits rem          0 time: 0.00
2828.84/709.25	c vivif2 --  cl tried   131114 cl shrink        0 lits rem          0 time: 0.04
2829.24/709.40	c asymm  cl-useful: 0/2512/2512 lits-rem:0 time: 0.15
2829.64/709.40	c calculated reachability. Time: 0.00
2829.64/709.40	c  N st   967   2712069       583      2512         0    131114      7607   2557351     17.42   no data
3605.69/903.93	c  N st   968   3212070       583      2512         0    106505      7607   1620801     17.42   no data
3605.69/903.93	c  S st   968   3212070       583      2512         0    106505      7607   1620801     17.42   no data
3607.32/904.38	c  S st   968   3212575       583      2512         0    107010      7607   1634764     17.42   no data
3607.32/904.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3607.68/904.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.07
3607.68/904.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3607.68/904.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3607.68/904.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3607.68/904.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    583 time:  0.00 s
3607.68/904.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3607.68/904.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3608.08/904.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3639.20/912.39	c lits-rem:       435  cl-subs:     3401  v-elim:      0  v-fix:    0  time:  7.85 s
3639.20/912.39	c vivif2 --  cl tried     2512 cl shrink        0 lits rem          0 time: 0.00
3639.60/912.42	c vivif2 --  cl tried   103609 cl shrink        0 lits rem          0 time: 0.03
3640.00/912.56	c asymm  cl-useful: 0/2512/2512 lits-rem:0 time: 0.14
3640.00/912.56	c calculated reachability. Time: 0.00
3640.00/912.56	c  N st   968   3212575       583      2512         0    103609      7607   1540651     17.42   no data
4422.86/1108.77	c  N st   969   3712575       583      2512         0    114566      7607   1728780     17.42   no data
4422.86/1108.77	c  S st   969   3712575       583      2512         0    114566      7607   1728780     17.42   no data
4424.85/1109.23	c  S st   969   3713080       583      2512         0    115069      7607   1742722     17.42   no data
4424.85/1109.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4425.25/1109.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.07
4425.25/1109.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4425.25/1109.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4425.25/1109.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4425.25/1109.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    583 time:  0.00 s
4425.25/1109.32	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4425.25/1109.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4425.65/1109.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4468.73/1120.24	c lits-rem:       295  cl-subs:     4565  v-elim:      0  v-fix:    0  time: 10.82 s
4468.73/1120.24	c vivif2 --  cl tried     2512 cl shrink        0 lits rem          0 time: 0.00
4468.73/1120.27	c vivif2 --  cl tried   110504 cl shrink        0 lits rem          0 time: 0.03
4469.53/1120.46	c asymm  cl-useful: 0/2512/2512 lits-rem:0 time: 0.19
4469.53/1120.46	c calculated reachability. Time: 0.00
4469.53/1120.46	c  N st   969   3713080       583      2512         0    110504      7607   1629549     17.42   no data
4549.74/1140.58	c  F st   970   3751562       583      2512         0    148016      7607   2739269     17.42   no data
4549.74/1140.58	c  N st   970   3751562       583      2512         0    148016      7607   2739269     17.42   no data
4561.30/1143.40	c Decided on static restart strategy
4604.39/1154.23	c  N st   980   3779869       583      2512         0     92792      7607   1071834     17.42   no data
4655.07/1166.90	c  N st   982   3815862       583      2512         0    127918      7607   2022895     17.42   no data
4714.92/1181.92	c  N st   983   3848254       583      2512         0    159651      7607   2909108     17.42   no data
4795.12/1202.04	c  N st   984   3896842       583      2512         0    123104      7607   1877233     17.42   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366531-1305406647/watcher-3366531-1305406647 -o /tmp/evaluation-result-3366531-1305406647/solver-3366531-1305406647 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366531-1305406647.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: 8.16 8.09 8.01 6/320 8054
/proc/meminfo: memFree=10816920/32951124 swapFree=67093864/67111528
[pid=8054] ppid=8052 vsize=182248 CPUtime=0 cores=0,2,4,6
/proc/8054/stat : 8054 (strangenight2-m) R 8052 8054 7962 0 -1 4202496 468 0 0 0 0 0 0 0 25 0 4 0 652267103 186621952 393 33554432000 4194304 4580107 140735622092672 18446744073709551615 212436060250 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8054/statm: 45803 405 324 95 0 40785 0
[pid=8054/tid=8055] ppid=8052 vsize=281852 CPUtime=0 cores=0,2,4,6
/proc/8054/task/8055/stat : 8055 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 123 0 0 0 0 0 0 0 25 0 4 0 652267104 288616448 881 33554432000 4194304 4580107 140735622092672 18446744073709551615 212435713803 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8054/tid=8056] ppid=8052 vsize=281852 CPUtime=0 cores=0,2,4,6
/proc/8054/task/8056/stat : 8056 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 126 0 0 0 0 0 0 0 25 0 4 0 652267104 288616448 881 33554432000 4194304 4580107 140735622092672 18446744073709551615 4293148 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8054/tid=8057] ppid=8052 vsize=281852 CPUtime=0 cores=0,2,4,6
/proc/8054/task/8057/stat : 8057 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 151 0 0 0 0 0 0 0 25 0 4 0 652267104 288616448 881 33554432000 4194304 4580107 140735622092672 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.109799 s]
/proc/loadavg: 8.16 8.09 8.01 6/320 8054
/proc/meminfo: memFree=10816920/32951124 swapFree=67093864/67111528
[pid=8054] ppid=8052 vsize=282376 CPUtime=0.4 cores=0,2,4,6
/proc/8054/stat : 8054 (strangenight2-m) R 8052 8054 7962 0 -1 4202496 1878 0 0 0 40 0 0 0 18 0 4 0 652267103 289153024 1697 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8054/statm: 70594 1697 377 95 0 65576 0
[pid=8054/tid=8055] ppid=8052 vsize=282376 CPUtime=0.09 cores=0,2,4,6
/proc/8054/task/8055/stat : 8055 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 380 0 0 0 9 0 0 0 18 0 4 0 652267104 289153024 1697 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8054/tid=8056] ppid=8052 vsize=282376 CPUtime=0.1 cores=0,2,4,6
/proc/8054/task/8056/stat : 8056 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 383 0 0 0 10 0 0 0 25 0 4 0 652267104 289153024 1697 33554432000 4194304 4580107 140735622092672 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8054/tid=8057] ppid=8052 vsize=282376 CPUtime=0.1 cores=0,2,4,6
/proc/8054/task/8057/stat : 8057 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 289 0 0 0 10 0 0 0 18 0 4 0 652267104 289153024 1697 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282376

[startup+0.200729 s]
/proc/loadavg: 8.16 8.09 8.01 6/320 8054
/proc/meminfo: memFree=10816920/32951124 swapFree=67093864/67111528
[pid=8054] ppid=8052 vsize=283792 CPUtime=0.77 cores=0,2,4,6
/proc/8054/stat : 8054 (strangenight2-m) R 8052 8054 7962 0 -1 4202496 2553 0 0 0 77 0 0 0 18 0 4 0 652267103 290603008 1745 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294358 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8054/statm: 70948 1745 377 95 0 65930 0
[pid=8054/tid=8055] ppid=8052 vsize=283792 CPUtime=0.19 cores=0,2,4,6
/proc/8054/task/8055/stat : 8055 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 548 0 0 0 19 0 0 0 18 0 4 0 652267104 290603008 1745 33554432000 4194304 4580107 140735622092672 18446744073709551615 4292985 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8054/tid=8056] ppid=8052 vsize=283792 CPUtime=0.19 cores=0,2,4,6
/proc/8054/task/8056/stat : 8056 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 547 0 0 0 19 0 0 0 25 0 4 0 652267104 290603008 1745 33554432000 4194304 4580107 140735622092672 18446744073709551615 4293805 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8054/tid=8057] ppid=8052 vsize=283792 CPUtime=0.19 cores=0,2,4,6
/proc/8054/task/8057/stat : 8057 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 461 0 0 0 19 0 0 0 18 0 4 0 652267104 290603008 1745 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283792

[startup+0.300711 s]
/proc/loadavg: 8.16 8.09 8.01 6/320 8054
/proc/meminfo: memFree=10816920/32951124 swapFree=67093864/67111528
[pid=8054] ppid=8052 vsize=283984 CPUtime=1.17 cores=0,2,4,6
/proc/8054/stat : 8054 (strangenight2-m) R 8052 8054 7962 0 -1 4202496 2996 0 0 0 117 0 0 0 18 0 4 0 652267103 290799616 2188 33554432000 4194304 4580107 140735622092672 18446744073709551615 4293907 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8054/statm: 70996 2188 377 95 0 65978 0
[pid=8054/tid=8055] ppid=8052 vsize=283984 CPUtime=0.29 cores=0,2,4,6
/proc/8054/task/8055/stat : 8055 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 655 0 0 0 29 0 0 0 18 0 4 0 652267104 290799616 2188 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8054/tid=8056] ppid=8052 vsize=283984 CPUtime=0.29 cores=0,2,4,6
/proc/8054/task/8056/stat : 8056 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 659 0 0 0 29 0 0 0 25 0 4 0 652267104 290799616 2188 33554432000 4194304 4580107 140735622092672 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8054/tid=8057] ppid=8052 vsize=283984 CPUtime=0.29 cores=0,2,4,6
/proc/8054/task/8057/stat : 8057 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 576 0 0 0 29 0 0 0 18 0 4 0 652267104 290799616 2188 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283984

[startup+0.700636 s]
/proc/loadavg: 8.16 8.09 8.01 6/320 8054
/proc/meminfo: memFree=10816920/32951124 swapFree=67093864/67111528
[pid=8054] ppid=8052 vsize=284960 CPUtime=2.76 cores=0,2,4,6
/proc/8054/stat : 8054 (strangenight2-m) R 8052 8054 7962 0 -1 4202496 4655 0 0 0 276 0 0 0 18 0 4 0 652267103 291799040 2882 33554432000 4194304 4580107 140735622092672 18446744073709551615 4318695 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8054/statm: 71240 2882 377 95 0 66222 0
[pid=8054/tid=8055] ppid=8052 vsize=284960 CPUtime=0.68 cores=0,2,4,6
/proc/8054/task/8055/stat : 8055 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 1071 0 0 0 68 0 0 0 18 0 4 0 652267104 291799040 2882 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8054/tid=8056] ppid=8052 vsize=284960 CPUtime=0.69 cores=0,2,4,6
/proc/8054/task/8056/stat : 8056 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 1079 0 0 0 69 0 0 0 25 0 4 0 652267104 291799040 2882 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8054/tid=8057] ppid=8052 vsize=284960 CPUtime=0.69 cores=0,2,4,6
/proc/8054/task/8057/stat : 8057 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 986 0 0 0 69 0 0 0 18 0 4 0 652267104 291799040 2882 33554432000 4194304 4580107 140735622092672 18446744073709551615 4321093 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 284960

[startup+1.50049 s]
/proc/loadavg: 8.16 8.09 8.01 9/324 8058
/proc/meminfo: memFree=10803868/32951124 swapFree=67093864/67111528
[pid=8054] ppid=8052 vsize=286344 CPUtime=5.95 cores=0,2,4,6
/proc/8054/stat : 8054 (strangenight2-m) R 8052 8054 7962 0 -1 4202496 9431 0 0 0 594 1 0 0 20 0 4 0 652267103 293216256 4935 33554432000 4194304 4580107 140735622092672 18446744073709551615 4416448 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8054/statm: 71586 4936 379 95 0 66568 0
[pid=8054/tid=8055] ppid=8052 vsize=286344 CPUtime=1.48 cores=0,2,4,6
/proc/8054/task/8055/stat : 8055 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 1920 0 0 0 148 0 0 0 20 0 4 0 652267104 293216256 4936 33554432000 4194304 4580107 140735622092672 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8054/tid=8056] ppid=8052 vsize=286344 CPUtime=1.48 cores=0,2,4,6
/proc/8054/task/8056/stat : 8056 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 1918 0 0 0 148 0 0 0 25 0 4 0 652267104 293216256 4936 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8054/tid=8057] ppid=8052 vsize=286344 CPUtime=1.49 cores=0,2,4,6
/proc/8054/task/8057/stat : 8057 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 1829 0 0 0 149 0 0 0 19 0 4 0 652267104 293216256 4936 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 286344

[startup+3.10018 s]
/proc/loadavg: 8.14 8.09 8.01 9/324 8058
/proc/meminfo: memFree=10790104/32951124 swapFree=67093864/67111528
[pid=8054] ppid=8052 vsize=291716 CPUtime=12.34 cores=0,2,4,6
/proc/8054/stat : 8054 (strangenight2-m) R 8052 8054 7962 0 -1 4202496 19330 0 0 0 1232 2 0 0 25 0 4 0 652267103 298717184 10002 33554432000 4194304 4580107 140735622092672 18446744073709551615 4293691 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8054/statm: 72929 10002 379 95 0 67911 0
[pid=8054/tid=8055] ppid=8052 vsize=291716 CPUtime=3.08 cores=0,2,4,6
/proc/8054/task/8055/stat : 8055 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 4390 0 0 0 308 0 0 0 25 0 4 0 652267104 298717184 10002 33554432000 4194304 4580107 140735622092672 18446744073709551615 4341614 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8054/tid=8056] ppid=8052 vsize=291716 CPUtime=3.06 cores=0,2,4,6
/proc/8054/task/8056/stat : 8056 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 5144 0 0 0 306 0 0 0 25 0 4 0 652267104 298717184 10002 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8054/tid=8057] ppid=8052 vsize=291716 CPUtime=3.08 cores=0,2,4,6
/proc/8054/task/8057/stat : 8057 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 4686 0 0 0 308 0 0 0 25 0 4 0 652267104 298717184 10002 33554432000 4194304 4580107 140735622092672 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 291716

[startup+6.30057 s]
/proc/loadavg: 8.14 8.09 8.01 9/324 8058
/proc/meminfo: memFree=10763696/32951124 swapFree=67093864/67111528
[pid=8054] ppid=8052 vsize=300724 CPUtime=25.11 cores=0,2,4,6
/proc/8054/stat : 8054 (strangenight2-m) R 8052 8054 7962 0 -1 4202496 30697 0 0 0 2506 5 0 0 25 0 4 0 652267103 307941376 14283 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294555 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8054/statm: 75181 14283 379 95 0 70163 0
[pid=8054/tid=8055] ppid=8052 vsize=300724 CPUtime=6.28 cores=0,2,4,6
/proc/8054/task/8055/stat : 8055 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 7815 0 0 0 627 1 0 0 25 0 4 0 652267104 307941376 14283 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8054/tid=8056] ppid=8052 vsize=300724 CPUtime=6.23 cores=0,2,4,6
/proc/8054/task/8056/stat : 8056 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 8542 0 0 0 622 1 0 0 25 0 4 0 652267104 307941376 14283 33554432000 4194304 4580107 140735622092672 18446744073709551615 4292947 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8054/tid=8057] ppid=8052 vsize=300724 CPUtime=6.29 cores=0,2,4,6
/proc/8054/task/8057/stat : 8057 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 6924 0 0 0 628 1 0 0 25 0 4 0 652267104 307941376 14283 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 300724

[startup+12.7004 s]
/proc/loadavg: 8.12 8.08 8.01 9/324 8058
/proc/meminfo: memFree=10736344/32951124 swapFree=67093864/67111528
[pid=8054] ppid=8052 vsize=299836 CPUtime=50.63 cores=0,2,4,6
/proc/8054/stat : 8054 (strangenight2-m) R 8052 8054 7962 0 -1 4202496 46131 0 0 0 5056 7 0 0 25 0 4 0 652267103 307032064 23625 33554432000 4194304 4580107 140735622092672 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8054/statm: 74959 23625 379 95 0 69941 0
[pid=8054/tid=8055] ppid=8052 vsize=299836 CPUtime=12.68 cores=0,2,4,6
/proc/8054/task/8055/stat : 8055 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 10916 0 0 0 1267 1 0 0 25 0 4 0 652267104 307032064 23625 33554432000 4194304 4580107 140735622092672 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8054/tid=8056] ppid=8052 vsize=299836 CPUtime=12.55 cores=0,2,4,6
/proc/8054/task/8056/stat : 8056 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 10918 0 0 0 1254 1 0 0 25 0 4 0 652267104 307032064 23625 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8054/tid=8057] ppid=8052 vsize=299836 CPUtime=12.69 cores=0,2,4,6
/proc/8054/task/8057/stat : 8057 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 11979 0 0 0 1267 2 0 0 25 0 4 0 652267104 307032064 23625 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 299836

[startup+25.5009 s]
/proc/loadavg: 8.10 8.08 8.01 9/324 8058
/proc/meminfo: memFree=10719852/32951124 swapFree=67093864/67111528
[pid=8054] ppid=8052 vsize=304428 CPUtime=101.7 cores=0,2,4,6
/proc/8054/stat : 8054 (strangenight2-m) R 8052 8054 7962 0 -1 4202496 61161 0 0 0 10157 13 0 0 25 0 4 0 652267103 311734272 27110 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8054/statm: 76107 27110 379 95 0 71089 0
[pid=8054/tid=8055] ppid=8052 vsize=304428 CPUtime=25.48 cores=0,2,4,6
/proc/8054/task/8055/stat : 8055 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 13167 0 0 0 2546 2 0 0 25 0 4 0 652267104 311734272 27110 33554432000 4194304 4580107 140735622092672 18446744073709551615 4306112 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8054/tid=8056] ppid=8052 vsize=304428 CPUtime=25.22 cores=0,2,4,6
/proc/8054/task/8056/stat : 8056 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 15006 0 0 0 2520 2 0 0 25 0 4 0 652267104 311734272 27110 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8054/tid=8057] ppid=8052 vsize=304428 CPUtime=25.48 cores=0,2,4,6
/proc/8054/task/8057/stat : 8057 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 17383 0 0 0 2544 4 0 0 25 0 4 0 652267104 311734272 27110 33554432000 4194304 4580107 140735622092672 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 304428

[startup+51.1011 s]
/proc/loadavg: 8.07 8.07 8.01 9/324 8059
/proc/meminfo: memFree=10684380/32951124 swapFree=67093864/67111528
[pid=8054] ppid=8052 vsize=294896 CPUtime=203.85 cores=0,2,4,6
/proc/8054/stat : 8054 (strangenight2-m) R 8052 8054 7962 0 -1 4202496 84598 0 0 0 20366 19 0 0 25 0 4 0 652267103 301973504 34140 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294345 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8054/statm: 73724 34140 379 95 0 68706 0
[pid=8054/tid=8055] ppid=8052 vsize=294896 CPUtime=51.08 cores=0,2,4,6
/proc/8054/task/8055/stat : 8055 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 13669 0 0 0 5106 2 0 0 25 0 4 0 652267104 301973504 34140 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8054/tid=8056] ppid=8052 vsize=294896 CPUtime=50.57 cores=0,2,4,6
/proc/8054/task/8056/stat : 8056 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 19879 0 0 0 5054 3 0 0 25 0 4 0 652267104 301973504 34140 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8054/tid=8057] ppid=8052 vsize=294896 CPUtime=51.09 cores=0,2,4,6
/proc/8054/task/8057/stat : 8057 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 25908 0 0 0 5102 7 0 0 25 0 4 0 652267104 301973504 34140 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.85
Current children cumulated vsize (KiB) 294896

[startup+102.3 s]
/proc/loadavg: 8.06 8.07 8.01 9/324 8061
/proc/meminfo: memFree=10648524/32951124 swapFree=67093864/67111528
[pid=8054] ppid=8052 vsize=315256 CPUtime=408.15 cores=0,2,4,6
/proc/8054/stat : 8054 (strangenight2-m) R 8052 8054 7962 0 -1 4202496 114568 0 0 0 40787 28 0 0 25 0 4 0 652267103 322822144 44486 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8054/statm: 78814 44486 379 95 0 73796 0
[pid=8054/tid=8055] ppid=8052 vsize=315256 CPUtime=102.3 cores=0,2,4,6
/proc/8054/task/8055/stat : 8055 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 16039 0 0 0 10227 3 0 0 25 0 4 0 652267104 322822144 44487 33554432000 4194304 4580107 140735622092672 18446744073709551615 4292997 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8054/tid=8056] ppid=8052 vsize=315256 CPUtime=101.25 cores=0,2,4,6
/proc/8054/task/8056/stat : 8056 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 26499 0 0 0 10120 5 0 0 25 0 4 0 652267104 322822144 44487 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8054/tid=8057] ppid=8052 vsize=315256 CPUtime=102.29 cores=0,2,4,6
/proc/8054/task/8057/stat : 8057 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 36448 0 0 0 10220 9 0 0 25 0 4 0 652267104 322822144 44487 33554432000 4194304 4580107 140735622092672 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.15
Current children cumulated vsize (KiB) 315256

[startup+162.301 s]

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

[pid=8054] ppid=8052 vsize=551336 CPUtime=2561.9 cores=0,2,4,6
/proc/8054/stat : 8054 (strangenight2-m) R 8052 8054 7962 0 -1 4202496 325667 0 0 0 256076 114 0 0 25 0 4 0 652267103 564568064 95739 33554432000 4194304 4580107 140735622092672 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8054/statm: 137834 95739 379 95 0 132816 0
[pid=8054/tid=8055] ppid=8052 vsize=551336 CPUtime=642.16 cores=0,2,4,6
/proc/8054/task/8055/stat : 8055 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 48123 0 0 0 64201 15 0 0 25 0 4 0 652267104 564568064 95739 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8054/tid=8056] ppid=8052 vsize=551336 CPUtime=635.15 cores=0,2,4,6
/proc/8054/task/8056/stat : 8056 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 61062 0 0 0 63497 18 0 0 25 0 4 0 652267104 564568064 95739 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8054/tid=8057] ppid=8052 vsize=551336 CPUtime=642.3 cores=0,2,4,6
/proc/8054/task/8057/stat : 8057 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 103557 0 0 0 64192 38 0 0 25 0 4 0 652267104 564568064 95739 33554432000 4194304 4580107 140735622092672 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2561.9
Current children cumulated vsize (KiB) 551336

[startup+702.3 s]
/proc/loadavg: 8.11 8.13 8.05 9/324 8150
/proc/meminfo: memFree=10405292/32951124 swapFree=67093864/67111528
[pid=8054] ppid=8052 vsize=601332 CPUtime=2801.3 cores=0,2,4,6
/proc/8054/stat : 8054 (strangenight2-m) R 8052 8054 7962 0 -1 4202496 340975 0 0 0 280007 123 0 0 25 0 4 0 652267103 615763968 97953 33554432000 4194304 4580107 140735622092672 18446744073709551615 4406480 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8054/statm: 150333 97953 379 95 0 145315 0
[pid=8054/tid=8055] ppid=8052 vsize=601332 CPUtime=702.16 cores=0,2,4,6
/proc/8054/task/8055/stat : 8055 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 54991 0 0 0 70197 19 0 0 25 0 4 0 652267104 615763968 97953 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8054/tid=8056] ppid=8052 vsize=601332 CPUtime=694.54 cores=0,2,4,6
/proc/8054/task/8056/stat : 8056 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 61073 0 0 0 69436 18 0 0 25 0 4 0 652267104 615763968 97953 33554432000 4194304 4580107 140735622092672 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8054/tid=8057] ppid=8052 vsize=601332 CPUtime=702.31 cores=0,2,4,6
/proc/8054/task/8057/stat : 8057 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 108458 0 0 0 70191 40 0 0 25 0 4 0 652267104 615763968 97953 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2801.3
Current children cumulated vsize (KiB) 601332

[startup+762.301 s]
/proc/loadavg: 8.04 8.10 8.05 9/324 8151
/proc/meminfo: memFree=10397840/32951124 swapFree=67093864/67111528
[pid=8054] ppid=8052 vsize=560636 CPUtime=3040.73 cores=0,2,4,6
/proc/8054/stat : 8054 (strangenight2-m) R 8052 8054 7962 0 -1 4202496 359067 0 0 0 303943 130 0 0 25 0 4 0 652267103 574091264 104925 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294520 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8054/statm: 140159 104925 379 95 0 135141 0
[pid=8054/tid=8055] ppid=8052 vsize=560636 CPUtime=762.18 cores=0,2,4,6
/proc/8054/task/8055/stat : 8055 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 59735 0 0 0 76197 21 0 0 25 0 4 0 652267104 574091264 104926 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8054/tid=8056] ppid=8052 vsize=560636 CPUtime=753.96 cores=0,2,4,6
/proc/8054/task/8056/stat : 8056 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 64682 0 0 0 75376 20 0 0 25 0 4 0 652267104 574091264 104926 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8054/tid=8057] ppid=8052 vsize=560636 CPUtime=762.32 cores=0,2,4,6
/proc/8054/task/8057/stat : 8057 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 114730 0 0 0 76190 42 0 0 25 0 4 0 652267104 574091264 104926 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3040.73
Current children cumulated vsize (KiB) 560636

[startup+822.301 s]
/proc/loadavg: 8.05 8.09 8.05 9/324 8153
/proc/meminfo: memFree=10359232/32951124 swapFree=67093864/67111528
[pid=8054] ppid=8052 vsize=611504 CPUtime=3280.12 cores=0,2,4,6
/proc/8054/stat : 8054 (strangenight2-m) R 8052 8054 7962 0 -1 4202496 371089 0 0 0 327875 137 0 0 25 0 4 0 652267103 626180096 110123 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8054/statm: 152876 110123 379 95 0 147858 0
[pid=8054/tid=8055] ppid=8052 vsize=611504 CPUtime=822.17 cores=0,2,4,6
/proc/8054/task/8055/stat : 8055 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 59941 0 0 0 82196 21 0 0 25 0 4 0 652267104 626180096 110123 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8054/tid=8056] ppid=8052 vsize=611504 CPUtime=813.35 cores=0,2,4,6
/proc/8054/task/8056/stat : 8056 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 66276 0 0 0 81314 21 0 0 25 0 4 0 652267104 626180096 110123 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8054/tid=8057] ppid=8052 vsize=611504 CPUtime=822.31 cores=0,2,4,6
/proc/8054/task/8057/stat : 8057 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 118552 0 0 0 82187 44 0 0 25 0 4 0 652267104 626180096 110123 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3280.12
Current children cumulated vsize (KiB) 611504

[startup+882.313 s]
/proc/loadavg: 8.05 8.09 8.05 9/324 8154
/proc/meminfo: memFree=10319156/32951124 swapFree=67093864/67111528
[pid=8054] ppid=8052 vsize=586484 CPUtime=3519.57 cores=0,2,4,6
/proc/8054/stat : 8054 (strangenight2-m) R 8052 8054 7962 0 -1 4202496 390641 0 0 0 351812 145 0 0 25 0 4 0 652267103 600559616 113125 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8054/statm: 146621 113125 379 95 0 141603 0
[pid=8054/tid=8055] ppid=8052 vsize=586484 CPUtime=882.18 cores=0,2,4,6
/proc/8054/task/8055/stat : 8055 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 66251 0 0 0 88194 24 0 0 25 0 4 0 652267104 600559616 113125 33554432000 4194304 4580107 140735622092672 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8054/tid=8056] ppid=8052 vsize=586484 CPUtime=872.76 cores=0,2,4,6
/proc/8054/task/8056/stat : 8056 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 66427 0 0 0 87255 21 0 0 25 0 4 0 652267104 600559616 113125 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8054/tid=8057] ppid=8052 vsize=586484 CPUtime=882.32 cores=0,2,4,6
/proc/8054/task/8057/stat : 8057 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 128136 0 0 0 88185 47 0 0 25 0 4 0 652267104 600559616 113125 33554432000 4194304 4580107 140735622092672 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3519.57
Current children cumulated vsize (KiB) 586484

[startup+942.301 s]
/proc/loadavg: 8.06 8.08 8.05 9/324 8156
/proc/meminfo: memFree=10319124/32951124 swapFree=67093864/67111528
[pid=8054] ppid=8052 vsize=582408 CPUtime=3758.91 cores=0,2,4,6
/proc/8054/stat : 8054 (strangenight2-m) R 8052 8054 7962 0 -1 4202496 402481 0 0 0 375740 151 0 0 25 0 4 0 652267103 596385792 110613 33554432000 4194304 4580107 140735622092672 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8054/statm: 145602 110613 379 95 0 140584 0
[pid=8054/tid=8055] ppid=8052 vsize=582408 CPUtime=942.17 cores=0,2,4,6
/proc/8054/task/8055/stat : 8055 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 67142 0 0 0 94193 24 0 0 25 0 4 0 652267104 596385792 110613 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8054/tid=8056] ppid=8052 vsize=582408 CPUtime=932.13 cores=0,2,4,6
/proc/8054/task/8056/stat : 8056 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 69934 0 0 0 93191 22 0 0 25 0 4 0 652267104 596385792 110613 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8054/tid=8057] ppid=8052 vsize=582408 CPUtime=942.32 cores=0,2,4,6
/proc/8054/task/8057/stat : 8057 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 131842 0 0 0 94183 49 0 0 25 0 4 0 652267104 596385792 110613 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3758.91
Current children cumulated vsize (KiB) 582408

[startup+1002.3 s]
/proc/loadavg: 8.23 8.13 8.06 9/324 8158
/proc/meminfo: memFree=10271488/32951124 swapFree=67093864/67111528
[pid=8054] ppid=8052 vsize=634928 CPUtime=3998.31 cores=0,2,4,6
/proc/8054/stat : 8054 (strangenight2-m) R 8052 8054 7962 0 -1 4202496 419017 0 0 0 399673 158 0 0 25 0 4 0 652267103 650166272 119233 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8054/statm: 158732 119233 379 95 0 153714 0
[pid=8054/tid=8055] ppid=8052 vsize=634928 CPUtime=1002.17 cores=0,2,4,6
/proc/8054/task/8055/stat : 8055 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 69257 0 0 0 100192 25 0 0 25 0 4 0 652267104 650166272 119233 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8054/tid=8056] ppid=8052 vsize=634928 CPUtime=991.53 cores=0,2,4,6
/proc/8054/task/8056/stat : 8056 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 71982 0 0 0 99130 23 0 0 25 0 4 0 652267104 650166272 119233 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8054/tid=8057] ppid=8052 vsize=634928 CPUtime=1002.32 cores=0,2,4,6
/proc/8054/task/8057/stat : 8057 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 138781 0 0 0 100180 52 0 0 25 0 4 0 652267104 650166272 119233 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294558 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3998.31
Current children cumulated vsize (KiB) 634928

[startup+1062.3 s]
/proc/loadavg: 8.17 8.12 8.06 9/324 8159
/proc/meminfo: memFree=10255728/32951124 swapFree=67093864/67111528
[pid=8054] ppid=8052 vsize=658760 CPUtime=4237.72 cores=0,2,4,6
/proc/8054/stat : 8054 (strangenight2-m) R 8052 8054 7962 0 -1 4202496 437552 0 0 0 423608 164 0 0 25 0 4 0 652267103 674570240 116637 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294513 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8054/statm: 164690 116637 379 95 0 159672 0
[pid=8054/tid=8055] ppid=8052 vsize=658760 CPUtime=1062.17 cores=0,2,4,6
/proc/8054/task/8055/stat : 8055 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 76213 0 0 0 106190 27 0 0 25 0 4 0 652267104 674570240 116637 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8054/tid=8056] ppid=8052 vsize=658760 CPUtime=1050.93 cores=0,2,4,6
/proc/8054/task/8056/stat : 8056 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 76404 0 0 0 105069 24 0 0 25 0 4 0 652267104 674570240 116637 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8054/tid=8057] ppid=8052 vsize=658760 CPUtime=1062.32 cores=0,2,4,6
/proc/8054/task/8057/stat : 8057 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 142423 0 0 0 106178 54 0 0 25 0 4 0 652267104 674570240 116637 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4237.72
Current children cumulated vsize (KiB) 658760

[startup+1122.3 s]
/proc/loadavg: 8.15 8.12 8.07 9/324 8161
/proc/meminfo: memFree=10201776/32951124 swapFree=67093864/67111528
[pid=8054] ppid=8052 vsize=658804 CPUtime=4477.11 cores=0,2,4,6
/proc/8054/stat : 8054 (strangenight2-m) R 8052 8054 7962 0 -1 4202496 452614 0 0 0 447540 171 0 0 25 0 4 0 652267103 674615296 122924 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8054/statm: 164701 122924 379 95 0 159683 0
[pid=8054/tid=8055] ppid=8052 vsize=658804 CPUtime=1122.18 cores=0,2,4,6
/proc/8054/task/8055/stat : 8055 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 81361 0 0 0 112188 30 0 0 25 0 4 0 652267104 674615296 122924 33554432000 4194304 4580107 140735622092672 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8054/tid=8056] ppid=8052 vsize=658804 CPUtime=1110.32 cores=0,2,4,6
/proc/8054/task/8056/stat : 8056 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 78104 0 0 0 111007 25 0 0 25 0 4 0 652267104 674615296 122924 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8054/tid=8057] ppid=8052 vsize=658804 CPUtime=1122.32 cores=0,2,4,6
/proc/8054/task/8057/stat : 8057 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 146467 0 0 0 112177 55 0 0 25 0 4 0 652267104 674615296 122924 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4477.11
Current children cumulated vsize (KiB) 658804

[startup+1182.3 s]
/proc/loadavg: 8.13 8.12 8.07 9/324 8162
/proc/meminfo: memFree=10168000/32951124 swapFree=67093864/67111528
[pid=8054] ppid=8052 vsize=769708 CPUtime=4716.52 cores=0,2,4,6
/proc/8054/stat : 8054 (strangenight2-m) R 8052 8054 7962 0 -1 4202496 468557 0 0 0 471474 178 0 0 25 0 4 0 652267103 788180992 128298 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8054/statm: 192427 128298 379 95 0 187409 0
[pid=8054/tid=8055] ppid=8052 vsize=769708 CPUtime=1182.18 cores=0,2,4,6
/proc/8054/task/8055/stat : 8055 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 83136 0 0 0 118187 31 0 0 25 0 4 0 652267104 788180992 128298 33554432000 4194304 4580107 140735622092672 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8054/tid=8056] ppid=8052 vsize=769708 CPUtime=1169.72 cores=0,2,4,6
/proc/8054/task/8056/stat : 8056 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 83392 0 0 0 116945 27 0 0 25 0 4 0 652267104 788180992 128298 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8054/tid=8057] ppid=8052 vsize=769708 CPUtime=1182.32 cores=0,2,4,6
/proc/8054/task/8057/stat : 8057 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 151265 0 0 0 118175 57 0 0 25 0 4 0 652267104 788180992 128298 33554432000 4194304 4580107 140735622092672 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4716.52
Current children cumulated vsize (KiB) 769708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.3 s]
/proc/loadavg: 8.09 8.11 8.06 9/324 8163
/proc/meminfo: memFree=10120744/32951124 swapFree=67093864/67111528
[pid=8054] ppid=8052 vsize=769384 CPUtime=4800.33 cores=0,2,4,6
/proc/8054/stat : 8054 (strangenight2-m) R 8052 8054 7962 0 -1 4202496 473996 0 0 0 479853 180 0 0 25 0 4 0 652267103 787849216 133322 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8054/statm: 192346 133322 379 95 0 187328 0
[pid=8054/tid=8055] ppid=8052 vsize=769384 CPUtime=1203.19 cores=0,2,4,6
/proc/8054/task/8055/stat : 8055 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 83994 0 0 0 120288 31 0 0 25 0 4 0 652267104 787849216 133322 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8054/tid=8056] ppid=8052 vsize=769384 CPUtime=1190.51 cores=0,2,4,6
/proc/8054/task/8056/stat : 8056 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 85481 0 0 0 119024 27 0 0 25 0 4 0 652267104 787849216 133322 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8054/tid=8057] ppid=8052 vsize=769384 CPUtime=1203.33 cores=0,2,4,6
/proc/8054/task/8057/stat : 8057 (strangenight2-m) R 8052 8054 7962 0 -1 4202560 151265 0 0 0 120276 57 0 0 25 0 4 0 652267104 787849216 133322 33554432000 4194304 4580107 140735622092672 18446744073709551615 4294410 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 769384

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.34
CPU time (s): 4800.4
CPU user time (s): 4798.57
CPU system time (s): 1.82572
CPU usage (%): 398.922
Max. virtual memory (cumulated for all children) (KiB): 882960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.57
system time used= 1.82572
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 473996
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= 265
involuntary context switches= 26179

runsolver used 3.3115 second user time and 8.80766 second system time

The end

Launcher Data 

Begin job on node102 at 2011-05-14 22:57:28
IDJOB=3366531
IDBENCH=82940
IDSOLVER=1844
FILE ID=node102/3366531-1305406647
RUNJOBID= node102-1305405872-7980
PBS_JOBID= 13324503
Free space on /tmp= 73532 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v600-c2556-S224791863-033.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366531-1305406647/watcher-3366531-1305406647 -o /tmp/evaluation-result-3366531-1305406647/solver-3366531-1305406647 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366531-1305406647.cnf

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

MD5SUM BENCH= 97219d7d3b8dcf40225a045ad28970d7
RANDOM SEED=1894395703

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      10817084 kB
Buffers:        256360 kB
Cached:        2804592 kB
SwapCached:       1128 kB
Active:       19858420 kB
Inactive:      1981260 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      10817084 kB
SwapTotal:    67111528 kB
SwapFree:     67093864 kB
Dirty:            5500 kB
Writeback:           0 kB
AnonPages:    18776832 kB
Mapped:          26780 kB
Slab:           176644 kB
PageTables:      53820 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 59499048 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= 73524 MiB
End job on node102 at 2011-05-14 23:17:33