Trace number 3174250

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

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v650-c2769-S1402967451-034.SATISFIABLE.cnf
MD5SUMfff1de37c6c2184176b7a20930cdd47f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.03184
Satisfiable
(Un)Satisfiability was proved
Number of variables650
Number of clauses2769
Sum of the clauses size8307
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32769
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3174250-1304116137.cnf'
0.00/0.00	c -- header says num vars:            650
0.00/0.00	c -- header says num clauses:        2769
0.00/0.00	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.00	c -- vars added        650
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       650      2769         0         0      8307         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2769/2769 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
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:    650 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:     20  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:     267 undec:      75 neg:     308
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       630      2741         0         0      8355         0   no data   no data
0.20/0.07	c Decided on static restart strategy
0.60/0.18	c  N st     8      4914       630      2741         0      4868      8355    144621   no data   no data
1.57/0.46	c  N st    10     11296       630      2741         0      4510      8355     88999   no data   no data
2.78/0.74	c  N st    11     17039       630      2741         0     10174      8355    253341   no data   no data
4.77/1.21	c  F st    12     25000       630      2741         0     12444      8355    302249   no data   no data
4.77/1.21	c  N st    12     25000       630      2741         0     12444      8355    302249   no data   no data
5.57/1.48	c Decided on static restart strategy
5.57/1.48	c  N st    18     30001       630      2741         0     10704      8355    238989   no data   no data
5.57/1.48	c  S st    18     30001       630      2741         0     10704      8355    238989   no data   no data
5.97/1.51	c  S st    18     30504       630      2741         0     11207      8355    252083   no data   no data
5.97/1.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.97/1.51	c blocked clauses removed:       10 vars:      1 tried:         630 T: 0.00 s
5.97/1.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    629 time:  0.00 s
5.97/1.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.97/1.52	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.00 s
5.97/1.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.57	c lits-rem:       161  cl-subs:      268  v-elim:      0  v-fix:    0  time:  0.05 s
5.97/1.58	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.01
5.97/1.58	c calculated reachability. Time: 0.00
5.97/1.58	c  N st    18     30504       628      2730         0     10910      8332    242066   no data   no data
7.97/2.00	c  N st    20     37614       628      2730         0     10194      8332    201408   no data   no data
9.57/2.41	c  N st    21     44014       628      2730         0     16510      8332    392147   no data   no data
9.97/2.54	c  S st    22     45757       628      2730         0      9435      8332    157785   no data   no data
9.97/2.57	c  S st    22     46262       628      2730         0      9940      8332    170900   no data   no data
9.97/2.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.97/2.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.97/2.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.97/2.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.97/2.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.97/2.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
9.97/2.57	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.97/2.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.97/2.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.97/2.59	c lits-rem:        34  cl-subs:       36  v-elim:      0  v-fix:    0  time:  0.01 s
9.97/2.59	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
9.97/2.59	c vivif2 --  cl tried     9904 cl shrink        0 lits rem          0 time: 0.00
10.37/2.60	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.01
10.37/2.60	c calculated reachability. Time: 0.00
10.37/2.60	c  N st    22     46262       628      2730         0      9904      8332    169668   no data   no data
13.97/3.55	c  N st    23     60661       628      2730         0     14299      8332    290983   no data   no data
16.76/4.24	c  N st    24     69393       628      2730         0     12073      8332    206516   no data   no data
16.76/4.24	c  S st    24     69393       628      2730         0     12073      8332    206516   no data   no data
16.76/4.27	c  S st    24     69900       628      2730         0     12580      8332    219695   no data   no data
16.76/4.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.76/4.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.76/4.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.76/4.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.76/4.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.76/4.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
16.76/4.28	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.76/4.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.76/4.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.18/4.31	c lits-rem:        57  cl-subs:      119  v-elim:      0  v-fix:    0  time:  0.02 s
17.18/4.31	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
17.18/4.32	c vivif2 --  cl tried    12461 cl shrink        0 lits rem          0 time: 0.00
17.18/4.32	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.01
17.18/4.32	c calculated reachability. Time: 0.00
17.18/4.32	c  N st    24     69900       628      2730         0     12461      8332    216246   no data   no data
22.75/5.74	c  F st    25     87501       628      2730         0     17955      8332    378278   no data   no data
22.75/5.74	c  N st    25     87501       628      2730         0     17955      8332    378278   no data   no data
24.34/6.17	c Decided on static restart strategy
25.55/6.45	c  N st    32     95545       628      2730         0     13085      8332    201862   no data   no data
28.34/7.11	c  N st    34    104851       628      2730         0     22256      8332    461523   no data   no data
28.34/7.11	c  S st    34    104851       628      2730         0     22256      8332    461523   no data   no data
28.34/7.16	c  S st    34    105354       628      2730         0     22758      8332    475518   no data   no data
28.34/7.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.34/7.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.34/7.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.34/7.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.34/7.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.34/7.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
28.34/7.17	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
28.34/7.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
28.34/7.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.14/7.35	c lits-rem:       109  cl-subs:      557  v-elim:      0  v-fix:    0  time:  0.15 s
29.14/7.35	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
29.14/7.35	c vivif2 --  cl tried    22201 cl shrink        0 lits rem          0 time: 0.00
29.14/7.37	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.01
29.14/7.37	c calculated reachability. Time: 0.00
29.14/7.37	c  N st    34    105354       628      2730         0     22201      8332    458184   no data   no data
32.73/8.22	c  N st    35    114955       628      2730         0     17878      8332    314147   no data   no data
37.93/9.50	c  N st    36    129353       628      2730         0     17330      8332    279451   no data   no data
45.51/11.49	c  N st    37    150949       628      2730         0     22824      8332    428852   no data   no data
49.11/12.31	c  S st    38    158031       628      2730         0     29743      8332    622134   no data   no data
49.11/12.39	c  S st    38    158536       628      2730         0     30247      8332    635463   no data   no data
49.11/12.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.51/12.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
49.51/12.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
49.51/12.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.51/12.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.51/12.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
49.51/12.40	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
49.51/12.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
49.51/12.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.51/12.98	c lits-rem:       319  cl-subs:     1475  v-elim:      0  v-fix:    0  time:  0.55 s
51.51/12.98	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
51.51/12.99	c vivif2 --  cl tried    28772 cl shrink        0 lits rem          0 time: 0.01
51.91/13.01	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.02
51.91/13.01	c calculated reachability. Time: 0.00
51.91/13.01	c  N st    38    158536       628      2730         0     28772      8332    590308   no data   no data
71.88/18.06	c  N st    39    207124       628      2730         0     23337      8332    377538   no data   no data
85.87/21.58	c  N st    40    237805       628      2730         0     33762      8332    650677   no data   no data
85.87/21.58	c  S st    40    237805       628      2730         0     33762      8332    650677   no data   no data
86.27/21.67	c  S st    40    238309       628      2730         0     34266      8332    663802   no data   no data
86.27/21.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
86.27/21.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
86.27/21.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
86.27/21.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
86.27/21.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.27/21.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
86.27/21.69	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
86.67/21.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
86.67/21.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
89.86/22.51	c lits-rem:       198  cl-subs:     2083  v-elim:      0  v-fix:    0  time:  0.79 s
89.86/22.51	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
89.86/22.52	c vivif2 --  cl tried    32183 cl shrink        0 lits rem          0 time: 0.01
89.86/22.54	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.02
89.86/22.54	c calculated reachability. Time: 0.00
89.86/22.54	c  N st    40    238309       628      2730         0     32183      8332    607923   no data   no data
123.04/30.81	c  F st    41    306250       628      2730         0     34275      8332    621640   no data   no data
123.04/30.81	c  N st    41    306250       628      2730         0     34275      8332    621640   no data   no data
125.81/31.50	c Decided on static restart strategy
137.40/34.43	c  N st    51    334551       628      2730         0     38518      8332    731640   no data   no data
149.78/37.51	c  N st    53    357463       628      2730         0     36501      8332    661876   no data   no data
149.78/37.51	c  S st    53    357463       628      2730         0     36501      8332    661876   no data   no data
150.18/37.60	c  S st    53    357970       628      2730         0     37007      8332    674878   no data   no data
150.18/37.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
150.18/37.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
150.18/37.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
150.18/37.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
150.18/37.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
150.18/37.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
150.18/37.62	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
150.18/37.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
150.18/37.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
151.78/38.05	c lits-rem:       161  cl-subs:     1060  v-elim:      0  v-fix:    0  time:  0.40 s
151.78/38.05	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
151.78/38.06	c vivif2 --  cl tried    35947 cl shrink        0 lits rem          0 time: 0.01
151.78/38.09	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.03
151.78/38.09	c calculated reachability. Time: 0.00
151.78/38.09	c  N st    53    357970       628      2730         0     35947      8332    638889   no data   no data
170.56/42.72	c  N st    54    390363       628      2730         0     42242      8332    794613   no data   no data
199.32/49.98	c  N st    55    438952       628      2730         0     35903      8332    562887   no data   no data
244.86/61.30	c  N st    56    511838       628      2730         0     49404      8332    898569   no data   no data
261.23/65.48	c  N st    57    536955       628      2730         0     43636      8332    724423   no data   no data
261.23/65.48	c  S st    57    536955       628      2730         0     43636      8332    724423   no data   no data
261.63/65.59	c  S st    57    537458       628      2730         0     44139      8332    738284   no data   no data
261.63/65.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
262.03/65.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
262.03/65.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
262.03/65.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
262.03/65.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
262.03/65.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
262.03/65.61	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
262.03/65.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
262.03/65.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
264.42/66.22	c lits-rem:       310  cl-subs:     1288  v-elim:      0  v-fix:    0  time:  0.58 s
264.42/66.22	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
264.42/66.23	c vivif2 --  cl tried    42851 cl shrink        0 lits rem          0 time: 0.01
264.42/66.26	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.03
264.42/66.27	c calculated reachability. Time: 0.00
264.42/66.27	c  N st    57    537458       628      2730         0     42851      8332    703221   no data   no data
382.29/95.75	c  N st    58    701443       628      2730         0     36819      8332    436678   no data   no data
466.55/116.85	c  N st    59    806188       628      2730         0     65965      8332   1210961   no data   no data
466.55/116.85	c  S st    59    806188       628      2730         0     65965      8332   1210961   no data   no data
467.35/117.03	c  S st    59    806690       628      2730         0     66467      8332   1224651   no data   no data
467.35/117.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
467.35/117.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
467.35/117.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
467.35/117.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
467.35/117.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
467.35/117.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
467.35/117.07	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
467.35/117.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
467.75/117.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
482.94/121.00	c lits-rem:       653  cl-subs:     4754  v-elim:      0  v-fix:    0  time:  3.88 s
482.94/121.00	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
483.34/121.02	c vivif2 --  cl tried    61713 cl shrink        0 lits rem          0 time: 0.02
483.34/121.07	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.06
483.34/121.08	c calculated reachability. Time: 0.00
483.34/121.08	c  N st    59    806690       628      2730         0     61713      8332   1095940   no data   no data
710.21/177.84	c  F st    60   1071876       628      2730         0     77617      8332   1443818   no data   no data
710.21/177.84	c  N st    60   1071876       628      2730         0     77617      8332   1443818   no data   no data
716.23/179.34	c Decided on static restart strategy
735.38/184.16	c  N st    70   1100178       628      2730         0     61461      8332    971012   no data   no data
770.53/192.96	c  N st    72   1136172       628      2730         0     51634      8332    643748   no data   no data
798.90/200.05	c  N st    73   1168565       628      2730         0     83281      8332   1518596   no data   no data
838.04/209.86	c  N st    74   1210036       628      2730         0     77954      8332   1384297   no data   no data
838.04/209.86	c  S st    74   1210036       628      2730         0     77954      8332   1384297   no data   no data
839.26/210.19	c  S st    74   1210543       628      2730         0     78461      8332   1397808   no data   no data
839.63/210.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
839.63/210.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.05
839.63/210.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
839.63/210.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
839.63/210.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
839.63/210.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
839.63/210.25	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
839.63/210.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
840.03/210.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
862.00/215.89	c lits-rem:       846  cl-subs:     3897  v-elim:      0  v-fix:    0  time:  5.56 s
862.00/215.89	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
862.40/215.91	c vivif2 --  cl tried    74564 cl shrink        0 lits rem          0 time: 0.02
862.40/215.99	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.08
862.40/215.99	c calculated reachability. Time: 0.00
862.40/215.99	c  N st    74   1210543       628      2730         0     74564      8332   1292106   no data   no data
936.70/234.50	c  N st    75   1283428       628      2730         0     51056      8332    581247   no data   no data
1046.55/262.02	c  N st    76   1392753       628      2730         0     59195      8332    783242   no data   no data
1219.91/305.49	c  N st    77   1556737       628      2730         0     63817      8332    834354   no data   no data
1387.67/347.45	c  N st    78   1710544       628      2730         0    105796      8332   2045311   no data   no data
1387.67/347.45	c  S st    78   1710544       628      2730         0    105796      8332   2045311   no data   no data
1389.28/347.80	c  S st    78   1711051       628      2730         0    106303      8332   2059148   no data   no data
1389.28/347.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1389.28/347.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1389.28/347.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1389.28/347.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1389.28/347.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1389.28/347.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
1389.28/347.86	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1389.28/347.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1389.68/347.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1436.83/359.71	c lits-rem:      1074  cl-subs:     5380  v-elim:      0  v-fix:    0  time: 11.76 s
1436.83/359.71	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
1436.83/359.74	c vivif2 --  cl tried   100923 cl shrink        0 lits rem          0 time: 0.03
1437.20/359.85	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.11
1437.20/359.86	c calculated reachability. Time: 0.00
1437.20/359.86	c  N st    78   1711051       628      2730         0    100923      8332   1905139   no data   no data
1911.37/478.52	c  N st    79   2080016       628      2730         0    112373      8332   2125777   no data   no data
2074.72/519.43	c  N st    80   2211053       628      2730         0    116707      8332   2268350   no data   no data
2074.72/519.43	c  S st    80   2211053       628      2730         0    116707      8332   2268350   no data   no data
2076.32/519.80	c  S st    80   2211555       628      2730         0    117208      8332   2281822   no data   no data
2076.32/519.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2076.32/519.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2076.32/519.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2076.32/519.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2076.32/519.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2076.32/519.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
2076.32/519.87	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2076.72/519.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2076.72/519.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2127.06/532.52	c lits-rem:       923  cl-subs:     5307  v-elim:      0  v-fix:    0  time: 12.55 s
2127.06/532.52	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
2127.06/532.56	c vivif2 --  cl tried   111901 cl shrink        0 lits rem          0 time: 0.03
2127.46/532.68	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.13
2127.46/532.68	c calculated reachability. Time: 0.00
2127.46/532.68	c  N st    80   2211555       628      2730         0    111901      8332   2127058   no data   no data
2845.26/712.32	c  N st    81   2711556       628      2730         0    134895      8332   2580726   no data   no data
2845.26/712.32	c  S st    81   2711556       628      2730         0    134895      8332   2580726   no data   no data
2846.88/712.80	c  S st    81   2712058       628      2730         0    135397      8332   2594518   no data   no data
2847.28/712.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2847.28/712.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2847.28/712.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2847.28/712.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2847.28/712.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2847.28/712.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
2847.28/712.88	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2847.65/712.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2848.05/713.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2965.09/742.31	c lits-rem:       762  cl-subs:    12230  v-elim:      0  v-fix:    0  time: 29.31 s
2965.09/742.31	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
2965.09/742.35	c vivif2 --  cl tried   123167 cl shrink        0 lits rem          0 time: 0.03
2965.51/742.49	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.14
2965.51/742.49	c calculated reachability. Time: 0.00
2965.51/742.49	c  N st    81   2712058       628      2730         0    123167      8332   2271014   no data   no data
3749.61/938.76	c  N st    82   3212058       628      2730         0     99363      8332   1425576   no data   no data
3749.61/938.76	c  S st    82   3212058       628      2730         0     99363      8332   1425576   no data   no data
3750.81/939.06	c  S st    82   3212558       628      2730         0     99863      8332   1438865   no data   no data
3750.81/939.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3751.21/939.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3751.21/939.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3751.21/939.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3751.21/939.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3751.21/939.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
3751.21/939.12	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3751.21/939.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3751.21/939.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3765.20/942.66	c lits-rem:       287  cl-subs:     3471  v-elim:      0  v-fix:    0  time:  3.46 s
3765.20/942.66	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
3765.20/942.68	c vivif2 --  cl tried    96392 cl shrink        0 lits rem          0 time: 0.02
3765.61/942.78	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.10
3765.61/942.78	c calculated reachability. Time: 0.00
3765.61/942.78	c  N st    82   3212558       628      2730         0     96392      8332   1345249   no data   no data
4610.82/1154.35	c  N st    83   3712559       628      2730         0    107558      8332   1517323   no data   no data
4610.82/1154.35	c  S st    83   3712559       628      2730         0    107558      8332   1517323   no data   no data
4612.42/1154.77	c  S st    83   3713061       628      2730         0    108060      8332   1530742   no data   no data
4612.42/1154.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4612.82/1154.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.07
4612.82/1154.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4612.82/1154.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4612.82/1154.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4612.82/1154.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
4612.82/1154.85	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4612.82/1154.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4613.24/1154.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4635.98/1160.61	c lits-rem:       902  cl-subs:     3180  v-elim:      0  v-fix:    0  time:  5.67 s
4635.98/1160.61	c vivif2 --  cl tried     2730 cl shrink        0 lits rem          0 time: 0.00
4635.98/1160.64	c vivif2 --  cl tried   104880 cl shrink        0 lits rem          0 time: 0.03
4636.38/1160.79	c asymm  cl-useful: 0/2730/2730 lits-rem:0 time: 0.15
4636.38/1160.80	c calculated reachability. Time: 0.00
4636.38/1160.80	c  N st    83   3713061       628      2730         0    104880      8332   1451483   no data   no data
4712.68/1179.83	c  F st    84   3751562       628      2730         0    142588      8332   2523459   no data   no data
4712.68/1179.83	c  N st    84   3751562       628      2730         0    142588      8332   2523459   no data   no data
4723.86/1182.63	c Decided on static restart strategy
4778.58/1196.31	c  N st    94   3779872       628      2730         0     87168      8332    927683   no data   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3174250-1304116137/watcher-3174250-1304116137 -o /tmp/evaluation-result-3174250-1304116137/solver-3174250-1304116137 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174250-1304116137.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: 5.81 7.50 7.23 2/173 18740
/proc/meminfo: memFree=30900076/32950928 swapFree=67111448/67111528
[pid=18740] ppid=18738 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/18740/stat : 18740 (strangenight2-m) R 18738 18740 18155 0 -1 4202496 408 0 0 0 0 0 0 0 24 0 4 0 523212400 52441088 347 33554432000 4194304 4627427 140734989128736 18446744073709551615 47303046604722 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18740/statm: 12803 347 299 106 0 7774 0
[pid=18740/tid=18741] ppid=18738 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/18740/task/18741/stat : 18741 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 523212400 52441088 347 33554432000 4194304 4627427 140734989128736 18446744073709551615 251814296561 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18740/tid=18742] ppid=18738 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/18740/task/18742/stat : 18742 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 523212400 52441088 347 33554432000 4194304 4627427 140734989128736 18446744073709551615 251826037814 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18740/tid=18743] ppid=18738 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/18740/task/18743/stat : 18743 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 523212400 52441088 347 33554432000 4194304 4627427 140734989128736 18446744073709551615 47303046604716 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.056545 s]
/proc/loadavg: 5.81 7.50 7.23 2/173 18740
/proc/meminfo: memFree=30900076/32950928 swapFree=67111448/67111528
[pid=18740] ppid=18738 vsize=282364 CPUtime=0.2 cores=0,2,4,6
/proc/18740/stat : 18740 (strangenight2-m) R 18738 18740 18155 0 -1 4202496 1667 0 0 0 20 0 0 0 25 0 4 0 523212400 289140736 1505 33554432000 4194304 4627427 140734989128736 18446744073709551615 4308640 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18740/statm: 70591 1505 384 106 0 65562 0
[pid=18740/tid=18741] ppid=18738 vsize=282364 CPUtime=0.04 cores=0,2,4,6
/proc/18740/task/18741/stat : 18741 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 329 0 0 0 4 0 0 0 25 0 4 0 523212400 289140736 1505 33554432000 4194304 4627427 140734989128736 18446744073709551615 4310370 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18740/tid=18742] ppid=18738 vsize=282364 CPUtime=0.05 cores=0,2,4,6
/proc/18740/task/18742/stat : 18742 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 365 0 0 0 5 0 0 0 25 0 4 0 523212400 289140736 1505 33554432000 4194304 4627427 140734989128736 18446744073709551615 4330954 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18740/tid=18743] ppid=18738 vsize=282364 CPUtime=0.05 cores=0,2,4,6
/proc/18740/task/18743/stat : 18743 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 201 0 0 0 5 0 0 0 25 0 4 0 523212400 289140736 1505 33554432000 4194304 4627427 140734989128736 18446744073709551615 4330127 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) 282364

