Trace number 3173984

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

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.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-3173984-1304075093.cnf'
0.00/0.00	c -- header says num vars:            500
0.00/0.00	c -- header says num clauses:        2130
0.00/0.00	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.00	c -- vars added        500
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       500      2130         0         0      6390         0   no data   no data
0.00/0.00	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.00
0.00/0.00	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.03	c lits-rem:         0  cl-subs:        0  v-elim:     17  v-fix:    0  time:  0.00 s
0.00/0.03	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.03	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.03	c calculated reachability. Time: 0.00
0.00/0.03	c Calc default polars -  time:   0.00 s pos:     231 undec:      69 neg:     200
0.00/0.03	c =========================================================================================
0.00/0.03	c types(t): F = full restart, N = normal restart
0.00/0.03	c types(t): S = simplification begin/end, E = solution found
0.00/0.03	c restart types(rt): st = static, dy = dynamic
0.00/0.03	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.03	c  B st     0         0       483      2114         0         0      6456         0   no data   no data
0.21/0.13	c Decided on static restart strategy
0.78/0.23	c  N st     8      4917       483      2114         0      4847      6456    117616   no data   no data
1.58/0.41	c  N st    10     11302       483      2114         0      4477      6456     78350   no data   no data
2.38/0.66	c  N st    11     17046       483      2114         0     10080      6456    203298   no data   no data
3.99/1.06	c  F st    12     25001       483      2114         0     12343      6456    264859   no data   no data
3.99/1.07	c  N st    12     25001       483      2114         0     12343      6456    264859   no data   no data
5.17/1.31	c Decided on static restart strategy
5.17/1.31	c  N st    18     30001       483      2114         0     10632      6456    196832   no data   no data
5.17/1.31	c  S st    18     30001       483      2114         0     10632      6456    196832   no data   no data
5.17/1.34	c  S st    18     30506       483      2114         0     11137      6456    207923   no data   no data
5.17/1.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.17/1.34	c blocked clauses removed:        5 vars:      1 tried:         483 T: 0.00 s
5.17/1.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
5.17/1.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.17/1.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.17/1.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.40	c lits-rem:       173  cl-subs:      557  v-elim:      0  v-fix:    0  time:  0.05 s
5.57/1.40	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.01
5.57/1.40	c calculated reachability. Time: 0.00
5.57/1.40	c  N st    18     30506       482      2109         0     10580      6441    194268   no data   no data
6.77/1.79	c  N st    20     37616       482      2109         0      9847      6441    161376   no data   no data
8.38/2.17	c  N st    21     44015       482      2109         0     16151      6441    315874   no data   no data
8.79/2.29	c  S st    22     45759       482      2109         0      9092      6441    128630   no data   no data
9.17/2.32	c  S st    22     46266       482      2109         0      9597      6441    140740   no data   no data
9.17/2.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.17/2.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.17/2.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.17/2.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.17/2.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.17/2.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
9.17/2.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.17/2.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.17/2.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.17/2.34	c lits-rem:        10  cl-subs:       49  v-elim:      0  v-fix:    0  time:  0.01 s
9.17/2.34	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
9.17/2.34	c vivif2 --  cl tried     9548 cl shrink        0 lits rem          0 time: 0.00
9.17/2.34	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.01
9.17/2.34	c calculated reachability. Time: 0.00
9.17/2.34	c  N st    22     46266       482      2109         0      9548      6441    139539   no data   no data
12.79/3.23	c  N st    23     60663       482      2109         0     13873      6441    237714   no data   no data
15.16/3.82	c  N st    24     69399       482      2109         0     11683      6441    169120   no data   no data
15.16/3.82	c  S st    24     69399       482      2109         0     11683      6441    169120   no data   no data
15.16/3.86	c  S st    24     69904       482      2109         0     12186      6441    181607   no data   no data
15.16/3.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.16/3.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.16/3.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.16/3.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.16/3.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.16/3.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
15.16/3.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.16/3.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.16/3.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.16/3.89	c lits-rem:        28  cl-subs:      135  v-elim:      0  v-fix:    0  time:  0.02 s
15.16/3.89	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
15.16/3.89	c vivif2 --  cl tried    12051 cl shrink        0 lits rem          0 time: 0.00
15.56/3.90	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.01
15.56/3.90	c calculated reachability. Time: 0.00
15.56/3.90	c  N st    24     69904       482      2109         0     12051      6441    178445   no data   no data
20.36/5.13	c  F st    25     87501       482      2109         0     17563      6441    302420   no data   no data
20.36/5.13	c  N st    25     87501       482      2109         0     17563      6441    302420   no data   no data
21.98/5.51	c Decided on static restart strategy
22.75/5.76	c  N st    32     95539       482      2109         0     25446      6441    492174   no data   no data
25.54/6.42	c  N st    34    104857       482      2109         0     21813      6441    390827   no data   no data
25.54/6.42	c  S st    34    104857       482      2109         0     21813      6441    390827   no data   no data
25.54/6.48	c  S st    34    105363       482      2109         0     22318      6441    402133   no data   no data
25.54/6.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.54/6.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
25.54/6.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.54/6.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.54/6.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.54/6.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
25.54/6.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.54/6.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
25.54/6.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.37/6.63	c lits-rem:       191  cl-subs:      732  v-elim:      0  v-fix:    0  time:  0.13 s
26.37/6.63	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
26.37/6.64	c vivif2 --  cl tried    21586 cl shrink        0 lits rem          0 time: 0.00
26.37/6.65	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.01
26.37/6.65	c calculated reachability. Time: 0.00
26.37/6.65	c  N st    34    105363       482      2109         0     21586      6441    383175   no data   no data
29.54/7.46	c  N st    35    114962       482      2109         0     17267      6441    255745   no data   no data
34.34/8.69	c  N st    36    129359       482      2109         0     16662      6441    222438   no data   no data
41.93/10.51	c  N st    37    150954       482      2109         0     22158      6441    349110   no data   no data
44.32/11.10	c  S st    38    158044       482      2109         0     29152      6441    528192   no data   no data
44.32/11.17	c  S st    38    158548       482      2109         0     29656      6441    540049   no data   no data
44.32/11.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.32/11.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
44.32/11.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.32/11.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.32/11.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.32/11.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
44.32/11.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.32/11.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
44.72/11.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.52/11.46	c lits-rem:       278  cl-subs:      876  v-elim:      0  v-fix:    0  time:  0.26 s
45.52/11.46	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
45.52/11.47	c vivif2 --  cl tried    28780 cl shrink        0 lits rem          0 time: 0.01
45.52/11.48	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.02
45.52/11.49	c calculated reachability. Time: 0.00
45.52/11.49	c  N st    38    158548       482      2109         0     28780      6441    517741   no data   no data
65.10/16.40	c  N st    39    207136       482      2109         0     23438      6441    332406   no data   no data
79.48/19.98	c  N st    40    237822       482      2109         0     33952      6441    577761   no data   no data
79.48/19.98	c  S st    40    237822       482      2109         0     33952      6441    577761   no data   no data
79.88/20.07	c  S st    40    238325       482      2109         0     34454      6441    589870   no data   no data
79.88/20.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
79.88/20.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
79.88/20.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
79.88/20.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
79.88/20.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.88/20.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
79.88/20.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
79.88/20.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
80.28/20.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.28/20.65	c lits-rem:       308  cl-subs:     1579  v-elim:      0  v-fix:    0  time:  0.54 s
82.28/20.65	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
82.28/20.66	c vivif2 --  cl tried    32875 cl shrink        0 lits rem          0 time: 0.01
82.28/20.68	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.02
82.28/20.68	c calculated reachability. Time: 0.00
82.28/20.68	c  N st    40    238325       482      2109         0     32875      6441    548795   no data   no data
114.62/28.70	c  F st    41    306252       482      2109         0     34534      6441    529370   no data   no data
114.62/28.70	c  N st    41    306252       482      2109         0     34534      6441    529370   no data   no data
117.03/29.38	c Decided on static restart strategy
128.61/32.26	c  N st    51    334550       482      2109         0     38842      6441    612810   no data   no data
139.80/35.05	c  N st    53    357488       482      2109         0     36903      6441    572121   no data   no data
139.80/35.05	c  S st    53    357488       482      2109         0     36903      6441    572121   no data   no data
140.22/35.15	c  S st    53    357993       482      2109         0     37408      6441    584589   no data   no data
140.22/35.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
140.22/35.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
140.22/35.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
140.22/35.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
140.22/35.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
140.22/35.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
140.22/35.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
140.22/35.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
140.22/35.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
141.80/35.50	c lits-rem:       186  cl-subs:     1071  v-elim:      0  v-fix:    0  time:  0.31 s
141.80/35.50	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
141.80/35.50	c vivif2 --  cl tried    36337 cl shrink        0 lits rem          0 time: 0.01
141.80/35.53	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.02
141.80/35.53	c calculated reachability. Time: 0.00
141.80/35.53	c  N st    53    357993       482      2109         0     36337      6441    556597   no data   no data
159.78/40.00	c  N st    54    390386       482      2109         0     42762      6441    705288   no data   no data
187.74/47.06	c  N st    55    438975       482      2109         0     36245      6441    485602   no data   no data
228.90/57.35	c  N st    56    511857       482      2109         0     49563      6441    779605   no data   no data
244.87/61.33	c  N st    57    536990       482      2109         0     43947      6441    641937   no data   no data
244.87/61.33	c  S st    57    536990       482      2109         0     43947      6441    641937   no data   no data
245.27/61.44	c  S st    57    537490       482      2109         0     44447      6441    653002   no data   no data
245.27/61.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
245.27/61.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.01
245.27/61.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
245.27/61.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
245.27/61.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
245.27/61.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
245.27/61.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
245.27/61.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
245.27/61.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
248.07/62.13	c lits-rem:       231  cl-subs:     1901  v-elim:      0  v-fix:    0  time:  0.64 s
248.07/62.13	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
248.07/62.13	c vivif2 --  cl tried    42546 cl shrink        0 lits rem          0 time: 0.01
248.07/62.16	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.03
248.07/62.16	c calculated reachability. Time: 0.00
248.07/62.16	c  N st    57    537490       482      2109         0     42546      6441    609171   no data   no data
360.73/90.35	c  N st    58    701476       482      2109         0     36622      6441    383222   no data   no data
431.44/108.03	c  N st    59    806236       482      2109         0     65537      6441   1043772   no data   no data
431.44/108.03	c  S st    59    806236       482      2109         0     65537      6441   1043772   no data   no data
432.24/108.22	c  S st    59    806740       482      2109         0     66040      6441   1055822   no data   no data
432.24/108.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
432.24/108.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
432.24/108.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
432.24/108.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
432.24/108.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
432.24/108.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
432.24/108.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
432.24/108.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
432.64/108.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
440.23/110.27	c lits-rem:       312  cl-subs:     3746  v-elim:      0  v-fix:    0  time:  1.96 s
440.23/110.27	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
440.23/110.28	c vivif2 --  cl tried    62294 cl shrink        0 lits rem          0 time: 0.01
440.63/110.33	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.05
440.63/110.34	c calculated reachability. Time: 0.00
440.63/110.34	c  N st    59    806740       482      2109         0     62294      6441    981013   no data   no data
642.77/160.94	c  F st    60   1071876       482      2109         0     77954      6441   1256975   no data   no data
642.77/160.94	c  N st    60   1071876       482      2109         0     77954      6441   1256975   no data   no data
649.98/162.71	c Decided on static restart strategy
668.33/167.35	c  N st    70   1100177       482      2109         0     61927      6441    852353   no data   no data
703.89/176.20	c  N st    72   1136170       482      2109         0     52275      6441    611022   no data   no data
733.47/183.67	c  N st    73   1168563       482      2109         0     83628      6441   1299157   no data   no data
773.79/193.79	c  N st    74   1210110       482      2109         0     78361      6441   1221600   no data   no data
773.79/193.79	c  S st    74   1210110       482      2109         0     78361      6441   1221600   no data   no data
775.00/194.04	c  S st    74   1210610       482      2109         0     78860      6441   1233069   no data   no data
775.00/194.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
775.00/194.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
775.00/194.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
775.00/194.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
775.00/194.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
775.00/194.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
775.00/194.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
775.40/194.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
775.40/194.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
790.99/198.09	c lits-rem:       719  cl-subs:     5472  v-elim:      0  v-fix:    0  time:  3.95 s
790.99/198.09	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
791.37/198.10	c vivif2 --  cl tried    73388 cl shrink        0 lits rem          0 time: 0.02
791.37/198.17	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.07
791.37/198.17	c calculated reachability. Time: 0.00
791.37/198.17	c  N st    74   1210610       482      2109         0     73388      6441   1111107   no data   no data
863.67/216.27	c  N st    75   1283494       482      2109         0     49953      6441    503242   no data   no data
971.52/243.23	c  N st    76   1392817       482      2109         0     58353      6441    677977   no data   no data
1132.91/283.61	c  N st    77   1556801       482      2109         0     63017      6441    747594   no data   no data
1298.29/325.03	c  N st    78   1710610       482      2109         0    104925      6441   1764689   no data   no data
1298.29/325.03	c  S st    78   1710610       482      2109         0    104925      6441   1764689   no data   no data
1299.49/325.38	c  S st    78   1711110       482      2109         0    105425      6441   1776818   no data   no data
1299.49/325.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1299.89/325.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1299.89/325.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1299.89/325.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1299.89/325.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1299.89/325.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
1299.89/325.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1299.89/325.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1300.30/325.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1342.63/336.13	c lits-rem:       926  cl-subs:     7841  v-elim:      0  v-fix:    0  time: 10.61 s
1342.63/336.13	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
1342.63/336.15	c vivif2 --  cl tried    97584 cl shrink        0 lits rem          0 time: 0.02
1343.02/336.25	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.10
1343.02/336.25	c calculated reachability. Time: 0.00
1343.02/336.25	c  N st    78   1711110       482      2109         0     97584      6441   1596836   no data   no data
1736.10/434.64	c  N st    79   2080075       482      2109         0    108972      6441   1742486   no data   no data
1903.87/476.68	c  N st    80   2211110       482      2109         0    112832      6441   1698937   no data   no data
1903.87/476.68	c  S st    80   2211110       482      2109         0    112832      6441   1698937   no data   no data
1905.47/477.05	c  S st    80   2211615       482      2109         0    113337      6441   1710603   no data   no data
1905.47/477.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1905.87/477.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
1905.87/477.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1905.87/477.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1905.87/477.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1905.87/477.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
1905.87/477.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1905.87/477.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1905.87/477.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1941.42/486.01	c lits-rem:      1091  cl-subs:    10463  v-elim:      0  v-fix:    0  time:  8.82 s
1941.42/486.01	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
1941.42/486.03	c vivif2 --  cl tried   102874 cl shrink        0 lits rem          0 time: 0.02
1941.84/486.13	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.10
1941.84/486.14	c calculated reachability. Time: 0.00
1941.84/486.14	c  N st    80   2211615       482      2109         0    102874      6441   1512180   no data   no data
2500.28/625.97	c  N st    81   2711615       482      2109         0    126842      6441   2118561   no data   no data
2500.28/625.97	c  S st    81   2711615       482      2109         0    126842      6441   2118561   no data   no data
2502.26/626.44	c  S st    81   2712118       482      2109         0    127344      6441   2130126   no data   no data
2502.26/626.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2502.66/626.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.06
2502.66/626.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2502.66/626.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2502.66/626.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2502.66/626.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
2502.66/626.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2502.66/626.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2503.06/626.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2558.18/640.48	c lits-rem:       857  cl-subs:     7758  v-elim:      0  v-fix:    0  time: 13.87 s
2558.18/640.48	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
2558.58/640.51	c vivif2 --  cl tried   119586 cl shrink        0 lits rem          0 time: 0.03
2558.98/640.66	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.15
2558.98/640.66	c calculated reachability. Time: 0.00
2558.98/640.66	c  N st    81   2712118       482      2109         0    119586      6441   1956400   no data   no data
3184.53/797.28	c  N st    82   3212118       482      2109         0     95152      6441   1150212   no data   no data
3184.53/797.28	c  S st    82   3212118       482      2109         0     95152      6441   1150212   no data   no data
3186.12/797.66	c  S st    82   3212620       482      2109         0     95654      6441   1161695   no data   no data
3186.12/797.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3186.52/797.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
3186.52/797.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3186.52/797.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3186.52/797.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3186.52/797.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
3186.52/797.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3186.52/797.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3186.52/797.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3196.51/800.27	c lits-rem:       186  cl-subs:     3388  v-elim:      0  v-fix:    0  time:  2.47 s
3196.51/800.27	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
3196.51/800.29	c vivif2 --  cl tried    92266 cl shrink        0 lits rem          0 time: 0.02
3197.31/800.40	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.11
3197.31/800.41	c calculated reachability. Time: 0.00
3197.31/800.41	c  N st    82   3212620       482      2109         0     92266      6441   1094720   no data   no data
3945.10/987.69	c  N st    83   3712621       482      2109         0    102932      6441   1246197   no data   no data
3945.10/987.69	c  S st    83   3712621       482      2109         0    102932      6441   1246197   no data   no data
3946.69/988.05	c  S st    83   3713125       482      2109         0    103433      6441   1258201   no data   no data
3946.69/988.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3947.09/988.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
3947.09/988.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3947.09/988.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3947.09/988.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3947.09/988.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
3947.09/988.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3947.09/988.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3947.09/988.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3955.48/990.23	c lits-rem:       209  cl-subs:     3544  v-elim:      0  v-fix:    0  time:  2.06 s
3955.48/990.23	c vivif2 --  cl tried     2109 cl shrink        0 lits rem          0 time: 0.00
3955.48/990.25	c vivif2 --  cl tried    99889 cl shrink        0 lits rem          0 time: 0.02
3955.88/990.35	c asymm  cl-useful: 0/2109/2109 lits-rem:0 time: 0.10
3955.88/990.35	c calculated reachability. Time: 0.00
3955.88/990.35	c  N st    83   3713125       482      2109         0     99889      6441   1186601   no data   no data
4011.42/1004.23	c  F st    84   3751562       482      2109         0    137278      6441   2074974   no data   no data
4011.42/1004.23	c  N st    84   3751562       482      2109         0    137278      6441   2074974   no data   no data
4022.98/1007.17	c Decided on static restart strategy
4066.53/1018.04	c  N st    94   3779865       482      2109         0    164912      6441   2757965   no data   no data
4122.85/1032.15	c  N st    96   3815863       482      2109         0    117675      6441   1602572   no data   no data
4182.37/1047.03	c  N st    97   3848255       482      2109         0    149077      6441   2332853   no data   no data
4249.87/1063.94	c  N st    98   3896843       482      2109         0    112495      6441   1432166   no data   no data
4362.53/1092.10	c  N st    99   3969727       482      2109         0     98720      6441   1085434   no data   no data
4543.50/1137.49	c  N st   100   4079052       482      2109         0    119601      6441   1583933   no data   no data
4732.81/1184.82	c  N st   101   4213125       482      2109         0    163316      6441   2608019   no data   no data
4732.81/1184.82	c  S st   101   4213125       482      2109         0    163316      6441   2608019   no data   no data
4734.81/1185.35	c  S st   101   4213628       482      2109         0    163816      6441   2620583   no data   no data
4734.81/1185.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4735.21/1185.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.09
4735.21/1185.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4735.21/1185.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4735.21/1185.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4735.21/1185.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
4735.21/1185.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4735.21/1185.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4735.61/1185.57	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: 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-3173984-1304075093/watcher-3173984-1304075093 -o /tmp/evaluation-result-3173984-1304075093/solver-3173984-1304075093 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173984-1304075093.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: 3.40 4.29 5.64 5/180 30939
/proc/meminfo: memFree=22129300/32950928 swapFree=67111524/67111528
[pid=30939] ppid=30937 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/30939/stat : 30939 (strangenight2-m) R 30937 30939 30047 0 -1 4202496 409 0 0 0 0 0 0 0 25 0 4 0 519108105 52441088 348 33554432000 4194304 4627427 140734219961520 18446744073709551615 47150779836338 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30939/statm: 12803 348 299 106 0 7774 0
[pid=30939/tid=30940] ppid=30937 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/30939/task/30940/stat : 30940 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 519108105 52441088 348 33554432000 4194304 4627427 140734219961520 18446744073709551615 268272745457 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30939/tid=30941] ppid=30937 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/30939/task/30941/stat : 30941 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 519108105 52441088 348 33554432000 4194304 4627427 140734219961520 18446744073709551615 268284486710 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30939/tid=30942] ppid=30937 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/30939/task/30942/stat : 30942 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 519108105 52441088 348 33554432000 4194304 4627427 140734219961520 18446744073709551615 47150779836338 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0565449 s]
/proc/loadavg: 3.40 4.29 5.64 5/180 30939
/proc/meminfo: memFree=22129300/32950928 swapFree=67111524/67111528
[pid=30939] ppid=30937 vsize=282204 CPUtime=0.21 cores=0,2,4,6
/proc/30939/stat : 30939 (strangenight2-m) R 30937 30939 30047 0 -1 4202496 1434 0 0 0 21 0 0 0 25 0 4 0 519108105 288976896 1337 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30939/statm: 70551 1338 384 106 0 65522 0
[pid=30939/tid=30940] ppid=30937 vsize=282204 CPUtime=0.04 cores=0,2,4,6
/proc/30939/task/30940/stat : 30940 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 283 0 0 0 4 0 0 0 25 0 4 0 519108105 288976896 1338 33554432000 4194304 4627427 140734219961520 18446744073709551615 4310589 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30939/tid=30941] ppid=30937 vsize=282204 CPUtime=0.05 cores=0,2,4,6
/proc/30939/task/30941/stat : 30941 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 255 0 0 0 5 0 0 0 25 0 4 0 519108105 288976896 1338 33554432000 4194304 4627427 140734219961520 18446744073709551615 4330046 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30939/tid=30942] ppid=30937 vsize=282204 CPUtime=0.05 cores=0,2,4,6
/proc/30939/task/30942/stat : 30942 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 202 0 0 0 5 0 0 0 25 0 4 0 519108105 288976896 1338 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 282204

