Trace number 3174122

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

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.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-3174122-1304098196.cnf'
0.00/0.00	c -- header says num vars:            600
0.00/0.00	c -- header says num clauses:        2556
0.00/0.00	c -- clauses added:            0 learnts,         2556 normals,            0 xors
0.00/0.00	c -- vars added        600
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	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.01	c lits-rem:         0  cl-subs:        0  v-elim:     12  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     266 undec:      68 neg:     266
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       588      2544         0         0      7703         0   no data   no data
0.20/0.06	c Decided on static restart strategy
0.60/0.16	c  N st     8      4915       588      2544         0      4842      7703    128465   no data   no data
1.58/0.43	c  N st    10     11301       588      2544         0      4499      7703     83784   no data   no data
2.78/0.71	c  N st    11     17046       588      2544         0     10141      7703    241601   no data   no data
4.40/1.13	c  F st    12     25001       588      2544         0     12418      7703    297923   no data   no data
4.40/1.13	c  N st    12     25001       588      2544         0     12418      7703    297923   no data   no data
5.17/1.39	c Decided on static restart strategy
5.17/1.39	c  N st    18     30001       588      2544         0     10679      7703    227463   no data   no data
5.17/1.39	c  S st    18     30001       588      2544         0     10679      7703    227463   no data   no data
5.57/1.42	c  S st    18     30506       588      2544         0     11183      7703    239633   no data   no data
5.57/1.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.57/1.43	c blocked clauses removed:       32 vars:      5 tried:         588 T: 0.00 s
5.57/1.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    583 time:  0.00 s
5.57/1.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.57/1.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.57/1.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.49	c lits-rem:       105  cl-subs:      463  v-elim:      0  v-fix:    0  time:  0.05 s
5.97/1.50	c asymm  cl-useful: 0/2512/2512 lits-rem:0 time: 0.01
5.97/1.50	c calculated reachability. Time: 0.00
5.97/1.50	c  N st    18     30506       583      2512         0     10720      7607    225586   no data   no data
7.57/1.90	c  N st    20     37620       583      2512         0      9979      7607    186896   no data   no data
8.79/2.28	c  N st    21     44020       583      2512         0     16231      7607    346462   no data   no data
9.56/2.40	c  S st    22     45761       583      2512         0      9176      7607    144931   no data   no data
9.56/2.43	c  S st    22     46262       583      2512         0      9677      7607    157639   no data   no data
9.56/2.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.56/2.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.56/2.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.56/2.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.56/2.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    583 time:  0.00 s
9.56/2.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.56/2.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.56/2.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.45	c lits-rem:        36  cl-subs:       58  v-elim:      0  v-fix:    0  time:  0.01 s
9.56/2.45	c vivif2 --  cl tried     2512 cl shrink        0 lits rem          0 time: 0.00
9.56/2.45	c vivif2 --  cl tried     9619 cl shrink        0 lits rem          0 time: 0.00
9.56/2.45	c asymm  cl-useful: 0/2512/2512 lits-rem:0 time: 0.00
9.56/2.45	c calculated reachability. Time: 0.00
9.56/2.45	c  N st    22     46262       583      2512         0      9619      7607    156024   no data   no data
13.56/3.45	c  N st    23     60659       583      2512         0     13926      7607    253415   no data   no data
15.96/4.08	c  N st    24     69395       583      2512         0     11752      7607    191051   no data   no data
15.96/4.08	c  S st    24     69395       583      2512         0     11752      7607    191051   no data   no data
16.36/4.12	c  S st    24     69901       583      2512         0     12258      7607    203926   no data   no data
16.36/4.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.36/4.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.36/4.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.36/4.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.36/4.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.36/4.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    583 time:  0.00 s
16.36/4.12	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.36/4.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.36/4.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.36/4.16	c lits-rem:        29  cl-subs:      146  v-elim:      0  v-fix:    0  time:  0.02 s
16.36/4.16	c vivif2 --  cl tried     2512 cl shrink        0 lits rem          0 time: 0.00
16.36/4.16	c vivif2 --  cl tried    12112 cl shrink        0 lits rem          0 time: 0.00
16.36/4.17	c asymm  cl-useful: 0/2512/2512 lits-rem:0 time: 0.01
16.36/4.17	c calculated reachability. Time: 0.00
16.36/4.17	c  N st    24     69901       583      2512         0     12112      7607    199438   no data   no data
21.97/5.58	c  F st    25     87500       583      2512         0     17678      7607    357523   no data   no data
21.97/5.58	c  N st    25     87500       583      2512         0     17678      7607    357523   no data   no data
23.95/6.07	c  N dy    33     93518       583      2512         0     23606      7607    515162     18.96     20.02
25.96/6.55	c  N dy    52     99523       583      2512         0     16685      7607    255106     18.68     19.74
27.54/6.96	c  S st    71    104851       583      2512         0     21957      7607    392113     18.43   no data
27.94/7.01	c  S st    71    105355       583      2512         0     22461      7607    404813     18.43   no data
27.94/7.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.94/7.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.94/7.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.94/7.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.94/7.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.94/7.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    583 time:  0.00 s
27.94/7.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.94/7.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.94/7.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.34/7.11	c lits-rem:       124  cl-subs:      344  v-elim:      0  v-fix:    0  time:  0.07 s
28.34/7.11	c vivif2 --  cl tried     2512 cl shrink        0 lits rem          0 time: 0.00
28.34/7.11	c vivif2 --  cl tried    22117 cl shrink        0 lits rem          0 time: 0.00
28.34/7.13	c asymm  cl-useful: 0/2512/2512 lits-rem:0 time: 0.01
28.34/7.13	c calculated reachability. Time: 0.00
28.34/7.13	c  N dy    71    105355       583      2512         0     22117      7607    394439     18.43   no data
31.54/7.93	c  N dy    79    114851       583      2512         0     17661      7607    246188     17.70     18.64
36.33/9.11	c  N dy   103    127581       583      2512         0     15436      7607    166968     17.34     18.29
42.73/10.74	c  N dy   133    145411       583      2512         0     17178      7607    187497     16.87     17.78
45.92/11.54	c  N dy   191    154691       583      2512         0     26378      7607    423911     16.99     18.05
47.52/11.90	c  S st   204    158033       583      2512         0     29680      7607    506151     17.01   no data
47.52/11.97	c  S st   204    158536       583      2512         0     30182      7607    518836     17.01   no data
47.52/11.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.52/11.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.52/11.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.52/11.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.52/11.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.52/11.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    583 time:  0.00 s
47.52/11.98	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.52/11.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.94/12.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.34/12.15	c lits-rem:       138  cl-subs:      595  v-elim:      0  v-fix:    0  time:  0.14 s
48.34/12.15	c vivif2 --  cl tried     2512 cl shrink        0 lits rem          0 time: 0.00
48.34/12.15	c vivif2 --  cl tried    29587 cl shrink        0 lits rem          0 time: 0.01
48.34/12.17	c asymm  cl-useful: 0/2512/2512 lits-rem:0 time: 0.02
48.34/12.17	c calculated reachability. Time: 0.00
48.34/12.17	c  N dy   204    158536       583      2512         0     29587      7607    503240     17.01   no data
52.33/13.17	c  N dy   241    168727       583      2512         0     22869      7607    315151     17.02     17.99
57.50/14.41	c  N dy   308    179792       583      2512         0     33860      7607    600929     17.13     18.38
61.89/15.56	c  N dy   364    191951       583      2512         0     28087      7607    424446     17.13     18.15
67.89/17.04	c  N dy   393    204237       583      2512         0     21429      7607    231189     17.04     18.01
73.48/18.47	c  N dy   457    217687       583      2512         0     34741      7607    573755     17.09     18.00
79.87/20.07	c  N dy   544    231579       583      2512         0     28691      7607    402992     17.19     18.27
83.08/20.82	c  S st   585    237805       583      2512         0     34850      7607    565042     17.25     17.61
83.49/20.91	c  S st   585    238310       583      2512         0     35353      7607    578252     17.25   no data
83.49/20.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
83.49/20.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
83.49/20.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
83.49/20.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
83.49/20.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.49/20.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    583 time:  0.00 s
83.49/20.92	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
83.49/20.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
83.49/20.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.27/21.11	c lits-rem:       171  cl-subs:      456  v-elim:      0  v-fix:    0  time:  0.16 s
84.27/21.12	c vivif2 --  cl tried     2512 cl shrink        0 lits rem          0 time: 0.00
84.27/21.12	c vivif2 --  cl tried    34897 cl shrink        0 lits rem          0 time: 0.01
84.27/21.15	c asymm  cl-useful: 0/2512/2512 lits-rem:0 time: 0.02
84.27/21.15	c calculated reachability. Time: 0.00
84.27/21.15	c  N dy   585    238310       583      2512         0     34897      7607    564024     17.25   no data
91.88/23.00	c  N dy   660    253560       583      2512         0     29200      7607    398508     17.31     19.21
100.25/25.19	c  N dy   739    269766       583      2512         0     23460      7607    223443     17.35     18.38
108.64/27.25	c  N dy   811    287064       583      2512         0     40536      7607    656349     17.35     19.76
118.64/29.71	c  F st   927    306251       583      2512         0     36807      7607    548158     17.42     16.63
118.64/29.71	c  N st   927    306251       583      2512         0     36807      7607    548158     17.42     16.63
121.42/30.41	c Decided on static restart strategy
132.20/33.15	c  N st   937    334557       583      2512         0     40934      7607    851957     17.42   no data
143.38/35.95	c  N st   939    357466       583      2512         0     38847      7607    781115     17.42   no data
143.38/35.95	c  S st   939    357466       583      2512         0     38847      7607    781115     17.42   no data
143.78/36.04	c  S st   939    357976       583      2512         0     39354      7607    794905     17.42   no data
143.78/36.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
143.78/36.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
143.78/36.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
143.78/36.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
143.78/36.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
143.78/36.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    583 time:  0.00 s
143.78/36.06	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
143.78/36.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
144.19/36.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.58/36.77	c lits-rem:       301  cl-subs:     1602  v-elim:      0  v-fix:    0  time:  0.67 s
146.58/36.77	c vivif2 --  cl tried     2512 cl shrink        0 lits rem          0 time: 0.00
146.58/36.78	c vivif2 --  cl tried    37752 cl shrink        0 lits rem          0 time: 0.01
146.98/36.81	c asymm  cl-useful: 0/2512/2512 lits-rem:0 time: 0.03
146.98/36.81	c calculated reachability. Time: 0.00
146.98/36.81	c  N st   939    357976       583      2512         0     37752      7607    747508     17.42   no data
165.35/41.49	c  N st   940    390369       583      2512         0     44081      7607    938733     17.42   no data
193.33/48.46	c  N st   941    438958       583      2512         0     37668      7607    645560     17.42   no data
239.65/60.03	c  N st   942    511841       583      2512         0     51263      7607    983348     17.42   no data
258.43/64.74	c  N st   943    536964       583      2512         0     45487      7607    797707     17.42   no data
258.43/64.74	c  S st   943    536964       583      2512         0     45487      7607    797707     17.42   no data
258.85/64.86	c  S st   943    537469       583      2512         0     45992      7607    811537     17.42   no data
258.85/64.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
258.85/64.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
258.85/64.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
258.85/64.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
258.85/64.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
258.85/64.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    583 time:  0.00 s
258.85/64.88	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
258.85/64.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
259.25/64.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
262.82/65.80	c lits-rem:       210  cl-subs:     1736  v-elim:      0  v-fix:    0  time:  0.88 s
262.82/65.80	c vivif2 --  cl tried     2512 cl shrink        0 lits rem          0 time: 0.00
262.82/65.82	c vivif2 --  cl tried    44256 cl shrink        0 lits rem          0 time: 0.01
262.82/65.85	c asymm  cl-useful: 0/2512/2512 lits-rem:0 time: 0.03
262.82/65.85	c calculated reachability. Time: 0.00
262.82/65.85	c  N st   943    537469       583      2512         0     44256      7607    763240     17.42   no data
384.65/96.30	c  N st   944    701453       583      2512         0     38240      7607    492554     17.42   no data
460.97/115.48	c  N st   945    806204       583      2512         0     67316      7607   1180361     17.42   no data
460.97/115.48	c  S st   945    806204       583      2512         0     67316      7607   1180361     17.42   no data
461.75/115.67	c  S st   945    806706       583      2512         0     67816      7607   1193600     17.42   no data
461.75/115.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
462.15/115.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
462.15/115.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
462.15/115.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
462.15/115.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
462.15/115.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    583 time:  0.00 s
462.15/115.70	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
462.15/115.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
462.15/115.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
476.13/119.20	c lits-rem:       347  cl-subs:     5237  v-elim:      0  v-fix:    0  time:  3.45 s
476.13/119.20	c vivif2 --  cl tried     2512 cl shrink        0 lits rem          0 time: 0.00
476.13/119.22	c vivif2 --  cl tried    62579 cl shrink        0 lits rem          0 time: 0.02
476.13/119.28	c asymm  cl-useful: 0/2512/2512 lits-rem:0 time: 0.06
476.13/119.28	c calculated reachability. Time: 0.00
476.13/119.28	c  N st   945    806706       583      2512         0     62579      7607   1079606     17.42   no data
719.80/180.24	c  F st   946   1071878       583      2512         0     78357      7607   1477234     17.42   no data
719.80/180.24	c  N st   946   1071878       583      2512         0     78357      7607   1477234     17.42   no data
725.79/181.76	c Decided on static restart strategy
745.76/186.71	c  N st   956   1100184       583      2512         0     62335      7607    995934     17.42   no data
778.12/194.89	c  N st   958   1136177       583      2512         0     52659      7607    698222     17.42   no data
812.49/203.44	c  N st   959   1168569       583      2512         0     84352      7607   1546092     17.42   no data
855.62/214.26	c  N st   960   1210059       583      2512         0     79058      7607   1436201     17.42   no data
855.62/214.26	c  S st   960   1210059       583      2512         0     79058      7607   1436201     17.42   no data
856.43/214.48	c  S st   960   1210559       583      2512         0     79558      7607   1449858     17.42   no data
856.43/214.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
856.83/214.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
856.83/214.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
856.83/214.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
856.83/214.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
856.83/214.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    583 time:  0.00 s
856.83/214.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
856.83/214.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
856.83/214.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
868.80/217.50	c lits-rem:       714  cl-subs:     2355  v-elim:      0  v-fix:    0  time:  2.91 s
868.80/217.50	c vivif2 --  cl tried     2512 cl shrink        0 lits rem          0 time: 0.00
868.80/217.52	c vivif2 --  cl tried    77203 cl shrink        0 lits rem          0 time: 0.02
868.80/217.59	c asymm  cl-useful: 0/2512/2512 lits-rem:0 time: 0.07
869.20/217.60	c calculated reachability. Time: 0.00
869.20/217.60	c  N st   960   1210559       583      2512         0     77203      7607   1380300     17.42   no data
945.88/236.81	c  N st   961   1283441       583      2512         0     53668      7607    650558     17.42   no data
1049.76/262.81	c  N st   962   1392764       583      2512         0     61785      7607    845719     17.42   no data
1213.52/303.82	c  N st   963   1556748       583      2512         0     66633      7607    927449     17.42   no data
1379.31/345.35	c  N st   964   1710559       583      2512         0    108573      7607   2187443     17.42   no data
1379.31/345.35	c  S st   964   1710559       583      2512         0    108573      7607   2187443     17.42   no data
1380.89/345.71	c  S st   964   1711062       583      2512         0    109076      7607   2200660     17.42   no data
1380.89/345.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1380.89/345.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1380.89/345.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1380.89/345.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1380.89/345.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1380.89/345.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    583 time:  0.00 s
1380.89/345.77	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1381.29/345.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1381.29/345.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1432.82/358.70	c lits-rem:       828  cl-subs:     5302  v-elim:      0  v-fix:    0  time: 12.82 s
1432.82/358.70	c vivif2 --  cl tried     2512 cl shrink        0 lits rem          0 time: 0.00
1432.82/358.73	c vivif2 --  cl tried   103774 cl shrink        0 lits rem          0 time: 0.03
1433.22/358.84	c asymm  cl-useful: 0/2512/2512 lits-rem:0 time: 0.11
1433.22/358.85	c calculated reachability. Time: 0.00
1433.22/358.85	c  N st   964   1711062       583      2512         0    103774      7607   2033329     17.42   no data
1843.46/461.55	c  N st   965   2080026       583      2512         0    115495      7607   2285818     17.42   no data
2000.05/500.71	c  N st   966   2211063       583      2512         0    119519      7607   2313067     17.42   no data
2000.05/500.71	c  S st   966   2211063       583      2512         0    119519      7607   2313067     17.42   no data
2001.64/501.12	c  S st   966   2211566       583      2512         0    120021      7607   2326519     17.42   no data
2001.64/501.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2001.64/501.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2001.64/501.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2001.64/501.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2001.64/501.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2001.64/501.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    583 time:  0.00 s
2001.64/501.19	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2002.04/501.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2002.04/501.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2053.18/514.00	c lits-rem:       618  cl-subs:     5153  v-elim:      0  v-fix:    0  time: 12.70 s
2053.18/514.00	c vivif2 --  cl tried     2512 cl shrink        0 lits rem          0 time: 0.00
2053.18/514.03	c vivif2 --  cl tried   114868 cl shrink        0 lits rem          0 time: 0.03
2053.57/514.15	c asymm  cl-useful: 0/2512/2512 lits-rem:0 time: 0.12
2053.57/514.16	c calculated reachability. Time: 0.00
2053.57/514.16	c  N st   966   2211566       583      2512         0    114868      7607   2178198     17.42   no data
2717.86/680.45	c  N st   967   2711566       583      2512         0    138356      7607   2766861     17.42   no data
2717.86/680.45	c  S st   967   2711566       583      2512         0    138356      7607   2766861     17.42   no data
2719.88/680.94	c  S st   967   2712069       583      2512         0    138858      7607   2780493     17.42   no data
2719.88/680.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2720.26/681.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2720.26/681.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2720.26/681.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2720.26/681.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2720.26/681.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    583 time:  0.00 s
2720.26/681.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2720.26/681.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2720.66/681.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2812.53/704.10	c lits-rem:      1894  cl-subs:     7744  v-elim:      0  v-fix:    0  time: 22.95 s
2812.53/704.10	c vivif2 --  cl tried     2512 cl shrink        0 lits rem          0 time: 0.00
2812.53/704.15	c vivif2 --  cl tried   131114 cl shrink        0 lits rem          0 time: 0.05
2813.33/704.33	c asymm  cl-useful: 0/2512/2512 lits-rem:0 time: 0.18
2813.33/704.33	c calculated reachability. Time: 0.00
2813.33/704.33	c  N st   967   2712069       583      2512         0    131114      7607   2557351     17.42   no data
3573.10/894.52	c  N st   968   3212070       583      2512         0    106505      7607   1620801     17.42   no data
3573.10/894.52	c  S st   968   3212070       583      2512         0    106505      7607   1620801     17.42   no data
3575.09/895.09	c  S st   968   3212575       583      2512         0    107010      7607   1634764     17.42   no data
3575.49/895.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3575.49/895.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.09
3575.49/895.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3575.49/895.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3575.49/895.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3575.49/895.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    583 time:  0.00 s
3575.49/895.19	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3575.89/895.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3575.89/895.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3616.64/905.42	c lits-rem:       435  cl-subs:     3401  v-elim:      0  v-fix:    0  time: 10.13 s
3616.64/905.42	c vivif2 --  cl tried     2512 cl shrink        0 lits rem          0 time: 0.00
3616.64/905.45	c vivif2 --  cl tried   103609 cl shrink        0 lits rem          0 time: 0.03
3617.04/905.59	c asymm  cl-useful: 0/2512/2512 lits-rem:0 time: 0.14
3617.04/905.59	c calculated reachability. Time: 0.00
3617.04/905.59	c  N st   968   3212575       583      2512         0    103609      7607   1540651     17.42   no data
4397.17/1100.82	c  N st   969   3712575       583      2512         0    114566      7607   1728780     17.42   no data
4397.17/1100.82	c  S st   969   3712575       583      2512         0    114566      7607   1728780     17.42   no data
4398.77/1101.29	c  S st   969   3713080       583      2512         0    115069      7607   1742722     17.42   no data
4399.17/1101.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4399.17/1101.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.07
4399.17/1101.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4399.17/1101.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4399.17/1101.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4399.17/1101.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    583 time:  0.00 s
4399.17/1101.38	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4399.57/1101.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4399.57/1101.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4439.51/1111.47	c lits-rem:       295  cl-subs:     4565  v-elim:      0  v-fix:    0  time: 10.00 s
4439.51/1111.47	c vivif2 --  cl tried     2512 cl shrink        0 lits rem          0 time: 0.00
4439.91/1111.51	c vivif2 --  cl tried   110504 cl shrink        0 lits rem          0 time: 0.03
4440.31/1111.66	c asymm  cl-useful: 0/2512/2512 lits-rem:0 time: 0.15
4440.31/1111.66	c calculated reachability. Time: 0.00
4440.31/1111.66	c  N st   969   3713080       583      2512         0    110504      7607   1629549     17.42   no data
4526.99/1133.32	c  F st   970   3751562       583      2512         0    148016      7607   2739269     17.42   no data
4526.99/1133.32	c  N st   970   3751562       583      2512         0    148016      7607   2739269     17.42   no data
4539.77/1136.55	c Decided on static restart strategy
4582.94/1147.34	c  N st   980   3779869       583      2512         0     92792      7607   1071834     17.42   no data
4633.24/1159.94	c  N st   982   3815862       583      2512         0    127918      7607   2022895     17.42   no data
4692.78/1174.84	c  N st   983   3848254       583      2512         0    159651      7607   2909108     17.42   no data
4772.65/1194.80	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: 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-3174122-1304098196/watcher-3174122-1304098196 -o /tmp/evaluation-result-3174122-1304098196/solver-3174122-1304098196 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174122-1304098196.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: 6.93 7.82 7.93 2/172 3318
/proc/meminfo: memFree=27641636/32951124 swapFree=67111356/67111528
[pid=3318] ppid=3315 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/3318/stat : 3318 (strangenight2-m) R 3315 3318 2524 0 -1 4202496 409 0 0 0 0 0 0 0 24 0 4 0 521417332 52441088 348 33554432000 4194304 4627427 140735892101760 18446744073709551615 47631081654194 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3318/statm: 12803 348 299 106 0 7774 0
[pid=3318/tid=3323] ppid=3315 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/3318/task/3323/stat : 3323 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 521417332 52441088 348 33554432000 4194304 4627427 140735892101760 18446744073709551615 218905787377 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3318/tid=3324] ppid=3315 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/3318/task/3324/stat : 3324 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521417332 52441088 348 33554432000 4194304 4627427 140735892101760 18446744073709551615 47631081654194 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3318/tid=3325] ppid=3315 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/3318/task/3325/stat : 3325 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521417332 52441088 348 33554432000 4194304 4627427 140735892101760 18446744073709551615 47631081654192 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.057022 s]
/proc/loadavg: 6.93 7.82 7.93 2/172 3318
/proc/meminfo: memFree=27641636/32951124 swapFree=67111356/67111528
[pid=3318] ppid=3315 vsize=282028 CPUtime=0.2 cores=0,2,4,6
/proc/3318/stat : 3318 (strangenight2-m) R 3315 3318 2524 0 -1 4202496 1599 0 0 0 20 0 0 0 18 0 4 0 521417332 288796672 1442 33554432000 4194304 4627427 140735892101760 18446744073709551615 4310378 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3318/statm: 70507 1442 384 106 0 65478 0
[pid=3318/tid=3323] ppid=3315 vsize=282028 CPUtime=0.04 cores=0,2,4,6
/proc/3318/task/3323/stat : 3323 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 311 0 0 0 4 0 0 0 25 0 4 0 521417332 288796672 1442 33554432000 4194304 4627427 140735892101760 18446744073709551615 4348327 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3318/tid=3324] ppid=3315 vsize=282028 CPUtime=0.05 cores=0,2,4,6
/proc/3318/task/3324/stat : 3324 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 328 0 0 0 5 0 0 0 18 0 4 0 521417332 288796672 1442 33554432000 4194304 4627427 140735892101760 18446744073709551615 4299595 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3318/tid=3325] ppid=3315 vsize=282028 CPUtime=0.05 cores=0,2,4,6
/proc/3318/task/3325/stat : 3325 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 215 0 0 0 5 0 0 0 18 0 4 0 521417332 288796672 1442 33554432000 4194304 4627427 140735892101760 18446744073709551615 4276610 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 282028

