Trace number 3366556

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v125-c2662-S1300400916-048.SATISFIABLE.cnf
MD5SUM2d20051b8a7a248788d1c2610fe5ea54
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.007998
Satisfiable
(Un)Satisfiability was proved
Number of variables125
Number of clauses2662
Sum of the clauses size13310
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 52662
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-3366556-1305407849.cnf'
0.00/0.00	c -- header says num vars:            125
0.00/0.00	c -- header says num clauses:        2662
0.00/0.00	c -- clauses added:            0 learnts,         2662 normals,            0 xors
0.00/0.00	c -- vars added        125
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       125      2662         0         0     13310         0   no data   no data
0.00/0.10	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.01
0.00/0.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
0.00/0.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:      63 undec:       1 neg:      61
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.10	c  B st     0         0       125      2662         0         0     13310         0   no data   no data
0.00/0.10	c Decided on static restart strategy
0.77/0.20	c  N st     8      4918       125      2662         0      4675     13310    123063   no data   no data
1.17/0.33	c  N st    10     11302       125      2662         0      4319     13310     88221   no data   no data
1.97/0.55	c  N st    11     17046       125      2662         0      9735     13310    227774   no data   no data
3.18/0.88	c  F st    12     25000       125      2662         0     11907     13310    280420   no data   no data
3.18/0.88	c  N st    12     25000       125      2662         0     11907     13310    280420   no data   no data
3.97/1.08	c Decided on static restart strategy
3.97/1.08	c  N st    18     30001       125      2662         0     10199     13310    228217   no data   no data
3.97/1.08	c  S st    18     30001       125      2662         0     10199     13310    228217   no data   no data
4.39/1.11	c  S st    18     30508       125      2662         0     10695     13310    241212   no data   no data
4.39/1.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.39/1.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.39/1.11	c blocked clauses removed:        0 vars:      0 tried:         125 T: 0.00 s
4.39/1.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.39/1.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.39/1.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.39/1.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.39/1.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.39/1.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.31	c lits-rem:       238  cl-subs:     1516  v-elim:      0  v-fix:    0  time:  0.18 s
5.16/1.34	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.04
5.16/1.34	c calculated reachability. Time: 0.00
5.16/1.34	c  N st    18     30508       125      2662         0      9179     13310    199056   no data   no data
6.35/1.68	c  N st    20     37621       125      2662         0      8484     13310    166428   no data   no data
7.96/2.01	c  N st    21     44020       125      2662         0     14523     13310    326373   no data   no data
8.36/2.12	c  S st    22     45764       125      2662         0     16164     13310    368018   no data   no data
8.36/2.17	c  S st    22     46267       125      2662         0     16653     13310    380753   no data   no data
8.36/2.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.36/2.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
8.36/2.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.36/2.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.36/2.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.36/2.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
8.36/2.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.36/2.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.36/2.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.34/2.61	c lits-rem:       345  cl-subs:     1686  v-elim:      0  v-fix:    0  time:  0.42 s
10.34/2.61	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
10.34/2.61	c vivif2 --  cl tried    14967 cl shrink        0 lits rem          0 time: 0.00
10.34/2.67	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
10.34/2.67	c calculated reachability. Time: 0.00
10.34/2.67	c  N st    22     46267       125      2662         0     14967     13310    332849   no data   no data
13.58/3.49	c  N st    23     60665       125      2662         0     10727     13310    191464   no data   no data
15.53/3.98	c  N st    24     69401       125      2662         0     18923     13310    400907   no data   no data
15.53/3.98	c  S st    24     69401       125      2662         0     18923     13310    400907   no data   no data
15.93/4.04	c  S st    24     69904       125      2662         0     19411     13310    413644   no data   no data
15.93/4.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.93/4.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
15.93/4.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.93/4.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.93/4.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.93/4.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
15.93/4.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.93/4.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.93/4.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.32/4.60	c lits-rem:       623  cl-subs:     1963  v-elim:      0  v-fix:    0  time:  0.54 s
18.32/4.60	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
18.32/4.61	c vivif2 --  cl tried    17448 cl shrink        0 lits rem          0 time: 0.01
18.32/4.68	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.07
18.32/4.68	c calculated reachability. Time: 0.00
18.32/4.68	c  N st    24     69904       125      2662         0     17448     13310    362664   no data   no data
22.71/5.72	c  F st    25     87500       125      2662         0     12514     13310    218503   no data   no data
22.71/5.72	c  N st    25     87500       125      2662         0     12514     13310    218503   no data   no data
23.91/6.00	c Decided on static restart strategy
24.31/6.17	c  N st    32     95537       125      2662         0     20093     13310    414703   no data   no data
26.74/6.72	c  N st    34    104858       125      2662         0     16645     13310    322604   no data   no data
26.74/6.72	c  S st    34    104858       125      2662         0     16645     13310    322604   no data   no data
26.74/6.77	c  S st    34    105360       125      2662         0     17134     13310    335380   no data   no data
26.74/6.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.74/6.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
26.74/6.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.74/6.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.74/6.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.74/6.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
26.74/6.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.74/6.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
26.74/6.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.89/7.01	c lits-rem:       347  cl-subs:     1082  v-elim:      0  v-fix:    0  time:  0.22 s
27.89/7.01	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
27.89/7.01	c vivif2 --  cl tried    16052 cl shrink        0 lits rem          0 time: 0.00
27.89/7.08	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.07
27.89/7.08	c calculated reachability. Time: 0.00
27.89/7.08	c  N st    34    105360       125      2662         0     16052     13310    305894   no data   no data
30.71/7.78	c  N st    35    114959       125      2662         0     25086     13310    539551   no data   no data
34.68/8.77	c  N st    36    129359       125      2662         0     25398     13310    530558   no data   no data
41.05/10.35	c  N st    37    150955       125      2662         0     16631     13310    271509   no data   no data
43.05/10.82	c  S st    38    158042       125      2662         0     23275     13310    445177   no data   no data
43.05/10.88	c  S st    38    158547       125      2662         0     23763     13310    458091   no data   no data
43.05/10.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.05/10.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
43.05/10.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
43.05/10.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.05/10.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.05/10.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
43.05/10.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.05/10.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
43.45/10.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.44/11.40	c lits-rem:       437  cl-subs:     1710  v-elim:      0  v-fix:    0  time:  0.50 s
45.44/11.40	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
45.44/11.40	c vivif2 --  cl tried    22053 cl shrink        0 lits rem          0 time: 0.00
45.44/11.49	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.09
45.44/11.49	c calculated reachability. Time: 0.00
45.44/11.49	c  N st    38    158547       125      2662         0     22053     13310    410508   no data   no data
62.18/15.69	c  N st    39    207135       125      2662         0     34690     13310    703835   no data   no data
73.76/18.55	c  N st    40    237821       125      2662         0     27005     13310    488545   no data   no data
73.76/18.55	c  S st    40    237821       125      2662         0     27005     13310    488545   no data   no data
74.16/18.62	c  S st    40    238324       125      2662         0     27497     13310    501508   no data   no data
74.16/18.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
74.16/18.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
74.16/18.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
74.16/18.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
74.16/18.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
74.16/18.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
74.16/18.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
74.16/18.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
74.16/18.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
76.94/19.35	c lits-rem:       514  cl-subs:     2142  v-elim:      0  v-fix:    0  time:  0.71 s
76.94/19.35	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
76.94/19.36	c vivif2 --  cl tried    25355 cl shrink        0 lits rem          0 time: 0.01
77.35/19.46	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.10
77.35/19.46	c calculated reachability. Time: 0.00
77.35/19.46	c  N st    40    238324       125      2662         0     25355     13310    448102   no data   no data
104.47/26.22	c  F st    41    306251       125      2662         0     27161     13310    449972   no data   no data
104.47/26.22	c  N st    41    306251       125      2662         0     27161     13310    449972   no data   no data
106.05/26.69	c Decided on static restart strategy
116.83/29.38	c  N st    51    334556       125      2662         0     31326     13310    541990   no data   no data
126.80/31.90	c  N st    53    357487       125      2662         0     29404     13310    479471   no data   no data
126.80/31.90	c  S st    53    357487       125      2662         0     29404     13310    479471   no data   no data
127.22/31.98	c  S st    53    357994       125      2662         0     29897     13310    492452   no data   no data
127.22/31.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
127.22/31.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
127.22/31.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
127.22/31.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
127.22/31.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
127.22/31.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
127.22/31.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
127.22/31.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
127.22/32.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
129.20/32.42	c lits-rem:       277  cl-subs:     1286  v-elim:      0  v-fix:    0  time:  0.41 s
129.20/32.42	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
129.20/32.42	c vivif2 --  cl tried    28611 cl shrink        0 lits rem          0 time: 0.00
129.59/32.55	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.12
129.59/32.55	c calculated reachability. Time: 0.00
129.59/32.55	c  N st    53    357994       125      2662         0     28611     13310    456909   no data   no data
143.15/35.99	c  N st    54    390388       125      2662         0     34617     13310    599902   no data   no data
170.28/42.71	c  N st    55    438976       125      2662         0     28575     13310    414779   no data   no data
205.37/51.52	c  N st    56    511858       125      2662         0     41621     13310    735443   no data   no data
219.35/55.04	c  N st    57    536993       125      2662         0     36142     13310    572772   no data   no data
219.35/55.04	c  S st    57    536993       125      2662         0     36142     13310    572772   no data   no data
219.78/55.13	c  S st    57    537494       125      2662         0     36628     13310    585528   no data   no data
219.78/55.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
219.78/55.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
219.78/55.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
219.78/55.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
219.78/55.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
219.78/55.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
219.78/55.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
219.78/55.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
219.78/55.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
222.52/55.83	c lits-rem:       481  cl-subs:     1568  v-elim:      0  v-fix:    0  time:  0.67 s
222.52/55.83	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
222.52/55.84	c vivif2 --  cl tried    35060 cl shrink        0 lits rem          0 time: 0.01
222.92/55.99	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.15
222.92/55.99	c calculated reachability. Time: 0.00
222.92/55.99	c  N st    57    537494       125      2662         0     35060     13310    543554   no data   no data
311.48/78.17	c  N st    58    701478       125      2662         0     62801     13310   1220434   no data   no data
371.28/93.10	c  N st    59    806241       125      2662         0     57491     13310   1048776   no data   no data
371.28/93.10	c  S st    59    806241       125      2662         0     57491     13310   1048776   no data   no data
371.68/93.28	c  S st    59    806745       125      2662         0     57982     13310   1061332   no data   no data
371.68/93.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
372.08/93.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
372.08/93.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
372.08/93.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
372.08/93.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
372.08/93.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
372.08/93.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
372.08/93.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
372.08/93.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
389.23/97.61	c lits-rem:      1350  cl-subs:     4459  v-elim:      0  v-fix:    0  time:  4.26 s
389.23/97.61	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
389.23/97.62	c vivif2 --  cl tried    53523 cl shrink        0 lits rem          0 time: 0.01
390.03/97.89	c asymm  cl-useful: 0/2610/2662 lits-rem:0 time: 0.27
390.03/97.89	c calculated reachability. Time: 0.00
390.03/97.89	c  N st    59    806745       125      2662         0     53523     13310    945855   no data   no data
559.13/140.22	c  F st    60   1071876       125      2662         0     68388     13310   1240757   no data   no data
559.13/140.22	c  N st    60   1071876       125      2662         0     68388     13310   1240757   no data   no data
563.51/141.33	c Decided on static restart strategy
582.25/146.02	c  N st    70   1100180       125      2662         0     53066     13310    816427   no data   no data
608.98/152.71	c  N st    72   1136173       125      2662         0     43805     13310    550001   no data   no data
629.31/157.81	c  N st    73   1168566       125      2662         0     74266     13310   1339032   no data   no data
660.43/165.65	c  N st    74   1210117       125      2662         0     69082     13310   1186638   no data   no data
660.43/165.65	c  S st    74   1210117       125      2662         0     69082     13310   1186638   no data   no data
661.23/165.88	c  S st    74   1210625       125      2662         0     69567     13310   1199519   no data   no data
661.23/165.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
661.63/165.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
661.63/165.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
661.63/165.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
661.63/165.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
661.63/165.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
661.63/165.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
661.63/165.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
661.63/165.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
713.06/178.85	c lits-rem:      1399  cl-subs:     5388  v-elim:      0  v-fix:    0  time: 12.89 s
713.06/178.85	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
713.06/178.87	c vivif2 --  cl tried    64179 cl shrink        0 lits rem          0 time: 0.02
715.50/179.42	c asymm  cl-useful: 0/2084/2662 lits-rem:0 time: 0.55
715.50/179.42	c calculated reachability. Time: 0.00
715.50/179.42	c  N st    74   1210625       125      2662         0     64179     13310   1062939   no data   no data
784.06/196.70	c  N st    75   1283508       125      2662         0     87456     13310   1685768   no data   no data
883.75/221.60	c  N st    76   1392831       125      2662         0     49313     13310    617124   no data   no data
1024.54/256.98	c  N st    77   1556816       125      2662         0     53719     13310    692491   no data   no data
1156.16/289.92	c  N st    78   1710627       125      2662         0     93646     13310   1689380   no data   no data
1156.16/289.92	c  S st    78   1710627       125      2662         0     93646     13310   1689380   no data   no data
1157.36/290.22	c  S st    78   1711128       125      2662         0     94134     13310   1702275   no data   no data
1157.36/290.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1157.36/290.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
1157.36/290.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1157.36/290.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1157.36/290.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1157.36/290.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1157.36/290.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1157.36/290.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1157.76/290.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1272.23/319.08	c lits-rem:      3186  cl-subs:    10397  v-elim:      0  v-fix:    0  time: 28.74 s
1272.23/319.08	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1272.23/319.10	c vivif2 --  cl tried    83737 cl shrink        0 lits rem          0 time: 0.03
1273.39/319.34	c asymm  cl-useful: 0/578/2662 lits-rem:0 time: 0.23
1273.39/319.34	c calculated reachability. Time: 0.00
1273.39/319.34	c  N st    78   1711128       125      2662         0     83737     13310   1452765   no data   no data
1645.13/412.56	c  N st    79   2080092       125      2662         0     95357     13310   1639739   no data   no data
1775.53/445.28	c  N st    80   2211128       125      2662         0     99466     13310   1744100   no data   no data
1775.53/445.28	c  S st    80   2211128       125      2662         0     99466     13310   1744100   no data   no data
1776.75/445.60	c  S st    80   2211631       125      2662         0     99950     13310   1757524   no data   no data
1776.75/445.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1777.17/445.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1777.17/445.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1777.17/445.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1777.17/445.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1777.17/445.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1777.17/445.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1777.17/445.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1777.52/445.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1850.91/464.16	c lits-rem:      2009  cl-subs:    10334  v-elim:      0  v-fix:    0  time: 18.44 s
1850.91/464.16	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1850.91/464.19	c vivif2 --  cl tried    89616 cl shrink        0 lits rem          0 time: 0.02
1852.49/464.53	c asymm  cl-useful: 0/1532/2662 lits-rem:0 time: 0.34
1852.49/464.53	c calculated reachability. Time: 0.00
1852.49/464.53	c  N st    80   2211631       125      2662         0     89616     13310   1501292   no data   no data
2439.97/611.84	c  N st    81   2711631       125      2662         0    112617     13310   1965903   no data   no data
2439.97/611.84	c  S st    81   2711631       125      2662         0    112617     13310   1965903   no data   no data
2441.17/612.20	c  S st    81   2712134       125      2662         0    113111     13310   1979037   no data   no data
2441.57/612.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2441.57/612.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
2441.57/612.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2441.57/612.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2441.57/612.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2441.57/612.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2441.57/612.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2441.57/612.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2441.97/612.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2539.27/636.78	c lits-rem:      2332  cl-subs:    12839  v-elim:      0  v-fix:    0  time: 24.44 s
2539.27/636.78	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2539.67/636.81	c vivif2 --  cl tried   100272 cl shrink        0 lits rem          0 time: 0.02
2540.87/637.13	c asymm  cl-useful: 0/1130/2662 lits-rem:0 time: 0.33
2540.87/637.14	c calculated reachability. Time: 0.00
2540.87/637.14	c  N st    81   2712134       125      2662         0    100272     13310   1696116   no data   no data
3189.81/799.88	c  N st    82   3212134       125      2662         0     77761     13310    975254   no data   no data
3189.81/799.88	c  S st    82   3212134       125      2662         0     77761     13310    975254   no data   no data
3190.96/800.12	c  S st    82   3212636       125      2662         0     78251     13310    988857   no data   no data
3190.96/800.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3190.96/800.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
3190.96/800.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3190.96/800.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3190.96/800.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3190.96/800.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3190.96/800.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3190.96/800.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3191.36/800.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3195.34/801.21	c lits-rem:       374  cl-subs:     1426  v-elim:      0  v-fix:    0  time:  1.00 s
3195.34/801.21	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3195.34/801.22	c vivif2 --  cl tried    76825 cl shrink        0 lits rem          0 time: 0.01
3196.54/801.53	c asymm  cl-useful: 0/1864/2662 lits-rem:0 time: 0.31
3196.54/801.54	c calculated reachability. Time: 0.00
3196.54/801.54	c  N st    82   3212636       125      2662         0     76825     13310    957021   no data   no data
3825.52/959.29	c  N st    83   3712637       125      2662         0     86968     13310   1136584   no data   no data
3825.52/959.29	c  S st    83   3712637       125      2662         0     86968     13310   1136584   no data   no data
3826.69/959.56	c  S st    83   3713139       125      2662         0     87456     13310   1149347   no data   no data
3826.69/959.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3827.09/959.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3827.09/959.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3827.09/959.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3827.09/959.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3827.09/959.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3827.09/959.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3827.09/959.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3827.09/959.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3834.72/961.58	c lits-rem:       560  cl-subs:     2224  v-elim:      0  v-fix:    0  time:  1.92 s
3834.72/961.58	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3834.72/961.59	c vivif2 --  cl tried    85232 cl shrink        0 lits rem          0 time: 0.02
3835.46/961.77	c asymm  cl-useful: 0/798/2662 lits-rem:0 time: 0.18
3835.46/961.78	c calculated reachability. Time: 0.00
3835.46/961.78	c  N st    83   3713139       125      2662         0     85232     13310   1096263   no data   no data
3875.74/971.87	c  F st    84   3751562       125      2662         0    121101     13310   2044025   no data   no data
3875.74/971.87	c  N st    84   3751562       125      2662         0    121101     13310   2044025   no data   no data
3884.52/974.06	c Decided on static restart strategy
3922.45/983.58	c  N st    94   3779861       125      2662         0    147631     13310   2747687   no data   no data
3977.85/997.48	c  N st    96   3815854       125      2662         0    102292     13310   1534866   no data   no data
4024.91/1009.26	c  N st    97   3848246       125      2662         0    132441     13310   2315942   no data   no data
4089.16/1025.38	c  N st    98   3896836       125      2662         0     97757     13310   1368545   no data   no data
4205.98/1054.60	c  N st    99   3969719       125      2662         0     84506     13310   1020597   no data   no data
4350.75/1090.93	c  N st   100   4079042       125      2662         0    104534     13310   1555731   no data   no data
4535.40/1137.20	c  N st   101   4213139       125      2662         0    146574     13310   2625158   no data   no data
4535.40/1137.20	c  S st   101   4213139       125      2662         0    146574     13310   2625158   no data   no data
4537.39/1137.71	c  S st   101   4213644       125      2662         0    147068     13310   2638542   no data   no data
4537.39/1137.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4537.39/1137.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.08
4537.39/1137.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4537.39/1137.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4537.39/1137.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4537.39/1137.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4537.39/1137.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4537.78/1137.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4538.18/1137.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4748.75/1190.75	c lits-rem:      4209  cl-subs:    15460  v-elim:      0  v-fix:    0  time: 52.84 s
4748.75/1190.75	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
4748.75/1190.79	c vivif2 --  cl tried   131608 cl shrink        0 lits rem          0 time: 0.04
4751.59/1191.41	c asymm  cl-useful: 0/1103/2662 lits-rem:0 time: 0.62
4751.59/1191.42	c calculated reachability. Time: 0.00
4751.59/1191.42	c  N st   101   4213644       125      2662         0    131608     13310   2252413   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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366556-1305407849/watcher-3366556-1305407849 -o /tmp/evaluation-result-3366556-1305407849/solver-3366556-1305407849 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366556-1305407849.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.07 8.11 8.05 5/367 15678
/proc/meminfo: memFree=23013760/32950928 swapFree=65730864/67111528
[pid=15678] ppid=15676 vsize=281568 CPUtime=0 cores=1,3,5,7
/proc/15678/stat : 15678 (strangenight2-m) R 15676 15678 15496 0 -1 4202496 661 0 0 0 0 0 0 0 25 0 4 0 731015623 288325632 591 33554432000 4194304 4580107 140734697713456 18446744073709551615 4489474 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15678/statm: 70392 593 336 95 0 65374 0
[pid=15678/tid=15679] ppid=15676 vsize=281556 CPUtime=0 cores=1,3,5,7
/proc/15678/task/15679/stat : 15679 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 75 0 0 0 0 0 0 0 25 0 4 0 731015623 288313344 726 33554432000 4194304 4580107 140734697713456 18446744073709551615 260905054917 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15678/tid=15680] ppid=15676 vsize=281556 CPUtime=0 cores=1,3,5,7
/proc/15678/task/15680/stat : 15680 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 91 0 0 0 0 0 0 0 25 0 4 0 731015623 288313344 726 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15678/tid=15681] ppid=15676 vsize=281556 CPUtime=0 cores=1,3,5,7
/proc/15678/task/15681/stat : 15681 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 110 0 0 0 0 0 0 0 25 0 4 0 731015623 288313344 727 33554432000 4194304 4580107 140734697713456 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.113173 s]
/proc/loadavg: 8.07 8.11 8.05 5/367 15678
/proc/meminfo: memFree=23013760/32950928 swapFree=65730864/67111528
[pid=15678] ppid=15676 vsize=282388 CPUtime=0.42 cores=1,3,5,7
/proc/15678/stat : 15678 (strangenight2-m) R 15676 15678 15496 0 -1 4202496 1909 0 0 0 42 0 0 0 25 0 4 0 731015623 289165312 1770 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15678/statm: 70597 1770 376 95 0 65579 0
[pid=15678/tid=15679] ppid=15676 vsize=282388 CPUtime=0.1 cores=1,3,5,7
/proc/15678/task/15679/stat : 15679 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 407 0 0 0 10 0 0 0 25 0 4 0 731015623 289165312 1770 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15678/tid=15680] ppid=15676 vsize=282388 CPUtime=0.1 cores=1,3,5,7
/proc/15678/task/15680/stat : 15680 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 371 0 0 0 10 0 0 0 25 0 4 0 731015623 289165312 1770 33554432000 4194304 4580107 140734697713456 18446744073709551615 4322741 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15678/tid=15681] ppid=15676 vsize=282388 CPUtime=0.1 cores=1,3,5,7
/proc/15678/task/15681/stat : 15681 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 284 0 0 0 10 0 0 0 25 0 4 0 731015623 289165312 1770 33554432000 4194304 4580107 140734697713456 18446744073709551615 4321863 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282388

