Trace number 3366393

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v500-c2130-S481747904-003.SATISFIABLE.cnf
MD5SUM1e904bd81be11487c7596e10e18e4cd6
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.063989
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of clauses2130
Sum of the clauses size6390
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32130
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366393-1305403160.cnf'
0.00/0.01	c -- header says num vars:            500
0.00/0.01	c -- header says num clauses:        2130
0.00/0.01	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.01	c -- vars added        500
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       500      2130         0         0      6390         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2130/2130 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:    500 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.10	c lits-rem:         0  cl-subs:        0  v-elim:     17  v-fix:    0  time:  0.00 s
0.00/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:     231 undec:      69 neg:     200
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.10	c  B st     0         0       483      2114         0         0      6456         0   no data   no data
0.00/0.10	c Decided on static restart strategy
0.00/0.20	c  N st     8      4917       483      2114         0      4847      6456    117616   no data   no data
0.00/0.42	c  N st    10     11302       483      2114         0      4477      6456     78350   no data   no data
0.00/0.67	c  N st    11     17046       483      2114         0     10080      6456    203298   no data   no data
3.96/1.08	c  F st    12     25001       483      2114         0     12343      6456    264859   no data   no data
3.96/1.08	c  N st    12     25001       483      2114         0     12343      6456    264859   no data   no data
5.17/1.32	c Decided on static restart strategy
5.17/1.32	c  N st    18     30001       483      2114         0     10632      6456    196832   no data   no data
5.17/1.32	c  S st    18     30001       483      2114         0     10632      6456    196832   no data   no data
5.17/1.35	c  S st    18     30506       483      2114         0     11137      6456    207923   no data   no data
5.17/1.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.17/1.36	c blocked clauses removed:        5 vars:      1 tried:         483 T: 0.00 s
5.17/1.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
5.17/1.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.17/1.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.17/1.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.41	c lits-rem:       173  cl-subs:      557  v-elim:      0  v-fix:    0  time:  0.05 s
5.56/1.42	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.01
5.56/1.42	c calculated reachability. Time: 0.00
5.56/1.42	c  N st    18     30506       482      2109         0     10580      6441    194268   no data   no data
6.77/1.81	c  N st    20     37616       482      2109         0      9847      6441    161376   no data   no data
8.35/2.19	c  N st    21     44015       482      2109         0     16151      6441    315874   no data   no data
9.16/2.31	c  S st    22     45759       482      2109         0      9092      6441    128630   no data   no data
9.16/2.34	c  S st    22     46266       482      2109         0      9597      6441    140740   no data   no data
9.16/2.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.16/2.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.16/2.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.16/2.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.16/2.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
9.16/2.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.16/2.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.16/2.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.35	c lits-rem:        10  cl-subs:       49  v-elim:      0  v-fix:    0  time:  0.01 s
9.16/2.35	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
9.16/2.35	c vivif2 --  cl tried     9548 cl shrink        0 lits rem          0 time: 0.00
9.16/2.36	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.00
9.16/2.36	c calculated reachability. Time: 0.00
9.16/2.36	c  N st    22     46266       482      2109         0      9548      6441    139539   no data   no data
12.74/3.25	c  N st    23     60663       482      2109         0     13873      6441    237714   no data   no data
15.14/3.84	c  N st    24     69399       482      2109         0     11683      6441    169120   no data   no data
15.14/3.84	c  S st    24     69399       482      2109         0     11683      6441    169120   no data   no data
15.14/3.88	c  S st    24     69904       482      2109         0     12186      6441    181607   no data   no data
15.14/3.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.14/3.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.14/3.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.14/3.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.14/3.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.14/3.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
15.14/3.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.14/3.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.14/3.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.54/3.90	c lits-rem:        28  cl-subs:      135  v-elim:      0  v-fix:    0  time:  0.02 s
15.54/3.90	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
15.54/3.91	c vivif2 --  cl tried    12051 cl shrink        0 lits rem          0 time: 0.00
15.54/3.91	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.01
15.54/3.91	c calculated reachability. Time: 0.00
15.54/3.91	c  N st    24     69904       482      2109         0     12051      6441    178445   no data   no data
20.33/5.15	c  F st    25     87501       482      2109         0     17563      6441    302420   no data   no data
20.33/5.15	c  N st    25     87501       482      2109         0     17563      6441    302420   no data   no data
21.91/5.53	c Decided on static restart strategy
22.72/5.78	c  N st    32     95539       482      2109         0     25446      6441    492174   no data   no data
25.50/6.45	c  N st    34    104857       482      2109         0     21813      6441    390827   no data   no data
25.50/6.45	c  S st    34    104857       482      2109         0     21813      6441    390827   no data   no data
25.90/6.50	c  S st    34    105363       482      2109         0     22318      6441    402133   no data   no data
25.90/6.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.90/6.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
25.90/6.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.90/6.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.90/6.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.90/6.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
25.90/6.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.90/6.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
25.90/6.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.30/6.66	c lits-rem:       191  cl-subs:      732  v-elim:      0  v-fix:    0  time:  0.13 s
26.30/6.66	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
26.30/6.66	c vivif2 --  cl tried    21586 cl shrink        0 lits rem          0 time: 0.00
26.30/6.67	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.01
26.30/6.67	c calculated reachability. Time: 0.00
26.30/6.67	c  N st    34    105363       482      2109         0     21586      6441    383175   no data   no data
29.54/7.49	c  N st    35    114962       482      2109         0     17267      6441    255745   no data   no data
34.67/8.73	c  N st    36    129359       482      2109         0     16662      6441    222438   no data   no data
41.86/10.55	c  N st    37    150954       482      2109         0     22158      6441    349110   no data   no data
44.25/11.13	c  S st    38    158044       482      2109         0     29152      6441    528192   no data   no data
44.65/11.21	c  S st    38    158548       482      2109         0     29656      6441    540049   no data   no data
44.65/11.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.65/11.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
44.65/11.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.65/11.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.65/11.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.65/11.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
44.65/11.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.65/11.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
44.65/11.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.44/11.50	c lits-rem:       278  cl-subs:      876  v-elim:      0  v-fix:    0  time:  0.26 s
45.44/11.50	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
45.84/11.50	c vivif2 --  cl tried    28780 cl shrink        0 lits rem          0 time: 0.01
45.84/11.52	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.02
45.84/11.52	c calculated reachability. Time: 0.00
45.84/11.52	c  N st    38    158548       482      2109         0     28780      6441    517741   no data   no data
65.38/16.46	c  N st    39    207136       482      2109         0     23438      6441    332406   no data   no data
79.74/20.05	c  N st    40    237822       482      2109         0     33952      6441    577761   no data   no data
79.74/20.05	c  S st    40    237822       482      2109         0     33952      6441    577761   no data   no data
80.14/20.13	c  S st    40    238325       482      2109         0     34454      6441    589870   no data   no data
80.14/20.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
80.14/20.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
80.14/20.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
80.14/20.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
80.14/20.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
80.14/20.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
80.14/20.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
80.14/20.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
80.14/20.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.53/20.72	c lits-rem:       308  cl-subs:     1579  v-elim:      0  v-fix:    0  time:  0.55 s
82.53/20.72	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
82.53/20.72	c vivif2 --  cl tried    32875 cl shrink        0 lits rem          0 time: 0.01
82.53/20.74	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.02
82.53/20.75	c calculated reachability. Time: 0.00
82.53/20.75	c  N st    40    238325       482      2109         0     32875      6441    548795   no data   no data
114.44/28.78	c  F st    41    306252       482      2109         0     34534      6441    529370   no data   no data
114.44/28.78	c  N st    41    306252       482      2109         0     34534      6441    529370   no data   no data
117.28/29.47	c Decided on static restart strategy
128.80/32.34	c  N st    51    334550       482      2109         0     38842      6441    612810   no data   no data
139.96/35.13	c  N st    53    357488       482      2109         0     36903      6441    572121   no data   no data
139.96/35.13	c  S st    53    357488       482      2109         0     36903      6441    572121   no data   no data
140.36/35.23	c  S st    53    357993       482      2109         0     37408      6441    584589   no data   no data
140.36/35.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
140.36/35.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
140.36/35.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
140.36/35.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
140.36/35.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
140.36/35.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
140.36/35.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
140.36/35.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
140.36/35.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
141.56/35.57	c lits-rem:       186  cl-subs:     1071  v-elim:      0  v-fix:    0  time:  0.31 s
141.56/35.57	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
141.56/35.58	c vivif2 --  cl tried    36337 cl shrink        0 lits rem          0 time: 0.01
141.96/35.61	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.02
141.96/35.61	c calculated reachability. Time: 0.00
141.96/35.61	c  N st    53    357993       482      2109         0     36337      6441    556597   no data   no data
159.90/40.10	c  N st    54    390386       482      2109         0     42762      6441    705288   no data   no data
187.81/47.15	c  N st    55    438975       482      2109         0     36245      6441    485602   no data   no data
228.89/57.42	c  N st    56    511857       482      2109         0     49563      6441    779605   no data   no data
244.85/61.40	c  N st    57    536990       482      2109         0     43947      6441    641937   no data   no data
244.85/61.40	c  S st    57    536990       482      2109         0     43947      6441    641937   no data   no data
245.25/61.51	c  S st    57    537490       482      2109         0     44447      6441    653002   no data   no data
245.25/61.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
245.25/61.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.01
245.25/61.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
245.25/61.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
245.25/61.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
245.25/61.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
245.25/61.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
245.25/61.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
245.25/61.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
248.04/62.20	c lits-rem:       231  cl-subs:     1901  v-elim:      0  v-fix:    0  time:  0.64 s
248.04/62.20	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
248.04/62.21	c vivif2 --  cl tried    42546 cl shrink        0 lits rem          0 time: 0.01
248.04/62.24	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.03
248.04/62.24	c calculated reachability. Time: 0.00
248.04/62.24	c  N st    57    537490       482      2109         0     42546      6441    609171   no data   no data
360.50/90.47	c  N st    58    701476       482      2109         0     36622      6441    383222   no data   no data
431.07/108.17	c  N st    59    806236       482      2109         0     65537      6441   1043772   no data   no data
431.07/108.17	c  S st    59    806236       482      2109         0     65537      6441   1043772   no data   no data
431.88/108.36	c  S st    59    806740       482      2109         0     66040      6441   1055822   no data   no data
431.88/108.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
431.88/108.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
431.88/108.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
431.88/108.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
431.88/108.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
431.88/108.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
431.88/108.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
432.28/108.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
432.28/108.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
440.25/110.41	c lits-rem:       312  cl-subs:     3746  v-elim:      0  v-fix:    0  time:  1.97 s
440.25/110.41	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
440.25/110.42	c vivif2 --  cl tried    62294 cl shrink        0 lits rem          0 time: 0.01
440.25/110.48	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.05
440.25/110.48	c calculated reachability. Time: 0.00
440.25/110.48	c  N st    59    806740       482      2109         0     62294      6441    981013   no data   no data
642.04/161.02	c  F st    60   1071876       482      2109         0     77954      6441   1256975   no data   no data
642.04/161.02	c  N st    60   1071876       482      2109         0     77954      6441   1256975   no data   no data
649.21/162.80	c Decided on static restart strategy
667.57/167.44	c  N st    70   1100177       482      2109         0     61927      6441    852353   no data   no data
703.05/176.30	c  N st    72   1136170       482      2109         0     52275      6441    611022   no data   no data
732.96/183.80	c  N st    73   1168563       482      2109         0     83628      6441   1299157   no data   no data
773.25/193.92	c  N st    74   1210110       482      2109         0     78361      6441   1221600   no data   no data
773.25/193.92	c  S st    74   1210110       482      2109         0     78361      6441   1221600   no data   no data
774.05/194.18	c  S st    74   1210610       482      2109         0     78860      6441   1233069   no data   no data
774.05/194.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
774.45/194.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
774.45/194.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
774.45/194.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
774.45/194.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
774.45/194.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
774.45/194.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
774.45/194.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
774.45/194.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
790.40/198.27	c lits-rem:       719  cl-subs:     5472  v-elim:      0  v-fix:    0  time:  4.00 s
790.40/198.27	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
790.40/198.29	c vivif2 --  cl tried    73388 cl shrink        0 lits rem          0 time: 0.02
790.80/198.36	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.07
790.80/198.36	c calculated reachability. Time: 0.00
790.80/198.36	c  N st    74   1210610       482      2109         0     73388      6441   1111107   no data   no data
862.59/216.39	c  N st    75   1283494       482      2109         0     49953      6441    503242   no data   no data
970.27/243.33	c  N st    76   1392817       482      2109         0     58353      6441    677977   no data   no data
1131.38/283.72	c  N st    77   1556801       482      2109         0     63017      6441    747594   no data   no data
1296.49/325.18	c  N st    78   1710610       482      2109         0    104925      6441   1764689   no data   no data
1296.49/325.18	c  S st    78   1710610       482      2109         0    104925      6441   1764689   no data   no data
1298.08/325.54	c  S st    78   1711110       482      2109         0    105425      6441   1776818   no data   no data
1298.08/325.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1298.48/325.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1298.48/325.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1298.48/325.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1298.48/325.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1298.48/325.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
1298.48/325.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1298.48/325.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1298.48/325.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1341.20/336.38	c lits-rem:       926  cl-subs:     7841  v-elim:      0  v-fix:    0  time: 10.71 s
1341.20/336.38	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
1341.55/336.41	c vivif2 --  cl tried    97584 cl shrink        0 lits rem          0 time: 0.02
1341.95/336.51	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.10
1341.95/336.51	c calculated reachability. Time: 0.00
1341.95/336.51	c  N st    78   1711110       482      2109         0     97584      6441   1596836   no data   no data
1734.00/434.83	c  N st    79   2080075       482      2109         0    108972      6441   1742486   no data   no data
1901.90/476.91	c  N st    80   2211110       482      2109         0    112832      6441   1698937   no data   no data
1901.90/476.91	c  S st    80   2211110       482      2109         0    112832      6441   1698937   no data   no data
1903.09/477.28	c  S st    80   2211615       482      2109         0    113337      6441   1710603   no data   no data
1903.09/477.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1903.49/477.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
1903.49/477.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1903.49/477.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1903.49/477.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1903.49/477.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
1903.49/477.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1903.49/477.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1903.89/477.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1939.38/486.32	c lits-rem:      1091  cl-subs:    10463  v-elim:      0  v-fix:    0  time:  8.91 s
1939.38/486.32	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
1939.38/486.35	c vivif2 --  cl tried   102874 cl shrink        0 lits rem          0 time: 0.02
1939.77/486.45	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.10
1939.77/486.46	c calculated reachability. Time: 0.00
1939.77/486.46	c  N st    80   2211615       482      2109         0    102874      6441   1512180   no data   no data
2496.52/626.08	c  N st    81   2711615       482      2109         0    126842      6441   2118561   no data   no data
2496.52/626.08	c  S st    81   2711615       482      2109         0    126842      6441   2118561   no data   no data
2498.52/626.55	c  S st    81   2712118       482      2109         0    127344      6441   2130126   no data   no data
2498.52/626.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2498.92/626.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.06
2498.92/626.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2498.92/626.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2498.92/626.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2498.92/626.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
2498.92/626.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2498.92/626.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2499.36/626.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2555.54/640.83	c lits-rem:       857  cl-subs:     7758  v-elim:      0  v-fix:    0  time: 14.12 s
2555.54/640.83	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
2555.54/640.86	c vivif2 --  cl tried   119586 cl shrink        0 lits rem          0 time: 0.03
2555.95/641.00	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.13
2555.95/641.00	c calculated reachability. Time: 0.00
2555.95/641.00	c  N st    81   2712118       482      2109         0    119586      6441   1956400   no data   no data
3175.70/796.35	c  N st    82   3212118       482      2109         0     95152      6441   1150212   no data   no data
3175.70/796.35	c  S st    82   3212118       482      2109         0     95152      6441   1150212   no data   no data
3176.90/796.64	c  S st    82   3212620       482      2109         0     95654      6441   1161695   no data   no data
3176.90/796.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3176.90/796.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
3176.90/796.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3176.90/796.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3176.90/796.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3176.90/796.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
3176.90/796.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3177.30/796.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3177.30/796.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3183.72/798.37	c lits-rem:       186  cl-subs:     3388  v-elim:      0  v-fix:    0  time:  1.62 s
3183.72/798.37	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
3183.72/798.38	c vivif2 --  cl tried    92266 cl shrink        0 lits rem          0 time: 0.02
3184.06/798.47	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.08
3184.06/798.47	c calculated reachability. Time: 0.00
3184.06/798.47	c  N st    82   3212620       482      2109         0     92266      6441   1094720   no data   no data
3946.20/989.56	c  N st    83   3712621       482      2109         0    102932      6441   1246197   no data   no data
3946.20/989.56	c  S st    83   3712621       482      2109         0    102932      6441   1246197   no data   no data
3947.79/989.92	c  S st    83   3713125       482      2109         0    103433      6441   1258201   no data   no data
3947.79/989.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3947.79/989.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
3947.79/989.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3947.79/989.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3947.79/989.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3947.79/989.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
3947.79/989.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3948.19/990.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3948.19/990.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3956.57/992.11	c lits-rem:       209  cl-subs:     3544  v-elim:      0  v-fix:    0  time:  2.07 s
3956.57/992.11	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
3956.57/992.13	c vivif2 --  cl tried    99889 cl shrink        0 lits rem          0 time: 0.02
3956.97/992.23	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.10
3956.97/992.23	c calculated reachability. Time: 0.00
3956.97/992.23	c  N st    83   3713125       482      2109         0     99889      6441   1186601   no data   no data
4006.02/1004.57	c  F st    84   3751562       482      2109         0    137278      6441   2074974   no data   no data
4006.02/1004.57	c  N st    84   3751562       482      2109         0    137278      6441   2074974   no data   no data
4016.40/1007.13	c Decided on static restart strategy
4060.68/1018.27	c  N st    94   3779865       482      2109         0    164912      6441   2757965   no data   no data
4133.23/1036.49	c  N st    96   3815863       482      2109         0    117675      6441   1602572   no data   no data
4193.46/1051.51	c  N st    97   3848255       482      2109         0    149077      6441   2332853   no data   no data
4260.47/1068.31	c  N st    98   3896843       482      2109         0    112495      6441   1432166   no data   no data
4373.33/1096.64	c  N st    99   3969727       482      2109         0     98720      6441   1085434   no data   no data
4555.18/1142.20	c  N st   100   4079052       482      2109         0    119601      6441   1583933   no data   no data
4744.23/1189.65	c  N st   101   4213125       482      2109         0    163316      6441   2608019   no data   no data
4744.23/1189.65	c  S st   101   4213125       482      2109         0    163316      6441   2608019   no data   no data
4746.21/1190.18	c  S st   101   4213628       482      2109         0    163816      6441   2620583   no data   no data
4746.21/1190.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4746.61/1190.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.09
4746.61/1190.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4746.61/1190.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4746.61/1190.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4746.61/1190.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
4746.61/1190.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4747.01/1190.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4747.41/1190.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366393-1305403160/watcher-3366393-1305403160 -o /tmp/evaluation-result-3366393-1305403160/solver-3366393-1305403160 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366393-1305403160.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: 7.45 7.97 8.05 2/359 545
/proc/meminfo: memFree=25737448/32951124 swapFree=63083164/67111528
[pid=545] ppid=543 vsize=20300 CPUtime=0 cores=0,2,4,6
/proc/545/stat : 545 (strangenight2-m) R 543 545 32471 0 -1 4194304 381 0 0 0 0 0 0 0 18 0 1 0 632731632 20787200 321 33554432000 4194304 4580107 140735778863344 18446744073709551615 47307943759312 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/545/statm: 5076 331 288 95 0 58 0
[pid=545/tid=546] ppid=543 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/545/task/546/stat : 546 (strangenight2-m) R 543 545 32471 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 632731632 52396032 347 33554432000 4194304 4580107 140735778863344 18446744073709551615 47307946379186 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=545/tid=547] ppid=543 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/545/task/547/stat : 547 (strangenight2-m) R 543 545 32471 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 632731632 52396032 347 33554432000 4194304 4580107 140735778863344 18446744073709551615 47307946379186 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=545/tid=548] ppid=543 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/545/task/548/stat : 548 (strangenight2-m) R 543 545 32471 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 632731632 52396032 347 33554432000 4194304 4580107 140735778863344 18446744073709551615 264726461425 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.389645 s]
/proc/loadavg: 7.45 7.97 8.05 2/359 545
/proc/meminfo: memFree=25737448/32951124 swapFree=63083164/67111528
[pid=545] ppid=543 vsize=284940 CPUtime=3.42 cores=0,2,4,6
/proc/545/stat : 545 (strangenight2-m) R 543 545 32471 0 -1 4202496 5209 0 0 0 342 0 0 0 19 0 4 0 632731632 291778560 2563 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294692 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/545/statm: 71235 2563 377 95 0 66217 0
[pid=545/tid=546] ppid=543 vsize=284940 CPUtime=0.85 cores=0,2,4,6
/proc/545/task/546/stat : 546 (strangenight2-m) R 543 545 32471 0 -1 4202560 1209 0 0 0 85 0 0 0 21 0 4 0 632731632 291778560 2563 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=545/tid=547] ppid=543 vsize=284940 CPUtime=0.85 cores=0,2,4,6
/proc/545/task/547/stat : 547 (strangenight2-m) R 543 545 32471 0 -1 4202560 1222 0 0 0 85 0 0 0 21 0 4 0 632731632 291778560 2563 33554432000 4194304 4580107 140735778863344 18446744073709551615 4321894 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=545/tid=548] ppid=543 vsize=284940 CPUtime=0.84 cores=0,2,4,6
/proc/545/task/548/stat : 548 (strangenight2-m) R 543 545 32471 0 -1 4202560 1130 0 0 0 84 0 0 0 19 0 4 0 632731632 291778560 2563 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.42
Current children cumulated vsize (KiB) 284940