[startup+0.156527 s]
/proc/loadavg: 3.40 4.29 5.64 5/180 30939
/proc/meminfo: memFree=22129300/32950928 swapFree=67111524/67111528
[pid=30939] ppid=30937 vsize=282648 CPUtime=0.61 cores=0,2,4,6
/proc/30939/stat : 30939 (strangenight2-m) R 30937 30939 30047 0 -1 4202496 1964 0 0 0 61 0 0 0 25 0 4 0 519108105 289431552 1728 33554432000 4194304 4627427 140734219961520 18446744073709551615 4327509 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30939/statm: 70662 1728 385 106 0 65633 0
[pid=30939/tid=30940] ppid=30937 vsize=282648 CPUtime=0.14 cores=0,2,4,6
/proc/30939/task/30940/stat : 30940 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 393 0 0 0 14 0 0 0 25 0 4 0 519108105 289431552 1728 33554432000 4194304 4627427 140734219961520 18446744073709551615 4330061 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30939/tid=30941] ppid=30937 vsize=282648 CPUtime=0.15 cores=0,2,4,6
/proc/30939/task/30941/stat : 30941 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 366 0 0 0 15 0 0 0 25 0 4 0 519108105 289431552 1728 33554432000 4194304 4627427 140734219961520 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30939/tid=30942] ppid=30937 vsize=282648 CPUtime=0.15 cores=0,2,4,6
/proc/30939/task/30942/stat : 30942 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 388 0 0 0 15 0 0 0 25 0 4 0 519108105 289431552 1728 33554432000 4194304 4627427 140734219961520 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 282648

