Trace number 3173975

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.46 1201.73

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v100-c2130-S1760258375-046.UNKNOWN.cnf
MD5SUMf913d39a64a2142ed34486c38d5636c0
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark319.762
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of clauses2130
Sum of the clauses size10650
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 52130
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-3173975-1304074702.cnf'
0.00/0.00	c -- header says num vars:            100
0.00/0.00	c -- header says num clauses:        2130
0.00/0.00	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.00	c -- vars added        100
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       100      2130         0         0     10650         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.01
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
1.98/0.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.98/0.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.98/0.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1.98/0.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1.98/0.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1.98/0.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
1.98/0.52	c Finding binary XORs  T:     0.00 s  found:       0
1.98/0.52	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1.98/0.52	c calculated reachability. Time: 0.00
1.98/0.52	c Calc default polars -  time:   0.00 s pos:      49 undec:       6 neg:      45
1.98/0.52	c =========================================================================================
1.98/0.52	c types(t): F = full restart, N = normal restart
1.98/0.52	c types(t): S = simplification begin/end, E = solution found
1.98/0.52	c restart types(rt): st = static, dy = dynamic
1.98/0.52	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.18/0.80	c  B st     0         0       100      2130         0         0     10650         0   no data   no data
3.18/0.80	c Decided on static restart strategy
3.18/0.80	c  N st     8      4920       100      2130         0      4577     10650     98418   no data   no data
3.18/0.80	c  N st    10     11303       100      2130         0      4238     10650     74377   no data   no data
3.18/0.80	c  N st    11     17046       100      2130         0      9591     10650    194867   no data   no data
3.18/0.80	c  F st    12     25001       100      2130         0     11709     10650    234696   no data   no data
3.18/0.80	c  N st    12     25001       100      2130         0     11709     10650    234696   no data   no data
3.97/1.00	c Decided on static restart strategy
3.97/1.00	c  N st    18     30000       100      2130         0     10048     10650    187930   no data   no data
3.97/1.00	c  S st    18     30000       100      2130         0     10048     10650    187930   no data   no data
3.97/1.10	c  S st    18     30503       100      2130         0     10533     10650    198537   no data   no data
3.97/1.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.97/1.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
3.97/1.10	c blocked clauses removed:        0 vars:      0 tried:         100 T: 0.00 s
3.97/1.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.97/1.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.97/1.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.97/1.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.97/1.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.97/1.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.40/1.20	c lits-rem:       220  cl-subs:     1836  v-elim:      0  v-fix:    0  time:  0.17 s
5.17/1.30	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.03
5.17/1.30	c calculated reachability. Time: 0.00
5.17/1.30	c  N st    18     30503       100      2130         0      8697     10650    157782   no data   no data
6.37/1.60	c  N st    20     37615       100      2130         0      8030     10650    131585   no data   no data
7.17/1.80	c  N st    21     44016       100      2130         0     14001     10650    261693   no data   no data
7.57/1.90	c  S st    22     45754       100      2130         0     15626     10650    297400   no data   no data
7.57/1.94	c  S st    22     46256       100      2130         0     16115     10650    308265   no data   no data
7.57/1.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.57/1.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
7.57/1.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.57/1.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.57/1.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.57/1.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
7.57/1.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.57/1.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
7.57/1.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.34	c lits-rem:       583  cl-subs:     1998  v-elim:      0  v-fix:    0  time:  0.39 s
9.19/2.34	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
9.19/2.35	c vivif2 --  cl tried    14117 cl shrink        0 lits rem          0 time: 0.00
9.57/2.40	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
9.57/2.40	c calculated reachability. Time: 0.00
9.57/2.40	c  N st    22     46256       100      2130         0     14117     10650    264227   no data   no data
12.36/3.14	c  N st    23     60653       100      2130         0      9972     10650    149770   no data   no data
13.96/3.59	c  N st    24     69384       100      2130         0     18047     10650    325920   no data   no data
13.96/3.59	c  S st    24     69384       100      2130         0     18047     10650    325920   no data   no data
14.36/3.64	c  S st    24     69889       100      2130         0     18535     10650    336962   no data   no data
14.36/3.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.36/3.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
14.36/3.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.36/3.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.36/3.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.36/3.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
14.36/3.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.36/3.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.36/3.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.36/4.16	c lits-rem:       504  cl-subs:     2362  v-elim:      0  v-fix:    0  time:  0.50 s
16.36/4.16	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
16.36/4.16	c vivif2 --  cl tried    16173 cl shrink        0 lits rem          0 time: 0.00
16.76/4.22	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.06
16.76/4.22	c calculated reachability. Time: 0.00
16.76/4.22	c  N st    24     69889       100      2130         0     16173     10650    286622   no data   no data
20.76/5.20	c  F st    25     87500       100      2130         0     11315     10650    164480   no data   no data
20.76/5.20	c  N st    25     87500       100      2130         0     11315     10650    164480   no data   no data
21.56/5.47	c Decided on static restart strategy
22.38/5.64	c  N st    32     95537       100      2130         0     18830     10650    329225   no data   no data
24.75/6.22	c  N st    34    104833       100      2130         0     15419     10650    247900   no data   no data
24.75/6.22	c  S st    34    104833       100      2130         0     15419     10650    247900   no data   no data
24.75/6.26	c  S st    34    105337       100      2130         0     15903     10650    259123   no data   no data
24.75/6.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.75/6.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
24.75/6.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
24.75/6.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.75/6.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.75/6.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
24.75/6.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.75/6.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
24.75/6.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.55/6.43	c lits-rem:       172  cl-subs:     1228  v-elim:      0  v-fix:    0  time:  0.15 s
25.55/6.43	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
25.55/6.43	c vivif2 --  cl tried    14675 cl shrink        0 lits rem          0 time: 0.00
25.55/6.48	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
25.55/6.48	c calculated reachability. Time: 0.00
25.55/6.48	c  N st    34    105337       100      2130         0     14675     10650    233539   no data   no data
28.34/7.13	c  N st    35    114935       100      2130         0     23553     10650    429015   no data   no data
32.34/8.10	c  N st    36    129332       100      2130         0     23882     10650    416591   no data   no data
38.33/9.69	c  N st    37    150927       100      2130         0     15217     10650    204575   no data   no data
40.32/10.10	c  S st    38    158005       100      2130         0     21801     10650    352056   no data   no data
40.32/10.15	c  S st    38    158507       100      2130         0     22277     10650    362920   no data   no data
40.32/10.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
40.32/10.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
40.32/10.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
40.32/10.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
40.32/10.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
40.32/10.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
40.32/10.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
40.32/10.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
40.32/10.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.93/10.58	c lits-rem:       446  cl-subs:     1890  v-elim:      0  v-fix:    0  time:  0.40 s
41.93/10.58	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
41.93/10.58	c vivif2 --  cl tried    20387 cl shrink        0 lits rem          0 time: 0.00
42.33/10.65	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.07
42.33/10.65	c calculated reachability. Time: 0.00
42.33/10.65	c  N st    38    158507       100      2130         0     20387     10650    322407   no data   no data
57.53/14.40	c  N st    39    207095       100      2130         0     32935     10650    568059   no data   no data
68.29/17.12	c  N st    40    237761       100      2130         0     25296     10650    386789   no data   no data
68.29/17.12	c  S st    40    237761       100      2130         0     25296     10650    386789   no data   no data
68.29/17.18	c  S st    40    238267       100      2130         0     25775     10650    397721   no data   no data
68.29/17.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
68.29/17.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
68.29/17.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
68.29/17.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
68.29/17.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
68.29/17.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
68.29/17.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
68.29/17.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
68.69/17.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
70.30/17.68	c lits-rem:       412  cl-subs:     2114  v-elim:      0  v-fix:    0  time:  0.48 s
70.30/17.68	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
70.30/17.69	c vivif2 --  cl tried    23661 cl shrink        0 lits rem          0 time: 0.00
70.71/17.77	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.08
70.71/17.77	c calculated reachability. Time: 0.00
70.71/17.77	c  N st    40    238267       100      2130         0     23661     10650    354474   no data   no data
95.45/23.99	c  F st    41    306251       100      2130         0     25520     10650    356213   no data   no data
95.45/23.99	c  N st    41    306251       100      2130         0     25520     10650    356213   no data   no data
97.45/24.44	c Decided on static restart strategy
106.24/26.65	c  N st    51    334554       100      2130         0     29648     10650    432699   no data   no data
115.83/29.03	c  N st    53    357400       100      2130         0     27627     10650    375539   no data   no data
115.83/29.03	c  S st    53    357400       100      2130         0     27627     10650    375539   no data   no data
116.23/29.11	c  S st    53    357903       100      2130         0     28111     10650    386418   no data   no data
116.23/29.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
116.23/29.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
116.23/29.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
116.23/29.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
116.23/29.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
116.23/29.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
116.23/29.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
116.23/29.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
116.23/29.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
117.42/29.46	c lits-rem:       290  cl-subs:     1712  v-elim:      0  v-fix:    0  time:  0.32 s
117.42/29.46	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
117.42/29.46	c vivif2 --  cl tried    26399 cl shrink        0 lits rem          0 time: 0.00
117.82/29.55	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.09
117.82/29.56	c calculated reachability. Time: 0.00
117.82/29.56	c  N st    53    357903       100      2130         0     26399     10650    353492   no data   no data
131.41/32.98	c  N st    54    390295       100      2130         0     32349     10650    470550   no data   no data
155.77/39.02	c  N st    55    438884       100      2130         0     26426     10650    320830   no data   no data
186.94/46.85	c  N st    56    511767       100      2130         0     39087     10650    573402   no data   no data
198.51/49.74	c  N st    57    536854       100      2130         0     33696     10650    446496   no data   no data
198.51/49.74	c  S st    57    536854       100      2130         0     33696     10650    446496   no data   no data
198.91/49.83	c  S st    57    537357       100      2130         0     34169     10650    456863   no data   no data
198.91/49.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
198.91/49.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
198.91/49.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
198.91/49.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
198.91/49.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
198.91/49.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
198.91/49.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
198.91/49.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
198.91/49.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
200.52/50.30	c lits-rem:       237  cl-subs:     1660  v-elim:      0  v-fix:    0  time:  0.43 s
200.52/50.30	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
200.92/50.30	c vivif2 --  cl tried    32509 cl shrink        0 lits rem          0 time: 0.01
201.32/50.42	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.12
201.32/50.42	c calculated reachability. Time: 0.00
201.32/50.42	c  N st    57    537357       100      2130         0     32509     10650    424511   no data   no data
286.40/71.76	c  N st    58    701342       100      2130         0     60169     10650    977770   no data   no data
344.33/86.29	c  N st    59    806037       100      2130         0     54477     10650    823290   no data   no data
344.33/86.29	c  S st    59    806037       100      2130         0     54477     10650    823290   no data   no data
345.13/86.44	c  S st    59    806537       100      2130         0     54955     10650    834022   no data   no data
345.13/86.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
345.13/86.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
345.13/86.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
345.13/86.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
345.13/86.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
345.13/86.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
345.13/86.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
345.13/86.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
345.53/86.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
357.11/89.41	c lits-rem:      1225  cl-subs:     5467  v-elim:      0  v-fix:    0  time:  2.91 s
357.11/89.41	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
357.11/89.42	c vivif2 --  cl tried    49488 cl shrink        0 lits rem          0 time: 0.01
357.91/89.64	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.22
357.91/89.64	c calculated reachability. Time: 0.00
357.91/89.64	c  N st    59    806537       100      2130         0     49488     10650    728922   no data   no data
516.50/129.36	c  F st    60   1071875       100      2130         0     64814     10650    975665   no data   no data
516.50/129.36	c  N st    60   1071875       100      2130         0     64814     10650    975665   no data   no data
520.90/130.43	c Decided on static restart strategy
538.07/134.75	c  N st    70   1100179       100      2130         0     49650     10650    645783   no data   no data
564.03/141.24	c  N st    72   1136172       100      2130         0     82874     10650   1383810   no data   no data
585.60/146.63	c  N st    73   1168564       100      2130         0     70479     10650   1089009   no data   no data
609.58/152.67	c  N st    74   1209806       100      2130         0     65136     10650    961010   no data   no data
609.58/152.67	c  S st    74   1209806       100      2130         0     65136     10650    961010   no data   no data
610.38/152.86	c  S st    74   1210309       100      2130         0     65620     10650    972299   no data   no data
610.38/152.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
610.38/152.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
610.38/152.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
610.38/152.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
610.38/152.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
610.38/152.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
610.38/152.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
610.80/152.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
610.80/152.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
644.72/161.49	c lits-rem:       985  cl-subs:     5891  v-elim:      0  v-fix:    0  time:  8.55 s
644.72/161.49	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
645.12/161.51	c vivif2 --  cl tried    59729 cl shrink        0 lits rem          0 time: 0.02
647.11/162.02	c asymm  cl-useful: 0/1910/2130 lits-rem:0 time: 0.51
647.11/162.02	c calculated reachability. Time: 0.00
647.11/162.02	c  N st    74   1210309       100      2130         0     59729     10650    851192   no data   no data
707.86/177.26	c  N st    75   1283191       100      2130         0     82720     10650   1343829   no data   no data
796.52/199.42	c  N st    76   1392517       100      2130         0     91964     10650   1518125   no data   no data
931.55/233.21	c  N st    77   1556502       100      2130         0     49722     10650    541283   no data   no data
1057.37/264.75	c  N st    78   1710309       100      2130         0     88863     10650   1344190   no data   no data
1057.37/264.75	c  S st    78   1710309       100      2130         0     88863     10650   1344190   no data   no data
1058.57/265.02	c  S st    78   1710815       100      2130         0     89344     10650   1355058   no data   no data
1058.57/265.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1058.57/265.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1058.57/265.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1058.57/265.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1058.57/265.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1058.57/265.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1058.57/265.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1058.57/265.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1058.99/265.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1157.24/289.71	c lits-rem:      2069  cl-subs:    11159  v-elim:      0  v-fix:    0  time: 24.58 s
1157.24/289.71	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1157.24/289.73	c vivif2 --  cl tried    78185 cl shrink        0 lits rem          0 time: 0.02
1159.24/290.28	c asymm  cl-useful: 0/1481/2130 lits-rem:0 time: 0.55
1159.24/290.29	c calculated reachability. Time: 0.00
1159.24/290.29	c  N st    78   1710815       100      2130         0     78185     10650   1146157   no data   no data
1505.18/376.82	c  N st    79   2079780       100      2130         0     89773     10650   1302328   no data   no data
1629.81/408.07	c  N st    80   2210815       100      2130         0     94213     10650   1406484   no data   no data
1629.81/408.07	c  S st    80   2210815       100      2130         0     94213     10650   1406484   no data   no data
1631.00/408.38	c  S st    80   2211317       100      2130         0     94694     10650   1417609   no data   no data
1631.00/408.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1631.40/408.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1631.40/408.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1631.40/408.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1631.40/408.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1631.40/408.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1631.40/408.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1631.40/408.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1631.40/408.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1729.28/432.91	c lits-rem:      1915  cl-subs:     9483  v-elim:      0  v-fix:    0  time: 24.42 s
1729.28/432.91	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1729.28/432.94	c vivif2 --  cl tried    85211 cl shrink        0 lits rem          0 time: 0.02
1730.48/433.25	c asymm  cl-useful: 0/649/2130 lits-rem:0 time: 0.31
1730.48/433.25	c calculated reachability. Time: 0.00
1730.48/433.25	c  N st    80   2211317       100      2130         0     85211     10650   1236016   no data   no data
2252.18/563.86	c  N st    81   2711317       100      2130         0    107608     10650   1606972   no data   no data
2252.18/563.86	c  S st    81   2711317       100      2130         0    107608     10650   1606972   no data   no data
2254.20/564.31	c  S st    81   2711819       100      2130         0    108084     10650   1618190   no data   no data
2254.20/564.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2254.20/564.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2254.20/564.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2254.20/564.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2254.20/564.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2254.20/564.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2254.20/564.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2254.60/564.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2254.60/564.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2333.29/584.16	c lits-rem:      2305  cl-subs:    12451  v-elim:      0  v-fix:    0  time: 19.70 s
2333.29/584.16	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2333.29/584.19	c vivif2 --  cl tried    95633 cl shrink        0 lits rem          0 time: 0.02
2335.27/584.67	c asymm  cl-useful: 0/1275/2130 lits-rem:0 time: 0.48
2335.27/584.67	c calculated reachability. Time: 0.00
2335.27/584.67	c  N st    81   2711819       100      2130         0     95633     10650   1394215   no data   no data
2865.38/717.39	c  N st    82   3211819       100      2130         0     73606     10650    799264   no data   no data
2865.38/717.39	c  S st    82   3211819       100      2130         0     73606     10650    799264   no data   no data
2866.56/717.61	c  S st    82   3212323       100      2130         0     74087     10650    810427   no data   no data
2866.56/717.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2866.56/717.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
2866.56/717.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2866.56/717.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2866.56/717.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2866.56/717.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2866.56/717.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2866.56/717.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2866.56/717.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2868.96/718.27	c lits-rem:       122  cl-subs:      819  v-elim:      0  v-fix:    0  time:  0.58 s
2868.96/718.27	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2868.96/718.29	c vivif2 --  cl tried    73268 cl shrink        0 lits rem          0 time: 0.01
2869.78/718.47	c asymm  cl-useful: 0/855/2130 lits-rem:0 time: 0.19
2869.78/718.47	c calculated reachability. Time: 0.00
2869.78/718.47	c  N st    82   3212323       100      2130         0     73268     10650    796056   no data   no data
3439.80/861.14	c  N st    83   3712324       100      2130         0     83108     10650    943550   no data   no data
3439.80/861.14	c  S st    83   3712324       100      2130         0     83108     10650    943550   no data   no data
3441.01/861.41	c  S st    83   3712826       100      2130         0     83588     10650    954829   no data   no data
3441.01/861.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3441.01/861.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.03
3441.01/861.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3441.01/861.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3441.01/861.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3441.01/861.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3441.01/861.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3441.01/861.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3441.39/861.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3445.79/862.66	c lits-rem:       287  cl-subs:     2023  v-elim:      0  v-fix:    0  time:  1.16 s
3445.79/862.66	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3445.79/862.68	c vivif2 --  cl tried    81565 cl shrink        0 lits rem          0 time: 0.01
3446.99/862.99	c asymm  cl-useful: 0/1514/2130 lits-rem:0 time: 0.31
3446.99/862.99	c calculated reachability. Time: 0.00
3446.99/862.99	c  N st    83   3712826       100      2130         0     81565     10650    920840   no data   no data
3487.74/873.13	c  F st    84   3751563       100      2130         0    117071     10650   1699588   no data   no data
3487.74/873.13	c  N st    84   3751563       100      2130         0    117071     10650   1699588   no data   no data
3497.33/875.55	c Decided on static restart strategy
3534.48/884.83	c  N st    94   3779866       100      2130         0    143159     10650   2280747   no data   no data
3582.41/896.86	c  N st    96   3815858       100      2130         0     98690     10650   1299859   no data   no data
3624.36/907.33	c  N st    97   3848251       100      2130         0    128543     10650   1962961   no data   no data
3691.48/924.12	c  N st    98   3896841       100      2130         0     94314     10650   1174872   no data   no data
3809.73/953.79	c  N st    99   3969724       100      2130         0     81327     10650    869611   no data   no data
3948.73/988.53	c  N st   100   4079047       100      2130         0    100636     10650   1256550   no data   no data
4134.48/1035.04	c  N st   101   4212826       100      2130         0    141990     10650   2169924   no data   no data
4134.48/1035.04	c  S st   101   4212826       100      2130         0    141990     10650   2169924   no data   no data
4136.88/1035.63	c  S st   101   4213331       100      2130         0    142474     10650   2181315   no data   no data
4136.88/1035.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4137.28/1035.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.09
4137.28/1035.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4137.28/1035.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4137.28/1035.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4137.28/1035.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4137.28/1035.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4137.28/1035.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4137.68/1035.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4273.10/1069.76	c lits-rem:      2043  cl-subs:    16362  v-elim:      0  v-fix:    0  time: 33.91 s
4273.10/1069.76	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4273.10/1069.79	c vivif2 --  cl tried   126112 cl shrink        0 lits rem          0 time: 0.03
4274.30/1070.09	c asymm  cl-useful: 0/616/2130 lits-rem:0 time: 0.30
4274.30/1070.09	c calculated reachability. Time: 0.00
4274.30/1070.09	c  N st   101   4213331       100      2130         0    126112     10650   1866574   no data   no data
4636.61/1160.76	c  N st   102   4459307       100      2130         0    102139     10650   1247306   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-3173975-1304074702/watcher-3173975-1304074702 -o /tmp/evaluation-result-3173975-1304074702/solver-3173975-1304074702 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173975-1304074702.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.08 7.94 5/180 15764
/proc/meminfo: memFree=15121496/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/15764/stat : 15764 (strangenight2-m) R 15762 15764 15629 0 -1 4202496 414 0 0 0 0 0 0 0 25 0 4 0 499885815 52441088 353 33554432000 4194304 4627427 140735605219600 18446744073709551615 264726405051 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15764/statm: 12803 353 303 106 0 7774 0
[pid=15764/tid=15765] ppid=15762 vsize=116748 CPUtime=0 cores=1,3,5,7
/proc/15764/task/15765/stat : 15765 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 4 0 499885815 119549952 374 33554432000 4194304 4627427 140735605219600 18446744073709551615 264726510111 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15764/tid=15766] ppid=15762 vsize=116748 CPUtime=0 cores=1,3,5,7
/proc/15764/task/15766/stat : 15766 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 21 0 0 0 0 0 0 0 25 0 4 0 499885815 119549952 392 33554432000 4194304 4627427 140735605219600 18446744073709551615 264726403131 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15764/tid=15767] ppid=15762 vsize=116756 CPUtime=0 cores=1,3,5,7
/proc/15764/task/15767/stat : 15767 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 6 0 0 0 0 0 0 0 25 0 4 0 499885815 119558144 394 33554432000 4194304 4627427 140735605219600 18446744073709551615 264726065861 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.108002 s]
/proc/loadavg: 8.07 8.08 7.94 5/180 15764
/proc/meminfo: memFree=15121496/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=282356 CPUtime=0.41 cores=1,3,5,7
/proc/15764/stat : 15764 (strangenight2-m) R 15762 15764 15629 0 -1 4202496 1768 0 0 0 41 0 0 0 18 0 4 0 499885815 289132544 1651 33554432000 4194304 4627427 140735605219600 18446744073709551615 4330330 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15764/statm: 70589 1652 383 106 0 65560 0
[pid=15764/tid=15765] ppid=15762 vsize=282356 CPUtime=0.1 cores=1,3,5,7
/proc/15764/task/15765/stat : 15765 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 349 0 0 0 10 0 0 0 25 0 4 0 499885815 289132544 1652 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15764/tid=15766] ppid=15762 vsize=282356 CPUtime=0.1 cores=1,3,5,7
/proc/15764/task/15766/stat : 15766 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 390 0 0 0 10 0 0 0 18 0 4 0 499885815 289132544 1652 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15764/tid=15767] ppid=15762 vsize=282356 CPUtime=0.1 cores=1,3,5,7
/proc/15764/task/15767/stat : 15767 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 255 0 0 0 10 0 0 0 25 0 4 0 499885815 289132544 1652 33554432000 4194304 4627427 140735605219600 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 282356