[startup+0.201159 s]
/proc/loadavg: 8.07 8.11 8.05 5/367 15678
/proc/meminfo: memFree=23013760/32950928 swapFree=65730864/67111528
[pid=15678] ppid=15676 vsize=283852 CPUtime=0.77 cores=1,3,5,7
/proc/15678/stat : 15678 (strangenight2-m) R 15676 15678 15496 0 -1 4202496 2644 0 0 0 77 0 0 0 25 0 4 0 731015623 290664448 1882 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15678/statm: 70963 1882 377 95 0 65945 0
[pid=15678/tid=15679] ppid=15676 vsize=283852 CPUtime=0.18 cores=1,3,5,7
/proc/15678/task/15679/stat : 15679 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 592 0 0 0 18 0 0 0 25 0 4 0 731015623 290664448 1882 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15678/tid=15680] ppid=15676 vsize=283852 CPUtime=0.19 cores=1,3,5,7
/proc/15678/task/15680/stat : 15680 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 558 0 0 0 19 0 0 0 25 0 4 0 731015623 290664448 1882 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15678/tid=15681] ppid=15676 vsize=283852 CPUtime=0.19 cores=1,3,5,7
/proc/15678/task/15681/stat : 15681 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 468 0 0 0 19 0 0 0 25 0 4 0 731015623 290664448 1882 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283852