[startup+0.300501 s]
/proc/loadavg: 3.40 4.29 5.64 5/180 30939
/proc/meminfo: memFree=22129300/32950928 swapFree=67111524/67111528
[pid=30939] ppid=30937 vsize=283796 CPUtime=1.18 cores=0,2,4,6
/proc/30939/stat : 30939 (strangenight2-m) R 30937 30939 30047 0 -1 4202496 2736 0 0 0 118 0 0 0 25 0 4 0 519108105 290607104 2080 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30939/statm: 70949 2080 385 106 0 65920 0
[pid=30939/tid=30940] ppid=30937 vsize=283796 CPUtime=0.29 cores=0,2,4,6
/proc/30939/task/30940/stat : 30940 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 608 0 0 0 29 0 0 0 25 0 4 0 519108105 290607104 2080 33554432000 4194304 4627427 140734219961520 18446744073709551615 4330282 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30939/tid=30941] ppid=30937 vsize=283796 CPUtime=0.29 cores=0,2,4,6
/proc/30939/task/30941/stat : 30941 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 570 0 0 0 29 0 0 0 25 0 4 0 519108105 290607104 2080 33554432000 4194304 4627427 140734219961520 18446744073709551615 4321405 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30939/tid=30942] ppid=30937 vsize=283796 CPUtime=0.29 cores=0,2,4,6
/proc/30939/task/30942/stat : 30942 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 530 0 0 0 29 0 0 0 25 0 4 0 519108105 290607104 2080 33554432000 4194304 4627427 140734219961520 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283796