[startup+0.200984 s]
/proc/loadavg: 8.07 8.08 7.94 5/180 15764
/proc/meminfo: memFree=15121496/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=283592 CPUtime=0.78 cores=1,3,5,7
/proc/15764/stat : 15764 (strangenight2-m) R 15762 15764 15629 0 -1 4202496 2460 0 0 0 78 0 0 0 18 0 4 0 499885815 290398208 1824 33554432000 4194304 4627427 140735605219600 18446744073709551615 4333248 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15764/statm: 70898 1824 384 106 0 65869 0
[pid=15764/tid=15765] ppid=15762 vsize=283592 CPUtime=0.19 cores=1,3,5,7
/proc/15764/task/15765/stat : 15765 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 502 0 0 0 19 0 0 0 25 0 4 0 499885815 290398208 1824 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15764/tid=15766] ppid=15762 vsize=283592 CPUtime=0.19 cores=1,3,5,7
/proc/15764/task/15766/stat : 15766 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 553 0 0 0 19 0 0 0 18 0 4 0 499885815 290398208 1824 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15764/tid=15767] ppid=15762 vsize=283592 CPUtime=0.19 cores=1,3,5,7
/proc/15764/task/15767/stat : 15767 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 434 0 0 0 19 0 0 0 25 0 4 0 499885815 290398208 1824 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 283592