[startup+0.156528 s]
/proc/loadavg: 5.81 7.50 7.23 2/173 18740
/proc/meminfo: memFree=30900076/32950928 swapFree=67111448/67111528
[pid=18740] ppid=18738 vsize=282364 CPUtime=0.6 cores=0,2,4,6
/proc/18740/stat : 18740 (strangenight2-m) R 18738 18740 18155 0 -1 4202496 2134 0 0 0 60 0 0 0 25 0 4 0 523212400 289140736 1972 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309220 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18740/statm: 70591 1972 384 106 0 65562 0
[pid=18740/tid=18741] ppid=18738 vsize=282364 CPUtime=0.14 cores=0,2,4,6
/proc/18740/task/18741/stat : 18741 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 451 0 0 0 14 0 0 0 25 0 4 0 523212400 289140736 1972 33554432000 4194304 4627427 140734989128736 18446744073709551615 4308408 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18740/tid=18742] ppid=18738 vsize=282364 CPUtime=0.14 cores=0,2,4,6
/proc/18740/task/18742/stat : 18742 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 464 0 0 0 14 0 0 0 25 0 4 0 523212400 289140736 1972 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18740/tid=18743] ppid=18738 vsize=282364 CPUtime=0.15 cores=0,2,4,6
/proc/18740/task/18743/stat : 18743 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 320 0 0 0 15 0 0 0 25 0 4 0 523212400 289140736 1972 33554432000 4194304 4627427 140734989128736 18446744073709551615 4308180 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) 282364

