Trace number 3250317

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.08 1201.54

General information on the benchmark

Namecrafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-4_511.cnf
MD5SUM766a362c83d920a8f8dd49df62ed42c9
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.072988
Satisfiable
(Un)Satisfiability was proved
Number of variables509
Number of clauses4478
Sum of the clauses size17912
Maximum clause length4
Minimum clause length4
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 44478
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-3250317-1304121160.cnf'
0.00/0.00	c -- header says num vars:            509
0.00/0.00	c -- header says num clauses:        4478
0.00/0.00	c -- clauses added:            0 learnts,         4478 normals,            0 xors
0.00/0.00	c -- vars added        509
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       509      4478         0         0     17912         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/4478/4478 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:    509 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.32/0.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.32/0.08	c Finding binary XORs  T:     0.00 s  found:       0
0.32/0.08	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.32/0.08	c calculated reachability. Time: 0.00
0.32/0.08	c Calc default polars -  time:   0.00 s pos:       0 undec:     509 neg:       0
0.32/0.08	c =========================================================================================
0.32/0.08	c types(t): F = full restart, N = normal restart
0.32/0.08	c types(t): S = simplification begin/end, E = solution found
0.32/0.08	c restart types(rt): st = static, dy = dynamic
0.32/0.08	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.32/0.08	c  B st     0         0       509      4478         0         0     17912         0   no data   no data
0.32/0.08	c Decided on static restart strategy
0.32/0.35	c  N st     8      4921       509      4478         0      4727     17912    134438   no data   no data
0.32/0.35	c  N st    10     11303       509      4478         0      4396     17912     97873   no data   no data
3.17/0.80	c  N st    11     17046       509      4478         0      9924     17912    255240   no data   no data
3.57/0.90	c  F st    12     25000       509      4478         0     12091     17912    300734   no data   no data
3.57/0.90	c Found part        5 vars:        252 clauses:      2088 lits size:      8352
3.57/0.90	c Found part        7 vars:        257 clauses:      2390 lits size:      9560
3.57/0.90	c Found parts:          2 time: 0.00 s
3.57/0.90	c Solving part 5
3.97/1.00	c  N st     0         0       252      2088         0     12091      8352    300734   no data   no data
3.97/1.00	c asymm  cl-useful: 0/2088/2088 lits-rem:0 time: 0.01
3.97/1.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
3.97/1.00	c Finding binary XORs  T:     0.00 s  found:       0
3.97/1.00	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.97/1.00	c calculated reachability. Time: 0.00
3.97/1.00	c Calc default polars -  time:   0.00 s pos:       0 undec:     509 neg:       0
3.97/1.00	c =========================================================================================
3.97/1.00	c types(t): F = full restart, N = normal restart
3.97/1.00	c types(t): S = simplification begin/end, E = solution found
3.97/1.00	c restart types(rt): st = static, dy = dynamic
3.97/1.00	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.97/1.00	c  B st     0         0       252      2088         0     12091      8352    300734   no data   no data
4.37/1.10	c Decided on static restart strategy
4.77/1.20	c  N st     8      4914       252      2088         0     16874      8352    442325   no data   no data
5.58/1.44	c  N st    10     11297       252      2088         0      7427      8352    132605   no data   no data
6.37/1.69	c  N st    11     17040       252      2088         0     12952      8352    299737   no data   no data
7.97/2.05	c  F st    12     25002       252      2088         0     13624      8352    308221   no data   no data
7.97/2.05	c  N st    12     25002       252      2088         0     13624      8352    308221   no data   no data
8.76/2.26	c Decided on static restart strategy
8.76/2.26	c  N st    18     30202       252      2088         0     11356      8352    229120   no data   no data
9.98/2.56	c  N st    20     37317       252      2088         0     10221      8352    186608   no data   no data
11.16/2.88	c  N st    21     43716       252      2088         0     16319      8352    363580   no data   no data
13.16/3.35	c  N st    22     53314       252      2088         0     16741      8352    370030   no data   no data
16.36/4.17	c  N st    23     67711       252      2088         0     20844      8352    459633   no data   no data
19.95/5.07	c  E st    24     83231         0      2088         0     13613      8352    241205   no data   no data
19.95/5.08	c Verified 2088 clauses.
19.95/5.08	c Verified 2088 clauses.
19.95/5.08	c Solved part
19.95/5.08	c =========================================================================================
19.95/5.08	c Coming back to original instance
19.95/5.08	c =========================================================================================
19.95/5.08	c  N st    12     25000       257      2390         0         0      9560         0   no data   no data
20.35/5.19	c Decided on static restart strategy
20.35/5.19	c  N st    18     30000       257      2390         0      4363      9560    120505   no data   no data
20.35/5.19	c  S st    18     30000       257      2390         0      4363      9560    120505   no data   no data
20.75/5.21	c  S st    18     30503       257      2390         0      4859      9560    134168   no data   no data
20.75/5.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
20.75/5.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
20.75/5.21	c blocked clauses removed:        0 vars:      0 tried:         257 T: 0.00 s
20.75/5.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
20.75/5.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
20.75/5.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
20.75/5.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
20.75/5.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
20.75/5.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
20.75/5.26	c lits-rem:       138  cl-subs:      461  v-elim:      0  v-fix:    0  time:  0.05 s
20.75/5.27	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.01
20.75/5.27	c calculated reachability. Time: 0.00
20.75/5.27	c  N st    18     30503       257      2390         0      4398      9560    118875   no data   no data
21.95/5.52	c  N st    20     37614       257      2390         0      6672      9560    155228   no data   no data
22.74/5.79	c  N st    21     44015       257      2390         0     12781      9560    329780   no data   no data
23.16/5.88	c  S st    22     45758       257      2390         0      7379      9560    155930   no data   no data
23.16/5.90	c  S st    22     46261       257      2390         0      7879      9560    169233   no data   no data
23.57/5.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.57/5.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
23.57/5.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
23.57/5.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.57/5.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.57/5.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
23.57/5.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
23.57/5.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
23.57/5.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.57/5.97	c lits-rem:       221  cl-subs:      446  v-elim:      0  v-fix:    0  time:  0.06 s
23.57/5.97	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
23.57/5.97	c vivif2 --  cl tried     7433 cl shrink        0 lits rem          0 time: 0.00
23.57/5.98	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.01
23.57/5.98	c calculated reachability. Time: 0.00
23.57/5.98	c  N st    22     46261       257      2390         0      7433      9560    155837   no data   no data
26.74/6.73	c  N st    23     60658       257      2390         0     12389      9560    290980   no data   no data
28.73/7.26	c  N st    24     69392       257      2390         0     10574      9560    203395   no data   no data
28.73/7.26	c  S st    24     69392       257      2390         0     10574      9560    203395   no data   no data
28.73/7.29	c  S st    24     69899       257      2390         0     11079      9560    217112   no data   no data
28.73/7.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.73/7.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
28.73/7.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.73/7.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.73/7.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.73/7.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
28.73/7.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
28.73/7.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
29.13/7.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.13/7.38	c lits-rem:       127  cl-subs:      619  v-elim:      0  v-fix:    0  time:  0.08 s
29.13/7.38	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
29.13/7.38	c vivif2 --  cl tried    10460 cl shrink        0 lits rem          0 time: 0.00
29.53/7.40	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.01
29.53/7.40	c calculated reachability. Time: 0.00
29.53/7.40	c  N st    24     69899       257      2390         0     10460      9560    199822   no data   no data
33.54/8.49	c  F st    25     87500       257      2390         0     16003      9560    337640   no data   no data
33.54/8.50	c  N st    25     87500       257      2390         0     16003      9560    337640   no data   no data
35.13/8.86	c Decided on static restart strategy
35.93/9.06	c  N st    32     95538       257      2390         0     23691      9560    543547   no data   no data
38.33/9.62	c  N st    34    104850       257      2390         0     20214      9560    422512   no data   no data
38.33/9.62	c  S st    34    104850       257      2390         0     20214      9560    422512   no data   no data
38.33/9.68	c  S st    34    105354       257      2390         0     20716      9560    436470   no data   no data
38.33/9.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
38.33/9.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
38.33/9.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
38.33/9.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
38.33/9.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
38.33/9.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
38.33/9.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
38.33/9.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
38.73/9.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
40.32/10.18	c lits-rem:       487  cl-subs:     1853  v-elim:      0  v-fix:    0  time:  0.48 s
40.32/10.18	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
40.32/10.19	c vivif2 --  cl tried    18863 cl shrink        0 lits rem          0 time: 0.00
40.74/10.21	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.02
40.74/10.21	c calculated reachability. Time: 0.00
40.74/10.21	c  N st    34    105354       257      2390         0     18863      9560    383758   no data   no data
43.12/10.83	c  N st    35    114953       257      2390         0     14802      9560    271503   no data   no data
47.11/11.86	c  N st    36    129351       257      2390         0     28565      9560    662967   no data   no data
53.92/13.51	c  N st    37    150946       257      2390         0     19570      9560    355903   no data   no data
55.50/13.99	c  S st    38    158031       257      2390         0     26385      9560    556520   no data   no data
55.90/14.06	c  S st    38    158532       257      2390         0     26881      9560    570314   no data   no data
55.90/14.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
55.90/14.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
55.90/14.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
55.90/14.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
55.90/14.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
55.90/14.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
55.90/14.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
55.90/14.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
55.90/14.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
59.10/14.86	c lits-rem:       962  cl-subs:     1940  v-elim:      0  v-fix:    0  time:  0.77 s
59.10/14.86	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
59.10/14.86	c vivif2 --  cl tried    24941 cl shrink        0 lits rem          0 time: 0.01
59.10/14.89	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.03
59.10/14.89	c calculated reachability. Time: 0.00
59.10/14.89	c  N st    38    158532       257      2390         0     24941      9560    512418   no data   no data
75.48/18.90	c  N st    39    207120       257      2390         0     19790      9560    308747   no data   no data
85.46/21.40	c  N st    40    237798       257      2390         0     29971      9560    579911   no data   no data
85.46/21.40	c  S st    40    237798       257      2390         0     29971      9560    579911   no data   no data
85.46/21.47	c  S st    40    238299       257      2390         0     30469      9560    594024   no data   no data
85.46/21.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
85.46/21.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
85.46/21.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
85.46/21.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
85.46/21.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.46/21.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
85.46/21.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
85.46/21.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
85.87/21.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
89.48/22.49	c lits-rem:      1506  cl-subs:     2175  v-elim:      0  v-fix:    0  time:  0.98 s
89.48/22.49	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
89.48/22.50	c vivif2 --  cl tried    28294 cl shrink        0 lits rem          0 time: 0.01
89.86/22.53	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.04
89.86/22.53	c calculated reachability. Time: 0.00
89.86/22.53	c  N st    40    238299       257      2390         0     28294      9560    531967   no data   no data
115.85/29.01	c  F st    41    306250       257      2390         0     30098      9560    523802   no data   no data
115.85/29.02	c  N st    41    306250       257      2390         0     30098      9560    523802   no data   no data
117.42/29.46	c Decided on static restart strategy
125.82/31.51	c  N st    51    334554       257      2390         0     34392      9560    629712   no data   no data
135.00/33.80	c  N st    53    357449       257      2390         0     32421      9560    549523   no data   no data
135.00/33.80	c  S st    53    357449       257      2390         0     32421      9560    549523   no data   no data
135.00/33.88	c  S st    53    357953       257      2390         0     32923      9560    563627   no data   no data
135.00/33.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
135.00/33.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
135.00/33.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
135.00/33.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
135.00/33.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
135.00/33.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
135.00/33.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
135.40/33.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
135.40/33.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
137.83/34.52	c lits-rem:       889  cl-subs:     1641  v-elim:      0  v-fix:    0  time:  0.60 s
137.83/34.52	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
137.83/34.52	c vivif2 --  cl tried    31282 cl shrink        0 lits rem          0 time: 0.01
137.83/34.56	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.04
137.83/34.56	c calculated reachability. Time: 0.00
137.83/34.56	c  N st    53    357953       257      2390         0     31282      9560    518113   no data   no data
151.01/37.84	c  N st    54    390345       257      2390         0     37304      9560    683371   no data   no data
171.36/42.96	c  N st    55    438933       257      2390         0     31179      9560    471731   no data   no data
203.34/50.95	c  N st    56    511815       257      2390         0     44387      9560    810199   no data   no data
214.91/53.87	c  N st    57    536932       257      2390         0     38778      9560    631349   no data   no data
214.91/53.87	c  S st    57    536932       257      2390         0     38778      9560    631349   no data   no data
215.31/53.98	c  S st    57    537434       257      2390         0     39276      9560    645143   no data   no data
215.31/53.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
215.31/53.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
215.31/53.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
215.31/53.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
215.31/53.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
215.31/53.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
215.31/53.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
215.71/54.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
215.71/54.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
219.30/54.91	c lits-rem:      1406  cl-subs:     2011  v-elim:      0  v-fix:    0  time:  0.89 s
219.30/54.91	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
219.30/54.92	c vivif2 --  cl tried    37265 cl shrink        0 lits rem          0 time: 0.01
219.30/54.98	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.06
219.30/54.98	c calculated reachability. Time: 0.00
219.30/54.98	c  N st    57    537434       257      2390         0     37265      9560    590765   no data   no data
299.60/75.00	c  N st    58    701418       257      2390         0     65655      9560   1351653   no data   no data
354.34/88.79	c  N st    59    806151       257      2390         0     59680      9560   1097109   no data   no data
354.34/88.79	c  S st    59    806151       257      2390         0     59680      9560   1097109   no data   no data
355.14/88.96	c  S st    59    806660       257      2390         0     60185      9560   1111520   no data   no data
355.14/88.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
355.14/88.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
355.14/88.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
355.14/88.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
355.14/88.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
355.14/88.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
355.14/88.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
355.53/89.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
355.53/89.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
377.51/94.58	c lits-rem:      3413  cl-subs:     6284  v-elim:      0  v-fix:    0  time:  5.55 s
377.51/94.58	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
377.51/94.59	c vivif2 --  cl tried    53901 cl shrink        0 lits rem          0 time: 0.01
377.91/94.68	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.08
377.91/94.68	c calculated reachability. Time: 0.00
377.91/94.68	c  N st    59    806660       257      2390         0     53901      9560    942592   no data   no data
533.71/133.66	c  F st    60   1071878       257      2390         0     69735      9560   1288535   no data   no data
533.71/133.66	c  N st    60   1071878       257      2390         0     69735      9560   1288535   no data   no data
536.91/134.49	c Decided on static restart strategy
551.29/138.04	c  N st    70   1100180       257      2390         0     54009      9560    823593   no data   no data
575.66/144.12	c  N st    72   1136173       257      2390         0     44535      9560    531960   no data   no data
592.84/148.40	c  N st    73   1168565       257      2390         0     75414      9560   1473377   no data   no data
618.41/154.81	c  N st    74   1209991       257      2390         0     70126      9560   1246311   no data   no data
618.41/154.81	c  S st    74   1209991       257      2390         0     70126      9560   1246311   no data   no data
618.81/154.99	c  S st    74   1210493       257      2390         0     70625      9560   1260606   no data   no data
618.81/154.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
619.21/155.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
619.21/155.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
619.21/155.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
619.21/155.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
619.21/155.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
619.21/155.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
619.21/155.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
619.21/155.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
641.18/160.55	c lits-rem:      3936  cl-subs:     4670  v-elim:      0  v-fix:    0  time:  5.48 s
641.18/160.56	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
641.18/160.57	c vivif2 --  cl tried    65955 cl shrink        0 lits rem          0 time: 0.02
641.58/160.69	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.12
641.98/160.70	c calculated reachability. Time: 0.00
641.98/160.70	c  N st    74   1210493       257      2390         0     65955      9560   1132576   no data   no data
703.89/176.28	c  N st    75   1283375       257      2390         0     89344      9560   1688918   no data   no data
786.18/196.80	c  N st    76   1392700       257      2390         0     50774      9560    624440   no data   no data
912.02/228.38	c  N st    77   1556684       257      2390         0     55567      9560    694688   no data   no data
1026.27/256.95	c  N st    78   1710497       257      2390         0     96074      9560   1780776   no data   no data
1026.27/256.95	c  S st    78   1710497       257      2390         0     96074      9560   1780776   no data   no data
1027.47/257.25	c  S st    78   1711002       257      2390         0     96572      9560   1794846   no data   no data
1027.47/257.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1027.87/257.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
1027.87/257.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1027.87/257.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1027.87/257.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1027.87/257.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
1027.87/257.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1027.87/257.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1027.87/257.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1135.35/284.26	c lits-rem:      4095  cl-subs:    11056  v-elim:      0  v-fix:    0  time: 26.88 s
1135.35/284.26	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
1135.35/284.29	c vivif2 --  cl tried    85516 cl shrink        0 lits rem          0 time: 0.03
1136.93/284.65	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.36
1136.93/284.65	c calculated reachability. Time: 0.00
1136.93/284.65	c  N st    78   1711002       257      2390         0     85516      9560   1518284   no data   no data
1516.81/379.73	c  N st    79   2079968       257      2390         0     96836      9560   1723855   no data   no data
1629.87/408.08	c  N st    80   2211003       257      2390         0    101024      9560   1833088   no data   no data
1629.87/408.08	c  S st    80   2211003       257      2390         0    101024      9560   1833088   no data   no data
1631.48/408.43	c  S st    80   2211505       257      2390         0    101521      9560   1847406   no data   no data
1631.48/408.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1631.48/408.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1631.48/408.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1631.48/408.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1631.48/408.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1631.48/408.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
1631.48/408.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1631.88/408.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1631.88/408.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1756.50/439.74	c lits-rem:      3955  cl-subs:     9527  v-elim:      0  v-fix:    0  time: 31.17 s
1756.50/439.74	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
1756.50/439.76	c vivif2 --  cl tried    91994 cl shrink        0 lits rem          0 time: 0.03
1757.70/440.09	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.33
1757.70/440.09	c calculated reachability. Time: 0.00
1757.70/440.09	c  N st    80   2211505       257      2390         0     91994      9560   1590544   no data   no data
2243.04/561.57	c  N st    81   2711506       257      2390         0    114650      9560   2025005   no data   no data
2243.04/561.57	c  S st    81   2711506       257      2390         0    114650      9560   2025005   no data   no data
2244.64/561.97	c  S st    81   2712009       257      2390         0    115150      9560   2038843   no data   no data
2244.64/561.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2245.04/562.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
2245.04/562.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2245.04/562.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2245.04/562.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2245.04/562.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
2245.04/562.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2245.04/562.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2245.44/562.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2376.46/594.99	c lits-rem:      4055  cl-subs:    14628  v-elim:      0  v-fix:    0  time: 32.87 s
2376.46/594.99	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
2376.86/595.02	c vivif2 --  cl tried   100522 cl shrink        0 lits rem          0 time: 0.03
2378.06/595.38	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.36
2378.06/595.38	c calculated reachability. Time: 0.00
2378.06/595.38	c  N st    81   2712009       257      2390         0    100522      9560   1706317   no data   no data
2944.17/737.07	c  N st    82   3212010       257      2390         0     78143      9560    965921   no data   no data
2944.17/737.07	c  S st    82   3212010       257      2390         0     78143      9560    965921   no data   no data
2945.39/737.31	c  S st    82   3212511       257      2390         0     78642      9560    980321   no data   no data
2945.39/737.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2945.39/737.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
2945.39/737.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2945.39/737.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2945.39/737.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2945.39/737.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
2945.39/737.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2945.39/737.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2945.79/737.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2948.16/738.09	c lits-rem:       310  cl-subs:      939  v-elim:      0  v-fix:    0  time:  0.68 s
2948.16/738.09	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
2948.56/738.11	c vivif2 --  cl tried    77703 cl shrink        0 lits rem          0 time: 0.02
2948.96/738.29	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.18
2948.96/738.29	c calculated reachability. Time: 0.00
2948.96/738.29	c  N st    82   3212511       257      2390         0     77703      9560    954222   no data   no data
3518.33/880.70	c  N st    83   3712512       257      2390         0     88120      9560   1142580   no data   no data
3518.33/880.70	c  S st    83   3712512       257      2390         0     88120      9560   1142580   no data   no data
3519.53/881.01	c  S st    83   3713020       257      2390         0     88624      9560   1157361   no data   no data
3519.53/881.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3519.53/881.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3519.53/881.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3519.53/881.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3519.53/881.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3519.53/881.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
3519.53/881.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3519.53/881.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3519.93/881.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3529.93/883.69	c lits-rem:       528  cl-subs:     2037  v-elim:      0  v-fix:    0  time:  2.57 s
3529.93/883.69	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
3530.33/883.71	c vivif2 --  cl tried    86587 cl shrink        0 lits rem          0 time: 0.02
3531.11/883.99	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.28
3531.11/883.99	c calculated reachability. Time: 0.00
3531.11/883.99	c  N st    83   3713020       257      2390         0     86587      9560   1103379   no data   no data
3574.65/894.87	c  F st    84   3751564       257      2390         0    122883      9560   2079528   no data   no data
3574.65/894.87	c  N st    84   3751564       257      2390         0    122883      9560   2079528   no data   no data
3582.25/896.76	c Decided on static restart strategy
3613.02/904.42	c  N st    94   3779868       257      2390         0    149822      9560   2801055   no data   no data
3650.58/913.87	c  N st    96   3815860       257      2390         0    103776      9560   1573921   no data   no data
3686.13/922.76	c  N st    97   3848253       257      2390         0    134544      9560   2484542   no data   no data
3750.09/938.78	c  N st    98   3896843       257      2390         0     98975      9560   1393650   no data   no data
3842.76/961.99	c  N st    99   3969727       257      2390         0     85658      9560   1013760   no data   no data
3977.81/995.72	c  N st   100   4079050       257      2390         0    105943      9560   1573517   no data   no data
4143.22/1037.10	c  N st   101   4213021       257      2390         0    148422      9560   2757825   no data   no data
4143.22/1037.10	c  S st   101   4213021       257      2390         0    148422      9560   2757825   no data   no data
4145.64/1037.77	c  S st   101   4213523       257      2390         0    148917      9560   2772235   no data   no data
4145.64/1037.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4146.01/1037.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.10
4146.01/1037.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4146.01/1037.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4146.01/1037.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4146.01/1037.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    257 time:  0.00 s
4146.01/1037.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4146.41/1037.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
4146.81/1038.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4529.09/1133.78	c lits-rem:      4343  cl-subs:    16337  v-elim:      0  v-fix:    0  time: 95.74 s
4529.09/1133.78	c vivif2 --  cl tried     2390 cl shrink        0 lits rem          0 time: 0.00
4529.49/1133.83	c vivif2 --  cl tried   132580 cl shrink        0 lits rem          0 time: 0.05
4532.31/1134.53	c asymm  cl-useful: 0/2390/2390 lits-rem:0 time: 0.70
4532.31/1134.53	c calculated reachability. Time: 0.00
4532.31/1134.53	c  N st   101   4213523       257      2390         0    132580      9560   2341368   no data   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3250317-1304121160/watcher-3250317-1304121160 -o /tmp/evaluation-result-3250317-1304121160/solver-3250317-1304121160 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3250317-1304121160.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: 8.13 8.13 7.96 6/180 32083
/proc/meminfo: memFree=24565188/32951124 swapFree=67111524/67111528
[pid=32083] ppid=32081 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/32083/stat : 32083 (strangenight2-m) R 32081 32083 31482 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 504531820 52441088 353 33554432000 4194304 4627427 140736457927408 18446744073709551615 233510297531 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32083/statm: 12803 353 303 106 0 7774 0
[pid=32083/tid=32084] ppid=32081 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/32083/task/32084/stat : 32084 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 504531820 52441088 353 33554432000 4194304 4627427 140736457927408 18446744073709551615 47447154239410 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32083/tid=32085] ppid=32081 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/32083/task/32085/stat : 32085 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 504531820 52441088 353 33554432000 4194304 4627427 140736457927408 18446744073709551615 233505344598 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32083/tid=32086] ppid=32081 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/32083/task/32086/stat : 32086 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 504531820 52441088 353 33554432000 4194304 4627427 140736457927408 18446744073709551615 233505344598 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0880039 s]
/proc/loadavg: 8.13 8.13 7.96 6/180 32083
/proc/meminfo: memFree=24565188/32951124 swapFree=67111524/67111528
[pid=32083] ppid=32081 vsize=282560 CPUtime=0.32 cores=0,2,4,6
/proc/32083/stat : 32083 (strangenight2-m) R 32081 32083 31482 0 -1 4202496 2314 0 0 0 32 0 0 0 18 0 4 0 504531820 289341440 2111 33554432000 4194304 4627427 140736457927408 18446744073709551615 4310094 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32083/statm: 70640 2111 383 106 0 65611 0
[pid=32083/tid=32084] ppid=32081 vsize=282560 CPUtime=0.08 cores=0,2,4,6
/proc/32083/task/32084/stat : 32084 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 517 0 0 0 8 0 0 0 18 0 4 0 504531820 289341440 2111 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32083/tid=32085] ppid=32081 vsize=282560 CPUtime=0.07 cores=0,2,4,6
/proc/32083/task/32085/stat : 32085 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 522 0 0 0 7 0 0 0 18 0 4 0 504531820 289341440 2111 33554432000 4194304 4627427 140736457927408 18446744073709551615 233510402542 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32083/tid=32086] ppid=32081 vsize=282560 CPUtime=0.08 cores=0,2,4,6
/proc/32083/task/32086/stat : 32086 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 345 0 0 0 8 0 0 0 18 0 4 0 504531820 289341440 2111 33554432000 4194304 4627427 140736457927408 18446744073709551615 233510402591 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 282560

