Trace number 3369309

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 (fixed)? (TO) 4800.49 1203.55

General information on the benchmark

NameSAT05/crafted/sorge05/QG7/
gensys-icl007.shuffled-as.sat05-3133.cnf
MD5SUM88361752c7b0c05e849791aafdd7bdba
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark220.275
Satisfiable
(Un)Satisfiability was proved
Number of variables762
Number of clauses17262
Sum of the clauses size76511
Maximum clause length13
Minimum clause length1
Number of clauses of size 142
Number of clauses of size 21135
Number of clauses of size 38742
Number of clauses of size 4236
Number of clauses of size 5256
Number of clauses of size over 56851

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-3369309-1305417557.cnf'
0.00/0.00	c -- header says num vars:            762
0.00/0.00	c -- header says num clauses:       17262
0.76/0.20	c -- clauses added:            0 learnts,        17262 normals,            0 xors
0.76/0.20	c -- vars added        762
0.76/0.20	c Parsing time:  0.04 s
0.76/0.20	c  N st     0         0       762     13352      2933         0     71694         0   no data   no data  --
0.76/0.20	c asymm  cl-useful: 180/9738/9738 lits-rem:237 time: 0.67
2.76/0.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.02
2.76/0.76	c bin-w-bin subsume rem         3031 bins  time:  0.00 s
2.76/0.76	c subs with bin:      971  lits-rem:       578  v-fix:    0  time:  0.02 s
2.76/0.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    706 time:  0.00 s
2.76/0.76	c Removed useless bin:       0  fixed:     0  props:   0.04M  time:  0.00 s
2.76/0.76	c lits-rem:       254  cl-subs:      358  v-elim:     44  v-fix:    0  time:  0.04 s
2.76/0.76	c Finding binary XORs  T:     0.00 s  found:       0
2.76/0.76	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
2.76/0.76	c calculated reachability. Time: 0.00
2.76/0.76	c Calc default polars -  time:   0.00 s pos:     277 undec:     223 neg:     262
2.76/0.76	c =========================================================================================
2.76/0.76	c types(t): F = full restart, N = normal restart
2.76/0.76	c types(t): S = simplification begin/end, E = solution found
2.76/0.76	c restart types(rt): st = static, dy = dynamic
2.76/0.76	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.81	c  B st     0         0       662      8361      3547         0     54538         0   no data   no data  --
3.17/0.81	c  N dy    14      4313       662      8361      3547      4256     54538     96324      9.37      9.88  --
3.17/0.81	c  N dy    23      8418       662      8361      3550      5862     54538    124483      8.86      9.35  --
3.57/0.91	c  N dy    48     12881       662      8361      3550      6074     54538     99719      9.07      9.57  --
5.15/1.30	c  N dy    67     17344       662      8361      3550     10479     54538    211868      9.11      9.61  --
5.95/1.54	c  N dy    80     21446       662      8361      3550      8966     54538    150739      9.05      9.54  --
7.15/1.85	c  F st    94     25000       662      8361      3550     12462     54538    239837      9.04      8.31  --
7.55/1.91	c  N st    96     25627       662      8361      3550     13083     54538    258656      9.04   no data  --
8.77/2.29	c  N dy   100     30000       662      8361      3551     10683     54538    182700      9.04   no data  --
8.77/2.29	c  S st   100     30000       662      8361      3551     10683     54538    182700      9.04   no data  --
9.19/2.34	c  S st   100     30503       662      8361      3551     11182     54538    195630      9.04   no data  --
9.19/2.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.19/2.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.19/2.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P:  1.0M T:  0.08
9.19/2.37	c bin-w-bin subsume rem          400 bins  time:  0.00 s
9.54/2.46	c subs with bin:       10  lits-rem:         0  v-fix:    0  time:  0.37 s
9.54/2.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    662 time:  0.00 s
9.54/2.46	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
12.74/3.20	c lits-rem:       887  cl-subs:      409  v-elim:      2  v-fix:    0  time:  2.95 s
14.32/3.60	c asymm  cl-useful: 3/6248/8350 lits-rem:3 time: 1.59
14.32/3.60	c calculated reachability. Time: 0.00
14.32/3.60	c  N dy   100     30503       660      8350      3153     10773     53607    189417      9.04   no data  --
15.92/4.08	c  N dy   125     35388       660      8350      3153     15612     53607    332047      9.08      9.56  --
17.54/4.49	c  N dy   147     39469       660      8350      3153     11836     53607    198465      9.14     10.10  --
19.51/4.96	c  N dy   170     43728       660      8350      3153     16049     53607    314995      9.19      9.72  --
20.71/5.20	c  S st   181     45755       660      8350      3153      9201     53607    102026      9.21      9.45  --
20.71/5.26	c  S st   181     46261       660      8350      3153      9703     53607    114577      9.21   no data  --
20.71/5.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
20.71/5.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
20.71/5.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.08
20.71/5.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
21.11/5.32	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.15 s
21.11/5.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    660 time:  0.00 s
21.11/5.32	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
21.93/5.58	c lits-rem:       263  cl-subs:       82  v-elim:      0  v-fix:    0  time:  1.04 s
21.93/5.59	c vivif2 --  cl tried     8348 cl shrink        0 lits rem          0 time: 0.00
21.93/5.59	c vivif2 --  cl tried     9621 cl shrink        0 lits rem          0 time: 0.01
22.35/5.65	c asymm  cl-useful: 0/2100/8348 lits-rem:0 time: 0.24
22.35/5.65	c calculated reachability. Time: 0.00
22.35/5.65	c  N dy   181     46261       660      8348      3153      9621     53585    113363      9.21   no data  --
23.91/6.07	c  N dy   200     50297       660      8348      3153     13617     53585    229646      9.22      9.71  --
25.91/6.55	c  N dy   217     54333       660      8348      3153     17588     53585    337432      9.24     12.03  --
27.89/7.05	c  N dy   235     58357       660      8348      3153     11706     53585    158708      9.26      9.77  --
29.89/7.52	c  N dy   255     62371       660      8348      3153     15648     53585    264044      9.28     10.59  --
32.27/8.10	c  N dy   282     66436       660      8348      3153     19663     53585    381692      9.32      9.94  --
33.88/8.51	c  S st   294     69393       660      8348      3153     11746     53585    135729      9.32   no data  --
33.88/8.56	c  S st   294     69899       660      8348      3153     12249     53585    148532      9.32   no data  --
33.88/8.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
33.88/8.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
33.88/8.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
33.88/8.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
34.28/8.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.21 s
34.28/8.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    660 time:  0.00 s
34.28/8.65	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
36.27/9.10	c lits-rem:       394  cl-subs:       96  v-elim:      0  v-fix:    0  time:  1.79 s
36.27/9.10	c vivif2 --  cl tried     8348 cl shrink        0 lits rem          0 time: 0.01
36.27/9.10	c vivif2 --  cl tried    12153 cl shrink        0 lits rem          0 time: 0.01
37.47/9.48	c asymm  cl-useful: 2/4719/8348 lits-rem:4 time: 1.51
37.47/9.48	c calculated reachability. Time: 0.00
37.47/9.48	c  N dy   294     69899       660      8348      3153     12153     53581    147021      9.32   no data  --
39.90/10.02	c  N dy   319     74361       660      8348      3153     16577     53581    273900      9.34      9.87  --
42.25/10.69	c  N dy   347     79245       660      8348      3153     21402     53581    413750      9.36      9.95  --
45.05/11.39	c  N dy   380     84379       660      8348      3153     14627     53581    204808      9.41      9.94  --
47.04/11.81	c  F st   395     87500       660      8348      3153     17714     53581    289821      9.43   no data  --
48.68/12.28	c  N st   400     90796       660      8348      3153     20966     53581    389504      9.43   no data  --
52.23/13.18	c  N dy   421     96799       660      8348      3153     14056     53581    162109      9.44      9.94  --
55.82/14.07	c  N dy   467    103060       660      8348      3153     20257     53581    344426      9.49     10.46  --
57.03/14.36	c  S st   480    104849       660      8348      3153     22037     53581    399082      9.51   no data  --
57.45/14.45	c  S st   480    105353       660      8348      3153     22538     53581    413947      9.51   no data  --
57.45/14.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
57.45/14.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
57.45/14.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.15
57.80/14.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
58.60/14.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.98 s
58.60/14.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    660 time:  0.00 s
58.60/14.75	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
66.98/16.80	c lits-rem:      2293  cl-subs:      451  v-elim:      1  v-fix:    0  time:  8.16 s
66.98/16.80	c vivif2 --  cl tried     8349 cl shrink        0 lits rem          0 time: 0.01
66.98/16.81	c vivif2 --  cl tried    22087 cl shrink        0 lits rem          0 time: 0.02
68.18/17.14	c asymm  cl-useful: 0/3630/8349 lits-rem:0 time: 1.33
68.18/17.14	c calculated reachability. Time: 0.00
68.18/17.14	c  N dy   480    105353       659      8349      3153     22087     53594    404916      9.51   no data  --
72.57/18.26	c  N dy   503    112109       659      8349      3153     14911     53594    167852      9.49     10.04  --
77.35/19.46	c  N dy   546    119870       659      8349      3153     22569     53594    388310      9.51     10.05  --
82.94/20.89	c  N dy   578    127634       659      8349      3153     15414     53594    165224      9.52     10.05  --
88.16/22.14	c  N dy   622    135854       659      8349      3153     23528     53594    398981      9.54     10.12  --
94.50/23.75	c  N dy   664    144623       659      8349      3153     16380     53594    175746      9.56     10.97  --
100.49/25.28	c  N dy   697    153974       659      8349      3153     25584     53594    429706      9.55     10.09  --
103.68/26.05	c  S st   720    158030       659      8349      3153     29593     53594    549373      9.56      9.81  --
104.08/26.15	c  S st   720    158531       659      8349      3153     30088     53594    561688      9.56   no data  --
104.08/26.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
104.08/26.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
104.48/26.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.1M T:  0.19
104.48/26.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
105.71/26.56	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  1.36 s
105.71/26.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    659 time:  0.00 s
105.71/26.57	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
113.66/28.59	c lits-rem:      3006  cl-subs:     1256  v-elim:      0  v-fix:    0  time:  8.09 s
113.66/28.59	c vivif2 --  cl tried     8347 cl shrink        0 lits rem          0 time: 0.01
114.07/28.62	c vivif2 --  cl tried    28832 cl shrink        0 lits rem          0 time: 0.07
114.84/28.82	c asymm  cl-useful: 2/1778/8347 lits-rem:2 time: 0.80
114.84/28.82	c calculated reachability. Time: 0.00
114.84/28.82	c  N dy   720    158531       659      8347      3153     28832     53570    542586      9.56   no data  --
122.03/30.63	c  N dy   781    168684       659      8347      3153     22103     53570    331100      9.61     10.15  --
130.80/32.83	c  N dy   838    179717       659      8347      3153     32998     53570    641519      9.63     10.18  --
139.18/34.96	c  N dy   888    191186       659      8347      3153     26539     53570    429458      9.64     10.15  --
149.59/37.58	c  N dy   940    203712       659      8347      3153     20122     53570    232671      9.65     10.16  --
160.31/40.29	c  N dy  1019    216802       659      8347      3153     33043     53570    623959      9.68     11.22  --
173.48/43.55	c  N dy  1096    231941       659      8347      3153     28244     53570    444481      9.71     10.23  --
178.67/44.81	c  S st  1130    237798       659      8347      3153     34033     53570    618786      9.72   no data  --
179.07/44.93	c  S st  1130    238307       659      8347      3153     34536     53570    632721      9.72   no data  --
179.07/44.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
179.07/44.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
179.07/44.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.5M T:  0.22
179.47/45.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
181.05/45.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.54 s
181.05/45.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    659 time:  0.00 s
181.05/45.40	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
189.83/47.63	c lits-rem:      3092  cl-subs:     1218  v-elim:      0  v-fix:    0  time:  8.86 s
189.83/47.63	c vivif2 --  cl tried     8347 cl shrink        0 lits rem          0 time: 0.01
189.83/47.64	c vivif2 --  cl tried    33318 cl shrink        0 lits rem          0 time: 0.04
190.63/47.84	c asymm  cl-useful: 0/922/8347 lits-rem:0 time: 0.80
190.63/47.84	c calculated reachability. Time: 0.00
190.63/47.84	c  N dy  1130    238307       659      8347      3153     33318     53570    611060      9.72   no data  --
203.39/51.05	c  N dy  1195    253545       659      8347      3153     27613     53570    404236      9.72     10.45  --
218.95/54.91	c  N dy  1264    270144       659      8347      3153     22299     53570    233481      9.73     10.28  --
233.70/58.64	c  N dy  1343    287470       659      8347      3153     39381     53570    734810      9.74     10.60  --
251.25/63.00	c  F st  1454    306251       659      8347      3153     35232     53570    595729      9.78      9.82  --
251.25/63.00	c  N st  1454    306251       659      8347      3153     35232     53570    595729      9.78      9.82  --
269.60/67.63	c  N dy  1534    325856       659      8347      3153     30869     53570    447412      9.79     10.60  --
289.57/72.70	c  N dy  1627    346129       659      8347      3153     26190     53570    287707      9.80     10.45  --
299.51/75.19	c  S st  1677    357462       659      8347      3153     37331     53570    608500      9.81      9.11  --
300.31/75.34	c  S st  1677    357965       659      8347      3153     37829     53570    622860      9.81   no data  --
300.31/75.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
300.31/75.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
300.71/75.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.8M T:  0.27
300.71/75.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
301.91/75.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.33 s
301.91/75.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    659 time:  0.00 s
301.91/75.76	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
310.69/77.94	c lits-rem:      2797  cl-subs:     1445  v-elim:      0  v-fix:    0  time:  8.68 s
310.69/77.94	c vivif2 --  cl tried     8347 cl shrink        0 lits rem          0 time: 0.01
310.69/77.95	c vivif2 --  cl tried    36384 cl shrink        0 lits rem          0 time: 0.04
311.51/78.17	c asymm  cl-useful: 0/783/8347 lits-rem:0 time: 0.86
311.51/78.17	c calculated reachability. Time: 0.00
311.51/78.17	c  N dy  1677    357965       659      8347      3153     36384     53570    600099      9.81   no data  --
331.43/83.12	c  N dy  1769    378032       659      8347      3153     30607     53570    405724      9.82     11.03  --
352.16/88.36	c  N dy  1875    398124       659      8347      3153     50351     53570    984586      9.84     11.86  --
373.71/93.76	c  N dy  1958    419688       659      8347      3153     44983     53570    786401      9.84     10.39  --
394.87/99.02	c  N dy  2040    439711       659      8347      3153     37106     53570    548738      9.84     10.42  --
418.38/104.97	c  N dy  2145    459764       659      8347      3153     56845     53570   1128683      9.86     10.43  --
439.17/110.15	c  N dy  2257    479853       659      8347      3153     48135     53570    866445      9.88     10.62  --
461.10/115.69	c  N dy  2341    500101       659      8347      3153     38465     53570    543214      9.89     10.48  --
484.59/121.57	c  N dy  2409    520694       659      8347      3153     58692     53570   1115453      9.88     10.41  --
501.35/125.80	c  S st  2473    536949       659      8347      3153     44213     53570    689603      9.89   no data  --
502.15/125.95	c  S st  2473    537451       659      8347      3153     44710     53570    704481      9.89   no data  --
502.15/125.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
502.15/125.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
502.55/126.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.1M T:  0.29
502.55/126.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
504.14/126.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.43 s
504.14/126.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    659 time:  0.00 s
504.14/126.40	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
512.53/128.51	c lits-rem:      3004  cl-subs:     1485  v-elim:      0  v-fix:    0  time:  8.40 s
512.53/128.51	c vivif2 --  cl tried     8347 cl shrink        0 lits rem          0 time: 0.01
512.53/128.53	c vivif2 --  cl tried    43225 cl shrink        0 lits rem          0 time: 0.05
513.34/128.75	c asymm  cl-useful: 0/515/8347 lits-rem:0 time: 0.89
513.34/128.75	c calculated reachability. Time: 0.00
513.34/128.75	c  N dy  2473    537451       659      8347      3153     43225     53570    682346      9.89   no data  --
537.65/134.82	c  N dy  2595    557536       659      8347      3153     31501     53570    314078      9.90     11.13  --
559.19/140.25	c  N dy  2679    578103       659      8347      3153     51698     53570    888487      9.91     10.43  --
584.72/146.66	c  N dy  2770    599666       659      8347      3153     40424     53570    550318      9.91     10.45  --
609.45/152.82	c  N dy  2876    619901       659      8347      3153     60292     53570   1117368      9.93     10.45  --
632.98/158.77	c  N dy  2960    639914       659      8347      3153     46542     53570    689873      9.93     10.46  --
659.31/165.32	c  N dy  3032    660130       659      8347      3153     66361     53570   1252780      9.93     10.48  --
683.24/171.36	c  N dy  3130    680791       659      8347      3153     52304     53570    844356      9.93     10.48  --
712.35/178.62	c  N dy  3215    700845       659      8347      3153     36675     53570    389960      9.93     10.56  --
735.88/184.56	c  N dy  3325    720945       659      8347      3153     56367     53570    949695      9.95     10.52  --
763.43/191.45	c  N dy  3412    741318       659      8347      3153     40067     53570    463810      9.95     10.48  --
788.94/197.82	c  N dy  3495    762216       659      8347      3153     60629     53570   1043838      9.94     10.49  --
816.07/204.61	c  N dy  3569    782496       659      8347      3153     43219     53570    527417      9.94     10.50  --
841.57/211.03	c  N dy  3667    802757       659      8347      3153     63066     53570   1071168      9.95     10.49  --
846.36/212.29	c  S st  3691    806176       659      8347      3153     66420     53570   1168029      9.95      9.96  --
847.55/212.52	c  S st  3691    806680       659      8347      3153     66918     53570   1181627      9.95   no data  --
847.55/212.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
847.55/212.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
847.95/212.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.1M T:  0.47
847.95/212.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
850.75/213.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.83 s
850.75/213.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    659 time:  0.00 s
850.75/213.38	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
859.94/215.64	c lits-rem:       976  cl-subs:     3822  v-elim:      0  v-fix:    0  time:  9.00 s
859.94/215.65	c vivif2 --  cl tried     8347 cl shrink        0 lits rem          0 time: 0.01
859.94/215.67	c vivif2 --  cl tried    63096 cl shrink        0 lits rem          0 time: 0.08
861.11/215.91	c asymm  cl-useful: 0/422/8347 lits-rem:0 time: 0.96
861.11/215.91	c calculated reachability. Time: 0.00
861.11/215.91	c  N dy  3691    806680       659      8347      3153     63096     53570   1132177      9.95   no data  --
889.04/222.91	c  N dy  3776    827530       659      8347      3153     45333     53570    562488      9.95     10.48  --
915.36/229.60	c  N dy  3856    848269       659      8347      3153     65610     53570   1114053      9.95     10.49  --
946.07/237.24	c  N dy  3952    870282       659      8347      3153     48085     53570    653759      9.95     10.51  --
974.43/244.33	c  N dy  4022    891771       659      8347      3153     69100     53570   1219285      9.95     10.62  --
1002.30/251.38	c  N dy  4085    912142       659      8347      3153     48856     53570    637117      9.94     10.49  --
1030.23/258.30	c  N dy  4181    932169       659      8347      3153     68427     53570   1168541      9.95     10.77  --
1059.34/265.65	c  N dy  4266    952177       659      8347      3153     46920     53570    563046      9.95     11.63  --
1087.26/272.63	c  N dy  4355    972288       659      8347      3153     66561     53570   1089741      9.96     10.50  --
1117.98/280.39	c  N dy  4433    992415       659      8347      3153     44193     53570    472293      9.95     10.56  --
1145.12/287.18	c  N dy  4497   1013319       659      8347      3153     64602     53570    996092      9.95     10.48  --
1177.01/295.14	c  N dy  4581   1033500       659      8347      3153     84354     53570   1520995      9.95     10.49  --
1203.34/301.80	c  N dy  4679   1053638       659      8347      3153     61057     53570    907072      9.96     10.67  --
1231.68/308.81	c  F st  4755   1071876       659      8347      3153     78911     53570   1393269      9.96      9.31  --
1234.86/309.63	c  N st  4759   1073908       659      8347      3153     80904     53570   1447218      9.96   no data  --
1263.18/316.73	c  N dy  4822   1094007       659      8347      3153     56512     53570    767326      9.96     12.32  --
1292.71/324.15	c  N dy  4902   1114143       659      8347      3153     76204     53570   1296355      9.96     10.50  --
1324.21/332.02	c  N dy  4978   1134452       659      8347      3153     51019     53570    597551      9.96     10.57  --
1354.53/339.62	c  N dy  5044   1155998       659      8347      3153     72025     53570   1140778      9.95     10.51  --
1390.85/348.75	c  N dy  5118   1176045       659      8347      3153     91625     53570   1669376      9.95     10.54  --
1419.14/355.80	c  N dy  5197   1196131       659      8347      3153     65389     53570    970319      9.95     10.69  --
1440.28/361.19	c  S st  5238   1210020       659      8347      3153     78953     53570   1327673      9.95     10.01  --
1441.48/361.43	c  S st  5238   1210523       659      8347      3153     79449     53570   1341515      9.95   no data  --
1441.48/361.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1441.48/361.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1441.88/361.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.6M T:  0.56
1442.28/361.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1445.46/362.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  3.16 s
1445.46/362.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    659 time:  0.00 s
1445.46/362.41	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
1459.42/365.95	c lits-rem:       848  cl-subs:     5018  v-elim:      0  v-fix:    0  time: 14.10 s
1459.42/365.95	c vivif2 --  cl tried     8347 cl shrink        0 lits rem          0 time: 0.01
1459.42/365.97	c vivif2 --  cl tried    74431 cl shrink        0 lits rem          0 time: 0.10
1460.62/366.23	c asymm  cl-useful: 0/344/8347 lits-rem:0 time: 1.03
1460.62/366.23	c calculated reachability. Time: 0.00
1460.62/366.23	c  N dy  5238   1210523       659      8347      3153     74431     53570   1280170      9.95   no data  --
1493.73/374.56	c  N dy  5310   1230682       659      8347      3153     47244     53570    473403      9.95     10.51  --
1522.05/381.68	c  N dy  5384   1251332       659      8347      3153     67373     53570   1003534      9.95     10.47  --
1555.54/390.07	c  N dy  5473   1271362       659      8347      3153     86901     53570   1517168      9.95     10.49  --
1587.06/397.94	c  N dy  5557   1291409       659      8347      3153     58685     53570    755117      9.95     10.48  --
1618.57/405.81	c  N dy  5637   1311992       659      8347      3153     78809     53570   1280080      9.95     10.49  --
1654.09/414.78	c  N dy  5718   1332034       659      8347      3153     49579     53570    499274      9.95     10.49  --
1684.79/422.44	c  N dy  5783   1353659       659      8347      3153     70628     53570   1030976      9.95     10.55  --
1718.28/430.82	c  N dy  5863   1373662       659      8347      3153     90211     53570   1551108      9.94     11.37  --
1750.60/438.99	c  N dy  5938   1393746       659      8347      3153     59969     53570    741106      9.94     10.68  --
1782.49/446.93	c  N dy  6016   1413857       659      8347      3153     79598     53570   1255391      9.94     10.51  --
1817.98/455.86	c  N dy  6091   1433986       659      8347      3153     99172     53570   1755476      9.94     10.51  --
1848.29/463.41	c  N dy  6159   1454080       659      8347      3153     68042     53570    931824      9.94     10.50  --
1880.60/471.53	c  N dy  6206   1474191       659      8347      3153     87610     53570   1425095      9.93     10.47  --
1916.10/480.47	c  N dy  6279   1494243       659      8347      3153     55477     53570    602867      9.93     10.47  --
1949.21/488.76	c  N dy  6345   1515328       659      8347      3153     75985     53570   1124339      9.93     10.53  --
1983.56/497.32	c  N dy  6408   1535382       659      8347      3153     95454     53570   1611457      9.93     11.95  --
2018.66/506.14	c  N dy  6480   1556410       659      8347      3153     63376     53570    785351      9.92     10.58  --
2051.31/514.38	c  N dy  6562   1576714       659      8347      3153     83143     53570   1275877      9.92     10.45  --
2088.42/523.71	c  N dy  6618   1596993       659      8347      3153    102917     53570   1767873      9.92     10.46  --
2123.11/532.31	c  N dy  6694   1618537       659      8347      3153     70396     53570    964322      9.92     10.45  --
2157.81/541.05	c  N dy  6771   1638684       659      8347      3153     90057     53570   1457323      9.92     10.45  --
2198.88/551.38	c  N dy  6846   1658873       659      8347      3153     55160     53570    545947      9.91     10.56  --
2229.99/559.12	c  N dy  6908   1679333       659      8347      3153     75110     53570   1037737      9.91     10.46  --
2264.34/567.74	c  N dy  6964   1699347       659      8347      3153     94568     53570   1530466      9.91     11.47  --
2285.86/573.18	c  S st  7013   1710525       659      8347      3153    105466     53570   1806067      9.91      9.94  --
2287.02/573.49	c  S st  7013   1711026       659      8347      3153    105964     53570   1820451      9.91   no data  --
2287.42/573.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2287.42/573.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2287.82/573.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.5M T:  0.73
2288.22/573.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2292.61/574.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.46 s
2292.61/574.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    659 time:  0.00 s
2292.61/574.86	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
2322.12/582.21	c lits-rem:      1719  cl-subs:    10597  v-elim:      0  v-fix:    0  time: 29.29 s
2322.12/582.21	c vivif2 --  cl tried     8347 cl shrink        0 lits rem          0 time: 0.01
2322.12/582.24	c vivif2 --  cl tried    95367 cl shrink        0 lits rem          0 time: 0.13
2323.32/582.52	c asymm  cl-useful: 0/317/8347 lits-rem:0 time: 1.11
2323.32/582.52	c calculated reachability. Time: 0.00
2323.32/582.52	c  N dy  7013   1711026       659      8347      3153     95367     53570   1686551      9.91   no data  --
2360.01/591.79	c  N dy  7083   1731291       659      8347      3153     59720     53570    652190      9.91     10.45  --
2393.51/600.15	c  N dy  7134   1752181       659      8347      3153     80040     53570   1148768      9.90     10.44  --
2430.21/609.32	c  N dy  7185   1772295       659      8347      3153     99597     53570   1629603      9.89     10.75  --
2468.09/618.84	c  N dy  7254   1792379       659      8347      3154     62730     53570    710287      9.89     11.59  --
2500.40/626.97	c  N dy  7326   1812444       659      8347      3154     82257     53570   1187621      9.89     10.67  --
2540.30/636.96	c  N dy  7394   1833568       659      8347      3154    102777     53570   1682042      9.89     10.47  --
2578.97/646.61	c  N dy  7463   1854052       659      8347      3154     65311     53570    748892      9.88     10.42  --
2615.65/655.89	c  N dy  7514   1876042       659      8347      3154     86710     53570   1249489      9.88     10.44  --
2659.53/666.85	c  N dy  7588   1898171       659      8347      3155    108257     53570   1767478      9.87     10.41  --
2697.02/676.29	c  N dy  7654   1918620       659      8347      3155     69783     53570    839813      9.87     10.40  --
2732.52/685.15	c  N dy  7704   1939242       659      8347      3156     89830     53570   1309272      9.86     10.44  --
2772.00/695.03	c  N dy  7750   1959482       659      8347      3156    109460     53570   1782842      9.86     10.40  --
2810.28/704.63	c  N dy  7826   1980343       659      8347      3156     70415     53570    841312      9.85     10.45  --
2844.99/713.38	c  N dy  7896   2000377       659      8347      3156     89869     53570   1311473      9.85     10.42  --
2885.26/723.44	c  N dy  7947   2020748       659      8347      3157    109619     53570   1772599      9.85     10.43  --
2923.56/733.09	c  N dy  7998   2041081       659      8347      3157     69174     53570    803758      9.84     10.38  --
2959.85/742.11	c  N dy  8082   2061617       659      8347      3158     89156     53570   1288750      9.84     10.36  --
2999.34/752.07	c  N dy  8137   2081945       659      8347      3158    108868     53570   1759803      9.84     10.38  --
3040.87/762.43	c  N dy  8204   2102163       659      8347      3159     67329     53570    750126      9.83     10.40  --
3079.52/772.12	c  N dy  8265   2122560       659      8347      3160     87143     53570   1224646      9.83     10.38  --
3122.19/782.87	c  N dy  8345   2143605       659      8347      3161    107632     53570   1722964      9.83     10.37  --
3164.86/793.56	c  N dy  8406   2164113       659      8347      3163     65386     53570    680269      9.83     10.58  --
3198.81/802.06	c  N dy  8479   2184134       659      8347      3163     84884     53570   1160008      9.83     10.43  --
3238.30/811.96	c  N dy  8566   2204347       659      8347      3163    104531     53570   1645879      9.83     10.35  --
3252.21/815.48	c  S st  8600   2211026       659      8347      3163    111057     53570   1813587      9.83      9.36  --
3253.81/815.81	c  S st  8600   2211529       659      8347      3163    111554     53570   1827186      9.83   no data  --
3253.81/815.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3253.81/815.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3254.61/816.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.6M T:  0.78
3254.61/816.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3261.38/817.71	c subs with bin:     4255  lits-rem:      3256  v-fix:    0  time:  6.55 s
3261.38/817.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    659 time:  0.00 s
3261.38/817.71	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
3285.32/823.77	c lits-rem:      1085  cl-subs:     8596  v-elim:      0  v-fix:    0  time: 24.18 s
3285.32/823.77	c vivif2 --  cl tried     8347 cl shrink        0 lits rem          0 time: 0.01
3285.72/823.81	c vivif2 --  cl tried    98703 cl shrink        0 lits rem          0 time: 0.14
3286.91/824.10	c asymm  cl-useful: 0/296/8347 lits-rem:0 time: 1.16
3286.91/824.11	c calculated reachability. Time: 0.00
3286.91/824.11	c  N dy  8600   2211529       659      8347      3163     98703     53570   1690112      9.83   no data  --
3329.20/834.72	c  N dy  8683   2232097       659      8347      3163    118702     53570   2181825      9.83     10.39  --
3367.90/844.44	c  N dy  8755   2252170       659      8347      3164     75167     53570    932832      9.82     10.42  --
3405.37/853.84	c  N dy  8820   2272527       659      8347      3164     94944     53570   1409852      9.82     10.41  --
3446.86/864.20	c  N dy  8875   2292770       659      8347      3165    114637     53570   1885108      9.82     10.38  --
3489.13/874.87	c  N dy  8946   2312876       659      8347      3165     70057     53570    779497      9.82     10.41  --
3526.63/884.25	c  N dy  9019   2333426       659      8347      3165     90006     53570   1250909      9.82     10.54  --
3573.29/895.92	c  N dy  9097   2355929       659      8347      3165    111860     53570   1770564      9.82     10.34  --
3618.37/907.22	c  N dy  9151   2376274       659      8347      3165     66580     53570    683414      9.81     10.33  --
3655.11/916.46	c  N dy  9202   2397214       659      8347      3165     86893     53570   1160906      9.81     10.34  --
3696.15/926.71	c  N dy  9261   2417583       659      8347      3167    106661     53570   1628229      9.81     10.33  --
3742.04/938.26	c  N dy  9317   2438175       659      8347      3167    126683     53570   2103119      9.80     10.36  --
3782.37/948.31	c  N dy  9377   2458191       659      8347      3167     80128     53570   1003692      9.80     10.36  --
3825.82/959.27	c  N dy  9463   2479957       659      8347      3167    101325     53570   1503629      9.80     10.38  --
3870.48/970.44	c  N dy  9541   2500077       659      8347      3167    120896     53570   1979264      9.80     10.38  --
3916.76/982.03	c  N dy  9609   2520906       659      8347      3167     74020     53570    828322      9.80     10.38  --
3955.85/991.84	c  N dy  9694   2540949       659      8347      3167     93527     53570   1293825      9.80     10.50  --
4000.13/1002.91	c  N dy  9751   2562052       659      8347      3168    113956     53570   1760481      9.79     10.36  --
4049.20/1015.21	c  N dy  9814   2583494       659      8347      3168    134769     53570   2243497      9.79     10.44  --
4088.70/1025.19	c  N dy  9897   2603908       659      8347      3168     86602     53570   1101944      9.79     10.35  --
4129.37/1035.34	c  N dy  9966   2624005       659      8347      3168    106145     53570   1559540      9.79     10.38  --
4173.66/1046.47	c  N dy 10010   2644098       659      8347      3168    125566     53570   1994152      9.79     11.70  --
4220.76/1058.29	c  N dy 10075   2665345       659      8347      3168     77270     53570    854509      9.78     10.78  --
4261.82/1068.57	c  N dy 10140   2686149       659      8347      3168     97456     53570   1324766      9.78     10.43  --
4305.30/1079.49	c  N dy 10213   2706288       659      8347      3168    116930     53570   1768504      9.78     10.31  --
4317.29/1082.44	c  S st 10223   2711530       659      8347      3168    122000     53570   1877033      9.78   no data  --
4318.86/1082.80	c  S st 10223   2712033       659      8347      3168    122495     53570   1891860      9.78   no data  --
4318.86/1082.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4318.86/1082.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4319.66/1083.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.2M T:  0.87
4319.66/1083.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4324.86/1084.35	c subs with bin:     1947  lits-rem:      1276  v-fix:    0  time:  5.06 s
4324.86/1084.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    659 time:  0.00 s
4324.86/1084.35	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
4355.17/1091.95	c lits-rem:      1140  cl-subs:    11456  v-elim:      0  v-fix:    0  time: 30.30 s
4355.17/1091.95	c vivif2 --  cl tried     8347 cl shrink        0 lits rem          0 time: 0.01
4355.17/1091.99	c vivif2 --  cl tried   109092 cl shrink        0 lits rem          0 time: 0.15
4356.37/1092.28	c asymm  cl-useful: 0/287/8347 lits-rem:0 time: 1.17
4356.37/1092.29	c calculated reachability. Time: 0.00
4356.37/1092.29	c  N dy 10223   2712033       659      8347      3168    109092     53570   1741823      9.78   no data  --
4403.04/1103.90	c  N dy 10271   2732491       659      8347      3168    128865     53570   2189426      9.77     10.33  --
4447.32/1115.07	c  N dy 10339   2752753       659      8347      3168     79024     53570    915860      9.77     10.31  --
4475.26/1122.04	c Finding binary XORs  T:     0.00 s  found:       0
4488.84/1125.46	c  N dy 10396   2773141       659      8347      3170     98750     53570   1361121      9.77     10.30  --
4533.88/1136.70	c  N dy 10452   2793418       659      8347      3171    118403     53570   1822956      9.77     10.29  --
4594.51/1151.97	c  N dy 10486   2818951       659      8347      3172     72392     53570    734139      9.76     10.49  --
4634.01/1161.83	c  N dy 10553   2839488       658      8347      3173     92275     53570   1178003      9.76     10.32  --
4677.54/1172.73	c  N dy 10600   2859590       658      8347      3174    111722     53570   1607743      9.75     10.34  --
4726.95/1185.18	c  N dy 10649   2880486       658      8347      3174    131929     53570   2058575      9.75     10.29  --
4774.08/1197.00	c  N dy 10720   2900808       658      8347      3174     80025     53570    895570      9.75     10.33  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3369309-1305417557/watcher-3369309-1305417557 -o /tmp/evaluation-result-3369309-1305417557/solver-3369309-1305417557 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369309-1305417557.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: 7.86 8.04 7.94 5/354 9518
/proc/meminfo: memFree=17388172/32950928 swapFree=67111200/67111528
[pid=9518] ppid=9516 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/9518/stat : 9518 (strangenight1-m) R 9516 9518 9118 0 -1 4202496 440 0 0 0 0 0 0 0 25 0 4 0 731986410 52465664 369 33554432000 4194304 4650419 140734694294336 18446744073709551615 256415067426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/9518/statm: 40116 371 316 112 0 35081 0
[pid=9518/tid=9519] ppid=9516 vsize=217144 CPUtime=0 cores=1,3,5,7
/proc/9518/task/9519/stat : 9519 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 311 0 0 0 0 0 0 0 18 0 4 0 731986410 222355456 1462 33554432000 4194304 4650419 140734694294336 18446744073709551615 256415088395 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9518/tid=9520] ppid=9516 vsize=217144 CPUtime=0 cores=1,3,5,7
/proc/9518/task/9520/stat : 9520 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 241 0 0 0 0 0 0 0 25 0 4 0 731986410 222355456 1476 33554432000 4194304 4650419 140734694294336 18446744073709551615 4373800 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9518/tid=9521] ppid=9516 vsize=217144 CPUtime=0 cores=1,3,5,7
/proc/9518/task/9521/stat : 9521 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 354 0 0 0 0 0 0 0 25 0 4 0 731986410 222355456 1478 33554432000 4194304 4650419 140734694294336 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.110188 s]
/proc/loadavg: 7.86 8.04 7.94 5/354 9518
/proc/meminfo: memFree=17388172/32950928 swapFree=67111200/67111528
[pid=9518] ppid=9516 vsize=218284 CPUtime=0.4 cores=1,3,5,7
/proc/9518/stat : 9518 (strangenight1-m) R 9516 9518 9118 0 -1 4202496 2408 0 0 0 40 0 0 0 25 0 4 0 731986410 223522816 2326 33554432000 4194304 4650419 140734694294336 18446744073709551615 4369226 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9518/statm: 54571 2326 367 112 0 49536 0
[pid=9518/tid=9519] ppid=9516 vsize=218284 CPUtime=0.1 cores=1,3,5,7
/proc/9518/task/9519/stat : 9519 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 493 0 0 0 10 0 0 0 18 0 4 0 731986410 223522816 2326 33554432000 4194304 4650419 140734694294336 18446744073709551615 4371151 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9518/tid=9520] ppid=9516 vsize=218284 CPUtime=0.09 cores=1,3,5,7
/proc/9518/task/9520/stat : 9520 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 456 0 0 0 9 0 0 0 18 0 4 0 731986410 223522816 2326 33554432000 4194304 4650419 140734694294336 18446744073709551615 4369281 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9518/tid=9521] ppid=9516 vsize=218284 CPUtime=0.1 cores=1,3,5,7
/proc/9518/task/9521/stat : 9521 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 567 0 0 0 10 0 0 0 25 0 4 0 731986410 223522816 2326 33554432000 4194304 4650419 140734694294336 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 218284

