Trace number 3291818

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.3 1203.14

General information on the benchmark

NameSAT04/industrial/vangelder/cnf-color/
myciel6-tr.used-as.sat04-320.cnf
MD5SUM5ba57e5cfd40b4a93356dbea5162016d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark384.789
Satisfiable
(Un)Satisfiability was proved
Number of variables570
Number of clauses4625
Sum of the clauses size9615
Maximum clause length6
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 24531
Number of clauses of size 31
Number of clauses of size 41
Number of clauses of size 51
Number of clauses of size over 590

Solver Data 

0.00/0.03	c Outputting solution to console
0.00/0.03	c Using 4 threads
0.00/0.03	c This is CryptoMiniSat 3.0.0
0.00/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03	c Reading file 'HOME/instance-3291818-1304128340.cnf'
0.00/0.03	c -- header says num vars:            570
0.00/0.03	c -- header says num clauses:        4625
0.00/0.03	c -- clauses added:            0 learnts,         4625 normals,            0 xors
0.00/0.03	c -- vars added        570
0.00/0.03	c Parsing time:  0.00 s
0.00/0.03	c  N st     0         0       570        93      4483         0      9518         0   no data   no data
0.00/0.04	c asymm  cl-useful: 0/92/92 lits-rem:0 time: 0.00
0.00/0.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    497 time:  0.00 s
0.00/0.04	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
0.49/0.19	c lits-rem:         0  cl-subs:        0  v-elim:     92  v-fix:    0  time:  0.00 s
0.49/0.19	c Finding binary XORs  T:     0.00 s  found:       0
0.49/0.19	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.49/0.19	c calculated reachability. Time: 0.00
0.49/0.19	c Calc default polars -  time:   0.00 s pos:       0 undec:     165 neg:     405
0.49/0.19	c =========================================================================================
0.49/0.19	c types(t): F = full restart, N = normal restart
0.49/0.19	c types(t): S = simplification begin/end, E = solution found
0.49/0.19	c restart types(rt): st = static, dy = dynamic
0.49/0.19	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.49/0.19	c  B st     0         0       405       532      3103         0      9853         0   no data   no data
0.49/0.19	c Decided on static restart strategy
0.49/0.19	c  N st     8      4916       405       532      3103      4874      9853    209283   no data   no data
3.05/0.84	c  N st    10     11300       405       532      3103      4530      9853    151916   no data   no data
3.05/0.84	c  N st    11     17043       405       532      3103     10213      9853    377470   no data   no data
4.68/1.23	c  F st    12     25002       405       532      3103     12506      9853    449644   no data   no data
4.68/1.23	c  N st    12     25002       405       532      3103     12506      9853    449644   no data   no data
5.85/1.51	c  N dy    18     30001       405       532      3103     10712      9853    326941   no data   no data
5.85/1.51	c  S st    18     30001       405       532      3103     10712      9853    326941   no data   no data
5.85/1.54	c  S st    18     30503       405       532      3103     11211      9853    345354   no data   no data
5.85/1.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.85/1.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.02
5.85/1.56	c blocked clauses removed:        0 vars:     14 tried:         598 T: 0.00 s
5.85/1.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.85/1.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.85/1.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
5.85/1.56	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
5.85/1.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
6.65/1.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.20 s
7.45/1.93	c lits-rem:       158  cl-subs:      103  v-elim:      0  v-fix:    0  time:  0.16 s
7.45/1.94	c asymm  cl-useful: 0/532/532 lits-rem:0 time: 0.01
7.45/1.94	c calculated reachability. Time: 0.00
7.45/1.94	c  N dy    18     30503       391       532      2701     11056      9049    339958   no data   no data
9.44/2.43	c  N dy    34     36333       391       532      2701      8994      9049    236692     10.15     10.86
10.24/2.68	c  N dy    54     40376       391       532      2701     13020      9049    367975     10.37     11.53
11.44/2.98	c  N dy    68     44440       391       532      2701     17039      9049    481488     10.29     10.85
11.84/3.07	c  S st    71     45754       391       532      2701      9496      9049    198210     10.19      9.48
11.84/3.09	c  S st    71     46257       391       532      2701      9996      9049    216171     10.19   no data
11.84/3.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
12.25/3.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.01
12.25/3.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
12.25/3.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
12.25/3.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
12.25/3.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
12.25/3.11	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
12.25/3.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
12.65/3.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.09 s
12.65/3.24	c lits-rem:        15  cl-subs:      326  v-elim:      0  v-fix:    0  time:  0.04 s
12.65/3.24	c vivif2 --  cl tried      532 cl shrink        0 lits rem          0 time: 0.00
12.65/3.25	c vivif2 --  cl tried     9670 cl shrink      122 lits rem        287 time: 0.00
12.65/3.25	c asymm  cl-useful: 0/532/532 lits-rem:0 time: 0.01
12.65/3.26	c calculated reachability. Time: 0.00
12.65/3.26	c  N dy    71     46257       391       532      2701      9670      9049    212001     10.19   no data
13.46/3.46	c  N dy    82     50337       391       532      2701     13724      9049    336379     10.08     10.86
14.64/3.79	c  N dy   105     54428       391       532      2701     17780      9049    465257     10.17     12.69
15.84/4.09	c  N dy   126     58516       391       532      2701     11965      9049    266744     10.23     12.84
17.04/4.35	c  N dy   148     62518       391       532      2701     15936      9049    391390     10.30     11.26
19.43/4.91	c  N dy   160     69386       391       532      2701     11823      9049    215808     10.15      8.94
19.43/4.96	c  S st   160     69386       391       532      2701     11823      9049    215808     10.15      8.94
19.43/4.96	c  S st   160     69890       391       532      2701     12324      9049    233945     10.15   no data
19.43/4.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
19.43/4.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.02
19.43/4.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
19.43/4.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
19.43/4.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
19.43/4.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
19.43/4.96	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
19.43/4.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
19.83/5.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.08 s
19.83/5.08	c lits-rem:        23  cl-subs:      268  v-elim:      0  v-fix:    0  time:  0.03 s
19.83/5.08	c vivif2 --  cl tried      532 cl shrink        0 lits rem          0 time: 0.00
19.83/5.09	c vivif2 --  cl tried    12056 cl shrink      142 lits rem        217 time: 0.00
20.23/5.10	c asymm  cl-useful: 0/532/532 lits-rem:0 time: 0.01
20.23/5.10	c calculated reachability. Time: 0.00
20.23/5.10	c  N dy   160     69890       391       532      2701     12056      9049    230416     10.15   no data
21.43/5.44	c  N dy   174     74610       391       532      2701     16729      9049    352492     10.13     10.71
23.42/5.91	c  N dy   208     79577       391       532      2701     21664      9049    506808     10.20     10.82
25.03/6.34	c  N dy   224     84926       391       532      2701     15069      9049    278215     10.17     10.72
25.83/6.51	c  F st   232     87501       391       532      2701     17617      9049    345738     10.15   no data
26.65/6.73	c  N st   237     90800       391       532      2701     20893      9049    448130     10.15   no data
28.62/7.24	c  N dy   266     97263       391       532      2701     14433      9049    257121     10.23     11.05
30.63/7.72	c  N dy   296    103561       391       532      2701     20660      9049    428537     10.27     13.03
31.04/7.83	c  S st   304    104835       391       532      2701     21920      9049    464018     10.27      9.70
31.04/7.88	c  S st   304    105337       391       532      2701     22419      9049    480804     10.27   no data
31.04/7.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
31.41/7.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.03
31.41/7.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
31.41/7.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
31.41/7.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
31.41/7.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
31.41/7.91	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
31.41/7.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
32.21/8.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.19 s
32.61/8.27	c lits-rem:        69  cl-subs:      493  v-elim:      0  v-fix:    0  time:  0.15 s
32.61/8.27	c vivif2 --  cl tried      532 cl shrink        0 lits rem          0 time: 0.00
32.61/8.28	c vivif2 --  cl tried    21926 cl shrink      688 lits rem       1493 time: 0.01
33.01/8.30	c asymm  cl-useful: 0/532/532 lits-rem:0 time: 0.02
33.01/8.30	c calculated reachability. Time: 0.00
33.01/8.30	c  N dy   304    105337       391       532      2701     21926      9049    472068     10.27   no data
34.62/8.99	c  N dy   333    112318       391       532      2701     14962      9049    254430     10.28     10.85
34.62/9.63	c  N dy   357    120834       391       532      2701     23376      9049    473333     10.26     10.88
40.88/10.38	c  N dy   388    128565       391       532      2701     16202      9049    265728     10.26     10.82
44.71/11.38	c  N dy   426    136886       391       532      2701     24417      9049    477476     10.27     10.85
57.33/15.03	c  N dy   458    145889       391       532      2701     17501      9049    269021     10.26     10.81
60.52/15.81	c  N dy   495    155209       391       532      2701     26698      9049    513976     10.25     10.83
61.72/16.14	c  S st   510    158005       391       532      2701     29468      9049    585486     10.26      9.83
61.72/16.19	c  S st   510    158509       391       532      2701     29969      9049    602423     10.26   no data
61.72/16.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
62.12/16.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.2M T:  0.04
62.12/16.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
62.12/16.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
62.12/16.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
62.12/16.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
62.12/16.24	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
62.12/16.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
62.92/16.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.21 s
64.13/16.71	c lits-rem:       179  cl-subs:      809  v-elim:      0  v-fix:    0  time:  0.23 s
64.13/16.71	c vivif2 --  cl tried      532 cl shrink        0 lits rem          0 time: 0.00
64.13/16.72	c vivif2 --  cl tried    29160 cl shrink      943 lits rem       2153 time: 0.01
64.13/16.75	c asymm  cl-useful: 0/532/532 lits-rem:0 time: 0.02
64.13/16.75	c calculated reachability. Time: 0.00
64.13/16.75	c  N dy   510    158509       391       532      2701     29160      9049    588602     10.26   no data
68.53/17.85	c  N dy   552    169446       391       532      2701     23133      9049    390604     10.26     10.81
73.30/19.01	c  N dy   602    180261       391       532      2701     33798      9049    664686     10.24     10.97
77.69/20.10	c  N dy   658    192273       391       532      2701     27952      9049    515175     10.25     11.01
83.69/21.65	c  N dy   707    205091       391       532      2701     21814      9049    322660     10.24     10.80
89.68/23.11	c  N dy   746    218416       391       532      2701     34925      9049    647203     10.20     10.75
95.26/24.51	c  N dy   796    232368       391       532      2701     28961      9049    487435     10.20     10.74
97.66/25.14	c  S st   821    237763       391       532      2701     34288      9049    623609     10.20   no data
98.06/25.20	c  S st   821    238269       391       532      2701     34793      9049    641900     10.20   no data
98.06/25.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
98.06/25.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.2M T:  0.05
98.06/25.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
98.06/25.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
98.06/25.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
98.06/25.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
98.06/25.25	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
98.06/25.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
98.88/25.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.21 s
100.05/25.77	c lits-rem:       268  cl-subs:     1472  v-elim:      0  v-fix:    0  time:  0.29 s
100.05/25.77	c vivif2 --  cl tried      532 cl shrink        0 lits rem          0 time: 0.00
100.05/25.79	c vivif2 --  cl tried    33321 cl shrink      822 lits rem       1775 time: 0.01
100.45/25.81	c asymm  cl-useful: 0/532/532 lits-rem:0 time: 0.03
100.45/25.82	c calculated reachability. Time: 0.00
100.45/25.82	c  N dy   821    238269       391       532      2701     33321      9049    623321     10.20   no data
106.85/27.49	c  N dy   878    253531       391       532      2701     27666      9049    447907     10.20     12.28
116.04/29.73	c  N dy   974    269990       391       532      2701     22223      9049    297223     10.24     10.80
124.03/31.74	c  N dy  1047    288305       391       532      2701     40291      9049    743147     10.23     10.82
132.01/33.76	c  F st  1099    306251       391       532      2701     35254      9049    596910     10.20   no data
132.41/33.82	c  N st  1101    306878       391       532      2701     35869      9049    615057     10.20   no data
134.03/34.29	c Decided on static restart strategy
144.40/36.81	c  N st  1109    334556       391       532      2701     39334      9049    937116     10.20   no data
156.00/39.79	c  N st  1111    357403       391       532      2701     36974      9049    833868     10.20   no data
156.00/39.79	c  S st  1111    357403       391       532      2701     36974      9049    833868     10.20   no data
156.40/39.86	c  S st  1111    357908       391       532      2701     37475      9049    850750     10.20   no data
156.40/39.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
156.78/39.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.1M T:  0.06
156.78/39.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
156.78/39.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
156.78/39.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
156.78/39.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
156.78/39.93	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
156.78/39.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
157.99/40.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.31 s
161.58/41.19	c lits-rem:       891  cl-subs:     3447  v-elim:      0  v-fix:    0  time:  0.91 s
161.58/41.19	c vivif2 --  cl tried      532 cl shrink        0 lits rem          0 time: 0.00
161.98/41.21	c vivif2 --  cl tried    34028 cl shrink      998 lits rem       1998 time: 0.02
161.98/41.25	c asymm  cl-useful: 0/532/532 lits-rem:0 time: 0.04
161.98/41.25	c calculated reachability. Time: 0.00
161.98/41.25	c  N st  1111    357908       391       532      2701     34028      9049    791026     10.20   no data
177.97/45.27	c  N st  1112    390300       391       532      2701     40186      9049    864083     10.20   no data
206.30/52.33	c  N st  1113    438888       391       532      2701     33846      9049    654201     10.20   no data
241.06/61.08	c  N st  1114    511771       391       532      2701     47319      9049   1061357     10.20   no data
254.23/64.35	c  N st  1115    536862       391       532      2701     41691      9049    855877     10.20   no data
254.23/64.35	c  S st  1115    536862       391       532      2701     41691      9049    855877     10.20   no data
254.63/64.44	c  S st  1115    537363       391       532      2701     42189      9049    871780     10.20   no data
254.63/64.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
255.03/64.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.7M T:  0.09
255.03/64.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
255.03/64.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
255.03/64.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
255.03/64.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
255.03/64.53	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
255.03/64.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
256.23/64.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.29 s
259.03/65.53	c lits-rem:       521  cl-subs:     1189  v-elim:      0  v-fix:    0  time:  0.67 s
259.03/65.53	c vivif2 --  cl tried      532 cl shrink        0 lits rem          0 time: 0.00
259.03/65.54	c vivif2 --  cl tried    41000 cl shrink      417 lits rem        904 time: 0.02
259.43/65.60	c asymm  cl-useful: 0/532/532 lits-rem:0 time: 0.06
259.43/65.60	c calculated reachability. Time: 0.00
259.43/65.60	c  N st  1115    537363       391       532      2701     41000      9049    846064     10.20   no data
363.68/91.71	c  N st  1116    701347       391       532      2701     35436      9049    601022     10.20   no data
442.38/111.41	c  N st  1117    806044       391       532      2701     64153      9049   1583061     10.20   no data
442.38/111.41	c  S st  1117    806044       391       532      2701     64153      9049   1583061     10.20   no data
442.78/111.57	c  S st  1117    806544       391       532      2701     64651      9049   1600609     10.20   no data
442.78/111.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
443.58/111.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.0M T:  0.18
443.58/111.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
443.58/111.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
443.58/111.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
443.58/111.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
443.58/111.76	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
443.58/111.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
447.18/112.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.84 s
460.35/115.95	c lits-rem:      1730  cl-subs:     2839  v-elim:      0  v-fix:    0  time:  3.29 s
460.35/115.95	c vivif2 --  cl tried      532 cl shrink        0 lits rem          0 time: 0.00
460.35/115.99	c vivif2 --  cl tried    61812 cl shrink     1705 lits rem       3427 time: 0.04
461.15/116.11	c asymm  cl-useful: 0/532/532 lits-rem:0 time: 0.12
461.15/116.11	c calculated reachability. Time: 0.00
461.15/116.11	c  N st  1117    806544       391       532      2701     61812      9049   1528143     10.20   no data
652.11/163.91	c  F st  1118   1071876       391       532      2702     77629      9049   1668474     10.20   no data
652.11/163.91	c  N st  1118   1071876       391       532      2702     77629      9049   1668474     10.20   no data
658.10/165.45	c Decided on static restart strategy
677.67/170.34	c  N st  1128   1100179       391       532      2702     61530      9049   1230258     10.20   no data
714.44/179.58	c  N st  1130   1136173       391       532      2702     51847      9049    938448     10.20   no data
746.38/187.52	c  N st  1131   1168565       391       532      2702     83235      9049   1852442     10.20   no data
778.74/195.68	c  N st  1132   1209816       391       532      2702     77425      9049   1634374     10.20   no data
778.74/195.68	c  S st  1132   1209816       391       532      2702     77425      9049   1634374     10.20   no data
779.54/195.89	c  S st  1132   1210316       391       532      2702     77922      9049   1655478     10.20   no data
779.54/195.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
780.73/196.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.6M T:  0.20
780.73/196.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
780.73/196.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
780.73/196.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
780.73/196.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
780.73/196.10	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
780.73/196.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
783.53/196.88	c subs with bin:      198  lits-rem:       210  v-fix:    0  time:  0.71 s
797.11/200.21	c lits-rem:      1290  cl-subs:     4943  v-elim:      0  v-fix:    0  time:  3.34 s
797.11/200.21	c vivif2 --  cl tried      532 cl shrink        0 lits rem          0 time: 0.00
797.11/200.25	c vivif2 --  cl tried    72781 cl shrink     2055 lits rem       3955 time: 0.04
797.53/200.39	c asymm  cl-useful: 0/532/532 lits-rem:0 time: 0.14
797.53/200.40	c calculated reachability. Time: 0.00
797.53/200.40	c  N st  1132   1210316       391       532      2702     72781      9049   1560155     10.20   no data
872.63/219.14	c  N st  1133   1283200       391       532      2702     49736      9049    823611     10.20   no data
979.67/245.93	c  N st  1134   1392525       391       532      2702     57492      9049   1012518     10.20   no data
1146.65/287.73	c  N st  1135   1556510       391       532      2702     62474      9049   1122052     10.20   no data
1312.82/329.31	c  N st  1136   1710316       391       532      2702    104453      9049   2407905     10.20   no data
1312.82/329.31	c  S st  1136   1710316       391       532      2702    104453      9049   2407905     10.20   no data
1314.02/329.61	c  S st  1136   1710817       391       532      2702    104951      9049   2426357     10.20   no data
1314.02/329.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1315.22/329.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  8.8M T:  0.31
1315.22/329.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1315.22/329.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1315.22/329.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1315.22/329.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
1315.22/329.93	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
1315.22/329.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1320.44/331.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.25 s
1349.58/338.51	c lits-rem:      1142  cl-subs:     4850  v-elim:      0  v-fix:    0  time:  7.23 s
1349.58/338.51	c vivif2 --  cl tried      532 cl shrink        0 lits rem          0 time: 0.00
1349.58/338.59	c vivif2 --  cl tried   100101 cl shrink     4946 lits rem       9463 time: 0.07
1350.77/338.81	c asymm  cl-useful: 0/532/532 lits-rem:0 time: 0.23
1350.77/338.82	c calculated reachability. Time: 0.00
1350.77/338.82	c  N st  1136   1710817       391       532      2702    100101      9049   2321586     10.20   no data
1852.13/464.34	c  N st  1137   2079782       391       532      2702    110902      9049   2333322     10.20   no data
2013.89/504.85	c  N st  1138   2210819       391       532      2702    114772      9049   2484524     10.20   no data
2013.89/504.85	c  S st  1138   2210819       391       532      2702    114772      9049   2484524     10.20   no data
2015.11/505.14	c  S st  1138   2211324       391       532      2702    115275      9049   2501574     10.20   no data
2015.11/505.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2016.68/505.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 10.1M T:  0.38
2016.68/505.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2016.68/505.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2016.68/505.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2016.68/505.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
2016.68/505.53	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
2016.68/505.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2021.07/506.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.97 s
2072.60/519.53	c lits-rem:      5032  cl-subs:     7092  v-elim:      0  v-fix:    0  time: 12.93 s
2072.60/519.53	c vivif2 --  cl tried      532 cl shrink        0 lits rem          0 time: 0.00
2072.60/519.59	c vivif2 --  cl tried   108183 cl shrink     1173 lits rem       2921 time: 0.05
2073.80/519.82	c asymm  cl-useful: 0/532/532 lits-rem:0 time: 0.24
2073.80/519.83	c calculated reachability. Time: 0.00
2073.80/519.83	c  N st  1138   2211324       391       532      2702    108183      9049   2312017     10.20   no data
2761.92/692.80	c  N st  1139   2711326       391       532      2702    132534      9049   3084172     10.20   no data
2761.92/692.80	c  S st  1139   2711326       391       532      2702    132534      9049   3084172     10.20   no data
2763.13/693.16	c  S st  1139   2711829       391       532      2702    133036      9049   3103161     10.20   no data
2763.13/693.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2765.11/693.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 12.2M T:  0.47
2765.11/693.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2765.11/693.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2765.11/693.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2765.11/693.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
2765.11/693.65	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
2765.11/693.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2771.92/695.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.57 s
2805.05/703.69	c lits-rem:      1785  cl-subs:     5559  v-elim:      0  v-fix:    0  time:  8.36 s
2805.05/703.69	c vivif2 --  cl tried      532 cl shrink        0 lits rem          0 time: 0.00
2805.45/703.79	c vivif2 --  cl tried   127477 cl shrink     6879 lits rem      14957 time: 0.10
2807.06/704.14	c asymm  cl-useful: 0/532/532 lits-rem:0 time: 0.34
2807.06/704.14	c calculated reachability. Time: 0.00
2807.06/704.14	c  N st  1139   2711829       391       532      2702    127477      9049   2972956     10.20   no data
3475.71/871.56	c  N st  1140   3211830       391       532      2702    102956      9049   1975085     10.20   no data
3475.71/871.56	c  S st  1140   3211830       391       532      2702    102956      9049   1975085     10.20   no data
3476.90/871.85	c  S st  1140   3212336       391       532      2704    103458      9049   1994080     10.20   no data
3476.90/871.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3478.10/872.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  8.9M T:  0.31
3478.10/872.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3478.10/872.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3478.10/872.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3478.10/872.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
3478.10/872.18	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
3478.50/872.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3481.70/873.08	c subs with bin:      121  lits-rem:      1472  v-fix:    0  time:  0.82 s
3494.08/876.19	c lits-rem:      1190  cl-subs:     1980  v-elim:      0  v-fix:    0  time:  3.11 s
3494.08/876.19	c vivif2 --  cl tried      532 cl shrink        0 lits rem          0 time: 0.00
3494.48/876.24	c vivif2 --  cl tried   101357 cl shrink     2256 lits rem       3970 time: 0.05
3495.28/876.48	c asymm  cl-useful: 0/532/532 lits-rem:0 time: 0.24
3495.28/876.48	c calculated reachability. Time: 0.00
3495.28/876.48	c  N st  1140   3212336       391       532      2704    101357      9049   1940912     10.20   no data
4385.62/1099.38	c  N st  1141   3712337       391       532      2706    112693      9049   2367138     10.20   no data
4385.62/1099.38	c  S st  1141   3712337       391       532      2706    112693      9049   2367138     10.20   no data
4387.22/1099.74	c  S st  1141   3712838       391       532      2706    113193      9049   2383859     10.20   no data
4387.22/1099.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4388.83/1100.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 11.2M T:  0.39
4388.83/1100.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4388.83/1100.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4388.83/1100.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4388.83/1100.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
4388.83/1100.14	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
4388.83/1100.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4393.22/1101.26	c subs with bin:       76  lits-rem:        36  v-fix:    0  time:  1.02 s
4408.39/1105.03	c lits-rem:       918  cl-subs:     1795  v-elim:      0  v-fix:    0  time:  3.77 s
4408.39/1105.03	c vivif2 --  cl tried      532 cl shrink        0 lits rem          0 time: 0.00
4408.79/1105.10	c vivif2 --  cl tried   111322 cl shrink     3816 lits rem      14384 time: 0.07
4409.59/1105.37	c asymm  cl-useful: 0/532/532 lits-rem:0 time: 0.27
4409.59/1105.37	c calculated reachability. Time: 0.00
4409.59/1105.37	c  N st  1141   3712838       391       532      2706    111322      9049   2323268     10.20   no data
4486.28/1124.51	c  F st  1142   3751563       391       532      2706    148865      9049   3433904     10.20   no data
4486.28/1124.51	c  N st  1142   3751563       391       532      2706    148865      9049   3433904     10.20   no data
4499.46/1127.80	c Decided on static restart strategy
4540.20/1138.08	c  N st  1152   3779867       391       532      2706     93716      9049   1626366     10.20   no data
4601.71/1153.47	c  N st  1154   3815860       391       532      2706    128686      9049   2645660     10.20   no data
4658.43/1167.66	c  N st  1155   3848254       391       532      2706    160009      9049   3576037     10.20   no data
4733.92/1186.51	c  N st  1156   3896843       391       532      2706    123102      9049   2336052     10.20   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-3291818-1304128340/watcher-3291818-1304128340 -o /tmp/evaluation-result-3291818-1304128340/solver-3291818-1304128340 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3291818-1304128340.cnf 

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

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


