Trace number 3175446

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-1-mt? (TO) 4800.4 1201.74

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v800-c3408-S846876765-035.SATISFIABLE.cnf
MD5SUM0d5f032713ed63748b72ef45ba69a269
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.05599
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of clauses3408
Sum of the clauses size10224
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 33408
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175446-1304124203.cnf'
0.00/0.00	c -- header says num vars:            800
0.00/0.00	c -- header says num clauses:        3408
0.00/0.10	c -- clauses added:            0 learnts,         3408 normals,            0 xors
0.00/0.10	c -- vars added        800
0.00/0.10	c Parsing time:  0.01 s
0.00/0.10	c  N st     0         0       800      3408         0         0     10224         0   no data   no data  --
0.00/0.10	c asymm  cl-useful: 0/3408/3408 lits-rem:0 time: 0.01
0.00/0.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    800 time:  0.00 s
0.00/0.10	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.10	c lits-rem:         0  cl-subs:        0  v-elim:     28  v-fix:    0  time:  0.02 s
0.00/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:     366 undec:      87 neg:     347
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.10	c  B st     0         0       772      3368         0         0     10246         0   no data   no data  --
0.00/0.10	c Decided on static restart strategy
0.40/0.19	c  N st     8      4920       772      3368         0      4889     10246    170180   no data   no data  --
1.57/0.49	c  N st    10     11302       772      3368         0      4539     10246    102602   no data   no data  --
3.17/0.82	c  N st    11     17049       772      3368         0     10198     10246    299029   no data   no data  --
4.80/1.29	c  F st    12     25001       772      3368         0     12483     10246    360396   no data   no data  --
4.80/1.29	c  N st    12     25001       772      3368         0     12483     10246    360396   no data   no data  --
5.97/1.56	c  N dy    18     30000       772      3368         0     10743     10246    287022   no data   no data  --
5.97/1.56	c  S st    18     30000       772      3368         0     10743     10246    287022   no data   no data  --
5.97/1.59	c  S st    18     30503       772      3368         0     11246     10246    301419   no data   no data  --
5.97/1.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
6.37/1.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.02
6.37/1.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6.37/1.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.37/1.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
6.37/1.61	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
7.57/1.98	c lits-rem:       133  cl-subs:      314  v-elim:      0  v-fix:    0  time:  1.47 s
7.57/1.99	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.04
7.57/1.99	c calculated reachability. Time: 0.00
7.57/1.99	c  N dy    18     30503       772      3368         0     10932     10246    288066   no data   no data  --
8.78/2.24	c  N dy    29     34603       772      3368         0     15005     10246    419780     22.50     23.95  --
9.56/2.47	c  N dy    39     38773       772      3368         0     11308     10246    229677     21.48     22.74  --
10.76/2.72	c  N dy    60     42860       772      3368         0     15377     10246    359109     21.54     23.39  --
11.56/2.92	c  S st    78     45755       772      3368         0      9351     10246    129755     21.68   no data  --
11.56/2.95	c  S st    78     46261       772      3368         0      9857     10246    144251     21.68   no data  --
11.56/2.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.56/2.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.56/2.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
11.56/2.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.56/2.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.56/2.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
11.56/2.96	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
11.96/3.07	c lits-rem:        28  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.45 s
11.96/3.07	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
11.96/3.07	c vivif2 --  cl tried     9853 cl shrink        0 lits rem          0 time: 0.01
11.96/3.08	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.03
11.96/3.08	c calculated reachability. Time: 0.00
11.96/3.08	c  N dy    78     46261       772      3368         0      9853     10246    144080     21.68   no data  --
13.18/3.31	c  N dy    88     50323       772      3368         0     13890     10246    271557     21.55     22.77  --
14.35/3.61	c  N dy    99     54725       772      3368         0     18263     10246    409640     21.28     22.61  --
15.15/3.88	c  N dy   119     58739       772      3368         0     12341     10246    193724     21.31     22.49  --
16.36/4.13	c  N dy   142     62787       772      3368         0     16362     10246    321068     21.42     22.60  --
17.57/4.44	c  N dy   162     66851       772      3368         0     20403     10246    450128     21.44     22.92  --
18.35/4.63	c  S st   177     69391       772      3368         0     12000     10246    152790     21.46   no data  --
18.35/4.67	c  S st   177     69893       772      3368         0     12502     10246    167494     21.46   no data  --
18.35/4.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
18.35/4.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.35/4.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
18.35/4.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
18.35/4.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.35/4.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
18.35/4.68	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
19.15/4.86	c lits-rem:        33  cl-subs:       15  v-elim:      0  v-fix:    0  time:  0.74 s
19.15/4.86	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
19.15/4.86	c vivif2 --  cl tried    12487 cl shrink        0 lits rem          0 time: 0.01
19.15/4.87	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.04
19.15/4.88	c calculated reachability. Time: 0.00
19.15/4.88	c  N dy   177     69893       772      3368         0     12487     10246    166904     21.46   no data  --
20.35/5.17	c  N dy   198     74430       772      3368         0     16998     10246    312884     21.45     22.91  --
22.36/5.65	c  N dy   233     80172       772      3368         0     22711     10246    495979     21.57     23.32  --
23.95/6.02	c  N dy   253     85626       772      3368         0     16212     10246    259942     21.57     22.90  --
24.35/6.15	c  F st   261     87501       772      3368         0     18080     10246    320381     21.56     21.20  --
25.94/6.56	c Decided on static restart strategy
25.94/6.56	c  N st   267     92693       772      3368         0     23241     10246    495277     21.56   no data  --
28.34/7.13	c  N st   269     99805       772      3368         0     17361     10246    452044     21.56   no data  --
29.94/7.56	c  S st   270    104839       772      3368         0     22355     10246    621298     21.56   no data  --
30.34/7.62	c  S st   270    105341       772      3368         0     22857     10246    635079     21.56   no data  --
30.34/7.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
30.34/7.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
30.34/7.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.04
30.34/7.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
30.34/7.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
30.34/7.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
30.34/7.65	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
38.72/9.77	c lits-rem:       457  cl-subs:      491  v-elim:      0  v-fix:    0  time:  8.47 s
38.72/9.77	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
38.72/9.78	c vivif2 --  cl tried    22366 cl shrink        0 lits rem          0 time: 0.03
39.13/9.80	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.09
39.13/9.80	c calculated reachability. Time: 0.00
39.13/9.80	c  N st   270    105341       772      3368         0     22366     10246    613804     21.56   no data  --
42.32/10.69	c  N st   271    114939       772      3368         0     17998     10246    404434     21.56   no data  --
47.91/12.02	c  N st   272    129338       772      3368         0     17362     10246    394055     21.56   no data  --
55.90/14.09	c  N st   273    150935       772      3368         0     22877     10246    523989     21.56   no data  --
58.69/14.76	c  S st   274    158011       772      3368         0     29862     10246    760300     21.56   no data  --
59.09/14.83	c  S st   274    158516       772      3368         0     30367     10246    775501     21.56   no data  --
59.09/14.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
59.09/14.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
59.09/14.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
59.09/14.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
59.09/14.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
59.09/14.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
59.09/14.87	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
68.28/17.10	c lits-rem:       846  cl-subs:      885  v-elim:      0  v-fix:    0  time:  8.89 s
68.28/17.10	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
68.28/17.11	c vivif2 --  cl tried    29482 cl shrink        0 lits rem          0 time: 0.03
68.28/17.13	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.11
68.28/17.13	c calculated reachability. Time: 0.00
68.28/17.13	c  N st   274    158516       772      3368         0     29482     10246    742717     21.56   no data  --
92.27/23.13	c  N st   275    207105       772      3368         0     24189     10246    545061     21.56   no data  --
107.83/27.01	c  N st   276    237775       772      3368         0     34767     10246    865131     21.56   no data  --
107.83/27.01	c  S st   276    237775       772      3368         0     34767     10246    865131     21.56   no data  --
108.23/27.10	c  S st   276    238275       772      3368         0     35267     10246    880892     21.56   no data  --
108.23/27.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
108.23/27.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
108.23/27.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.06
108.23/27.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
108.23/27.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
108.23/27.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
108.23/27.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
118.21/29.68	c lits-rem:       755  cl-subs:      696  v-elim:      0  v-fix:    0  time: 10.12 s
118.21/29.68	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
118.21/29.69	c vivif2 --  cl tried    34571 cl shrink        0 lits rem          0 time: 0.04
118.63/29.73	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.14
118.63/29.73	c calculated reachability. Time: 0.00
118.63/29.73	c  N st   276    238275       772      3368         0     34571     10246    854323     21.56   no data  --
155.36/38.96	c  F st   277    306251       772      3368         0     36479     10246    842853     21.56   no data  --
155.36/38.96	c  N st   277    306251       772      3368         0     36479     10246    842853     21.56   no data  --
158.18/39.64	c Decided on static restart strategy
169.34/42.42	c  N st   287    334553       772      3368         0     40755     10246    999114     21.56   no data  --
181.33/45.42	c  N st   289    357413       772      3368         0     38718     10246    872017     21.56   no data  --
181.33/45.42	c  S st   289    357413       772      3368         0     38718     10246    872017     21.56   no data  --
181.73/45.51	c  S st   289    357917       772      3368         0     39220     10246    888093     21.56   no data  --
181.73/45.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
181.73/45.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
181.73/45.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
181.73/45.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
181.73/45.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
181.73/45.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
181.73/45.55	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
191.31/47.99	c lits-rem:       571  cl-subs:      723  v-elim:      0  v-fix:    0  time:  9.72 s
191.31/47.99	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
191.72/48.00	c vivif2 --  cl tried    38497 cl shrink        0 lits rem          0 time: 0.04
191.72/48.04	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.16
191.72/48.04	c calculated reachability. Time: 0.00
191.72/48.04	c  N st   289    357917       772      3368         0     38497     10246    856522     21.56   no data  --
210.49/52.77	c  N st   290    390309       772      3368         0     44856     10246   1086456     21.56   no data  --
237.27/59.47	c  N st   291    438897       772      3368         0     38425     10246    793544     21.56   no data  --
281.61/70.57	c  N st   292    511779       772      3368         0     51972     10246   1209516     21.56   no data  --
295.97/74.10	c  N st   293    536875       772      3368         0     46118     10246    954762     21.56   no data  --
295.97/74.10	c  S st   293    536875       772      3368         0     46118     10246    954762     21.56   no data  --
296.38/74.21	c  S st   293    537375       772      3368         0     46617     10246    969554     21.56   no data  --
296.38/74.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
296.38/74.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
296.38/74.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.08
296.38/74.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
296.38/74.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
296.38/74.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
296.38/74.26	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
307.58/77.05	c lits-rem:      2007  cl-subs:     1116  v-elim:      0  v-fix:    0  time: 11.10 s
307.58/77.05	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
307.58/77.06	c vivif2 --  cl tried    45501 cl shrink        0 lits rem          0 time: 0.04
307.98/77.10	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.18
307.98/77.10	c calculated reachability. Time: 0.00
307.98/77.10	c  N st   293    537375       772      3368         0     45501     10246    925190     21.56   no data  --
428.60/107.35	c  N st   294    701361       772      3368         0     39645     10246    612845     21.56   no data  --
514.10/128.74	c  N st   295    806063       772      3368         0     68942     10246   1679974     21.56   no data  --
514.10/128.74	c  S st   295    806063       772      3368         0     68942     10246   1679974     21.56   no data  --
514.88/128.93	c  S st   295    806565       772      3368         0     69443     10246   1694454     21.56   no data  --
514.88/128.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
514.88/128.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
514.88/128.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.14
515.28/129.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
515.28/129.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
515.28/129.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
515.28/129.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
538.05/134.70	c lits-rem:       329  cl-subs:     2378  v-elim:      0  v-fix:    0  time: 22.68 s
538.05/134.70	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
538.05/134.72	c vivif2 --  cl tried    67065 cl shrink        0 lits rem          0 time: 0.08
538.45/134.82	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.38
538.45/134.82	c calculated reachability. Time: 0.00
538.45/134.82	c  N st   295    806565       772      3368         0     67065     10246   1596563     21.56   no data  --
783.73/196.20	c  F st   296   1071877       772      3368         0     83252     10246   2191430     21.56   no data  --
783.73/196.20	c  N st   296   1071877       772      3368         0     83252     10246   2191430     21.56   no data  --
801.70/200.78	c  N dy   388   1092064       772      3368         0     58848     10246    972365     21.69     22.89  --
823.27/206.18	c  N dy   484   1112504       772      3368         0     79164     10246   1634625     21.75     23.04  --
846.04/211.89	c  N dy   578   1132579       772      3368         0     53497     10246    726903     21.75     22.96  --
865.63/216.71	c  N dy   677   1152605       772      3368         0     73387     10246   1371708     21.80     22.97  --
893.58/223.74	c  N dy   767   1172688       772      3368         0     46709     10246    455372     21.78     23.39  --
910.36/227.93	c  N dy   866   1192740       772      3368         0     66653     10246   1101038     21.83     23.07  --
930.32/232.90	c  S st   955   1209847       772      3368         0     83684     10246   1659532     21.87   no data  --
931.12/233.13	c  S st   955   1210347       772      3368         0     84184     10246   1674486     21.87   no data  --
931.12/233.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
931.12/233.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
931.12/233.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.17
931.54/233.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
931.54/233.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
931.54/233.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
931.54/233.24	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
942.71/236.04	c lits-rem:       347  cl-subs:      628  v-elim:      0  v-fix:    0  time: 11.19 s
942.71/236.04	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
942.71/236.06	c vivif2 --  cl tried    83556 cl shrink        0 lits rem          0 time: 0.08
943.11/236.18	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.48
943.11/236.18	c calculated reachability. Time: 0.00
943.11/236.18	c  N dy   955   1210347       772      3368         0     83556     10246   1649105     21.87   no data  --
965.48/241.77	c  N dy  1032   1230441       772      3368         0     55824     10246    706104     21.85     23.03  --
990.64/248.00	c  N dy  1126   1254849       772      3368         0     80077     10246   1490398     21.85     23.03  --
1023.82/256.33	c  N dy  1188   1284368       772      3368         0     60686     10246    814041     21.71     23.27  --
1044.98/261.67	c  N dy  1272   1304438       772      3368         0     80624     10246   1446122     21.69     23.10  --
1072.16/268.42	c  N dy  1354   1324866       772      3368         0     51267     10246    491723     21.69     23.02  --
1089.73/272.86	c  N dy  1417   1344916       772      3368         0     71166     10246   1132888     21.63     22.97  --
1115.68/279.40	c  N dy  1528   1365399       772      3368         0     91510     10246   1785886     21.67     23.10  --
1137.65/284.90	c  N dy  1597   1385466       772      3368         0     60806     10246    763892     21.65     23.02  --
1158.82/290.10	c  N dy  1665   1406279       772      3368         0     81461     10246   1424564     21.63     22.80  --
1187.58/297.31	c  N dy  1784   1426421       772      3368         0    101480     10246   2069834     21.67     23.01  --
1206.76/302.18	c  N dy  1899   1446455       772      3368         0     69744     10246   1026278     21.72     23.08  --
1230.75/308.20	c  N dy  1976   1466678       772      3368         0     89828     10246   1673401     21.71     22.88  --
1258.29/315.00	c  N dy  2072   1486690       772      3368         0     57090     10246    590844     21.73     25.64  --
1278.26/320.07	c  N dy  2181   1506894       772      3368         0     77145     10246   1236571     21.75     22.97  --
1306.62/327.17	c  N dy  2303   1526960       772      3368         0     97106     10246   1884158     21.79     23.20  --
1331.41/333.34	c  N dy  2382   1547121       772      3368         0     63458     10246    756787     21.79     22.98  --
1352.96/338.71	c  N dy  2450   1567460       772      3368         0     83636     10246   1409051     21.77     23.02  --
1380.52/345.63	c  N dy  2521   1587595       772      3368         0    103638     10246   2053821     21.77     23.62  --
1403.28/351.36	c  N dy  2654   1607625       772      3368         0     68948     10246    915167     21.81     22.97  --
1427.26/357.38	c  N dy  2784   1627700       772      3368         0     88900     10246   1570642     21.85     23.09  --
1459.23/365.40	c  N dy  2896   1647811       772      3368         0    108877     10246   2214163     21.87     23.20  --
1481.59/370.95	c  N dy  3013   1667863       772      3368         0     73177     10246   1015041     21.90     23.17  --
1507.17/377.33	c  N dy  3120   1688160       772      3368         0     93320     10246   1668932     21.92     23.09  --
1542.32/386.15	c  N dy  3232   1708507       772      3368         0     56903     10246    455118     21.93     23.15  --
1543.91/386.53	c  S st  3246   1710348       772      3368         0     58738     10246    516582     21.94   no data  --
1544.31/386.65	c  S st  3246   1710850       772      3368         0     59240     10246    533528     21.94   no data  --
1544.31/386.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1544.31/386.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1544.31/386.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
1544.71/386.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1544.71/386.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1544.71/386.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
1544.71/386.70	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1552.69/388.77	c lits-rem:       148  cl-subs:       32  v-elim:      0  v-fix:    0  time:  8.25 s
1552.69/388.77	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
1552.69/388.78	c vivif2 --  cl tried    59208 cl shrink        0 lits rem          0 time: 0.03
1553.09/388.84	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.24
1553.09/388.84	c calculated reachability. Time: 0.00
1553.09/388.84	c  N dy  3246   1710850       772      3368         0     59208     10246    532324     21.94   no data  --
1573.86/394.05	c  N dy  3334   1731904       772      3368         0     80114     10246   1208101     21.94     23.10  --
1600.62/400.78	c  N dy  3393   1752152       772      3368         0    100202     10246   1839723     21.92     23.23  --
1636.17/409.64	c  N dy  3484   1772410       772      3368         0     62706     10246    617370     21.92     23.30  --
1662.54/416.29	c  N dy  3573   1793483       772      3368         0     83626     10246   1301135     21.92     23.28  --
1690.10/423.12	c  N dy  3639   1813713       772      3368         0    103717     10246   1956377     21.92     23.13  --
1719.27/430.43	c  N dy  3731   1833788       772      3368         0     65046     10246    668325     21.92     24.47  --
1743.24/436.41	c  N dy  3816   1854926       772      3368         0     86030     10246   1341647     21.92     23.34  --
1772.79/443.83	c  N dy  3913   1874942       772      3368         0    105918     10246   1987633     21.93     23.77  --
1799.56/450.57	c  N dy  3930   1895027       772      3368         0     66217     10246    680998     21.87     23.62  --
1822.33/456.21	c  N dy  4035   1915411       772      3368         0     86465     10246   1339336     21.88     23.06  --
1851.49/463.53	c  N dy  4123   1935540       772      3368         0    106461     10246   1988167     21.89     23.14  --
1885.84/472.17	c  N dy  4235   1958371       772      3368         0     68584     10246    725407     21.90     23.42  --
1950.56/488.37	c  N dy  4310   2006877       772      3368         0    116534     10246   2229275     21.80     23.10  --
1977.74/495.12	c  N dy  4455   2026881       772      3368         0     74977     10246    909967     21.83     24.55  --
2002.50/501.34	c  N dy  4522   2047484       772      3368         0     95441     10246   1573078     21.82     22.97  --
2034.86/509.47	c  N dy  4614   2067584       772      3368         0    115376     10246   2213762     21.83     25.45  --
2064.00/516.78	c  N dy  4714   2087623       772      3368         0     72774     10246    802704     21.83     23.45  --
2089.58/523.14	c  N dy  4839   2107648       772      3368         0     92672     10246   1452216     21.86     23.19  --
2120.33/530.86	c  N dy  4902   2127975       772      3368         0    112814     10246   2097841     21.85     23.09  --
2155.89/539.76	c  N dy  4989   2151049       772      3368         0     72189     10246    751052     21.84     23.02  --
2183.05/546.52	c  N dy  5098   2172948       772      3368         0     93954     10246   1470753     21.85     23.31  --
2213.01/554.06	c  N dy  5163   2193253       772      3368         0    114077     10246   2121675     21.85     23.00  --
2246.56/562.43	c  S st  5275   2210851       772      3368         0     67069     10246    566125     21.86   no data  --
2246.96/562.59	c  S st  5275   2211356       772      3368         0     67574     10246    583259     21.86   no data  --
2246.96/562.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2246.96/562.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2247.36/562.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
2247.36/562.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2247.36/562.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2247.36/562.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
2247.36/562.64	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2256.55/564.98	c lits-rem:       187  cl-subs:       49  v-elim:      0  v-fix:    0  time:  9.31 s
2256.55/564.98	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
2256.55/564.98	c vivif2 --  cl tried    67525 cl shrink        0 lits rem          0 time: 0.04
2256.95/565.06	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.29
2256.95/565.06	c calculated reachability. Time: 0.00
2256.95/565.06	c  N dy  5275   2211356       772      3368         0     67525     10246    581280     21.86   no data  --
2279.72/570.79	c  N dy  5372   2231709       772      3368         0     87729     10246   1229136     21.87     23.24  --
2311.30/578.62	c  N dy  5466   2251768       772      3368         0    107651     10246   1867551     21.87     23.17  --
2354.02/589.37	c  N dy  5585   2271861       772      3368         0    127611     10246   2519835     21.89     23.29  --
2379.59/595.75	c  N dy  5682   2291972       772      3368         0     82086     10246   1021396     21.89     23.05  --
2407.55/602.72	c  N dy  5772   2312018       772      3368         0    102003     10246   1666420     21.90     27.84  --
2441.90/611.30	c  N dy  5875   2332092       772      3368         0    121927     10246   2309800     21.90     23.09  --
2475.06/619.68	c  N dy  5954   2353992       772      3368         0     77110     10246    829687     21.90     23.07  --
2501.82/626.38	c  N dy  6057   2374776       772      3368         0     97781     10246   1517518     21.91     23.08  --
2540.57/636.02	c  N dy  6172   2397382       772      3368         0    120220     10246   2252626     21.92     23.30  --
2590.90/648.63	c  N dy  6239   2432398       772      3368         0     87371     10246   1127990     21.89     23.21  --
2623.28/656.70	c  N dy  6338   2454726       772      3368         0    109508     10246   1852524     21.89     23.07  --
2662.01/666.45	c  N dy  6453   2474815       772      3368         0    129462     10246   2499272     21.90     25.49  --
2691.96/673.98	c  N dy  6537   2496424       772      3368         0     82461     10246    957982     21.91     23.07  --
2720.35/681.02	c  N dy  6639   2516462       772      3368         0    102380     10246   1604375     21.91     26.08  --
2754.28/689.59	c  N dy  6729   2536678       772      3368         0    122455     10246   2252435     21.91     23.17  --
2792.24/699.04	c  N dy  6831   2556894       772      3368         0     73038     10246    624570     21.92     23.13  --
2816.20/705.08	c  N dy  6902   2576961       772      3368         0     92958     10246   1258121     21.92     23.41  --
2847.78/712.95	c  N dy  7018   2596987       772      3368         0    112848     10246   1913993     21.93     26.99  --
2886.50/722.65	c  N dy  7104   2617610       772      3368         0    133262     10246   2566343     21.93     23.10  --
2918.46/730.61	c  N dy  7224   2638170       772      3368         0     83230     10246    933556     21.94     23.42  --
2971.19/743.85	c  N dy  7297   2673769       772      3368         0    118382     10246   2041382     21.91     23.13  --
3011.54/753.93	c  N dy  7381   2694702       772      3368         0    139151     10246   2722764     21.91     23.29  --
3035.90/760.05	c  S st  7463   2711358       772      3368         0     84317     10246    948117     21.92     21.42  --
3036.72/760.26	c  S st  7463   2711859       772      3368         0     84817     10246    963968     21.92   no data  --
3036.72/760.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3036.72/760.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3037.10/760.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.16
3037.10/760.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3037.10/760.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3037.10/760.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
3037.10/760.34	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3051.48/763.94	c lits-rem:       918  cl-subs:      421  v-elim:      0  v-fix:    0  time: 14.38 s
3051.48/763.94	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
3051.48/763.95	c vivif2 --  cl tried    84396 cl shrink        0 lits rem          0 time: 0.06
3051.88/764.06	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.41
3051.88/764.06	c calculated reachability. Time: 0.00
3051.88/764.06	c  N dy  7463   2711859       772      3368         0     84396     10246    948223     21.92   no data  --
3081.84/771.53	c  N dy  7568   2731912       772      3368         0    104337     10246   1599080     21.92     24.45  --
3118.20/780.68	c  N dy  7661   2751990       772      3368         0    124237     10246   2242941     21.93     23.73  --
3165.73/792.52	c  N dy  7766   2774865       772      3368         0     74502     10246    591478     21.93     23.38  --
3190.12/798.63	c  N dy  7859   2794910       772      3368         0     94400     10246   1243774     21.94     27.82  --
3220.88/806.33	c  N dy  7959   2814928       772      3368         0    114268     10246   1896019     21.95     23.40  --
3259.21/815.95	c  N dy  8054   2834950       772      3368         0    134163     10246   2545262     21.95     23.14  --
3298.36/825.74	c  N dy  8185   2855006       772      3368         0     80652     10246    773594     21.97     24.53  --
3325.92/832.64	c  N dy  8293   2875415       772      3368         0    100912     10246   1433711     21.98     23.17  --
3360.67/841.39	c  N dy  8381   2895829       772      3368         0    121145     10246   2083621     21.98     23.29  --
3403.42/852.08	c  N dy  8471   2917434       772      3368         0    142593     10246   2785049     21.98     23.16  --
3440.98/861.42	c  N dy  8548   2943059       772      3368         0     93575     10246   1152746     21.97     23.18  --
3472.92/869.44	c  N dy  8649   2963350       772      3368         0    113720     10246   1816732     21.98     23.25  --
3512.07/879.25	c  N dy  8775   2983360       772      3368         0    133611     10246   2481703     21.99     27.28  --
3556.81/890.44	c  N dy  8873   3004575       772      3368         0     79226     10246    669281     22.00     23.17  --
3582.77/896.96	c  N dy  8977   3024722       772      3368         0     99217     10246   1329249     22.01     23.64  --
3616.75/905.44	c  N dy  9094   3044823       772      3368         0    119189     10246   1987548     22.02     23.32  --
3657.07/915.55	c  N dy  9189   3065082       772      3368         0    139310     10246   2648463     22.02     23.25  --
3700.24/926.36	c  N dy  9312   3087380       772      3368         0     84985     10246    834190     22.03     23.21  --
3728.98/933.50	c  N dy  9427   3107428       772      3368         0    104904     10246   1494288     22.04     23.36  --
3776.52/945.42	c  N dy  9509   3135392       772      3368         0    132591     10246   2378007     22.03     23.21  --
3819.66/956.23	c  N dy  9606   3155435       772      3368         0    152489     10246   3035785     22.04     23.35  --
3849.23/963.61	c  N dy  9712   3175514       772      3368         0     95057     10246   1138534     22.04     23.24  --
3886.77/973.06	c  N dy  9818   3195582       772      3368         0    114962     10246   1787255     22.05     23.76  --
3923.94/982.35	c  S st  9874   3211860       772      3368         0    131120     10246   2311002     22.05     19.63  --
3925.51/982.80	c  S st  9874   3212363       772      3368         0    131621     10246   2327049     22.05   no data  --
3925.91/982.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3925.91/982.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3926.31/982.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.36
3926.31/982.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3926.31/982.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3926.31/982.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
3926.31/982.98	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3971.46/994.26	c lits-rem:       122  cl-subs:     1483  v-elim:      0  v-fix:    0  time: 45.03 s
3971.46/994.26	c vivif2 --  cl tried     3368 cl shrink        0 lits rem          0 time: 0.00
3971.46/994.29	c vivif2 --  cl tried   130138 cl shrink        0 lits rem          0 time: 0.12
3972.67/994.52	c asymm  cl-useful: 0/3368/3368 lits-rem:0 time: 0.90
3972.67/994.52	c calculated reachability. Time: 0.00
3972.67/994.52	c  N dy  9874   3212363       772      3368         0    130138     10246   2272841     22.05   no data  --
4020.19/1006.41	c  N dy  9983   3233417       772      3368         0    151014     10246   2954842     22.05     23.24  --
4052.94/1014.66	c  N dy 10086   3253756       772      3368         0     92811     10246   1027545     22.06     23.23  --
4082.12/1021.97	c  N dy 10170   3273826       772      3368         0    112750     10246   1679179     22.06     25.00  --
4116.86/1030.63	c  N dy 10239   3293904       772      3368         0    132677     10246   2347401     22.05     24.62  --
4161.22/1041.76	c  N dy 10346   3313921       772      3368         0    152579     10246   3011984     22.06     24.36  --
4193.95/1049.96	c  N dy 10418   3333996       772      3368         0     93088     10246   1014552     22.06     23.97  --
4225.10/1057.77	c  N dy 10546   3354161       772      3368         0    113125     10246   1678076     22.07     23.25  --
4265.04/1067.77	c  N dy 10685   3374245       772      3368         0    133089     10246   2341164     22.08     23.40  --
4311.79/1079.48	c  N dy 10832   3394250       772      3368         0    152989     10246   3011565     22.09     23.41  --
4343.74/1087.49	c  N dy 10881   3414380       772      3368         0     92495     10246    967848     22.08     23.31  --
4375.31/1095.32	c  N dy 11017   3434391       772      3368         0    112372     10246   1626476     22.09     23.47  --
4412.45/1104.65	c  N dy 11114   3454491       772      3368         0    132301     10246   2280566     22.10     23.35  --
4460.00/1116.52	c  N dy 11219   3475443       772      3368         0    153127     10246   2967650     22.10     23.31  --
4498.34/1126.16	c  N dy 11330   3495606       772      3368         0     91720     10246    917628     22.11     23.35  --
4529.49/1133.99	c  N dy 11463   3515634       772      3368         0    111625     10246   1572022     22.12     24.38  --
4566.64/1143.23	c  N dy 11558   3535640       772      3368         0    131517     10246   2226880     22.13     23.42  --
4610.18/1154.12	c  N dy 11650   3555891       772      3368         0    151606     10246   2883396     22.13     23.36  --
4655.73/1165.53	c  N dy 11772   3577325       772      3368         0     90470     10246    854241     22.14     23.60  --
4687.29/1173.45	c  N dy 11848   3599097       772      3368         0    112059     10246   1553346     22.13     23.33  --
4739.21/1186.45	c  N dy 11943   3626727       772      3368         0    139469     10246   2455100     22.13     23.36  --
4785.57/1198.06	c  N dy 12020   3646796       772      3368         0    159374     10246   3104722     22.13     23.90  --

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-3175446-1304124203/watcher-3175446-1304124203 -o /tmp/evaluation-result-3175446-1304124203/solver-3175446-1304124203 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175446-1304124203.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.11 8.10 8.02 5/180 10846
/proc/meminfo: memFree=30795420/32951124 swapFree=67111448/67111528
[pid=10846] ppid=10844 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/10846/stat : 10846 (strangenight1-m) R 10844 10846 10605 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 524020797 52465664 352 33554432000 4194304 4650419 140735762353408 18446744073709551615 230809222129 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10846/statm: 12809 352 303 112 0 7774 0
[pid=10846/tid=10847] ppid=10844 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/10846/task/10847/stat : 10847 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 524020797 52465664 356 33554432000 4194304 4650419 140735762353408 18446744073709551615 47091654277046 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10846/tid=10848] ppid=10844 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/10846/task/10848/stat : 10848 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 524020797 52465664 356 33554432000 4194304 4650419 140735762353408 18446744073709551615 230804212822 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10846/tid=10849] ppid=10844 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/10846/task/10849/stat : 10849 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 524020797 52465664 356 33554432000 4194304 4650419 140735762353408 18446744073709551615 47091654277036 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.107075 s]
/proc/loadavg: 8.11 8.10 8.02 5/180 10846
/proc/meminfo: memFree=30795420/32951124 swapFree=67111448/67111528
[pid=10846] ppid=10844 vsize=282488 CPUtime=0.4 cores=1,3,5,7
/proc/10846/stat : 10846 (strangenight1-m) R 10844 10846 10605 0 -1 4202496 2093 0 0 0 40 0 0 0 18 0 4 0 524020797 289267712 1933 33554432000 4194304 4650419 140735762353408 18446744073709551615 4304288 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10846/statm: 70622 1933 391 112 0 65587 0
[pid=10846/tid=10847] ppid=10844 vsize=282488 CPUtime=0.1 cores=1,3,5,7
/proc/10846/task/10847/stat : 10847 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 462 0 0 0 10 0 0 0 18 0 4 0 524020797 289267712 1933 33554432000 4194304 4650419 140735762353408 18446744073709551615 4363460 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10846/tid=10848] ppid=10844 vsize=282488 CPUtime=0.1 cores=1,3,5,7
/proc/10846/task/10848/stat : 10848 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 443 0 0 0 10 0 0 0 18 0 4 0 524020797 289267712 1933 33554432000 4194304 4650419 140735762353408 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10846/tid=10849] ppid=10844 vsize=282488 CPUtime=0.1 cores=1,3,5,7
/proc/10846/task/10849/stat : 10849 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 313 0 0 0 10 0 0 0 25 0 4 0 524020797 289267712 1933 33554432000 4194304 4650419 140735762353408 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282488