[startup+0.963961 s]
/proc/loadavg: 7.45 7.97 8.05 2/359 545
/proc/meminfo: memFree=25737448/32951124 swapFree=63083164/67111528
[pid=545] ppid=543 vsize=284940 CPUtime=3.82 cores=0,2,4,6
/proc/545/stat : 545 (strangenight2-m) R 543 545 32471 0 -1 4202496 5468 0 0 0 382 0 0 0 19 0 4 0 632731632 291778560 2822 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294581 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/545/statm: 71235 2822 377 95 0 66217 0
[pid=545/tid=546] ppid=543 vsize=284940 CPUtime=0.95 cores=0,2,4,6
/proc/545/task/546/stat : 546 (strangenight2-m) R 543 545 32471 0 -1 4202560 1277 0 0 0 95 0 0 0 21 0 4 0 632731632 291778560 2822 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=545/tid=547] ppid=543 vsize=284940 CPUtime=0.95 cores=0,2,4,6
/proc/545/task/547/stat : 547 (strangenight2-m) R 543 545 32471 0 -1 4202560 1289 0 0 0 95 0 0 0 21 0 4 0 632731632 291778560 2822 33554432000 4194304 4580107 140735778863344 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=545/tid=548] ppid=543 vsize=284940 CPUtime=0.94 cores=0,2,4,6
/proc/545/task/548/stat : 548 (strangenight2-m) R 543 545 32471 0 -1 4202560 1189 0 0 0 94 0 0 0 19 0 4 0 632731632 291778560 2822 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 284940