[startup+0 s]
/proc/loadavg: 6.58 7.75 7.91 2/172 15967
/proc/meminfo: memFree=31260456/32951132 swapFree=67111364/67111528
[pid=15967] ppid=15965 vsize=10588 CPUtime=0 cores=1,3,5,7
/proc/15967/stat : 15967 (strangenight2-m) S 15965 15967 15609 0 -1 4194304 101 0 0 0 0 0 0 0 18 0 1 0 524432686 10842112 57 33554432000 4194304 4627427 140734481623584 18446744073709551615 242965626503 0 2147483391 4096 0 18446744071699109054 0 0 17 1 0 0 0
/proc/15967/statm: 2647 57 43 106 0 45 0

[startup+0.16065 s]
/proc/loadavg: 6.58 7.75 7.91 2/172 15967
/proc/meminfo: memFree=31260456/32951132 swapFree=67111364/67111528
[pid=15967] ppid=15965 vsize=282564 CPUtime=0.49 cores=1,3,5,7
/proc/15967/stat : 15967 (strangenight2-m) R 15965 15967 15609 0 -1 4202496 2177 0 0 0 49 0 0 0 18 0 4 0 524432686 289345536 2091 33554432000 4194304 4627427 140734481623584 18446744073709551615 4332667 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15967/statm: 70641 2091 384 106 0 65612 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 282564