[startup+0.301139 s]
/proc/loadavg: 8.07 8.11 8.05 5/367 15678
/proc/meminfo: memFree=23013760/32950928 swapFree=65730864/67111528
[pid=15678] ppid=15676 vsize=284024 CPUtime=1.17 cores=1,3,5,7
/proc/15678/stat : 15678 (strangenight2-m) R 15676 15678 15496 0 -1 4202496 3113 0 0 0 117 0 0 0 25 0 4 0 731015623 290840576 2351 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15678/statm: 71006 2352 377 95 0 65988 0
[pid=15678/tid=15679] ppid=15676 vsize=284024 CPUtime=0.28 cores=1,3,5,7
/proc/15678/task/15679/stat : 15679 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 710 0 0 0 28 0 0 0 25 0 4 0 731015623 290840576 2352 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15678/tid=15680] ppid=15676 vsize=284024 CPUtime=0.29 cores=1,3,5,7
/proc/15678/task/15680/stat : 15680 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 682 0 0 0 29 0 0 0 25 0 4 0 731015623 290840576 2352 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15678/tid=15681] ppid=15676 vsize=284024 CPUtime=0.29 cores=1,3,5,7
/proc/15678/task/15681/stat : 15681 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 581 0 0 0 29 0 0 0 25 0 4 0 731015623 290840576 2352 33554432000 4194304 4580107 140734697713456 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284024