[startup+1.00095 s]
/proc/loadavg: 7.45 7.97 8.05 2/359 545
/proc/meminfo: memFree=25737448/32951124 swapFree=63083164/67111528
[pid=545] ppid=543 vsize=285072 CPUtime=3.96 cores=0,2,4,6
/proc/545/stat : 545 (strangenight2-m) R 543 545 32471 0 -1 4202496 5546 0 0 0 396 0 0 0 19 0 4 0 632731632 291913728 2900 33554432000 4194304 4580107 140735778863344 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/545/statm: 71268 2900 377 95 0 66250 0
[pid=545/tid=546] ppid=543 vsize=285072 CPUtime=0.99 cores=0,2,4,6
/proc/545/task/546/stat : 546 (strangenight2-m) R 543 545 32471 0 -1 4202560 1294 0 0 0 99 0 0 0 21 0 4 0 632731632 291913728 2900 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=545/tid=547] ppid=543 vsize=285072 CPUtime=0.99 cores=0,2,4,6
/proc/545/task/547/stat : 547 (strangenight2-m) R 543 545 32471 0 -1 4202560 1308 0 0 0 99 0 0 0 21 0 4 0 632731632 291913728 2900 33554432000 4194304 4580107 140735778863344 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=545/tid=548] ppid=543 vsize=285072 CPUtime=0.98 cores=0,2,4,6
/proc/545/task/548/stat : 548 (strangenight2-m) R 543 545 32471 0 -1 4202560 1212 0 0 0 98 0 0 0 19 0 4 0 632731632 291913728 2900 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 285072