[startup+0.200959 s]
/proc/loadavg: 8.11 8.10 8.02 5/180 10846
/proc/meminfo: memFree=30795420/32951124 swapFree=67111448/67111528
[pid=10846] ppid=10844 vsize=284004 CPUtime=0.78 cores=1,3,5,7
/proc/10846/stat : 10846 (strangenight1-m) R 10844 10846 10605 0 -1 4202496 3008 0 0 0 78 0 0 0 18 0 4 0 524020797 290820096 2063 33554432000 4194304 4650419 140735762353408 18446744073709551615 4332033 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10846/statm: 71001 2063 393 112 0 65966 0
[pid=10846/tid=10847] ppid=10844 vsize=284004 CPUtime=0.19 cores=1,3,5,7
/proc/10846/task/10847/stat : 10847 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 689 0 0 0 19 0 0 0 18 0 4 0 524020797 290820096 2063 33554432000 4194304 4650419 140735762353408 18446744073709551615 4367302 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10846/tid=10848] ppid=10844 vsize=284004 CPUtime=0.19 cores=1,3,5,7
/proc/10846/task/10848/stat : 10848 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 670 0 0 0 19 0 0 0 18 0 4 0 524020797 290820096 2064 33554432000 4194304 4650419 140735762353408 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10846/tid=10849] ppid=10844 vsize=284004 CPUtime=0.19 cores=1,3,5,7
/proc/10846/task/10849/stat : 10849 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 539 0 0 0 19 0 0 0 25 0 4 0 524020797 290820096 2064 33554432000 4194304 4650419 140735762353408 18446744073709551615 4366879 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) 284004