[startup+0.157003 s]
/proc/loadavg: 6.93 7.82 7.93 2/172 3318
/proc/meminfo: memFree=27641636/32951124 swapFree=67111356/67111528
[pid=3318] ppid=3315 vsize=282160 CPUtime=0.6 cores=0,2,4,6
/proc/3318/stat : 3318 (strangenight2-m) R 3315 3318 2524 0 -1 4202496 2082 0 0 0 60 0 0 0 18 0 4 0 521417332 288931840 1925 33554432000 4194304 4627427 140735892101760 18446744073709551615 4299595 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3318/statm: 70540 1925 384 106 0 65511 0
[pid=3318/tid=3323] ppid=3315 vsize=282160 CPUtime=0.14 cores=0,2,4,6
/proc/3318/task/3323/stat : 3323 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 433 0 0 0 14 0 0 0 25 0 4 0 521417332 288931840 1925 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3318/tid=3324] ppid=3315 vsize=282160 CPUtime=0.15 cores=0,2,4,6
/proc/3318/task/3324/stat : 3324 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 447 0 0 0 15 0 0 0 18 0 4 0 521417332 288931840 1925 33554432000 4194304 4627427 140735892101760 18446744073709551615 4333312 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3318/tid=3325] ppid=3315 vsize=282160 CPUtime=0.15 cores=0,2,4,6
/proc/3318/task/3325/stat : 3325 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 338 0 0 0 15 0 0 0 18 0 4 0 521417332 288931840 1926 33554432000 4194304 4627427 140735892101760 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 282160