[startup+0.300967 s]
/proc/loadavg: 8.07 8.08 7.94 5/180 15764
/proc/meminfo: memFree=15121496/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=284196 CPUtime=1.18 cores=1,3,5,7
/proc/15764/stat : 15764 (strangenight2-m) R 15762 15764 15629 0 -1 4202496 3123 0 0 0 118 0 0 0 18 0 4 0 499885815 291016704 1900 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309164 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15764/statm: 71049 1900 384 106 0 66020 0
[pid=15764/tid=15765] ppid=15762 vsize=284196 CPUtime=0.29 cores=1,3,5,7
/proc/15764/task/15765/stat : 15765 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 688 0 0 0 29 0 0 0 25 0 4 0 499885815 291016704 1900 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15764/tid=15766] ppid=15762 vsize=284196 CPUtime=0.29 cores=1,3,5,7
/proc/15764/task/15766/stat : 15766 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 656 0 0 0 29 0 0 0 18 0 4 0 499885815 291016704 1900 33554432000 4194304 4627427 140735605219600 18446744073709551615 4324205 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15764/tid=15767] ppid=15762 vsize=284196 CPUtime=0.29 cores=1,3,5,7
/proc/15764/task/15767/stat : 15767 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 614 0 0 0 29 0 0 0 25 0 4 0 499885815 291016704 1900 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284196