[startup+0.300505 s]
/proc/loadavg: 5.81 7.50 7.23 2/173 18740
/proc/meminfo: memFree=30900076/32950928 swapFree=67111448/67111528
[pid=18740] ppid=18738 vsize=283872 CPUtime=1.18 cores=0,2,4,6
/proc/18740/stat : 18740 (strangenight2-m) R 18738 18740 18155 0 -1 4202496 3030 0 0 0 118 0 0 0 25 0 4 0 523212400 290684928 2186 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18740/statm: 70968 2186 385 106 0 65939 0
[pid=18740/tid=18741] ppid=18738 vsize=283872 CPUtime=0.29 cores=0,2,4,6
/proc/18740/task/18741/stat : 18741 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 692 0 0 0 29 0 0 0 25 0 4 0 523212400 290684928 2186 33554432000 4194304 4627427 140734989128736 18446744073709551615 251813937255 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18740/tid=18742] ppid=18738 vsize=283872 CPUtime=0.29 cores=0,2,4,6
/proc/18740/task/18742/stat : 18742 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 657 0 0 0 29 0 0 0 25 0 4 0 523212400 290684928 2186 33554432000 4194304 4627427 140734989128736 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18740/tid=18743] ppid=18738 vsize=283872 CPUtime=0.29 cores=0,2,4,6
/proc/18740/task/18743/stat : 18743 (strangenight2-m) S 18738 18740 18155 0 -1 4202560 562 0 0 0 29 0 0 0 25 0 4 0 523212400 290684928 2186 33554432000 4194304 4627427 140734989128736 18446744073709551615 251814345198 0 0 4096 2 18446604449459442624 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283872