[startup+0.201172 s]
/proc/loadavg: 7.86 8.04 7.94 5/354 9518
/proc/meminfo: memFree=17388172/32950928 swapFree=67111200/67111528
[pid=9518] ppid=9516 vsize=221188 CPUtime=0.76 cores=1,3,5,7
/proc/9518/stat : 9518 (strangenight1-m) R 9516 9518 9118 0 -1 4202496 3910 0 0 0 76 0 0 0 25 0 4 0 731986410 226496512 3488 33554432000 4194304 4650419 140734694294336 18446744073709551615 4426589 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9518/statm: 55297 3488 381 112 0 50262 0
[pid=9518/tid=9519] ppid=9516 vsize=221188 CPUtime=0.19 cores=1,3,5,7
/proc/9518/task/9519/stat : 9519 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 979 0 0 0 19 0 0 0 18 0 4 0 731986410 226496512 3488 33554432000 4194304 4650419 140734694294336 18446744073709551615 4435216 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9518/tid=9520] ppid=9516 vsize=221188 CPUtime=0.18 cores=1,3,5,7
/proc/9518/task/9520/stat : 9520 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 918 0 0 0 18 0 0 0 18 0 4 0 731986410 226496512 3488 33554432000 4194304 4650419 140734694294336 18446744073709551615 4435291 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9518/tid=9521] ppid=9516 vsize=221188 CPUtime=0.19 cores=1,3,5,7
/proc/9518/task/9521/stat : 9521 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 661 0 0 0 19 0 0 0 25 0 4 0 731986410 226496512 3488 33554432000 4194304 4650419 140734694294336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 221188