[startup+0.70089 s]
/proc/loadavg: 8.07 8.08 7.94 5/180 15764
/proc/meminfo: memFree=15121496/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=285124 CPUtime=2.78 cores=1,3,5,7
/proc/15764/stat : 15764 (strangenight2-m) R 15762 15764 15629 0 -1 4202496 5047 0 0 0 278 0 0 0 18 0 4 0 499885815 291966976 2621 33554432000 4194304 4627427 140735605219600 18446744073709551615 4308419 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15764/statm: 71281 2621 384 106 0 66252 0
[pid=15764/tid=15765] ppid=15762 vsize=285124 CPUtime=0.69 cores=1,3,5,7
/proc/15764/task/15765/stat : 15765 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 1167 0 0 0 69 0 0 0 25 0 4 0 499885815 291966976 2621 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15764/tid=15766] ppid=15762 vsize=285124 CPUtime=0.69 cores=1,3,5,7
/proc/15764/task/15766/stat : 15766 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 1213 0 0 0 69 0 0 0 18 0 4 0 499885815 291966976 2621 33554432000 4194304 4627427 140735605219600 18446744073709551615 4324696 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15764/tid=15767] ppid=15762 vsize=285124 CPUtime=0.69 cores=1,3,5,7
/proc/15764/task/15767/stat : 15767 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 1035 0 0 0 69 0 0 0 25 0 4 0 499885815 291966976 2621 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285124