[startup+0.700431 s]
/proc/loadavg: 3.40 4.29 5.64 5/180 30939
/proc/meminfo: memFree=22129300/32950928 swapFree=67111524/67111528
[pid=30939] ppid=30937 vsize=284688 CPUtime=2.78 cores=0,2,4,6
/proc/30939/stat : 30939 (strangenight2-m) R 30937 30939 30047 0 -1 4202496 4293 0 0 0 278 0 0 0 25 0 4 0 519108105 291520512 2778 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30939/statm: 71172 2778 385 106 0 66143 0
[pid=30939/tid=30940] ppid=30937 vsize=284688 CPUtime=0.69 cores=0,2,4,6
/proc/30939/task/30940/stat : 30940 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 1005 0 0 0 69 0 0 0 25 0 4 0 519108105 291520512 2778 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30939/tid=30941] ppid=30937 vsize=284688 CPUtime=0.69 cores=0,2,4,6
/proc/30939/task/30941/stat : 30941 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 965 0 0 0 69 0 0 0 25 0 4 0 519108105 291520512 2778 33554432000 4194304 4627427 140734219961520 18446744073709551615 4327492 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30939/tid=30942] ppid=30937 vsize=284688 CPUtime=0.69 cores=0,2,4,6
/proc/30939/task/30942/stat : 30942 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 910 0 0 0 69 0 0 0 25 0 4 0 519108105 291520512 2778 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309111 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 284688