[startup+0.700438 s]
/proc/loadavg: 5.81 7.50 7.23 2/173 18740
/proc/meminfo: memFree=30900076/32950928 swapFree=67111448/67111528
[pid=18740] ppid=18738 vsize=284740 CPUtime=2.78 cores=0,2,4,6
/proc/18740/stat : 18740 (strangenight2-m) R 18738 18740 18155 0 -1 4202496 4765 0 0 0 277 1 0 0 25 0 4 0 523212400 291573760 2897 33554432000 4194304 4627427 140734989128736 18446744073709551615 4308419 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18740/statm: 71185 2897 385 106 0 66156 0
[pid=18740/tid=18741] ppid=18738 vsize=284740 CPUtime=0.69 cores=0,2,4,6
/proc/18740/task/18741/stat : 18741 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 1131 0 0 0 69 0 0 0 25 0 4 0 523212400 291573760 2897 33554432000 4194304 4627427 140734989128736 18446744073709551615 4310378 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18740/tid=18742] ppid=18738 vsize=284740 CPUtime=0.69 cores=0,2,4,6
/proc/18740/task/18742/stat : 18742 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 1074 0 0 0 69 0 0 0 25 0 4 0 523212400 291573760 2897 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309134 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18740/tid=18743] ppid=18738 vsize=284740 CPUtime=0.69 cores=0,2,4,6
/proc/18740/task/18743/stat : 18743 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 1015 0 0 0 69 0 0 0 25 0 4 0 523212400 291573760 2897 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309160 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) 284740

