Trace number 3175075

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.19 1201.96

General information on the benchmark

Namerandom/large/
unif-k5-r20-v1500-c30000-S64154096-097-UNKNOWN.cnf
MD5SUM1d861e510861ad58190eb0b3053bc657
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark340.927
Satisfiable
(Un)Satisfiability was proved
Number of variables1500
Number of clauses30000
Sum of the clauses size150000
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 530000
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-3175075-1304082186.cnf'
0.00/0.00	c -- header says num vars:           1500
0.00/0.00	c -- header says num clauses:       30000
0.00/0.02	c -- clauses added:            0 learnts,        30000 normals,            0 xors
0.00/0.02	c -- vars added       1500
0.00/0.02	c Parsing time:  0.05 s
0.00/0.02	c  N st     0         0      1500     30000         0         0    150000         0   no data   no data  --
0.38/0.19	c asymm  cl-useful: 0/30000/30000 lits-rem:0 time: 0.63
0.38/0.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
0.77/0.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.77/0.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.77/0.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
0.77/0.70	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.77/0.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
0.77/0.70	c Finding binary XORs  T:     0.00 s  found:       0
0.77/0.70	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
0.77/0.70	c calculated reachability. Time: 0.00
0.77/0.70	c Calc default polars -  time:   0.01 s pos:     692 undec:      65 neg:     743
0.77/0.70	c =========================================================================================
0.77/0.70	c types(t): F = full restart, N = normal restart
0.77/0.70	c types(t): S = simplification begin/end, E = solution found
0.77/0.70	c restart types(rt): st = static, dy = dynamic
0.77/0.70	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.77/0.70	c  B st     0         0      1500     30000         0         0    150000         0   no data   no data  --
0.77/0.70	c  N dy    14      4126      1500     30000         0      4121    150000    662551    128.64    135.58  --
0.77/1.00	c  N dy    38      8164      1500     30000         0      5661    150000    650893    125.74    132.63  --
5.21/1.38	c  N dy    59     12168      1500     30000         0      5421    150000    398287    125.39    133.36  --
6.78/1.77	c  N dy    81     16282      1500     30000         0      9530    150000   1036275    125.12    131.96  --
8.35/2.19	c  N dy   104     20360      1500     30000         0      7980    150000    603464    124.71    134.25  --
10.35/2.63	c  N dy   132     24466      1500     30000         0     12082    150000   1251132    125.39    133.01  --
10.35/2.68	c  F st   135     25000      1500     30000         0     12616    150000   1329017    125.30    121.57  --
12.74/3.21	c  N dy   141     30000      1500     30000         0     10796    150000    932658    125.30   no data  --
12.74/3.21	c  S st   141     30000      1500     30000         0     10796    150000    932658    125.30   no data  --
12.74/3.28	c  S st   141     30502      1500     30000         0     11298    150000    998187    125.30   no data  --
12.74/3.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
12.74/3.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
12.74/3.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
13.15/3.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.15/3.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.15/3.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
13.15/3.35	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
21.93/5.57	c lits-rem:      3383  cl-subs:       13  v-elim:      0  v-fix:    0  time:  8.81 s
22.73/5.79	c asymm  cl-useful: 0/30000/30000 lits-rem:0 time: 0.88
22.73/5.79	c calculated reachability. Time: 0.00
22.73/5.79	c  N dy   141     30502      1500     30000         0     11285    150000    989937    125.30   no data  --
24.75/6.29	c  N dy   166     34767      1500     30000         0     15546    150000   1658501    125.52    132.63  --
26.72/6.74	c  N dy   188     38952      1500     30000         0     11836    150000    878488    125.03    135.28  --
28.74/7.23	c  N dy   209     43053      1500     30000         0     15936    150000   1509408    124.70    131.59  --
29.93/7.57	c  S st   223     45755      1500     30000         0      9691    150000    397635    124.49    117.99  --
30.33/7.64	c  S st   223     46263      1500     30000         0     10199    150000    458976    124.49   no data  --
30.33/7.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
30.33/7.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
30.33/7.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.07
30.33/7.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
30.33/7.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
30.33/7.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
30.33/7.68	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.10/11.89	c lits-rem:      1178  cl-subs:        1  v-elim:      0  v-fix:    0  time: 16.81 s
47.10/11.89	c vivif2 --  cl tried    30000 cl shrink        0 lits rem          0 time: 0.01
47.50/11.90	c vivif2 --  cl tried    10198 cl shrink        0 lits rem          0 time: 0.02
48.30/12.11	c asymm  cl-useful: 0/30000/30000 lits-rem:0 time: 0.84
48.30/12.11	c calculated reachability. Time: 0.00
48.30/12.11	c  N dy   223     46263      1500     30000         0     10198    150000    457452    124.49   no data  --
49.89/12.58	c  N dy   246     50291      1500     30000         0     14225    150000   1080305    124.34    131.19  --
51.89/13.08	c  N dy   267     54336      1500     30000         0     18270    150000   1695020    124.05    132.31  --
53.89/13.59	c  N dy   291     58339      1500     30000         0     12299    150000    647638    123.96    133.25  --
55.89/14.07	c  N dy   313     62622      1500     30000         0     16582    150000   1309069    123.87    131.38  --
57.89/14.59	c  N dy   340     66767      1500     30000         0     20725    150000   1949654    123.89    133.03  --
59.50/14.92	c  S st   354     69394      1500     30000         0     12369    150000    508471    123.73    122.22  --
59.50/14.99	c  S st   354     69896      1500     30000         0     12871    150000    574824    123.73   no data  --
59.50/14.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
59.50/14.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
59.90/15.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.07
59.90/15.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
59.90/15.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
59.90/15.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
59.90/15.03	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
76.66/19.29	c lits-rem:      1858  cl-subs:        2  v-elim:      0  v-fix:    0  time: 16.98 s
76.66/19.30	c vivif2 --  cl tried    30000 cl shrink        0 lits rem          0 time: 0.01
76.66/19.30	c vivif2 --  cl tried    12869 cl shrink        0 lits rem          0 time: 0.02
77.85/19.55	c asymm  cl-useful: 0/30000/30000 lits-rem:0 time: 0.99
77.85/19.55	c calculated reachability. Time: 0.00
77.85/19.55	c  N dy   354     69896      1500     30000         0     12869    150000    572273    123.73   no data  --
80.25/20.16	c  N dy   384     74552      1500     30000         0     17522    150000   1295989    123.85    132.53  --
83.05/20.87	c  N dy   417     79326      1500     30000         0     22294    150000   2036308    123.95    135.05  --
85.86/21.54	c  N dy   443     84410      1500     30000         0     15387    150000    822256    123.80    131.25  --
87.44/21.95	c  F st   461     87500      1500     30000         0     18476    150000   1287738    123.67    111.90  --
89.44/22.42	c  N st   466     90796      1500     30000         0     21764    150000   1875423    123.67   no data  --
92.63/23.29	c  N dy   491     96681      1500     30000         0     14657    150000    576789    123.59    138.32  --
96.23/24.17	c  N dy   527    102854      1500     30000         0     20829    150000   1524921    123.55    130.60  --
97.43/24.49	c  S st   540    104844      1500     30000         0     22819    150000   1841040    123.59    116.42  --
97.83/24.59	c  S st   540    105346      1500     30000         0     23321    150000   1903390    123.59   no data  --
98.23/24.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
98.23/24.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
98.23/24.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.13
98.63/24.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
98.63/24.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
98.63/24.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
98.63/24.72	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
144.56/36.21	c lits-rem:       625  cl-subs:       13  v-elim:      0  v-fix:    0  time: 45.82 s
144.56/36.21	c vivif2 --  cl tried    30000 cl shrink        0 lits rem          0 time: 0.01
144.56/36.23	c vivif2 --  cl tried    23308 cl shrink        0 lits rem          0 time: 0.08
146.16/36.60	c asymm  cl-useful: 0/28309/30000 lits-rem:0 time: 1.47
146.16/36.60	c calculated reachability. Time: 0.00
146.16/36.60	c  N dy   540    105346      1500     30000         0     23308    150000   1898217    123.59   no data  --
149.76/37.53	c  N dy   571    112096      1500     30000         0     16066    150000    641581    123.45    143.07  --
153.74/38.56	c  N dy   613    120112      1500     30000         0     24078    150000   1888563    123.53    132.69  --
158.14/39.68	c  N dy   666    127837      1500     30000         0     16806    150000    611750    123.54    130.28  --
162.93/40.82	c  N dy   715    136147      1500     30000         0     25115    150000   1911375    123.59    133.49  --
168.13/42.14	c  N dy   757    144967      1500     30000         0     17932    150000    633892    123.38    130.32  --
173.74/43.52	c  N dy   811    154777      1500     30000         0     27736    150000   2153485    123.30    130.83  --
175.71/44.03	c  S st   830    158019      1500     30000         0     30978    150000   2649702    123.28   no data  --
176.11/44.14	c  S st   830    158522      1500     30000         0     31481    150000   2715608    123.28   no data  --
176.11/44.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
176.11/44.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
176.11/44.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.12
176.51/44.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
176.51/44.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
176.51/44.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
176.51/44.28	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
249.61/62.54	c lits-rem:       700  cl-subs:       17  v-elim:      0  v-fix:    0  time: 72.82 s
249.61/62.54	c vivif2 --  cl tried    30000 cl shrink        0 lits rem          0 time: 0.01
249.61/62.57	c vivif2 --  cl tried    31464 cl shrink        0 lits rem          0 time: 0.11
250.01/62.61	c asymm  cl-useful: 0/1691/30000 lits-rem:0 time: 0.14
250.01/62.61	c calculated reachability. Time: 0.00
250.01/62.61	c  N dy   830    158522      1500     30000         0     31464    150000   2709142    123.28   no data  --
255.60/64.10	c  N dy   885    168670      1500     30000         0     24614    150000   1519882    123.14    131.29  --
263.19/65.92	c  N dy   956    179541      1500     30000         0     35475    150000   3203307    123.21    131.24  --
269.98/67.70	c  N dy  1026    191048      1500     30000         0     28988    150000   2055834    123.23    131.99  --
278.37/69.73	c  N dy  1103    203295      1500     30000         0     22241    150000    863861    123.32    143.75  --
286.36/71.78	c  N dy  1177    216313      1500     30000         0     35255    150000   2864474    123.30    129.86  --
295.55/74.00	c  N dy  1258    230203      1500     30000         0     29151    150000   1798731    123.31    133.40  --
300.35/75.28	c  S st  1301    237784      1500     30000         0     36729    150000   2943603    123.23   no data  --
300.75/75.40	c  S st  1301    238285      1500     30000         0     37230    150000   3009680    123.23   no data  --
301.16/75.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
301.16/75.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
301.16/75.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.14
301.56/75.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
301.56/75.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
301.56/75.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
301.56/75.55	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
965.36/241.99	c lits-rem:       576  cl-subs:       18  v-elim:      0  v-fix:    0  time: 662.94 s
965.36/241.99	c vivif2 --  cl tried    30000 cl shrink        0 lits rem          0 time: 0.01
965.76/242.02	c vivif2 --  cl tried    37212 cl shrink        0 lits rem          0 time: 0.12
967.76/242.50	c asymm  cl-useful: 0/22220/30000 lits-rem:0 time: 1.91
967.76/242.50	c calculated reachability. Time: 0.00
967.76/242.50	c  N dy  1301    238285      1500     30000         0     37212    150000   3003359    123.23   no data  --
978.94/245.32	c  N dy  1385    253507      1500     30000         0     31436    150000   1975848    123.12    129.83  --
991.73/248.57	c  N dy  1485    269758      1500     30000         0     25687    150000    962253    123.15    135.66  --
1005.31/251.96	c  N dy  1595    287014      1500     30000         0     42934    150000   3619306    123.17    149.67  --
1019.70/255.55	c  N dy  1698    305475      1500     30000         0     38403    150000   2767012    123.10    131.45  --
1020.50/255.71	c  F st  1702    306250      1500     30000         0     39177    150000   2888269    123.10    121.63  --
1035.27/259.48	c  N dy  1793    325017      1500     30000         0     33937    150000   1946751    123.15    133.03  --
1052.85/263.80	c  N dy  1910    345536      1500     30000         0     29459    150000   1105312    123.13    129.70  --
1062.03/266.18	c  S st  1985    357428      1500     30000         0     41344    150000   2960868    123.18    119.60  --
1062.83/266.33	c  S st  1985    357932      1500     30000         0     41848    150000   3024488    123.18   no data  --
1062.83/266.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1062.83/266.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1062.83/266.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.18
1063.63/266.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1063.63/266.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1063.63/266.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
1063.63/266.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1740.31/435.91	c lits-rem:       312  cl-subs:       26  v-elim:      0  v-fix:    0  time: 676.33 s
1740.31/435.91	c vivif2 --  cl tried    30000 cl shrink        0 lits rem          0 time: 0.01
1740.31/435.94	c vivif2 --  cl tried    41822 cl shrink        0 lits rem          0 time: 0.12
1741.11/436.14	c asymm  cl-useful: 0/7780/30000 lits-rem:0 time: 0.82
1741.11/436.15	c calculated reachability. Time: 0.00
1741.11/436.15	c  N dy  1985    357932      1500     30000         0     41822    150000   3015629    123.18   no data  --
1757.49/440.23	c  N dy  2112    378005      1500     30000         0     35898    150000   1944911    123.21    133.23  --
1774.27/444.50	c  N dy  2238    398054      1500     30000         0     28953    150000    739296    123.27    130.24  --
1790.26/448.46	c  N dy  2353    418058      1500     30000         0     48947    150000   3836346    123.30    137.90  --
1805.82/452.38	c  N dy  2468    438146      1500     30000         0     41042    150000   2461524    123.30    131.23  --
1822.60/456.58	c  N dy  2592    458224      1500     30000         0     32128    150000    937153    123.33    130.75  --
1838.20/460.43	c  N dy  2713    478226      1500     30000         0     52121    150000   4022406    123.33    130.43  --
1854.16/464.46	c  N dy  2832    498312      1500     30000         0     42208    150000   2339312    123.36    130.33  --
1872.13/468.99	c  N dy  2955    518359      1500     30000         0     31256    150000    509170    123.40    150.08  --
1886.11/472.46	c  S st  3055    536898      1500     30000         0     49784    150000   3353348    123.34    110.69  --
1886.93/472.61	c  S st  3055    537403      1500     30000         0     50289    150000   3418337    123.34   no data  --
1886.93/472.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1886.93/472.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1886.93/472.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.18
1887.31/472.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1887.31/472.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1887.31/472.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
1887.31/472.78	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2837.98/710.74	c lits-rem:       326  cl-subs:       22  v-elim:      0  v-fix:    0  time: 950.01 s
2837.98/710.74	c vivif2 --  cl tried    30000 cl shrink        0 lits rem          0 time: 0.01
2837.98/710.78	c vivif2 --  cl tried    50267 cl shrink        0 lits rem          0 time: 0.14
2840.00/711.28	c asymm  cl-useful: 0/18506/30000 lits-rem:0 time: 1.99
2840.00/711.28	c calculated reachability. Time: 0.00
2840.00/711.28	c  N dy  3055    537403      1500     30000         0     50267    150000   3410293    123.34   no data  --
2859.95/716.27	c  N dy  3166    557502      1500     30000         0     38365    150000   1444374    123.33    129.84  --
2879.12/721.08	c  N dy  3282    577522      1500     30000         0     58371    150000   4537575    123.34    131.05  --
2898.28/725.89	c  N dy  3393    597599      1500     30000         0     45467    150000   2408557    123.32    130.38  --
2919.48/731.12	c  N dy  3516    617631      1500     30000         0     65488    150000   5531940    123.37    130.34  --
2938.24/735.89	c  N dy  3646    637687      1500     30000         0     51549    150000   3221422    123.42    131.83  --
2961.01/741.52	c  N dy  3769    657793      1500     30000         0     36668    150000    753437    123.43    130.28  --
2979.37/746.13	c  N dy  3883    677827      1500     30000         0     56683    150000   3816829    123.40    131.76  --
3001.34/751.69	c  N dy  4009    697917      1500     30000         0     40786    150000   1242364    123.41    146.58  --
3021.32/756.61	c  N dy  4123    718023      1500     30000         0     60882    150000   4344187    123.38    131.74  --
3043.29/762.18	c  N dy  4252    738077      1500     30000         0     43955    150000   1618554    123.43    129.99  --
3064.08/767.37	c  N dy  4369    758126      1500     30000         0     63989    150000   4704498    123.43    135.86  --
3086.45/772.91	c  N dy  4488    778371      1500     30000         0     46246    150000   1794517    123.42    133.38  --
3107.60/778.23	c  N dy  4603    798503      1500     30000         0     66370    150000   4872054    123.40    130.37  --
3116.80/780.56	c  S st  4647    806105      1500     30000         0     73970    150000   6036555    123.39    120.94  --
3117.98/780.81	c  S st  4647    806608      1500     30000         0     74473    150000   6097991    123.39   no data  --
3117.98/780.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
3117.98/780.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3117.98/780.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.28
3119.18/781.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3119.18/781.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3119.18/781.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1500 time:  0.00 s
3119.18/781.14	c Removed useless bin:       0  fixed:     0  props:   0.01M  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-3175075-1304082186/watcher-3175075-1304082186 -o /tmp/evaluation-result-3175075-1304082186/solver-3175075-1304082186 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175075-1304082186.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.01 8.05 8.00 5/178 11466
/proc/meminfo: memFree=26142936/32951132 swapFree=67111364/67111528
[pid=11466] ppid=11464 vsize=183276 CPUtime=0 cores=1,3,5,7
/proc/11466/stat : 11466 (strangenight1-m) R 11464 11466 11258 0 -1 4202496 549 0 0 0 0 0 0 0 25 0 4 0 519817228 187674624 475 33554432000 4194304 4650419 140733960080288 18446744073709551615 242970550075 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11466/statm: 45819 502 331 112 0 40784 0
[pid=11466/tid=11467] ppid=11464 vsize=183276 CPUtime=0 cores=1,3,5,7
/proc/11466/task/11467/stat : 11467 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 110 0 0 0 0 0 0 0 25 0 4 0 519817228 187674624 696 33554432000 4194304 4650419 140733960080288 18446744073709551615 242970550075 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11466/tid=11468] ppid=11464 vsize=183276 CPUtime=0 cores=1,3,5,7
/proc/11466/task/11468/stat : 11468 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 127 0 0 0 0 0 0 0 25 0 4 0 519817228 187674624 731 33554432000 4194304 4650419 140733960080288 18446744073709551615 242970550075 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11466/tid=11469] ppid=11464 vsize=183276 CPUtime=0 cores=1,3,5,7
/proc/11466/task/11469/stat : 11469 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 4 0 519817228 187674624 764 33554432000 4194304 4650419 140733960080288 18446744073709551615 242970211013 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0283809 s]
/proc/loadavg: 8.01 8.05 8.00 5/178 11466
/proc/meminfo: memFree=26142936/32951132 swapFree=67111364/67111528
[pid=11466] ppid=11464 vsize=285100 CPUtime=0.08 cores=1,3,5,7
/proc/11466/stat : 11466 (strangenight1-m) S 11464 11466 11258 0 -1 4202496 3733 0 0 0 6 2 0 0 18 0 4 0 519817228 291942400 3652 33554432000 4194304 4650419 140733960080288 18446744073709551615 242970655214 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11466/statm: 71275 3654 367 112 0 66240 0
[pid=11466/tid=11467] ppid=11464 vsize=285100 CPUtime=0.01 cores=1,3,5,7
/proc/11466/task/11467/stat : 11467 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 818 0 0 0 1 0 0 0 18 0 4 0 519817228 291942400 3655 33554432000 4194304 4650419 140733960080288 18446744073709551615 4370675 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11466/tid=11468] ppid=11464 vsize=285100 CPUtime=0.01 cores=1,3,5,7
/proc/11466/task/11468/stat : 11468 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 821 0 0 0 1 0 0 0 25 0 4 0 519817228 291942400 3655 33554432000 4194304 4650419 140733960080288 18446744073709551615 242970655214 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11466/tid=11469] ppid=11464 vsize=285100 CPUtime=0.01 cores=1,3,5,7
/proc/11466/task/11469/stat : 11469 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 868 0 0 0 1 0 0 0 18 0 4 0 519817228 291942400 3655 33554432000 4194304 4650419 140733960080288 18446744073709551615 242970655263 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 285100