[startup+1.50029 s]
/proc/loadavg: 3.40 4.29 5.64 9/184 30943
/proc/meminfo: memFree=22101988/32950928 swapFree=67111524/67111528
[pid=30939] ppid=30937 vsize=285840 CPUtime=5.97 cores=0,2,4,6
/proc/30939/stat : 30939 (strangenight2-m) R 30937 30939 30047 0 -1 4202496 8570 0 0 0 596 1 0 0 25 0 4 0 519108105 292700160 4584 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309206 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30939/statm: 71460 4584 389 106 0 66431 0
[pid=30939/tid=30940] ppid=30937 vsize=285840 CPUtime=1.48 cores=0,2,4,6
/proc/30939/task/30940/stat : 30940 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 1757 0 0 0 148 0 0 0 25 0 4 0 519108105 292700160 4584 33554432000 4194304 4627427 140734219961520 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30939/tid=30941] ppid=30937 vsize=285840 CPUtime=1.49 cores=0,2,4,6
/proc/30939/task/30941/stat : 30941 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 1710 0 0 0 149 0 0 0 25 0 4 0 519108105 292700160 4584 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309122 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30939/tid=30942] ppid=30937 vsize=285840 CPUtime=1.49 cores=0,2,4,6
/proc/30939/task/30942/stat : 30942 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 1655 0 0 0 149 0 0 0 25 0 4 0 519108105 292700160 4584 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285840

[startup+3.10101 s]
/proc/loadavg: 3.40 4.29 5.64 9/184 30943
/proc/meminfo: memFree=22083388/32950928 swapFree=67111524/67111528
[pid=30939] ppid=30937 vsize=291036 CPUtime=12.36 cores=0,2,4,6
/proc/30939/stat : 30939 (strangenight2-m) R 30937 30939 30047 0 -1 4202496 17737 0 0 0 1234 2 0 0 25 0 4 0 519108105 298020864 8758 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309170 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30939/statm: 72759 8758 389 106 0 67730 0
[pid=30939/tid=30940] ppid=30937 vsize=291036 CPUtime=3.07 cores=0,2,4,6
/proc/30939/task/30940/stat : 30940 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 3951 0 0 0 307 0 0 0 25 0 4 0 519108105 298020864 8758 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30939/tid=30941] ppid=30937 vsize=291036 CPUtime=3.08 cores=0,2,4,6
/proc/30939/task/30941/stat : 30941 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 4671 0 0 0 308 0 0 0 25 0 4 0 519108105 298020864 8758 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309179 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30939/tid=30942] ppid=30937 vsize=291036 CPUtime=3.09 cores=0,2,4,6
/proc/30939/task/30942/stat : 30942 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 4350 0 0 0 309 0 0 0 25 0 4 0 519108105 298020864 8758 33554432000 4194304 4627427 140734219961520 18446744073709551615 4333195 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 291036

[startup+6.30044 s]
/proc/loadavg: 3.76 4.35 5.65 9/184 30943
/proc/meminfo: memFree=22047688/32950928 swapFree=67111524/67111528
[pid=30939] ppid=30937 vsize=289448 CPUtime=25.14 cores=0,2,4,6
/proc/30939/stat : 30939 (strangenight2-m) R 30937 30939 30047 0 -1 4202496 27722 0 0 0 2510 4 0 0 25 0 4 0 519108105 296394752 12749 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30939/statm: 72362 12749 389 106 0 67333 0
[pid=30939/tid=30940] ppid=30937 vsize=289448 CPUtime=6.26 cores=0,2,4,6
/proc/30939/task/30940/stat : 30940 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 6888 0 0 0 625 1 0 0 25 0 4 0 519108105 296394752 12749 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30939/tid=30941] ppid=30937 vsize=289448 CPUtime=6.29 cores=0,2,4,6
/proc/30939/task/30941/stat : 30941 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 7760 0 0 0 628 1 0 0 25 0 4 0 519108105 296394752 12749 33554432000 4194304 4627427 140734219961520 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30939/tid=30942] ppid=30937 vsize=289448 CPUtime=6.28 cores=0,2,4,6
/proc/30939/task/30942/stat : 30942 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 6148 0 0 0 628 0 0 0 25 0 4 0 519108105 296394752 12749 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 289448

[startup+12.7003 s]
/proc/loadavg: 4.10 4.41 5.66 9/184 30943
/proc/meminfo: memFree=22003784/32950928 swapFree=67111524/67111528
[pid=30939] ppid=30937 vsize=304564 CPUtime=50.71 cores=0,2,4,6
/proc/30939/stat : 30939 (strangenight2-m) R 30937 30939 30047 0 -1 4202496 45174 0 0 0 5063 8 0 0 25 0 4 0 519108105 311873536 18572 33554432000 4194304 4627427 140734219961520 18446744073709551615 4329693 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30939/statm: 76141 18572 389 106 0 71112 0
[pid=30939/tid=30940] ppid=30937 vsize=304564 CPUtime=12.63 cores=0,2,4,6
/proc/30939/task/30940/stat : 30940 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 11196 0 0 0 1261 2 0 0 25 0 4 0 519108105 311873536 18572 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30939/tid=30941] ppid=30937 vsize=304564 CPUtime=12.69 cores=0,2,4,6
/proc/30939/task/30941/stat : 30941 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 11042 0 0 0 1267 2 0 0 25 0 4 0 519108105 311873536 18572 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30939/tid=30942] ppid=30937 vsize=304564 CPUtime=12.69 cores=0,2,4,6
/proc/30939/task/30942/stat : 30942 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 10354 0 0 0 1268 1 0 0 25 0 4 0 519108105 311873536 18572 33554432000 4194304 4627427 140734219961520 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 304564

[startup+25.501 s]
/proc/loadavg: 5.05 4.60 5.71 9/184 30943
/proc/meminfo: memFree=21961156/32950928 swapFree=67111524/67111528
[pid=30939] ppid=30937 vsize=315452 CPUtime=101.85 cores=0,2,4,6
/proc/30939/stat : 30939 (strangenight2-m) R 30937 30939 30047 0 -1 4202496 69394 0 0 0 10173 12 0 0 25 0 4 0 519108105 323022848 24852 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309111 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30939/statm: 78863 24852 389 106 0 73834 0
[pid=30939/tid=30940] ppid=30937 vsize=315452 CPUtime=25.36 cores=0,2,4,6
/proc/30939/task/30940/stat : 30940 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 17956 0 0 0 2533 3 0 0 25 0 4 0 519108105 323022848 24852 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30939/tid=30941] ppid=30937 vsize=315452 CPUtime=25.49 cores=0,2,4,6
/proc/30939/task/30941/stat : 30941 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 17698 0 0 0 2546 3 0 0 25 0 4 0 519108105 323022848 24852 33554432000 4194304 4627427 140734219961520 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30939/tid=30942] ppid=30937 vsize=315452 CPUtime=25.49 cores=0,2,4,6
/proc/30939/task/30942/stat : 30942 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 15063 0 0 0 2547 2 0 0 25 0 4 0 519108105 323022848 24852 33554432000 4194304 4627427 140734219961520 18446744073709551615 4324736 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 315452