[startup+0.701067 s]
/proc/loadavg: 8.07 8.11 8.05 5/367 15678
/proc/meminfo: memFree=23013760/32950928 swapFree=65730864/67111528
[pid=15678] ppid=15676 vsize=285632 CPUtime=2.78 cores=1,3,5,7
/proc/15678/stat : 15678 (strangenight2-m) R 15676 15678 15496 0 -1 4202496 5546 0 0 0 277 1 0 0 25 0 4 0 731015623 292487168 2619 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15678/statm: 71408 2619 377 95 0 66390 0
[pid=15678/tid=15679] ppid=15676 vsize=285632 CPUtime=0.68 cores=1,3,5,7
/proc/15678/task/15679/stat : 15679 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 1312 0 0 0 68 0 0 0 25 0 4 0 731015623 292487168 2619 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15678/tid=15680] ppid=15676 vsize=285632 CPUtime=0.69 cores=1,3,5,7
/proc/15678/task/15680/stat : 15680 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 1308 0 0 0 69 0 0 0 25 0 4 0 731015623 292487168 2619 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15678/tid=15681] ppid=15676 vsize=285632 CPUtime=0.69 cores=1,3,5,7
/proc/15678/task/15681/stat : 15681 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 1181 0 0 0 69 0 0 0 25 0 4 0 731015623 292487168 2619 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285632