[startup+0.105019 s]
/proc/loadavg: 8.01 8.05 8.00 5/178 11466
/proc/meminfo: memFree=26142936/32951132 swapFree=67111364/67111528
[pid=11466] ppid=11464 vsize=285496 CPUtime=0.38 cores=1,3,5,7
/proc/11466/stat : 11466 (strangenight1-m) R 11464 11466 11258 0 -1 4202496 4220 0 0 0 36 2 0 0 18 0 4 0 519817228 292347904 4139 33554432000 4194304 4650419 140733960080288 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11466/statm: 71374 4139 367 112 0 66339 0
[pid=11466/tid=11467] ppid=11464 vsize=285496 CPUtime=0.09 cores=1,3,5,7
/proc/11466/task/11467/stat : 11467 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 903 0 0 0 9 0 0 0 18 0 4 0 519817228 292347904 4139 33554432000 4194304 4650419 140733960080288 18446744073709551615 4370643 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11466/tid=11468] ppid=11464 vsize=285496 CPUtime=0.08 cores=1,3,5,7
/proc/11466/task/11468/stat : 11468 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 913 0 0 0 8 0 0 0 25 0 4 0 519817228 292347904 4139 33554432000 4194304 4650419 140733960080288 18446744073709551615 242970593463 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11466/tid=11469] ppid=11464 vsize=285496 CPUtime=0.09 cores=1,3,5,7
/proc/11466/task/11469/stat : 11469 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 1082 0 0 0 9 0 0 0 18 0 4 0 519817228 292347904 4139 33554432000 4194304 4650419 140733960080288 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 285496

