Trace number 3265543

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

General information on the benchmark

NameSAT05/crafted/markstrom05/eulcbip/
eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf
MD5SUM151ccdb2c52c7f525fde5dca388bb6e6
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.083986
Satisfiable
(Un)Satisfiability was proved
Number of variables135
Number of clauses672
Sum of the clauses size2684
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22
Number of clauses of size 30
Number of clauses of size 4670
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3265543-1304129484.cnf'
0.00/0.00	c -- header says num vars:            135
0.00/0.00	c -- header says num clauses:         672
0.00/0.00	c -- clauses added:            0 learnts,          672 normals,            0 xors
0.00/0.00	c -- vars added        135
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       135       670         2         0      2684         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/670/670 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c Replacing        1 vars Replaced       18 lits Time:     0.00 s 
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
0.00/0.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.80	c lits-rem:       536  cl-subs:      134  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.80	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.80	c calculated reachability. Time: 0.00
0.00/0.80	c Calc default polars -  time:   0.00 s pos:       0 undec:     135 neg:       0
0.00/0.80	c =========================================================================================
0.00/0.80	c types(t): F = full restart, N = normal restart
0.00/0.80	c types(t): S = simplification begin/end, E = solution found
0.00/0.80	c restart types(rt): st = static, dy = dynamic
0.00/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.80	c  B st     0         0       134       536         0         0      1608         0   no data   no data
0.00/0.80	c Decided on static restart strategy
0.00/0.80	c  N st     8      4916       134       536         0      4807      1608    121444   no data   no data
0.00/0.80	c  N st    10     11299       134       536         0      4385      1608     85229   no data   no data
0.00/0.80	c  N st    11     17043       134       536         0      9862      1608    258274   no data   no data
3.81/1.00	c  F st    12     25000       134       536         0     12090      1608    316742   no data   no data
3.81/1.00	c  N st    12     25000       134       536         0     12090      1608    316742   no data   no data
4.21/1.10	c Decided on static restart strategy
4.21/1.10	c  N st    18     30000       134       536         0     10437      1608    222353   no data   no data
4.21/1.10	c  S st    18     30000       134       536         0     10437      1608    222353   no data   no data
4.61/1.20	c  S st    18     30503       134       536         0     10937      1608    234277   no data   no data
4.61/1.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.61/1.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
4.61/1.20	c blocked clauses removed:        0 vars:      0 tried:         134 T: 0.00 s
4.61/1.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.61/1.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.61/1.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
4.61/1.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.61/1.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.61/1.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.01/1.27	c lits-rem:       350  cl-subs:      295  v-elim:      0  v-fix:    0  time:  0.10 s
5.01/1.27	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.00
5.01/1.27	c calculated reachability. Time: 0.00
5.01/1.27	c  N st    18     30503       134       536         0     10642      1608    224860   no data   no data
5.98/1.50	c  N st    20     37613       134       536         0      9942      1608    195660   no data   no data
6.77/1.76	c  N st    21     44012       134       536         0     16212      1608    372391   no data   no data
7.19/1.84	c  S st    22     45754       134       536         0      9185      1608    152492   no data   no data
7.19/1.86	c  S st    22     46261       134       536         0      9686      1608    164293   no data   no data
7.19/1.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.19/1.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
7.19/1.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.19/1.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.19/1.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.19/1.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
7.19/1.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.19/1.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
7.19/1.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.19/1.89	c lits-rem:        42  cl-subs:       11  v-elim:      0  v-fix:    0  time:  0.02 s
7.19/1.89	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
7.19/1.90	c vivif2 --  cl tried     9675 cl shrink        0 lits rem          0 time: 0.00
7.19/1.90	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.00
7.19/1.90	c calculated reachability. Time: 0.00
7.19/1.90	c  N st    22     46261       134       536         0      9675      1608    163895   no data   no data
9.97/2.59	c  N st    23     60658       134       536         0     13997      1608    280999   no data   no data
11.59/3.00	c  N st    24     69391       134       536         0     11848      1608    192709   no data   no data
11.59/3.00	c  S st    24     69391       134       536         0     11848      1608    192709   no data   no data
11.99/3.02	c  S st    24     69894       134       536         0     12350      1608    205219   no data   no data
11.99/3.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.99/3.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
11.99/3.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
11.99/3.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.99/3.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.99/3.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
11.99/3.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
11.99/3.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
11.99/3.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.99/3.07	c lits-rem:        70  cl-subs:       27  v-elim:      0  v-fix:    0  time:  0.03 s
11.99/3.07	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
11.99/3.07	c vivif2 --  cl tried    12323 cl shrink        0 lits rem          0 time: 0.00
11.99/3.07	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.00
11.99/3.08	c calculated reachability. Time: 0.00
11.99/3.08	c  N st    24     69894       134       536         0     12323      1608    204282   no data   no data
15.98/4.08	c  F st    25     87501       134       536         0     17722      1608    348537   no data   no data
15.98/4.08	c  N st    25     87501       134       536         0     17722      1608    348537   no data   no data
17.16/4.38	c Decided on static restart strategy
17.96/4.59	c  N st    32     95543       134       536         0     12872      1608    189935   no data   no data
19.96/5.09	c  N st    34    104845       134       536         0     21693      1608    451408   no data   no data
19.96/5.09	c  S st    34    104845       134       536         0     21693      1608    451408   no data   no data
20.38/5.12	c  S st    34    105346       134       536         0     22192      1608    463783   no data   no data
20.38/5.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
20.38/5.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
20.38/5.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
20.38/5.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
20.38/5.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
20.38/5.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
20.38/5.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
20.38/5.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
20.38/5.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
21.95/5.57	c lits-rem:      1053  cl-subs:      902  v-elim:      0  v-fix:    0  time:  0.42 s
21.95/5.57	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
21.95/5.58	c vivif2 --  cl tried    21290 cl shrink        0 lits rem          0 time: 0.01
21.95/5.58	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.01
21.95/5.58	c calculated reachability. Time: 0.00
21.95/5.58	c  N st    34    105346       134       536         0     21290      1608    433805   no data   no data
24.77/6.26	c  N st    35    114944       134       536         0     16902      1608    288114   no data   no data
28.75/7.21	c  N st    36    129341       134       536         0     16341      1608    263658   no data   no data
34.34/8.62	c  N st    37    150936       134       536         0     21596      1608    400173   no data   no data
36.33/9.11	c  S st    38    158019       134       536         0     28234      1608    586145   no data   no data
36.33/9.16	c  S st    38    158523       134       536         0     28734      1608    597493   no data   no data
36.33/9.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.33/9.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
36.33/9.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
36.33/9.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.33/9.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.33/9.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
36.33/9.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
36.33/9.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
36.33/9.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.13/10.37	c lits-rem:      2565  cl-subs:     2516  v-elim:      0  v-fix:    0  time:  1.18 s
41.13/10.37	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
41.13/10.38	c vivif2 --  cl tried    26218 cl shrink        0 lits rem          0 time: 0.01
41.13/10.39	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.01
41.13/10.39	c calculated reachability. Time: 0.00
41.13/10.39	c  N st    38    158523       134       536         0     26218      1608    520735   no data   no data
55.93/14.03	c  N st    39    207112       134       536         0     21036      1608    350598   no data   no data
65.09/16.32	c  N st    40    237785       134       536         0     31728      1608    676530   no data   no data
65.09/16.32	c  S st    40    237785       134       536         0     31728      1608    676530   no data   no data
65.09/16.38	c  S st    40    238288       134       536         0     32230      1608    689290   no data   no data
65.09/16.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
65.09/16.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
65.09/16.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
65.09/16.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
65.09/16.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
65.09/16.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
65.09/16.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
65.49/16.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
65.49/16.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
69.11/17.30	c lits-rem:       918  cl-subs:      752  v-elim:      0  v-fix:    0  time:  0.88 s
69.11/17.30	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
69.11/17.31	c vivif2 --  cl tried    31478 cl shrink        0 lits rem          0 time: 0.01
69.11/17.32	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.01
69.11/17.32	c calculated reachability. Time: 0.00
69.11/17.32	c  N st    40    238288       134       536         0     31478      1608    664400   no data   no data
93.46/23.43	c  F st    41    306250       134       536         0     33720      1608    702340   no data   no data
93.46/23.43	c  N st    41    306250       134       536         0     33720      1608    702340   no data   no data
95.48/23.91	c Decided on static restart strategy
103.45/25.95	c  N st    51    334561       134       536         0     37861      1608    765583   no data   no data
110.64/27.73	c  N st    53    357432       134       536         0     35623      1608    681449   no data   no data
110.64/27.73	c  S st    53    357432       134       536         0     35623      1608    681449   no data   no data
111.04/27.80	c  S st    53    357937       134       536         0     36122      1608    693665   no data   no data
111.04/27.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
111.04/27.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
111.04/27.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
111.04/27.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
111.04/27.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
111.04/27.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
111.04/27.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
111.04/27.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
111.04/27.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
114.23/28.62	c lits-rem:      1260  cl-subs:     1120  v-elim:      0  v-fix:    0  time:  0.79 s
114.23/28.62	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
114.23/28.63	c vivif2 --  cl tried    35002 cl shrink        0 lits rem          0 time: 0.01
114.23/28.64	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.01
114.23/28.64	c calculated reachability. Time: 0.00
114.23/28.64	c  N st    53    357937       134       536         0     35002      1608    659784   no data   no data
127.01/31.85	c  N st    54    390329       134       536         0     41088      1608    825225   no data   no data
148.57/37.25	c  N st    55    438918       134       536         0     34501      1608    589334   no data   no data
177.35/44.49	c  N st    56    511801       134       536         0     48456      1608   1043569   no data   no data
187.75/47.08	c  N st    57    536905       134       536         0     42361      1608    788028   no data   no data
187.75/47.08	c  S st    57    536905       134       536         0     42361      1608    788028   no data   no data
188.12/47.15	c  S st    57    537409       134       536         0     42862      1608    800103   no data   no data
188.12/47.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
188.12/47.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
188.12/47.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
188.12/47.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
188.12/47.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
188.12/47.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
188.12/47.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
188.12/47.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
188.52/47.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
194.51/48.74	c lits-rem:      1175  cl-subs:     2183  v-elim:      0  v-fix:    0  time:  1.54 s
194.51/48.74	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
194.51/48.75	c vivif2 --  cl tried    40679 cl shrink        0 lits rem          0 time: 0.01
194.51/48.76	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.02
194.51/48.76	c calculated reachability. Time: 0.00
194.51/48.76	c  N st    57    537409       134       536         0     40679      1608    729613   no data   no data
274.82/68.80	c  N st    58    701393       134       536         0     35412      1608    494202   no data   no data
326.74/81.86	c  N st    59    806113       134       536         0     62799      1608   1350270   no data   no data
326.74/81.86	c  S st    59    806113       134       536         0     62799      1608   1350270   no data   no data
327.15/81.97	c  S st    59    806616       134       536         0     63300      1608   1362594   no data   no data
327.15/81.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
327.15/81.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
327.15/81.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
327.15/81.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
327.15/81.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
327.15/81.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
327.15/81.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
327.55/82.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
327.55/82.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
365.09/91.47	c lits-rem:      2722  cl-subs:     4839  v-elim:      0  v-fix:    0  time:  9.42 s
365.09/91.47	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
365.09/91.49	c vivif2 --  cl tried    58461 cl shrink        0 lits rem          0 time: 0.02
365.49/91.52	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.04
365.49/91.53	c calculated reachability. Time: 0.00
365.49/91.53	c  N st    59    806616       134       536         0     58461      1608   1211938   no data   no data
513.70/128.63	c  F st    60   1071875       134       536         0     73763      1608   1554388   no data   no data
513.70/128.63	c  N st    60   1071875       134       536         0     73763      1608   1554388   no data   no data
516.91/129.48	c Decided on static restart strategy
529.68/132.64	c  N st    70   1100174       134       536         0     58904      1608   1073092   no data   no data
556.46/139.34	c  N st    72   1136168       134       536         0     49381      1608    760803   no data   no data
577.22/144.56	c  N st    73   1168560       134       536         0     80352      1608   1748286   no data   no data
602.37/150.83	c  N st    74   1209925       134       536         0     74910      1608   1599062   no data   no data
602.37/150.83	c  S st    74   1209925       134       536         0     74910      1608   1599062   no data   no data
602.78/150.95	c  S st    74   1210427       134       536         0     75410      1608   1611996   no data   no data
602.78/150.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
602.78/150.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
602.78/150.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
602.78/150.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
602.78/150.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
602.78/150.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
602.78/150.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
603.18/151.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
603.18/151.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
640.73/160.41	c lits-rem:      4203  cl-subs:     4337  v-elim:      0  v-fix:    0  time:  9.35 s
640.73/160.41	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
640.73/160.43	c vivif2 --  cl tried    71073 cl shrink        0 lits rem          0 time: 0.02
640.73/160.47	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.04
640.73/160.47	c calculated reachability. Time: 0.00
640.73/160.47	c  N st    74   1210427       134       536         0     71073      1608   1465652   no data   no data
686.26/171.81	c  N st    75   1283309       134       536         0     47866      1608    670701   no data   no data
756.97/189.58	c  N st    76   1392632       134       536         0     54781      1608    855336   no data   no data
858.43/214.98	c  N st    77   1556616       134       536         0     58974      1608    933015   no data   no data
970.67/243.04	c  N st    78   1710428       134       536         0    100837      1608   2295059   no data   no data
970.67/243.04	c  S st    78   1710428       134       536         0    100837      1608   2295059   no data   no data
971.47/243.29	c  S st    78   1710931       134       536         0    101338      1608   2308238   no data   no data
971.87/243.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
971.87/243.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.08
971.87/243.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
971.87/243.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
971.87/243.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
971.87/243.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
971.87/243.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
972.27/243.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
972.68/243.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1170.01/292.90	c lits-rem:      7197  cl-subs:     7127  v-elim:      0  v-fix:    0  time: 49.38 s
1170.01/292.90	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
1170.01/292.93	c vivif2 --  cl tried    94211 cl shrink        0 lits rem          0 time: 0.03
1170.41/293.02	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.09
1170.41/293.02	c calculated reachability. Time: 0.00
1170.41/293.02	c  N st    78   1710931       134       536         0     94211      1608   2076617   no data   no data
1422.08/356.01	c  N st    79   2079897       134       536         0    105084      1608   2282347   no data   no data
1517.54/379.95	c  N st    80   2210931       134       536         0    109012      1608   2209150   no data   no data
1517.54/379.95	c  S st    80   2210931       134       536         0    109012      1608   2209150   no data   no data
1518.34/380.16	c  S st    80   2211431       134       536         0    109510      1608   2222413   no data   no data
1518.34/380.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1518.75/380.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.07
1518.75/380.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1518.75/380.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1518.75/380.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1518.75/380.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
1518.75/380.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1518.75/380.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1519.15/380.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1704.48/426.76	c lits-rem:      7360  cl-subs:     9783  v-elim:      0  v-fix:    0  time: 46.41 s
1704.48/426.76	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
1704.48/426.79	c vivif2 --  cl tried    99727 cl shrink        0 lits rem          0 time: 0.03
1704.88/426.87	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.08
1704.88/426.87	c calculated reachability. Time: 0.00
1704.88/426.87	c  N st    80   2211431       134       536         0     99727      1608   1939236   no data   no data
2051.60/513.67	c  N st    81   2711432       134       536         0    120980      1608   2334694   no data   no data
2051.60/513.67	c  S st    81   2711432       134       536         0    120980      1608   2334694   no data   no data
2052.80/513.96	c  S st    81   2711937       134       536         0    121483      1608   2347765   no data   no data
2052.80/513.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2053.21/514.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.07
2053.21/514.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2053.21/514.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2053.21/514.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2053.21/514.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
2053.21/514.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2053.21/514.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2053.61/514.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2378.36/595.44	c lits-rem:      8866  cl-subs:    20019  v-elim:      0  v-fix:    0  time: 81.30 s
2378.36/595.44	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
2378.36/595.47	c vivif2 --  cl tried   101464 cl shrink        0 lits rem          0 time: 0.03
2378.76/595.56	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.09
2378.76/595.57	c calculated reachability. Time: 0.00
2378.76/595.57	c  N st    81   2711937       134       536         0    101464      1608   1840484   no data   no data
2766.66/692.69	c  N st    82   3211937       134       536         0     80868      1608   1197496   no data   no data
2766.66/692.69	c  S st    82   3211937       134       536         0     80868      1608   1197496   no data   no data
2767.43/692.82	c  S st    82   3212438       134       536         0     81368      1608   1210234   no data   no data
2767.43/692.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2767.43/692.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
2767.43/692.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2767.43/692.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2767.43/692.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2767.43/692.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
2767.43/692.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2767.43/692.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2767.83/692.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2774.62/694.66	c lits-rem:      1940  cl-subs:     1648  v-elim:      0  v-fix:    0  time:  1.75 s
2774.62/694.66	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
2774.62/694.68	c vivif2 --  cl tried    79720 cl shrink        0 lits rem          0 time: 0.02
2775.02/694.72	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.04
2775.02/694.72	c calculated reachability. Time: 0.00
2775.02/694.72	c  N st    82   3212438       134       536         0     79720      1608   1164638   no data   no data
3179.69/796.04	c  N st    83   3712438       134       536         0     89301      1608   1361759   no data   no data
3179.69/796.04	c  S st    83   3712438       134       536         0     89301      1608   1361759   no data   no data
3180.09/796.18	c  S st    83   3712940       134       536         0     89802      1608   1374619   no data   no data
3180.09/796.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3180.46/796.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3180.46/796.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3180.46/796.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3180.46/796.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3180.46/796.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
3180.46/796.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3180.46/796.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3180.46/796.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3193.66/799.58	c lits-rem:      2056  cl-subs:     2880  v-elim:      0  v-fix:    0  time:  3.30 s
3193.66/799.58	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
3194.06/799.60	c vivif2 --  cl tried    86922 cl shrink        0 lits rem          0 time: 0.02
3194.06/799.64	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.04
3194.06/799.65	c calculated reachability. Time: 0.00
3194.06/799.65	c  N st    83   3712940       134       536         0     86922      1608   1295993   no data   no data
3225.61/807.58	c  F st    84   3751564       134       536         0    123164      1608   2401832   no data   no data
3225.61/807.58	c  N st    84   3751564       134       536         0    123164      1608   2401832   no data   no data
3230.00/808.67	c Decided on static restart strategy
3250.00/813.66	c  N st    94   3779874       134       536         0    151011      1608   3247567   no data   no data
3277.94/820.69	c  N st    96   3815867       134       536         0    105939      1608   1864260   no data   no data
3305.90/827.63	c  N st    97   3848260       134       536         0    137317      1608   2840091   no data   no data
3353.04/839.41	c  N st    98   3896849       134       536         0    101536      1608   1689214   no data   no data
3446.11/862.76	c  N st    99   3969731       134       536         0     87800      1608   1247216   no data   no data
3565.15/892.55	c  N st   100   4079054       134       536         0    107187      1608   1739748   no data   no data
3693.79/924.80	c  N st   101   4212943       134       536         0    148921      1608   2989723   no data   no data
3693.79/924.80	c  S st   101   4212943       134       536         0    148921      1608   2989723   no data   no data
3694.97/925.05	c  S st   101   4213446       134       536         0    149424      1608   3003079   no data   no data
3694.97/925.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3695.37/925.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.07
3695.37/925.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3695.37/925.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3695.37/925.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3695.37/925.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
3695.37/925.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3695.37/925.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3695.77/925.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3986.60/998.07	c lits-rem:      7754  cl-subs:    17223  v-elim:      0  v-fix:    0  time: 72.81 s
3986.60/998.07	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
3987.00/998.11	c vivif2 --  cl tried   132201 cl shrink        0 lits rem          0 time: 0.04
3987.39/998.23	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.12
3987.39/998.23	c calculated reachability. Time: 0.00
3987.39/998.23	c  N st   101   4213446       134       536         0    132201      1608   2513829   no data   no data
4255.06/1065.23	c  N st   102   4459423       134       536         0    107111      1608   1740357   no data   no data
4499.95/1126.56	c  N st   103   4713447       134       536         0    169316      1608   3441794   no data   no data
4499.95/1126.56	c  S st   103   4713447       134       536         0    169316      1608   3441794   no data   no data
4501.14/1126.82	c  S st   103   4713954       134       536         0    169821      1608   3455147   no data   no data
4501.14/1126.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4501.55/1126.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.08
4501.55/1126.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4501.55/1126.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4501.55/1126.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4501.55/1126.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
4501.55/1126.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4501.55/1126.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
4501.96/1127.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3265543-1304129484/watcher-3265543-1304129484 -o /tmp/evaluation-result-3265543-1304129484/solver-3265543-1304129484 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3265543-1304129484.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: 4.93 7.16 7.62 2/173 6016
/proc/meminfo: memFree=29363564/32951124 swapFree=67111348/67111528
[pid=6016] ppid=6014 vsize=51212 CPUtime=0.01 cores=1,3,5,7
/proc/6016/stat : 6016 (strangenight2-m) R 6014 6016 4553 0 -1 4202496 408 0 0 0 1 0 0 0 22 0 4 0 505363842 52441088 347 33554432000 4194304 4627427 140735172676704 18446744073709551615 47387411818418 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6016/statm: 12803 347 299 106 0 7774 0
[pid=6016/tid=6017] ppid=6014 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/6016/task/6017/stat : 6017 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 505363842 52441088 347 33554432000 4194304 4627427 140735172676704 18446744073709551615 47387411818408 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6016/tid=6018] ppid=6014 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/6016/task/6018/stat : 6018 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 505363842 52441088 347 33554432000 4194304 4627427 140735172676704 18446744073709551615 47387411818418 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6016/tid=6019] ppid=6014 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/6016/task/6019/stat : 6019 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 505363842 52441088 347 33554432000 4194304 4627427 140735172676704 18446744073709551615 228095507441 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.127528 s]
/proc/loadavg: 4.93 7.16 7.62 2/173 6016
/proc/meminfo: memFree=29363564/32951124 swapFree=67111348/67111528
[pid=6016] ppid=6014 vsize=285492 CPUtime=3.41 cores=1,3,5,7
/proc/6016/stat : 6016 (strangenight2-m) R 6014 6016 4553 0 -1 4202496 6239 0 0 0 340 1 0 0 19 0 4 0 505363842 292343808 2581 33554432000 4194304 4627427 140735172676704 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6016/statm: 71373 2581 386 106 0 66344 0
[pid=6016/tid=6017] ppid=6014 vsize=285492 CPUtime=0.85 cores=1,3,5,7
/proc/6016/task/6017/stat : 6017 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 1521 0 0 0 85 0 0 0 18 0 4 0 505363842 292343808 2581 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6016/tid=6018] ppid=6014 vsize=285492 CPUtime=0.85 cores=1,3,5,7
/proc/6016/task/6018/stat : 6018 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 1621 0 0 0 85 0 0 0 19 0 4 0 505363842 292343808 2581 33554432000 4194304 4627427 140735172676704 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6016/tid=6019] ppid=6014 vsize=285492 CPUtime=0.84 cores=1,3,5,7
/proc/6016/task/6019/stat : 6019 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 1427 0 0 0 84 0 0 0 19 0 4 0 505363842 292343808 2581 33554432000 4194304 4627427 140735172676704 18446744073709551615 4332756 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.41
Current children cumulated vsize (KiB) 285492