[startup+0.577418 s]
/proc/loadavg: 8.13 8.13 7.96 6/180 32083
/proc/meminfo: memFree=24565188/32951124 swapFree=67111524/67111528
[pid=32083] ppid=32081 vsize=294524 CPUtime=2.27 cores=0,2,4,6
/proc/32083/stat : 32083 (strangenight2-m) R 32081 32083 31482 0 -1 4202496 5597 0 0 0 226 1 0 0 18 0 4 0 504531820 301592576 3193 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309170 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32083/statm: 73631 3197 384 106 0 68602 0
[pid=32083/tid=32084] ppid=32081 vsize=294524 CPUtime=0.56 cores=0,2,4,6
/proc/32083/task/32084/stat : 32084 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 1471 0 0 0 56 0 0 0 18 0 4 0 504531820 301592576 3200 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32083/tid=32085] ppid=32081 vsize=294524 CPUtime=0.56 cores=0,2,4,6
/proc/32083/task/32085/stat : 32085 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 1303 0 0 0 56 0 0 0 18 0 4 0 504531820 301592576 3204 33554432000 4194304 4627427 140736457927408 18446744073709551615 233510402542 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32083/tid=32086] ppid=32081 vsize=294524 CPUtime=0.57 cores=0,2,4,6
/proc/32083/task/32086/stat : 32086 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 1155 0 0 0 57 0 0 0 18 0 4 0 504531820 301592576 3207 33554432000 4194304 4627427 140736457927408 18446744073709551615 4503199 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 294524