[startup+1.5003 s]
/proc/loadavg: 5.98 7.51 7.24 9/184 18752
/proc/meminfo: memFree=30874212/32950928 swapFree=67111448/67111528
[pid=18740] ppid=18738 vsize=286192 CPUtime=5.97 cores=0,2,4,6
/proc/18740/stat : 18740 (strangenight2-m) R 18738 18740 18155 0 -1 4202496 8170 0 0 0 596 1 0 0 25 0 4 0 523212400 293060608 3458 33554432000 4194304 4627427 140734989128736 18446744073709551615 4308411 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18740/statm: 71548 3458 386 106 0 66519 0
[pid=18740/tid=18741] ppid=18738 vsize=286192 CPUtime=1.48 cores=0,2,4,6
/proc/18740/task/18741/stat : 18741 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 1994 0 0 0 148 0 0 0 25 0 4 0 523212400 293060608 3458 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18740/tid=18742] ppid=18738 vsize=286192 CPUtime=1.49 cores=0,2,4,6
/proc/18740/task/18742/stat : 18742 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 1939 0 0 0 149 0 0 0 25 0 4 0 523212400 293060608 3458 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18740/tid=18743] ppid=18738 vsize=286192 CPUtime=1.49 cores=0,2,4,6
/proc/18740/task/18743/stat : 18743 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 1853 0 0 0 149 0 0 0 25 0 4 0 523212400 293060608 3458 33554432000 4194304 4627427 140734989128736 18446744073709551615 4330199 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) 286192

[startup+3.10104 s]
/proc/loadavg: 5.98 7.51 7.24 9/184 18752
/proc/meminfo: memFree=30844848/32950928 swapFree=67111448/67111528
[pid=18740] ppid=18738 vsize=299984 CPUtime=12.37 cores=0,2,4,6
/proc/18740/stat : 18740 (strangenight2-m) R 18738 18740 18155 0 -1 4202496 19519 0 0 0 1234 3 0 0 25 0 4 0 523212400 307183616 10601 33554432000 4194304 4627427 140734989128736 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18740/statm: 74996 10601 389 106 0 69967 0
[pid=18740/tid=18741] ppid=18738 vsize=299984 CPUtime=3.07 cores=0,2,4,6
/proc/18740/task/18741/stat : 18741 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 4389 0 0 0 307 0 0 0 25 0 4 0 523212400 307183616 10601 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18740/tid=18742] ppid=18738 vsize=299984 CPUtime=3.08 cores=0,2,4,6
/proc/18740/task/18742/stat : 18742 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 5356 0 0 0 308 0 0 0 25 0 4 0 523212400 307183616 10601 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18740/tid=18743] ppid=18738 vsize=299984 CPUtime=3.08 cores=0,2,4,6
/proc/18740/task/18743/stat : 18743 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 4664 0 0 0 308 0 0 0 25 0 4 0 523212400 307183616 10601 33554432000 4194304 4627427 140734989128736 18446744073709551615 4308256 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) 299984

[startup+6.3005 s]
/proc/loadavg: 6.14 7.52 7.24 9/184 18782
/proc/meminfo: memFree=30823248/32950928 swapFree=67111448/67111528
[pid=18740] ppid=18738 vsize=301528 CPUtime=25.15 cores=0,2,4,6
/proc/18740/stat : 18740 (strangenight2-m) R 18738 18740 18155 0 -1 4202496 31705 0 0 0 2508 7 0 0 25 0 4 0 523212400 308764672 14847 33554432000 4194304 4627427 140734989128736 18446744073709551615 4308752 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18740/statm: 75382 14847 389 106 0 70353 0
[pid=18740/tid=18741] ppid=18738 vsize=301528 CPUtime=6.26 cores=0,2,4,6
/proc/18740/task/18741/stat : 18741 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 8286 0 0 0 625 1 0 0 25 0 4 0 523212400 308764672 14847 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18740/tid=18742] ppid=18738 vsize=301528 CPUtime=6.28 cores=0,2,4,6
/proc/18740/task/18742/stat : 18742 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 9087 0 0 0 627 1 0 0 25 0 4 0 523212400 308764672 14847 33554432000 4194304 4627427 140734989128736 18446744073709551615 4420136 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18740/tid=18743] ppid=18738 vsize=301528 CPUtime=6.29 cores=0,2,4,6
/proc/18740/task/18743/stat : 18743 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 7072 0 0 0 628 1 0 0 25 0 4 0 523212400 308764672 14847 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309244 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) 301528

[startup+12.7004 s]
/proc/loadavg: 6.29 7.52 7.24 9/184 18782
/proc/meminfo: memFree=30743524/32950928 swapFree=67111448/67111528
[pid=18740] ppid=18738 vsize=313964 CPUtime=50.71 cores=0,2,4,6
/proc/18740/stat : 18740 (strangenight2-m) R 18738 18740 18155 0 -1 4202496 48554 0 0 0 5061 10 0 0 25 0 4 0 523212400 321499136 24455 33554432000 4194304 4627427 140734989128736 18446744073709551615 4420272 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18740/statm: 78491 24455 389 106 0 73462 0
[pid=18740/tid=18741] ppid=18738 vsize=313964 CPUtime=12.62 cores=0,2,4,6
/proc/18740/task/18741/stat : 18741 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 13007 0 0 0 1260 2 0 0 25 0 4 0 523212400 321499136 24455 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18740/tid=18742] ppid=18738 vsize=313964 CPUtime=12.69 cores=0,2,4,6
/proc/18740/task/18742/stat : 18742 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 10706 0 0 0 1267 2 0 0 25 0 4 0 523212400 321499136 24455 33554432000 4194304 4627427 140734989128736 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18740/tid=18743] ppid=18738 vsize=313964 CPUtime=12.68 cores=0,2,4,6
/proc/18740/task/18743/stat : 18743 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 11817 0 0 0 1267 1 0 0 25 0 4 0 523212400 321499136 24455 33554432000 4194304 4627427 140734989128736 18446744073709551615 4324094 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) 313964

[startup+25.5003 s]
/proc/loadavg: 6.67 7.55 7.26 9/184 18782
/proc/meminfo: memFree=30687748/32950928 swapFree=67111448/67111528
[pid=18740] ppid=18738 vsize=318960 CPUtime=101.84 cores=0,2,4,6
/proc/18740/stat : 18740 (strangenight2-m) R 18738 18740 18155 0 -1 4202496 71030 0 0 0 10169 15 0 0 25 0 4 0 523212400 326615040 29086 33554432000 4194304 4627427 140734989128736 18446744073709551615 4306556 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18740/statm: 79740 29086 389 106 0 74711 0
[pid=18740/tid=18741] ppid=18738 vsize=318960 CPUtime=25.36 cores=0,2,4,6
/proc/18740/task/18741/stat : 18741 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 19743 0 0 0 2532 4 0 0 25 0 4 0 523212400 326615040 29086 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18740/tid=18742] ppid=18738 vsize=318960 CPUtime=25.49 cores=0,2,4,6
/proc/18740/task/18742/stat : 18742 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 15067 0 0 0 2546 3 0 0 25 0 4 0 523212400 326615040 29086 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18740/tid=18743] ppid=18738 vsize=318960 CPUtime=25.49 cores=0,2,4,6
/proc/18740/task/18743/stat : 18743 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 17309 0 0 0 2546 3 0 0 25 0 4 0 523212400 326615040 29086 33554432000 4194304 4627427 140734989128736 18446744073709551615 4308399 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) 318960