[startup+0.479818 s]
/proc/loadavg: 8.01 8.05 8.00 5/178 11466
/proc/meminfo: memFree=26142936/32951132 swapFree=67111364/67111528
[pid=11466] ppid=11464 vsize=306812 CPUtime=1.87 cores=1,3,5,7
/proc/11466/stat : 11466 (strangenight1-m) R 11464 11466 11258 0 -1 4202496 13409 0 0 0 183 4 0 0 18 0 4 0 519817228 314175488 10908 33554432000 4194304 4650419 140733960080288 18446744073709551615 4332022 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11466/statm: 76703 10305 391 112 0 71668 0
[pid=11466/tid=11467] ppid=11464 vsize=306812 CPUtime=0.46 cores=1,3,5,7
/proc/11466/task/11467/stat : 11467 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 3636 0 0 0 45 1 0 0 18 0 4 0 519817228 314175488 10305 33554432000 4194304 4650419 140733960080288 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11466/tid=11468] ppid=11464 vsize=300584 CPUtime=0.99 cores=1,3,5,7
/proc/11466/task/11468/stat : 11468 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 4854 0 0 0 98 1 0 0 19 0 4 0 519817228 307798016 11998 33554432000 4194304 4650419 140733960080288 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11466/tid=11469] ppid=11464 vsize=300584 CPUtime=0.99 cores=1,3,5,7
/proc/11466/task/11469/stat : 11469 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 3169 0 0 0 99 0 0 0 19 0 4 0 519817228 307798016 11998 33554432000 4194304 4650419 140733960080288 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 306812