[startup+0.300978 s]
/proc/loadavg: 6.93 7.82 7.93 2/172 3318
/proc/meminfo: memFree=27641636/32951124 swapFree=67111356/67111528
[pid=3318] ppid=3315 vsize=283740 CPUtime=1.18 cores=0,2,4,6
/proc/3318/stat : 3318 (strangenight2-m) R 3315 3318 2524 0 -1 4202496 2990 0 0 0 118 0 0 0 18 0 4 0 521417332 290549760 2206 33554432000 4194304 4627427 140735892101760 18446744073709551615 4324696 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3318/statm: 70935 2206 385 106 0 65906 0
[pid=3318/tid=3323] ppid=3315 vsize=283740 CPUtime=0.29 cores=0,2,4,6
/proc/3318/task/3323/stat : 3323 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 656 0 0 0 29 0 0 0 25 0 4 0 521417332 290549760 2207 33554432000 4194304 4627427 140735892101760 18446744073709551615 4327559 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3318/tid=3324] ppid=3315 vsize=283740 CPUtime=0.29 cores=0,2,4,6
/proc/3318/task/3324/stat : 3324 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 673 0 0 0 29 0 0 0 18 0 4 0 521417332 290549760 2207 33554432000 4194304 4627427 140735892101760 18446744073709551615 4308809 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3318/tid=3325] ppid=3315 vsize=283740 CPUtime=0.29 cores=0,2,4,6
/proc/3318/task/3325/stat : 3325 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 570 0 0 0 29 0 0 0 18 0 4 0 521417332 290549760 2207 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283740