[startup+0.259832 s]
/proc/loadavg: 6.58 7.75 7.91 2/172 15967
/proc/meminfo: memFree=31260456/32951132 swapFree=67111364/67111528
[pid=15967] ppid=15965 vsize=283948 CPUtime=0.9 cores=1,3,5,7
/proc/15967/stat : 15967 (strangenight2-m) R 15965 15967 15609 0 -1 4202496 3033 0 0 0 89 1 0 0 18 0 4 0 524432686 290762752 2258 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15967/statm: 70987 2258 385 106 0 65958 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 283948

[startup+0.361616 s]
/proc/loadavg: 6.58 7.75 7.91 2/172 15967
/proc/meminfo: memFree=31260456/32951132 swapFree=67111364/67111528
[pid=15967] ppid=15965 vsize=284768 CPUtime=1.3 cores=1,3,5,7
/proc/15967/stat : 15967 (strangenight2-m) R 15965 15967 15609 0 -1 4202496 3737 0 0 0 129 1 0 0 18 0 4 0 524432686 291602432 2624 33554432000 4194304 4627427 140734481623584 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15967/statm: 71192 2624 385 106 0 66163 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 284768

[startup+0.700558 s]
/proc/loadavg: 6.58 7.75 7.91 2/172 15967
/proc/meminfo: memFree=31260456/32951132 swapFree=67111364/67111528
[pid=15967] ppid=15965 vsize=286108 CPUtime=2.65 cores=1,3,5,7
/proc/15967/stat : 15967 (strangenight2-m) R 15965 15967 15609 0 -1 4202496 5829 0 0 0 264 1 0 0 18 0 4 0 524432686 292974592 3193 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15967/statm: 71527 3193 385 106 0 66498 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 286108