[startup+0.958111 s]
/proc/loadavg: 4.93 7.16 7.62 2/173 6016
/proc/meminfo: memFree=29363564/32951124 swapFree=67111348/67111528
[pid=6016] ppid=6014 vsize=285856 CPUtime=3.81 cores=1,3,5,7
/proc/6016/stat : 6016 (strangenight2-m) R 6014 6016 4553 0 -1 4202496 6834 0 0 0 380 1 0 0 19 0 4 0 505363842 292716544 2733 33554432000 4194304 4627427 140735172676704 18446744073709551615 4331582 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6016/statm: 71464 2733 386 106 0 66435 0
[pid=6016/tid=6017] ppid=6014 vsize=285856 CPUtime=0.95 cores=1,3,5,7
/proc/6016/task/6017/stat : 6017 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 1612 0 0 0 95 0 0 0 19 0 4 0 505363842 292716544 2733 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6016/tid=6018] ppid=6014 vsize=285856 CPUtime=0.95 cores=1,3,5,7
/proc/6016/task/6018/stat : 6018 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 1719 0 0 0 95 0 0 0 19 0 4 0 505363842 292716544 2733 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6016/tid=6019] ppid=6014 vsize=285856 CPUtime=0.94 cores=1,3,5,7
/proc/6016/task/6019/stat : 6019 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 1729 0 0 0 94 0 0 0 19 0 4 0 505363842 292716544 2733 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 285856