[startup+0.300941 s]
/proc/loadavg: 8.11 8.10 8.02 5/180 10846
/proc/meminfo: memFree=30795420/32951124 swapFree=67111448/67111528
[pid=10846] ppid=10844 vsize=284144 CPUtime=1.18 cores=1,3,5,7
/proc/10846/stat : 10846 (strangenight1-m) R 10844 10846 10605 0 -1 4202496 3387 0 0 0 118 0 0 0 18 0 4 0 524020797 290963456 2442 33554432000 4194304 4650419 140735762353408 18446744073709551615 4331301 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10846/statm: 71036 2442 393 112 0 66001 0
[pid=10846/tid=10847] ppid=10844 vsize=284144 CPUtime=0.29 cores=1,3,5,7
/proc/10846/task/10847/stat : 10847 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 776 0 0 0 29 0 0 0 18 0 4 0 524020797 290963456 2442 33554432000 4194304 4650419 140735762353408 18446744073709551615 4333937 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10846/tid=10848] ppid=10844 vsize=284144 CPUtime=0.29 cores=1,3,5,7
/proc/10846/task/10848/stat : 10848 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 765 0 0 0 29 0 0 0 18 0 4 0 524020797 290963456 2442 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10846/tid=10849] ppid=10844 vsize=284144 CPUtime=0.29 cores=1,3,5,7
/proc/10846/task/10849/stat : 10849 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 643 0 0 0 29 0 0 0 25 0 4 0 524020797 290963456 2442 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365246 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) 284144