[startup+1.50042 s]
/proc/loadavg: 6.58 7.75 7.91 9/182 15980
/proc/meminfo: memFree=31037544/32951132 swapFree=67111364/67111528
[pid=15967] ppid=15965 vsize=287748 CPUtime=5.85 cores=1,3,5,7
/proc/15967/stat : 15967 (strangenight2-m) R 15965 15967 15609 0 -1 4202496 9913 0 0 0 582 3 0 0 20 0 4 0 524432686 294653952 3727 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15967/statm: 71937 3727 386 106 0 66908 0
[pid=15967/tid=15969] ppid=15965 vsize=287748 CPUtime=1.45 cores=1,3,5,7
/proc/15967/task/15969/stat : 15969 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 2376 0 0 0 145 0 0 0 20 0 4 0 524432689 294653952 3727 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15967/tid=15970] ppid=15965 vsize=287748 CPUtime=1.45 cores=1,3,5,7
/proc/15967/task/15970/stat : 15970 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 2238 0 0 0 145 0 0 0 21 0 4 0 524432689 294653952 3727 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15967/tid=15971] ppid=15965 vsize=287748 CPUtime=1.45 cores=1,3,5,7
/proc/15967/task/15971/stat : 15971 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 2432 0 0 0 145 0 0 0 20 0 4 0 524432689 294653952 3727 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.85
Current children cumulated vsize (KiB) 287748