[startup+0.301155 s]
/proc/loadavg: 7.86 8.04 7.94 5/354 9518
/proc/meminfo: memFree=17388172/32950928 swapFree=67111200/67111528
[pid=9518] ppid=9516 vsize=222952 CPUtime=1.16 cores=1,3,5,7
/proc/9518/stat : 9518 (strangenight1-m) R 9516 9518 9118 0 -1 4202496 5005 0 0 0 116 0 0 0 25 0 4 0 731986410 228302848 4202 33554432000 4194304 4650419 140734694294336 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9518/statm: 55738 4202 392 112 0 50703 0
[pid=9518/tid=9519] ppid=9516 vsize=222952 CPUtime=0.29 cores=1,3,5,7
/proc/9518/task/9519/stat : 9519 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 1278 0 0 0 29 0 0 0 18 0 4 0 731986410 228302848 4202 33554432000 4194304 4650419 140734694294336 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9518/tid=9520] ppid=9516 vsize=222952 CPUtime=0.28 cores=1,3,5,7
/proc/9518/task/9520/stat : 9520 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 1204 0 0 0 28 0 0 0 18 0 4 0 731986410 228302848 4202 33554432000 4194304 4650419 140734694294336 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9518/tid=9521] ppid=9516 vsize=222952 CPUtime=0.29 cores=1,3,5,7
/proc/9518/task/9521/stat : 9521 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 916 0 0 0 29 0 0 0 25 0 4 0 731986410 228302848 4202 33554432000 4194304 4650419 140734694294336 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 222952