[startup+0.60051 s]
/proc/loadavg: 8.13 8.13 7.96 6/180 32083
/proc/meminfo: memFree=24565188/32951124 swapFree=67111524/67111528
[pid=32083] ppid=32081 vsize=285696 CPUtime=2.37 cores=0,2,4,6
/proc/32083/stat : 32083 (strangenight2-m) R 32081 32083 31482 0 -1 4202496 5855 0 0 0 236 1 0 0 18 0 4 0 504531820 292552704 3105 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32083/statm: 71424 3105 384 106 0 66395 0
[pid=32083/tid=32084] ppid=32081 vsize=285696 CPUtime=0.59 cores=0,2,4,6
/proc/32083/task/32084/stat : 32084 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 1495 0 0 0 59 0 0 0 18 0 4 0 504531820 292552704 3105 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32083/tid=32085] ppid=32081 vsize=285696 CPUtime=0.58 cores=0,2,4,6
/proc/32083/task/32085/stat : 32085 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 1325 0 0 0 58 0 0 0 18 0 4 0 504531820 292552704 3105 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32083/tid=32086] ppid=32081 vsize=285696 CPUtime=0.59 cores=0,2,4,6
/proc/32083/task/32086/stat : 32086 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 1331 0 0 0 59 0 0 0 18 0 4 0 504531820 292552704 3105 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 285696