[startup+3.10115 s]
/proc/loadavg: 6.58 7.75 7.91 9/182 15980
/proc/meminfo: memFree=30738340/32951132 swapFree=67111364/67111528
[pid=15967] ppid=15965 vsize=277748 CPUtime=12.25 cores=1,3,5,7
/proc/15967/stat : 15967 (strangenight2-m) R 15965 15967 15609 0 -1 4202496 21355 0 0 0 1220 5 0 0 25 0 4 0 524432686 284413952 11118 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15967/statm: 69437 11118 389 106 0 64408 0
[pid=15967/tid=15969] ppid=15965 vsize=277748 CPUtime=3.06 cores=1,3,5,7
/proc/15967/task/15969/stat : 15969 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 5612 0 0 0 305 1 0 0 25 0 4 0 524432689 284413952 11118 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15967/tid=15970] ppid=15965 vsize=277748 CPUtime=3.05 cores=1,3,5,7
/proc/15967/task/15970/stat : 15970 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 5805 0 0 0 304 1 0 0 25 0 4 0 524432689 284413952 11118 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15967/tid=15971] ppid=15965 vsize=277748 CPUtime=3.05 cores=1,3,5,7
/proc/15967/task/15971/stat : 15971 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 3943 0 0 0 305 0 0 0 25 0 4 0 524432689 284413952 11118 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.25
Current children cumulated vsize (KiB) 277748

[startup+6.3006 s]
/proc/loadavg: 6.77 7.77 7.91 11/182 15980
/proc/meminfo: memFree=30555208/32951132 swapFree=67111364/67111528
[pid=15967] ppid=15965 vsize=287644 CPUtime=25.03 cores=1,3,5,7
/proc/15967/stat : 15967 (strangenight2-m) R 15965 15967 15609 0 -1 4202496 29792 0 0 0 2497 6 0 0 25 0 4 0 524432686 294547456 15984 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15967/statm: 71911 15984 389 106 0 66882 0
[pid=15967/tid=15969] ppid=15965 vsize=287644 CPUtime=6.25 cores=1,3,5,7
/proc/15967/task/15969/stat : 15969 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 8889 0 0 0 624 1 0 0 25 0 4 0 524432689 294547456 15984 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15967/tid=15970] ppid=15965 vsize=287644 CPUtime=6.23 cores=1,3,5,7
/proc/15967/task/15970/stat : 15970 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 7030 0 0 0 622 1 0 0 25 0 4 0 524432689 294547456 15984 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15967/tid=15971] ppid=15965 vsize=287644 CPUtime=6.26 cores=1,3,5,7
/proc/15967/task/15971/stat : 15971 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 5959 0 0 0 625 1 0 0 25 0 4 0 524432689 294547456 15984 33554432000 4194304 4627427 140734481623584 18446744073709551615 4321720 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.03
Current children cumulated vsize (KiB) 287644

[startup+12.7005 s]
/proc/loadavg: 7.35 7.88 7.95 10/182 15981
/proc/meminfo: memFree=30511432/32951132 swapFree=67111364/67111528
[pid=15967] ppid=15965 vsize=268788 CPUtime=49.2 cores=1,3,5,7
/proc/15967/stat : 15967 (strangenight2-m) R 15965 15967 15609 0 -1 4202496 45883 0 0 0 4903 17 0 0 25 0 4 0 524432686 275238912 23485 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15967/statm: 67197 23485 389 106 0 62168 0
[pid=15967/tid=15969] ppid=15965 vsize=268788 CPUtime=12.65 cores=1,3,5,7
/proc/15967/task/15969/stat : 15969 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 13619 0 0 0 1262 3 0 0 25 0 4 0 524432689 275238912 23485 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15967/tid=15970] ppid=15965 vsize=268788 CPUtime=12.48 cores=1,3,5,7
/proc/15967/task/15970/stat : 15970 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 9186 0 0 0 1245 3 0 0 25 0 4 0 524432689 275238912 23485 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15967/tid=15971] ppid=15965 vsize=268788 CPUtime=12.34 cores=1,3,5,7
/proc/15967/task/15971/stat : 15971 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 12098 0 0 0 1231 3 0 0 25 0 4 0 524432689 275238912 23485 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 49.2
Current children cumulated vsize (KiB) 268788

[startup+25.5063 s]
/proc/loadavg: 7.76 7.95 7.97 9/182 15981
/proc/meminfo: memFree=30509580/32951132 swapFree=67111364/67111528
[pid=15967] ppid=15965 vsize=271400 CPUtime=99.28 cores=1,3,5,7
/proc/15967/stat : 15967 (strangenight2-m) R 15965 15967 15609 0 -1 4202496 64213 0 0 0 9899 29 0 0 25 0 4 0 524432686 277913600 27954 33554432000 4194304 4627427 140734481623584 18446744073709551615 4420243 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15967/statm: 67850 27954 389 106 0 62821 0
[pid=15967/tid=15969] ppid=15965 vsize=271400 CPUtime=25.45 cores=1,3,5,7
/proc/15967/task/15969/stat : 15969 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 18690 0 0 0 2541 4 0 0 25 0 4 0 524432689 277913600 27954 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15967/tid=15970] ppid=15965 vsize=271400 CPUtime=25.21 cores=1,3,5,7
/proc/15967/task/15970/stat : 15970 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 13521 0 0 0 2517 4 0 0 25 0 4 0 524432689 277913600 27954 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15967/tid=15971] ppid=15965 vsize=271400 CPUtime=25.14 cores=1,3,5,7
/proc/15967/task/15971/stat : 15971 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 16141 0 0 0 2510 4 0 0 25 0 4 0 524432689 277913600 27954 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 99.28
Current children cumulated vsize (KiB) 271400

[startup+51.1009 s]
/proc/loadavg: 7.84 7.95 7.97 9/182 15982
/proc/meminfo: memFree=30381332/32951132 swapFree=67111364/67111528
[pid=15967] ppid=15965 vsize=300164 CPUtime=201.5 cores=1,3,5,7
/proc/15967/stat : 15967 (strangenight2-m) R 15965 15967 15609 0 -1 4202496 94227 0 0 0 20103 47 0 0 25 0 4 0 524432686 307367936 33902 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15967/statm: 75041 33902 389 106 0 70012 0
[pid=15967/tid=15969] ppid=15965 vsize=300164 CPUtime=51.05 cores=1,3,5,7
/proc/15967/task/15969/stat : 15969 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 24913 0 0 0 5099 6 0 0 25 0 4 0 524432689 307367936 33902 33554432000 4194304 4627427 140734481623584 18446744073709551615 4308096 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15967/tid=15970] ppid=15965 vsize=300164 CPUtime=50.68 cores=1,3,5,7
/proc/15967/task/15970/stat : 15970 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 19596 0 0 0 5062 6 0 0 25 0 4 0 524432689 307367936 33902 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15967/tid=15971] ppid=15965 vsize=300164 CPUtime=50.74 cores=1,3,5,7
/proc/15967/task/15971/stat : 15971 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 23893 0 0 0 5067 7 0 0 25 0 4 0 524432689 307367936 33902 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 201.5
Current children cumulated vsize (KiB) 300164