[startup+1.10094 s]
/proc/loadavg: 7.45 7.97 8.05 2/359 545
/proc/meminfo: memFree=25737448/32951124 swapFree=63083164/67111528
[pid=545] ppid=543 vsize=285264 CPUtime=4.37 cores=0,2,4,6
/proc/545/stat : 545 (strangenight2-m) R 543 545 32471 0 -1 4202496 5852 0 0 0 436 1 0 0 19 0 4 0 632731632 292110336 3206 33554432000 4194304 4580107 140735778863344 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/545/statm: 71316 3206 378 95 0 66298 0
[pid=545/tid=546] ppid=543 vsize=285264 CPUtime=1.09 cores=0,2,4,6
/proc/545/task/546/stat : 546 (strangenight2-m) R 543 545 32471 0 -1 4202560 1371 0 0 0 109 0 0 0 21 0 4 0 632731632 292110336 3206 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=545/tid=547] ppid=543 vsize=285264 CPUtime=1.09 cores=0,2,4,6
/proc/545/task/547/stat : 547 (strangenight2-m) R 543 545 32471 0 -1 4202560 1382 0 0 0 109 0 0 0 21 0 4 0 632731632 292110336 3206 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=545/tid=548] ppid=543 vsize=285264 CPUtime=1.08 cores=0,2,4,6
/proc/545/task/548/stat : 548 (strangenight2-m) R 543 545 32471 0 -1 4202560 1290 0 0 0 108 0 0 0 19 0 4 0 632731632 292110336 3206 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 285264

[startup+1.50086 s]
/proc/loadavg: 7.45 7.97 8.05 2/359 545
/proc/meminfo: memFree=25737448/32951124 swapFree=63083164/67111528
[pid=545] ppid=543 vsize=285536 CPUtime=5.96 cores=0,2,4,6
/proc/545/stat : 545 (strangenight2-m) R 543 545 32471 0 -1 4202496 8592 0 0 0 595 1 0 0 20 0 4 0 632731632 292388864 4540 33554432000 4194304 4580107 140735778863344 18446744073709551615 4324067 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/545/statm: 71384 4540 379 95 0 66366 0
[pid=545/tid=546] ppid=543 vsize=285536 CPUtime=1.49 cores=0,2,4,6
/proc/545/task/546/stat : 546 (strangenight2-m) R 543 545 32471 0 -1 4202560 1735 0 0 0 149 0 0 0 23 0 4 0 632731632 292388864 4540 33554432000 4194304 4580107 140735778863344 18446744073709551615 4317523 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=545/tid=547] ppid=543 vsize=285536 CPUtime=1.49 cores=0,2,4,6
/proc/545/task/547/stat : 547 (strangenight2-m) R 543 545 32471 0 -1 4202560 1736 0 0 0 149 0 0 0 23 0 4 0 632731632 292388864 4540 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=545/tid=548] ppid=543 vsize=285536 CPUtime=1.48 cores=0,2,4,6
/proc/545/task/548/stat : 548 (strangenight2-m) R 543 545 32471 0 -1 4202560 1648 0 0 0 148 0 0 0 20 0 4 0 632731632 292388864 4540 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 285536