[startup+0.700869 s]
/proc/loadavg: 8.11 8.10 8.02 5/180 10846
/proc/meminfo: memFree=30795420/32951124 swapFree=67111448/67111528
[pid=10846] ppid=10844 vsize=284996 CPUtime=2.77 cores=1,3,5,7
/proc/10846/stat : 10846 (strangenight1-m) R 10844 10846 10605 0 -1 4202496 5322 0 0 0 277 0 0 0 18 0 4 0 524020797 291835904 3199 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10846/statm: 71249 3199 393 112 0 66214 0
[pid=10846/tid=10847] ppid=10844 vsize=284996 CPUtime=0.69 cores=1,3,5,7
/proc/10846/task/10847/stat : 10847 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 1255 0 0 0 69 0 0 0 18 0 4 0 524020797 291835904 3199 33554432000 4194304 4650419 140735762353408 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10846/tid=10848] ppid=10844 vsize=284996 CPUtime=0.69 cores=1,3,5,7
/proc/10846/task/10848/stat : 10848 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 1270 0 0 0 69 0 0 0 18 0 4 0 524020797 291835904 3199 33554432000 4194304 4650419 140735762353408 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10846/tid=10849] ppid=10844 vsize=284996 CPUtime=0.69 cores=1,3,5,7
/proc/10846/task/10849/stat : 10849 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 1110 0 0 0 69 0 0 0 25 0 4 0 524020797 291835904 3199 33554432000 4194304 4650419 140735762353408 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284996