[startup+102.301 s]
/proc/loadavg: 7.98 7.97 7.97 9/182 15983
/proc/meminfo: memFree=30119548/32951132 swapFree=67111364/67111528
[pid=15967] ppid=15965 vsize=335960 CPUtime=406.04 cores=1,3,5,7
/proc/15967/stat : 15967 (strangenight2-m) R 15965 15967 15609 0 -1 4202496 136024 0 0 0 40539 65 0 0 25 0 4 0 524432686 344023040 44105 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15967/statm: 83990 44105 389 106 0 78961 0
[pid=15967/tid=15969] ppid=15965 vsize=335960 CPUtime=102.24 cores=1,3,5,7
/proc/15967/task/15969/stat : 15969 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 34027 0 0 0 10215 9 0 0 25 0 4 0 524432689 344023040 44105 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15967/tid=15970] ppid=15965 vsize=335960 CPUtime=101.62 cores=1,3,5,7
/proc/15967/task/15970/stat : 15970 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 24145 0 0 0 10153 9 0 0 25 0 4 0 524432689 344023040 44105 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15967/tid=15971] ppid=15965 vsize=335960 CPUtime=101.94 cores=1,3,5,7
/proc/15967/task/15971/stat : 15971 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 34364 0 0 0 10184 10 0 0 25 0 4 0 524432689 344023040 44105 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 406.04
Current children cumulated vsize (KiB) 335960

[startup+162.301 s]
/proc/loadavg: 8.05 7.99 7.98 9/182 15985
/proc/meminfo: memFree=30063236/32951132 swapFree=67111364/67111528
[pid=15967] ppid=15965 vsize=352624 CPUtime=645.71 cores=1,3,5,7
/proc/15967/stat : 15967 (strangenight2-m) R 15965 15967 15609 0 -1 4202496 172380 0 0 0 64493 78 0 0 25 0 4 0 524432686 361086976 52776 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15967/statm: 88156 52776 389 106 0 83127 0
[pid=15967/tid=15969] ppid=15965 vsize=352624 CPUtime=162.24 cores=1,3,5,7
/proc/15967/task/15969/stat : 15969 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 42665 0 0 0 16212 12 0 0 25 0 4 0 524432689 361086976 52776 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15967/tid=15970] ppid=15965 vsize=352624 CPUtime=161.3 cores=1,3,5,7
/proc/15967/task/15970/stat : 15970 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 31200 0 0 0 16119 11 0 0 25 0 4 0 524432689 361086976 52776 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15967/tid=15971] ppid=15965 vsize=352624 CPUtime=161.94 cores=1,3,5,7
/proc/15967/task/15971/stat : 15971 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 41945 0 0 0 16180 14 0 0 25 0 4 0 524432689 361086976 52776 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 645.71
Current children cumulated vsize (KiB) 352624

[startup+222.3 s]
/proc/loadavg: 8.07 8.00 7.98 9/182 15986
/proc/meminfo: memFree=30077296/32951132 swapFree=67111364/67111528
[pid=15967] ppid=15965 vsize=463820 CPUtime=885.41 cores=1,3,5,7
/proc/15967/stat : 15967 (strangenight2-m) R 15965 15967 15609 0 -1 4202496 211689 0 0 0 88447 94 0 0 25 0 4 0 524432686 474951680 62323 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15967/statm: 115955 62323 391 106 0 110926 0
[pid=15967/tid=15969] ppid=15965 vsize=463820 CPUtime=222.24 cores=1,3,5,7
/proc/15967/task/15969/stat : 15969 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 51596 0 0 0 22208 16 0 0 25 0 4 0 524432689 474951680 62323 33554432000 4194304 4627427 140734481623584 18446744073709551615 4308438 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15967/tid=15970] ppid=15965 vsize=463820 CPUtime=220.98 cores=1,3,5,7
/proc/15967/task/15970/stat : 15970 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 41840 0 0 0 22082 16 0 0 25 0 4 0 524432689 474951680 62323 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15967/tid=15971] ppid=15965 vsize=463820 CPUtime=221.95 cores=1,3,5,7
/proc/15967/task/15971/stat : 15971 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 50967 0 0 0 22178 17 0 0 25 0 4 0 524432689 474951680 62323 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 885.41
Current children cumulated vsize (KiB) 463820

[startup+282.301 s]

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

[pid=15967] ppid=15965 vsize=592824 CPUtime=2560.21 cores=1,3,5,7
/proc/15967/stat : 15967 (strangenight2-m) R 15965 15967 15609 0 -1 4202496 401400 0 0 0 255743 278 0 0 25 0 4 0 524432686 607051776 96145 33554432000 4194304 4627427 140734481623584 18446744073709551615 4324114 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15967/statm: 148206 96145 389 106 0 143177 0
[pid=15967/tid=15969] ppid=15965 vsize=592824 CPUtime=641.31 cores=1,3,5,7
/proc/15967/task/15969/stat : 15969 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 90180 0 0 0 64054 77 0 0 25 0 4 0 524432689 607051776 96145 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15967/tid=15970] ppid=15965 vsize=592824 CPUtime=638.69 cores=1,3,5,7
/proc/15967/task/15970/stat : 15970 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 110810 0 0 0 63820 49 0 0 25 0 4 0 524432689 607051776 96145 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309598 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15967/tid=15971] ppid=15965 vsize=592824 CPUtime=641.08 cores=1,3,5,7
/proc/15967/task/15971/stat : 15971 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 92722 0 0 0 64071 37 0 0 25 0 4 0 524432689 607051776 96145 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2560.21
Current children cumulated vsize (KiB) 592824

[startup+702.301 s]
/proc/loadavg: 8.21 8.14 8.04 9/182 16474
/proc/meminfo: memFree=29762116/32951132 swapFree=67111364/67111528
[pid=15967] ppid=15965 vsize=567312 CPUtime=2799.86 cores=1,3,5,7
/proc/15967/stat : 15967 (strangenight2-m) R 15965 15967 15609 0 -1 4202496 427673 0 0 0 279694 292 0 0 25 0 4 0 524432686 580927488 91945 33554432000 4194304 4627427 140734481623584 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15967/statm: 141828 91945 389 106 0 136799 0
[pid=15967/tid=15969] ppid=15965 vsize=567312 CPUtime=700.99 cores=1,3,5,7
/proc/15967/task/15969/stat : 15969 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 96600 0 0 0 70018 81 0 0 25 0 4 0 524432689 580927488 91945 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15967/tid=15970] ppid=15965 vsize=567312 CPUtime=698.67 cores=1,3,5,7
/proc/15967/task/15970/stat : 15970 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 120418 0 0 0 69812 55 0 0 25 0 4 0 524432689 580927488 91945 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15967/tid=15971] ppid=15965 vsize=567312 CPUtime=701.08 cores=1,3,5,7
/proc/15967/task/15971/stat : 15971 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 96337 0 0 0 70070 38 0 0 25 0 4 0 524432689 580927488 91945 33554432000 4194304 4627427 140734481623584 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2799.86
Current children cumulated vsize (KiB) 567312