[startup+51.1005 s]
/proc/loadavg: 6.05 4.87 5.77 9/184 30944
/proc/meminfo: memFree=21928780/32950928 swapFree=67111524/67111528
[pid=30939] ppid=30937 vsize=307668 CPUtime=204.12 cores=0,2,4,6
/proc/30939/stat : 30939 (strangenight2-m) R 30937 30939 30047 0 -1 4202496 102844 0 0 0 20393 19 0 0 25 0 4 0 519108105 315052032 28548 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309350 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30939/statm: 76917 28548 389 106 0 71888 0
[pid=30939/tid=30940] ppid=30937 vsize=307668 CPUtime=50.84 cores=0,2,4,6
/proc/30939/task/30940/stat : 30940 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 25704 0 0 0 5079 5 0 0 25 0 4 0 519108105 315052032 28548 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30939/tid=30941] ppid=30937 vsize=307668 CPUtime=51.09 cores=0,2,4,6
/proc/30939/task/30941/stat : 30941 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 27192 0 0 0 5104 5 0 0 25 0 4 0 519108105 315052032 28548 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309598 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30939/tid=30942] ppid=30937 vsize=307668 CPUtime=51.09 cores=0,2,4,6
/proc/30939/task/30942/stat : 30942 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 23534 0 0 0 5105 4 0 0 25 0 4 0 519108105 315052032 28548 33554432000 4194304 4627427 140734219961520 18446744073709551615 4333237 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.12
Current children cumulated vsize (KiB) 307668

[startup+102.306 s]
/proc/loadavg: 7.21 5.37 5.89 9/184 30945
/proc/meminfo: memFree=21828688/32950928 swapFree=67111524/67111528
[pid=30939] ppid=30937 vsize=396652 CPUtime=408.69 cores=0,2,4,6
/proc/30939/stat : 30939 (strangenight2-m) R 30937 30939 30047 0 -1 4202496 151659 0 0 0 40835 34 0 0 25 0 4 0 519108105 406171648 43077 33554432000 4194304 4627427 140734219961520 18446744073709551615 4308588 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30939/statm: 99163 43077 389 106 0 94134 0
[pid=30939/tid=30940] ppid=30937 vsize=396652 CPUtime=101.79 cores=0,2,4,6
/proc/30939/task/30940/stat : 30940 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 36166 0 0 0 10171 8 0 0 25 0 4 0 519108105 406171648 43077 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30939/tid=30941] ppid=30937 vsize=396652 CPUtime=102.29 cores=0,2,4,6
/proc/30939/task/30941/stat : 30941 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 39389 0 0 0 10220 9 0 0 25 0 4 0 519108105 406171648 43077 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30939/tid=30942] ppid=30937 vsize=396652 CPUtime=102.29 cores=0,2,4,6
/proc/30939/task/30942/stat : 30942 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 39307 0 0 0 10221 8 0 0 25 0 4 0 519108105 406171648 43077 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.69
Current children cumulated vsize (KiB) 396652

[startup+162.301 s]

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

[pid=30939] ppid=30937 vsize=499588 CPUtime=2805.44 cores=0,2,4,6
/proc/30939/stat : 30939 (strangenight2-m) R 30937 30939 30047 0 -1 4202496 470229 0 0 0 280387 157 0 0 25 0 4 0 519108105 511578112 90359 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309220 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30939/statm: 124897 90359 389 106 0 119868 0
[pid=30939/tid=30940] ppid=30937 vsize=499588 CPUtime=698.57 cores=0,2,4,6
/proc/30939/task/30940/stat : 30940 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 94999 0 0 0 69829 28 0 0 25 0 4 0 519108105 511578112 90359 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30939/tid=30941] ppid=30937 vsize=499588 CPUtime=702.3 cores=0,2,4,6
/proc/30939/task/30941/stat : 30941 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 143913 0 0 0 70180 50 0 0 25 0 4 0 519108105 511578112 90359 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30939/tid=30942] ppid=30937 vsize=499588 CPUtime=702.23 cores=0,2,4,6
/proc/30939/task/30942/stat : 30942 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 133666 0 0 0 70179 44 0 0 25 0 4 0 519108105 511578112 90359 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.44
Current children cumulated vsize (KiB) 499588

[startup+762.307 s]
/proc/loadavg: 8.01 7.75 6.97 9/184 30963
/proc/meminfo: memFree=21408112/32950928 swapFree=67111524/67111528
[pid=30939] ppid=30937 vsize=565292 CPUtime=3045.14 cores=0,2,4,6
/proc/30939/stat : 30939 (strangenight2-m) R 30937 30939 30047 0 -1 4202496 492657 0 0 0 304348 166 0 0 25 0 4 0 519108105 578859008 91933 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30939/statm: 141323 91933 389 106 0 136294 0
[pid=30939/tid=30940] ppid=30937 vsize=565292 CPUtime=758.26 cores=0,2,4,6
/proc/30939/task/30940/stat : 30940 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 98611 0 0 0 75796 30 0 0 25 0 4 0 519108105 578859008 91933 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30939/tid=30941] ppid=30937 vsize=565292 CPUtime=762.3 cores=0,2,4,6
/proc/30939/task/30941/stat : 30941 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 152093 0 0 0 76177 53 0 0 25 0 4 0 519108105 578859008 91933 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309197 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30939/tid=30942] ppid=30937 vsize=565292 CPUtime=762.24 cores=0,2,4,6
/proc/30939/task/30942/stat : 30942 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 140234 0 0 0 76177 47 0 0 25 0 4 0 519108105 578859008 91933 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3045.14
Current children cumulated vsize (KiB) 565292