[startup+1.50072 s]
/proc/loadavg: 8.10 8.10 8.02 9/184 10850
/proc/meminfo: memFree=30782120/32951124 swapFree=67111448/67111528
[pid=10846] ppid=10844 vsize=286640 CPUtime=5.97 cores=1,3,5,7
/proc/10846/stat : 10846 (strangenight1-m) R 10844 10846 10605 0 -1 4202496 9165 0 0 0 596 1 0 0 20 0 4 0 524020797 293519360 3794 33554432000 4194304 4650419 140735762353408 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10846/statm: 71660 3794 394 112 0 66625 0
[pid=10846/tid=10847] ppid=10844 vsize=286640 CPUtime=1.49 cores=1,3,5,7
/proc/10846/task/10847/stat : 10847 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 2248 0 0 0 149 0 0 0 20 0 4 0 524020797 293519360 3794 33554432000 4194304 4650419 140735762353408 18446744073709551615 4333045 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10846/tid=10848] ppid=10844 vsize=286640 CPUtime=1.49 cores=1,3,5,7
/proc/10846/task/10848/stat : 10848 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 2267 0 0 0 149 0 0 0 20 0 4 0 524020797 293519360 3794 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10846/tid=10849] ppid=10844 vsize=286640 CPUtime=1.48 cores=1,3,5,7
/proc/10846/task/10849/stat : 10849 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 1974 0 0 0 148 0 0 0 25 0 4 0 524020797 293519360 3794 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365227 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) 286640

[startup+3.10043 s]
/proc/loadavg: 8.10 8.10 8.02 9/184 10850
/proc/meminfo: memFree=30766992/32951124 swapFree=67111448/67111528
[pid=10846] ppid=10844 vsize=277736 CPUtime=12.36 cores=1,3,5,7
/proc/10846/stat : 10846 (strangenight1-m) R 10844 10846 10605 0 -1 4202496 19700 0 0 0 1234 2 0 0 25 0 4 0 524020797 284401664 12268 33554432000 4194304 4650419 140735762353408 18446744073709551615 4367302 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10846/statm: 69434 12268 395 112 0 64399 0
[pid=10846/tid=10847] ppid=10844 vsize=277736 CPUtime=3.09 cores=1,3,5,7
/proc/10846/task/10847/stat : 10847 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 4519 0 0 0 309 0 0 0 25 0 4 0 524020797 284401664 12268 33554432000 4194304 4650419 140735762353408 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10846/tid=10848] ppid=10844 vsize=277736 CPUtime=3.08 cores=1,3,5,7
/proc/10846/task/10848/stat : 10848 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 5433 0 0 0 308 0 0 0 25 0 4 0 524020797 284401664 12268 33554432000 4194304 4650419 140735762353408 18446744073709551615 4438276 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10846/tid=10849] ppid=10844 vsize=277736 CPUtime=3.07 cores=1,3,5,7
/proc/10846/task/10849/stat : 10849 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 4415 0 0 0 307 0 0 0 25 0 4 0 524020797 284401664 12268 33554432000 4194304 4650419 140735762353408 18446744073709551615 4363452 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) 277736