[startup+1.50074 s]
/proc/loadavg: 8.07 8.08 7.94 10/184 15768
/proc/meminfo: memFree=15098844/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=291292 CPUtime=5.97 cores=1,3,5,7
/proc/15764/stat : 15764 (strangenight2-m) R 15762 15764 15629 0 -1 4202496 10180 0 0 0 595 2 0 0 19 0 4 0 499885815 298283008 5404 33554432000 4194304 4627427 140735605219600 18446744073709551615 4324205 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15764/statm: 72823 5404 388 106 0 67794 0
[pid=15764/tid=15765] ppid=15762 vsize=291292 CPUtime=1.49 cores=1,3,5,7
/proc/15764/task/15765/stat : 15765 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 2889 0 0 0 149 0 0 0 25 0 4 0 499885815 298283008 5404 33554432000 4194304 4627427 140735605219600 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15764/tid=15766] ppid=15762 vsize=291292 CPUtime=1.49 cores=1,3,5,7
/proc/15764/task/15766/stat : 15766 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 1998 0 0 0 149 0 0 0 20 0 4 0 499885815 298283008 5404 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309304 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15764/tid=15767] ppid=15762 vsize=291292 CPUtime=1.48 cores=1,3,5,7
/proc/15764/task/15767/stat : 15767 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 1860 0 0 0 148 0 0 0 25 0 4 0 499885815 298283008 5404 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309130 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 291292

[startup+3.10044 s]
/proc/loadavg: 8.14 8.09 7.94 9/184 15768
/proc/meminfo: memFree=15050732/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=286288 CPUtime=12.36 cores=1,3,5,7
/proc/15764/stat : 15764 (strangenight2-m) R 15762 15764 15629 0 -1 4202496 19340 0 0 0 1233 3 0 0 25 0 4 0 499885815 293158912 11061 33554432000 4194304 4627427 140735605219600 18446744073709551615 4350042 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15764/statm: 71572 11061 388 106 0 66543 0
[pid=15764/tid=15765] ppid=15762 vsize=286288 CPUtime=3.08 cores=1,3,5,7
/proc/15764/task/15765/stat : 15765 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 5314 0 0 0 308 0 0 0 25 0 4 0 499885815 293158912 11061 33554432000 4194304 4627427 140735605219600 18446744073709551615 4420272 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15764/tid=15766] ppid=15762 vsize=286288 CPUtime=3.08 cores=1,3,5,7
/proc/15764/task/15766/stat : 15766 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 4649 0 0 0 308 0 0 0 25 0 4 0 499885815 293158912 11061 33554432000 4194304 4627427 140735605219600 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15764/tid=15767] ppid=15762 vsize=286288 CPUtime=3.07 cores=1,3,5,7
/proc/15764/task/15767/stat : 15767 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 4262 0 0 0 307 0 0 0 25 0 4 0 499885815 293158912 11061 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 286288

[startup+6.30084 s]
/proc/loadavg: 8.14 8.09 7.94 9/184 15768
/proc/meminfo: memFree=15007836/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=289828 CPUtime=25.15 cores=1,3,5,7
/proc/15764/stat : 15764 (strangenight2-m) R 15762 15764 15629 0 -1 4202496 28120 0 0 0 2510 5 0 0 25 0 4 0 499885815 296783872 13886 33554432000 4194304 4627427 140735605219600 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15764/statm: 72457 13886 388 106 0 67428 0
[pid=15764/tid=15765] ppid=15762 vsize=289828 CPUtime=6.29 cores=1,3,5,7
/proc/15764/task/15765/stat : 15765 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 6987 0 0 0 628 1 0 0 25 0 4 0 499885815 296783872 13886 33554432000 4194304 4627427 140735605219600 18446744073709551615 4338564 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15764/tid=15766] ppid=15762 vsize=289828 CPUtime=6.28 cores=1,3,5,7
/proc/15764/task/15766/stat : 15766 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 7210 0 0 0 628 0 0 0 25 0 4 0 499885815 296783872 13886 33554432000 4194304 4627427 140735605219600 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15764/tid=15767] ppid=15762 vsize=289828 CPUtime=6.25 cores=1,3,5,7
/proc/15764/task/15767/stat : 15767 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 6334 0 0 0 624 1 0 0 25 0 4 0 499885815 296783872 13886 33554432000 4194304 4627427 140735605219600 18446744073709551615 4310136 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 289828

[startup+12.7006 s]
/proc/loadavg: 8.12 8.09 7.94 9/184 15768
/proc/meminfo: memFree=14970504/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=303120 CPUtime=50.71 cores=1,3,5,7
/proc/15764/stat : 15764 (strangenight2-m) R 15762 15764 15629 0 -1 4202496 42559 0 0 0 5063 8 0 0 25 0 4 0 499885815 310394880 16110 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15764/statm: 75780 16110 388 106 0 70751 0
[pid=15764/tid=15765] ppid=15762 vsize=303120 CPUtime=12.68 cores=1,3,5,7
/proc/15764/task/15765/stat : 15765 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 10284 0 0 0 1267 1 0 0 25 0 4 0 499885815 310394880 16110 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15764/tid=15766] ppid=15762 vsize=303120 CPUtime=12.69 cores=1,3,5,7
/proc/15764/task/15766/stat : 15766 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 10704 0 0 0 1268 1 0 0 25 0 4 0 499885815 310394880 16110 33554432000 4194304 4627427 140735605219600 18446744073709551615 4469158 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15764/tid=15767] ppid=15762 vsize=303120 CPUtime=12.62 cores=1,3,5,7
/proc/15764/task/15767/stat : 15767 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 10456 0 0 0 1260 2 0 0 25 0 4 0 499885815 310394880 16110 33554432000 4194304 4627427 140735605219600 18446744073709551615 4321895 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 303120