[startup+0.701078 s]
/proc/loadavg: 7.86 8.04 7.94 5/354 9518
/proc/meminfo: memFree=17388172/32950928 swapFree=67111200/67111528
[pid=9518] ppid=9516 vsize=223688 CPUtime=2.76 cores=1,3,5,7
/proc/9518/stat : 9518 (strangenight1-m) R 9516 9518 9118 0 -1 4202496 6489 0 0 0 276 0 0 0 25 0 4 0 731986410 229056512 4736 33554432000 4194304 4650419 140734694294336 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9518/statm: 55922 4736 392 112 0 50887 0
[pid=9518/tid=9519] ppid=9516 vsize=223688 CPUtime=0.69 cores=1,3,5,7
/proc/9518/task/9519/stat : 9519 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 1621 0 0 0 69 0 0 0 18 0 4 0 731986410 229056512 4736 33554432000 4194304 4650419 140734694294336 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9518/tid=9520] ppid=9516 vsize=223688 CPUtime=0.68 cores=1,3,5,7
/proc/9518/task/9520/stat : 9520 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 1545 0 0 0 68 0 0 0 18 0 4 0 731986410 229056512 4736 33554432000 4194304 4650419 140734694294336 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9518/tid=9521] ppid=9516 vsize=223688 CPUtime=0.69 cores=1,3,5,7
/proc/9518/task/9521/stat : 9521 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 1329 0 0 0 69 0 0 0 25 0 4 0 731986410 229056512 4736 33554432000 4194304 4650419 140734694294336 18446744073709551615 4363444 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 223688