[startup+51.101 s]
/proc/loadavg: 7.12 7.58 7.28 9/184 18783
/proc/meminfo: memFree=30628556/32950928 swapFree=67111448/67111528
[pid=18740] ppid=18738 vsize=304596 CPUtime=204.11 cores=0,2,4,6
/proc/18740/stat : 18740 (strangenight2-m) R 18738 18740 18155 0 -1 4202496 105185 0 0 0 20386 25 0 0 25 0 4 0 523212400 311906304 39534 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18740/statm: 76149 39534 389 106 0 71120 0
[pid=18740/tid=18741] ppid=18738 vsize=304596 CPUtime=50.83 cores=0,2,4,6
/proc/18740/task/18741/stat : 18741 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 28320 0 0 0 5077 6 0 0 25 0 4 0 523212400 311906304 39534 33554432000 4194304 4627427 140734989128736 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18740/tid=18742] ppid=18738 vsize=304596 CPUtime=51.09 cores=0,2,4,6
/proc/18740/task/18742/stat : 18742 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 24672 0 0 0 5104 5 0 0 25 0 4 0 523212400 311906304 39534 33554432000 4194304 4627427 140734989128736 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18740/tid=18743] ppid=18738 vsize=304596 CPUtime=51.08 cores=0,2,4,6
/proc/18740/task/18743/stat : 18743 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 25504 0 0 0 5102 6 0 0 25 0 4 0 523212400 311906304 39534 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309145 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) 304596

[startup+102.306 s]
/proc/loadavg: 7.62 7.64 7.31 9/184 18784
/proc/meminfo: memFree=30567256/32950928 swapFree=67111448/67111528
[pid=18740] ppid=18738 vsize=323588 CPUtime=408.64 cores=0,2,4,6
/proc/18740/stat : 18740 (strangenight2-m) R 18738 18740 18155 0 -1 4202496 152486 0 0 0 40827 37 0 0 25 0 4 0 523212400 331354112 46404 33554432000 4194304 4627427 140734989128736 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18740/statm: 80897 46404 389 106 0 75868 0
[pid=18740/tid=18741] ppid=18738 vsize=323588 CPUtime=101.75 cores=0,2,4,6
/proc/18740/task/18741/stat : 18741 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 41437 0 0 0 10166 9 0 0 25 0 4 0 523212400 331354112 46404 33554432000 4194304 4627427 140734989128736 18446744073709551615 4420243 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18740/tid=18742] ppid=18738 vsize=323588 CPUtime=102.29 cores=0,2,4,6
/proc/18740/task/18742/stat : 18742 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 39096 0 0 0 10222 7 0 0 25 0 4 0 523212400 331354112 46404 33554432000 4194304 4627427 140734989128736 18446744073709551615 4332992 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18740/tid=18743] ppid=18738 vsize=323588 CPUtime=102.28 cores=0,2,4,6
/proc/18740/task/18743/stat : 18743 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 32830 0 0 0 10220 8 0 0 25 0 4 0 523212400 331354112 46404 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 323588

[startup+162.3 s]

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

[pid=18740] ppid=18738 vsize=633512 CPUtime=2805.31 cores=0,2,4,6
/proc/18740/stat : 18740 (strangenight2-m) R 18738 18740 18155 0 -1 4202496 429880 0 0 0 280381 150 0 0 25 0 4 0 523212400 648716288 101657 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18740/statm: 158378 101657 389 106 0 153349 0
[pid=18740/tid=18741] ppid=18738 vsize=633512 CPUtime=698.48 cores=0,2,4,6
/proc/18740/task/18741/stat : 18741 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 95845 0 0 0 69818 30 0 0 25 0 4 0 523212400 648716288 101657 33554432000 4194304 4627427 140734989128736 18446744073709551615 4352082 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18740/tid=18742] ppid=18738 vsize=633512 CPUtime=702.29 cores=0,2,4,6
/proc/18740/task/18742/stat : 18742 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 96432 0 0 0 70198 31 0 0 25 0 4 0 523212400 648716288 101657 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18740/tid=18743] ppid=18738 vsize=633512 CPUtime=702.29 cores=0,2,4,6
/proc/18740/task/18743/stat : 18743 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 113360 0 0 0 70183 46 0 0 25 0 4 0 523212400 648716288 101657 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.31
Current children cumulated vsize (KiB) 633512

[startup+762.307 s]
/proc/loadavg: 8.19 8.07 7.71 10/184 18832
/proc/meminfo: memFree=30122904/32950928 swapFree=67111448/67111528
[pid=18740] ppid=18738 vsize=582104 CPUtime=3045 cores=0,2,4,6
/proc/18740/stat : 18740 (strangenight2-m) R 18738 18740 18155 0 -1 4202496 448422 0 0 0 304342 158 0 0 25 0 4 0 523212400 596074496 105057 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18740/statm: 145526 105057 389 106 0 140497 0
[pid=18740/tid=18741] ppid=18738 vsize=582104 CPUtime=758.15 cores=0,2,4,6
/proc/18740/task/18741/stat : 18741 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 100606 0 0 0 75783 32 0 0 25 0 4 0 523212400 596074496 105057 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18740/tid=18742] ppid=18738 vsize=582104 CPUtime=762.31 cores=0,2,4,6
/proc/18740/task/18742/stat : 18742 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 98801 0 0 0 76198 33 0 0 25 0 4 0 523212400 596074496 105057 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18740/tid=18743] ppid=18738 vsize=582104 CPUtime=762.29 cores=0,2,4,6
/proc/18740/task/18743/stat : 18743 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 119452 0 0 0 76180 49 0 0 25 0 4 0 523212400 596074496 105057 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045
Current children cumulated vsize (KiB) 582104

[startup+822.301 s]
/proc/loadavg: 8.20 8.09 7.74 10/184 18834
/proc/meminfo: memFree=30129924/32950928 swapFree=67111448/67111528
[pid=18740] ppid=18738 vsize=582192 CPUtime=3284.65 cores=0,2,4,6
/proc/18740/stat : 18740 (strangenight2-m) R 18738 18740 18155 0 -1 4202496 465967 0 0 0 328300 165 0 0 25 0 4 0 523212400 596164608 101372 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309350 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18740/statm: 145548 101372 389 106 0 140519 0
[pid=18740/tid=18741] ppid=18738 vsize=582192 CPUtime=817.83 cores=0,2,4,6
/proc/18740/task/18741/stat : 18741 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 104121 0 0 0 81749 34 0 0 25 0 4 0 523212400 596164608 101372 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18740/tid=18742] ppid=18738 vsize=582192 CPUtime=822.3 cores=0,2,4,6
/proc/18740/task/18742/stat : 18742 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 102538 0 0 0 82196 34 0 0 25 0 4 0 523212400 596164608 101372 33554432000 4194304 4627427 140734989128736 18446744073709551615 4332428 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18740/tid=18743] ppid=18738 vsize=582192 CPUtime=822.28 cores=0,2,4,6
/proc/18740/task/18743/stat : 18743 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 126129 0 0 0 82177 51 0 0 25 0 4 0 523212400 596164608 101372 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.65
Current children cumulated vsize (KiB) 582192