[startup+6.30085 s]
/proc/loadavg: 8.10 8.10 8.02 9/184 10850
/proc/meminfo: memFree=30731584/32951124 swapFree=67111448/67111528
[pid=10846] ppid=10844 vsize=287100 CPUtime=25.15 cores=1,3,5,7
/proc/10846/stat : 10846 (strangenight1-m) R 10844 10846 10605 0 -1 4202496 27593 0 0 0 2511 4 0 0 25 0 4 0 524020797 293990400 17162 33554432000 4194304 4650419 140735762353408 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10846/statm: 71775 17162 395 112 0 66740 0
[pid=10846/tid=10847] ppid=10844 vsize=287100 CPUtime=6.29 cores=1,3,5,7
/proc/10846/task/10847/stat : 10847 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 7222 0 0 0 628 1 0 0 25 0 4 0 524020797 293990400 17162 33554432000 4194304 4650419 140735762353408 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10846/tid=10848] ppid=10844 vsize=287100 CPUtime=6.29 cores=1,3,5,7
/proc/10846/task/10848/stat : 10848 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 7513 0 0 0 628 1 0 0 25 0 4 0 524020797 293990400 17162 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10846/tid=10849] ppid=10844 vsize=287100 CPUtime=6.25 cores=1,3,5,7
/proc/10846/task/10849/stat : 10849 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 5698 0 0 0 625 0 0 0 25 0 4 0 524020797 293990400 17162 33554432000 4194304 4650419 140735762353408 18446744073709551615 4364751 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) 287100

[startup+12.7007 s]
/proc/loadavg: 8.08 8.09 8.02 9/184 10850
/proc/meminfo: memFree=30700820/32951124 swapFree=67111448/67111528
[pid=10846] ppid=10844 vsize=315808 CPUtime=50.71 cores=1,3,5,7
/proc/10846/stat : 10846 (strangenight1-m) R 10844 10846 10605 0 -1 4202496 42453 0 0 0 5064 7 0 0 25 0 4 0 524020797 323387392 24104 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10846/statm: 78952 24104 395 112 0 73917 0
[pid=10846/tid=10847] ppid=10844 vsize=315808 CPUtime=12.69 cores=1,3,5,7
/proc/10846/task/10847/stat : 10847 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 11381 0 0 0 1267 2 0 0 25 0 4 0 524020797 323387392 24104 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10846/tid=10848] ppid=10844 vsize=315808 CPUtime=12.68 cores=1,3,5,7
/proc/10846/task/10848/stat : 10848 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 11939 0 0 0 1267 1 0 0 25 0 4 0 524020797 323387392 24104 33554432000 4194304 4650419 140735762353408 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10846/tid=10849] ppid=10844 vsize=315808 CPUtime=12.62 cores=1,3,5,7
/proc/10846/task/10849/stat : 10849 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 7349 0 0 0 1261 1 0 0 25 0 4 0 524020797 323387392 24104 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365223 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) 315808

[startup+25.5003 s]
/proc/loadavg: 8.22 8.12 8.03 9/184 10851
/proc/meminfo: memFree=30651332/32951124 swapFree=67111448/67111528
[pid=10846] ppid=10844 vsize=316732 CPUtime=101.83 cores=1,3,5,7
/proc/10846/stat : 10846 (strangenight1-m) R 10844 10846 10605 0 -1 4202496 63360 0 0 0 10171 12 0 0 25 0 4 0 524020797 324333568 35297 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365252 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10846/statm: 79183 35297 395 112 0 74148 0
[pid=10846/tid=10847] ppid=10844 vsize=316732 CPUtime=25.49 cores=1,3,5,7
/proc/10846/task/10847/stat : 10847 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 19582 0 0 0 2545 4 0 0 25 0 4 0 524020797 324333568 35297 33554432000 4194304 4650419 140735762353408 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10846/tid=10848] ppid=10844 vsize=316732 CPUtime=25.49 cores=1,3,5,7
/proc/10846/task/10848/stat : 10848 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 15504 0 0 0 2546 3 0 0 25 0 4 0 524020797 324333568 35297 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10846/tid=10849] ppid=10844 vsize=316732 CPUtime=25.34 cores=1,3,5,7
/proc/10846/task/10849/stat : 10849 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 8671 0 0 0 2533 1 0 0 25 0 4 0 524020797 324333568 35297 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 316732

[startup+51.1006 s]
/proc/loadavg: 8.14 8.11 8.03 9/184 10851
/proc/meminfo: memFree=30602920/32951124 swapFree=67111448/67111528
[pid=10846] ppid=10844 vsize=428764 CPUtime=204.1 cores=1,3,5,7
/proc/10846/stat : 10846 (strangenight1-m) R 10844 10846 10605 0 -1 4202496 94714 0 0 0 20389 21 0 0 25 0 4 0 524020797 439054336 47911 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10846/statm: 107191 47911 395 112 0 102156 0
[pid=10846/tid=10847] ppid=10844 vsize=428764 CPUtime=51.09 cores=1,3,5,7
/proc/10846/task/10847/stat : 10847 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 29408 0 0 0 5103 6 0 0 25 0 4 0 524020797 439054336 47911 33554432000 4194304 4650419 140735762353408 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10846/tid=10848] ppid=10844 vsize=428764 CPUtime=51.08 cores=1,3,5,7
/proc/10846/task/10848/stat : 10848 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 23199 0 0 0 5103 5 0 0 25 0 4 0 524020797 439054336 47911 33554432000 4194304 4650419 140735762353408 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10846/tid=10849] ppid=10844 vsize=428764 CPUtime=50.8 cores=1,3,5,7
/proc/10846/task/10849/stat : 10849 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 10246 0 0 0 5078 2 0 0 25 0 4 0 524020797 439054336 47911 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 428764

[startup+102.301 s]
/proc/loadavg: 8.06 8.09 8.02 9/184 10853
/proc/meminfo: memFree=30566268/32951124 swapFree=67111448/67111528
[pid=10846] ppid=10844 vsize=495108 CPUtime=408.64 cores=1,3,5,7
/proc/10846/stat : 10846 (strangenight1-m) R 10844 10846 10605 0 -1 4202496 130172 0 0 0 40829 35 0 0 25 0 4 0 524020797 506990592 54949 33554432000 4194304 4650419 140735762353408 18446744073709551615 4364424 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10846/statm: 123777 54949 395 112 0 118742 0
[pid=10846/tid=10847] ppid=10844 vsize=495108 CPUtime=102.3 cores=1,3,5,7
/proc/10846/task/10847/stat : 10847 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 39915 0 0 0 10220 10 0 0 25 0 4 0 524020797 506990592 54949 33554432000 4194304 4650419 140735762353408 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10846/tid=10848] ppid=10844 vsize=495108 CPUtime=102.3 cores=1,3,5,7
/proc/10846/task/10848/stat : 10848 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 33180 0 0 0 10220 10 0 0 25 0 4 0 524020797 506990592 54949 33554432000 4194304 4650419 140735762353408 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10846/tid=10849] ppid=10844 vsize=495108 CPUtime=101.73 cores=1,3,5,7
/proc/10846/task/10849/stat : 10849 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 12293 0 0 0 10170 3 0 0 25 0 4 0 524020797 506990592 54949 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 495108

[startup+162.3 s]

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

[pid=10846] ppid=10844 vsize=663844 CPUtime=2565.74 cores=1,3,5,7
/proc/10846/stat : 10846 (strangenight1-m) R 10844 10846 10605 0 -1 4202496 376072 0 0 0 256403 171 0 0 25 0 4 0 524020797 679776256 104022 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10846/statm: 165961 104022 395 112 0 160926 0
[pid=10846/tid=10847] ppid=10844 vsize=663844 CPUtime=642.31 cores=1,3,5,7
/proc/10846/task/10847/stat : 10847 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 94628 0 0 0 64187 44 0 0 25 0 4 0 524020797 679776256 104022 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10846/tid=10848] ppid=10844 vsize=663844 CPUtime=642.3 cores=1,3,5,7
/proc/10846/task/10848/stat : 10848 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 148422 0 0 0 64161 69 0 0 25 0 4 0 524020797 679776256 104022 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10846/tid=10849] ppid=10844 vsize=663844 CPUtime=638.79 cores=1,3,5,7
/proc/10846/task/10849/stat : 10849 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 25256 0 0 0 63869 10 0 0 25 0 4 0 524020797 679776256 104022 33554432000 4194304 4650419 140735762353408 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.74
Current children cumulated vsize (KiB) 663844