[startup+1.50093 s]
/proc/loadavg: 7.87 8.04 7.94 9/358 9522
/proc/meminfo: memFree=17366564/32950928 swapFree=67111200/67111528
[pid=9518] ppid=9516 vsize=224916 CPUtime=5.95 cores=1,3,5,7
/proc/9518/stat : 9518 (strangenight1-m) R 9516 9518 9118 0 -1 4202496 9005 0 0 0 594 1 0 0 25 0 4 0 731986410 230313984 5040 33554432000 4194304 4650419 140734694294336 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9518/statm: 56229 5040 392 112 0 51194 0
[pid=9518/tid=9519] ppid=9516 vsize=224916 CPUtime=1.49 cores=1,3,5,7
/proc/9518/task/9519/stat : 9519 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 2309 0 0 0 149 0 0 0 19 0 4 0 731986410 230313984 5040 33554432000 4194304 4650419 140734694294336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9518/tid=9520] ppid=9516 vsize=224916 CPUtime=1.48 cores=1,3,5,7
/proc/9518/task/9520/stat : 9520 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 2177 0 0 0 148 0 0 0 19 0 4 0 731986410 230313984 5040 33554432000 4194304 4650419 140734694294336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9518/tid=9521] ppid=9516 vsize=224916 CPUtime=1.49 cores=1,3,5,7
/proc/9518/task/9521/stat : 9521 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 1863 0 0 0 149 0 0 0 25 0 4 0 731986410 230313984 5040 33554432000 4194304 4650419 140734694294336 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 224916