[startup+1.50092 s]
/proc/loadavg: 8.07 8.11 8.05 9/371 15682
/proc/meminfo: memFree=23008680/32950928 swapFree=65730864/67111528
[pid=15678] ppid=15676 vsize=292020 CPUtime=5.95 cores=1,3,5,7
/proc/15678/stat : 15678 (strangenight2-m) R 15676 15678 15496 0 -1 4202496 11597 0 0 0 594 1 0 0 25 0 4 0 731015623 299028480 5967 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15678/statm: 73005 5968 379 95 0 67987 0
[pid=15678/tid=15679] ppid=15676 vsize=292020 CPUtime=1.47 cores=1,3,5,7
/proc/15678/task/15679/stat : 15679 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 3451 0 0 0 147 0 0 0 25 0 4 0 731015623 299028480 5968 33554432000 4194304 4580107 140734697713456 18446744073709551615 4406134 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15678/tid=15680] ppid=15676 vsize=292020 CPUtime=1.49 cores=1,3,5,7
/proc/15678/task/15680/stat : 15680 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 2246 0 0 0 149 0 0 0 25 0 4 0 731015623 299028480 5968 33554432000 4194304 4580107 140734697713456 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15678/tid=15681] ppid=15676 vsize=292020 CPUtime=1.49 cores=1,3,5,7
/proc/15678/task/15681/stat : 15681 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 2123 0 0 0 149 0 0 0 25 0 4 0 731015623 299028480 5968 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 292020

[startup+3.10063 s]
/proc/loadavg: 8.06 8.11 8.05 9/371 15682
/proc/meminfo: memFree=22973960/32950928 swapFree=65730864/67111528
[pid=15678] ppid=15676 vsize=283388 CPUtime=12.34 cores=1,3,5,7
/proc/15678/stat : 15678 (strangenight2-m) R 15676 15678 15496 0 -1 4202496 21001 0 0 0 1230 4 0 0 25 0 4 0 731015623 290189312 10719 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15678/statm: 70847 10719 379 95 0 65829 0
[pid=15678/tid=15679] ppid=15676 vsize=283388 CPUtime=3.05 cores=1,3,5,7
/proc/15678/task/15679/stat : 15679 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 4586 0 0 0 305 0 0 0 25 0 4 0 731015623 290189312 10719 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15678/tid=15680] ppid=15676 vsize=283388 CPUtime=3.09 cores=1,3,5,7
/proc/15678/task/15680/stat : 15680 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 5449 0 0 0 308 1 0 0 25 0 4 0 731015623 290189312 10719 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15678/tid=15681] ppid=15676 vsize=283388 CPUtime=3.08 cores=1,3,5,7
/proc/15678/task/15681/stat : 15681 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 5196 0 0 0 308 0 0 0 25 0 4 0 731015623 290189312 10719 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294883 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 283388

[startup+6.30104 s]
/proc/loadavg: 8.06 8.11 8.05 9/371 15682
/proc/meminfo: memFree=22954240/32950928 swapFree=65730864/67111528
[pid=15678] ppid=15676 vsize=298700 CPUtime=25.11 cores=1,3,5,7
/proc/15678/stat : 15678 (strangenight2-m) R 15676 15678 15496 0 -1 4202496 32196 0 0 0 2504 7 0 0 25 0 4 0 731015623 305868800 15736 33554432000 4194304 4580107 140734697713456 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15678/statm: 74675 15736 379 95 0 69657 0
[pid=15678/tid=15679] ppid=15676 vsize=298700 CPUtime=6.22 cores=1,3,5,7
/proc/15678/task/15679/stat : 15679 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 7592 0 0 0 621 1 0 0 25 0 4 0 731015623 305868800 15736 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15678/tid=15680] ppid=15676 vsize=298700 CPUtime=6.29 cores=1,3,5,7
/proc/15678/task/15680/stat : 15680 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 8633 0 0 0 627 2 0 0 25 0 4 0 731015623 305868800 15736 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15678/tid=15681] ppid=15676 vsize=298700 CPUtime=6.28 cores=1,3,5,7
/proc/15678/task/15681/stat : 15681 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 7666 0 0 0 627 1 0 0 25 0 4 0 731015623 305868800 15736 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 298700

[startup+12.7009 s]
/proc/loadavg: 8.05 8.10 8.05 9/371 15682
/proc/meminfo: memFree=22931184/32950928 swapFree=65730864/67111528
[pid=15678] ppid=15676 vsize=299404 CPUtime=50.63 cores=1,3,5,7
/proc/15678/stat : 15678 (strangenight2-m) R 15676 15678 15496 0 -1 4202496 48965 0 0 0 5053 10 0 0 25 0 4 0 731015623 306589696 20238 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15678/statm: 74851 20238 379 95 0 69833 0
[pid=15678/tid=15679] ppid=15676 vsize=299404 CPUtime=12.53 cores=1,3,5,7
/proc/15678/task/15679/stat : 15679 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 11643 0 0 0 1252 1 0 0 25 0 4 0 731015623 306589696 20238 33554432000 4194304 4580107 140734697713456 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15678/tid=15680] ppid=15676 vsize=299404 CPUtime=12.69 cores=1,3,5,7
/proc/15678/task/15680/stat : 15680 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 12430 0 0 0 1266 3 0 0 25 0 4 0 731015623 306589696 20238 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15678/tid=15681] ppid=15676 vsize=299404 CPUtime=12.68 cores=1,3,5,7
/proc/15678/task/15681/stat : 15681 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 12634 0 0 0 1266 2 0 0 25 0 4 0 731015623 306589696 20239 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 299404

[startup+25.5005 s]
/proc/loadavg: 8.04 8.10 8.04 9/371 15682
/proc/meminfo: memFree=22899180/32950928 swapFree=65730864/67111528
[pid=15678] ppid=15676 vsize=322708 CPUtime=101.67 cores=1,3,5,7
/proc/15678/stat : 15678 (strangenight2-m) R 15676 15678 15496 0 -1 4202496 73714 0 0 0 10152 15 0 0 25 0 4 0 731015623 330452992 28626 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15678/statm: 80677 28626 379 95 0 75659 0
[pid=15678/tid=15679] ppid=15676 vsize=322708 CPUtime=25.18 cores=1,3,5,7
/proc/15678/task/15679/stat : 15679 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 17887 0 0 0 2516 2 0 0 25 0 4 0 731015623 330452992 28626 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15678/tid=15680] ppid=15676 vsize=322708 CPUtime=25.48 cores=1,3,5,7
/proc/15678/task/15680/stat : 15680 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 19528 0 0 0 2544 4 0 0 25 0 4 0 731015623 330452992 28626 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15678/tid=15681] ppid=15676 vsize=322708 CPUtime=25.48 cores=1,3,5,7
/proc/15678/task/15681/stat : 15681 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 18823 0 0 0 2544 4 0 0 25 0 4 0 731015623 330452992 28626 33554432000 4194304 4580107 140734697713456 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 322708