[startup+1.05809 s]
/proc/loadavg: 4.93 7.16 7.62 2/173 6016
/proc/meminfo: memFree=29363564/32951124 swapFree=67111348/67111528
[pid=6016] ppid=6014 vsize=277028 CPUtime=4.21 cores=1,3,5,7
/proc/6016/stat : 6016 (strangenight2-m) R 6014 6016 4553 0 -1 4202496 7326 0 0 0 420 1 0 0 19 0 4 0 505363842 283676672 2848 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309293 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6016/statm: 69257 2848 386 106 0 64228 0
[pid=6016/tid=6017] ppid=6014 vsize=277028 CPUtime=1.05 cores=1,3,5,7
/proc/6016/task/6017/stat : 6017 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 1704 0 0 0 105 0 0 0 19 0 4 0 505363842 283676672 2848 33554432000 4194304 4627427 140735172676704 18446744073709551615 4333068 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6016/tid=6018] ppid=6014 vsize=277028 CPUtime=1.05 cores=1,3,5,7
/proc/6016/task/6018/stat : 6018 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 1790 0 0 0 105 0 0 0 19 0 4 0 505363842 283676672 2848 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6016/tid=6019] ppid=6014 vsize=277028 CPUtime=1.04 cores=1,3,5,7
/proc/6016/task/6019/stat : 6019 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 1830 0 0 0 104 0 0 0 19 0 4 0 505363842 283676672 2848 33554432000 4194304 4627427 140735172676704 18446744073709551615 4327749 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 277028