[startup+3.10063 s]
/proc/loadavg: 7.87 8.04 7.94 9/358 9522
/proc/meminfo: memFree=17360616/32950928 swapFree=67111200/67111528
[pid=9518] ppid=9516 vsize=229552 CPUtime=12.34 cores=1,3,5,7
/proc/9518/stat : 9518 (strangenight1-m) R 9516 9518 9118 0 -1 4202496 14689 0 0 0 1232 2 0 0 25 0 4 0 731986410 235061248 7656 33554432000 4194304 4650419 140734694294336 18446744073709551615 4439619 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9518/statm: 57388 7656 394 112 0 52353 0
[pid=9518/tid=9519] ppid=9516 vsize=229552 CPUtime=3.09 cores=1,3,5,7
/proc/9518/task/9519/stat : 9519 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 4112 0 0 0 309 0 0 0 25 0 4 0 731986410 235061248 7656 33554432000 4194304 4650419 140734694294336 18446744073709551615 4438922 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9518/tid=9520] ppid=9516 vsize=229552 CPUtime=3.08 cores=1,3,5,7
/proc/9518/task/9520/stat : 9520 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 3197 0 0 0 308 0 0 0 25 0 4 0 731986410 235061248 7656 33554432000 4194304 4650419 140734694294336 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9518/tid=9521] ppid=9516 vsize=229552 CPUtime=3.08 cores=1,3,5,7
/proc/9518/task/9521/stat : 9521 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 2937 0 0 0 308 0 0 0 25 0 4 0 731986410 235061248 7656 33554432000 4194304 4650419 140734694294336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 229552

[startup+6.30103 s]
/proc/loadavg: 7.87 8.04 7.94 9/358 9522
/proc/meminfo: memFree=17359524/32950928 swapFree=67111200/67111528
[pid=9518] ppid=9516 vsize=239596 CPUtime=25.11 cores=1,3,5,7
/proc/9518/stat : 9518 (strangenight1-m) R 9516 9518 9118 0 -1 4202496 22840 0 0 0 2506 5 0 0 25 0 4 0 731986410 245346304 13072 33554432000 4194304 4650419 140734694294336 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9518/statm: 59899 13072 394 112 0 54864 0
[pid=9518/tid=9519] ppid=9516 vsize=239596 CPUtime=6.28 cores=1,3,5,7
/proc/9518/task/9519/stat : 9519 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 5290 0 0 0 628 0 0 0 25 0 4 0 731986410 245346304 13072 33554432000 4194304 4650419 140734694294336 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9518/tid=9520] ppid=9516 vsize=239596 CPUtime=6.28 cores=1,3,5,7
/proc/9518/task/9520/stat : 9520 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 5627 0 0 0 627 1 0 0 25 0 4 0 731986410 245346304 13072 33554432000 4194304 4650419 140734694294336 18446744073709551615 4370610 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9518/tid=9521] ppid=9516 vsize=239596 CPUtime=6.29 cores=1,3,5,7
/proc/9518/task/9521/stat : 9521 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 6340 0 0 0 628 1 0 0 25 0 4 0 731986410 245346304 13072 33554432000 4194304 4650419 140734694294336 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 239596

[startup+12.7008 s]
/proc/loadavg: 7.89 8.04 7.94 9/358 9522
/proc/meminfo: memFree=17371692/32950928 swapFree=67111200/67111528
[pid=9518] ppid=9516 vsize=239996 CPUtime=50.63 cores=1,3,5,7
/proc/9518/stat : 9518 (strangenight1-m) R 9516 9518 9118 0 -1 4202496 31194 0 0 0 5056 7 0 0 25 0 4 0 731986410 245755904 16681 33554432000 4194304 4650419 140734694294336 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9518/statm: 59999 16681 394 112 0 54964 0
[pid=9518/tid=9519] ppid=9516 vsize=239996 CPUtime=12.69 cores=1,3,5,7
/proc/9518/task/9519/stat : 9519 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 7299 0 0 0 1268 1 0 0 25 0 4 0 731986410 245755904 16681 33554432000 4194304 4650419 140734694294336 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9518/tid=9520] ppid=9516 vsize=239996 CPUtime=12.67 cores=1,3,5,7
/proc/9518/task/9520/stat : 9520 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 7644 0 0 0 1266 1 0 0 25 0 4 0 731986410 245755904 16681 33554432000 4194304 4650419 140734694294336 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9518/tid=9521] ppid=9516 vsize=239996 CPUtime=12.68 cores=1,3,5,7
/proc/9518/task/9521/stat : 9521 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 8704 0 0 0 1267 1 0 0 25 0 4 0 731986410 245755904 16681 33554432000 4194304 4650419 140734694294336 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 239996

[startup+25.5004 s]
/proc/loadavg: 7.91 8.03 7.94 9/358 9522
/proc/meminfo: memFree=17336248/32950928 swapFree=67111200/67111528
[pid=9518] ppid=9516 vsize=262308 CPUtime=101.68 cores=1,3,5,7
/proc/9518/stat : 9518 (strangenight1-m) R 9516 9518 9118 0 -1 4202496 46236 0 0 0 10158 10 0 0 25 0 4 0 731986410 268603392 22252 33554432000 4194304 4650419 140734694294336 18446744073709551615 4365286 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9518/statm: 65577 22252 394 112 0 60542 0
[pid=9518/tid=9519] ppid=9516 vsize=262308 CPUtime=25.48 cores=1,3,5,7
/proc/9518/task/9519/stat : 9519 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 10865 0 0 0 2546 2 0 0 25 0 4 0 731986410 268603392 22252 33554432000 4194304 4650419 140734694294336 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9518/tid=9520] ppid=9516 vsize=262308 CPUtime=25.47 cores=1,3,5,7
/proc/9518/task/9520/stat : 9520 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 10979 0 0 0 2545 2 0 0 25 0 4 0 731986410 268603392 22252 33554432000 4194304 4650419 140734694294336 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9518/tid=9521] ppid=9516 vsize=262308 CPUtime=25.48 cores=1,3,5,7
/proc/9518/task/9521/stat : 9521 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 13114 0 0 0 2546 2 0 0 25 0 4 0 731986410 268603392 22252 33554432000 4194304 4650419 140734694294336 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 262308

[startup+51.1006 s]
/proc/loadavg: 7.94 8.03 7.94 9/358 9523
/proc/meminfo: memFree=17303032/32950928 swapFree=67111200/67111528
[pid=9518] ppid=9516 vsize=253492 CPUtime=203.79 cores=1,3,5,7
/proc/9518/stat : 9518 (strangenight1-m) R 9516 9518 9118 0 -1 4202496 70190 0 0 0 20361 18 0 0 25 0 4 0 731986410 259575808 27101 33554432000 4194304 4650419 140734694294336 18446744073709551615 4366928 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9518/statm: 63373 27101 395 112 0 58338 0
[pid=9518/tid=9519] ppid=9516 vsize=253492 CPUtime=51.08 cores=1,3,5,7
/proc/9518/task/9519/stat : 9519 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 16354 0 0 0 5104 4 0 0 25 0 4 0 731986410 259575808 27101 33554432000 4194304 4650419 140734694294336 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9518/tid=9520] ppid=9516 vsize=253492 CPUtime=51.08 cores=1,3,5,7
/proc/9518/task/9520/stat : 9520 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 17473 0 0 0 5103 5 0 0 25 0 4 0 731986410 259575808 27101 33554432000 4194304 4650419 140734694294336 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9518/tid=9521] ppid=9516 vsize=253492 CPUtime=51.08 cores=1,3,5,7
/proc/9518/task/9521/stat : 9521 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 18753 0 0 0 5104 4 0 0 25 0 4 0 731986410 259575808 27101 33554432000 4194304 4650419 140734694294336 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.79
Current children cumulated vsize (KiB) 253492

[startup+102.301 s]
/proc/loadavg: 8.01 8.04 7.94 9/358 9524
/proc/meminfo: memFree=17230484/32950928 swapFree=67111200/67111528
[pid=9518] ppid=9516 vsize=319976 CPUtime=408.04 cores=1,3,5,7
/proc/9518/stat : 9518 (strangenight1-m) R 9516 9518 9118 0 -1 4202496 103413 0 0 0 40774 30 0 0 25 0 4 0 731986410 327655424 31883 33554432000 4194304 4650419 140734694294336 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9518/statm: 79994 31883 394 112 0 74959 0
[pid=9518/tid=9519] ppid=9516 vsize=319976 CPUtime=102.29 cores=1,3,5,7
/proc/9518/task/9519/stat : 9519 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 24523 0 0 0 10222 7 0 0 25 0 4 0 731986410 327655424 31885 33554432000 4194304 4650419 140734694294336 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9518/tid=9520] ppid=9516 vsize=319976 CPUtime=102.29 cores=1,3,5,7
/proc/9518/task/9520/stat : 9520 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 24990 0 0 0 10222 7 0 0 25 0 4 0 731986410 327655424 31885 33554432000 4194304 4650419 140734694294336 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9518/tid=9521] ppid=9516 vsize=319976 CPUtime=102.3 cores=1,3,5,7
/proc/9518/task/9521/stat : 9521 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 28543 0 0 0 10222 8 0 0 25 0 4 0 731986410 327655424 31885 33554432000 4194304 4650419 140734694294336 18446744073709551615 4366882 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.04
Current children cumulated vsize (KiB) 319976

[startup+162.301 s]

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