[startup+0.700906 s]
/proc/loadavg: 6.93 7.82 7.93 2/172 3318
/proc/meminfo: memFree=27641636/32951124 swapFree=67111356/67111528
[pid=3318] ppid=3315 vsize=284664 CPUtime=2.78 cores=0,2,4,6
/proc/3318/stat : 3318 (strangenight2-m) R 3315 3318 2524 0 -1 4202496 4646 0 0 0 277 1 0 0 18 0 4 0 521417332 291495936 2897 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309408 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3318/statm: 71166 2897 385 106 0 66137 0
[pid=3318/tid=3323] ppid=3315 vsize=284664 CPUtime=0.69 cores=0,2,4,6
/proc/3318/task/3323/stat : 3323 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 1070 0 0 0 69 0 0 0 25 0 4 0 521417332 291495936 2897 33554432000 4194304 4627427 140735892101760 18446744073709551615 4332626 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3318/tid=3324] ppid=3315 vsize=284664 CPUtime=0.69 cores=0,2,4,6
/proc/3318/task/3324/stat : 3324 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 1093 0 0 0 69 0 0 0 18 0 4 0 521417332 291495936 2897 33554432000 4194304 4627427 140735892101760 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3318/tid=3325] ppid=3315 vsize=284664 CPUtime=0.69 cores=0,2,4,6
/proc/3318/task/3325/stat : 3325 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 979 0 0 0 69 0 0 0 18 0 4 0 521417332 291495936 2897 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 284664