[startup+1.15808 s]
/proc/loadavg: 4.93 7.16 7.62 2/173 6016
/proc/meminfo: memFree=29363564/32951124 swapFree=67111348/67111528
[pid=6016] ppid=6014 vsize=277172 CPUtime=4.61 cores=1,3,5,7
/proc/6016/stat : 6016 (strangenight2-m) R 6014 6016 4553 0 -1 4202496 9151 0 0 0 459 2 0 0 19 0 4 0 505363842 283824128 4673 33554432000 4194304 4627427 140735172676704 18446744073709551615 4420208 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6016/statm: 69293 4673 390 106 0 64264 0
[pid=6016/tid=6017] ppid=6014 vsize=277172 CPUtime=1.15 cores=1,3,5,7
/proc/6016/task/6017/stat : 6017 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 1785 0 0 0 115 0 0 0 19 0 4 0 505363842 283824128 4673 33554432000 4194304 4627427 140735172676704 18446744073709551615 4327616 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6016/tid=6018] ppid=6014 vsize=277172 CPUtime=1.14 cores=1,3,5,7
/proc/6016/task/6018/stat : 6018 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 1858 0 0 0 114 0 0 0 19 0 4 0 505363842 283824128 4673 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6016/tid=6019] ppid=6014 vsize=277172 CPUtime=1.14 cores=1,3,5,7
/proc/6016/task/6019/stat : 6019 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 1929 0 0 0 114 0 0 0 19 0 4 0 505363842 283824128 4673 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 277172