[startup+702.301 s]
/proc/loadavg: 8.02 8.06 8.02 9/184 10900
/proc/meminfo: memFree=30406068/32951124 swapFree=67111448/67111528
[pid=10846] ppid=10844 vsize=670384 CPUtime=2805.42 cores=1,3,5,7
/proc/10846/stat : 10846 (strangenight1-m) R 10844 10846 10605 0 -1 4202496 397738 0 0 0 280361 181 0 0 25 0 4 0 524020797 686473216 110547 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10846/statm: 167596 110547 395 112 0 162561 0
[pid=10846/tid=10847] ppid=10844 vsize=670384 CPUtime=702.31 cores=1,3,5,7
/proc/10846/task/10847/stat : 10847 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 100027 0 0 0 70184 47 0 0 25 0 4 0 524020797 686473216 110547 33554432000 4194304 4650419 140735762353408 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10846/tid=10848] ppid=10844 vsize=670384 CPUtime=702.31 cores=1,3,5,7
/proc/10846/task/10848/stat : 10848 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 157739 0 0 0 70158 73 0 0 25 0 4 0 524020797 686473216 110547 33554432000 4194304 4650419 140735762353408 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10846/tid=10849] ppid=10844 vsize=670384 CPUtime=698.47 cores=1,3,5,7
/proc/10846/task/10849/stat : 10849 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 25869 0 0 0 69836 11 0 0 25 0 4 0 524020797 686473216 110547 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.42
Current children cumulated vsize (KiB) 670384

[startup+762.301 s]
/proc/loadavg: 8.19 8.09 8.03 9/184 10901
/proc/meminfo: memFree=30403912/32951124 swapFree=67111448/67111528
[pid=10846] ppid=10844 vsize=665320 CPUtime=3045.12 cores=1,3,5,7
/proc/10846/stat : 10846 (strangenight1-m) R 10844 10846 10605 0 -1 4202496 417422 0 0 0 304321 191 0 0 25 0 4 0 524020797 681287680 109826 33554432000 4194304 4650419 140735762353408 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10846/statm: 166330 109826 395 112 0 161295 0
[pid=10846/tid=10847] ppid=10844 vsize=665320 CPUtime=762.32 cores=1,3,5,7
/proc/10846/task/10847/stat : 10847 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 103704 0 0 0 76183 49 0 0 25 0 4 0 524020797 681287680 109826 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10846/tid=10848] ppid=10844 vsize=665320 CPUtime=762.31 cores=1,3,5,7
/proc/10846/task/10848/stat : 10848 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 168297 0 0 0 76153 78 0 0 25 0 4 0 524020797 681287680 109826 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10846/tid=10849] ppid=10844 vsize=665320 CPUtime=758.15 cores=1,3,5,7
/proc/10846/task/10849/stat : 10849 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 26653 0 0 0 75803 12 0 0 25 0 4 0 524020797 681287680 109826 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.12
Current children cumulated vsize (KiB) 665320

[startup+822.3 s]
/proc/loadavg: 8.21 8.10 8.03 9/184 10903
/proc/meminfo: memFree=30369780/32951124 swapFree=67111448/67111528
[pid=10846] ppid=10844 vsize=719196 CPUtime=3284.77 cores=1,3,5,7
/proc/10846/stat : 10846 (strangenight1-m) R 10844 10846 10605 0 -1 4202496 435833 0 0 0 328274 203 0 0 25 0 4 0 524020797 736456704 108216 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10846/statm: 179799 108216 395 112 0 174764 0
[pid=10846/tid=10847] ppid=10844 vsize=719196 CPUtime=822.31 cores=1,3,5,7
/proc/10846/task/10847/stat : 10847 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 108445 0 0 0 82179 52 0 0 25 0 4 0 524020797 736456704 108216 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10846/tid=10848] ppid=10844 vsize=719196 CPUtime=822.31 cores=1,3,5,7
/proc/10846/task/10848/stat : 10848 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 178785 0 0 0 82147 84 0 0 25 0 4 0 524020797 736456704 108216 33554432000 4194304 4650419 140735762353408 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10846/tid=10849] ppid=10844 vsize=719196 CPUtime=817.82 cores=1,3,5,7
/proc/10846/task/10849/stat : 10849 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 27408 0 0 0 81769 13 0 0 25 0 4 0 524020797 736456704 108216 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.77
Current children cumulated vsize (KiB) 719196

[startup+882.306 s]
/proc/loadavg: 8.20 8.11 8.04 9/184 10905
/proc/meminfo: memFree=30298452/32951124 swapFree=67111448/67111528
[pid=10846] ppid=10844 vsize=720424 CPUtime=3524.47 cores=1,3,5,7
/proc/10846/stat : 10846 (strangenight1-m) R 10844 10846 10605 0 -1 4202496 457337 0 0 0 352232 215 0 0 25 0 4 0 524020797 737714176 118279 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10846/statm: 180106 118279 395 112 0 175071 0
[pid=10846/tid=10847] ppid=10844 vsize=720424 CPUtime=882.32 cores=1,3,5,7
/proc/10846/task/10847/stat : 10847 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 113188 0 0 0 88177 55 0 0 25 0 4 0 524020797 737714176 118279 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10846/tid=10848] ppid=10844 vsize=720424 CPUtime=882.31 cores=1,3,5,7
/proc/10846/task/10848/stat : 10848 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 188051 0 0 0 88142 89 0 0 25 0 4 0 524020797 737714176 118279 33554432000 4194304 4650419 140735762353408 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10846/tid=10849] ppid=10844 vsize=720424 CPUtime=877.49 cores=1,3,5,7
/proc/10846/task/10849/stat : 10849 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 28456 0 0 0 87735 14 0 0 25 0 4 0 524020797 737714176 118279 33554432000 4194304 4650419 140735762353408 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.47
Current children cumulated vsize (KiB) 720424

[startup+942.3 s]
/proc/loadavg: 8.19 8.12 8.04 9/184 10906
/proc/meminfo: memFree=30333744/32951124 swapFree=67111448/67111528
[pid=10846] ppid=10844 vsize=721800 CPUtime=3764.13 cores=1,3,5,7
/proc/10846/stat : 10846 (strangenight1-m) R 10844 10846 10605 0 -1 4202496 473495 0 0 0 376190 223 0 0 25 0 4 0 524020797 739123200 111087 33554432000 4194304 4650419 140735762353408 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10846/statm: 180450 111087 395 112 0 175415 0
[pid=10846/tid=10847] ppid=10844 vsize=721800 CPUtime=942.32 cores=1,3,5,7
/proc/10846/task/10847/stat : 10847 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 115804 0 0 0 94175 57 0 0 25 0 4 0 524020797 739123200 111087 33554432000 4194304 4650419 140735762353408 18446744073709551615 4363531 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10846/tid=10848] ppid=10844 vsize=721800 CPUtime=942.31 cores=1,3,5,7
/proc/10846/task/10848/stat : 10848 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 197155 0 0 0 94138 93 0 0 25 0 4 0 524020797 739123200 111087 33554432000 4194304 4650419 140735762353408 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10846/tid=10849] ppid=10844 vsize=721800 CPUtime=937.16 cores=1,3,5,7
/proc/10846/task/10849/stat : 10849 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 29524 0 0 0 93702 14 0 0 25 0 4 0 524020797 739123200 111087 33554432000 4194304 4650419 140735762353408 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.13
Current children cumulated vsize (KiB) 721800