[startup+762.3 s]
/proc/loadavg: 8.19 8.15 8.05 9/182 16476
/proc/meminfo: memFree=29749168/32951132 swapFree=67111364/67111528
[pid=15967] ppid=15965 vsize=580060 CPUtime=3039.52 cores=1,3,5,7
/proc/15967/stat : 15967 (strangenight2-m) R 15965 15967 15609 0 -1 4202496 451682 0 0 0 303650 302 0 0 25 0 4 0 524432686 593981440 92260 33554432000 4194304 4627427 140734481623584 18446744073709551615 4330954 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15967/statm: 145015 92260 389 106 0 139986 0
[pid=15967/tid=15969] ppid=15965 vsize=580060 CPUtime=760.68 cores=1,3,5,7
/proc/15967/task/15969/stat : 15969 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 98715 0 0 0 75985 83 0 0 25 0 4 0 524432689 593981440 92260 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15967/tid=15970] ppid=15965 vsize=580060 CPUtime=758.65 cores=1,3,5,7
/proc/15967/task/15970/stat : 15970 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 128689 0 0 0 75807 58 0 0 25 0 4 0 524432689 593981440 92260 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15967/tid=15971] ppid=15965 vsize=580060 CPUtime=761.08 cores=1,3,5,7
/proc/15967/task/15971/stat : 15971 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 101064 0 0 0 76069 39 0 0 25 0 4 0 524432689 593981440 92260 33554432000 4194304 4627427 140734481623584 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3039.52
Current children cumulated vsize (KiB) 580060

[startup+822.301 s]
/proc/loadavg: 8.07 8.12 8.04 9/182 16479
/proc/meminfo: memFree=29833556/32951132 swapFree=67111364/67111528
[pid=15967] ppid=15965 vsize=580148 CPUtime=3279.19 cores=1,3,5,7
/proc/15967/stat : 15967 (strangenight2-m) R 15965 15967 15609 0 -1 4202496 472633 0 0 0 327608 311 0 0 25 0 4 0 524432686 594071552 96200 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309089 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15967/statm: 145037 96200 389 106 0 140008 0
[pid=15967/tid=15969] ppid=15965 vsize=580148 CPUtime=820.36 cores=1,3,5,7
/proc/15967/task/15969/stat : 15969 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 104406 0 0 0 81952 84 0 0 25 0 4 0 524432689 594071552 96200 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15967/tid=15970] ppid=15965 vsize=580148 CPUtime=818.64 cores=1,3,5,7
/proc/15967/task/15970/stat : 15970 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 134865 0 0 0 81802 62 0 0 25 0 4 0 524432689 594071552 96200 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15967/tid=15971] ppid=15965 vsize=580148 CPUtime=821.08 cores=1,3,5,7
/proc/15967/task/15971/stat : 15971 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 105469 0 0 0 82067 41 0 0 25 0 4 0 524432689 594071552 96200 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3279.19
Current children cumulated vsize (KiB) 580148

[startup+882.301 s]
/proc/loadavg: 8.19 8.15 8.06 9/182 16482
/proc/meminfo: memFree=29782988/32951132 swapFree=67111364/67111528
[pid=15967] ppid=15965 vsize=586000 CPUtime=3518.86 cores=1,3,5,7
/proc/15967/stat : 15967 (strangenight2-m) R 15965 15967 15609 0 -1 4202496 496519 0 0 0 351564 322 0 0 25 0 4 0 524432686 600064000 100654 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309220 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15967/statm: 146500 100654 391 106 0 141471 0
[pid=15967/tid=15969] ppid=15965 vsize=586000 CPUtime=880.04 cores=1,3,5,7
/proc/15967/task/15969/stat : 15969 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 107497 0 0 0 87918 86 0 0 25 0 4 0 524432689 600064000 100654 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15967/tid=15970] ppid=15965 vsize=586000 CPUtime=878.62 cores=1,3,5,7
/proc/15967/task/15970/stat : 15970 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 142349 0 0 0 87796 66 0 0 25 0 4 0 524432689 600064000 100654 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15967/tid=15971] ppid=15965 vsize=586000 CPUtime=881.09 cores=1,3,5,7
/proc/15967/task/15971/stat : 15971 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 112551 0 0 0 88065 44 0 0 25 0 4 0 524432689 600064000 100654 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3518.86
Current children cumulated vsize (KiB) 586000

[startup+942.3 s]
/proc/loadavg: 8.12 8.14 8.06 9/182 16483
/proc/meminfo: memFree=29706052/32951132 swapFree=67111364/67111528
[pid=15967] ppid=15965 vsize=599588 CPUtime=3758.51 cores=1,3,5,7
/proc/15967/stat : 15967 (strangenight2-m) R 15965 15967 15609 0 -1 4202496 513868 0 0 0 375520 331 0 0 25 0 4 0 524432686 613978112 105769 33554432000 4194304 4627427 140734481623584 18446744073709551615 4310117 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15967/statm: 149897 105769 389 106 0 144868 0
[pid=15967/tid=15969] ppid=15965 vsize=599588 CPUtime=939.71 cores=1,3,5,7
/proc/15967/task/15969/stat : 15969 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 109480 0 0 0 93884 87 0 0 25 0 4 0 524432689 613978112 105769 33554432000 4194304 4627427 140734481623584 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15967/tid=15970] ppid=15965 vsize=599588 CPUtime=938.6 cores=1,3,5,7
/proc/15967/task/15970/stat : 15970 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 149915 0 0 0 93791 69 0 0 25 0 4 0 524432689 613978112 105769 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15967/tid=15971] ppid=15965 vsize=599588 CPUtime=941.09 cores=1,3,5,7
/proc/15967/task/15971/stat : 15971 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 115880 0 0 0 94063 46 0 0 25 0 4 0 524432689 613978112 105769 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3758.51
Current children cumulated vsize (KiB) 599588

[startup+1002.31 s]
/proc/loadavg: 8.15 8.14 8.06 9/182 16485
/proc/meminfo: memFree=29653924/32951132 swapFree=67111364/67111528
[pid=15967] ppid=15965 vsize=830220 CPUtime=3998.19 cores=1,3,5,7
/proc/15967/stat : 15967 (strangenight2-m) R 15965 15967 15609 0 -1 4202496 534137 0 0 0 399479 340 0 0 25 0 4 0 524432686 850145280 120761 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309260 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15967/statm: 207555 120761 389 106 0 202526 0
[pid=15967/tid=15969] ppid=15965 vsize=830220 CPUtime=999.4 cores=1,3,5,7
/proc/15967/task/15969/stat : 15969 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 114258 0 0 0 99850 90 0 0 25 0 4 0 524432689 850145280 120761 33554432000 4194304 4627427 140734481623584 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15967/tid=15970] ppid=15965 vsize=830220 CPUtime=998.59 cores=1,3,5,7
/proc/15967/task/15970/stat : 15970 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 154751 0 0 0 99789 70 0 0 25 0 4 0 524432689 850145280 120761 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15967/tid=15971] ppid=15965 vsize=830220 CPUtime=1001.09 cores=1,3,5,7
/proc/15967/task/15971/stat : 15971 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 122170 0 0 0 100060 49 0 0 25 0 4 0 524432689 850145280 120761 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3998.19
Current children cumulated vsize (KiB) 830220