[startup+25.5012 s]
/proc/loadavg: 8.10 8.09 7.94 9/184 15768
/proc/meminfo: memFree=14919792/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=307416 CPUtime=101.84 cores=1,3,5,7
/proc/15764/stat : 15764 (strangenight2-m) R 15762 15764 15629 0 -1 4202496 66849 0 0 0 10172 12 0 0 25 0 4 0 499885815 314793984 20139 33554432000 4194304 4627427 140735605219600 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15764/statm: 76854 20139 388 106 0 71825 0
[pid=15764/tid=15765] ppid=15762 vsize=307416 CPUtime=25.49 cores=1,3,5,7
/proc/15764/task/15765/stat : 15765 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 16741 0 0 0 2547 2 0 0 25 0 4 0 499885815 314793984 20139 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15764/tid=15766] ppid=15762 vsize=307416 CPUtime=25.49 cores=1,3,5,7
/proc/15764/task/15766/stat : 15766 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 17481 0 0 0 2547 2 0 0 25 0 4 0 499885815 314793984 20139 33554432000 4194304 4627427 140735605219600 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15764/tid=15767] ppid=15762 vsize=307416 CPUtime=25.36 cores=1,3,5,7
/proc/15764/task/15767/stat : 15767 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 16033 0 0 0 2532 4 0 0 25 0 4 0 499885815 314793984 20139 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 307416

[startup+51.1004 s]
/proc/loadavg: 8.07 8.08 7.94 9/184 15769
/proc/meminfo: memFree=14859572/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=319524 CPUtime=204.11 cores=1,3,5,7
/proc/15764/stat : 15764 (strangenight2-m) R 15762 15764 15629 0 -1 4202496 101591 0 0 0 20390 21 0 0 25 0 4 0 499885815 327192576 25533 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15764/statm: 79881 25533 388 106 0 74852 0
[pid=15764/tid=15765] ppid=15762 vsize=319524 CPUtime=51.09 cores=1,3,5,7
/proc/15764/task/15765/stat : 15765 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 25252 0 0 0 5105 4 0 0 25 0 4 0 499885815 327192576 25533 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15764/tid=15766] ppid=15762 vsize=319524 CPUtime=51.08 cores=1,3,5,7
/proc/15764/task/15766/stat : 15766 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 26883 0 0 0 5104 4 0 0 25 0 4 0 499885815 327192576 25533 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15764/tid=15767] ppid=15762 vsize=319524 CPUtime=50.82 cores=1,3,5,7
/proc/15764/task/15767/stat : 15767 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 23994 0 0 0 5076 6 0 0 25 0 4 0 499885815 327192576 25533 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 319524

[startup+102.301 s]
/proc/loadavg: 8.06 8.08 7.95 9/184 15770
/proc/meminfo: memFree=14777468/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=316052 CPUtime=408.65 cores=1,3,5,7
/proc/15764/stat : 15764 (strangenight2-m) R 15762 15764 15629 0 -1 4202496 160871 0 0 0 40827 38 0 0 25 0 4 0 499885815 323637248 34041 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15764/statm: 79013 34041 388 106 0 73984 0
[pid=15764/tid=15765] ppid=15762 vsize=316052 CPUtime=102.3 cores=1,3,5,7
/proc/15764/task/15765/stat : 15765 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 39427 0 0 0 10222 8 0 0 25 0 4 0 499885815 323637248 34041 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15764/tid=15766] ppid=15762 vsize=316052 CPUtime=102.3 cores=1,3,5,7
/proc/15764/task/15766/stat : 15766 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 41133 0 0 0 10221 9 0 0 25 0 4 0 499885815 323637248 34041 33554432000 4194304 4627427 140735605219600 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15764/tid=15767] ppid=15762 vsize=316052 CPUtime=101.74 cores=1,3,5,7
/proc/15764/task/15767/stat : 15767 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 39988 0 0 0 10164 10 0 0 25 0 4 0 499885815 323637248 34042 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 316052

[startup+162.3 s]

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

[pid=15764] ppid=15762 vsize=544176 CPUtime=2565.76 cores=1,3,5,7
/proc/15764/stat : 15764 (strangenight2-m) R 15762 15764 15629 0 -1 4202496 463970 0 0 0 256423 153 0 0 25 0 4 0 499885815 557236224 83929 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15764/statm: 136044 83929 388 106 0 131015 0
[pid=15764/tid=15765] ppid=15762 vsize=544176 CPUtime=642.31 cores=1,3,5,7
/proc/15764/task/15765/stat : 15765 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 111166 0 0 0 64199 32 0 0 25 0 4 0 499885815 557236224 83929 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15764/tid=15766] ppid=15762 vsize=544176 CPUtime=642.3 cores=1,3,5,7
/proc/15764/task/15766/stat : 15766 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 122763 0 0 0 64187 43 0 0 25 0 4 0 499885815 557236224 83930 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15764/tid=15767] ppid=15762 vsize=544176 CPUtime=638.82 cores=1,3,5,7
/proc/15764/task/15767/stat : 15767 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 115986 0 0 0 63843 39 0 0 25 0 4 0 499885815 557236224 83930 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.76
Current children cumulated vsize (KiB) 544176

[startup+702.3 s]
/proc/loadavg: 8.01 8.06 8.00 9/184 15795
/proc/meminfo: memFree=14316188/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=571472 CPUtime=2805.45 cores=1,3,5,7
/proc/15764/stat : 15764 (strangenight2-m) R 15762 15764 15629 0 -1 4202496 490288 0 0 0 280382 163 0 0 25 0 4 0 499885815 585187328 89972 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15764/statm: 142868 89972 388 106 0 137839 0
[pid=15764/tid=15765] ppid=15762 vsize=571472 CPUtime=702.31 cores=1,3,5,7
/proc/15764/task/15765/stat : 15765 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 118874 0 0 0 70197 34 0 0 25 0 4 0 499885815 585187328 89972 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15764/tid=15766] ppid=15762 vsize=571472 CPUtime=702.31 cores=1,3,5,7
/proc/15764/task/15766/stat : 15766 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 128700 0 0 0 70186 45 0 0 25 0 4 0 499885815 585187328 89972 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15764/tid=15767] ppid=15762 vsize=571472 CPUtime=698.5 cores=1,3,5,7
/proc/15764/task/15767/stat : 15767 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 120656 0 0 0 69809 41 0 0 25 0 4 0 499885815 585187328 89972 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.45
Current children cumulated vsize (KiB) 571472