[startup+1.11319 s]
/proc/loadavg: 8.01 8.05 8.00 5/178 11466
/proc/meminfo: memFree=26142936/32951132 swapFree=67111364/67111528
[pid=11466] ppid=11464 vsize=300872 CPUtime=4.41 cores=1,3,5,7
/proc/11466/stat : 11466 (strangenight1-m) R 11464 11466 11258 0 -1 4202496 19632 0 0 0 436 5 0 0 19 0 4 0 519817228 308092928 12007 33554432000 4194304 4650419 140733960080288 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11466/statm: 75218 12008 391 112 0 70183 0
[pid=11466/tid=11467] ppid=11464 vsize=300872 CPUtime=1.1 cores=1,3,5,7
/proc/11466/task/11467/stat : 11467 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 5062 0 0 0 109 1 0 0 19 0 4 0 519817228 308092928 12008 33554432000 4194304 4650419 140733960080288 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11466/tid=11468] ppid=11464 vsize=300872 CPUtime=1.09 cores=1,3,5,7
/proc/11466/task/11468/stat : 11468 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 5021 0 0 0 108 1 0 0 19 0 4 0 519817228 308092928 12008 33554432000 4194304 4650419 140733960080288 18446744073709551615 4329392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11466/tid=11469] ppid=11464 vsize=300872 CPUtime=1.1 cores=1,3,5,7
/proc/11466/task/11469/stat : 11469 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 4013 0 0 0 109 1 0 0 19 0 4 0 519817228 308092928 12008 33554432000 4194304 4650419 140733960080288 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 300872

[startup+1.50113 s]
/proc/loadavg: 8.01 8.05 8.00 5/178 11466
/proc/meminfo: memFree=26142936/32951132 swapFree=67111364/67111528
[pid=11466] ppid=11464 vsize=301480 CPUtime=5.96 cores=1,3,5,7
/proc/11466/stat : 11466 (strangenight1-m) R 11464 11466 11258 0 -1 4202496 24140 0 0 0 589 7 0 0 19 0 4 0 519817228 308715520 12410 33554432000 4194304 4650419 140733960080288 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11466/statm: 75370 12410 391 112 0 70335 0
[pid=11466/tid=11467] ppid=11464 vsize=301480 CPUtime=1.48 cores=1,3,5,7
/proc/11466/task/11467/stat : 11467 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 6391 0 0 0 147 1 0 0 19 0 4 0 519817228 308715520 12410 33554432000 4194304 4650419 140733960080288 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11466/tid=11468] ppid=11464 vsize=301480 CPUtime=1.47 cores=1,3,5,7
/proc/11466/task/11468/stat : 11468 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 6336 0 0 0 146 1 0 0 18 0 4 0 519817228 308715520 12411 33554432000 4194304 4650419 140733960080288 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11466/tid=11469] ppid=11464 vsize=301480 CPUtime=1.49 cores=1,3,5,7
/proc/11466/task/11469/stat : 11469 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 4637 0 0 0 148 1 0 0 19 0 4 0 519817228 308715520 12411 33554432000 4194304 4650419 140733960080288 18446744073709551615 4310752 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 301480