[pid=9518] ppid=9516 vsize=327804 CPUtime=2561.82 cores=1,3,5,7
/proc/9518/stat : 9518 (strangenight1-m) R 9516 9518 9118 0 -1 4202496 300300 0 0 0 256045 137 0 0 25 0 4 0 731986410 335671296 58624 33554432000 4194304 4650419 140734694294336 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9518/statm: 81951 58624 394 112 0 76916 0
[pid=9518/tid=9519] ppid=9516 vsize=327804 CPUtime=642.28 cores=1,3,5,7
/proc/9518/task/9519/stat : 9519 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 68844 0 0 0 64196 32 0 0 25 0 4 0 731986410 335671296 58624 33554432000 4194304 4650419 140734694294336 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9518/tid=9520] ppid=9516 vsize=327804 CPUtime=642.29 cores=1,3,5,7
/proc/9518/task/9520/stat : 9520 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 67707 0 0 0 64197 32 0 0 25 0 4 0 731986410 335671296 58624 33554432000 4194304 4650419 140734694294336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9518/tid=9521] ppid=9516 vsize=327804 CPUtime=642.3 cores=1,3,5,7
/proc/9518/task/9521/stat : 9521 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 95300 0 0 0 64188 42 0 0 25 0 4 0 731986410 335671296 58624 33554432000 4194304 4650419 140734694294336 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2561.82
Current children cumulated vsize (KiB) 327804

[startup+702.301 s]
/proc/loadavg: 8.10 8.09 8.01 9/358 9549
/proc/meminfo: memFree=16969756/32950928 swapFree=67111200/67111528
[pid=9518] ppid=9516 vsize=352096 CPUtime=2801.12 cores=1,3,5,7
/proc/9518/stat : 9518 (strangenight1-m) R 9516 9518 9118 0 -1 4202496 317211 0 0 0 279964 148 0 0 25 0 4 0 731986410 360546304 58824 33554432000 4194304 4650419 140734694294336 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9518/statm: 88024 58824 394 112 0 82989 0
[pid=9518/tid=9519] ppid=9516 vsize=352096 CPUtime=702.28 cores=1,3,5,7
/proc/9518/task/9519/stat : 9519 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 73398 0 0 0 70193 35 0 0 25 0 4 0 731986410 360546304 58824 33554432000 4194304 4650419 140734694294336 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9518/tid=9520] ppid=9516 vsize=352096 CPUtime=702.29 cores=1,3,5,7
/proc/9518/task/9520/stat : 9520 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 71880 0 0 0 70195 34 0 0 25 0 4 0 731986410 360546304 58824 33554432000 4194304 4650419 140734694294336 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9518/tid=9521] ppid=9516 vsize=352096 CPUtime=702.3 cores=1,3,5,7
/proc/9518/task/9521/stat : 9521 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 101121 0 0 0 70185 45 0 0 25 0 4 0 731986410 360546304 58824 33554432000 4194304 4650419 140734694294336 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2801.12
Current children cumulated vsize (KiB) 352096

[startup+762.3 s]
/proc/loadavg: 8.14 8.10 8.01 9/358 9551
/proc/meminfo: memFree=16954868/32950928 swapFree=67111200/67111528
[pid=9518] ppid=9516 vsize=364488 CPUtime=3040.45 cores=1,3,5,7
/proc/9518/stat : 9518 (strangenight1-m) R 9516 9518 9118 0 -1 4202496 333398 0 0 0 303890 155 0 0 25 0 4 0 731986410 373235712 64553 33554432000 4194304 4650419 140734694294336 18446744073709551615 4365286 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9518/statm: 91122 64553 394 112 0 86087 0
[pid=9518/tid=9519] ppid=9516 vsize=364488 CPUtime=762.3 cores=1,3,5,7
/proc/9518/task/9519/stat : 9519 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 76161 0 0 0 76192 38 0 0 25 0 4 0 731986410 373235712 64553 33554432000 4194304 4650419 140734694294336 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9518/tid=9520] ppid=9516 vsize=364488 CPUtime=762.3 cores=1,3,5,7
/proc/9518/task/9520/stat : 9520 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 76145 0 0 0 76195 35 0 0 25 0 4 0 731986410 373235712 64553 33554432000 4194304 4650419 140734694294336 18446744073709551615 4435469 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9518/tid=9521] ppid=9516 vsize=364488 CPUtime=762.32 cores=1,3,5,7
/proc/9518/task/9521/stat : 9521 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 106758 0 0 0 76184 48 0 0 25 0 4 0 731986410 373235712 64553 33554432000 4194304 4650419 140734694294336 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3040.45
Current children cumulated vsize (KiB) 364488

[startup+822.301 s]
/proc/loadavg: 8.14 8.11 8.02 9/358 9552
/proc/meminfo: memFree=16921372/32950928 swapFree=67111200/67111528
[pid=9518] ppid=9516 vsize=376876 CPUtime=3279.73 cores=1,3,5,7
/proc/9518/stat : 9518 (strangenight1-m) R 9516 9518 9118 0 -1 4202496 345865 0 0 0 327812 161 0 0 25 0 4 0 731986410 385921024 69889 33554432000 4194304 4650419 140734694294336 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9518/statm: 94219 69889 394 112 0 89184 0
[pid=9518/tid=9519] ppid=9516 vsize=376876 CPUtime=822.28 cores=1,3,5,7
/proc/9518/task/9519/stat : 9519 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 77200 0 0 0 82190 38 0 0 25 0 4 0 731986410 385921024 69889 33554432000 4194304 4650419 140734694294336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9518/tid=9520] ppid=9516 vsize=376876 CPUtime=822.29 cores=1,3,5,7
/proc/9518/task/9520/stat : 9520 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 78803 0 0 0 82193 36 0 0 25 0 4 0 731986410 385921024 69889 33554432000 4194304 4650419 140734694294336 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9518/tid=9521] ppid=9516 vsize=376876 CPUtime=822.31 cores=1,3,5,7
/proc/9518/task/9521/stat : 9521 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 111799 0 0 0 82181 50 0 0 25 0 4 0 731986410 385921024 69889 33554432000 4194304 4650419 140734694294336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3279.73
Current children cumulated vsize (KiB) 376876

[startup+882.314 s]
/proc/loadavg: 8.05 8.09 8.01 9/358 9554
/proc/meminfo: memFree=16885400/32950928 swapFree=67111200/67111528
[pid=9518] ppid=9516 vsize=378012 CPUtime=3519.09 cores=1,3,5,7
/proc/9518/stat : 9518 (strangenight1-m) R 9516 9518 9118 0 -1 4202496 361823 0 0 0 351737 172 0 0 25 0 4 0 731986410 387084288 70003 33554432000 4194304 4650419 140734694294336 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9518/statm: 94503 70003 394 112 0 89468 0
[pid=9518/tid=9519] ppid=9516 vsize=378012 CPUtime=882.3 cores=1,3,5,7
/proc/9518/task/9519/stat : 9519 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 81639 0 0 0 88188 42 0 0 25 0 4 0 731986410 387084288 70003 33554432000 4194304 4650419 140734694294336 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9518/tid=9520] ppid=9516 vsize=378012 CPUtime=882.31 cores=1,3,5,7
/proc/9518/task/9520/stat : 9520 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 81401 0 0 0 88193 38 0 0 25 0 4 0 731986410 387084288 70003 33554432000 4194304 4650419 140734694294336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9518/tid=9521] ppid=9516 vsize=378012 CPUtime=882.33 cores=1,3,5,7
/proc/9518/task/9521/stat : 9521 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 115844 0 0 0 88180 53 0 0 25 0 4 0 731986410 387084288 70003 33554432000 4194304 4650419 140734694294336 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3519.09
Current children cumulated vsize (KiB) 378012

[startup+942.3 s]
/proc/loadavg: 5.79 7.47 7.80 5/349 9574
/proc/meminfo: memFree=17499552/32950928 swapFree=67111200/67111528
[pid=9518] ppid=9516 vsize=403244 CPUtime=3758.39 cores=1,3,5,7
/proc/9518/stat : 9518 (strangenight1-m) R 9516 9518 9118 0 -1 4202496 379313 0 0 0 375658 181 0 0 25 0 4 0 731986410 412921856 74102 33554432000 4194304 4650419 140734694294336 18446744073709551615 4314985 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9518/statm: 100811 74102 394 112 0 95776 0
[pid=9518/tid=9519] ppid=9516 vsize=403244 CPUtime=942.28 cores=1,3,5,7
/proc/9518/task/9519/stat : 9519 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 86499 0 0 0 94183 45 0 0 25 0 4 0 731986410 412921856 74102 33554432000 4194304 4650419 140734694294336 18446744073709551615 4328106 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9518/tid=9520] ppid=9516 vsize=403244 CPUtime=942.3 cores=1,3,5,7
/proc/9518/task/9520/stat : 9520 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 84191 0 0 0 94190 40 0 0 25 0 4 0 731986410 412921856 74102 33554432000 4194304 4650419 140734694294336 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9518/tid=9521] ppid=9516 vsize=403244 CPUtime=942.31 cores=1,3,5,7
/proc/9518/task/9521/stat : 9521 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 120951 0 0 0 94176 55 0 0 25 0 4 0 731986410 412921856 74102 33554432000 4194304 4650419 140734694294336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3758.39
Current children cumulated vsize (KiB) 403244