[startup+1.50101 s]
/proc/loadavg: 4.93 7.16 7.62 2/173 6016
/proc/meminfo: memFree=29363564/32951124 swapFree=67111348/67111528
[pid=6016] ppid=6014 vsize=278476 CPUtime=5.98 cores=1,3,5,7
/proc/6016/stat : 6016 (strangenight2-m) R 6014 6016 4553 0 -1 4202496 12024 0 0 0 596 2 0 0 20 0 4 0 505363842 285159424 5876 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6016/statm: 69619 5876 390 106 0 64590 0
[pid=6016/tid=6017] ppid=6014 vsize=278476 CPUtime=1.49 cores=1,3,5,7
/proc/6016/task/6017/stat : 6017 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 3385 0 0 0 149 0 0 0 19 0 4 0 505363842 285159424 5876 33554432000 4194304 4627427 140735172676704 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6016/tid=6018] ppid=6014 vsize=278476 CPUtime=1.49 cores=1,3,5,7
/proc/6016/task/6018/stat : 6018 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 2268 0 0 0 149 0 0 0 20 0 4 0 505363842 285159424 5877 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309344 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6016/tid=6019] ppid=6014 vsize=278476 CPUtime=1.48 cores=1,3,5,7
/proc/6016/task/6019/stat : 6019 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 2442 0 0 0 148 0 0 0 20 0 4 0 505363842 285159424 5877 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 278476

[startup+3.10072 s]
/proc/loadavg: 5.26 7.19 7.63 9/184 6058
/proc/meminfo: memFree=29264776/32951124 swapFree=67111348/67111528
[pid=6016] ppid=6014 vsize=283000 CPUtime=12.36 cores=1,3,5,7
/proc/6016/stat : 6016 (strangenight2-m) R 6014 6016 4553 0 -1 4202496 23779 0 0 0 1232 4 0 0 25 0 4 0 505363842 289792000 14384 33554432000 4194304 4627427 140735172676704 18446744073709551615 4332337 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6016/statm: 70750 14384 390 106 0 65721 0
[pid=6016/tid=6017] ppid=6014 vsize=283000 CPUtime=3.09 cores=1,3,5,7
/proc/6016/task/6017/stat : 6017 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 6348 0 0 0 309 0 0 0 25 0 4 0 505363842 289792000 14384 33554432000 4194304 4627427 140735172676704 18446744073709551615 4420268 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6016/tid=6018] ppid=6014 vsize=283000 CPUtime=3.09 cores=1,3,5,7
/proc/6016/task/6018/stat : 6018 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 5774 0 0 0 308 1 0 0 25 0 4 0 505363842 289792000 14384 33554432000 4194304 4627427 140735172676704 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6016/tid=6019] ppid=6014 vsize=283000 CPUtime=3.07 cores=1,3,5,7
/proc/6016/task/6019/stat : 6019 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 5983 0 0 0 306 1 0 0 25 0 4 0 505363842 289792000 14384 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309360 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) 283000

[startup+6.30613 s]
/proc/loadavg: 5.26 7.19 7.63 9/184 6058
/proc/meminfo: memFree=29214856/32951124 swapFree=67111348/67111528
[pid=6016] ppid=6014 vsize=292560 CPUtime=25.17 cores=1,3,5,7
/proc/6016/stat : 6016 (strangenight2-m) R 6014 6016 4553 0 -1 4202496 34166 0 0 0 2511 6 0 0 25 0 4 0 505363842 299581440 18386 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6016/statm: 73140 18386 390 106 0 68111 0
[pid=6016/tid=6017] ppid=6014 vsize=292560 CPUtime=6.29 cores=1,3,5,7
/proc/6016/task/6017/stat : 6017 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 8163 0 0 0 628 1 0 0 25 0 4 0 505363842 299581440 18386 33554432000 4194304 4627427 140735172676704 18446744073709551615 4321499 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6016/tid=6018] ppid=6014 vsize=292560 CPUtime=6.29 cores=1,3,5,7
/proc/6016/task/6018/stat : 6018 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 8506 0 0 0 628 1 0 0 25 0 4 0 505363842 299581440 18386 33554432000 4194304 4627427 140735172676704 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6016/tid=6019] ppid=6014 vsize=292560 CPUtime=6.26 cores=1,3,5,7
/proc/6016/task/6019/stat : 6019 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 8747 0 0 0 625 1 0 0 25 0 4 0 505363842 299581440 18386 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 292560

[startup+12.7009 s]
/proc/loadavg: 5.75 7.24 7.64 9/184 6058
/proc/meminfo: memFree=29177240/32951124 swapFree=67111348/67111528
[pid=6016] ppid=6014 vsize=302904 CPUtime=50.71 cores=1,3,5,7
/proc/6016/stat : 6016 (strangenight2-m) R 6014 6016 4553 0 -1 4202496 50517 0 0 0 5061 10 0 0 25 0 4 0 505363842 310173696 25561 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6016/statm: 75726 25561 390 106 0 70697 0
[pid=6016/tid=6017] ppid=6014 vsize=302904 CPUtime=12.68 cores=1,3,5,7
/proc/6016/task/6017/stat : 6017 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 10686 0 0 0 1267 1 0 0 25 0 4 0 505363842 310173696 25561 33554432000 4194304 4627427 140735172676704 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6016/tid=6018] ppid=6014 vsize=302904 CPUtime=12.69 cores=1,3,5,7
/proc/6016/task/6018/stat : 6018 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 13984 0 0 0 1266 3 0 0 25 0 4 0 505363842 310173696 25561 33554432000 4194304 4627427 140735172676704 18446744073709551615 4420275 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6016/tid=6019] ppid=6014 vsize=302904 CPUtime=12.62 cores=1,3,5,7
/proc/6016/task/6019/stat : 6019 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 13363 0 0 0 1259 3 0 0 25 0 4 0 505363842 310173696 25561 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309100 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) 302904

[startup+25.5006 s]
/proc/loadavg: 6.10 7.26 7.64 9/184 6058
/proc/meminfo: memFree=29130364/32951124 swapFree=67111348/67111528
[pid=6016] ppid=6014 vsize=303372 CPUtime=101.85 cores=1,3,5,7
/proc/6016/stat : 6016 (strangenight2-m) R 6014 6016 4553 0 -1 4202496 75909 0 0 0 10169 16 0 0 25 0 4 0 505363842 310652928 30279 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6016/statm: 75843 30279 390 106 0 70814 0
[pid=6016/tid=6017] ppid=6014 vsize=303372 CPUtime=25.48 cores=1,3,5,7
/proc/6016/task/6017/stat : 6017 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 18881 0 0 0 2545 3 0 0 25 0 4 0 505363842 310652928 30279 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6016/tid=6018] ppid=6014 vsize=303372 CPUtime=25.48 cores=1,3,5,7
/proc/6016/task/6018/stat : 6018 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 19653 0 0 0 2544 4 0 0 25 0 4 0 505363842 310652928 30279 33554432000 4194304 4627427 140735172676704 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6016/tid=6019] ppid=6014 vsize=303372 CPUtime=25.36 cores=1,3,5,7
/proc/6016/task/6019/stat : 6019 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 19136 0 0 0 2532 4 0 0 25 0 4 0 505363842 310652928 30279 33554432000 4194304 4627427 140735172676704 18446744073709551615 4308717 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 303372