[startup+822.3 s]
/proc/loadavg: 8.00 7.80 7.03 9/184 30964
/proc/meminfo: memFree=21368908/32950928 swapFree=67111524/67111528
[pid=30939] ppid=30937 vsize=565852 CPUtime=3284.79 cores=0,2,4,6
/proc/30939/stat : 30939 (strangenight2-m) R 30937 30939 30047 0 -1 4202496 511914 0 0 0 328305 174 0 0 25 0 4 0 519108105 579432448 100022 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30939/statm: 141463 100022 389 106 0 136434 0
[pid=30939/tid=30940] ppid=30937 vsize=565852 CPUtime=817.93 cores=0,2,4,6
/proc/30939/task/30940/stat : 30940 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 99281 0 0 0 81763 30 0 0 25 0 4 0 519108105 579432448 100022 33554432000 4194304 4627427 140734219961520 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30939/tid=30941] ppid=30937 vsize=565852 CPUtime=822.29 cores=0,2,4,6
/proc/30939/task/30941/stat : 30941 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 158746 0 0 0 82173 56 0 0 25 0 4 0 519108105 579432448 100022 33554432000 4194304 4627427 140734219961520 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30939/tid=30942] ppid=30937 vsize=565852 CPUtime=822.23 cores=0,2,4,6
/proc/30939/task/30942/stat : 30942 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 147973 0 0 0 82173 50 0 0 25 0 4 0 519108105 579432448 100022 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.79
Current children cumulated vsize (KiB) 565852

[startup+882.301 s]
/proc/loadavg: 8.00 7.83 7.09 9/184 30966
/proc/meminfo: memFree=21319896/32950928 swapFree=67111524/67111528
[pid=30939] ppid=30937 vsize=591220 CPUtime=3524.46 cores=0,2,4,6
/proc/30939/stat : 30939 (strangenight2-m) R 30937 30939 30047 0 -1 4202496 532852 0 0 0 352265 181 0 0 25 0 4 0 519108105 605409280 110287 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30939/statm: 147805 110287 389 106 0 142776 0
[pid=30939/tid=30940] ppid=30937 vsize=591220 CPUtime=877.6 cores=0,2,4,6
/proc/30939/task/30940/stat : 30940 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 104248 0 0 0 87728 32 0 0 25 0 4 0 519108105 605409280 110287 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30939/tid=30941] ppid=30937 vsize=591220 CPUtime=882.3 cores=0,2,4,6
/proc/30939/task/30941/stat : 30941 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 166621 0 0 0 88171 59 0 0 25 0 4 0 519108105 605409280 110287 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30939/tid=30942] ppid=30937 vsize=591220 CPUtime=882.22 cores=0,2,4,6
/proc/30939/task/30942/stat : 30942 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 153009 0 0 0 88170 52 0 0 25 0 4 0 519108105 605409280 110287 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3524.46
Current children cumulated vsize (KiB) 591220

[startup+942.301 s]
/proc/loadavg: 8.10 7.89 7.15 9/184 30968
/proc/meminfo: memFree=21287240/32950928 swapFree=67111524/67111528
[pid=30939] ppid=30937 vsize=656844 CPUtime=3764.14 cores=0,2,4,6
/proc/30939/stat : 30939 (strangenight2-m) R 30937 30939 30047 0 -1 4202496 549916 0 0 0 376226 188 0 0 25 0 4 0 519108105 672608256 121060 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30939/statm: 164211 121060 389 106 0 159182 0
[pid=30939/tid=30940] ppid=30937 vsize=656844 CPUtime=937.28 cores=0,2,4,6
/proc/30939/task/30940/stat : 30940 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 106126 0 0 0 93695 33 0 0 25 0 4 0 519108105 672608256 121060 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30939/tid=30941] ppid=30937 vsize=656844 CPUtime=942.3 cores=0,2,4,6
/proc/30939/task/30941/stat : 30941 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 173167 0 0 0 94168 62 0 0 25 0 4 0 519108105 672608256 121060 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30939/tid=30942] ppid=30937 vsize=656844 CPUtime=942.22 cores=0,2,4,6
/proc/30939/task/30942/stat : 30942 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 156002 0 0 0 94169 53 0 0 25 0 4 0 519108105 672608256 121060 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3764.14
Current children cumulated vsize (KiB) 656844

[startup+1002.3 s]
/proc/loadavg: 8.09 7.92 7.21 9/184 30969
/proc/meminfo: memFree=21251728/32950928 swapFree=67111524/67111528
[pid=30939] ppid=30937 vsize=657436 CPUtime=4003.81 cores=0,2,4,6
/proc/30939/stat : 30939 (strangenight2-m) R 30937 30939 30047 0 -1 4202496 565931 0 0 0 400185 196 0 0 25 0 4 0 519108105 673214464 124574 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30939/statm: 164359 124574 389 106 0 159330 0
[pid=30939/tid=30940] ppid=30937 vsize=657436 CPUtime=996.95 cores=0,2,4,6
/proc/30939/task/30940/stat : 30940 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 106283 0 0 0 99662 33 0 0 25 0 4 0 519108105 673214464 124574 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30939/tid=30941] ppid=30937 vsize=657436 CPUtime=1002.3 cores=0,2,4,6
/proc/30939/task/30941/stat : 30941 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 179420 0 0 0 100165 65 0 0 25 0 4 0 519108105 673214464 124574 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30939/tid=30942] ppid=30937 vsize=657436 CPUtime=1002.21 cores=0,2,4,6
/proc/30939/task/30942/stat : 30942 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 159732 0 0 0 100167 54 0 0 25 0 4 0 519108105 673214464 124574 33554432000 4194304 4627427 140734219961520 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4003.81
Current children cumulated vsize (KiB) 657436

[startup+1062.3 s]
/proc/loadavg: 8.08 7.94 7.26 9/184 30971
/proc/meminfo: memFree=21237684/32950928 swapFree=67111524/67111528
[pid=30939] ppid=30937 vsize=656612 CPUtime=4243.48 cores=0,2,4,6
/proc/30939/stat : 30939 (strangenight2-m) R 30937 30939 30047 0 -1 4202496 579447 0 0 0 424146 202 0 0 25 0 4 0 519108105 672370688 116792 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309170 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30939/statm: 164153 116792 389 106 0 159124 0
[pid=30939/tid=30940] ppid=30937 vsize=656612 CPUtime=1056.63 cores=0,2,4,6
/proc/30939/task/30940/stat : 30940 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 106590 0 0 0 105629 34 0 0 25 0 4 0 519108105 672370688 116792 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30939/tid=30941] ppid=30937 vsize=656612 CPUtime=1062.3 cores=0,2,4,6
/proc/30939/task/30941/stat : 30941 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 186725 0 0 0 106161 69 0 0 25 0 4 0 519108105 672370688 116792 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30939/tid=30942] ppid=30937 vsize=656612 CPUtime=1062.2 cores=0,2,4,6
/proc/30939/task/30942/stat : 30942 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 162985 0 0 0 106165 55 0 0 25 0 4 0 519108105 672370688 116792 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4243.48
Current children cumulated vsize (KiB) 656612