[startup+51.1008 s]
/proc/loadavg: 8.03 8.09 8.04 9/371 15683
/proc/meminfo: memFree=22886740/32950928 swapFree=65730864/67111528
[pid=15678] ppid=15676 vsize=345160 CPUtime=203.77 cores=1,3,5,7
/proc/15678/stat : 15678 (strangenight2-m) R 15676 15678 15496 0 -1 4202496 111157 0 0 0 20353 24 0 0 25 0 4 0 731015623 353443840 31919 33554432000 4194304 4580107 140734697713456 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15678/statm: 86290 31919 379 95 0 81272 0
[pid=15678/tid=15679] ppid=15676 vsize=345160 CPUtime=50.49 cores=1,3,5,7
/proc/15678/task/15679/stat : 15679 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 26444 0 0 0 5045 4 0 0 25 0 4 0 731015623 353443840 31919 33554432000 4194304 4580107 140734697713456 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15678/tid=15680] ppid=15676 vsize=345160 CPUtime=51.09 cores=1,3,5,7
/proc/15678/task/15680/stat : 15680 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 29710 0 0 0 5101 8 0 0 25 0 4 0 731015623 353443840 31919 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294440 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15678/tid=15681] ppid=15676 vsize=345160 CPUtime=51.08 cores=1,3,5,7
/proc/15678/task/15681/stat : 15681 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 28389 0 0 0 5102 6 0 0 25 0 4 0 731015623 353443840 31919 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.77
Current children cumulated vsize (KiB) 345160

[startup+102.3 s]
/proc/loadavg: 8.09 8.09 8.04 9/371 15684
/proc/meminfo: memFree=22823564/32950928 swapFree=65730864/67111528
[pid=15678] ppid=15676 vsize=344832 CPUtime=408 cores=1,3,5,7
/proc/15678/stat : 15678 (strangenight2-m) R 15676 15678 15496 0 -1 4202496 172825 0 0 0 40758 42 0 0 25 0 4 0 731015623 353107968 41161 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15678/statm: 86208 41161 379 95 0 81190 0
[pid=15678/tid=15679] ppid=15676 vsize=344832 CPUtime=101.09 cores=1,3,5,7
/proc/15678/task/15679/stat : 15679 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 36816 0 0 0 10102 7 0 0 25 0 4 0 731015623 353107968 41166 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15678/tid=15680] ppid=15676 vsize=344832 CPUtime=102.3 cores=1,3,5,7
/proc/15678/task/15680/stat : 15680 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 47094 0 0 0 10218 12 0 0 25 0 4 0 731015623 353107968 41166 33554432000 4194304 4580107 140734697713456 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15678/tid=15681] ppid=15676 vsize=344832 CPUtime=102.3 cores=1,3,5,7
/proc/15678/task/15681/stat : 15681 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 44407 0 0 0 10219 11 0 0 25 0 4 0 731015623 353107968 41166 33554432000 4194304 4580107 140734697713456 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408
Current children cumulated vsize (KiB) 344832

[startup+162.3 s]

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

[pid=15678] ppid=15676 vsize=604028 CPUtime=2800.91 cores=1,3,5,7
/proc/15678/stat : 15678 (strangenight2-m) R 15676 15678 15496 0 -1 4202496 510365 0 0 0 279910 181 0 0 25 0 4 0 731015623 618524672 104357 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294974 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15678/statm: 151007 104357 379 95 0 145989 0
[pid=15678/tid=15679] ppid=15676 vsize=604028 CPUtime=693.97 cores=1,3,5,7
/proc/15678/task/15679/stat : 15679 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 96992 0 0 0 69367 30 0 0 25 0 4 0 731015623 618524672 104357 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15678/tid=15680] ppid=15676 vsize=604028 CPUtime=702.31 cores=1,3,5,7
/proc/15678/task/15680/stat : 15680 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 145216 0 0 0 70175 56 0 0 25 0 4 0 731015623 618524672 104357 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15678/tid=15681] ppid=15676 vsize=604028 CPUtime=702.29 cores=1,3,5,7
/proc/15678/task/15681/stat : 15681 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 131064 0 0 0 70187 42 0 0 25 0 4 0 731015623 618524672 104357 33554432000 4194304 4580107 140734697713456 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2800.91
Current children cumulated vsize (KiB) 604028

[startup+762.301 s]
/proc/loadavg: 8.09 8.09 8.05 9/371 15702
/proc/meminfo: memFree=22436840/32950928 swapFree=65730864/67111528
[pid=15678] ppid=15676 vsize=670112 CPUtime=3040.23 cores=1,3,5,7
/proc/15678/stat : 15678 (strangenight2-m) R 15676 15678 15496 0 -1 4202496 533879 0 0 0 303831 192 0 0 25 0 4 0 731015623 686194688 109047 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15678/statm: 167528 109047 379 95 0 162510 0
[pid=15678/tid=15679] ppid=15676 vsize=670112 CPUtime=753.26 cores=1,3,5,7
/proc/15678/task/15679/stat : 15679 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 97804 0 0 0 75296 30 0 0 25 0 4 0 731015623 686194688 109050 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15678/tid=15680] ppid=15676 vsize=670112 CPUtime=762.32 cores=1,3,5,7
/proc/15678/task/15680/stat : 15680 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 153529 0 0 0 76172 60 0 0 25 0 4 0 731015623 686194688 109050 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15678/tid=15681] ppid=15676 vsize=670112 CPUtime=762.3 cores=1,3,5,7
/proc/15678/task/15681/stat : 15681 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 136706 0 0 0 76185 45 0 0 25 0 4 0 731015623 686194688 109050 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294410 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3040.23
Current children cumulated vsize (KiB) 670112

[startup+822.301 s]
/proc/loadavg: 8.03 8.07 8.05 9/371 15704
/proc/meminfo: memFree=22374544/32950928 swapFree=65730864/67111528
[pid=15678] ppid=15676 vsize=670148 CPUtime=3279.5 cores=1,3,5,7
/proc/15678/stat : 15678 (strangenight2-m) R 15676 15678 15496 0 -1 4202496 561314 0 0 0 327745 205 0 0 25 0 4 0 731015623 686231552 120779 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294570 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15678/statm: 167537 120779 379 95 0 162519 0
[pid=15678/tid=15679] ppid=15676 vsize=670148 CPUtime=812.55 cores=1,3,5,7
/proc/15678/task/15679/stat : 15679 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 101193 0 0 0 81223 32 0 0 25 0 4 0 731015623 686231552 120779 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15678/tid=15680] ppid=15676 vsize=670148 CPUtime=822.31 cores=1,3,5,7
/proc/15678/task/15680/stat : 15680 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 163848 0 0 0 82168 63 0 0 25 0 4 0 731015623 686231552 120779 33554432000 4194304 4580107 140734697713456 18446744073709551615 4406476 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15678/tid=15681] ppid=15676 vsize=670148 CPUtime=822.3 cores=1,3,5,7
/proc/15678/task/15681/stat : 15681 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 143405 0 0 0 82181 49 0 0 25 0 4 0 731015623 686231552 120779 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3279.5
Current children cumulated vsize (KiB) 670148