[startup+3.10085 s]
/proc/loadavg: 7.69 7.98 7.98 8/182 11501
/proc/meminfo: memFree=26557060/32951132 swapFree=67111364/67111528
[pid=11466] ppid=11464 vsize=302408 CPUtime=12.34 cores=1,3,5,7
/proc/11466/stat : 11466 (strangenight1-m) R 11464 11466 11258 0 -1 4202496 38529 0 0 0 1225 9 0 0 24 0 4 0 519817228 309665792 13428 33554432000 4194304 4650419 140733960080288 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11466/statm: 75602 13428 392 112 0 70567 0
[pid=11466/tid=11467] ppid=11464 vsize=302408 CPUtime=3.08 cores=1,3,5,7
/proc/11466/task/11467/stat : 11467 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 10003 0 0 0 306 2 0 0 23 0 4 0 519817228 309665792 13428 33554432000 4194304 4650419 140733960080288 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11466/tid=11468] ppid=11464 vsize=302408 CPUtime=3.07 cores=1,3,5,7
/proc/11466/task/11468/stat : 11468 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 9970 0 0 0 305 2 0 0 20 0 4 0 519817228 309665792 13428 33554432000 4194304 4650419 140733960080288 18446744073709551615 4314753 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11466/tid=11469] ppid=11464 vsize=302408 CPUtime=3.09 cores=1,3,5,7
/proc/11466/task/11469/stat : 11469 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 8219 0 0 0 307 2 0 0 23 0 4 0 519817228 309665792 13428 33554432000 4194304 4650419 140733960080288 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 302408

[startup+6.3003 s]
/proc/loadavg: 7.69 7.98 7.98 11/182 11501
/proc/meminfo: memFree=26430584/32951132 swapFree=67111364/67111528
[pid=11466] ppid=11464 vsize=314572 CPUtime=25.12 cores=1,3,5,7
/proc/11466/stat : 11466 (strangenight1-m) R 11464 11466 11258 0 -1 4202496 72578 0 0 0 2496 16 0 0 25 0 4 0 519817228 322121728 39265 33554432000 4194304 4650419 140733960080288 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11466/statm: 78643 39265 393 112 0 73608 0
[pid=11466/tid=11467] ppid=11464 vsize=314572 CPUtime=6.29 cores=1,3,5,7
/proc/11466/task/11467/stat : 11467 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 14819 0 0 0 626 3 0 0 25 0 4 0 519817228 322121728 39265 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11466/tid=11468] ppid=11464 vsize=314572 CPUtime=6.25 cores=1,3,5,7
/proc/11466/task/11468/stat : 11468 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 21523 0 0 0 621 4 0 0 25 0 4 0 519817228 322121728 39265 33554432000 4194304 4650419 140733960080288 18446744073709551615 4439344 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11466/tid=11469] ppid=11464 vsize=314572 CPUtime=6.28 cores=1,3,5,7
/proc/11466/task/11469/stat : 11469 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 18803 0 0 0 624 4 0 0 19 0 4 0 519817228 322121728 39265 33554432000 4194304 4650419 140733960080288 18446744073709551615 4438661 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 314572

[startup+12.7012 s]
/proc/loadavg: 7.81 8.00 7.98 9/182 11501
/proc/meminfo: memFree=26341940/32951132 swapFree=67111364/67111528
[pid=11466] ppid=11464 vsize=316992 CPUtime=50.71 cores=1,3,5,7
/proc/11466/stat : 11466 (strangenight1-m) R 11464 11466 11258 0 -1 4202496 88180 0 0 0 5052 19 0 0 25 0 4 0 519817228 324599808 40694 33554432000 4194304 4650419 140733960080288 18446744073709551615 4310809 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11466/statm: 79248 40694 393 112 0 74213 0
[pid=11466/tid=11467] ppid=11464 vsize=316992 CPUtime=12.68 cores=1,3,5,7
/proc/11466/task/11467/stat : 11467 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 20810 0 0 0 1264 4 0 0 25 0 4 0 519817228 324599808 40695 33554432000 4194304 4650419 140733960080288 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11466/tid=11468] ppid=11464 vsize=316992 CPUtime=12.62 cores=1,3,5,7
/proc/11466/task/11468/stat : 11468 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 22051 0 0 0 1258 4 0 0 25 0 4 0 519817228 324599808 40695 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11466/tid=11469] ppid=11464 vsize=316992 CPUtime=12.69 cores=1,3,5,7
/proc/11466/task/11469/stat : 11469 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 23740 0 0 0 1263 6 0 0 25 0 4 0 519817228 324599808 40696 33554432000 4194304 4650419 140733960080288 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 316992

[startup+25.501 s]
/proc/loadavg: 7.84 8.00 7.98 9/182 11501
/proc/meminfo: memFree=26176888/32951132 swapFree=67111364/67111528
[pid=11466] ppid=11464 vsize=474440 CPUtime=101.83 cores=1,3,5,7
/proc/11466/stat : 11466 (strangenight1-m) R 11464 11466 11258 0 -1 4202496 143964 0 0 0 10150 33 0 0 25 0 4 0 519817228 485826560 70379 33554432000 4194304 4650419 140733960080288 18446744073709551615 4438951 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11466/statm: 118610 70379 393 112 0 113575 0
[pid=11466/tid=11467] ppid=11464 vsize=474440 CPUtime=25.48 cores=1,3,5,7
/proc/11466/task/11467/stat : 11467 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 29597 0 0 0 2543 5 0 0 25 0 4 0 519817228 485826560 70379 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11466/tid=11468] ppid=11464 vsize=474440 CPUtime=25.35 cores=1,3,5,7
/proc/11466/task/11468/stat : 11468 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 37217 0 0 0 2527 8 0 0 25 0 4 0 519817228 485826560 70379 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11466/tid=11469] ppid=11464 vsize=474440 CPUtime=25.48 cores=1,3,5,7
/proc/11466/task/11469/stat : 11469 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 41088 0 0 0 2538 10 0 0 25 0 4 0 519817228 485826560 70379 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 474440