[startup+3.10056 s]
/proc/loadavg: 7.50 7.97 8.04 9/371 557
/proc/meminfo: memFree=25661156/32951124 swapFree=63083164/67111528
[pid=545] ppid=543 vsize=293032 CPUtime=12.34 cores=0,2,4,6
/proc/545/stat : 545 (strangenight2-m) R 543 545 32471 0 -1 4202496 17764 0 0 0 1230 4 0 0 25 0 4 0 632731632 300064768 8833 33554432000 4194304 4580107 140735778863344 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/545/statm: 73258 8833 379 95 0 68240 0
[pid=545/tid=546] ppid=543 vsize=293032 CPUtime=3.08 cores=0,2,4,6
/proc/545/task/546/stat : 546 (strangenight2-m) R 543 545 32471 0 -1 4202560 3938 0 0 0 308 0 0 0 25 0 4 0 632731632 300064768 8833 33554432000 4194304 4580107 140735778863344 18446744073709551615 4293704 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=545/tid=547] ppid=543 vsize=293032 CPUtime=3.09 cores=0,2,4,6
/proc/545/task/547/stat : 547 (strangenight2-m) R 543 545 32471 0 -1 4202560 4696 0 0 0 308 1 0 0 25 0 4 0 632731632 300064768 8833 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=545/tid=548] ppid=543 vsize=293032 CPUtime=3.05 cores=0,2,4,6
/proc/545/task/548/stat : 548 (strangenight2-m) R 543 545 32471 0 -1 4202560 4335 0 0 0 304 1 0 0 25 0 4 0 632731632 300064768 8833 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 293032

[startup+6.31395 s]
/proc/loadavg: 7.50 7.97 8.04 9/371 558
/proc/meminfo: memFree=25634036/32951124 swapFree=63083164/67111528
[pid=545] ppid=543 vsize=293308 CPUtime=25.15 cores=0,2,4,6
/proc/545/stat : 545 (strangenight2-m) R 543 545 32471 0 -1 4202496 27646 0 0 0 2509 6 0 0 25 0 4 0 632731632 300347392 12450 33554432000 4194304 4580107 140735778863344 18446744073709551615 4293097 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/545/statm: 73327 12450 379 95 0 68309 0
[pid=545/tid=546] ppid=543 vsize=293308 CPUtime=6.3 cores=0,2,4,6
/proc/545/task/546/stat : 546 (strangenight2-m) R 543 545 32471 0 -1 4202560 7015 0 0 0 629 1 0 0 25 0 4 0 632731632 300347392 12450 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=545/tid=547] ppid=543 vsize=293308 CPUtime=6.3 cores=0,2,4,6
/proc/545/task/547/stat : 547 (strangenight2-m) R 543 545 32471 0 -1 4202560 7750 0 0 0 629 1 0 0 25 0 4 0 632731632 300347392 12450 33554432000 4194304 4580107 140735778863344 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=545/tid=548] ppid=543 vsize=293308 CPUtime=6.23 cores=0,2,4,6
/proc/545/task/548/stat : 548 (strangenight2-m) R 543 545 32471 0 -1 4202560 5922 0 0 0 621 2 0 0 25 0 4 0 632731632 300347392 12450 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 293308

[startup+12.7007 s]
/proc/loadavg: 7.54 7.97 8.04 9/371 558
/proc/meminfo: memFree=25587484/32951124 swapFree=63083164/67111528
[pid=545] ppid=543 vsize=303916 CPUtime=50.64 cores=0,2,4,6
/proc/545/stat : 545 (strangenight2-m) R 543 545 32471 0 -1 4202496 45363 0 0 0 5055 9 0 0 25 0 4 0 632731632 311209984 18207 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/545/statm: 75979 18207 379 95 0 70961 0
[pid=545/tid=546] ppid=543 vsize=303916 CPUtime=12.68 cores=0,2,4,6
/proc/545/task/546/stat : 546 (strangenight2-m) R 543 545 32471 0 -1 4202560 11603 0 0 0 1266 2 0 0 25 0 4 0 632731632 311209984 18207 33554432000 4194304 4580107 140735778863344 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=545/tid=547] ppid=543 vsize=303916 CPUtime=12.69 cores=0,2,4,6
/proc/545/task/547/stat : 547 (strangenight2-m) R 543 545 32471 0 -1 4202560 11014 0 0 0 1267 2 0 0 25 0 4 0 632731632 311209984 18207 33554432000 4194304 4580107 140735778863344 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=545/tid=548] ppid=543 vsize=303916 CPUtime=12.55 cores=0,2,4,6
/proc/545/task/548/stat : 548 (strangenight2-m) R 543 545 32471 0 -1 4202560 10137 0 0 0 1253 2 0 0 25 0 4 0 632731632 311209984 18207 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294570 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 303916

[startup+25.5003 s]
/proc/loadavg: 7.64 7.97 8.04 9/371 558
/proc/meminfo: memFree=25521216/32951124 swapFree=63083164/67111528
[pid=545] ppid=543 vsize=304928 CPUtime=101.68 cores=0,2,4,6
/proc/545/stat : 545 (strangenight2-m) R 543 545 32471 0 -1 4202496 69993 0 0 0 10154 14 0 0 25 0 4 0 632731632 312246272 24440 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/545/statm: 76232 24440 379 95 0 71214 0
[pid=545/tid=546] ppid=543 vsize=304928 CPUtime=25.48 cores=0,2,4,6
/proc/545/task/546/stat : 546 (strangenight2-m) R 543 545 32471 0 -1 4202560 18833 0 0 0 2545 3 0 0 25 0 4 0 632731632 312246272 24440 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=545/tid=547] ppid=543 vsize=304928 CPUtime=25.49 cores=0,2,4,6
/proc/545/task/547/stat : 547 (strangenight2-m) R 543 545 32471 0 -1 4202560 17737 0 0 0 2546 3 0 0 25 0 4 0 632731632 312246272 24440 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=545/tid=548] ppid=543 vsize=304928 CPUtime=25.19 cores=0,2,4,6
/proc/545/task/548/stat : 548 (strangenight2-m) R 543 545 32471 0 -1 4202560 14767 0 0 0 2516 3 0 0 25 0 4 0 632731632 312246272 24440 33554432000 4194304 4580107 140735778863344 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 304928