[startup+0.700493 s]
/proc/loadavg: 8.13 8.13 7.96 6/180 32083
/proc/meminfo: memFree=24565188/32951124 swapFree=67111524/67111528
[pid=32083] ppid=32081 vsize=285988 CPUtime=2.77 cores=0,2,4,6
/proc/32083/stat : 32083 (strangenight2-m) R 32081 32083 31482 0 -1 4202496 6547 0 0 0 276 1 0 0 18 0 4 0 504531820 292851712 3123 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309138 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32083/statm: 71497 3123 384 106 0 66468 0
[pid=32083/tid=32084] ppid=32081 vsize=285988 CPUtime=0.69 cores=0,2,4,6
/proc/32083/task/32084/stat : 32084 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 1573 0 0 0 69 0 0 0 18 0 4 0 504531820 292851712 3123 33554432000 4194304 4627427 140736457927408 18446744073709551615 4333275 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32083/tid=32085] ppid=32081 vsize=285988 CPUtime=0.68 cores=0,2,4,6
/proc/32083/task/32085/stat : 32085 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 1600 0 0 0 68 0 0 0 18 0 4 0 504531820 292851712 3123 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309364 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32083/tid=32086] ppid=32081 vsize=285988 CPUtime=0.69 cores=0,2,4,6
/proc/32083/task/32086/stat : 32086 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 1416 0 0 0 69 0 0 0 18 0 4 0 504531820 292851712 3123 33554432000 4194304 4627427 140736457927408 18446744073709551615 4330000 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285988