[startup+1.50076 s]
/proc/loadavg: 6.93 7.82 7.93 10/184 3330
/proc/meminfo: memFree=27617856/32951124 swapFree=67111356/67111528
[pid=3318] ppid=3315 vsize=286048 CPUtime=5.97 cores=0,2,4,6
/proc/3318/stat : 3318 (strangenight2-m) R 3315 3318 2524 0 -1 4202496 9452 0 0 0 596 1 0 0 20 0 4 0 521417332 292913152 4806 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3318/statm: 71512 4806 389 106 0 66483 0
[pid=3318/tid=3323] ppid=3315 vsize=286048 CPUtime=1.48 cores=0,2,4,6
/proc/3318/task/3323/stat : 3323 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 1916 0 0 0 148 0 0 0 25 0 4 0 521417332 292913152 4806 33554432000 4194304 4627427 140735892101760 18446744073709551615 4333258 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3318/tid=3324] ppid=3315 vsize=286048 CPUtime=1.49 cores=0,2,4,6
/proc/3318/task/3324/stat : 3324 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 1935 0 0 0 149 0 0 0 20 0 4 0 521417332 292913152 4806 33554432000 4194304 4627427 140735892101760 18446744073709551615 4326846 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3318/tid=3325] ppid=3315 vsize=286048 CPUtime=1.49 cores=0,2,4,6
/proc/3318/task/3325/stat : 3325 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 1821 0 0 0 149 0 0 0 20 0 4 0 521417332 292913152 4806 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286048

[startup+3.10047 s]
/proc/loadavg: 7.17 7.86 7.94 9/184 3330
/proc/meminfo: memFree=27587848/32951124 swapFree=67111356/67111528
[pid=3318] ppid=3315 vsize=294128 CPUtime=12.37 cores=0,2,4,6
/proc/3318/stat : 3318 (strangenight2-m) R 3315 3318 2524 0 -1 4202496 19374 0 0 0 1234 3 0 0 25 0 4 0 521417332 301187072 10139 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3318/statm: 73532 10139 389 106 0 68503 0
[pid=3318/tid=3323] ppid=3315 vsize=294128 CPUtime=3.07 cores=0,2,4,6
/proc/3318/task/3323/stat : 3323 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 4492 0 0 0 307 0 0 0 25 0 4 0 521417332 301187072 10139 33554432000 4194304 4627427 140735892101760 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3318/tid=3324] ppid=3315 vsize=294128 CPUtime=3.08 cores=0,2,4,6
/proc/3318/task/3324/stat : 3324 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 5134 0 0 0 308 0 0 0 25 0 4 0 521417332 301187072 10139 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3318/tid=3325] ppid=3315 vsize=294128 CPUtime=3.09 cores=0,2,4,6
/proc/3318/task/3325/stat : 3325 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 4657 0 0 0 309 0 0 0 25 0 4 0 521417332 301187072 10139 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 294128

[startup+6.3009 s]
/proc/loadavg: 7.17 7.86 7.94 9/184 3330
/proc/meminfo: memFree=27549992/32951124 swapFree=67111356/67111528
[pid=3318] ppid=3315 vsize=295180 CPUtime=25.15 cores=0,2,4,6
/proc/3318/stat : 3318 (strangenight2-m) R 3315 3318 2524 0 -1 4202496 30730 0 0 0 2509 6 0 0 25 0 4 0 521417332 302264320 14128 33554432000 4194304 4627427 140735892101760 18446744073709551615 4349204 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3318/statm: 73795 14128 389 106 0 68766 0
[pid=3318/tid=3323] ppid=3315 vsize=295180 CPUtime=6.26 cores=0,2,4,6
/proc/3318/task/3323/stat : 3323 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 7984 0 0 0 625 1 0 0 25 0 4 0 521417332 302264320 14129 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3318/tid=3324] ppid=3315 vsize=295180 CPUtime=6.28 cores=0,2,4,6
/proc/3318/task/3324/stat : 3324 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 8552 0 0 0 627 1 0 0 25 0 4 0 521417332 302264320 14129 33554432000 4194304 4627427 140735892101760 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3318/tid=3325] ppid=3315 vsize=295180 CPUtime=6.28 cores=0,2,4,6
/proc/3318/task/3325/stat : 3325 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 6795 0 0 0 628 0 0 0 25 0 4 0 521417332 302264320 14130 33554432000 4194304 4627427 140735892101760 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 295180

[startup+12.7007 s]
/proc/loadavg: 7.30 7.86 7.94 9/184 3330
/proc/meminfo: memFree=27486488/32951124 swapFree=67111356/67111528
[pid=3318] ppid=3315 vsize=275648 CPUtime=50.71 cores=0,2,4,6
/proc/3318/stat : 3318 (strangenight2-m) R 3315 3318 2524 0 -1 4202496 46564 0 0 0 5062 9 0 0 25 0 4 0 521417332 282263552 22897 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309350 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3318/statm: 68912 22897 389 106 0 63883 0
[pid=3318/tid=3323] ppid=3315 vsize=275648 CPUtime=12.63 cores=0,2,4,6
/proc/3318/task/3323/stat : 3323 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 11564 0 0 0 1261 2 0 0 25 0 4 0 521417332 282263552 22897 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3318/tid=3324] ppid=3315 vsize=275648 CPUtime=12.69 cores=0,2,4,6
/proc/3318/task/3324/stat : 3324 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 10946 0 0 0 1267 2 0 0 25 0 4 0 521417332 282263552 22897 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3318/tid=3325] ppid=3315 vsize=275648 CPUtime=12.68 cores=0,2,4,6
/proc/3318/task/3325/stat : 3325 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 11737 0 0 0 1267 1 0 0 25 0 4 0 521417332 282263552 22897 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 275648