[startup+882.3 s]
/proc/loadavg: 8.19 8.10 7.76 10/184 18835
/proc/meminfo: memFree=30104960/32950928 swapFree=67111448/67111528
[pid=18740] ppid=18738 vsize=569380 CPUtime=3524.32 cores=0,2,4,6
/proc/18740/stat : 18740 (strangenight2-m) R 18738 18740 18155 0 -1 4202496 484374 0 0 0 352259 173 0 0 25 0 4 0 523212400 583045120 109554 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18740/statm: 142345 109554 389 106 0 137316 0
[pid=18740/tid=18741] ppid=18738 vsize=569380 CPUtime=877.49 cores=0,2,4,6
/proc/18740/task/18741/stat : 18741 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 106312 0 0 0 87715 34 0 0 25 0 4 0 523212400 583045120 109554 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18740/tid=18742] ppid=18738 vsize=569380 CPUtime=882.29 cores=0,2,4,6
/proc/18740/task/18742/stat : 18742 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 106695 0 0 0 88194 35 0 0 25 0 4 0 523212400 583045120 109554 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18740/tid=18743] ppid=18738 vsize=569380 CPUtime=882.29 cores=0,2,4,6
/proc/18740/task/18743/stat : 18743 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 131257 0 0 0 88175 54 0 0 25 0 4 0 523212400 583045120 109554 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.32
Current children cumulated vsize (KiB) 569380

[startup+942.3 s]
/proc/loadavg: 8.18 8.11 7.78 10/184 18837
/proc/meminfo: memFree=30068228/32950928 swapFree=67111448/67111528
[pid=18740] ppid=18738 vsize=709544 CPUtime=3763.98 cores=0,2,4,6
/proc/18740/stat : 18740 (strangenight2-m) R 18738 18740 18155 0 -1 4202496 498934 0 0 0 376218 180 0 0 25 0 4 0 523212400 726573056 111443 33554432000 4194304 4627427 140734989128736 18446744073709551615 4427693 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18740/statm: 177386 111443 389 106 0 172357 0
[pid=18740/tid=18741] ppid=18738 vsize=709544 CPUtime=937.17 cores=0,2,4,6
/proc/18740/task/18741/stat : 18741 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 110318 0 0 0 93680 37 0 0 25 0 4 0 523212400 726573056 111443 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309220 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18740/tid=18742] ppid=18738 vsize=709544 CPUtime=942.3 cores=0,2,4,6
/proc/18740/task/18742/stat : 18742 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 108554 0 0 0 94193 37 0 0 25 0 4 0 523212400 726573056 111443 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18740/tid=18743] ppid=18738 vsize=709544 CPUtime=942.29 cores=0,2,4,6
/proc/18740/task/18743/stat : 18743 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 133137 0 0 0 94175 54 0 0 25 0 4 0 523212400 726573056 111443 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.98
Current children cumulated vsize (KiB) 709544

[startup+1002.3 s]
/proc/loadavg: 8.11 8.10 7.80 10/184 18838
/proc/meminfo: memFree=30086416/32950928 swapFree=67111448/67111528
[pid=18740] ppid=18738 vsize=678412 CPUtime=4003.65 cores=0,2,4,6
/proc/18740/stat : 18740 (strangenight2-m) R 18738 18740 18155 0 -1 4202496 516721 0 0 0 400177 188 0 0 25 0 4 0 523212400 694693888 106367 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18740/statm: 169603 106367 389 106 0 164574 0
[pid=18740/tid=18741] ppid=18738 vsize=678412 CPUtime=996.83 cores=0,2,4,6
/proc/18740/task/18741/stat : 18741 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 112967 0 0 0 99645 38 0 0 25 0 4 0 523212400 694693888 106367 33554432000 4194304 4627427 140734989128736 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18740/tid=18742] ppid=18738 vsize=678412 CPUtime=1002.3 cores=0,2,4,6
/proc/18740/task/18742/stat : 18742 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 112505 0 0 0 100192 38 0 0 25 0 4 0 523212400 694693888 106367 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18740/tid=18743] ppid=18738 vsize=678412 CPUtime=1002.29 cores=0,2,4,6
/proc/18740/task/18743/stat : 18743 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 139269 0 0 0 100172 57 0 0 25 0 4 0 523212400 694693888 106367 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.65
Current children cumulated vsize (KiB) 678412

[startup+1062.3 s]
/proc/loadavg: 8.13 8.11 7.82 10/184 18840
/proc/meminfo: memFree=30040264/32950928 swapFree=67111448/67111528
[pid=18740] ppid=18738 vsize=675052 CPUtime=4243.33 cores=0,2,4,6
/proc/18740/stat : 18740 (strangenight2-m) R 18738 18740 18155 0 -1 4202496 539304 0 0 0 424136 197 0 0 25 0 4 0 523212400 691253248 113756 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309312 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18740/statm: 168763 113756 389 106 0 163734 0
[pid=18740/tid=18741] ppid=18738 vsize=675052 CPUtime=1056.51 cores=0,2,4,6
/proc/18740/task/18741/stat : 18741 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 118144 0 0 0 105612 39 0 0 25 0 4 0 523212400 691253248 113756 33554432000 4194304 4627427 140734989128736 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18740/tid=18742] ppid=18738 vsize=675052 CPUtime=1062.3 cores=0,2,4,6
/proc/18740/task/18742/stat : 18742 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 116801 0 0 0 106191 39 0 0 25 0 4 0 523212400 691253248 113756 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18740/tid=18743] ppid=18738 vsize=675052 CPUtime=1062.29 cores=0,2,4,6
/proc/18740/task/18743/stat : 18743 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 145678 0 0 0 106169 60 0 0 25 0 4 0 523212400 691253248 113756 33554432000 4194304 4627427 140734989128736 18446744073709551615 4310161 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.33
Current children cumulated vsize (KiB) 675052