[startup+882.314 s]
/proc/loadavg: 8.16 8.10 8.06 9/371 15705
/proc/meminfo: memFree=22345100/32950928 swapFree=65730864/67111528
[pid=15678] ppid=15676 vsize=696436 CPUtime=3518.84 cores=1,3,5,7
/proc/15678/stat : 15678 (strangenight2-m) R 15676 15678 15496 0 -1 4202496 584666 0 0 0 351668 216 0 0 25 0 4 0 731015623 713150464 123705 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15678/statm: 174109 123705 379 95 0 169091 0
[pid=15678/tid=15679] ppid=15676 vsize=696436 CPUtime=871.85 cores=1,3,5,7
/proc/15678/task/15679/stat : 15679 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 104433 0 0 0 87151 34 0 0 25 0 4 0 731015623 713150464 123705 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15678/tid=15680] ppid=15676 vsize=696436 CPUtime=882.33 cores=1,3,5,7
/proc/15678/task/15680/stat : 15680 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 170566 0 0 0 88166 67 0 0 25 0 4 0 731015623 713150464 123705 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15678/tid=15681] ppid=15676 vsize=696436 CPUtime=882.32 cores=1,3,5,7
/proc/15678/task/15681/stat : 15681 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 148685 0 0 0 88180 52 0 0 25 0 4 0 731015623 713150464 123705 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3518.84
Current children cumulated vsize (KiB) 696436

[startup+942.301 s]
/proc/loadavg: 7.95 8.05 8.04 9/371 15738
/proc/meminfo: memFree=22701880/32950928 swapFree=65730864/67111528
[pid=15678] ppid=15676 vsize=683592 CPUtime=3758.09 cores=1,3,5,7
/proc/15678/stat : 15678 (strangenight2-m) R 15676 15678 15496 0 -1 4202496 604483 0 0 0 375582 227 0 0 25 0 4 0 731015623 699998208 123696 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15678/statm: 170898 123696 379 95 0 165880 0
[pid=15678/tid=15679] ppid=15676 vsize=683592 CPUtime=931.14 cores=1,3,5,7
/proc/15678/task/15679/stat : 15679 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 104519 0 0 0 93080 34 0 0 25 0 4 0 731015623 699998208 123696 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15678/tid=15680] ppid=15676 vsize=683592 CPUtime=942.31 cores=1,3,5,7
/proc/15678/task/15680/stat : 15680 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 178541 0 0 0 94160 71 0 0 25 0 4 0 731015623 699998208 123696 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15678/tid=15681] ppid=15676 vsize=683592 CPUtime=942.3 cores=1,3,5,7
/proc/15678/task/15681/stat : 15681 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 153012 0 0 0 94176 54 0 0 25 0 4 0 731015623 699998208 123696 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3758.09
Current children cumulated vsize (KiB) 683592

[startup+1002.3 s]
/proc/loadavg: 8.05 8.05 8.04 9/371 15739
/proc/meminfo: memFree=22641136/32950928 swapFree=65730864/67111528
[pid=15678] ppid=15676 vsize=749736 CPUtime=3997.38 cores=1,3,5,7
/proc/15678/stat : 15678 (strangenight2-m) R 15676 15678 15496 0 -1 4202496 624432 0 0 0 399503 235 0 0 25 0 4 0 731015623 767729664 129315 33554432000 4194304 4580107 140734697713456 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15678/statm: 187434 129315 379 95 0 182416 0
[pid=15678/tid=15679] ppid=15676 vsize=749736 CPUtime=990.42 cores=1,3,5,7
/proc/15678/task/15679/stat : 15679 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 104530 0 0 0 99008 34 0 0 25 0 4 0 731015623 767729664 129315 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15678/tid=15680] ppid=15676 vsize=749736 CPUtime=1002.32 cores=1,3,5,7
/proc/15678/task/15680/stat : 15680 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 186726 0 0 0 100158 74 0 0 25 0 4 0 731015623 767729664 129315 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15678/tid=15681] ppid=15676 vsize=749736 CPUtime=1002.3 cores=1,3,5,7
/proc/15678/task/15681/stat : 15681 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 157820 0 0 0 100174 56 0 0 25 0 4 0 731015623 767729664 129315 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3997.38
Current children cumulated vsize (KiB) 749736

[startup+1062.3 s]
/proc/loadavg: 8.06 8.05 8.04 9/371 15741
/proc/meminfo: memFree=22604248/32950928 swapFree=65730864/67111528
[pid=15678] ppid=15676 vsize=698116 CPUtime=4236.68 cores=1,3,5,7
/proc/15678/stat : 15678 (strangenight2-m) R 15676 15678 15496 0 -1 4202496 640705 0 0 0 423425 243 0 0 25 0 4 0 731015623 714870784 128018 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15678/statm: 174529 128018 379 95 0 169511 0
[pid=15678/tid=15679] ppid=15676 vsize=698116 CPUtime=1049.72 cores=1,3,5,7
/proc/15678/task/15679/stat : 15679 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 104961 0 0 0 104938 34 0 0 25 0 4 0 731015623 714870784 128018 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15678/tid=15680] ppid=15676 vsize=698116 CPUtime=1062.31 cores=1,3,5,7
/proc/15678/task/15680/stat : 15680 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 193738 0 0 0 106154 77 0 0 25 0 4 0 731015623 714870784 128018 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15678/tid=15681] ppid=15676 vsize=698116 CPUtime=1062.3 cores=1,3,5,7
/proc/15678/task/15681/stat : 15681 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 163267 0 0 0 106172 58 0 0 25 0 4 0 731015623 714870784 128018 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4236.68
Current children cumulated vsize (KiB) 698116