[startup+25.5004 s]
/proc/loadavg: 7.41 7.86 7.94 9/184 3331
/proc/meminfo: memFree=27457228/32951124 swapFree=67111356/67111528
[pid=3318] ppid=3315 vsize=275932 CPUtime=101.84 cores=0,2,4,6
/proc/3318/stat : 3318 (strangenight2-m) R 3315 3318 2524 0 -1 4202496 63046 0 0 0 10170 14 0 0 25 0 4 0 521417332 282554368 26438 33554432000 4194304 4627427 140735892101760 18446744073709551615 4332992 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3318/statm: 68983 26438 389 106 0 63954 0
[pid=3318/tid=3323] ppid=3315 vsize=275932 CPUtime=25.35 cores=0,2,4,6
/proc/3318/task/3323/stat : 3323 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 15667 0 0 0 2533 2 0 0 25 0 4 0 521417332 282554368 26438 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3318/tid=3324] ppid=3315 vsize=275932 CPUtime=25.48 cores=0,2,4,6
/proc/3318/task/3324/stat : 3324 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 15045 0 0 0 2545 3 0 0 25 0 4 0 521417332 282554368 26438 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3318/tid=3325] ppid=3315 vsize=275932 CPUtime=25.49 cores=0,2,4,6
/proc/3318/task/3325/stat : 3325 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 16793 0 0 0 2546 3 0 0 25 0 4 0 521417332 282554368 26438 33554432000 4194304 4627427 140735892101760 18446744073709551615 4308248 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 275932

[startup+51.1008 s]
/proc/loadavg: 7.61 7.87 7.94 9/184 3331
/proc/meminfo: memFree=27409392/32951124 swapFree=67111356/67111528
[pid=3318] ppid=3315 vsize=299324 CPUtime=204.11 cores=0,2,4,6
/proc/3318/stat : 3318 (strangenight2-m) R 3315 3318 2524 0 -1 4202496 90286 0 0 0 20388 23 0 0 25 0 4 0 521417332 306507776 35176 33554432000 4194304 4627427 140735892101760 18446744073709551615 4324721 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3318/statm: 74831 35176 389 106 0 69802 0
[pid=3318/tid=3323] ppid=3315 vsize=299324 CPUtime=50.82 cores=0,2,4,6
/proc/3318/task/3323/stat : 3323 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 20414 0 0 0 5078 4 0 0 25 0 4 0 521417332 306507776 35176 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3318/tid=3324] ppid=3315 vsize=299324 CPUtime=51.08 cores=0,2,4,6
/proc/3318/task/3324/stat : 3324 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 19876 0 0 0 5104 4 0 0 25 0 4 0 521417332 306507776 35176 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3318/tid=3325] ppid=3315 vsize=299324 CPUtime=51.09 cores=0,2,4,6
/proc/3318/task/3325/stat : 3325 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 24933 0 0 0 5102 7 0 0 25 0 4 0 521417332 306507776 35176 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 299324

[startup+102.307 s]
/proc/loadavg: 7.93 7.92 7.95 9/184 3333
/proc/meminfo: memFree=27355292/32951124 swapFree=67111356/67111528
[pid=3318] ppid=3315 vsize=313764 CPUtime=408.65 cores=0,2,4,6
/proc/3318/stat : 3318 (strangenight2-m) R 3315 3318 2524 0 -1 4202496 121570 0 0 0 40832 33 0 0 25 0 4 0 521417332 321294336 44108 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309250 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3318/statm: 78441 44108 389 106 0 73412 0
[pid=3318/tid=3323] ppid=3315 vsize=313764 CPUtime=101.74 cores=0,2,4,6
/proc/3318/task/3323/stat : 3323 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 28854 0 0 0 10168 6 0 0 25 0 4 0 521417332 321294336 44108 33554432000 4194304 4627427 140735892101760 18446744073709551615 4420232 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3318/tid=3324] ppid=3315 vsize=313764 CPUtime=102.29 cores=0,2,4,6
/proc/3318/task/3324/stat : 3324 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 28070 0 0 0 10221 8 0 0 25 0 4 0 521417332 321294336 44108 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3318/tid=3325] ppid=3315 vsize=313764 CPUtime=102.29 cores=0,2,4,6
/proc/3318/task/3325/stat : 3325 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 27802 0 0 0 10222 7 0 0 25 0 4 0 521417332 321294336 44108 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 313764

[startup+162.301 s]

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

[pid=3318] ppid=3315 vsize=666592 CPUtime=2805.35 cores=0,2,4,6
/proc/3318/stat : 3318 (strangenight2-m) R 3315 3318 2524 0 -1 4202496 330688 0 0 0 280426 109 0 0 25 0 4 0 521417332 682590208 104555 33554432000 4194304 4627427 140735892101760 18446744073709551615 4420136 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3318/statm: 166648 104555 389 106 0 161619 0
[pid=3318/tid=3323] ppid=3315 vsize=666592 CPUtime=698.48 cores=0,2,4,6
/proc/3318/task/3323/stat : 3323 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 95901 0 0 0 69819 29 0 0 25 0 4 0 521417332 682590208 104555 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3318/tid=3324] ppid=3315 vsize=666592 CPUtime=702.24 cores=0,2,4,6
/proc/3318/task/3324/stat : 3324 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 60122 0 0 0 70202 22 0 0 25 0 4 0 521417332 682590208 104555 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3318/tid=3325] ppid=3315 vsize=666592 CPUtime=702.3 cores=0,2,4,6
/proc/3318/task/3325/stat : 3325 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 69111 0 0 0 70205 25 0 0 25 0 4 0 521417332 682590208 104555 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.35
Current children cumulated vsize (KiB) 666592

[startup+762.307 s]
/proc/loadavg: 8.01 8.04 8.00 9/184 3350
/proc/meminfo: memFree=26925856/32951124 swapFree=67111356/67111528
[pid=3318] ppid=3315 vsize=617064 CPUtime=3045.03 cores=0,2,4,6
/proc/3318/stat : 3318 (strangenight2-m) R 3315 3318 2524 0 -1 4202496 347276 0 0 0 304388 115 0 0 25 0 4 0 521417332 631873536 112030 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3318/statm: 154266 112030 389 106 0 149237 0
[pid=3318/tid=3323] ppid=3315 vsize=617064 CPUtime=758.16 cores=0,2,4,6
/proc/3318/task/3323/stat : 3323 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 105791 0 0 0 75784 32 0 0 25 0 4 0 521417332 631873536 112030 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3318/tid=3324] ppid=3315 vsize=617064 CPUtime=762.24 cores=0,2,4,6
/proc/3318/task/3324/stat : 3324 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 60124 0 0 0 76202 22 0 0 25 0 4 0 521417332 631873536 112030 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3318/tid=3325] ppid=3315 vsize=617064 CPUtime=762.3 cores=0,2,4,6
/proc/3318/task/3325/stat : 3325 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 69302 0 0 0 76205 25 0 0 25 0 4 0 521417332 631873536 112030 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.03
Current children cumulated vsize (KiB) 617064