[startup+1.50635 s]
/proc/loadavg: 8.13 8.13 7.96 9/184 32087
/proc/meminfo: memFree=24527564/32951124 swapFree=67111524/67111528
[pid=32083] ppid=32081 vsize=313452 CPUtime=5.99 cores=0,2,4,6
/proc/32083/stat : 32083 (strangenight2-m) R 32081 32083 31482 0 -1 4202496 12985 0 0 0 596 3 0 0 20 0 4 0 504531820 320974848 7928 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32083/statm: 78363 7928 385 106 0 73334 0
[pid=32083/tid=32084] ppid=32081 vsize=313452 CPUtime=1.49 cores=0,2,4,6
/proc/32083/task/32084/stat : 32084 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 3138 0 0 0 149 0 0 0 20 0 4 0 504531820 320974848 7928 33554432000 4194304 4627427 140736457927408 18446744073709551615 4332210 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32083/tid=32085] ppid=32081 vsize=313452 CPUtime=1.48 cores=0,2,4,6
/proc/32083/task/32085/stat : 32085 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 3242 0 0 0 148 0 0 0 20 0 4 0 504531820 320974848 7928 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32083/tid=32086] ppid=32081 vsize=313452 CPUtime=1.49 cores=0,2,4,6
/proc/32083/task/32086/stat : 32086 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 3061 0 0 0 149 0 0 0 20 0 4 0 504531820 320974848 7928 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 313452

[startup+3.10106 s]
/proc/loadavg: 8.20 8.15 7.97 9/184 32087
/proc/meminfo: memFree=24515164/32951124 swapFree=67111524/67111528
[pid=32083] ppid=32081 vsize=322456 CPUtime=12.36 cores=0,2,4,6
/proc/32083/stat : 32083 (strangenight2-m) R 32081 32083 31482 0 -1 4202496 17993 0 0 0 1233 3 0 0 25 0 4 0 504531820 330194944 10962 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309253 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32083/statm: 80614 10962 385 106 0 75585 0
[pid=32083/tid=32084] ppid=32081 vsize=322456 CPUtime=3.08 cores=0,2,4,6
/proc/32083/task/32084/stat : 32084 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 4480 0 0 0 308 0 0 0 25 0 4 0 504531820 330194944 10962 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32083/tid=32085] ppid=32081 vsize=322456 CPUtime=3.07 cores=0,2,4,6
/proc/32083/task/32085/stat : 32085 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 4570 0 0 0 307 0 0 0 25 0 4 0 504531820 330194944 10962 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32083/tid=32086] ppid=32081 vsize=322456 CPUtime=3.08 cores=0,2,4,6
/proc/32083/task/32086/stat : 32086 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 4461 0 0 0 308 0 0 0 25 0 4 0 504531820 330194944 10962 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309270 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) 322456

[startup+6.30049 s]
/proc/loadavg: 8.20 8.15 7.97 9/184 32088
/proc/meminfo: memFree=24506032/32951124 swapFree=67111524/67111528
[pid=32083] ppid=32081 vsize=295284 CPUtime=25.14 cores=0,2,4,6
/proc/32083/stat : 32083 (strangenight2-m) R 32081 32083 31482 0 -1 4202496 25187 0 0 0 2509 5 0 0 25 0 4 0 504531820 302370816 10991 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32083/statm: 73821 10991 388 106 0 68792 0
[pid=32083/tid=32084] ppid=32081 vsize=295284 CPUtime=6.29 cores=0,2,4,6
/proc/32083/task/32084/stat : 32084 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 6154 0 0 0 628 1 0 0 25 0 4 0 504531820 302370816 10991 33554432000 4194304 4627427 140736457927408 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32083/tid=32085] ppid=32081 vsize=295284 CPUtime=6.25 cores=0,2,4,6
/proc/32083/task/32085/stat : 32085 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 6235 0 0 0 625 0 0 0 25 0 4 0 504531820 302370816 10991 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32083/tid=32086] ppid=32081 vsize=295284 CPUtime=6.29 cores=0,2,4,6
/proc/32083/task/32086/stat : 32086 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 6533 0 0 0 628 1 0 0 25 0 4 0 504531820 302370816 10991 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309242 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) 295284

[startup+12.7003 s]
/proc/loadavg: 8.17 8.14 7.97 9/184 32088
/proc/meminfo: memFree=24506940/32951124 swapFree=67111524/67111528
[pid=32083] ppid=32081 vsize=318624 CPUtime=50.71 cores=0,2,4,6
/proc/32083/stat : 32083 (strangenight2-m) R 32081 32083 31482 0 -1 4202496 41745 0 0 0 5063 8 0 0 25 0 4 0 504531820 326270976 13712 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32083/statm: 79656 13712 388 106 0 74627 0
[pid=32083/tid=32084] ppid=32081 vsize=318624 CPUtime=12.69 cores=0,2,4,6
/proc/32083/task/32084/stat : 32084 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 10384 0 0 0 1267 2 0 0 25 0 4 0 504531820 326270976 13712 33554432000 4194304 4627427 140736457927408 18446744073709551615 4333210 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32083/tid=32085] ppid=32081 vsize=318624 CPUtime=12.62 cores=0,2,4,6
/proc/32083/task/32085/stat : 32085 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 9134 0 0 0 1261 1 0 0 25 0 4 0 504531820 326270976 13712 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32083/tid=32086] ppid=32081 vsize=318624 CPUtime=12.69 cores=0,2,4,6
/proc/32083/task/32086/stat : 32086 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 10987 0 0 0 1267 2 0 0 25 0 4 0 504531820 326270976 13712 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309392 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) 318624