[startup+1122.3 s]
/proc/loadavg: 8.12 7.98 7.32 9/184 30972
/proc/meminfo: memFree=21241492/32950928 swapFree=67111524/67111528
[pid=30939] ppid=30937 vsize=592548 CPUtime=4483.15 cores=0,2,4,6
/proc/30939/stat : 30939 (strangenight2-m) R 30937 30939 30047 0 -1 4202496 592894 0 0 0 448106 209 0 0 25 0 4 0 519108105 606769152 116927 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30939/statm: 148137 116927 389 106 0 143108 0
[pid=30939/tid=30940] ppid=30937 vsize=592548 CPUtime=1116.31 cores=0,2,4,6
/proc/30939/task/30940/stat : 30940 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 106671 0 0 0 111597 34 0 0 25 0 4 0 519108105 606769152 116927 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30939/tid=30941] ppid=30937 vsize=592548 CPUtime=1122.3 cores=0,2,4,6
/proc/30939/task/30941/stat : 30941 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 191867 0 0 0 112158 72 0 0 25 0 4 0 519108105 606769152 116927 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30939/tid=30942] ppid=30937 vsize=592548 CPUtime=1122.2 cores=0,2,4,6
/proc/30939/task/30942/stat : 30942 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 166503 0 0 0 112163 57 0 0 25 0 4 0 519108105 606769152 116927 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309364 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4483.15
Current children cumulated vsize (KiB) 592548

[startup+1182.3 s]
/proc/loadavg: 8.08 8.00 7.36 9/184 30974
/proc/meminfo: memFree=21268608/32950928 swapFree=67111524/67111528
[pid=30939] ppid=30937 vsize=618968 CPUtime=4722.83 cores=0,2,4,6
/proc/30939/stat : 30939 (strangenight2-m) R 30937 30939 30047 0 -1 4202496 611531 0 0 0 472065 218 0 0 25 0 4 0 519108105 633823232 115141 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30939/statm: 154742 115141 389 106 0 149713 0
[pid=30939/tid=30940] ppid=30937 vsize=618968 CPUtime=1175.98 cores=0,2,4,6
/proc/30939/task/30940/stat : 30940 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 106875 0 0 0 117564 34 0 0 25 0 4 0 519108105 633823232 115141 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30939/tid=30941] ppid=30937 vsize=618968 CPUtime=1182.31 cores=0,2,4,6
/proc/30939/task/30941/stat : 30941 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 198229 0 0 0 118156 75 0 0 25 0 4 0 519108105 633823232 115141 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30939/tid=30942] ppid=30937 vsize=618968 CPUtime=1182.2 cores=0,2,4,6
/proc/30939/task/30942/stat : 30942 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 172235 0 0 0 118160 60 0 0 25 0 4 0 519108105 633823232 115141 33554432000 4194304 4627427 140734219961520 18446744073709551615 4308345 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4722.83
Current children cumulated vsize (KiB) 618968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.06 8.00 7.37 5/179 30976
/proc/meminfo: memFree=21668528/32950928 swapFree=67111524/67111528
[pid=30939] ppid=30937 vsize=671424 CPUtime=4800.34 cores=0,2,4,6
/proc/30939/stat : 30939 (strangenight2-m) R 30937 30939 30047 0 -1 4202496 616353 0 0 0 479814 220 0 0 25 0 4 0 519108105 687538176 119962 33554432000 4194304 4627427 140734219961520 18446744073709551615 4420161 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30939/statm: 167856 119962 389 106 0 162827 0
[pid=30939/tid=30940] ppid=30937 vsize=671424 CPUtime=1195.27 cores=0,2,4,6
/proc/30939/task/30940/stat : 30940 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 106998 0 0 0 119493 34 0 0 25 0 4 0 519108105 687538176 119962 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30939/tid=30941] ppid=30937 vsize=671424 CPUtime=1201.71 cores=0,2,4,6
/proc/30939/task/30941/stat : 30941 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 199230 0 0 0 120095 76 0 0 25 0 4 0 519108105 687538176 119962 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30939/tid=30942] ppid=30937 vsize=671424 CPUtime=1201.6 cores=0,2,4,6
/proc/30939/task/30942/stat : 30942 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 173320 0 0 0 120099 61 0 0 25 0 4 0 519108105 687538176 119962 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 671424

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.06 8.00 7.37 5/179 30976
/proc/meminfo: memFree=21668528/32950928 swapFree=67111524/67111528
[pid=30939] ppid=30937 vsize=671424 CPUtime=4800.34 cores=0,2,4,6
/proc/30939/stat : 30939 (strangenight2-m) R 30937 30939 30047 0 -1 4202496 616353 0 0 0 479814 220 0 0 25 0 4 0 519108105 687538176 119962 33554432000 4194304 4627427 140734219961520 18446744073709551615 4420161 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30939/statm: 167856 119962 389 106 0 162827 0
[pid=30939/tid=30940] ppid=30937 vsize=671424 CPUtime=1195.27 cores=0,2,4,6
/proc/30939/task/30940/stat : 30940 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 106998 0 0 0 119493 34 0 0 25 0 4 0 519108105 687538176 119962 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30939/tid=30941] ppid=30937 vsize=671424 CPUtime=1201.71 cores=0,2,4,6
/proc/30939/task/30941/stat : 30941 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 199230 0 0 0 120095 76 0 0 25 0 4 0 519108105 687538176 119962 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30939/tid=30942] ppid=30937 vsize=671424 CPUtime=1201.6 cores=0,2,4,6
/proc/30939/task/30942/stat : 30942 (strangenight2-m) R 30937 30939 30047 0 -1 4202560 173320 0 0 0 120099 61 0 0 25 0 4 0 519108105 687538176 119962 33554432000 4194304 4627427 140734219961520 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 671424

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.39
CPU user time (s): 4798.16
CPU system time (s): 2.22966
CPU usage (%): 399.455
Max. virtual memory (cumulated for all children) (KiB): 773616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.16
system time used= 2.22966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 616354
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= 191
involuntary context switches= 21869

runsolver used 1.89071 second user time and 4.5723 second system time

The end

Launcher Data 

Begin job on node122 at 2011-04-29 13:04:53
IDJOB=3173984
IDBENCH=82802
IDSOLVER=1586
FILE ID=node122/3173984-1304075093
RUNJOBID= node122-1304075091-30885
PBS_JOBID= 13170466
Free space on /tmp= 71660 MiB

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

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

MD5SUM BENCH= 1e904bd81be11487c7596e10e18e4cd6
RANDOM SEED=130577269

node122.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.820
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.64
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.820
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.820
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.75
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.820
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.83
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.820
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.75
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.820
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.820
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.820
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.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      22129580 kB
Buffers:       1627444 kB
Cached:        8558760 kB
SwapCached:          4 kB
Active:        1093184 kB
Inactive:      9178652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      22129580 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           11596 kB
Writeback:           0 kB
AnonPages:       85752 kB
Mapped:          15628 kB
Slab:           486588 kB
PageTables:       4560 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   294348 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= 71660 MiB
End job on node122 at 2011-04-29 13:24:57