[startup+51.1006 s]
/proc/loadavg: 7.97 8.01 7.99 9/182 11502
/proc/meminfo: memFree=26046972/32951132 swapFree=67111364/67111528
[pid=11466] ppid=11464 vsize=599128 CPUtime=204.08 cores=1,3,5,7
/proc/11466/stat : 11466 (strangenight1-m) R 11464 11466 11258 0 -1 4202496 212013 0 0 0 20354 54 0 0 25 0 4 0 519817228 613507072 87485 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11466/statm: 149782 87486 393 112 0 144747 0
[pid=11466/tid=11467] ppid=11464 vsize=599128 CPUtime=51.08 cores=1,3,5,7
/proc/11466/task/11467/stat : 11467 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 38015 0 0 0 5098 10 0 0 25 0 4 0 519817228 613507072 87486 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11466/tid=11468] ppid=11464 vsize=599128 CPUtime=50.81 cores=1,3,5,7
/proc/11466/task/11468/stat : 11468 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 59289 0 0 0 5066 15 0 0 25 0 4 0 519817228 613507072 87486 33554432000 4194304 4650419 140733960080288 18446744073709551615 4438643 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11466/tid=11469] ppid=11464 vsize=599128 CPUtime=51.08 cores=1,3,5,7
/proc/11466/task/11469/stat : 11469 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 62715 0 0 0 5091 17 0 0 25 0 4 0 519817228 613507072 87486 33554432000 4194304 4650419 140733960080288 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 599128

[startup+102.301 s]
/proc/loadavg: 8.04 8.03 8.00 9/182 11503
/proc/meminfo: memFree=25976756/32951132 swapFree=67111364/67111528
[pid=11466] ppid=11464 vsize=758524 CPUtime=408.6 cores=1,3,5,7
/proc/11466/stat : 11466 (strangenight1-m) R 11464 11466 11258 0 -1 4202496 310920 0 0 0 40766 94 0 0 25 0 4 0 519817228 776728576 99330 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11466/statm: 189631 99330 393 112 0 184596 0
[pid=11466/tid=11467] ppid=11464 vsize=758524 CPUtime=102.28 cores=1,3,5,7
/proc/11466/task/11467/stat : 11467 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 61353 0 0 0 10208 20 0 0 25 0 4 0 519817228 776728576 99330 33554432000 4194304 4650419 140733960080288 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11466/tid=11468] ppid=11464 vsize=758524 CPUtime=101.73 cores=1,3,5,7
/proc/11466/task/11468/stat : 11468 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 64786 0 0 0 10157 16 0 0 25 0 4 0 519817228 776728576 99330 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11466/tid=11469] ppid=11464 vsize=758524 CPUtime=102.29 cores=1,3,5,7
/proc/11466/task/11469/stat : 11469 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 107294 0 0 0 10188 41 0 0 25 0 4 0 519817228 776728576 99330 33554432000 4194304 4650419 140733960080288 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.6
Current children cumulated vsize (KiB) 758524

[startup+162.3 s]

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

[pid=11466] ppid=11464 vsize=1035364 CPUtime=2564.77 cores=1,3,5,7
/proc/11466/stat : 11466 (strangenight1-m) R 11464 11466 11258 0 -1 4202496 774080 0 0 0 256169 308 0 0 25 0 4 0 519817228 1060212736 170286 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11466/statm: 258841 170286 393 112 0 253806 0
[pid=11466/tid=11467] ppid=11464 vsize=1035364 CPUtime=642.28 cores=1,3,5,7
/proc/11466/task/11467/stat : 11467 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 121143 0 0 0 64181 47 0 0 25 0 4 0 519817228 1060212736 170286 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11466/tid=11468] ppid=11464 vsize=1035364 CPUtime=637.9 cores=1,3,5,7
/proc/11466/task/11468/stat : 11468 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 184446 0 0 0 63706 84 0 0 25 0 4 0 519817228 1060212736 170286 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11466/tid=11469] ppid=11464 vsize=1035364 CPUtime=642.28 cores=1,3,5,7
/proc/11466/task/11469/stat : 11469 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 304184 0 0 0 64100 128 0 0 25 0 4 0 519817228 1060212736 170286 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2564.77
Current children cumulated vsize (KiB) 1035364

[startup+702.3 s]
/proc/loadavg: 8.13 8.08 8.02 9/182 11522
/proc/meminfo: memFree=25436412/32951132 swapFree=67111364/67111528
[pid=11466] ppid=11464 vsize=1035364 CPUtime=2804.43 cores=1,3,5,7
/proc/11466/stat : 11466 (strangenight1-m) R 11464 11466 11258 0 -1 4202496 776775 0 0 0 280134 309 0 0 25 0 4 0 519817228 1060212736 170237 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476471 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11466/statm: 258841 170237 393 112 0 253806 0
[pid=11466/tid=11467] ppid=11464 vsize=1035364 CPUtime=702.28 cores=1,3,5,7
/proc/11466/task/11467/stat : 11467 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 121143 0 0 0 70181 47 0 0 25 0 4 0 519817228 1060212736 170237 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11466/tid=11468] ppid=11464 vsize=1035364 CPUtime=697.57 cores=1,3,5,7
/proc/11466/task/11468/stat : 11468 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 184446 0 0 0 69673 84 0 0 25 0 4 0 519817228 1060212736 170237 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11466/tid=11469] ppid=11464 vsize=1035364 CPUtime=702.28 cores=1,3,5,7
/proc/11466/task/11469/stat : 11469 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 306879 0 0 0 70099 129 0 0 25 0 4 0 519817228 1060212736 170237 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2804.43
Current children cumulated vsize (KiB) 1035364

[startup+762.301 s]
/proc/loadavg: 8.17 8.10 8.02 9/182 11524
/proc/meminfo: memFree=25432788/32951132 swapFree=67111364/67111528
[pid=11466] ppid=11464 vsize=1053116 CPUtime=3044.09 cores=1,3,5,7
/proc/11466/stat : 11466 (strangenight1-m) R 11464 11466 11258 0 -1 4202496 815569 0 0 0 304070 339 0 0 25 0 4 0 519817228 1078390784 171578 33554432000 4194304 4650419 140733960080288 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11466/statm: 263279 171578 393 112 0 258244 0
[pid=11466/tid=11467] ppid=11464 vsize=1053116 CPUtime=762.28 cores=1,3,5,7
/proc/11466/task/11467/stat : 11467 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 121143 0 0 0 76181 47 0 0 25 0 4 0 519817228 1078390784 171578 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476761 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11466/tid=11468] ppid=11464 vsize=1053116 CPUtime=757.24 cores=1,3,5,7
/proc/11466/task/11468/stat : 11468 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 184446 0 0 0 75640 84 0 0 25 0 4 0 519817228 1078390784 171578 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11466/tid=11469] ppid=11464 vsize=1053116 CPUtime=762.28 cores=1,3,5,7
/proc/11466/task/11469/stat : 11469 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 309881 0 0 0 76099 129 0 0 25 0 4 0 519817228 1078390784 171578 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3044.09
Current children cumulated vsize (KiB) 1053116