[startup+25.5011 s]
/proc/loadavg: 8.14 8.14 7.97 9/184 32088
/proc/meminfo: memFree=24479768/32951124 swapFree=67111524/67111528
[pid=32083] ppid=32081 vsize=303648 CPUtime=101.85 cores=0,2,4,6
/proc/32083/stat : 32083 (strangenight2-m) R 32081 32083 31482 0 -1 4202496 69128 0 0 0 10171 14 0 0 25 0 4 0 504531820 310935552 20743 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32083/statm: 75912 20743 388 106 0 70883 0
[pid=32083/tid=32084] ppid=32081 vsize=303648 CPUtime=25.48 cores=0,2,4,6
/proc/32083/task/32084/stat : 32084 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 17564 0 0 0 2545 3 0 0 25 0 4 0 504531820 310935552 20743 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32083/tid=32085] ppid=32081 vsize=303648 CPUtime=25.36 cores=0,2,4,6
/proc/32083/task/32085/stat : 32085 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 13344 0 0 0 2534 2 0 0 25 0 4 0 504531820 310935552 20743 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32083/tid=32086] ppid=32081 vsize=303648 CPUtime=25.48 cores=0,2,4,6
/proc/32083/task/32086/stat : 32086 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 20864 0 0 0 2545 3 0 0 25 0 4 0 504531820 310935552 20743 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309098 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) 303648

[startup+51.1005 s]
/proc/loadavg: 8.09 8.13 7.97 9/184 32089
/proc/meminfo: memFree=24420832/32951124 swapFree=67111524/67111528
[pid=32083] ppid=32081 vsize=299612 CPUtime=204.12 cores=0,2,4,6
/proc/32083/stat : 32083 (strangenight2-m) R 32081 32083 31482 0 -1 4202496 108944 0 0 0 20390 22 0 0 25 0 4 0 504531820 306802688 32205 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32083/statm: 74903 32205 388 106 0 69874 0
[pid=32083/tid=32084] ppid=32081 vsize=299612 CPUtime=51.08 cores=0,2,4,6
/proc/32083/task/32084/stat : 32084 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 32807 0 0 0 5101 7 0 0 25 0 4 0 504531820 306802688 32205 33554432000 4194304 4627427 140736457927408 18446744073709551615 4428111 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32083/tid=32085] ppid=32081 vsize=299612 CPUtime=50.83 cores=0,2,4,6
/proc/32083/task/32085/stat : 32085 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 23224 0 0 0 5079 4 0 0 25 0 4 0 504531820 306802688 32205 33554432000 4194304 4627427 140736457927408 18446744073709551615 4310126 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32083/tid=32086] ppid=32081 vsize=299612 CPUtime=51.08 cores=0,2,4,6
/proc/32083/task/32086/stat : 32086 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 29563 0 0 0 5103 5 0 0 25 0 4 0 504531820 306802688 32205 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309256 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) 299612

[startup+102.3 s]
/proc/loadavg: 8.16 8.14 7.98 9/184 32090
/proc/meminfo: memFree=24345892/32951124 swapFree=67111524/67111528
[pid=32083] ppid=32081 vsize=353720 CPUtime=408.67 cores=0,2,4,6
/proc/32083/stat : 32083 (strangenight2-m) R 32081 32083 31482 0 -1 4202496 166668 0 0 0 40830 37 0 0 25 0 4 0 504531820 362209280 46638 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309138 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32083/statm: 88430 46638 388 106 0 83401 0
[pid=32083/tid=32084] ppid=32081 vsize=353720 CPUtime=102.28 cores=0,2,4,6
/proc/32083/task/32084/stat : 32084 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 49183 0 0 0 10218 10 0 0 25 0 4 0 504531820 362209280 46638 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32083/tid=32085] ppid=32081 vsize=353720 CPUtime=101.79 cores=0,2,4,6
/proc/32083/task/32085/stat : 32085 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 37692 0 0 0 10170 9 0 0 25 0 4 0 504531820 362209280 46638 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309111 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32083/tid=32086] ppid=32081 vsize=353720 CPUtime=102.28 cores=0,2,4,6
/proc/32083/task/32086/stat : 32086 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 41435 0 0 0 10219 9 0 0 25 0 4 0 504531820 362209280 46638 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.67
Current children cumulated vsize (KiB) 353720

[startup+162.301 s]

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

[pid=32083] ppid=32081 vsize=580628 CPUtime=2805.53 cores=0,2,4,6
/proc/32083/stat : 32083 (strangenight2-m) R 32081 32083 31482 0 -1 4202496 556389 0 0 0 280376 177 0 0 25 0 4 0 504531820 594563072 108923 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32083/statm: 145157 108923 388 106 0 140128 0
[pid=32083/tid=32084] ppid=32081 vsize=580628 CPUtime=702.3 cores=0,2,4,6
/proc/32083/task/32084/stat : 32084 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 136361 0 0 0 70188 42 0 0 25 0 4 0 504531820 594563072 108923 33554432000 4194304 4627427 140736457927408 18446744073709551615 4324192 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32083/tid=32085] ppid=32081 vsize=580628 CPUtime=698.67 cores=0,2,4,6
/proc/32083/task/32085/stat : 32085 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 154487 0 0 0 69816 51 0 0 25 0 4 0 504531820 594563072 108923 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32083/tid=32086] ppid=32081 vsize=580628 CPUtime=702.23 cores=0,2,4,6
/proc/32083/task/32086/stat : 32086 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 138889 0 0 0 70183 40 0 0 25 0 4 0 504531820 594563072 108923 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.53
Current children cumulated vsize (KiB) 580628

[startup+762.301 s]
/proc/loadavg: 4.32 6.40 7.38 5/175 32135
/proc/meminfo: memFree=24571180/32951124 swapFree=67111524/67111528
[pid=32083] ppid=32081 vsize=660536 CPUtime=3045.26 cores=0,2,4,6
/proc/32083/stat : 32083 (strangenight2-m) R 32081 32083 31482 0 -1 4202496 596240 0 0 0 304334 192 0 0 25 0 4 0 504531820 676388864 114953 33554432000 4194304 4627427 140736457927408 18446744073709551615 4332735 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32083/statm: 165134 114953 388 106 0 160105 0
[pid=32083/tid=32084] ppid=32081 vsize=660536 CPUtime=762.3 cores=0,2,4,6
/proc/32083/task/32084/stat : 32084 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 146343 0 0 0 76185 45 0 0 25 0 4 0 504531820 676388864 114953 33554432000 4194304 4627427 140736457927408 18446744073709551615 4324205 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32083/tid=32085] ppid=32081 vsize=660536 CPUtime=758.4 cores=0,2,4,6
/proc/32083/task/32085/stat : 32085 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 164422 0 0 0 75786 54 0 0 25 0 4 0 504531820 676388864 114953 33554432000 4194304 4627427 140736457927408 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32083/tid=32086] ppid=32081 vsize=660536 CPUtime=762.23 cores=0,2,4,6
/proc/32083/task/32086/stat : 32086 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 149094 0 0 0 76179 44 0 0 25 0 4 0 504531820 676388864 114953 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3045.26
Current children cumulated vsize (KiB) 660536