[startup+1002.3 s]
/proc/loadavg: 4.69 6.85 7.57 5/349 9575
/proc/meminfo: memFree=17475860/32950928 swapFree=67111200/67111528
[pid=9518] ppid=9516 vsize=415988 CPUtime=3997.73 cores=1,3,5,7
/proc/9518/stat : 9518 (strangenight1-m) R 9516 9518 9118 0 -1 4202496 393071 0 0 0 399584 189 0 0 25 0 4 0 731986410 425971712 79308 33554432000 4194304 4650419 140734694294336 18446744073709551615 4365348 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9518/statm: 103997 79308 394 112 0 98962 0
[pid=9518/tid=9519] ppid=9516 vsize=415988 CPUtime=1002.28 cores=1,3,5,7
/proc/9518/task/9519/stat : 9519 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 90462 0 0 0 100180 48 0 0 25 0 4 0 731986410 425971712 79308 33554432000 4194304 4650419 140734694294336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9518/tid=9520] ppid=9516 vsize=415988 CPUtime=1002.3 cores=1,3,5,7
/proc/9518/task/9520/stat : 9520 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 84437 0 0 0 100190 40 0 0 25 0 4 0 731986410 425971712 79308 33554432000 4194304 4650419 140734694294336 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9518/tid=9521] ppid=9516 vsize=415988 CPUtime=1002.32 cores=1,3,5,7
/proc/9518/task/9521/stat : 9521 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 126640 0 0 0 100174 58 0 0 25 0 4 0 731986410 425971712 79308 33554432000 4194304 4650419 140734694294336 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3997.73
Current children cumulated vsize (KiB) 415988

[startup+1062.3 s]
/proc/loadavg: 4.25 6.33 7.34 5/349 9577
/proc/meminfo: memFree=17472256/32950928 swapFree=67111200/67111528
[pid=9518] ppid=9516 vsize=416112 CPUtime=4237.09 cores=1,3,5,7
/proc/9518/stat : 9518 (strangenight1-m) R 9516 9518 9118 0 -1 4202496 402377 0 0 0 423514 195 0 0 25 0 4 0 731986410 426098688 80192 33554432000 4194304 4650419 140734694294336 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9518/statm: 104028 80192 394 112 0 98993 0
[pid=9518/tid=9519] ppid=9516 vsize=416112 CPUtime=1062.29 cores=1,3,5,7
/proc/9518/task/9519/stat : 9519 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 91222 0 0 0 106180 49 0 0 25 0 4 0 731986410 426098688 80192 33554432000 4194304 4650419 140734694294336 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9518/tid=9520] ppid=9516 vsize=416112 CPUtime=1062.3 cores=1,3,5,7
/proc/9518/task/9520/stat : 9520 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 84668 0 0 0 106190 40 0 0 25 0 4 0 731986410 426098688 80192 33554432000 4194304 4650419 140734694294336 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9518/tid=9521] ppid=9516 vsize=416112 CPUtime=1062.32 cores=1,3,5,7
/proc/9518/task/9521/stat : 9521 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 131657 0 0 0 106172 60 0 0 25 0 4 0 731986410 426098688 80192 33554432000 4194304 4650419 140734694294336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4237.09
Current children cumulated vsize (KiB) 416112

[startup+1122.3 s]
/proc/loadavg: 4.09 5.90 7.13 5/349 9578
/proc/meminfo: memFree=17490356/32950928 swapFree=67111200/67111528
[pid=9518] ppid=9516 vsize=392228 CPUtime=4476.43 cores=1,3,5,7
/proc/9518/stat : 9518 (strangenight1-m) R 9516 9518 9118 0 -1 4202496 409592 0 0 0 447443 200 0 0 25 0 4 0 731986410 401641472 75427 33554432000 4194304 4650419 140734694294336 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9518/statm: 98057 75427 394 112 0 93022 0
[pid=9518/tid=9519] ppid=9516 vsize=392228 CPUtime=1122.29 cores=1,3,5,7
/proc/9518/task/9519/stat : 9519 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 91368 0 0 0 112179 50 0 0 25 0 4 0 731986410 401641472 75427 33554432000 4194304 4650419 140734694294336 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9518/tid=9520] ppid=9516 vsize=392228 CPUtime=1122.3 cores=1,3,5,7
/proc/9518/task/9520/stat : 9520 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 85078 0 0 0 112190 40 0 0 25 0 4 0 731986410 401641472 75427 33554432000 4194304 4650419 140734694294336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9518/tid=9521] ppid=9516 vsize=392228 CPUtime=1122.32 cores=1,3,5,7
/proc/9518/task/9521/stat : 9521 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 135552 0 0 0 112169 63 0 0 25 0 4 0 731986410 401641472 75428 33554432000 4194304 4650419 140734694294336 18446744073709551615 4520109 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4476.43
Current children cumulated vsize (KiB) 392228

[startup+1182.3 s]
/proc/loadavg: 4.03 5.55 6.93 5/349 9580
/proc/meminfo: memFree=17483400/32950928 swapFree=67111200/67111528
[pid=9518] ppid=9516 vsize=405280 CPUtime=4715.79 cores=1,3,5,7
/proc/9518/stat : 9518 (strangenight1-m) R 9516 9518 9118 0 -1 4202496 419901 0 0 0 471372 207 0 0 25 0 4 0 731986410 415006720 77137 33554432000 4194304 4650419 140734694294336 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9518/statm: 101320 77137 394 112 0 96285 0
[pid=9518/tid=9519] ppid=9516 vsize=405280 CPUtime=1182.28 cores=1,3,5,7
/proc/9518/task/9519/stat : 9519 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 95343 0 0 0 118176 52 0 0 25 0 4 0 731986410 415006720 77137 33554432000 4194304 4650419 140734694294336 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9518/tid=9520] ppid=9516 vsize=405280 CPUtime=1182.31 cores=1,3,5,7
/proc/9518/task/9520/stat : 9520 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 85081 0 0 0 118190 41 0 0 25 0 4 0 731986410 415006720 77137 33554432000 4194304 4650419 140734694294336 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9518/tid=9521] ppid=9516 vsize=405280 CPUtime=1182.32 cores=1,3,5,7
/proc/9518/task/9521/stat : 9521 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 140533 0 0 0 118166 66 0 0 25 0 4 0 731986410 415006720 77137 33554432000 4194304 4650419 140734694294336 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4715.79
Current children cumulated vsize (KiB) 405280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.51 s]
/proc/loadavg: 4.02 5.45 6.87 5/349 9581
/proc/meminfo: memFree=17469864/32950928 swapFree=67111200/67111528
[pid=9518] ppid=9516 vsize=418000 CPUtime=4800.42 cores=1,3,5,7
/proc/9518/stat : 9518 (strangenight1-m) R 9516 9518 9118 0 -1 4202496 423376 0 0 0 479832 210 0 0 25 0 4 0 731986410 428032000 80611 33554432000 4194304 4650419 140734694294336 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9518/statm: 104500 80611 394 112 0 99465 0
[pid=9518/tid=9519] ppid=9516 vsize=418000 CPUtime=1203.51 cores=1,3,5,7
/proc/9518/task/9519/stat : 9519 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 96406 0 0 0 120298 53 0 0 25 0 4 0 731986410 428032000 80611 33554432000 4194304 4650419 140734694294336 18446744073709551615 4366119 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9518/tid=9520] ppid=9516 vsize=418000 CPUtime=1203.53 cores=1,3,5,7
/proc/9518/task/9520/stat : 9520 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 85081 0 0 0 120312 41 0 0 25 0 4 0 731986410 428032000 80611 33554432000 4194304 4650419 140734694294336 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9518/tid=9521] ppid=9516 vsize=418000 CPUtime=1203.55 cores=1,3,5,7
/proc/9518/task/9521/stat : 9521 (strangenight1-m) R 9516 9518 9118 0 -1 4202560 141462 0 0 0 120288 67 0 0 25 0 4 0 731986410 428032000 80611 33554432000 4194304 4650419 140734694294336 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.42
Current children cumulated vsize (KiB) 418000

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): 1203.55
CPU time (s): 4800.49
CPU user time (s): 4798.36
CPU system time (s): 2.12168
CPU usage (%): 398.862
Max. virtual memory (cumulated for all children) (KiB): 430024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.36
system time used= 2.12168
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 423376
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= 447
involuntary context switches= 31706

runsolver used 3.49147 second user time and 10.2734 second system time

The end

Launcher Data 

Begin job on node115 at 2011-05-15 01:59:17
IDJOB=3369309
IDBENCH=85826
IDSOLVER=1846
FILE ID=node115/3369309-1305417557
RUNJOBID= node115-1305414525-9137
PBS_JOBID= 13324547
Free space on /tmp= 73228 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT05/crafted/sorge05/QG7/gensys-icl007.shuffled-as.sat05-3133.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369309-1305417557/watcher-3369309-1305417557 -o /tmp/evaluation-result-3369309-1305417557/solver-3369309-1305417557 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369309-1305417557.cnf

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

MD5SUM BENCH= 88361752c7b0c05e849791aafdd7bdba
RANDOM SEED=117873138

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      17388452 kB
Buffers:        291876 kB
Cached:        4529420 kB
SwapCached:          0 kB
Active:       12375940 kB
Inactive:      2869272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      17388452 kB
SwapTotal:    67111528 kB
SwapFree:     67111200 kB
Dirty:            6260 kB
Writeback:           0 kB
AnonPages:    10423600 kB
Mapped:          28644 kB
Slab:           211204 kB
PageTables:      41820 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 70142552 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= 73228 MiB
End job on node115 at 2011-05-15 02:19:23