[startup+1122.3 s]
/proc/loadavg: 8.09 8.06 8.04 9/371 15743
/proc/meminfo: memFree=22554220/32950928 swapFree=65730864/67111528
[pid=15678] ppid=15676 vsize=698976 CPUtime=4475.96 cores=1,3,5,7
/proc/15678/stat : 15678 (strangenight2-m) R 15676 15678 15496 0 -1 4202496 659630 0 0 0 447344 252 0 0 25 0 4 0 731015623 715751424 125243 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15678/statm: 174744 125243 379 95 0 169726 0
[pid=15678/tid=15679] ppid=15676 vsize=698976 CPUtime=1109.01 cores=1,3,5,7
/proc/15678/task/15679/stat : 15679 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 105168 0 0 0 110866 35 0 0 25 0 4 0 731015623 715751424 125243 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15678/tid=15680] ppid=15676 vsize=698976 CPUtime=1122.32 cores=1,3,5,7
/proc/15678/task/15680/stat : 15680 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 201799 0 0 0 112151 81 0 0 25 0 4 0 731015623 715751424 125243 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15678/tid=15681] ppid=15676 vsize=698976 CPUtime=1122.3 cores=1,3,5,7
/proc/15678/task/15681/stat : 15681 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 166566 0 0 0 112171 59 0 0 25 0 4 0 731015623 715751424 125243 33554432000 4194304 4580107 140734697713456 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4475.96
Current children cumulated vsize (KiB) 698976

[startup+1182.3 s]
/proc/loadavg: 8.07 8.06 8.04 9/371 15744
/proc/meminfo: memFree=22485732/32950928 swapFree=65730864/67111528
[pid=15678] ppid=15676 vsize=699040 CPUtime=4715.26 cores=1,3,5,7
/proc/15678/stat : 15678 (strangenight2-m) R 15676 15678 15496 0 -1 4202496 681729 0 0 0 471266 260 0 0 25 0 4 0 731015623 715816960 136475 33554432000 4194304 4580107 140734697713456 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15678/statm: 174760 136475 379 95 0 169742 0
[pid=15678/tid=15679] ppid=15676 vsize=699040 CPUtime=1168.29 cores=1,3,5,7
/proc/15678/task/15679/stat : 15679 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 105284 0 0 0 116794 35 0 0 25 0 4 0 731015623 715816960 136475 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15678/tid=15680] ppid=15676 vsize=699040 CPUtime=1182.32 cores=1,3,5,7
/proc/15678/task/15680/stat : 15680 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 212496 0 0 0 118148 84 0 0 25 0 4 0 731015623 715816960 136475 33554432000 4194304 4580107 140734697713456 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15678/tid=15681] ppid=15676 vsize=699040 CPUtime=1182.3 cores=1,3,5,7
/proc/15678/task/15681/stat : 15681 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 170458 0 0 0 118169 61 0 0 25 0 4 0 731015623 715816960 136475 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4715.26
Current children cumulated vsize (KiB) 699040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.05 8.05 8.04 9/371 15745
/proc/meminfo: memFree=22486588/32950928 swapFree=65730864/67111528
[pid=15678] ppid=15676 vsize=754792 CPUtime=4800.21 cores=1,3,5,7
/proc/15678/stat : 15678 (strangenight2-m) R 15676 15678 15496 0 -1 4202496 682420 0 0 0 479761 260 0 0 25 0 4 0 731015623 772907008 136514 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15678/statm: 188698 136514 379 95 0 183680 0
[pid=15678/tid=15679] ppid=15676 vsize=754792 CPUtime=1189.33 cores=1,3,5,7
/proc/15678/task/15679/stat : 15679 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 105435 0 0 0 118898 35 0 0 25 0 4 0 731015623 772907008 136514 33554432000 4194304 4580107 140734697713456 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15678/tid=15680] ppid=15676 vsize=754792 CPUtime=1203.63 cores=1,3,5,7
/proc/15678/task/15680/stat : 15680 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 212496 0 0 0 120279 84 0 0 25 0 4 0 731015623 772907008 136514 33554432000 4194304 4580107 140734697713456 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15678/tid=15681] ppid=15676 vsize=754792 CPUtime=1203.62 cores=1,3,5,7
/proc/15678/task/15681/stat : 15681 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 170458 0 0 0 120301 61 0 0 25 0 4 0 731015623 772907008 136514 33554432000 4194304 4580107 140734697713456 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 754792

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

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

[startup+1203.6 s]
/proc/loadavg: 8.05 8.05 8.04 9/371 15745
/proc/meminfo: memFree=22486588/32950928 swapFree=65730864/67111528
[pid=15678] ppid=15676 vsize=754792 CPUtime=4800.21 cores=1,3,5,7
/proc/15678/stat : 15678 (strangenight2-m) R 15676 15678 15496 0 -1 4202496 682420 0 0 0 479761 260 0 0 25 0 4 0 731015623 772907008 136514 33554432000 4194304 4580107 140734697713456 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15678/statm: 188698 136514 379 95 0 183680 0
[pid=15678/tid=15679] ppid=15676 vsize=754792 CPUtime=1189.33 cores=1,3,5,7
/proc/15678/task/15679/stat : 15679 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 105435 0 0 0 118898 35 0 0 25 0 4 0 731015623 772907008 136514 33554432000 4194304 4580107 140734697713456 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15678/tid=15680] ppid=15676 vsize=754792 CPUtime=1203.63 cores=1,3,5,7
/proc/15678/task/15680/stat : 15680 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 212496 0 0 0 120279 84 0 0 25 0 4 0 731015623 772907008 136514 33554432000 4194304 4580107 140734697713456 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15678/tid=15681] ppid=15676 vsize=754792 CPUtime=1203.62 cores=1,3,5,7
/proc/15678/task/15681/stat : 15681 (strangenight2-m) R 15676 15678 15496 0 -1 4202560 170458 0 0 0 120301 61 0 0 25 0 4 0 731015623 772907008 136514 33554432000 4194304 4580107 140734697713456 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 754792

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.64
CPU time (s): 4800.29
CPU user time (s): 4797.66
CPU system time (s): 2.6326
CPU usage (%): 398.813
Max. virtual memory (cumulated for all children) (KiB): 914108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.66
system time used= 2.6326
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 682420
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= 231
involuntary context switches= 20979

runsolver used 3.9194 second user time and 10.4144 second system time

The end

Launcher Data 

Begin job on node116 at 2011-05-14 23:17:29
IDJOB=3366556
IDBENCH=82965
IDSOLVER=1844
FILE ID=node116/3366556-1305407849
RUNJOBID= node116-1305406355-15515
PBS_JOBID= 13324511
Free space on /tmp= 73132 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v125-c2662-S1300400916-048.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366556-1305407849/watcher-3366556-1305407849 -o /tmp/evaluation-result-3366556-1305407849/solver-3366556-1305407849 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366556-1305407849.cnf

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

MD5SUM BENCH= 2d20051b8a7a248788d1c2610fe5ea54
RANDOM SEED=1294514668

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      23014040 kB
Buffers:         36116 kB
Cached:         111204 kB
SwapCached:      12356 kB
Active:        9677020 kB
Inactive:        53376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23014040 kB
SwapTotal:    67111528 kB
SwapFree:     65730864 kB
Dirty:            5464 kB
Writeback:           0 kB
AnonPages:     9581056 kB
Mapped:          16264 kB
Slab:            96464 kB
PageTables:      45076 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 83135216 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= 73124 MiB
End job on node116 at 2011-05-14 23:37:35