[startup+51.1005 s]
/proc/loadavg: 7.82 7.99 8.05 9/371 559
/proc/meminfo: memFree=25485708/32951124 swapFree=63083164/67111528
[pid=545] ppid=543 vsize=297804 CPUtime=203.77 cores=0,2,4,6
/proc/545/stat : 545 (strangenight2-m) R 543 545 32471 0 -1 4202496 103411 0 0 0 20354 23 0 0 25 0 4 0 632731632 304951296 28429 33554432000 4194304 4580107 140735778863344 18446744073709551615 4293720 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/545/statm: 74451 28429 379 95 0 69433 0
[pid=545/tid=546] ppid=543 vsize=297804 CPUtime=51.07 cores=0,2,4,6
/proc/545/task/546/stat : 546 (strangenight2-m) R 543 545 32471 0 -1 4202560 27181 0 0 0 5101 6 0 0 25 0 4 0 632731632 304951296 28429 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294389 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=545/tid=547] ppid=543 vsize=297804 CPUtime=51.09 cores=0,2,4,6
/proc/545/task/547/stat : 547 (strangenight2-m) R 543 545 32471 0 -1 4202560 27220 0 0 0 5103 6 0 0 25 0 4 0 632731632 304951296 28429 33554432000 4194304 4580107 140735778863344 18446744073709551615 4295946 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=545/tid=548] ppid=543 vsize=297804 CPUtime=50.49 cores=0,2,4,6
/proc/545/task/548/stat : 548 (strangenight2-m) R 543 545 32471 0 -1 4202560 22734 0 0 0 5044 5 0 0 25 0 4 0 632731632 304951296 28429 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.77
Current children cumulated vsize (KiB) 297804

[startup+102.301 s]
/proc/loadavg: 7.93 7.99 8.04 9/371 569
/proc/meminfo: memFree=25421564/32951124 swapFree=63083164/67111528
[pid=545] ppid=543 vsize=312340 CPUtime=407.93 cores=0,2,4,6
/proc/545/stat : 545 (strangenight2-m) R 543 545 32471 0 -1 4202496 156192 0 0 0 40755 38 0 0 25 0 4 0 632731632 319836160 38534 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/545/statm: 78085 38534 379 95 0 73067 0
[pid=545/tid=546] ppid=543 vsize=312340 CPUtime=102.26 cores=0,2,4,6
/proc/545/task/546/stat : 546 (strangenight2-m) R 543 545 32471 0 -1 4202560 42079 0 0 0 10216 10 0 0 25 0 4 0 632731632 319836160 38534 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=545/tid=547] ppid=543 vsize=312340 CPUtime=102.28 cores=0,2,4,6
/proc/545/task/547/stat : 547 (strangenight2-m) R 543 545 32471 0 -1 4202560 39273 0 0 0 10217 11 0 0 25 0 4 0 632731632 319836160 38534 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=545/tid=548] ppid=543 vsize=312340 CPUtime=101.07 cores=0,2,4,6
/proc/545/task/548/stat : 548 (strangenight2-m) R 543 545 32471 0 -1 4202560 38172 0 0 0 10099 8 0 0 25 0 4 0 632731632 319836160 38534 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.93
Current children cumulated vsize (KiB) 312340

[startup+162.301 s]

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

[pid=545] ppid=543 vsize=502364 CPUtime=2561.52 cores=0,2,4,6
/proc/545/stat : 545 (strangenight2-m) R 543 545 32471 0 -1 4202496 460227 0 0 0 256003 149 0 0 25 0 4 0 632731632 514420736 87506 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/545/statm: 125591 87506 379 95 0 120573 0
[pid=545/tid=546] ppid=543 vsize=502364 CPUtime=642.18 cores=0,2,4,6
/proc/545/task/546/stat : 546 (strangenight2-m) R 543 545 32471 0 -1 4202560 117500 0 0 0 64182 36 0 0 25 0 4 0 632731632 514420736 87506 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=545/tid=547] ppid=543 vsize=502364 CPUtime=642.29 cores=0,2,4,6
/proc/545/task/547/stat : 547 (strangenight2-m) R 543 545 32471 0 -1 4202560 135167 0 0 0 64184 45 0 0 25 0 4 0 632731632 514420736 87506 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=545/tid=548] ppid=543 vsize=502364 CPUtime=634.71 cores=0,2,4,6
/proc/545/task/548/stat : 548 (strangenight2-m) R 543 545 32471 0 -1 4202560 107109 0 0 0 63436 35 0 0 25 0 4 0 632731632 514420736 87506 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2561.52
Current children cumulated vsize (KiB) 502364

[startup+702.301 s]
/proc/loadavg: 8.11 8.09 8.06 9/371 585
/proc/meminfo: memFree=24956460/32951124 swapFree=63083164/67111528
[pid=545] ppid=543 vsize=568284 CPUtime=2800.81 cores=0,2,4,6
/proc/545/stat : 545 (strangenight2-m) R 543 545 32471 0 -1 4202496 488775 0 0 0 279921 160 0 0 25 0 4 0 632731632 581922816 95037 33554432000 4194304 4580107 140735778863344 18446744073709551615 4295723 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/545/statm: 142071 95037 379 95 0 137053 0
[pid=545/tid=546] ppid=543 vsize=568284 CPUtime=702.17 cores=0,2,4,6
/proc/545/task/546/stat : 546 (strangenight2-m) R 543 545 32471 0 -1 4202560 124130 0 0 0 70178 39 0 0 25 0 4 0 632731632 581922816 95037 33554432000 4194304 4580107 140735778863344 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=545/tid=547] ppid=543 vsize=568284 CPUtime=702.29 cores=0,2,4,6
/proc/545/task/547/stat : 547 (strangenight2-m) R 543 545 32471 0 -1 4202560 142677 0 0 0 70181 48 0 0 25 0 4 0 632731632 581922816 95037 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=545/tid=548] ppid=543 vsize=568284 CPUtime=694.01 cores=0,2,4,6
/proc/545/task/548/stat : 548 (strangenight2-m) R 543 545 32471 0 -1 4202560 114220 0 0 0 69363 38 0 0 25 0 4 0 632731632 581922816 95037 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2800.81
Current children cumulated vsize (KiB) 568284

[startup+762.3 s]
/proc/loadavg: 8.18 8.12 8.07 9/371 587
/proc/meminfo: memFree=24954304/32951124 swapFree=63083164/67111528
[pid=545] ppid=543 vsize=559512 CPUtime=3040.09 cores=0,2,4,6
/proc/545/stat : 545 (strangenight2-m) R 543 545 32471 0 -1 4202496 513755 0 0 0 303840 169 0 0 25 0 4 0 632731632 572940288 90318 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/545/statm: 139878 90318 379 95 0 134860 0
[pid=545/tid=546] ppid=543 vsize=559512 CPUtime=762.16 cores=0,2,4,6
/proc/545/task/546/stat : 546 (strangenight2-m) R 543 545 32471 0 -1 4202560 132337 0 0 0 76174 42 0 0 25 0 4 0 632731632 572940288 90318 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=545/tid=547] ppid=543 vsize=559512 CPUtime=762.3 cores=0,2,4,6
/proc/545/task/547/stat : 547 (strangenight2-m) R 543 545 32471 0 -1 4202560 150864 0 0 0 76180 50 0 0 25 0 4 0 632731632 572940288 90318 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=545/tid=548] ppid=543 vsize=559512 CPUtime=753.3 cores=0,2,4,6
/proc/545/task/548/stat : 548 (strangenight2-m) R 543 545 32471 0 -1 4202560 118970 0 0 0 75290 40 0 0 25 0 4 0 632731632 572940288 90318 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3040.09
Current children cumulated vsize (KiB) 559512