[startup+51.1009 s]
/proc/loadavg: 6.75 7.32 7.65 9/184 6059
/proc/meminfo: memFree=29070756/32951124 swapFree=67111348/67111528
[pid=6016] ppid=6014 vsize=316096 CPUtime=204.11 cores=1,3,5,7
/proc/6016/stat : 6016 (strangenight2-m) R 6014 6016 4553 0 -1 4202496 115331 0 0 0 20385 26 0 0 25 0 4 0 505363842 323682304 40421 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309089 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6016/statm: 79024 40421 390 106 0 73995 0
[pid=6016/tid=6017] ppid=6014 vsize=316096 CPUtime=51.08 cores=1,3,5,7
/proc/6016/task/6017/stat : 6017 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 25883 0 0 0 5104 4 0 0 25 0 4 0 505363842 323682304 40421 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6016/tid=6018] ppid=6014 vsize=316096 CPUtime=51.08 cores=1,3,5,7
/proc/6016/task/6018/stat : 6018 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 32536 0 0 0 5101 7 0 0 25 0 4 0 505363842 323682304 40421 33554432000 4194304 4627427 140735172676704 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6016/tid=6019] ppid=6014 vsize=316096 CPUtime=50.83 cores=1,3,5,7
/proc/6016/task/6019/stat : 6019 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 30324 0 0 0 5076 7 0 0 25 0 4 0 505363842 323682304 40421 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309392 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) 316096

[startup+102.3 s]
/proc/loadavg: 7.57 7.45 7.67 9/184 6061
/proc/meminfo: memFree=28990124/32951124 swapFree=67111348/67111528
[pid=6016] ppid=6014 vsize=449784 CPUtime=408.63 cores=1,3,5,7
/proc/6016/stat : 6016 (strangenight2-m) R 6014 6016 4553 0 -1 4202496 184980 0 0 0 40817 46 0 0 25 0 4 0 505363842 460578816 52848 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6016/statm: 112446 52848 390 106 0 107417 0
[pid=6016/tid=6017] ppid=6014 vsize=449784 CPUtime=102.29 cores=1,3,5,7
/proc/6016/task/6017/stat : 6017 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 45742 0 0 0 10219 10 0 0 25 0 4 0 505363842 460578816 52848 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6016/tid=6018] ppid=6014 vsize=449784 CPUtime=102.27 cores=1,3,5,7
/proc/6016/task/6018/stat : 6018 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 49431 0 0 0 10216 11 0 0 25 0 4 0 505363842 460578816 52848 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6016/tid=6019] ppid=6014 vsize=449784 CPUtime=101.75 cores=1,3,5,7
/proc/6016/task/6019/stat : 6019 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 47747 0 0 0 10162 13 0 0 25 0 4 0 505363842 460578816 52848 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 449784

[startup+162.3 s]

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

[pid=6016] ppid=6014 vsize=689152 CPUtime=2805.38 cores=1,3,5,7
/proc/6016/stat : 6016 (strangenight2-m) R 6014 6016 4553 0 -1 4202496 580020 0 0 0 280351 187 0 0 25 0 4 0 505363842 705691648 126898 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6016/statm: 172288 126898 390 106 0 167259 0
[pid=6016/tid=6017] ppid=6014 vsize=689152 CPUtime=702.3 cores=1,3,5,7
/proc/6016/task/6017/stat : 6017 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 150589 0 0 0 70187 43 0 0 25 0 4 0 505363842 705691648 126898 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6016/tid=6018] ppid=6014 vsize=689152 CPUtime=702.23 cores=1,3,5,7
/proc/6016/task/6018/stat : 6018 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 167031 0 0 0 70165 58 0 0 25 0 4 0 505363842 705691648 126898 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6016/tid=6019] ppid=6014 vsize=689152 CPUtime=698.51 cores=1,3,5,7
/proc/6016/task/6019/stat : 6019 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 145528 0 0 0 69805 46 0 0 25 0 4 0 505363842 705691648 126898 33554432000 4194304 4627427 140735172676704 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.38
Current children cumulated vsize (KiB) 689152

[startup+762.301 s]
/proc/loadavg: 8.21 8.04 7.87 9/184 6078
/proc/meminfo: memFree=28423852/32951124 swapFree=67111348/67111528
[pid=6016] ppid=6014 vsize=762692 CPUtime=3045.06 cores=1,3,5,7
/proc/6016/stat : 6016 (strangenight2-m) R 6014 6016 4553 0 -1 4202496 625402 0 0 0 304304 202 0 0 25 0 4 0 505363842 780996608 138067 33554432000 4194304 4627427 140735172676704 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6016/statm: 190673 138067 390 106 0 185644 0
[pid=6016/tid=6017] ppid=6014 vsize=762692 CPUtime=762.31 cores=1,3,5,7
/proc/6016/task/6017/stat : 6017 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 159080 0 0 0 76184 47 0 0 25 0 4 0 505363842 780996608 138067 33554432000 4194304 4627427 140735172676704 18446744073709551615 4427854 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6016/tid=6018] ppid=6014 vsize=762692 CPUtime=762.22 cores=1,3,5,7
/proc/6016/task/6018/stat : 6018 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 177720 0 0 0 76160 62 0 0 25 0 4 0 505363842 780996608 138067 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6016/tid=6019] ppid=6014 vsize=762692 CPUtime=758.18 cores=1,3,5,7
/proc/6016/task/6019/stat : 6019 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 158156 0 0 0 75769 49 0 0 25 0 4 0 505363842 780996608 138067 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.06
Current children cumulated vsize (KiB) 762692

[startup+822.3 s]
/proc/loadavg: 8.12 8.05 7.88 9/184 6082
/proc/meminfo: memFree=28425980/32951124 swapFree=67111348/67111528
[pid=6016] ppid=6014 vsize=750696 CPUtime=3284.73 cores=1,3,5,7
/proc/6016/stat : 6016 (strangenight2-m) R 6014 6016 4553 0 -1 4202496 659489 0 0 0 328258 215 0 0 25 0 4 0 505363842 768712704 129141 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309225 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6016/statm: 187674 129141 390 106 0 182645 0
[pid=6016/tid=6017] ppid=6014 vsize=750696 CPUtime=822.31 cores=1,3,5,7
/proc/6016/task/6017/stat : 6017 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 169668 0 0 0 82180 51 0 0 25 0 4 0 505363842 768712704 129141 33554432000 4194304 4627427 140735172676704 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6016/tid=6018] ppid=6014 vsize=750696 CPUtime=822.21 cores=1,3,5,7
/proc/6016/task/6018/stat : 6018 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 186232 0 0 0 82156 65 0 0 25 0 4 0 505363842 768712704 129141 33554432000 4194304 4627427 140735172676704 18446744073709551615 4324192 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6016/tid=6019] ppid=6014 vsize=750696 CPUtime=817.87 cores=1,3,5,7
/proc/6016/task/6019/stat : 6019 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 163348 0 0 0 81735 52 0 0 25 0 4 0 505363842 768712704 129141 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.73
Current children cumulated vsize (KiB) 750696