[startup+822.3 s]
/proc/loadavg: 4.16 5.98 7.17 5/175 32136
/proc/meminfo: memFree=24562956/32951124 swapFree=67111524/67111528
[pid=32083] ppid=32081 vsize=608124 CPUtime=3284.98 cores=0,2,4,6
/proc/32083/stat : 32083 (strangenight2-m) R 32081 32083 31482 0 -1 4202496 629531 0 0 0 328294 204 0 0 25 0 4 0 504531820 622718976 116782 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309100 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32083/statm: 152031 116782 388 106 0 147002 0
[pid=32083/tid=32084] ppid=32081 vsize=608124 CPUtime=822.3 cores=0,2,4,6
/proc/32083/task/32084/stat : 32084 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 156047 0 0 0 82181 49 0 0 25 0 4 0 504531820 622718976 116782 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32083/tid=32085] ppid=32081 vsize=608124 CPUtime=818.12 cores=0,2,4,6
/proc/32083/task/32085/stat : 32085 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 169669 0 0 0 81757 55 0 0 25 0 4 0 504531820 622718976 116782 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32083/tid=32086] ppid=32081 vsize=608124 CPUtime=822.23 cores=0,2,4,6
/proc/32083/task/32086/stat : 32086 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 158703 0 0 0 82176 47 0 0 25 0 4 0 504531820 622718976 116782 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.98
Current children cumulated vsize (KiB) 608124

[startup+882.301 s]
/proc/loadavg: 4.06 5.62 6.97 5/175 32138
/proc/meminfo: memFree=24562548/32951124 swapFree=67111524/67111528
[pid=32083] ppid=32081 vsize=595348 CPUtime=3524.72 cores=0,2,4,6
/proc/32083/stat : 32083 (strangenight2-m) R 32081 32083 31482 0 -1 4202496 662466 0 0 0 352256 216 0 0 25 0 4 0 504531820 609636352 116909 33554432000 4194304 4627427 140736457927408 18446744073709551615 4420186 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32083/statm: 148837 116909 388 106 0 143808 0
[pid=32083/tid=32084] ppid=32081 vsize=595348 CPUtime=882.3 cores=0,2,4,6
/proc/32083/task/32084/stat : 32084 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 165801 0 0 0 88177 53 0 0 25 0 4 0 504531820 609636352 116909 33554432000 4194304 4627427 140736457927408 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32083/tid=32085] ppid=32081 vsize=595348 CPUtime=877.86 cores=0,2,4,6
/proc/32083/task/32085/stat : 32085 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 176670 0 0 0 87728 58 0 0 25 0 4 0 504531820 609636352 116909 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32083/tid=32086] ppid=32081 vsize=595348 CPUtime=882.23 cores=0,2,4,6
/proc/32083/task/32086/stat : 32086 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 168769 0 0 0 88173 50 0 0 25 0 4 0 504531820 609636352 116909 33554432000 4194304 4627427 140736457927408 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3524.72
Current children cumulated vsize (KiB) 595348

[startup+942.301 s]
/proc/loadavg: 4.06 5.33 6.78 5/175 32140
/proc/meminfo: memFree=24559420/32951124 swapFree=67111524/67111528
[pid=32083] ppid=32081 vsize=651324 CPUtime=3764.44 cores=0,2,4,6
/proc/32083/stat : 32083 (strangenight2-m) R 32081 32083 31482 0 -1 4202496 685800 0 0 0 376220 224 0 0 25 0 4 0 504531820 666955776 117725 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32083/statm: 162831 117725 388 106 0 157802 0
[pid=32083/tid=32084] ppid=32081 vsize=651324 CPUtime=942.3 cores=0,2,4,6
/proc/32083/task/32084/stat : 32084 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 174004 0 0 0 94174 56 0 0 25 0 4 0 504531820 666955776 117725 33554432000 4194304 4627427 140736457927408 18446744073709551615 4310126 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32083/tid=32085] ppid=32081 vsize=651324 CPUtime=937.58 cores=0,2,4,6
/proc/32083/task/32085/stat : 32085 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 178478 0 0 0 93699 59 0 0 25 0 4 0 504531820 666955776 117725 33554432000 4194304 4627427 140736457927408 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32083/tid=32086] ppid=32081 vsize=651324 CPUtime=942.23 cores=0,2,4,6
/proc/32083/task/32086/stat : 32086 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 177329 0 0 0 94171 52 0 0 25 0 4 0 504531820 666955776 117725 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3764.44
Current children cumulated vsize (KiB) 651324

[startup+1002.3 s]
/proc/loadavg: 4.02 5.09 6.61 5/175 32141
/proc/meminfo: memFree=24548084/32951124 swapFree=67111524/67111528
[pid=32083] ppid=32081 vsize=652892 CPUtime=4004.19 cores=0,2,4,6
/proc/32083/stat : 32083 (strangenight2-m) R 32081 32083 31482 0 -1 4202496 712904 0 0 0 400183 236 0 0 25 0 4 0 504531820 668561408 120468 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32083/statm: 163223 120468 388 106 0 158194 0
[pid=32083/tid=32084] ppid=32081 vsize=652892 CPUtime=1002.31 cores=0,2,4,6
/proc/32083/task/32084/stat : 32084 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 182271 0 0 0 100171 60 0 0 25 0 4 0 504531820 668561408 120468 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32083/tid=32085] ppid=32081 vsize=652892 CPUtime=997.31 cores=0,2,4,6
/proc/32083/task/32085/stat : 32085 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 181071 0 0 0 99672 59 0 0 25 0 4 0 504531820 668561408 120469 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32083/tid=32086] ppid=32081 vsize=652892 CPUtime=1002.24 cores=0,2,4,6
/proc/32083/task/32086/stat : 32086 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 185436 0 0 0 100168 56 0 0 25 0 4 0 504531820 668561408 120469 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4004.19
Current children cumulated vsize (KiB) 652892

[startup+1062.3 s]
/proc/loadavg: 4.04 4.90 6.44 5/175 32143
/proc/meminfo: memFree=24508848/32951124 swapFree=67111524/67111528
[pid=32083] ppid=32081 vsize=742688 CPUtime=4243.88 cores=0,2,4,6
/proc/32083/stat : 32083 (strangenight2-m) R 32081 32083 31482 0 -1 4202496 738422 0 0 0 424143 245 0 0 25 0 4 0 504531820 760512512 130177 33554432000 4194304 4627427 140736457927408 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32083/statm: 185672 130177 388 106 0 180643 0
[pid=32083/tid=32084] ppid=32081 vsize=742688 CPUtime=1062.3 cores=0,2,4,6
/proc/32083/task/32084/stat : 32084 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 193070 0 0 0 106166 64 0 0 25 0 4 0 504531820 760512512 130177 33554432000 4194304 4627427 140736457927408 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32083/tid=32085] ppid=32081 vsize=742688 CPUtime=1057.01 cores=0,2,4,6
/proc/32083/task/32085/stat : 32085 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 183932 0 0 0 105640 61 0 0 25 0 4 0 504531820 760512512 130177 33554432000 4194304 4627427 140736457927408 18446744073709551615 4332816 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32083/tid=32086] ppid=32081 vsize=742688 CPUtime=1062.23 cores=0,2,4,6
/proc/32083/task/32086/stat : 32086 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 192676 0 0 0 106166 57 0 0 25 0 4 0 504531820 760512512 130177 33554432000 4194304 4627427 140736457927408 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4243.88
Current children cumulated vsize (KiB) 742688