[startup+822.301 s]
/proc/loadavg: 8.00 8.03 8.00 9/184 3352
/proc/meminfo: memFree=26904388/32951124 swapFree=67111356/67111528
[pid=3318] ppid=3315 vsize=667884 CPUtime=3284.69 cores=0,2,4,6
/proc/3318/stat : 3318 (strangenight2-m) R 3315 3318 2524 0 -1 4202496 358609 0 0 0 328348 121 0 0 25 0 4 0 521417332 683913216 110205 33554432000 4194304 4627427 140735892101760 18446744073709551615 4324192 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3318/statm: 166971 110205 389 106 0 161942 0
[pid=3318/tid=3323] ppid=3315 vsize=667884 CPUtime=817.83 cores=0,2,4,6
/proc/3318/task/3323/stat : 3323 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 113040 0 0 0 81748 35 0 0 25 0 4 0 521417332 683913216 110205 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309228 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3318/tid=3324] ppid=3315 vsize=667884 CPUtime=822.23 cores=0,2,4,6
/proc/3318/task/3324/stat : 3324 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 60127 0 0 0 82201 22 0 0 25 0 4 0 521417332 683913216 110205 33554432000 4194304 4627427 140735892101760 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3318/tid=3325] ppid=3315 vsize=667884 CPUtime=822.29 cores=0,2,4,6
/proc/3318/task/3325/stat : 3325 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 69669 0 0 0 82204 25 0 0 25 0 4 0 521417332 683913216 110205 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.69
Current children cumulated vsize (KiB) 667884

[startup+882.3 s]
/proc/loadavg: 8.00 8.02 8.00 9/184 3353
/proc/meminfo: memFree=26883888/32951124 swapFree=67111356/67111528
[pid=3318] ppid=3315 vsize=617256 CPUtime=3524.36 cores=0,2,4,6
/proc/3318/stat : 3318 (strangenight2-m) R 3315 3318 2524 0 -1 4202496 370977 0 0 0 352311 125 0 0 25 0 4 0 521417332 632070144 111680 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3318/statm: 154314 111680 389 106 0 149285 0
[pid=3318/tid=3323] ppid=3315 vsize=617256 CPUtime=877.51 cores=0,2,4,6
/proc/3318/task/3323/stat : 3323 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 120172 0 0 0 87713 38 0 0 25 0 4 0 521417332 632070144 111680 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3318/tid=3324] ppid=3315 vsize=617256 CPUtime=882.22 cores=0,2,4,6
/proc/3318/task/3324/stat : 3324 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 60177 0 0 0 88200 22 0 0 25 0 4 0 521417332 632070144 111680 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3318/tid=3325] ppid=3315 vsize=617256 CPUtime=882.29 cores=0,2,4,6
/proc/3318/task/3325/stat : 3325 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 70166 0 0 0 88204 25 0 0 25 0 4 0 521417332 632070144 111680 33554432000 4194304 4627427 140735892101760 18446744073709551615 4420232 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.36
Current children cumulated vsize (KiB) 617256

[startup+942.3 s]
/proc/loadavg: 8.04 8.03 8.00 9/184 3355
/proc/meminfo: memFree=26886076/32951124 swapFree=67111356/67111528
[pid=3318] ppid=3315 vsize=617576 CPUtime=3764.03 cores=0,2,4,6
/proc/3318/stat : 3318 (strangenight2-m) R 3315 3318 2524 0 -1 4202496 385061 0 0 0 376272 131 0 0 25 0 4 0 521417332 632397824 120438 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3318/statm: 154394 120438 389 106 0 149365 0
[pid=3318/tid=3323] ppid=3315 vsize=617576 CPUtime=937.18 cores=0,2,4,6
/proc/3318/task/3323/stat : 3323 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 129149 0 0 0 93678 40 0 0 25 0 4 0 521417332 632397824 120438 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3318/tid=3324] ppid=3315 vsize=617576 CPUtime=942.22 cores=0,2,4,6
/proc/3318/task/3324/stat : 3324 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 60178 0 0 0 94200 22 0 0 25 0 4 0 521417332 632397824 120438 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3318/tid=3325] ppid=3315 vsize=617576 CPUtime=942.3 cores=0,2,4,6
/proc/3318/task/3325/stat : 3325 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 70615 0 0 0 94204 26 0 0 25 0 4 0 521417332 632397824 120438 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.03
Current children cumulated vsize (KiB) 617576

[startup+1002.3 s]
/proc/loadavg: 8.10 8.05 8.01 9/184 3357
/proc/meminfo: memFree=26889140/32951124 swapFree=67111356/67111528
[pid=3318] ppid=3315 vsize=617684 CPUtime=4003.7 cores=0,2,4,6
/proc/3318/stat : 3318 (strangenight2-m) R 3315 3318 2524 0 -1 4202496 396075 0 0 0 400233 137 0 0 25 0 4 0 521417332 632508416 117594 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3318/statm: 154421 117594 389 106 0 149392 0
[pid=3318/tid=3323] ppid=3315 vsize=617684 CPUtime=996.85 cores=0,2,4,6
/proc/3318/task/3323/stat : 3323 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 135788 0 0 0 99642 43 0 0 25 0 4 0 521417332 632508416 117594 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3318/tid=3324] ppid=3315 vsize=617684 CPUtime=1002.21 cores=0,2,4,6
/proc/3318/task/3324/stat : 3324 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 60245 0 0 0 100199 22 0 0 25 0 4 0 521417332 632508416 117594 33554432000 4194304 4627427 140735892101760 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3318/tid=3325] ppid=3315 vsize=617684 CPUtime=1002.29 cores=0,2,4,6
/proc/3318/task/3325/stat : 3325 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 71054 0 0 0 100203 26 0 0 25 0 4 0 521417332 632508416 117594 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.7
Current children cumulated vsize (KiB) 617684

[startup+1062.3 s]
/proc/loadavg: 8.11 8.07 8.01 9/184 3358
/proc/meminfo: memFree=26876600/32951124 swapFree=67111356/67111528
[pid=3318] ppid=3315 vsize=618028 CPUtime=4243.38 cores=0,2,4,6
/proc/3318/stat : 3318 (strangenight2-m) R 3315 3318 2524 0 -1 4202496 409007 0 0 0 424193 145 0 0 25 0 4 0 521417332 632860672 115767 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3318/statm: 154507 115767 389 106 0 149478 0
[pid=3318/tid=3323] ppid=3315 vsize=618028 CPUtime=1056.53 cores=0,2,4,6
/proc/3318/task/3323/stat : 3323 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 143002 0 0 0 105606 47 0 0 25 0 4 0 521417332 632860672 115767 33554432000 4194304 4627427 140735892101760 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3318/tid=3324] ppid=3315 vsize=618028 CPUtime=1062.21 cores=0,2,4,6
/proc/3318/task/3324/stat : 3324 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 60326 0 0 0 106199 22 0 0 25 0 4 0 521417332 632860672 115767 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3318/tid=3325] ppid=3315 vsize=618028 CPUtime=1062.3 cores=0,2,4,6
/proc/3318/task/3325/stat : 3325 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 71633 0 0 0 106203 27 0 0 25 0 4 0 521417332 632860672 115767 33554432000 4194304 4627427 140735892101760 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.38
Current children cumulated vsize (KiB) 618028