[startup+882.3 s]
/proc/loadavg: 8.26 8.12 7.92 9/184 6084
/proc/meminfo: memFree=28368868/32951124 swapFree=67111348/67111528
[pid=6016] ppid=6014 vsize=800136 CPUtime=3524.4 cores=1,3,5,7
/proc/6016/stat : 6016 (strangenight2-m) R 6014 6016 4553 0 -1 4202496 702387 0 0 0 352209 231 0 0 25 0 4 0 505363842 819339264 149705 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309100 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6016/statm: 200034 149705 390 106 0 195005 0
[pid=6016/tid=6017] ppid=6014 vsize=800136 CPUtime=882.31 cores=1,3,5,7
/proc/6016/task/6017/stat : 6017 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 183380 0 0 0 88175 56 0 0 25 0 4 0 505363842 819339264 149705 33554432000 4194304 4627427 140735172676704 18446744073709551615 4420275 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6016/tid=6018] ppid=6014 vsize=800136 CPUtime=882.21 cores=1,3,5,7
/proc/6016/task/6018/stat : 6018 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 195337 0 0 0 88154 67 0 0 25 0 4 0 505363842 819339264 149705 33554432000 4194304 4627427 140735172676704 18446744073709551615 4420130 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6016/tid=6019] ppid=6014 vsize=800136 CPUtime=877.53 cores=1,3,5,7
/proc/6016/task/6019/stat : 6019 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 175230 0 0 0 87696 57 0 0 25 0 4 0 505363842 819339264 149705 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.4
Current children cumulated vsize (KiB) 800136

[startup+942.3 s]
/proc/loadavg: 5.73 7.44 7.69 5/175 6103
/proc/meminfo: memFree=28764464/32951124 swapFree=67111348/67111528
[pid=6016] ppid=6014 vsize=831768 CPUtime=3764.1 cores=1,3,5,7
/proc/6016/stat : 6016 (strangenight2-m) R 6014 6016 4553 0 -1 4202496 724521 0 0 0 376166 244 0 0 25 0 4 0 505363842 851730432 149834 33554432000 4194304 4627427 140735172676704 18446744073709551615 4420275 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6016/statm: 207942 149834 390 106 0 202913 0
[pid=6016/tid=6017] ppid=6014 vsize=831768 CPUtime=942.32 cores=1,3,5,7
/proc/6016/task/6017/stat : 6017 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 188487 0 0 0 94173 59 0 0 25 0 4 0 505363842 851730432 149834 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6016/tid=6018] ppid=6014 vsize=831768 CPUtime=942.21 cores=1,3,5,7
/proc/6016/task/6018/stat : 6018 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 200643 0 0 0 94151 70 0 0 25 0 4 0 505363842 851730432 149834 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6016/tid=6019] ppid=6014 vsize=831768 CPUtime=937.22 cores=1,3,5,7
/proc/6016/task/6019/stat : 6019 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 184403 0 0 0 93659 63 0 0 25 0 4 0 505363842 851730432 149834 33554432000 4194304 4627427 140735172676704 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.1
Current children cumulated vsize (KiB) 831768

[startup+1002.3 s]
/proc/loadavg: 4.67 6.82 7.47 5/175 6105
/proc/meminfo: memFree=28731068/32951124 swapFree=67111348/67111528
[pid=6016] ppid=6014 vsize=904712 CPUtime=4003.77 cores=1,3,5,7
/proc/6016/stat : 6016 (strangenight2-m) R 6014 6016 4553 0 -1 4202496 750921 0 0 0 400118 259 0 0 25 0 4 0 505363842 926425088 158600 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6016/statm: 226178 158600 390 106 0 221149 0
[pid=6016/tid=6017] ppid=6014 vsize=904712 CPUtime=1002.31 cores=1,3,5,7
/proc/6016/task/6017/stat : 6017 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 199662 0 0 0 100164 67 0 0 25 0 4 0 505363842 926425088 158600 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6016/tid=6018] ppid=6014 vsize=904712 CPUtime=1002.21 cores=1,3,5,7
/proc/6016/task/6018/stat : 6018 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 208887 0 0 0 100145 76 0 0 25 0 4 0 505363842 926425088 158600 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6016/tid=6019] ppid=6014 vsize=904712 CPUtime=996.9 cores=1,3,5,7
/proc/6016/task/6019/stat : 6019 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 191203 0 0 0 99626 64 0 0 25 0 4 0 505363842 926425088 158600 33554432000 4194304 4627427 140735172676704 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.77
Current children cumulated vsize (KiB) 904712

[startup+1062.31 s]
/proc/loadavg: 4.24 6.31 7.25 5/175 6106
/proc/meminfo: memFree=28721000/32951124 swapFree=67111348/67111528
[pid=6016] ppid=6014 vsize=852676 CPUtime=4243.5 cores=1,3,5,7
/proc/6016/stat : 6016 (strangenight2-m) R 6014 6016 4553 0 -1 4202496 772571 0 0 0 424076 274 0 0 25 0 4 0 505363842 873140224 160711 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309360 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6016/statm: 213169 160711 390 106 0 208140 0
[pid=6016/tid=6017] ppid=6014 vsize=852676 CPUtime=1062.32 cores=1,3,5,7
/proc/6016/task/6017/stat : 6017 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 205107 0 0 0 106160 72 0 0 25 0 4 0 505363842 873140224 160711 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6016/tid=6018] ppid=6014 vsize=852676 CPUtime=1062.21 cores=1,3,5,7
/proc/6016/task/6018/stat : 6018 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 213396 0 0 0 106143 78 0 0 25 0 4 0 505363842 873140224 160711 33554432000 4194304 4627427 140735172676704 18446744073709551615 4420154 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6016/tid=6019] ppid=6014 vsize=852676 CPUtime=1056.6 cores=1,3,5,7
/proc/6016/task/6019/stat : 6019 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 193896 0 0 0 105594 66 0 0 25 0 4 0 505363842 873140224 160711 33554432000 4194304 4627427 140735172676704 18446744073709551615 4327592 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.5
Current children cumulated vsize (KiB) 852676