[startup+1002.3 s]
/proc/loadavg: 8.07 8.10 8.03 9/184 10908
/proc/meminfo: memFree=30233276/32951124 swapFree=67111448/67111528
[pid=10846] ppid=10844 vsize=854708 CPUtime=4003.81 cores=1,3,5,7
/proc/10846/stat : 10846 (strangenight1-m) R 10844 10846 10605 0 -1 4202496 501756 0 0 0 400146 235 0 0 25 0 4 0 524020797 875220992 129575 33554432000 4194304 4650419 140735762353408 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10846/statm: 213677 129575 395 112 0 208642 0
[pid=10846/tid=10847] ppid=10844 vsize=854708 CPUtime=1002.32 cores=1,3,5,7
/proc/10846/task/10847/stat : 10847 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 123419 0 0 0 100173 59 0 0 25 0 4 0 524020797 875220992 129575 33554432000 4194304 4650419 140735762353408 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10846/tid=10848] ppid=10844 vsize=854708 CPUtime=1002.31 cores=1,3,5,7
/proc/10846/task/10848/stat : 10848 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 209186 0 0 0 100134 97 0 0 25 0 4 0 524020797 875220992 129575 33554432000 4194304 4650419 140735762353408 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10846/tid=10849] ppid=10844 vsize=854708 CPUtime=996.84 cores=1,3,5,7
/proc/10846/task/10849/stat : 10849 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 33876 0 0 0 99667 17 0 0 25 0 4 0 524020797 875220992 129575 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.81
Current children cumulated vsize (KiB) 854708

[startup+1062.3 s]
/proc/loadavg: 8.08 8.09 8.03 9/184 10918
/proc/meminfo: memFree=30237948/32951124 swapFree=67111448/67111528
[pid=10846] ppid=10844 vsize=776584 CPUtime=4243.47 cores=1,3,5,7
/proc/10846/stat : 10846 (strangenight1-m) R 10844 10846 10605 0 -1 4202496 522652 0 0 0 424101 246 0 0 25 0 4 0 524020797 795222016 131595 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10846/statm: 194146 131595 395 112 0 189111 0
[pid=10846/tid=10847] ppid=10844 vsize=776584 CPUtime=1062.32 cores=1,3,5,7
/proc/10846/task/10847/stat : 10847 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 126934 0 0 0 106171 61 0 0 25 0 4 0 524020797 795222016 131595 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10846/tid=10848] ppid=10844 vsize=776584 CPUtime=1062.3 cores=1,3,5,7
/proc/10846/task/10848/stat : 10848 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 218212 0 0 0 106129 101 0 0 25 0 4 0 524020797 795222016 131595 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10846/tid=10849] ppid=10844 vsize=776584 CPUtime=1056.52 cores=1,3,5,7
/proc/10846/task/10849/stat : 10849 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 38858 0 0 0 105631 21 0 0 25 0 4 0 524020797 795222016 131595 33554432000 4194304 4650419 140735762353408 18446744073709551615 4313443 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.47
Current children cumulated vsize (KiB) 776584

[startup+1122.3 s]
/proc/loadavg: 8.08 8.09 8.03 9/184 10920
/proc/meminfo: memFree=30169792/32951124 swapFree=67111448/67111528
[pid=10846] ppid=10844 vsize=777304 CPUtime=4483.15 cores=1,3,5,7
/proc/10846/stat : 10846 (strangenight1-m) R 10844 10846 10605 0 -1 4202496 538859 0 0 0 448060 255 0 0 25 0 4 0 524020797 795959296 134701 33554432000 4194304 4650419 140735762353408 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10846/statm: 194326 134701 395 112 0 189291 0
[pid=10846/tid=10847] ppid=10844 vsize=777304 CPUtime=1122.32 cores=1,3,5,7
/proc/10846/task/10847/stat : 10847 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 128563 0 0 0 112169 63 0 0 25 0 4 0 524020797 795959296 134701 33554432000 4194304 4650419 140735762353408 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10846/tid=10848] ppid=10844 vsize=777304 CPUtime=1122.3 cores=1,3,5,7
/proc/10846/task/10848/stat : 10848 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 227106 0 0 0 112125 105 0 0 25 0 4 0 524020797 795959296 134701 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10846/tid=10849] ppid=10844 vsize=777304 CPUtime=1116.19 cores=1,3,5,7
/proc/10846/task/10849/stat : 10849 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 39498 0 0 0 111598 21 0 0 25 0 4 0 524020797 795959296 134701 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.15
Current children cumulated vsize (KiB) 777304

[startup+1182.3 s]
/proc/loadavg: 8.08 8.08 8.03 9/184 10922
/proc/meminfo: memFree=30225156/32951124 swapFree=67111448/67111528
[pid=10846] ppid=10844 vsize=729164 CPUtime=4722.83 cores=1,3,5,7
/proc/10846/stat : 10846 (strangenight1-m) R 10844 10846 10605 0 -1 4202496 550699 0 0 0 472020 263 0 0 25 0 4 0 524020797 746663936 132061 33554432000 4194304 4650419 140735762353408 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10846/statm: 182291 132061 395 112 0 177256 0
[pid=10846/tid=10847] ppid=10844 vsize=729164 CPUtime=1182.33 cores=1,3,5,7
/proc/10846/task/10847/stat : 10847 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 129215 0 0 0 118169 64 0 0 25 0 4 0 524020797 746663936 132061 33554432000 4194304 4650419 140735762353408 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10846/tid=10848] ppid=10844 vsize=729164 CPUtime=1182.31 cores=1,3,5,7
/proc/10846/task/10848/stat : 10848 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 233520 0 0 0 118122 109 0 0 25 0 4 0 524020797 746663936 132061 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10846/tid=10849] ppid=10844 vsize=729164 CPUtime=1175.86 cores=1,3,5,7
/proc/10846/task/10849/stat : 10849 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 41059 0 0 0 117564 22 0 0 25 0 4 0 524020797 746663936 132061 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.83
Current children cumulated vsize (KiB) 729164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.05 8.08 8.03 9/184 10922
/proc/meminfo: memFree=30206032/32951124 swapFree=67111448/67111528
[pid=10846] ppid=10844 vsize=764100 CPUtime=4800.34 cores=1,3,5,7
/proc/10846/stat : 10846 (strangenight1-m) R 10844 10846 10605 0 -1 4202496 555115 0 0 0 479769 265 0 0 25 0 4 0 524020797 782438400 131269 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10846/statm: 191025 131269 395 112 0 185990 0
[pid=10846/tid=10847] ppid=10844 vsize=764100 CPUtime=1201.73 cores=1,3,5,7
/proc/10846/task/10847/stat : 10847 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 129901 0 0 0 120109 64 0 0 25 0 4 0 524020797 782438400 131269 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10846/tid=10848] ppid=10844 vsize=764100 CPUtime=1201.72 cores=1,3,5,7
/proc/10846/task/10848/stat : 10848 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 236055 0 0 0 120062 110 0 0 25 0 4 0 524020797 782438400 131269 33554432000 4194304 4650419 140735762353408 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10846/tid=10849] ppid=10844 vsize=764100 CPUtime=1195.16 cores=1,3,5,7
/proc/10846/task/10849/stat : 10849 (strangenight1-m) R 10844 10846 10605 0 -1 4202560 41059 0 0 0 119494 22 0 0 25 0 4 0 524020797 782438400 131269 33554432000 4194304 4650419 140735762353408 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 764100

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.74
CPU time (s): 4800.4
CPU user time (s): 4797.72
CPU system time (s): 2.68259
CPU usage (%): 399.455
Max. virtual memory (cumulated for all children) (KiB): 882484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.72
system time used= 2.68259
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 555116
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= 289
involuntary context switches= 29678

runsolver used 1.81372 second user time and 4.77427 second system time

The end

Launcher Data 

Begin job on node104 at 2011-04-30 02:43:23
IDJOB=3175446
IDBENCH=83064
IDSOLVER=1588
FILE ID=node104/3175446-1304124203
RUNJOBID= node104-1304122384-10624
PBS_JOBID= 13170745
Free space on /tmp= 71544 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v800-c3408-S846876765-035.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175446-1304124203/watcher-3175446-1304124203 -o /tmp/evaluation-result-3175446-1304124203/solver-3175446-1304124203 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175446-1304124203.cnf

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

MD5SUM BENCH= 0d5f032713ed63748b72ef45ba69a269
RANDOM SEED=1148898351

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30795700 kB
Buffers:        370992 kB
Cached:        1092560 kB
SwapCached:         80 kB
Active:         371572 kB
Inactive:      1387936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30795700 kB
SwapTotal:    67111528 kB
SwapFree:     67111448 kB
Dirty:            6260 kB
Writeback:           0 kB
AnonPages:      296056 kB
Mapped:          15512 kB
Slab:           331060 kB
PageTables:       5428 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   526360 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= 71536 MiB
End job on node104 at 2011-04-30 03:03:27