[startup+822.301 s]
/proc/loadavg: 8.11 8.09 8.02 9/182 11525
/proc/meminfo: memFree=25367788/32951132 swapFree=67111364/67111528
[pid=11466] ppid=11464 vsize=1114976 CPUtime=3283.78 cores=1,3,5,7
/proc/11466/stat : 11466 (strangenight1-m) R 11464 11466 11258 0 -1 4202496 855101 0 0 0 328011 367 0 0 25 0 4 0 519817228 1141735424 185961 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11466/statm: 278744 185961 393 112 0 273709 0
[pid=11466/tid=11467] ppid=11464 vsize=1114976 CPUtime=822.27 cores=1,3,5,7
/proc/11466/task/11467/stat : 11467 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 140422 0 0 0 82164 63 0 0 25 0 4 0 519817228 1141735424 185961 33554432000 4194304 4650419 140733960080288 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11466/tid=11468] ppid=11464 vsize=1114976 CPUtime=816.91 cores=1,3,5,7
/proc/11466/task/11468/stat : 11468 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 184446 0 0 0 81607 84 0 0 25 0 4 0 519817228 1141735424 185961 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11466/tid=11469] ppid=11464 vsize=1114976 CPUtime=822.29 cores=1,3,5,7
/proc/11466/task/11469/stat : 11469 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 312647 0 0 0 82099 130 0 0 25 0 4 0 519817228 1141735424 185961 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3283.78
Current children cumulated vsize (KiB) 1114976

[startup+882.3 s]
/proc/loadavg: 8.04 8.07 8.02 9/182 11527
/proc/meminfo: memFree=25331440/32951132 swapFree=67111364/67111528
[pid=11466] ppid=11464 vsize=1117388 CPUtime=3523.43 cores=1,3,5,7
/proc/11466/stat : 11466 (strangenight1-m) R 11464 11466 11258 0 -1 4202496 919200 0 0 0 351937 406 0 0 25 0 4 0 519817228 1144205312 192257 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11466/statm: 279347 192257 393 112 0 274312 0
[pid=11466/tid=11467] ppid=11464 vsize=1117388 CPUtime=882.27 cores=1,3,5,7
/proc/11466/task/11467/stat : 11467 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 178101 0 0 0 88138 89 0 0 25 0 4 0 519817228 1144205312 192257 33554432000 4194304 4650419 140733960080288 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11466/tid=11468] ppid=11464 vsize=1117388 CPUtime=876.59 cores=1,3,5,7
/proc/11466/task/11468/stat : 11468 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 206949 0 0 0 87561 98 0 0 25 0 4 0 519817228 1144205312 192257 33554432000 4194304 4650419 140733960080288 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11466/tid=11469] ppid=11464 vsize=1117388 CPUtime=882.28 cores=1,3,5,7
/proc/11466/task/11469/stat : 11469 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 314909 0 0 0 88098 130 0 0 25 0 4 0 519817228 1144205312 192257 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3523.43
Current children cumulated vsize (KiB) 1117388

[startup+942.307 s]
/proc/loadavg: 8.06 8.07 8.02 9/182 11529
/proc/meminfo: memFree=25354484/32951132 swapFree=67111364/67111528
[pid=11466] ppid=11464 vsize=1106424 CPUtime=3763.13 cores=1,3,5,7
/proc/11466/stat : 11466 (strangenight1-m) R 11464 11466 11258 0 -1 4202496 979765 0 0 0 375871 442 0 0 25 0 4 0 519817228 1132978176 189807 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11466/statm: 276606 189807 393 112 0 271571 0
[pid=11466/tid=11467] ppid=11464 vsize=1106424 CPUtime=942.27 cores=1,3,5,7
/proc/11466/task/11467/stat : 11467 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 200767 0 0 0 94126 101 0 0 25 0 4 0 519817228 1132978176 189807 33554432000 4194304 4650419 140733960080288 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11466/tid=11468] ppid=11464 vsize=1106424 CPUtime=936.26 cores=1,3,5,7
/proc/11466/task/11468/stat : 11468 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 240249 0 0 0 93506 120 0 0 25 0 4 0 519817228 1132978176 189807 33554432000 4194304 4650419 140733960080288 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11466/tid=11469] ppid=11464 vsize=1106424 CPUtime=942.29 cores=1,3,5,7
/proc/11466/task/11469/stat : 11469 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 317044 0 0 0 94099 130 0 0 25 0 4 0 519817228 1132978176 189807 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3763.13
Current children cumulated vsize (KiB) 1106424

[startup+1002.3 s]
/proc/loadavg: 8.07 8.07 8.02 9/182 11530
/proc/meminfo: memFree=25347884/32951132 swapFree=67111364/67111528
[pid=11466] ppid=11464 vsize=1107268 CPUtime=4002.78 cores=1,3,5,7
/proc/11466/stat : 11466 (strangenight1-m) R 11464 11466 11258 0 -1 4202496 1039513 0 0 0 399801 477 0 0 25 0 4 0 519817228 1133842432 189682 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11466/statm: 276817 189682 393 112 0 271782 0
[pid=11466/tid=11467] ppid=11464 vsize=1107268 CPUtime=1002.27 cores=1,3,5,7
/proc/11466/task/11467/stat : 11467 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 228160 0 0 0 100108 119 0 0 25 0 4 0 519817228 1133842432 189682 33554432000 4194304 4650419 140733960080288 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11466/tid=11468] ppid=11464 vsize=1107268 CPUtime=995.93 cores=1,3,5,7
/proc/11466/task/11468/stat : 11468 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 268330 0 0 0 99456 137 0 0 25 0 4 0 519817228 1133842432 189682 33554432000 4194304 4650419 140733960080288 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11466/tid=11469] ppid=11464 vsize=1107268 CPUtime=1002.29 cores=1,3,5,7
/proc/11466/task/11469/stat : 11469 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 318851 0 0 0 100098 131 0 0 25 0 4 0 519817228 1133842432 189682 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4002.78
Current children cumulated vsize (KiB) 1107268