[startup+1122.3 s]
/proc/loadavg: 4.09 5.89 7.04 5/175 6108
/proc/meminfo: memFree=28713520/32951124 swapFree=67111348/67111528
[pid=6016] ppid=6014 vsize=772028 CPUtime=4483.18 cores=1,3,5,7
/proc/6016/stat : 6016 (strangenight2-m) R 6014 6016 4553 0 -1 4202496 800955 0 0 0 448028 290 0 0 25 0 4 0 505363842 790556672 162857 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6016/statm: 193007 162857 390 106 0 187978 0
[pid=6016/tid=6017] ppid=6014 vsize=772028 CPUtime=1122.31 cores=1,3,5,7
/proc/6016/task/6017/stat : 6017 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 214720 0 0 0 112154 77 0 0 25 0 4 0 505363842 790556672 162857 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6016/tid=6018] ppid=6014 vsize=772028 CPUtime=1122.22 cores=1,3,5,7
/proc/6016/task/6018/stat : 6018 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 214648 0 0 0 112143 79 0 0 25 0 4 0 505363842 790556672 162857 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6016/tid=6019] ppid=6014 vsize=772028 CPUtime=1116.28 cores=1,3,5,7
/proc/6016/task/6019/stat : 6019 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 203623 0 0 0 111556 72 0 0 25 0 4 0 505363842 790556672 162857 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.18
Current children cumulated vsize (KiB) 772028

[startup+1182.3 s]
/proc/loadavg: 4.14 5.57 6.86 5/175 6109
/proc/meminfo: memFree=28641064/32951124 swapFree=67111348/67111528
[pid=6016] ppid=6014 vsize=1085268 CPUtime=4722.85 cores=1,3,5,7
/proc/6016/stat : 6016 (strangenight2-m) R 6014 6016 4553 0 -1 4202496 829181 0 0 0 471980 305 0 0 25 0 4 0 505363842 1111314432 180896 33554432000 4194304 4627427 140735172676704 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6016/statm: 271317 180896 390 106 0 266288 0
[pid=6016/tid=6017] ppid=6014 vsize=1085268 CPUtime=1182.32 cores=1,3,5,7
/proc/6016/task/6017/stat : 6017 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 224036 0 0 0 118149 83 0 0 25 0 4 0 505363842 1111314432 180896 33554432000 4194304 4627427 140735172676704 18446744073709551615 4324341 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6016/tid=6018] ppid=6014 vsize=1085268 CPUtime=1182.21 cores=1,3,5,7
/proc/6016/task/6018/stat : 6018 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 222598 0 0 0 118139 82 0 0 25 0 4 0 505363842 1111314432 180896 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6016/tid=6019] ppid=6014 vsize=1085268 CPUtime=1175.96 cores=1,3,5,7
/proc/6016/task/6019/stat : 6019 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 212477 0 0 0 117518 78 0 0 25 0 4 0 505363842 1111314432 180896 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.85
Current children cumulated vsize (KiB) 1085268



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 4.10 5.47 6.80 5/175 6110
/proc/meminfo: memFree=28677872/32951124 swapFree=67111348/67111528
[pid=6016] ppid=6014 vsize=897160 CPUtime=4800.37 cores=1,3,5,7
/proc/6016/stat : 6016 (strangenight2-m) R 6014 6016 4553 0 -1 4202496 836386 0 0 0 479727 310 0 0 25 0 4 0 505363842 918691840 171551 33554432000 4194304 4627427 140735172676704 18446744073709551615 4420161 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6016/statm: 224290 171551 390 106 0 219261 0
[pid=6016/tid=6017] ppid=6014 vsize=897160 CPUtime=1201.72 cores=1,3,5,7
/proc/6016/task/6017/stat : 6017 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 227265 0 0 0 120088 84 0 0 25 0 4 0 505363842 918691840 171551 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6016/tid=6018] ppid=6014 vsize=897160 CPUtime=1201.62 cores=1,3,5,7
/proc/6016/task/6018/stat : 6018 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 226288 0 0 0 120077 85 0 0 25 0 4 0 505363842 918691840 171551 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6016/tid=6019] ppid=6014 vsize=897160 CPUtime=1195.26 cores=1,3,5,7
/proc/6016/task/6019/stat : 6019 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 212763 0 0 0 119447 79 0 0 25 0 4 0 505363842 918691840 171551 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 897160

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

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

[startup+1201.7 s]
/proc/loadavg: 4.10 5.47 6.80 5/175 6110
/proc/meminfo: memFree=28677872/32951124 swapFree=67111348/67111528
[pid=6016] ppid=6014 vsize=897160 CPUtime=4800.37 cores=1,3,5,7
/proc/6016/stat : 6016 (strangenight2-m) R 6014 6016 4553 0 -1 4202496 836386 0 0 0 479727 310 0 0 25 0 4 0 505363842 918691840 171551 33554432000 4194304 4627427 140735172676704 18446744073709551615 4420161 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6016/statm: 224290 171551 390 106 0 219261 0
[pid=6016/tid=6017] ppid=6014 vsize=897160 CPUtime=1201.72 cores=1,3,5,7
/proc/6016/task/6017/stat : 6017 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 227265 0 0 0 120088 84 0 0 25 0 4 0 505363842 918691840 171551 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6016/tid=6018] ppid=6014 vsize=897160 CPUtime=1201.62 cores=1,3,5,7
/proc/6016/task/6018/stat : 6018 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 226288 0 0 0 120077 85 0 0 25 0 4 0 505363842 918691840 171551 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6016/tid=6019] ppid=6014 vsize=897160 CPUtime=1195.26 cores=1,3,5,7
/proc/6016/task/6019/stat : 6019 (strangenight2-m) R 6014 6016 4553 0 -1 4202560 212763 0 0 0 119447 79 0 0 25 0 4 0 505363842 918691840 171551 33554432000 4194304 4627427 140735172676704 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 897160

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.43
CPU user time (s): 4797.29
CPU system time (s): 3.13452
CPU usage (%): 399.455
Max. virtual memory (cumulated for all children) (KiB): 1085268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.29
system time used= 3.13452
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 836386
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= 333
involuntary context switches= 32822

runsolver used 1.89571 second user time and 4.5963 second system time

The end

Launcher Data 

Begin job on node142 at 2011-04-30 04:11:24
IDJOB=3265543
IDBENCH=85780
IDSOLVER=1586
FILE ID=node142/3265543-1304129484
RUNJOBID= node142-1304129483-6002
PBS_JOBID= 13170747
Free space on /tmp= 73324 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT05/crafted/markstrom05/eulcbip/eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3265543-1304129484/watcher-3265543-1304129484 -o /tmp/evaluation-result-3265543-1304129484/solver-3265543-1304129484 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3265543-1304129484.cnf

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

MD5SUM BENCH= 151ccdb2c52c7f525fde5dca388bb6e6
RANDOM SEED=2019390882

node142.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.846
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.69
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.846
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	: 5131.95
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.846
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.846
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.67
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.846
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.81
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.846
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.846
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.82
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.846
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:      29365332 kB
Buffers:       1081344 kB
Cached:        1945756 kB
SwapCached:        176 kB
Active:         161976 kB
Inactive:      2929268 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29365332 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            7100 kB
Writeback:           0 kB
AnonPages:       64288 kB
Mapped:          14476 kB
Slab:           431920 kB
PageTables:       4340 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187476 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= 73316 MiB
End job on node142 at 2011-04-30 04:31:27