[startup+1122.3 s]
/proc/loadavg: 8.09 8.10 7.83 10/184 18842
/proc/meminfo: memFree=29970668/32950928 swapFree=67111448/67111528
[pid=18740] ppid=18738 vsize=627272 CPUtime=4482.99 cores=0,2,4,6
/proc/18740/stat : 18740 (strangenight2-m) R 18738 18740 18155 0 -1 4202496 561717 0 0 0 448095 204 0 0 25 0 4 0 523212400 642326528 112600 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18740/statm: 156818 112600 389 106 0 151789 0
[pid=18740/tid=18741] ppid=18738 vsize=627272 CPUtime=1116.18 cores=0,2,4,6
/proc/18740/task/18741/stat : 18741 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 123424 0 0 0 111578 40 0 0 25 0 4 0 523212400 642326528 112600 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18740/tid=18742] ppid=18738 vsize=627272 CPUtime=1122.31 cores=0,2,4,6
/proc/18740/task/18742/stat : 18742 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 120701 0 0 0 112189 42 0 0 25 0 4 0 523212400 642326528 112600 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18740/tid=18743] ppid=18738 vsize=627272 CPUtime=1122.29 cores=0,2,4,6
/proc/18740/task/18743/stat : 18743 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 152107 0 0 0 112167 62 0 0 25 0 4 0 523212400 642326528 112600 33554432000 4194304 4627427 140734989128736 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.99
Current children cumulated vsize (KiB) 627272

[startup+1182.3 s]
/proc/loadavg: 8.07 8.10 7.84 10/184 18843
/proc/meminfo: memFree=29986248/32950928 swapFree=67111448/67111528
[pid=18740] ppid=18738 vsize=748248 CPUtime=4722.67 cores=0,2,4,6
/proc/18740/stat : 18740 (strangenight2-m) R 18738 18740 18155 0 -1 4202496 576118 0 0 0 472053 214 0 0 25 0 4 0 523212400 766205952 122931 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309260 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18740/statm: 187062 122931 389 106 0 182033 0
[pid=18740/tid=18741] ppid=18738 vsize=748248 CPUtime=1175.85 cores=0,2,4,6
/proc/18740/task/18741/stat : 18741 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 127371 0 0 0 117543 42 0 0 25 0 4 0 523212400 766205952 122931 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18740/tid=18742] ppid=18738 vsize=748248 CPUtime=1182.3 cores=0,2,4,6
/proc/18740/task/18742/stat : 18742 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 123474 0 0 0 118187 43 0 0 25 0 4 0 523212400 766205952 122931 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18740/tid=18743] ppid=18738 vsize=748248 CPUtime=1182.3 cores=0,2,4,6
/proc/18740/task/18743/stat : 18743 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 155222 0 0 0 118165 65 0 0 25 0 4 0 523212400 766205952 122931 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.67
Current children cumulated vsize (KiB) 748248



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.12 8.11 7.85 9/184 18844
/proc/meminfo: memFree=29991692/32950928 swapFree=67111448/67111528
[pid=18740] ppid=18738 vsize=626620 CPUtime=4800.17 cores=0,2,4,6
/proc/18740/stat : 18740 (strangenight2-m) R 18738 18740 18155 0 -1 4202496 582833 0 0 0 479800 217 0 0 25 0 4 0 523212400 641658880 115466 33554432000 4194304 4627427 140734989128736 18446744073709551615 4310097 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18740/statm: 156655 115466 389 106 0 151626 0
[pid=18740/tid=18741] ppid=18738 vsize=626620 CPUtime=1195.15 cores=0,2,4,6
/proc/18740/task/18741/stat : 18741 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 128832 0 0 0 119472 43 0 0 25 0 4 0 523212400 641658880 115466 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18740/tid=18742] ppid=18738 vsize=626620 CPUtime=1201.7 cores=0,2,4,6
/proc/18740/task/18742/stat : 18742 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 125496 0 0 0 120127 43 0 0 25 0 4 0 523212400 641658880 115466 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18740/tid=18743] ppid=18738 vsize=626620 CPUtime=1201.7 cores=0,2,4,6
/proc/18740/task/18743/stat : 18743 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 157841 0 0 0 120104 66 0 0 25 0 4 0 523212400 641658880 115466 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 626620

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.12 8.11 7.85 9/184 18844
/proc/meminfo: memFree=29991692/32950928 swapFree=67111448/67111528
[pid=18740] ppid=18738 vsize=626620 CPUtime=4800.17 cores=0,2,4,6
/proc/18740/stat : 18740 (strangenight2-m) R 18738 18740 18155 0 -1 4202496 582833 0 0 0 479800 217 0 0 25 0 4 0 523212400 641658880 115466 33554432000 4194304 4627427 140734989128736 18446744073709551615 4310097 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18740/statm: 156655 115466 389 106 0 151626 0
[pid=18740/tid=18741] ppid=18738 vsize=626620 CPUtime=1195.15 cores=0,2,4,6
/proc/18740/task/18741/stat : 18741 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 128832 0 0 0 119472 43 0 0 25 0 4 0 523212400 641658880 115466 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18740/tid=18742] ppid=18738 vsize=626620 CPUtime=1201.7 cores=0,2,4,6
/proc/18740/task/18742/stat : 18742 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 125496 0 0 0 120127 43 0 0 25 0 4 0 523212400 641658880 115466 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18740/tid=18743] ppid=18738 vsize=626620 CPUtime=1201.7 cores=0,2,4,6
/proc/18740/task/18743/stat : 18743 (strangenight2-m) R 18738 18740 18155 0 -1 4202560 157841 0 0 0 120104 66 0 0 25 0 4 0 523212400 641658880 115466 33554432000 4194304 4627427 140734989128736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 626620

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.23
CPU user time (s): 4798.03
CPU system time (s): 2.19967
CPU usage (%): 399.441
Max. virtual memory (cumulated for all children) (KiB): 845300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.03
system time used= 2.19966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 582834
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= 416
involuntary context switches= 41778

runsolver used 1.91371 second user time and 4.6293 second system time

The end

Launcher Data 

Begin job on node126 at 2011-04-30 00:28:57
IDJOB=3174250
IDBENCH=83068
IDSOLVER=1586
FILE ID=node126/3174250-1304116137
RUNJOBID= node126-1304116137-18725
PBS_JOBID= 13170683
Free space on /tmp= 71600 MiB

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

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

MD5SUM BENCH= fff1de37c6c2184176b7a20930cdd47f
RANDOM SEED=1078501255

node126.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.783
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.56
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.783
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.783
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.783
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.783
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.80
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.783
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.783
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.783
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30900248 kB
Buffers:        261612 kB
Cached:        1414264 kB
SwapCached:         76 kB
Active:         135040 kB
Inactive:      1605232 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30900248 kB
SwapTotal:    67111528 kB
SwapFree:     67111448 kB
Dirty:            5888 kB
Writeback:           0 kB
AnonPages:       63932 kB
Mapped:          14408 kB
Slab:           247180 kB
PageTables:       4420 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   191016 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= 71588 MiB
End job on node126 at 2011-04-30 00:49:01