[startup+1062.3 s]
/proc/loadavg: 8.07 8.07 8.02 9/182 11532
/proc/meminfo: memFree=25338664/32951132 swapFree=67111364/67111528
[pid=11466] ppid=11464 vsize=1147920 CPUtime=4242.44 cores=1,3,5,7
/proc/11466/stat : 11466 (strangenight1-m) R 11464 11466 11258 0 -1 4202496 1103312 0 0 0 423733 511 0 0 25 0 4 0 519817228 1175470080 194374 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11466/statm: 286980 194374 393 112 0 281945 0
[pid=11466/tid=11467] ppid=11464 vsize=1147920 CPUtime=1062.27 cores=1,3,5,7
/proc/11466/task/11467/stat : 11467 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 254045 0 0 0 106092 135 0 0 25 0 4 0 519817228 1175470080 194374 33554432000 4194304 4650419 140733960080288 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11466/tid=11468] ppid=11464 vsize=1147920 CPUtime=1055.6 cores=1,3,5,7
/proc/11466/task/11468/stat : 11468 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 300518 0 0 0 105406 154 0 0 25 0 4 0 519817228 1175470080 194374 33554432000 4194304 4650419 140733960080288 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11466/tid=11469] ppid=11464 vsize=1147920 CPUtime=1062.29 cores=1,3,5,7
/proc/11466/task/11469/stat : 11469 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 320485 0 0 0 106098 131 0 0 25 0 4 0 519817228 1175470080 194374 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4242.44
Current children cumulated vsize (KiB) 1147920

[startup+1122.3 s]
/proc/loadavg: 8.14 8.09 8.02 9/182 11533
/proc/meminfo: memFree=25315316/32951132 swapFree=67111364/67111528
[pid=11466] ppid=11464 vsize=1149020 CPUtime=4482.12 cores=1,3,5,7
/proc/11466/stat : 11466 (strangenight1-m) R 11464 11466 11258 0 -1 4202496 1152640 0 0 0 447673 539 0 0 25 0 4 0 519817228 1176596480 193749 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11466/statm: 287255 193749 393 112 0 282220 0
[pid=11466/tid=11467] ppid=11464 vsize=1149020 CPUtime=1122.27 cores=1,3,5,7
/proc/11466/task/11467/stat : 11467 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 269950 0 0 0 112083 144 0 0 25 0 4 0 519817228 1176596480 193749 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11466/tid=11468] ppid=11464 vsize=1149020 CPUtime=1115.27 cores=1,3,5,7
/proc/11466/task/11468/stat : 11468 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 330571 0 0 0 111355 172 0 0 25 0 4 0 519817228 1176596480 193749 33554432000 4194304 4650419 140733960080288 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11466/tid=11469] ppid=11464 vsize=1149020 CPUtime=1122.29 cores=1,3,5,7
/proc/11466/task/11469/stat : 11469 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 322972 0 0 0 112097 132 0 0 25 0 4 0 519817228 1176596480 193749 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4482.12
Current children cumulated vsize (KiB) 1149020

[startup+1182.3 s]
/proc/loadavg: 8.15 8.10 8.03 9/182 11535
/proc/meminfo: memFree=25238544/32951132 swapFree=67111364/67111528
[pid=11466] ppid=11464 vsize=1215108 CPUtime=4721.79 cores=1,3,5,7
/proc/11466/stat : 11466 (strangenight1-m) R 11464 11466 11258 0 -1 4202496 1202891 0 0 0 471618 561 0 0 25 0 4 0 519817228 1244270592 219737 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11466/statm: 303777 219737 393 112 0 298742 0
[pid=11466/tid=11467] ppid=11464 vsize=1215108 CPUtime=1182.27 cores=1,3,5,7
/proc/11466/task/11467/stat : 11467 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 269950 0 0 0 118083 144 0 0 25 0 4 0 519817228 1244270592 219737 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11466/tid=11468] ppid=11464 vsize=1215108 CPUtime=1174.93 cores=1,3,5,7
/proc/11466/task/11468/stat : 11468 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 377736 0 0 0 117301 192 0 0 25 0 4 0 519817228 1244270592 219737 33554432000 4194304 4650419 140733960080288 18446744073709551615 4439380 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11466/tid=11469] ppid=11464 vsize=1215108 CPUtime=1182.29 cores=1,3,5,7
/proc/11466/task/11469/stat : 11469 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 325133 0 0 0 118097 132 0 0 25 0 4 0 519817228 1244270592 219737 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4721.79
Current children cumulated vsize (KiB) 1215108



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.91 s]
/proc/loadavg: 8.17 8.11 8.03 9/182 11536
/proc/meminfo: memFree=25238788/32951132 swapFree=67111364/67111528
[pid=11466] ppid=11464 vsize=1215108 CPUtime=4800.12 cores=1,3,5,7
/proc/11466/stat : 11466 (strangenight1-m) R 11464 11466 11258 0 -1 4202496 1205239 0 0 0 479451 561 0 0 25 0 4 0 519817228 1244270592 219800 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11466/statm: 303777 219800 393 112 0 298742 0
[pid=11466/tid=11467] ppid=11464 vsize=1215108 CPUtime=1201.88 cores=1,3,5,7
/proc/11466/task/11467/stat : 11467 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 269950 0 0 0 120044 144 0 0 25 0 4 0 519817228 1244270592 219800 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11466/tid=11468] ppid=11464 vsize=1215108 CPUtime=1194.43 cores=1,3,5,7
/proc/11466/task/11468/stat : 11468 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 378107 0 0 0 119250 193 0 0 25 0 4 0 519817228 1244270592 219800 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11466/tid=11469] ppid=11464 vsize=1215108 CPUtime=1201.91 cores=1,3,5,7
/proc/11466/task/11469/stat : 11469 (strangenight1-m) R 11464 11466 11258 0 -1 4202560 326397 0 0 0 120058 133 0 0 25 0 4 0 519817228 1244270592 219800 33554432000 4194304 4650419 140733960080288 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 1215108

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.96
CPU time (s): 4800.19
CPU user time (s): 4794.53
CPU system time (s): 5.65814
CPU usage (%): 399.364
Max. virtual memory (cumulated for all children) (KiB): 1215108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.53
system time used= 5.65814
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1205239
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= 2212
involuntary context switches= 32766

runsolver used 1.68274 second user time and 4.87526 second system time

The end

Launcher Data 

Begin job on node128 at 2011-04-29 15:03:06
IDJOB=3175075
IDBENCH=82693
IDSOLVER=1588
FILE ID=node128/3175075-1304082186
RUNJOBID= node128-1304079777-11277
PBS_JOBID= 13170532
Free space on /tmp= 66968 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/large/unif-k5-r20-v1500-c30000-S64154096-097-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175075-1304082186/watcher-3175075-1304082186 -o /tmp/evaluation-result-3175075-1304082186/solver-3175075-1304082186 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175075-1304082186.cnf

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

MD5SUM BENCH= 1d861e510861ad58190eb0b3053bc657
RANDOM SEED=1121729944

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      26143216 kB
Buffers:       1277792 kB
Cached:        4401284 kB
SwapCached:        160 kB
Active:         813824 kB
Inactive:      5407192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      26143216 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            7000 kB
Writeback:          32 kB
AnonPages:      541716 kB
Mapped:          15808 kB
Slab:           523888 kB
PageTables:       5996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   941232 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66960 MiB
End job on node128 at 2011-04-29 15:23:10