[startup+762.301 s]
/proc/loadavg: 8.04 8.06 8.00 9/184 15797
/proc/meminfo: memFree=14263700/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=571724 CPUtime=3045.15 cores=1,3,5,7
/proc/15764/stat : 15764 (strangenight2-m) R 15762 15764 15629 0 -1 4202496 514549 0 0 0 304341 174 0 0 25 0 4 0 499885815 585445376 91459 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15764/statm: 142931 91459 388 106 0 137902 0
[pid=15764/tid=15765] ppid=15762 vsize=571724 CPUtime=762.32 cores=1,3,5,7
/proc/15764/task/15765/stat : 15765 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 124259 0 0 0 76195 37 0 0 25 0 4 0 499885815 585445376 91459 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15764/tid=15766] ppid=15762 vsize=571724 CPUtime=762.32 cores=1,3,5,7
/proc/15764/task/15766/stat : 15766 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 134377 0 0 0 76184 48 0 0 25 0 4 0 499885815 585445376 91459 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15764/tid=15767] ppid=15762 vsize=571724 CPUtime=758.17 cores=1,3,5,7
/proc/15764/task/15767/stat : 15767 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 126799 0 0 0 75774 43 0 0 25 0 4 0 499885815 585445376 91459 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.15
Current children cumulated vsize (KiB) 571724

[startup+822.301 s]
/proc/loadavg: 8.09 8.08 8.01 9/184 15799
/proc/meminfo: memFree=14230788/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=585200 CPUtime=3284.8 cores=1,3,5,7
/proc/15764/stat : 15764 (strangenight2-m) R 15762 15764 15629 0 -1 4202496 542078 0 0 0 328292 188 0 0 25 0 4 0 499885815 599244800 88075 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15764/statm: 146300 88075 388 106 0 141271 0
[pid=15764/tid=15765] ppid=15762 vsize=585200 CPUtime=822.31 cores=1,3,5,7
/proc/15764/task/15765/stat : 15765 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 132445 0 0 0 82190 41 0 0 25 0 4 0 499885815 599244800 88075 33554432000 4194304 4627427 140735605219600 18446744073709551615 4324107 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15764/tid=15766] ppid=15762 vsize=585200 CPUtime=822.31 cores=1,3,5,7
/proc/15764/task/15766/stat : 15766 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 139746 0 0 0 82180 51 0 0 25 0 4 0 499885815 599244800 88076 33554432000 4194304 4627427 140735605219600 18446744073709551615 4507248 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15764/tid=15767] ppid=15762 vsize=585200 CPUtime=817.85 cores=1,3,5,7
/proc/15764/task/15767/stat : 15767 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 132852 0 0 0 81739 46 0 0 25 0 4 0 499885815 599244800 88076 33554432000 4194304 4627427 140735605219600 18446744073709551615 4327375 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.8
Current children cumulated vsize (KiB) 585200

[startup+882.306 s]
/proc/loadavg: 8.10 8.09 8.01 9/184 15800
/proc/meminfo: memFree=14198888/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=625028 CPUtime=3524.51 cores=1,3,5,7
/proc/15764/stat : 15764 (strangenight2-m) R 15762 15764 15629 0 -1 4202496 562585 0 0 0 352252 199 0 0 25 0 4 0 499885815 640028672 93661 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15764/statm: 156257 93661 388 106 0 151228 0
[pid=15764/tid=15765] ppid=15762 vsize=625028 CPUtime=882.32 cores=1,3,5,7
/proc/15764/task/15765/stat : 15765 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 139031 0 0 0 88187 45 0 0 25 0 4 0 499885815 640028672 93661 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15764/tid=15766] ppid=15762 vsize=625028 CPUtime=882.32 cores=1,3,5,7
/proc/15764/task/15766/stat : 15766 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 143176 0 0 0 88179 53 0 0 25 0 4 0 499885815 640028672 93661 33554432000 4194304 4627427 140735605219600 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15764/tid=15767] ppid=15762 vsize=625028 CPUtime=877.52 cores=1,3,5,7
/proc/15764/task/15767/stat : 15767 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 139921 0 0 0 87704 48 0 0 25 0 4 0 499885815 640028672 93661 33554432000 4194304 4627427 140735605219600 18446744073709551615 4333052 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.51
Current children cumulated vsize (KiB) 625028

[startup+942.301 s]
/proc/loadavg: 8.14 8.10 8.02 9/184 15802
/proc/meminfo: memFree=14217972/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=586256 CPUtime=3764.17 cores=1,3,5,7
/proc/15764/stat : 15764 (strangenight2-m) R 15762 15764 15629 0 -1 4202496 586959 0 0 0 376207 210 0 0 25 0 4 0 499885815 600326144 90957 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15764/statm: 146564 90957 388 106 0 141535 0
[pid=15764/tid=15765] ppid=15762 vsize=586256 CPUtime=942.32 cores=1,3,5,7
/proc/15764/task/15765/stat : 15765 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 145576 0 0 0 94185 47 0 0 25 0 4 0 499885815 600326144 90957 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309454 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15764/tid=15766] ppid=15762 vsize=586256 CPUtime=942.32 cores=1,3,5,7
/proc/15764/task/15766/stat : 15766 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 149393 0 0 0 94176 56 0 0 25 0 4 0 499885815 600326144 90957 33554432000 4194304 4627427 140735605219600 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15764/tid=15767] ppid=15762 vsize=586256 CPUtime=937.19 cores=1,3,5,7
/proc/15764/task/15767/stat : 15767 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 145238 0 0 0 93668 51 0 0 25 0 4 0 499885815 600326144 90957 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.17
Current children cumulated vsize (KiB) 586256

[startup+1002.3 s]
/proc/loadavg: 8.23 8.13 8.03 9/184 15803
/proc/meminfo: memFree=14154212/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=586572 CPUtime=4003.85 cores=1,3,5,7
/proc/15764/stat : 15764 (strangenight2-m) R 15762 15764 15629 0 -1 4202496 612269 0 0 0 400161 224 0 0 25 0 4 0 499885815 600649728 94612 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15764/statm: 146643 94612 388 106 0 141614 0
[pid=15764/tid=15765] ppid=15762 vsize=586572 CPUtime=1002.32 cores=1,3,5,7
/proc/15764/task/15765/stat : 15765 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 152396 0 0 0 100181 51 0 0 25 0 4 0 499885815 600649728 94612 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15764/tid=15766] ppid=15762 vsize=586572 CPUtime=1002.32 cores=1,3,5,7
/proc/15764/task/15766/stat : 15766 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 155578 0 0 0 100173 59 0 0 25 0 4 0 499885815 600649728 94612 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15764/tid=15767] ppid=15762 vsize=586572 CPUtime=996.87 cores=1,3,5,7
/proc/15764/task/15767/stat : 15767 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 151304 0 0 0 99633 54 0 0 25 0 4 0 499885815 600649728 94612 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.85
Current children cumulated vsize (KiB) 586572