[startup+822.301 s]
/proc/loadavg: 8.19 8.12 8.08 9/371 588
/proc/meminfo: memFree=24938140/32951124 swapFree=63083164/67111528
[pid=545] ppid=543 vsize=625184 CPUtime=3279.39 cores=0,2,4,6
/proc/545/stat : 545 (strangenight2-m) R 543 545 32471 0 -1 4202496 536849 0 0 0 327760 179 0 0 25 0 4 0 632731632 640188416 98570 33554432000 4194304 4580107 140735778863344 18446744073709551615 4320440 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/545/statm: 156296 98570 379 95 0 151278 0
[pid=545/tid=546] ppid=543 vsize=625184 CPUtime=822.15 cores=0,2,4,6
/proc/545/task/546/stat : 546 (strangenight2-m) R 543 545 32471 0 -1 4202560 141697 0 0 0 82170 45 0 0 25 0 4 0 632731632 640188416 98570 33554432000 4194304 4580107 140735778863344 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=545/tid=547] ppid=543 vsize=625184 CPUtime=822.3 cores=0,2,4,6
/proc/545/task/547/stat : 547 (strangenight2-m) R 543 545 32471 0 -1 4202560 157467 0 0 0 82176 54 0 0 25 0 4 0 632731632 640188416 98570 33554432000 4194304 4580107 140735778863344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=545/tid=548] ppid=543 vsize=625184 CPUtime=812.6 cores=0,2,4,6
/proc/545/task/548/stat : 548 (strangenight2-m) R 543 545 32471 0 -1 4202560 122959 0 0 0 81218 42 0 0 25 0 4 0 632731632 640188416 98570 33554432000 4194304 4580107 140735778863344 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3279.39
Current children cumulated vsize (KiB) 625184

[startup+882.301 s]
/proc/loadavg: 8.22 8.14 8.09 9/371 590
/proc/meminfo: memFree=24842360/32951124 swapFree=63083164/67111528
[pid=545] ppid=543 vsize=637872 CPUtime=3518.68 cores=0,2,4,6
/proc/545/stat : 545 (strangenight2-m) R 543 545 32471 0 -1 4202496 559818 0 0 0 351678 190 0 0 25 0 4 0 632731632 653180928 116304 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/545/statm: 159468 116304 379 95 0 154450 0
[pid=545/tid=546] ppid=543 vsize=637872 CPUtime=882.15 cores=0,2,4,6
/proc/545/task/546/stat : 546 (strangenight2-m) R 543 545 32471 0 -1 4202560 147269 0 0 0 88168 47 0 0 25 0 4 0 632731632 653180928 116304 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=545/tid=547] ppid=543 vsize=637872 CPUtime=882.3 cores=0,2,4,6
/proc/545/task/547/stat : 547 (strangenight2-m) R 543 545 32471 0 -1 4202560 165207 0 0 0 88173 57 0 0 25 0 4 0 632731632 653180928 116304 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=545/tid=548] ppid=543 vsize=637872 CPUtime=871.89 cores=0,2,4,6
/proc/545/task/548/stat : 548 (strangenight2-m) R 543 545 32471 0 -1 4202560 126896 0 0 0 87145 44 0 0 25 0 4 0 632731632 653180928 116304 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3518.68
Current children cumulated vsize (KiB) 637872

[startup+942.3 s]
/proc/loadavg: 8.24 8.16 8.10 9/371 591
/proc/meminfo: memFree=24805744/32951124 swapFree=63083164/67111528
[pid=545] ppid=543 vsize=646460 CPUtime=3757.97 cores=0,2,4,6
/proc/545/stat : 545 (strangenight2-m) R 543 545 32471 0 -1 4202496 573234 0 0 0 375602 195 0 0 25 0 4 0 632731632 661975040 114164 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/545/statm: 161615 114164 379 95 0 156597 0
[pid=545/tid=546] ppid=543 vsize=646460 CPUtime=942.14 cores=0,2,4,6
/proc/545/task/546/stat : 546 (strangenight2-m) R 543 545 32471 0 -1 4202560 150335 0 0 0 94166 48 0 0 25 0 4 0 632731632 661975040 114168 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=545/tid=547] ppid=543 vsize=646460 CPUtime=942.31 cores=0,2,4,6
/proc/545/task/547/stat : 547 (strangenight2-m) R 543 545 32471 0 -1 4202560 171723 0 0 0 94171 60 0 0 25 0 4 0 632731632 661975040 114168 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=545/tid=548] ppid=543 vsize=646460 CPUtime=931.18 cores=0,2,4,6
/proc/545/task/548/stat : 548 (strangenight2-m) R 543 545 32471 0 -1 4202560 127830 0 0 0 93074 44 0 0 25 0 4 0 632731632 661975040 114168 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3757.97
Current children cumulated vsize (KiB) 646460

[startup+1002.3 s]
/proc/loadavg: 8.13 8.14 8.09 9/371 593
/proc/meminfo: memFree=24798984/32951124 swapFree=63083164/67111528
[pid=545] ppid=543 vsize=646556 CPUtime=3997.25 cores=0,2,4,6
/proc/545/stat : 545 (strangenight2-m) R 543 545 32471 0 -1 4202496 589630 0 0 0 399522 203 0 0 25 0 4 0 632731632 662073344 111767 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/545/statm: 161639 111767 379 95 0 156621 0
[pid=545/tid=546] ppid=543 vsize=646556 CPUtime=1002.12 cores=0,2,4,6
/proc/545/task/546/stat : 546 (strangenight2-m) R 543 545 32471 0 -1 4202560 155498 0 0 0 100161 51 0 0 25 0 4 0 632731632 662073344 111767 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=545/tid=547] ppid=543 vsize=646556 CPUtime=1002.3 cores=0,2,4,6
/proc/545/task/547/stat : 547 (strangenight2-m) R 543 545 32471 0 -1 4202560 178109 0 0 0 100167 63 0 0 25 0 4 0 632731632 662073344 111767 33554432000 4194304 4580107 140735778863344 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=545/tid=548] ppid=543 vsize=646556 CPUtime=990.48 cores=0,2,4,6
/proc/545/task/548/stat : 548 (strangenight2-m) R 543 545 32471 0 -1 4202560 129104 0 0 0 99003 45 0 0 25 0 4 0 632731632 662073344 111767 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3997.25
Current children cumulated vsize (KiB) 646556

[startup+1062.31 s]
/proc/loadavg: 8.13 8.14 8.09 9/371 605
/proc/meminfo: memFree=24830564/32951124 swapFree=63083164/67111528
[pid=545] ppid=543 vsize=646160 CPUtime=4236.58 cores=0,2,4,6
/proc/545/stat : 545 (strangenight2-m) R 543 545 32471 0 -1 4202496 600322 0 0 0 423450 208 0 0 25 0 4 0 632731632 661667840 111453 33554432000 4194304 4580107 140735778863344 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/545/statm: 161540 111453 379 95 0 156522 0
[pid=545/tid=546] ppid=543 vsize=646160 CPUtime=1062.13 cores=0,2,4,6
/proc/545/task/546/stat : 546 (strangenight2-m) R 543 545 32471 0 -1 4202560 155625 0 0 0 106162 51 0 0 25 0 4 0 632731632 661667840 111453 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=545/tid=547] ppid=543 vsize=646160 CPUtime=1062.32 cores=0,2,4,6
/proc/545/task/547/stat : 547 (strangenight2-m) R 543 545 32471 0 -1 4202560 184065 0 0 0 106166 66 0 0 25 0 4 0 632731632 661667840 111453 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=545/tid=548] ppid=543 vsize=646160 CPUtime=1049.77 cores=0,2,4,6
/proc/545/task/548/stat : 548 (strangenight2-m) R 543 545 32471 0 -1 4202560 129312 0 0 0 104932 45 0 0 25 0 4 0 632731632 661667840 111453 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4236.58
Current children cumulated vsize (KiB) 646160