[startup+1122.3 s]
/proc/loadavg: 4.12 4.76 6.30 5/175 32144
/proc/meminfo: memFree=24504232/32951124 swapFree=67111524/67111528
[pid=32083] ppid=32081 vsize=742740 CPUtime=4483.59 cores=0,2,4,6
/proc/32083/stat : 32083 (strangenight2-m) R 32081 32083 31482 0 -1 4202496 743424 0 0 0 448108 251 0 0 25 0 4 0 504531820 760565760 131303 33554432000 4194304 4627427 140736457927408 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32083/statm: 185685 131303 388 106 0 180656 0
[pid=32083/tid=32084] ppid=32081 vsize=742740 CPUtime=1122.31 cores=0,2,4,6
/proc/32083/task/32084/stat : 32084 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 193070 0 0 0 112167 64 0 0 25 0 4 0 504531820 760565760 131303 33554432000 4194304 4627427 140736457927408 18446744073709551615 4420268 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32083/tid=32085] ppid=32081 vsize=742740 CPUtime=1116.68 cores=0,2,4,6
/proc/32083/task/32085/stat : 32085 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 188934 0 0 0 111602 66 0 0 25 0 4 0 504531820 760565760 131303 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32083/tid=32086] ppid=32081 vsize=742740 CPUtime=1122.24 cores=0,2,4,6
/proc/32083/task/32086/stat : 32086 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 192676 0 0 0 112167 57 0 0 25 0 4 0 504531820 760565760 131303 33554432000 4194304 4627427 140736457927408 18446744073709551615 4420151 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4483.59
Current children cumulated vsize (KiB) 742740

[startup+1182.3 s]
/proc/loadavg: 4.12 4.64 6.16 5/175 32146
/proc/meminfo: memFree=24505568/32951124 swapFree=67111524/67111528
[pid=32083] ppid=32081 vsize=854824 CPUtime=4723.28 cores=0,2,4,6
/proc/32083/stat : 32083 (strangenight2-m) R 32081 32083 31482 0 -1 4202496 762204 0 0 0 472066 262 0 0 25 0 4 0 504531820 875339776 131217 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32083/statm: 213706 131217 388 106 0 208677 0
[pid=32083/tid=32084] ppid=32081 vsize=854824 CPUtime=1182.31 cores=0,2,4,6
/proc/32083/task/32084/stat : 32084 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 197216 0 0 0 118165 66 0 0 25 0 4 0 504531820 875339776 131217 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32083/tid=32085] ppid=32081 vsize=854824 CPUtime=1176.39 cores=0,2,4,6
/proc/32083/task/32085/stat : 32085 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 192095 0 0 0 117572 67 0 0 25 0 4 0 504531820 875339776 131217 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32083/tid=32086] ppid=32081 vsize=854824 CPUtime=1182.24 cores=0,2,4,6
/proc/32083/task/32086/stat : 32086 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 199289 0 0 0 118163 61 0 0 25 0 4 0 504531820 875339776 131217 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4723.28
Current children cumulated vsize (KiB) 854824



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.5 s]
/proc/loadavg: 4.08 4.60 6.11 5/175 32146
/proc/meminfo: memFree=24507300/32951124 swapFree=67111524/67111528
[pid=32083] ppid=32081 vsize=799088 CPUtime=4800.02 cores=0,2,4,6
/proc/32083/stat : 32083 (strangenight2-m) R 32081 32083 31482 0 -1 4202496 773556 0 0 0 479736 266 0 0 25 0 4 0 504531820 818266112 130534 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32083/statm: 199772 130534 388 106 0 194743 0
[pid=32083/tid=32084] ppid=32081 vsize=799088 CPUtime=1201.52 cores=0,2,4,6
/proc/32083/task/32084/stat : 32084 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 200277 0 0 0 120084 68 0 0 25 0 4 0 504531820 818266112 130534 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32083/tid=32085] ppid=32081 vsize=799088 CPUtime=1195.51 cores=0,2,4,6
/proc/32083/task/32085/stat : 32085 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 195236 0 0 0 119482 69 0 0 25 0 4 0 504531820 818266112 130534 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32083/tid=32086] ppid=32081 vsize=799088 CPUtime=1201.45 cores=0,2,4,6
/proc/32083/task/32086/stat : 32086 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 201360 0 0 0 120083 62 0 0 25 0 4 0 504531820 818266112 130534 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.02
Current children cumulated vsize (KiB) 799088

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

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

[startup+1201.5 s]
/proc/loadavg: 4.08 4.60 6.11 5/175 32146
/proc/meminfo: memFree=24507300/32951124 swapFree=67111524/67111528
[pid=32083] ppid=32081 vsize=799088 CPUtime=4800.02 cores=0,2,4,6
/proc/32083/stat : 32083 (strangenight2-m) R 32081 32083 31482 0 -1 4202496 773556 0 0 0 479736 266 0 0 25 0 4 0 504531820 818266112 130534 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32083/statm: 199772 130534 388 106 0 194743 0
[pid=32083/tid=32084] ppid=32081 vsize=799088 CPUtime=1201.52 cores=0,2,4,6
/proc/32083/task/32084/stat : 32084 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 200277 0 0 0 120084 68 0 0 25 0 4 0 504531820 818266112 130534 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32083/tid=32085] ppid=32081 vsize=799088 CPUtime=1195.51 cores=0,2,4,6
/proc/32083/task/32085/stat : 32085 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 195236 0 0 0 119482 69 0 0 25 0 4 0 504531820 818266112 130534 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32083/tid=32086] ppid=32081 vsize=799088 CPUtime=1201.45 cores=0,2,4,6
/proc/32083/task/32086/stat : 32086 (strangenight2-m) R 32081 32083 31482 0 -1 4202560 201360 0 0 0 120083 62 0 0 25 0 4 0 504531820 818266112 130534 33554432000 4194304 4627427 140736457927408 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.02
Current children cumulated vsize (KiB) 799088

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.54
CPU time (s): 4800.08
CPU user time (s): 4797.39
CPU system time (s): 2.69359
CPU usage (%): 399.493
Max. virtual memory (cumulated for all children) (KiB): 909900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.39
system time used= 2.69359
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 773558
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= 278
involuntary context switches= 27071

runsolver used 1.83872 second user time and 4.18736 second system time

The end

Launcher Data 

Begin job on node145 at 2011-04-30 01:52:40
IDJOB=3250317
IDBENCH=83250
IDSOLVER=1586
FILE ID=node145/3250317-1304121160
RUNJOBID= node145-1304118361-31500
PBS_JOBID= 13170721
Free space on /tmp= 72196 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-4-4_511.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3250317-1304121160/watcher-3250317-1304121160 -o /tmp/evaluation-result-3250317-1304121160/solver-3250317-1304121160 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3250317-1304121160.cnf

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

MD5SUM BENCH= 766a362c83d920a8f8dd49df62ed42c9
RANDOM SEED=949052417

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.786
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.74
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.786
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.84
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.786
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.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24565228 kB
Buffers:       1268112 kB
Cached:        6076752 kB
SwapCached:          4 kB
Active:        1216784 kB
Inactive:      6645436 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24565228 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            5876 kB
Writeback:           0 kB
AnonPages:      516968 kB
Mapped:          15512 kB
Slab:           460228 kB
PageTables:       5736 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   864020 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= 72200 MiB
End job on node145 at 2011-04-30 02:12:43