[startup+1062.3 s]
/proc/loadavg: 8.15 8.12 8.03 9/184 15805
/proc/meminfo: memFree=14135832/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=692776 CPUtime=4243.53 cores=1,3,5,7
/proc/15764/stat : 15764 (strangenight2-m) R 15762 15764 15629 0 -1 4202496 632303 0 0 0 424118 235 0 0 25 0 4 0 499885815 709402624 102136 33554432000 4194304 4627427 140735605219600 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15764/statm: 173194 102137 388 106 0 168165 0
[pid=15764/tid=15765] ppid=15762 vsize=692776 CPUtime=1062.32 cores=1,3,5,7
/proc/15764/task/15765/stat : 15765 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 157747 0 0 0 106179 53 0 0 25 0 4 0 499885815 709402624 102137 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15764/tid=15766] ppid=15762 vsize=692776 CPUtime=1062.32 cores=1,3,5,7
/proc/15764/task/15766/stat : 15766 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 161083 0 0 0 106170 62 0 0 25 0 4 0 499885815 709402624 102137 33554432000 4194304 4627427 140735605219600 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15764/tid=15767] ppid=15762 vsize=692776 CPUtime=1056.54 cores=1,3,5,7
/proc/15764/task/15767/stat : 15767 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 156742 0 0 0 105597 57 0 0 25 0 4 0 499885815 709402624 102137 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.53
Current children cumulated vsize (KiB) 692776

[startup+1122.3 s]
/proc/loadavg: 8.16 8.12 8.03 9/184 15807
/proc/meminfo: memFree=14117848/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=629060 CPUtime=4483.21 cores=1,3,5,7
/proc/15764/stat : 15764 (strangenight2-m) R 15762 15764 15629 0 -1 4202496 645972 0 0 0 448081 240 0 0 25 0 4 0 499885815 644157440 107898 33554432000 4194304 4627427 140735605219600 18446744073709551615 4324208 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15764/statm: 157265 107898 388 106 0 152236 0
[pid=15764/tid=15765] ppid=15762 vsize=629060 CPUtime=1122.33 cores=1,3,5,7
/proc/15764/task/15765/stat : 15765 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 161200 0 0 0 112178 55 0 0 25 0 4 0 499885815 644157440 107898 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15764/tid=15766] ppid=15762 vsize=629060 CPUtime=1122.32 cores=1,3,5,7
/proc/15764/task/15766/stat : 15766 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 164625 0 0 0 112169 63 0 0 25 0 4 0 499885815 644157440 107898 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15764/tid=15767] ppid=15762 vsize=629060 CPUtime=1116.22 cores=1,3,5,7
/proc/15764/task/15767/stat : 15767 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 162346 0 0 0 111562 60 0 0 25 0 4 0 499885815 644157440 107898 33554432000 4194304 4627427 140735605219600 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.21
Current children cumulated vsize (KiB) 629060

[startup+1182.3 s]
/proc/loadavg: 8.13 8.11 8.03 9/184 15808
/proc/meminfo: memFree=14114600/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=590812 CPUtime=4722.9 cores=1,3,5,7
/proc/15764/stat : 15764 (strangenight2-m) R 15762 15764 15629 0 -1 4202496 663870 0 0 0 472039 251 0 0 25 0 4 0 499885815 604991488 104498 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15764/statm: 147703 104498 388 106 0 142674 0
[pid=15764/tid=15765] ppid=15762 vsize=590812 CPUtime=1182.33 cores=1,3,5,7
/proc/15764/task/15765/stat : 15765 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 166775 0 0 0 118175 58 0 0 25 0 4 0 499885815 604991488 104498 33554432000 4194304 4627427 140735605219600 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15764/tid=15766] ppid=15762 vsize=590812 CPUtime=1182.32 cores=1,3,5,7
/proc/15764/task/15766/stat : 15766 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 170354 0 0 0 118166 66 0 0 25 0 4 0 499885815 604991488 104498 33554432000 4194304 4627427 140735605219600 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15764/tid=15767] ppid=15762 vsize=590812 CPUtime=1175.89 cores=1,3,5,7
/proc/15764/task/15767/stat : 15767 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 165785 0 0 0 117528 61 0 0 25 0 4 0 499885815 604991488 104498 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.9
Current children cumulated vsize (KiB) 590812



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.09 8.11 8.03 5/179 15810
/proc/meminfo: memFree=14680200/32951124 swapFree=67111528/67111528
[pid=15764] ppid=15762 vsize=670004 CPUtime=4800.41 cores=1,3,5,7
/proc/15764/stat : 15764 (strangenight2-m) R 15762 15764 15629 0 -1 4202496 670885 0 0 0 479787 254 0 0 25 0 4 0 499885815 686084096 111454 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15764/statm: 167501 111454 388 106 0 162472 0
[pid=15764/tid=15765] ppid=15762 vsize=670004 CPUtime=1201.74 cores=1,3,5,7
/proc/15764/task/15765/stat : 15765 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 167843 0 0 0 120115 59 0 0 25 0 4 0 499885815 686084096 111454 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15764/tid=15766] ppid=15762 vsize=670004 CPUtime=1201.73 cores=1,3,5,7
/proc/15764/task/15766/stat : 15766 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 171582 0 0 0 120106 67 0 0 25 0 4 0 499885815 686084096 111454 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15764/tid=15767] ppid=15762 vsize=670004 CPUtime=1195.19 cores=1,3,5,7
/proc/15764/task/15767/stat : 15767 (strangenight2-m) R 15762 15764 15629 0 -1 4202560 168267 0 0 0 119457 62 0 0 25 0 4 0 499885815 686084096 111454 33554432000 4194304 4627427 140735605219600 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.41
Current children cumulated vsize (KiB) 670004

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.46
CPU user time (s): 4797.89
CPU system time (s): 2.56861
CPU usage (%): 399.462
Max. virtual memory (cumulated for all children) (KiB): 692776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.89
system time used= 2.56861
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 670886
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= 264
involuntary context switches= 31247

runsolver used 1.84972 second user time and 4.70728 second system time

The end

Launcher Data 

Begin job on node141 at 2011-04-29 12:58:22
IDJOB=3173975
IDBENCH=82793
IDSOLVER=1586
FILE ID=node141/3173975-1304074702
RUNJOBID= node141-1304073498-15648
PBS_JOBID= 13170495
Free space on /tmp= 71420 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v100-c2130-S1760258375-046.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173975-1304074702/watcher-3173975-1304074702 -o /tmp/evaluation-result-3173975-1304074702/solver-3173975-1304074702 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173975-1304074702.cnf

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

MD5SUM BENCH= f913d39a64a2142ed34486c38d5636c0
RANDOM SEED=57772887

node141.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      15121776 kB
Buffers:       1626052 kB
Cached:       15550332 kB
SwapCached:          0 kB
Active:        8024480 kB
Inactive:      9222648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      15121776 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           11316 kB
Writeback:           0 kB
AnonPages:       70364 kB
Mapped:          15068 kB
Slab:           518828 kB
PageTables:       4688 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   271884 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= 71412 MiB
End job on node141 at 2011-04-29 13:18:26