[startup+1062.3 s]
/proc/loadavg: 8.11 8.13 8.06 9/182 16487
/proc/meminfo: memFree=29743144/32951132 swapFree=67111364/67111528
[pid=15967] ppid=15965 vsize=670892 CPUtime=4237.83 cores=1,3,5,7
/proc/15967/stat : 15967 (strangenight2-m) R 15965 15967 15609 0 -1 4202496 549734 0 0 0 423434 349 0 0 25 0 4 0 524432686 686993408 106639 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309287 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15967/statm: 167723 106639 389 106 0 162694 0
[pid=15967/tid=15969] ppid=15965 vsize=670892 CPUtime=1059.07 cores=1,3,5,7
/proc/15967/task/15969/stat : 15969 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 120887 0 0 0 105813 94 0 0 25 0 4 0 524432689 686993408 106639 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15967/tid=15970] ppid=15965 vsize=670892 CPUtime=1058.57 cores=1,3,5,7
/proc/15967/task/15970/stat : 15970 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 156864 0 0 0 105786 71 0 0 25 0 4 0 524432689 686993408 106639 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15967/tid=15971] ppid=15965 vsize=670892 CPUtime=1061.08 cores=1,3,5,7
/proc/15967/task/15971/stat : 15971 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 124230 0 0 0 106058 50 0 0 25 0 4 0 524432689 686993408 106639 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4237.83
Current children cumulated vsize (KiB) 670892

[startup+1122.3 s]
/proc/loadavg: 8.08 8.12 8.06 9/182 16488
/proc/meminfo: memFree=29606184/32951132 swapFree=67111364/67111528
[pid=15967] ppid=15965 vsize=708668 CPUtime=4477.48 cores=1,3,5,7
/proc/15967/stat : 15967 (strangenight2-m) R 15965 15967 15609 0 -1 4202496 578926 0 0 0 447385 363 0 0 25 0 4 0 524432686 725676032 117912 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15967/statm: 177167 117912 389 106 0 172138 0
[pid=15967/tid=15969] ppid=15965 vsize=708668 CPUtime=1118.75 cores=1,3,5,7
/proc/15967/task/15969/stat : 15969 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 129102 0 0 0 111776 99 0 0 25 0 4 0 524432689 725676032 117912 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15967/tid=15970] ppid=15965 vsize=708668 CPUtime=1118.55 cores=1,3,5,7
/proc/15967/task/15970/stat : 15970 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 162540 0 0 0 111781 74 0 0 25 0 4 0 524432689 725676032 117912 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15967/tid=15971] ppid=15965 vsize=708668 CPUtime=1121.09 cores=1,3,5,7
/proc/15967/task/15971/stat : 15971 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 134843 0 0 0 112054 55 0 0 25 0 4 0 524432689 725676032 117912 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4477.48
Current children cumulated vsize (KiB) 708668

[startup+1182.3 s]
/proc/loadavg: 8.06 8.11 8.06 9/182 16490
/proc/meminfo: memFree=29601672/32951132 swapFree=67111364/67111528
[pid=15967] ppid=15965 vsize=708760 CPUtime=4717.14 cores=1,3,5,7
/proc/15967/stat : 15967 (strangenight2-m) R 15965 15967 15609 0 -1 4202496 597630 0 0 0 471341 373 0 0 25 0 4 0 524432686 725770240 122673 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15967/statm: 177190 122673 389 106 0 172161 0
[pid=15967/tid=15969] ppid=15965 vsize=708760 CPUtime=1178.42 cores=1,3,5,7
/proc/15967/task/15969/stat : 15969 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 135336 0 0 0 117740 102 0 0 25 0 4 0 524432689 725770240 122673 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15967/tid=15970] ppid=15965 vsize=708760 CPUtime=1178.53 cores=1,3,5,7
/proc/15967/task/15970/stat : 15970 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 167896 0 0 0 117776 77 0 0 25 0 4 0 524432689 725770240 122673 33554432000 4194304 4627427 140734481623584 18446744073709551615 4324104 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15967/tid=15971] ppid=15965 vsize=708760 CPUtime=1181.08 cores=1,3,5,7
/proc/15967/task/15971/stat : 15971 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 140987 0 0 0 118051 57 0 0 25 0 4 0 524432689 725770240 122673 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4717.14
Current children cumulated vsize (KiB) 708760



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.11 8.11 8.06 9/182 16490
/proc/meminfo: memFree=29567808/32951132 swapFree=67111364/67111528
[pid=15967] ppid=15965 vsize=710888 CPUtime=4800.25 cores=1,3,5,7
/proc/15967/stat : 15967 (strangenight2-m) R 15965 15967 15609 0 -1 4202496 607692 0 0 0 479648 377 0 0 25 0 4 0 524432686 727949312 127541 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15967/statm: 177722 127541 389 106 0 172693 0
[pid=15967/tid=15969] ppid=15965 vsize=710888 CPUtime=1199.11 cores=1,3,5,7
/proc/15967/task/15969/stat : 15969 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 138589 0 0 0 119808 103 0 0 25 0 4 0 524432689 727949312 127541 33554432000 4194304 4627427 140734481623584 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15967/tid=15970] ppid=15965 vsize=710888 CPUtime=1199.34 cores=1,3,5,7
/proc/15967/task/15970/stat : 15970 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 172009 0 0 0 119855 79 0 0 25 0 4 0 524432689 727949312 127541 33554432000 4194304 4627427 140734481623584 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15967/tid=15971] ppid=15965 vsize=710888 CPUtime=1201.89 cores=1,3,5,7
/proc/15967/task/15971/stat : 15971 (strangenight2-m) R 15965 15967 15609 0 -1 4202560 143683 0 0 0 120131 58 0 0 25 0 4 0 524432689 727949312 127541 33554432000 4194304 4627427 140734481623584 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 710888

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.14
CPU time (s): 4800.3
CPU user time (s): 4796.51
CPU system time (s): 3.79142
CPU usage (%): 398.983
Max. virtual memory (cumulated for all children) (KiB): 830220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.51
system time used= 3.79142
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 607692
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= 270
involuntary context switches= 35384

runsolver used 1.86972 second user time and 4.66229 second system time

The end

Launcher Data 

Begin job on node128 at 2011-04-30 03:52:20
IDJOB=3291818
IDBENCH=84808
IDSOLVER=1586
FILE ID=node128/3291818-1304128340
RUNJOBID= node128-1304128340-15954
PBS_JOBID= 13170761
Free space on /tmp= 66976 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT04/industrial/vangelder/cnf-color/myciel6-tr.used-as.sat04-320.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3291818-1304128340/watcher-3291818-1304128340 -o /tmp/evaluation-result-3291818-1304128340/solver-3291818-1304128340 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3291818-1304128340.cnf

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

MD5SUM BENCH= 5ba57e5cfd40b4a93356dbea5162016d
RANDOM SEED=1743431191

node128.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      31261604 kB
Buffers:        428148 kB
Cached:         781624 kB
SwapCached:          0 kB
Active:         142644 kB
Inactive:      1132732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      31261604 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            5592 kB
Writeback:           0 kB
AnonPages:       65696 kB
Mapped:          14780 kB
Slab:           352052 kB
PageTables:       4332 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   191904 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 67500 MiB
End job on node128 at 2011-04-30 04:12:26