[startup+1122.3 s]
/proc/loadavg: 8.05 8.12 8.08 9/371 606
/proc/meminfo: memFree=24794792/32951124 swapFree=63083164/67111528
[pid=545] ppid=543 vsize=712728 CPUtime=4475.81 cores=0,2,4,6
/proc/545/stat : 545 (strangenight2-m) R 543 545 32471 0 -1 4202496 617717 0 0 0 447366 215 0 0 25 0 4 0 632731632 729833472 118503 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/545/statm: 178182 118503 379 95 0 173164 0
[pid=545/tid=546] ppid=543 vsize=712728 CPUtime=1122.1 cores=0,2,4,6
/proc/545/task/546/stat : 546 (strangenight2-m) R 543 545 32471 0 -1 4202560 161787 0 0 0 112156 54 0 0 25 0 4 0 632731632 729833472 118503 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=545/tid=547] ppid=543 vsize=712728 CPUtime=1122.31 cores=0,2,4,6
/proc/545/task/547/stat : 547 (strangenight2-m) R 543 545 32471 0 -1 4202560 190177 0 0 0 112163 68 0 0 25 0 4 0 632731632 729833472 118503 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=545/tid=548] ppid=543 vsize=712728 CPUtime=1109.05 cores=0,2,4,6
/proc/545/task/548/stat : 548 (strangenight2-m) R 543 545 32471 0 -1 4202560 129490 0 0 0 110860 45 0 0 25 0 4 0 632731632 729833472 118503 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4475.81
Current children cumulated vsize (KiB) 712728

[startup+1182.3 s]
/proc/loadavg: 8.06 8.11 8.08 9/371 608
/proc/meminfo: memFree=24745264/32951124 swapFree=63083164/67111528
[pid=545] ppid=543 vsize=605668 CPUtime=4715.1 cores=0,2,4,6
/proc/545/stat : 545 (strangenight2-m) R 543 545 32471 0 -1 4202496 634899 0 0 0 471288 222 0 0 25 0 4 0 632731632 620204032 115544 33554432000 4194304 4580107 140735778863344 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/545/statm: 151417 115544 379 95 0 146399 0
[pid=545/tid=546] ppid=543 vsize=605668 CPUtime=1182.09 cores=0,2,4,6
/proc/545/task/546/stat : 546 (strangenight2-m) R 543 545 32471 0 -1 4202560 164625 0 0 0 118154 55 0 0 25 0 4 0 632731632 620204032 115544 33554432000 4194304 4580107 140735778863344 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=545/tid=547] ppid=543 vsize=605668 CPUtime=1182.31 cores=0,2,4,6
/proc/545/task/547/stat : 547 (strangenight2-m) R 543 545 32471 0 -1 4202560 196304 0 0 0 118160 71 0 0 25 0 4 0 632731632 620204032 115544 33554432000 4194304 4580107 140735778863344 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=545/tid=548] ppid=543 vsize=605668 CPUtime=1168.34 cores=0,2,4,6
/proc/545/task/548/stat : 548 (strangenight2-m) R 543 545 32471 0 -1 4202560 131481 0 0 0 116788 46 0 0 25 0 4 0 632731632 620204032 115544 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4715.1
Current children cumulated vsize (KiB) 605668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.04 8.10 8.08 9/371 608
/proc/meminfo: memFree=24725536/32951124 swapFree=63083164/67111528
[pid=545] ppid=543 vsize=776068 CPUtime=4800.06 cores=0,2,4,6
/proc/545/stat : 545 (strangenight2-m) R 543 545 32471 0 -1 4202496 642017 0 0 0 479780 226 0 0 25 0 4 0 632731632 794693632 122661 33554432000 4194304 4580107 140735778863344 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/545/statm: 194017 122661 379 95 0 188999 0
[pid=545/tid=546] ppid=543 vsize=776068 CPUtime=1203.4 cores=0,2,4,6
/proc/545/task/546/stat : 546 (strangenight2-m) R 543 545 32471 0 -1 4202560 165739 0 0 0 120284 56 0 0 25 0 4 0 632731632 794693632 122662 33554432000 4194304 4580107 140735778863344 18446744073709551615 4305629 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=545/tid=547] ppid=543 vsize=776068 CPUtime=1203.62 cores=0,2,4,6
/proc/545/task/547/stat : 547 (strangenight2-m) R 543 545 32471 0 -1 4202560 197626 0 0 0 120290 72 0 0 25 0 4 0 632731632 794693632 122662 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=545/tid=548] ppid=543 vsize=776068 CPUtime=1189.4 cores=0,2,4,6
/proc/545/task/548/stat : 548 (strangenight2-m) R 543 545 32471 0 -1 4202560 132515 0 0 0 118893 47 0 0 25 0 4 0 632731632 794693632 122662 33554432000 4194304 4580107 140735778863344 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 776068

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.64
CPU time (s): 4800.15
CPU user time (s): 4797.86
CPU system time (s): 2.28565
CPU usage (%): 398.801
Max. virtual memory (cumulated for all children) (KiB): 776068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.86
system time used= 2.28565
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 642018
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= 262
involuntary context switches= 23125

runsolver used 3.9484 second user time and 10.3114 second system time

The end

Launcher Data 

Begin job on node141 at 2011-05-14 21:59:20
IDJOB=3366393
IDBENCH=82802
IDSOLVER=1844
FILE ID=node141/3366393-1305403160
RUNJOBID= node141-1305403160-530
PBS_JOBID= 13324452
Free space on /tmp= 73300 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v500-c2130-S481747904-003.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366393-1305403160/watcher-3366393-1305403160 -o /tmp/evaluation-result-3366393-1305403160/solver-3366393-1305403160 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366393-1305403160.cnf

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

MD5SUM BENCH= 1e904bd81be11487c7596e10e18e4cd6
RANDOM SEED=925326052

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25737836 kB
Buffers:        226024 kB
Cached:        4779336 kB
SwapCached:      15708 kB
Active:        1971720 kB
Inactive:      5002236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25737836 kB
SwapTotal:    67111528 kB
SwapFree:     63083164 kB
Dirty:           11048 kB
Writeback:           0 kB
AnonPages:     1959940 kB
Mapped:          12416 kB
Slab:           135988 kB
PageTables:      38124 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 86230936 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= 73288 MiB
End job on node141 at 2011-05-14 22:19:26