[startup+1122.3 s]
/proc/loadavg: 8.11 8.08 8.02 9/184 3360
/proc/meminfo: memFree=26858104/32951124 swapFree=67111356/67111528
[pid=3318] ppid=3315 vsize=749144 CPUtime=4483.04 cores=0,2,4,6
/proc/3318/stat : 3318 (strangenight2-m) R 3315 3318 2524 0 -1 4202496 425302 0 0 0 448153 151 0 0 25 0 4 0 521417332 767123456 126109 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3318/statm: 187286 126109 389 106 0 182257 0
[pid=3318/tid=3323] ppid=3315 vsize=749144 CPUtime=1116.2 cores=0,2,4,6
/proc/3318/task/3323/stat : 3323 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 153338 0 0 0 111569 51 0 0 25 0 4 0 521417332 767123456 126109 33554432000 4194304 4627427 140735892101760 18446744073709551615 4420268 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3318/tid=3324] ppid=3315 vsize=749144 CPUtime=1122.21 cores=0,2,4,6
/proc/3318/task/3324/stat : 3324 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 62669 0 0 0 112198 23 0 0 25 0 4 0 521417332 767123456 126109 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3318/tid=3325] ppid=3315 vsize=749144 CPUtime=1122.3 cores=0,2,4,6
/proc/3318/task/3325/stat : 3325 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 72047 0 0 0 112203 27 0 0 25 0 4 0 521417332 767123456 126109 33554432000 4194304 4627427 140735892101760 18446744073709551615 4428121 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.04
Current children cumulated vsize (KiB) 749144

[startup+1182.3 s]
/proc/loadavg: 8.07 8.08 8.02 9/184 3361
/proc/meminfo: memFree=26834892/32951124 swapFree=67111356/67111528
[pid=3318] ppid=3315 vsize=683680 CPUtime=4722.72 cores=0,2,4,6
/proc/3318/stat : 3318 (strangenight2-m) R 3315 3318 2524 0 -1 4202496 438391 0 0 0 472114 158 0 0 25 0 4 0 521417332 700088320 127492 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3318/statm: 170920 127492 389 106 0 165891 0
[pid=3318/tid=3323] ppid=3315 vsize=683680 CPUtime=1175.88 cores=0,2,4,6
/proc/3318/task/3323/stat : 3323 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 154458 0 0 0 117535 53 0 0 25 0 4 0 521417332 700088320 127492 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3318/tid=3324] ppid=3315 vsize=683680 CPUtime=1182.2 cores=0,2,4,6
/proc/3318/task/3324/stat : 3324 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 67504 0 0 0 118195 25 0 0 25 0 4 0 521417332 700088320 127492 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3318/tid=3325] ppid=3315 vsize=683680 CPUtime=1182.3 cores=0,2,4,6
/proc/3318/task/3325/stat : 3325 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 74495 0 0 0 118202 28 0 0 25 0 4 0 521417332 700088320 127492 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309598 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.72
Current children cumulated vsize (KiB) 683680



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.19 8.10 8.02 9/184 3362
/proc/meminfo: memFree=26820500/32951124 swapFree=67111356/67111528
[pid=3318] ppid=3315 vsize=683680 CPUtime=4800.23 cores=0,2,4,6
/proc/3318/stat : 3318 (strangenight2-m) R 3315 3318 2524 0 -1 4202496 440911 0 0 0 479863 160 0 0 25 0 4 0 521417332 700088320 130012 33554432000 4194304 4627427 140735892101760 18446744073709551615 4299638 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3318/statm: 170920 130012 389 106 0 165891 0
[pid=3318/tid=3323] ppid=3315 vsize=683680 CPUtime=1195.18 cores=0,2,4,6
/proc/3318/task/3323/stat : 3323 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 154458 0 0 0 119465 53 0 0 25 0 4 0 521417332 700088320 130012 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3318/tid=3324] ppid=3315 vsize=683680 CPUtime=1201.6 cores=0,2,4,6
/proc/3318/task/3324/stat : 3324 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 68572 0 0 0 120135 25 0 0 25 0 4 0 521417332 700088320 130012 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3318/tid=3325] ppid=3315 vsize=683680 CPUtime=1201.7 cores=0,2,4,6
/proc/3318/task/3325/stat : 3325 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 75947 0 0 0 120141 29 0 0 25 0 4 0 521417332 700088320 130012 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 683680

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

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

[startup+1201.7 s]
/proc/loadavg: 8.19 8.10 8.02 9/184 3362
/proc/meminfo: memFree=26820500/32951124 swapFree=67111356/67111528
[pid=3318] ppid=3315 vsize=683680 CPUtime=4800.23 cores=0,2,4,6
/proc/3318/stat : 3318 (strangenight2-m) R 3315 3318 2524 0 -1 4202496 440911 0 0 0 479863 160 0 0 25 0 4 0 521417332 700088320 130012 33554432000 4194304 4627427 140735892101760 18446744073709551615 4299638 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3318/statm: 170920 130012 389 106 0 165891 0
[pid=3318/tid=3323] ppid=3315 vsize=683680 CPUtime=1195.18 cores=0,2,4,6
/proc/3318/task/3323/stat : 3323 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 154458 0 0 0 119465 53 0 0 25 0 4 0 521417332 700088320 130012 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3318/tid=3324] ppid=3315 vsize=683680 CPUtime=1201.6 cores=0,2,4,6
/proc/3318/task/3324/stat : 3324 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 68572 0 0 0 120135 25 0 0 25 0 4 0 521417332 700088320 130012 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3318/tid=3325] ppid=3315 vsize=683680 CPUtime=1201.7 cores=0,2,4,6
/proc/3318/task/3325/stat : 3325 (strangenight2-m) R 3315 3318 2524 0 -1 4202560 75947 0 0 0 120141 29 0 0 25 0 4 0 521417332 700088320 130012 33554432000 4194304 4627427 140735892101760 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 683680

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.29
CPU user time (s): 4798.66
CPU system time (s): 1.63275
CPU usage (%): 399.446
Max. virtual memory (cumulated for all children) (KiB): 854512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.66
system time used= 1.63275
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 440912
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= 226
involuntary context switches= 24450

runsolver used 2.0037 second user time and 4.55431 second system time

The end

Launcher Data 

Begin job on node137 at 2011-04-29 19:29:56
IDJOB=3174122
IDBENCH=82940
IDSOLVER=1586
FILE ID=node137/3174122-1304098196
RUNJOBID= node137-1304098196-3302
PBS_JOBID= 13170581
Free space on /tmp= 71620 MiB

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

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

MD5SUM BENCH= 97219d7d3b8dcf40225a045ad28970d7
RANDOM SEED=1742599627

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27641792 kB
Buffers:        920412 kB
Cached:        3860876 kB
SwapCached:         56 kB
Active:         343696 kB
Inactive:      4500196 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27641792 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           11396 kB
Writeback:           0 kB
AnonPages:       62924 kB
Mapped:          14480 kB
Slab:           401868 kB
PageTables:       4312 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   184240 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= 71608 MiB
End job on node137 at 2011-04-29 19:50:00