Trace number 3265897

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

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-3265897-1304181009.cnf'
0.00/0.00	c -- header says num vars:            762
0.00/0.00	c -- header says num clauses:       17262
0.00/0.02	c -- clauses added:            0 learnts,        17262 normals,            0 xors
0.00/0.02	c -- vars added        762
0.00/0.02	c Parsing time:  0.03 s
0.00/0.02	c  N st     0         0       762     13352      2933         0     71694         0   no data   no data  --
0.00/0.19	c asymm  cl-useful: 180/9738/9738 lits-rem:237 time: 0.67
0.00/0.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.02
0.00/0.41	c bin-w-bin subsume rem         3031 bins  time:  0.00 s
0.00/0.41	c subs with bin:      971  lits-rem:       578  v-fix:    0  time:  0.02 s
0.00/0.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    706 time:  0.00 s
0.00/0.41	c Removed useless bin:       0  fixed:     0  props:   0.04M  time:  0.00 s
3.96/1.00	c lits-rem:       254  cl-subs:      358  v-elim:     44  v-fix:    0  time:  0.04 s
3.96/1.00	c Finding binary XORs  T:     0.00 s  found:       0
3.96/1.00	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
3.96/1.00	c calculated reachability. Time: 0.00
3.96/1.00	c Calc default polars -  time:   0.00 s pos:     277 undec:     223 neg:     262
3.96/1.00	c =========================================================================================
3.96/1.00	c types(t): F = full restart, N = normal restart
3.96/1.00	c types(t): S = simplification begin/end, E = solution found
3.96/1.00	c restart types(rt): st = static, dy = dynamic
3.96/1.00	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.96/1.00	c  B st     0         0       662      8361      3547         0     54538         0   no data   no data  --
3.96/1.00	c  N dy    14      4313       662      8361      3547      4256     54538     96324      9.37      9.88  --
3.96/1.00	c  N dy    23      8418       662      8361      3550      5862     54538    124483      8.86      9.35  --
3.96/1.00	c  N dy    48     12881       662      8361      3550      6074     54538     99719      9.07      9.57  --
4.76/1.20	c  N dy    67     17344       662      8361      3550     10479     54538    211868      9.11      9.61  --
5.97/1.52	c  N dy    80     21446       662      8361      3550      8966     54538    150739      9.05      9.54  --
7.18/1.82	c  F st    94     25000       662      8361      3550     12462     54538    239837      9.04      8.31  --
7.18/1.89	c  N st    96     25627       662      8361      3550     13083     54538    258656      9.04   no data  --
8.75/2.25	c  N dy   100     30000       662      8361      3551     10683     54538    182700      9.04   no data  --
8.75/2.25	c  S st   100     30000       662      8361      3551     10683     54538    182700      9.04   no data  --
9.15/2.30	c  S st   100     30503       662      8361      3551     11182     54538    195630      9.04   no data  --
9.15/2.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.15/2.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.15/2.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P:  1.0M T:  0.08
9.15/2.33	c bin-w-bin subsume rem          400 bins  time:  0.00 s
9.55/2.42	c subs with bin:       10  lits-rem:         0  v-fix:    0  time:  0.37 s
9.55/2.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    662 time:  0.00 s
9.55/2.42	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
12.35/3.16	c lits-rem:       887  cl-subs:      409  v-elim:      2  v-fix:    0  time:  2.95 s
13.95/3.54	c asymm  cl-useful: 3/6248/8350 lits-rem:3 time: 1.55
13.95/3.55	c calculated reachability. Time: 0.00
13.95/3.55	c  N dy   100     30503       660      8350      3153     10773     53607    189417      9.04   no data  --
15.96/4.02	c  N dy   125     35388       660      8350      3153     15612     53607    332047      9.08      9.56  --
17.54/4.41	c  N dy   147     39469       660      8350      3153     11836     53607    198465      9.14     10.10  --
19.14/4.88	c  N dy   170     43728       660      8350      3153     16049     53607    314995      9.19      9.72  --
20.36/5.12	c  S st   181     45755       660      8350      3153      9201     53607    102026      9.21      9.45  --
20.36/5.17	c  S st   181     46261       660      8350      3153      9703     53607    114577      9.21   no data  --
20.36/5.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
20.36/5.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
20.36/5.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.08
20.36/5.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
20.76/5.23	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.15 s
20.76/5.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    660 time:  0.00 s
20.76/5.24	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
21.54/5.49	c lits-rem:       263  cl-subs:       82  v-elim:      0  v-fix:    0  time:  1.00 s
21.54/5.49	c vivif2 --  cl tried     8348 cl shrink        0 lits rem          0 time: 0.01
21.54/5.49	c vivif2 --  cl tried     9621 cl shrink        0 lits rem          0 time: 0.01
21.94/5.55	c asymm  cl-useful: 0/2100/8348 lits-rem:0 time: 0.24
21.94/5.55	c calculated reachability. Time: 0.00
21.94/5.55	c  N dy   181     46261       660      8348      3153      9621     53585    113363      9.21   no data  --
23.54/5.98	c  N dy   200     50297       660      8348      3153     13617     53585    229646      9.22      9.71  --
25.53/6.45	c  N dy   217     54333       660      8348      3153     17588     53585    337432      9.24     12.03  --
27.53/6.94	c  N dy   235     58357       660      8348      3153     11706     53585    158708      9.26      9.77  --
29.55/7.40	c  N dy   255     62371       660      8348      3153     15648     53585    264044      9.28     10.59  --
31.53/7.96	c  N dy   282     66436       660      8348      3153     19663     53585    381692      9.32      9.94  --
33.12/8.36	c  S st   294     69393       660      8348      3153     11746     53585    135729      9.32   no data  --
33.54/8.42	c  S st   294     69899       660      8348      3153     12249     53585    148532      9.32   no data  --
33.54/8.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
33.54/8.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
33.54/8.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
33.54/8.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
33.94/8.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.21 s
33.94/8.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    660 time:  0.00 s
33.94/8.51	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
35.52/8.95	c lits-rem:       394  cl-subs:       96  v-elim:      0  v-fix:    0  time:  1.76 s
35.52/8.95	c vivif2 --  cl tried     8348 cl shrink        0 lits rem          0 time: 0.01
35.52/8.95	c vivif2 --  cl tried    12153 cl shrink        0 lits rem          0 time: 0.01
37.12/9.33	c asymm  cl-useful: 2/4719/8348 lits-rem:4 time: 1.51
37.12/9.33	c calculated reachability. Time: 0.00
37.12/9.33	c  N dy   294     69899       660      8348      3153     12153     53581    147021      9.32   no data  --
39.12/9.85	c  N dy   319     74361       660      8348      3153     16577     53581    273900      9.34      9.87  --
41.92/10.52	c  N dy   347     79245       660      8348      3153     21402     53581    413750      9.36      9.95  --
44.71/11.21	c  N dy   380     84379       660      8348      3153     14627     53581    204808      9.41      9.94  --
46.31/11.63	c  F st   395     87500       660      8348      3153     17714     53581    289821      9.43   no data  --
47.90/12.08	c  N st   400     90796       660      8348      3153     20966     53581    389504      9.43   no data  --
51.52/12.98	c  N dy   421     96799       660      8348      3153     14056     53581    162109      9.44      9.94  --
55.09/13.84	c  N dy   467    103060       660      8348      3153     20257     53581    344426      9.49     10.46  --
56.29/14.11	c  S st   480    104849       660      8348      3153     22037     53581    399082      9.51   no data  --
56.69/14.20	c  S st   480    105353       660      8348      3153     22538     53581    413947      9.51   no data  --
56.69/14.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
56.69/14.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
56.69/14.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.15
56.69/14.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
57.89/14.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.99 s
57.89/14.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    660 time:  0.00 s
57.89/14.51	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
65.88/16.54	c lits-rem:      2293  cl-subs:      451  v-elim:      1  v-fix:    0  time:  8.13 s
65.88/16.54	c vivif2 --  cl tried     8349 cl shrink        0 lits rem          0 time: 0.00
65.88/16.55	c vivif2 --  cl tried    22087 cl shrink        0 lits rem          0 time: 0.03
67.08/16.87	c asymm  cl-useful: 0/3630/8349 lits-rem:0 time: 1.29
67.08/16.87	c calculated reachability. Time: 0.00
67.08/16.87	c  N dy   480    105353       659      8349      3153     22087     53594    404916      9.51   no data  --
71.48/17.97	c  N dy   503    112109       659      8349      3153     14911     53594    167852      9.49     10.04  --
76.27/19.15	c  N dy   546    119870       659      8349      3153     22569     53594    388310      9.51     10.05  --
81.88/20.58	c  N dy   578    127634       659      8349      3153     15414     53594    165224      9.52     10.05  --
87.05/21.80	c  N dy   622    135854       659      8349      3153     23528     53594    398981      9.54     10.12  --
93.04/23.39	c  N dy   664    144623       659      8349      3153     16380     53594    175746      9.56     10.97  --
99.45/24.90	c  N dy   697    153974       659      8349      3153     25584     53594    429706      9.55     10.09  --
102.23/25.65	c  S st   720    158030       659      8349      3153     29593     53594    549373      9.56      9.81  --
102.63/25.76	c  S st   720    158531       659      8349      3153     30088     53594    561688      9.56   no data  --
102.63/25.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
102.63/25.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
103.03/25.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.1M T:  0.19
103.03/25.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
104.25/26.15	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  1.30 s
104.25/26.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    659 time:  0.00 s
104.25/26.16	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
112.22/28.16	c lits-rem:      3006  cl-subs:     1256  v-elim:      0  v-fix:    0  time:  8.03 s
112.22/28.17	c vivif2 --  cl tried     8347 cl shrink        0 lits rem          0 time: 0.01
112.22/28.18	c vivif2 --  cl tried    28832 cl shrink        0 lits rem          0 time: 0.04
113.04/28.38	c asymm  cl-useful: 2/1778/8347 lits-rem:2 time: 0.79
113.04/28.38	c calculated reachability. Time: 0.00
113.04/28.38	c  N dy   720    158531       659      8347      3153     28832     53570    542586      9.56   no data  --
120.20/30.17	c  N dy   781    168684       659      8347      3153     22103     53570    331100      9.61     10.15  --
128.99/32.34	c  N dy   838    179717       659      8347      3153     32998     53570    641519      9.63     10.18  --
137.38/34.43	c  N dy   888    191186       659      8347      3153     26539     53570    429458      9.64     10.15  --
147.37/36.98	c  N dy   940    203712       659      8347      3153     20122     53570    232671      9.65     10.16  --
158.15/39.65	c  N dy  1019    216802       659      8347      3153     33043     53570    623959      9.68     11.22  --
170.93/42.89	c  N dy  1096    231941       659      8347      3153     28244     53570    444481      9.71     10.23  --
176.13/44.13	c  S st  1130    237798       659      8347      3153     34033     53570    618786      9.72   no data  --
176.53/44.26	c  S st  1130    238307       659      8347      3153     34536     53570    632721      9.72   no data  --
176.53/44.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
176.53/44.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
176.93/44.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.5M T:  0.22
176.93/44.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
178.54/44.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.47 s
178.54/44.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    659 time:  0.00 s
178.54/44.71	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
187.33/46.91	c lits-rem:      3092  cl-subs:     1218  v-elim:      0  v-fix:    0  time:  8.80 s
187.33/46.92	c vivif2 --  cl tried     8347 cl shrink        0 lits rem          0 time: 0.00
187.33/46.93	c vivif2 --  cl tried    33318 cl shrink        0 lits rem          0 time: 0.04
188.11/47.13	c asymm  cl-useful: 0/922/8347 lits-rem:0 time: 0.81
188.11/47.13	c calculated reachability. Time: 0.00
188.11/47.13	c  N dy  1130    238307       659      8347      3153     33318     53570    611060      9.72   no data  --
200.52/50.29	c  N dy  1195    253545       659      8347      3153     27613     53570    404236      9.72     10.45  --
216.07/54.10	c  N dy  1264    270144       659      8347      3153     22299     53570    233481      9.73     10.28  --
230.45/57.78	c  N dy  1343    287470       659      8347      3153     39381     53570    734810      9.74     10.60  --
247.63/62.06	c  F st  1454    306251       659      8347      3153     35232     53570    595729      9.78      9.82  --
247.63/62.06	c  N st  1454    306251       659      8347      3153     35232     53570    595729      9.78      9.82  --
266.01/66.60	c  N dy  1534    325856       659      8347      3153     30869     53570    447412      9.79     10.60  --
285.58/71.59	c  N dy  1627    346129       659      8347      3153     26190     53570    287707      9.80     10.45  --
295.56/74.04	c  S st  1677    357462       659      8347      3153     37331     53570    608500      9.81      9.11  --
295.96/74.18	c  S st  1677    357965       659      8347      3153     37829     53570    622860      9.81   no data  --
295.96/74.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
295.96/74.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
296.36/74.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.8M T:  0.25
296.36/74.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
297.96/74.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.33 s
297.96/74.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    659 time:  0.00 s
297.96/74.61	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
306.37/76.78	c lits-rem:      2797  cl-subs:     1445  v-elim:      0  v-fix:    0  time:  8.66 s
306.37/76.78	c vivif2 --  cl tried     8347 cl shrink        0 lits rem          0 time: 0.00
306.37/76.79	c vivif2 --  cl tried    36384 cl shrink        0 lits rem          0 time: 0.04
307.14/76.99	c asymm  cl-useful: 0/783/8347 lits-rem:0 time: 0.82
307.14/77.00	c calculated reachability. Time: 0.00
307.14/77.00	c  N dy  1677    357965       659      8347      3153     36384     53570    600099      9.81   no data  --
326.73/81.85	c  N dy  1769    378032       659      8347      3153     30607     53570    405724      9.82     11.03  --
347.50/87.03	c  N dy  1875    398124       659      8347      3153     50351     53570    984586      9.84     11.86  --
368.67/92.38	c  N dy  1958    419688       659      8347      3153     44983     53570    786401      9.84     10.39  --
389.04/97.49	c  N dy  2040    439711       659      8347      3153     37106     53570    548738      9.84     10.42  --
413.01/103.40	c  N dy  2145    459764       659      8347      3153     56845     53570   1128683      9.86     10.43  --
433.40/108.53	c  N dy  2257    479853       659      8347      3153     48135     53570    866445      9.88     10.62  --
454.95/113.98	c  N dy  2341    500101       659      8347      3153     38465     53570    543214      9.89     10.48  --
478.12/119.78	c  N dy  2409    520694       659      8347      3153     58692     53570   1115453      9.88     10.41  --
494.92/123.94	c  S st  2473    536949       659      8347      3153     44213     53570    689603      9.89   no data  --
495.70/124.10	c  S st  2473    537451       659      8347      3153     44710     53570    704481      9.89   no data  --
495.70/124.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
495.70/124.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
495.70/124.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.1M T:  0.30
496.10/124.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
497.30/124.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.46 s
497.30/124.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    659 time:  0.00 s
497.30/124.56	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
505.68/126.64	c lits-rem:      3004  cl-subs:     1485  v-elim:      0  v-fix:    0  time:  8.30 s
505.68/126.64	c vivif2 --  cl tried     8347 cl shrink        0 lits rem          0 time: 0.01
505.68/126.66	c vivif2 --  cl tried    43225 cl shrink        0 lits rem          0 time: 0.05
506.48/126.86	c asymm  cl-useful: 0/515/8347 lits-rem:0 time: 0.84
506.48/126.87	c calculated reachability. Time: 0.00
506.48/126.87	c  N dy  2473    537451       659      8347      3153     43225     53570    682346      9.89   no data  --
530.47/132.83	c  N dy  2595    557536       659      8347      3153     31501     53570    314078      9.90     11.13  --
552.04/138.21	c  N dy  2679    578103       659      8347      3153     51698     53570    888487      9.91     10.43  --
577.19/144.54	c  N dy  2770    599666       659      8347      3153     40424     53570    550318      9.91     10.45  --
601.55/150.61	c  N dy  2876    619901       659      8347      3153     60292     53570   1117368      9.93     10.45  --
625.12/156.51	c  N dy  2960    639914       659      8347      3153     46542     53570    689873      9.93     10.46  --
650.69/162.94	c  N dy  3032    660130       659      8347      3153     66361     53570   1252780      9.93     10.48  --
674.66/168.93	c  N dy  3130    680791       659      8347      3153     52304     53570    844356      9.93     10.48  --
702.61/175.95	c  N dy  3215    700845       659      8347      3153     36675     53570    389960      9.93     10.56  --
726.58/181.90	c  N dy  3325    720945       659      8347      3153     56367     53570    949695      9.95     10.52  --
753.35/188.64	c  N dy  3412    741318       659      8347      3153     40067     53570    463810      9.95     10.48  --
778.52/194.94	c  N dy  3495    762216       659      8347      3153     60629     53570   1043838      9.94     10.49  --
804.88/201.59	c  N dy  3569    782496       659      8347      3153     43219     53570    527417      9.94     10.50  --
830.44/207.95	c  N dy  3667    802757       659      8347      3153     63066     53570   1071168      9.95     10.49  --
835.64/209.20	c  S st  3691    806176       659      8347      3153     66420     53570   1168029      9.95      9.96  --
836.43/209.41	c  S st  3691    806680       659      8347      3153     66918     53570   1181627      9.95   no data  --
836.43/209.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
836.43/209.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
836.83/209.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.1M T:  0.46
836.83/209.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
839.63/210.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.82 s
839.63/210.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    659 time:  0.00 s
839.63/210.28	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
848.42/212.49	c lits-rem:       976  cl-subs:     3822  v-elim:      0  v-fix:    0  time:  8.81 s
848.42/212.49	c vivif2 --  cl tried     8347 cl shrink        0 lits rem          0 time: 0.01
848.82/212.51	c vivif2 --  cl tried    63096 cl shrink        0 lits rem          0 time: 0.08
849.62/212.74	c asymm  cl-useful: 0/422/8347 lits-rem:0 time: 0.94
849.62/212.75	c calculated reachability. Time: 0.00
849.62/212.75	c  N dy  3691    806680       659      8347      3153     63096     53570   1132177      9.95   no data  --
877.19/219.63	c  N dy  3776    827530       659      8347      3153     45333     53570    562488      9.95     10.48  --
903.56/226.24	c  N dy  3856    848269       659      8347      3153     65610     53570   1114053      9.95     10.49  --
933.51/233.76	c  N dy  3952    870282       659      8347      3153     48085     53570    653759      9.95     10.51  --
961.46/240.77	c  N dy  4022    891771       659      8347      3153     69100     53570   1219285      9.95     10.62  --
989.42/247.74	c  N dy  4085    912142       659      8347      3153     48856     53570    637117      9.94     10.49  --
1016.59/254.54	c  N dy  4181    932169       659      8347      3153     68427     53570   1168541      9.95     10.77  --
1045.36/261.79	c  N dy  4266    952177       659      8347      3153     46920     53570    563046      9.95     11.63  --
1072.91/268.68	c  N dy  4355    972288       659      8347      3153     66561     53570   1089741      9.96     10.50  --
1103.68/276.32	c  N dy  4433    992415       659      8347      3153     44193     53570    472293      9.95     10.56  --
1130.44/283.06	c  N dy  4497   1013319       659      8347      3153     64602     53570    996092      9.95     10.48  --
1161.60/290.84	c  N dy  4581   1033500       659      8347      3153     84354     53570   1520995      9.95     10.49  --
1187.96/297.49	c  N dy  4679   1053638       659      8347      3153     61057     53570    907072      9.96     10.67  --
1215.54/304.37	c  F st  4755   1071876       659      8347      3153     78911     53570   1393269      9.96      9.31  --
1218.73/305.17	c  N st  4759   1073908       659      8347      3153     80904     53570   1447218      9.96   no data  --
1246.71/312.18	c  N dy  4822   1094007       659      8347      3153     56512     53570    767326      9.96     12.32  --
1275.85/319.45	c  N dy  4902   1114143       659      8347      3153     76204     53570   1296355      9.96     10.50  --
1306.61/327.19	c  N dy  4978   1134452       659      8347      3153     51019     53570    597551      9.96     10.57  --
1336.97/334.71	c  N dy  5044   1155998       659      8347      3153     72025     53570   1140778      9.95     10.51  --
1370.52/343.12	c  N dy  5118   1176045       659      8347      3153     91625     53570   1669376      9.95     10.54  --
1400.10/350.54	c  N dy  5197   1196131       659      8347      3153     65389     53570    970319      9.95     10.69  --
1421.65/356.00	c  S st  5238   1210020       659      8347      3153     78953     53570   1327673      9.95     10.01  --
1422.84/356.23	c  S st  5238   1210523       659      8347      3153     79449     53570   1341515      9.95   no data  --
1422.84/356.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1422.84/356.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1423.24/356.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.6M T:  0.57
1423.64/356.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1426.86/357.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  3.11 s
1426.86/357.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    659 time:  0.00 s
1426.86/357.20	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
1440.42/360.67	c lits-rem:       848  cl-subs:     5018  v-elim:      0  v-fix:    0  time: 13.83 s
1440.42/360.67	c vivif2 --  cl tried     8347 cl shrink        0 lits rem          0 time: 0.01
1440.42/360.69	c vivif2 --  cl tried    74431 cl shrink        0 lits rem          0 time: 0.10
1441.63/360.95	c asymm  cl-useful: 0/344/8347 lits-rem:0 time: 1.02
1441.63/360.95	c calculated reachability. Time: 0.00
1441.63/360.95	c  N dy  5238   1210523       659      8347      3153     74431     53570   1280170      9.95   no data  --
1474.38/369.15	c  N dy  5310   1230682       659      8347      3153     47244     53570    473403      9.95     10.51  --
1502.34/376.19	c  N dy  5384   1251332       659      8347      3153     67373     53570   1003534      9.95     10.47  --
1535.50/384.40	c  N dy  5473   1271362       659      8347      3153     86901     53570   1517168      9.95     10.49  --
1566.26/392.18	c  N dy  5557   1291409       659      8347      3153     58685     53570    755117      9.95     10.48  --
1597.41/399.94	c  N dy  5637   1311992       659      8347      3153     78809     53570   1280080      9.95     10.49  --
1632.57/408.77	c  N dy  5718   1332034       659      8347      3153     49579     53570    499274      9.95     10.49  --
1662.53/416.24	c  N dy  5783   1353659       659      8347      3153     70628     53570   1030976      9.95     10.55  --
1695.28/424.48	c  N dy  5863   1373662       659      8347      3153     90211     53570   1551108      9.94     11.37  --
1727.64/432.52	c  N dy  5938   1393746       659      8347      3153     59969     53570    741106      9.94     10.68  --
1758.40/440.30	c  N dy  6016   1413857       659      8347      3153     79598     53570   1255391      9.94     10.51  --
1793.95/449.15	c  N dy  6091   1433986       659      8347      3153     99172     53570   1755476      9.94     10.51  --
1823.51/456.59	c  N dy  6159   1454080       659      8347      3153     68042     53570    931824      9.94     10.50  --
1855.47/464.53	c  N dy  6206   1474191       659      8347      3153     87610     53570   1425095      9.93     10.47  --
1891.02/473.48	c  N dy  6279   1494243       659      8347      3153     55477     53570    602867      9.93     10.47  --
1923.39/481.55	c  N dy  6345   1515328       659      8347      3153     75985     53570   1124339      9.93     10.53  --
1956.93/489.93	c  N dy  6408   1535382       659      8347      3153     95454     53570   1611457      9.93     11.95  --
1991.68/498.66	c  N dy  6480   1556410       659      8347      3153     63376     53570    785351      9.92     10.58  --
2024.05/506.74	c  N dy  6562   1576714       659      8347      3153     83143     53570   1275877      9.92     10.45  --
2060.79/515.91	c  N dy  6618   1596993       659      8347      3153    102917     53570   1767873      9.92     10.46  --
2094.35/524.39	c  N dy  6694   1618537       659      8347      3153     70396     53570    964322      9.92     10.45  --
2128.29/532.87	c  N dy  6771   1638684       659      8347      3153     90057     53570   1457323      9.92     10.45  --
2167.45/542.67	c  N dy  6846   1658873       659      8347      3153     55160     53570    545947      9.91     10.56  --
2199.40/550.67	c  N dy  6908   1679333       659      8347      3153     75110     53570   1037737      9.91     10.46  --
2233.35/559.19	c  N dy  6964   1699347       659      8347      3153     94568     53570   1530466      9.91     11.47  --
2254.92/564.56	c  S st  7013   1710525       659      8347      3153    105466     53570   1806067      9.91      9.94  --
2256.12/564.87	c  S st  7013   1711026       659      8347      3153    105964     53570   1820451      9.91   no data  --
2256.12/564.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2256.12/564.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2256.94/565.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.5M T:  0.73
2257.34/565.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2261.73/566.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.45 s
2261.73/566.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    659 time:  0.00 s
2261.73/566.23	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
2290.47/573.49	c lits-rem:      1719  cl-subs:    10597  v-elim:      0  v-fix:    0  time: 29.00 s
2290.87/573.50	c vivif2 --  cl tried     8347 cl shrink        0 lits rem          0 time: 0.01
2290.87/573.53	c vivif2 --  cl tried    95367 cl shrink        0 lits rem          0 time: 0.14
2292.09/573.81	c asymm  cl-useful: 0/317/8347 lits-rem:0 time: 1.11
2292.09/573.81	c calculated reachability. Time: 0.00
2292.09/573.81	c  N dy  7013   1711026       659      8347      3153     95367     53570   1686551      9.91   no data  --
2328.42/582.95	c  N dy  7083   1731291       659      8347      3153     59720     53570    652190      9.91     10.45  --
2361.59/591.21	c  N dy  7134   1752181       659      8347      3153     80040     53570   1148768      9.90     10.44  --
2397.55/600.27	c  N dy  7185   1772295       659      8347      3153     99597     53570   1629603      9.89     10.75  --
2434.28/609.47	c  N dy  7244   1792338       659      8347      3153     62696     53570    706484      9.89     11.36  --
2468.26/617.91	c  N dy  7309   1813300       659      8347      3154     83075     53570   1209765      9.89     10.42  --
2504.99/627.19	c  N dy  7359   1833644       659      8347      3154    102791     53570   1693346      9.88     10.44  --
2543.33/636.75	c  N dy  7425   1854630       659      8347      3154     65865     53570    770750      9.88     10.45  --
2577.29/645.24	c  N dy  7482   1874919       659      8347      3154     85619     53570   1255813      9.88     10.45  --
2615.23/654.73	c  N dy  7550   1894998       659      8347      3154    105125     53570   1721533      9.87     11.75  --
2651.59/663.85	c  N dy  7599   1915092       659      8347      3155     66326     53570    759520      9.87     11.04  --
2685.55/672.37	c  N dy  7662   1935337       659      8347      3156     86013     53570   1237961      9.86     10.41  --
2733.08/684.28	c  N dy  7724   1960015       659      8347      3157    109970     53570   1793789      9.86     10.44  --
2768.63/693.12	c  N dy  7777   1980303       659      8347      3157     70427     53570    861271      9.85     10.41  --
2804.59/702.19	c  N dy  7855   2000832       659      8347      3157     90334     53570   1339224      9.85     10.48  --
2844.93/712.27	c  N dy  7899   2021529       659      8347      3158    110358     53570   1795555      9.84     10.38  --
2882.08/721.59	c  N dy  7956   2041602       659      8347      3159     69661     53570    806072      9.84     10.40  --
2917.63/730.43	c  N dy  8017   2061969       659      8347      3159     89508     53570   1287810      9.84     10.45  --
2956.77/740.26	c  N dy  8085   2082130       659      8347      3160    109081     53570   1752035      9.83     10.36  --
2996.32/750.19	c  N dy  8153   2102459       659      8347      3161     67603     53570    751057      9.83     10.36  --
3030.70/758.76	c  N dy  8210   2122665       659      8347      3163     87261     53570   1222934      9.83     10.47  --
3071.43/768.91	c  N dy  8277   2142713       659      8347      3163    106760     53570   1695446      9.83     10.48  --
3116.57/780.22	c  N dy  8356   2162793       659      8347      3163     64111     53570    649366      9.83     10.43  --
3150.11/788.68	c  N dy  8445   2182948       659      8347      3163     83767     53570   1135337      9.83     10.36  --
3189.66/798.53	c  N dy  8506   2203151       659      8347      3163    103371     53570   1603480      9.83     10.45  --
3206.06/802.62	c  S st  8537   2211026       659      8347      3163    111056     53570   1786217      9.82   no data  --
3207.24/802.97	c  S st  8537   2211528       659      8347      3163    111553     53570   1799448      9.82   no data  --
3207.24/802.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3207.24/802.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3208.04/803.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.6M T:  0.77
3208.44/803.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3214.85/804.81	c subs with bin:     4543  lits-rem:      3281  v-fix:    0  time:  6.35 s
3214.85/804.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    659 time:  0.00 s
3214.85/804.81	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
3240.40/811.22	c lits-rem:      1965  cl-subs:     9529  v-elim:      0  v-fix:    0  time: 25.58 s
3240.40/811.22	c vivif2 --  cl tried     8347 cl shrink        0 lits rem          0 time: 0.00
3240.40/811.25	c vivif2 --  cl tried    97481 cl shrink        0 lits rem          0 time: 0.14
3241.62/811.53	c asymm  cl-useful: 0/291/8347 lits-rem:0 time: 1.12
3241.62/811.54	c calculated reachability. Time: 0.00
3241.62/811.54	c  N dy  8537   2211528       659      8347      3163     97481     53570   1641281      9.82   no data  --
3282.74/821.80	c  N dy  8601   2232052       659      8347      3163    117449     53570   2140719      9.82     10.37  --
3322.28/831.75	c  N dy  8679   2252369       659      8347      3163     74189     53570    911366      9.82     10.38  --
3359.85/841.18	c  N dy  8754   2272408       659      8347      3163     93700     53570   1382377      9.82     10.48  --
3401.78/851.65	c  N dy  8833   2292546       659      8347      3163    113314     53570   1861681      9.82     10.36  --
3445.72/862.69	c  N dy  8913   2312908       659      8347      3163     68945     53570    762526      9.82     10.42  --
3483.66/872.18	c  N dy  8978   2333831       659      8347      3163     89295     53570   1246584      9.82     10.37  --
3524.41/882.33	c  N dy  9050   2354149       659      8347      3163    109062     53570   1724135      9.82     10.34  --
3569.55/893.65	c  N dy  9144   2374174       659      8347      3164    128528     53570   2181631      9.82     10.94  --
3606.69/902.95	c  N dy  9218   2394289       659      8347      3164     82957     53570   1082510      9.82     10.35  --
3646.64/912.99	c  N dy  9281   2414595       659      8347      3164    102640     53570   1547916      9.81     10.36  --
3690.58/923.91	c  N dy  9335   2434654       659      8347      3165    122031     53570   2003513      9.81     10.35  --
3731.73/934.23	c  N dy  9395   2455287       659      8347      3165     76049     53570    900237      9.81     10.43  --
3770.47/943.99	c  N dy  9477   2475702       659      8347      3165     95924     53570   1383126      9.81     10.33  --
3812.44/954.50	c  N dy  9545   2495767       659      8347      3166    115390     53570   1843351      9.81     11.60  --
3857.96/965.82	c  N dy  9594   2515780       659      8347      3166     67807     53570    679407      9.80     11.75  --
3893.91/974.86	c  N dy  9656   2536220       659      8347      3166     87597     53570   1151426      9.80     10.37  --
3937.85/985.86	c  N dy  9718   2558318       659      8347      3166    109058     53570   1650378      9.80     10.32  --
3982.99/997.17	c  N dy  9796   2578484       659      8347      3166    128668     53570   2120193      9.80     10.38  --
4026.53/1008.01	c  N dy  9835   2599874       659      8347      3166     81414     53570    969988      9.79     10.35  --
4066.87/1018.18	c  N dy  9908   2620565       659      8347      3167    101438     53570   1428117      9.79     10.37  --
4112.41/1029.54	c  N dy  9975   2640681       659      8347      3167    121011     53570   1883751      9.79     10.40  --
4158.35/1041.00	c  N dy 10022   2661089       659      8347      3167     71909     53570    743972      9.78     10.32  --
4197.50/1050.84	c  N dy 10103   2682184       659      8347      3167     92410     53570   1210954      9.78     10.43  --
4240.23/1061.54	c  N dy 10158   2702283       659      8347      3167    111833     53570   1652890      9.78     10.72  --
4263.40/1067.35	c  S st 10192   2711528       659      8347      3167    120786     53570   1856217      9.78      9.15  --
4264.60/1067.69	c  S st 10192   2712030       659      8347      3167    121287     53570   1871531      9.78   no data  --
4264.60/1067.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4264.60/1067.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4265.80/1067.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.0M T:  0.81
4265.80/1067.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4270.59/1069.19	c subs with bin:     2025  lits-rem:       920  v-fix:    0  time:  4.91 s
4270.59/1069.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    659 time:  0.00 s
4270.59/1069.19	c Removed useless bin:       0  fixed:     0  props:   0.03M  time:  0.00 s
4303.35/1077.34	c lits-rem:       945  cl-subs:    11419  v-elim:      0  v-fix:    0  time: 32.55 s
4303.35/1077.34	c vivif2 --  cl tried     8347 cl shrink        0 lits rem          0 time: 0.00
4303.35/1077.38	c vivif2 --  cl tried   107843 cl shrink        0 lits rem          0 time: 0.15
4304.57/1077.67	c asymm  cl-useful: 0/276/8347 lits-rem:0 time: 1.15
4304.57/1077.67	c calculated reachability. Time: 0.00
4304.57/1077.67	c  N dy 10192   2712030       659      8347      3167    107843     53570   1720920      9.78   no data  --
4348.09/1088.56	c  N dy 10250   2732106       659      8347      3167    127289     53570   2174878      9.78     11.36  --
4392.85/1099.71	c  N dy 10288   2752370       659      8347      3168     77271     53570    858438      9.77     10.42  --
4435.58/1110.42	c  N dy 10330   2774209       659      8347      3169     98427     53570   1329669      9.77     10.34  --
4483.51/1122.41	c  N dy 10393   2796358       659      8347      3170    119900     53570   1814769      9.76     10.35  --
4483.51/1122.41	c Finding binary XORs  T:     0.00 s  found:       0
4530.64/1134.20	c  N dy 10450   2816440       659      8347      3170    139344     53570   2245474      9.76     10.55  --
4573.01/1144.82	c  N dy 10497   2837487       659      8347      3170     89102     53570   1094247      9.75     10.40  --
4613.73/1155.00	c  N dy 10549   2857642       659      8347      3170    108581     53570   1521939      9.75     10.27  --
4660.48/1166.73	c  N dy 10617   2877722       659      8347      3170    128032     53570   1959190      9.75     10.88  --
4708.82/1178.81	c  N dy 10663   2897815       659      8347      3170     75886     53570    793691      9.75     10.28  --
4748.37/1188.74	c  N dy 10711   2918216       659      8347      3170     95622     53570   1233609      9.74     10.33  --
4793.48/1200.05	c  N dy 10745   2938327       659      8347      3172    114997     53570   1648966      9.74     10.26  --

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-3265897-1304181009/watcher-3265897-1304181009 -o /tmp/evaluation-result-3265897-1304181009/solver-3265897-1304181009 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3265897-1304181009.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: 6.96 7.86 8.00 8/179 10414
/proc/meminfo: memFree=28996540/32950928 swapFree=67111352/67111528
[pid=10414] ppid=10412 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/10414/stat : 10414 (strangenight1-m) R 10412 10414 9908 0 -1 4202496 413 0 0 0 0 0 0 0 18 0 4 0 608331573 52465664 352 33554432000 4194304 4650419 140735295902704 18446744073709551615 47770733774770 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10414/statm: 12809 352 303 112 0 7774 0
[pid=10414/tid=10416] ppid=10412 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/10414/task/10416/stat : 10416 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 608331574 52465664 352 33554432000 4194304 4650419 140735295902704 18446744073709551615 251367603185 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10414/tid=10417] ppid=10412 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/10414/task/10417/stat : 10417 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 608331574 52465664 352 33554432000 4194304 4650419 140735295902704 18446744073709551615 251367603185 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10414/tid=10418] ppid=10412 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/10414/task/10418/stat : 10418 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 608331574 52465664 352 33554432000 4194304 4650419 140735295902704 18446744073709551615 251367603185 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0813099 s]
/proc/loadavg: 6.96 7.86 8.00 8/179 10414
/proc/meminfo: memFree=28996540/32950928 swapFree=67111352/67111528
[pid=10414] ppid=10412 vsize=285544 CPUtime=0.75 cores=1,3,5,7
/proc/10414/stat : 10414 (strangenight1-m) R 10412 10414 9908 0 -1 4202496 3465 0 0 0 75 0 0 0 18 0 4 0 608331573 292397056 2989 33554432000 4194304 4650419 140735295902704 18446744073709551615 4427009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10414/statm: 72077 4659 392 112 0 67042 0
[pid=10414/tid=10416] ppid=10412 vsize=288308 CPUtime=0.82 cores=1,3,5,7
/proc/10414/task/10416/stat : 10416 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 1935 0 0 0 82 0 0 0 18 0 4 0 608331574 295227392 4659 33554432000 4194304 4650419 140735295902704 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10414/tid=10417] ppid=10412 vsize=288308 CPUtime=0.81 cores=1,3,5,7
/proc/10414/task/10417/stat : 10417 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 1884 0 0 0 81 0 0 0 18 0 4 0 608331574 295227392 4659 33554432000 4194304 4650419 140735295902704 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10414/tid=10418] ppid=10412 vsize=288308 CPUtime=0.82 cores=1,3,5,7
/proc/10414/task/10418/stat : 10418 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 1359 0 0 0 82 0 0 0 19 0 4 0 608331574 295227392 4659 33554432000 4194304 4650419 140735295902704 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 285544

[startup+0.934992 s]
/proc/loadavg: 6.96 7.86 8.00 8/179 10414
/proc/meminfo: memFree=28996540/32950928 swapFree=67111352/67111528
[pid=10414] ppid=10412 vsize=288308 CPUtime=3.7 cores=1,3,5,7
/proc/10414/stat : 10414 (strangenight1-m) R 10412 10414 9908 0 -1 4202496 7587 0 0 0 369 1 0 0 18 0 4 0 608331573 295227392 4824 33554432000 4194304 4650419 140735295902704 18446744073709551615 4314985 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10414/statm: 72077 4824 392 112 0 67042 0
[pid=10414/tid=10416] ppid=10412 vsize=288308 CPUtime=0.92 cores=1,3,5,7
/proc/10414/task/10416/stat : 10416 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 1975 0 0 0 92 0 0 0 18 0 4 0 608331574 295227392 4824 33554432000 4194304 4650419 140735295902704 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10414/tid=10417] ppid=10412 vsize=288308 CPUtime=0.91 cores=1,3,5,7
/proc/10414/task/10417/stat : 10417 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 1927 0 0 0 91 0 0 0 19 0 4 0 608331574 295227392 4824 33554432000 4194304 4650419 140735295902704 18446744073709551615 4328348 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10414/tid=10418] ppid=10412 vsize=288308 CPUtime=0.92 cores=1,3,5,7
/proc/10414/task/10418/stat : 10418 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 1400 0 0 0 92 0 0 0 19 0 4 0 608331574 295227392 4824 33554432000 4194304 4650419 140735295902704 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 288308

[startup+1.00098 s]
/proc/loadavg: 6.96 7.86 8.00 8/179 10414
/proc/meminfo: memFree=28996540/32950928 swapFree=67111352/67111528
[pid=10414] ppid=10412 vsize=288308 CPUtime=3.96 cores=1,3,5,7
/proc/10414/stat : 10414 (strangenight1-m) R 10412 10414 9908 0 -1 4202496 7681 0 0 0 395 1 0 0 18 0 4 0 608331573 295227392 4918 33554432000 4194304 4650419 140735295902704 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10414/statm: 72077 4918 392 112 0 67042 0
[pid=10414/tid=10416] ppid=10412 vsize=288308 CPUtime=0.98 cores=1,3,5,7
/proc/10414/task/10416/stat : 10416 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 1997 0 0 0 98 0 0 0 18 0 4 0 608331574 295227392 4918 33554432000 4194304 4650419 140735295902704 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10414/tid=10417] ppid=10412 vsize=288308 CPUtime=0.98 cores=1,3,5,7
/proc/10414/task/10417/stat : 10417 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 1951 0 0 0 98 0 0 0 19 0 4 0 608331574 295227392 4918 33554432000 4194304 4650419 140735295902704 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10414/tid=10418] ppid=10412 vsize=288308 CPUtime=0.98 cores=1,3,5,7
/proc/10414/task/10418/stat : 10418 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 1425 0 0 0 98 0 0 0 19 0 4 0 608331574 295227392 4918 33554432000 4194304 4650419 140735295902704 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 288308

[startup+1.10096 s]
/proc/loadavg: 6.96 7.86 8.00 8/179 10414
/proc/meminfo: memFree=28996540/32950928 swapFree=67111352/67111528
[pid=10414] ppid=10412 vsize=288308 CPUtime=4.36 cores=1,3,5,7
/proc/10414/stat : 10414 (strangenight1-m) R 10412 10414 9908 0 -1 4202496 7831 0 0 0 435 1 0 0 19 0 4 0 608331573 295227392 5068 33554432000 4194304 4650419 140735295902704 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10414/statm: 72077 5069 392 112 0 67042 0
[pid=10414/tid=10416] ppid=10412 vsize=288308 CPUtime=1.08 cores=1,3,5,7
/proc/10414/task/10416/stat : 10416 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 2035 0 0 0 108 0 0 0 19 0 4 0 608331574 295227392 5069 33554432000 4194304 4650419 140735295902704 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10414/tid=10417] ppid=10412 vsize=288308 CPUtime=1.08 cores=1,3,5,7
/proc/10414/task/10417/stat : 10417 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 1995 0 0 0 108 0 0 0 19 0 4 0 608331574 295227392 5069 33554432000 4194304 4650419 140735295902704 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10414/tid=10418] ppid=10412 vsize=288308 CPUtime=1.08 cores=1,3,5,7
/proc/10414/task/10418/stat : 10418 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 1459 0 0 0 108 0 0 0 19 0 4 0 608331574 295227392 5069 33554432000 4194304 4650419 140735295902704 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 288308

[startup+1.50089 s]
/proc/loadavg: 6.96 7.86 8.00 8/179 10414
/proc/meminfo: memFree=28996540/32950928 swapFree=67111352/67111528
[pid=10414] ppid=10412 vsize=288588 CPUtime=5.97 cores=1,3,5,7
/proc/10414/stat : 10414 (strangenight1-m) R 10412 10414 9908 0 -1 4202496 9219 0 0 0 595 2 0 0 19 0 4 0 608331573 295514112 5045 33554432000 4194304 4650419 140735295902704 18446744073709551615 4366839 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10414/statm: 72147 5045 392 112 0 67112 0
[pid=10414/tid=10416] ppid=10412 vsize=288588 CPUtime=1.48 cores=1,3,5,7
/proc/10414/task/10416/stat : 10416 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 2377 0 0 0 148 0 0 0 19 0 4 0 608331574 295514112 5045 33554432000 4194304 4650419 140735295902704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10414/tid=10417] ppid=10412 vsize=288588 CPUtime=1.48 cores=1,3,5,7
/proc/10414/task/10417/stat : 10417 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 2325 0 0 0 148 0 0 0 20 0 4 0 608331574 295514112 5045 33554432000 4194304 4650419 140735295902704 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10414/tid=10418] ppid=10412 vsize=288588 CPUtime=1.48 cores=1,3,5,7
/proc/10414/task/10418/stat : 10418 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 1844 0 0 0 148 0 0 0 20 0 4 0 608331574 295514112 5045 33554432000 4194304 4650419 140735295902704 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 288588

[startup+3.1006 s]
/proc/loadavg: 6.96 7.86 8.00 9/184 10449
/proc/meminfo: memFree=28944800/32950928 swapFree=67111352/67111528
[pid=10414] ppid=10412 vsize=294616 CPUtime=12.35 cores=1,3,5,7
/proc/10414/stat : 10414 (strangenight1-m) R 10412 10414 9908 0 -1 4202496 14920 0 0 0 1232 3 0 0 24 0 4 0 608331573 301686784 7609 33554432000 4194304 4650419 140735295902704 18446744073709551615 4439441 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10414/statm: 73654 7609 394 112 0 68619 0
[pid=10414/tid=10416] ppid=10412 vsize=294616 CPUtime=3.08 cores=1,3,5,7
/proc/10414/task/10416/stat : 10416 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 4275 0 0 0 308 0 0 0 24 0 4 0 608331574 301686784 7609 33554432000 4194304 4650419 140735295902704 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10414/tid=10417] ppid=10412 vsize=294616 CPUtime=3.08 cores=1,3,5,7
/proc/10414/task/10417/stat : 10417 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 3312 0 0 0 308 0 0 0 25 0 4 0 608331574 301686784 7609 33554432000 4194304 4650419 140735295902704 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10414/tid=10418] ppid=10412 vsize=294616 CPUtime=3.07 cores=1,3,5,7
/proc/10414/task/10418/stat : 10418 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 2884 0 0 0 307 0 0 0 25 0 4 0 608331574 301686784 7609 33554432000 4194304 4650419 140735295902704 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 294616

[startup+6.307 s]
/proc/loadavg: 7.04 7.86 8.00 9/184 10449
/proc/meminfo: memFree=28896316/32950928 swapFree=67111352/67111528
[pid=10414] ppid=10412 vsize=286136 CPUtime=25.16 cores=1,3,5,7
/proc/10414/stat : 10414 (strangenight1-m) R 10412 10414 9908 0 -1 4202496 23371 0 0 0 2512 4 0 0 25 0 4 0 608331573 293003264 13885 33554432000 4194304 4650419 140735295902704 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10414/statm: 71534 13885 394 112 0 66499 0
[pid=10414/tid=10416] ppid=10412 vsize=286136 CPUtime=6.28 cores=1,3,5,7
/proc/10414/task/10416/stat : 10416 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 5588 0 0 0 628 0 0 0 25 0 4 0 608331574 293003264 13885 33554432000 4194304 4650419 140735295902704 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10414/tid=10417] ppid=10412 vsize=286136 CPUtime=6.29 cores=1,3,5,7
/proc/10414/task/10417/stat : 10417 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 6174 0 0 0 628 1 0 0 25 0 4 0 608331574 293003264 13885 33554432000 4194304 4650419 140735295902704 18446744073709551615 4370723 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10414/tid=10418] ppid=10412 vsize=286136 CPUtime=6.25 cores=1,3,5,7
/proc/10414/task/10418/stat : 10418 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 5926 0 0 0 625 0 0 0 25 0 4 0 608331574 293003264 13885 33554432000 4194304 4650419 140735295902704 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 286136

[startup+12.7008 s]
/proc/loadavg: 7.20 7.88 8.01 9/184 10449
/proc/meminfo: memFree=28864476/32950928 swapFree=67111352/67111528
[pid=10414] ppid=10412 vsize=305428 CPUtime=50.7 cores=1,3,5,7
/proc/10414/stat : 10414 (strangenight1-m) R 10412 10414 9908 0 -1 4202496 32420 0 0 0 5064 6 0 0 25 0 4 0 608331573 312758272 17161 33554432000 4194304 4650419 140735295902704 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10414/statm: 76357 17161 394 112 0 71322 0
[pid=10414/tid=10416] ppid=10412 vsize=305428 CPUtime=12.68 cores=1,3,5,7
/proc/10414/task/10416/stat : 10416 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 8635 0 0 0 1267 1 0 0 25 0 4 0 608331574 312758272 17161 33554432000 4194304 4650419 140735295902704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10414/tid=10417] ppid=10412 vsize=305428 CPUtime=12.68 cores=1,3,5,7
/proc/10414/task/10417/stat : 10417 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 7879 0 0 0 1267 1 0 0 25 0 4 0 608331574 312758272 17161 33554432000 4194304 4650419 140735295902704 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10414/tid=10418] ppid=10412 vsize=305428 CPUtime=12.63 cores=1,3,5,7
/proc/10414/task/10418/stat : 10418 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 8141 0 0 0 1262 1 0 0 25 0 4 0 608331574 312758272 17161 33554432000 4194304 4650419 140735295902704 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 305428

[startup+25.5005 s]
/proc/loadavg: 7.44 7.90 8.01 9/184 10450
/proc/meminfo: memFree=28829372/32950928 swapFree=67111352/67111528
[pid=10414] ppid=10412 vsize=321704 CPUtime=101.83 cores=1,3,5,7
/proc/10414/stat : 10414 (strangenight1-m) R 10412 10414 9908 0 -1 4202496 47389 0 0 0 10173 10 0 0 25 0 4 0 608331573 329424896 22799 33554432000 4194304 4650419 140735295902704 18446744073709551615 4328364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10414/statm: 80426 22799 394 112 0 75391 0
[pid=10414/tid=10416] ppid=10412 vsize=321704 CPUtime=25.48 cores=1,3,5,7
/proc/10414/task/10416/stat : 10416 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 12199 0 0 0 2546 2 0 0 25 0 4 0 608331574 329424896 22799 33554432000 4194304 4650419 140735295902704 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10414/tid=10417] ppid=10412 vsize=321704 CPUtime=25.48 cores=1,3,5,7
/proc/10414/task/10417/stat : 10417 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 10946 0 0 0 2546 2 0 0 25 0 4 0 608331574 329424896 22799 33554432000 4194304 4650419 140735295902704 18446744073709551615 4328348 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10414/tid=10418] ppid=10412 vsize=321704 CPUtime=25.35 cores=1,3,5,7
/proc/10414/task/10418/stat : 10418 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 12449 0 0 0 2534 1 0 0 25 0 4 0 608331574 329424896 22799 33554432000 4194304 4650419 140735295902704 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 321704

[startup+51.1007 s]
/proc/loadavg: 7.63 7.91 8.01 9/184 10450
/proc/meminfo: memFree=28785668/32950928 swapFree=67111352/67111528
[pid=10414] ppid=10412 vsize=313220 CPUtime=204.09 cores=1,3,5,7
/proc/10414/stat : 10414 (strangenight1-m) R 10412 10414 9908 0 -1 4202496 73022 0 0 0 20392 17 0 0 25 0 4 0 608331573 320737280 28280 33554432000 4194304 4650419 140735295902704 18446744073709551615 4365286 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10414/statm: 78305 28280 394 112 0 73270 0
[pid=10414/tid=10416] ppid=10412 vsize=313220 CPUtime=51.09 cores=1,3,5,7
/proc/10414/task/10416/stat : 10416 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 19450 0 0 0 5105 4 0 0 25 0 4 0 608331574 320737280 28280 33554432000 4194304 4650419 140735295902704 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10414/tid=10417] ppid=10412 vsize=313220 CPUtime=51.08 cores=1,3,5,7
/proc/10414/task/10417/stat : 10417 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 17583 0 0 0 5104 4 0 0 25 0 4 0 608331574 320737280 28280 33554432000 4194304 4650419 140735295902704 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10414/tid=10418] ppid=10412 vsize=313220 CPUtime=50.81 cores=1,3,5,7
/proc/10414/task/10418/stat : 10418 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 18003 0 0 0 5078 3 0 0 25 0 4 0 608331574 320737280 28280 33554432000 4194304 4650419 140735295902704 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 313220

[startup+102.3 s]
/proc/loadavg: 7.93 7.95 8.02 9/184 10452
/proc/meminfo: memFree=28731428/32950928 swapFree=67111352/67111528
[pid=10414] ppid=10412 vsize=325388 CPUtime=408.62 cores=1,3,5,7
/proc/10414/stat : 10414 (strangenight1-m) R 10412 10414 9908 0 -1 4202496 106840 0 0 0 40833 29 0 0 25 0 4 0 608331573 333197312 31549 33554432000 4194304 4650419 140735295902704 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10414/statm: 81347 31549 394 112 0 76312 0
[pid=10414/tid=10416] ppid=10412 vsize=325388 CPUtime=102.28 cores=1,3,5,7
/proc/10414/task/10416/stat : 10416 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 27707 0 0 0 10221 7 0 0 25 0 4 0 608331574 333197312 31549 33554432000 4194304 4650419 140735295902704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10414/tid=10417] ppid=10412 vsize=325388 CPUtime=102.29 cores=1,3,5,7
/proc/10414/task/10417/stat : 10417 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 24818 0 0 0 10223 6 0 0 25 0 4 0 608331574 333197312 31549 33554432000 4194304 4650419 140735295902704 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10414/tid=10418] ppid=10412 vsize=325388 CPUtime=101.74 cores=1,3,5,7
/proc/10414/task/10418/stat : 10418 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 27208 0 0 0 10167 7 0 0 25 0 4 0 608331574 333197312 31549 33554432000 4194304 4650419 140735295902704 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 325388

[startup+162.301 s]

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

[pid=10414] ppid=10412 vsize=416780 CPUtime=2805.39 cores=1,3,5,7
/proc/10414/stat : 10414 (strangenight1-m) R 10412 10414 9908 0 -1 4202496 351288 0 0 0 280406 133 0 0 25 0 4 0 608331573 426782720 59950 33554432000 4194304 4650419 140735295902704 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10414/statm: 104195 59950 394 112 0 99160 0
[pid=10414/tid=10416] ppid=10412 vsize=416780 CPUtime=702.3 cores=1,3,5,7
/proc/10414/task/10416/stat : 10416 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 90839 0 0 0 70194 36 0 0 25 0 4 0 608331574 426782720 59950 33554432000 4194304 4650419 140735295902704 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10414/tid=10417] ppid=10412 vsize=416780 CPUtime=702.31 cores=1,3,5,7
/proc/10414/task/10417/stat : 10417 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 65689 0 0 0 70208 23 0 0 25 0 4 0 608331574 426782720 59950 33554432000 4194304 4650419 140735295902704 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10414/tid=10418] ppid=10412 vsize=416780 CPUtime=698.51 cores=1,3,5,7
/proc/10414/task/10418/stat : 10418 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 98963 0 0 0 69815 36 0 0 25 0 4 0 608331574 426782720 59950 33554432000 4194304 4650419 140735295902704 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.39
Current children cumulated vsize (KiB) 416780

[startup+762.3 s]
/proc/loadavg: 8.09 8.09 8.04 9/184 10502
/proc/meminfo: memFree=28262320/32950928 swapFree=67111352/67111528
[pid=10414] ppid=10412 vsize=453264 CPUtime=3045.06 cores=1,3,5,7
/proc/10414/stat : 10414 (strangenight1-m) R 10412 10414 9908 0 -1 4202496 368764 0 0 0 304364 142 0 0 25 0 4 0 608331573 464142336 67796 33554432000 4194304 4650419 140735295902704 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10414/statm: 113316 67796 394 112 0 108281 0
[pid=10414/tid=10416] ppid=10412 vsize=453264 CPUtime=762.3 cores=1,3,5,7
/proc/10414/task/10416/stat : 10416 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 95893 0 0 0 76192 38 0 0 25 0 4 0 608331574 464142336 67796 33554432000 4194304 4650419 140735295902704 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10414/tid=10417] ppid=10412 vsize=453264 CPUtime=762.3 cores=1,3,5,7
/proc/10414/task/10417/stat : 10417 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 70588 0 0 0 76205 25 0 0 25 0 4 0 608331574 464142336 67796 33554432000 4194304 4650419 140735295902704 18446744073709551615 4330612 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10414/tid=10418] ppid=10412 vsize=453264 CPUtime=758.19 cores=1,3,5,7
/proc/10414/task/10418/stat : 10418 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 103909 0 0 0 75780 39 0 0 25 0 4 0 608331574 464142336 67796 33554432000 4194304 4650419 140735295902704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.06
Current children cumulated vsize (KiB) 453264

[startup+822.3 s]
/proc/loadavg: 8.08 8.08 8.04 9/184 10504
/proc/meminfo: memFree=28199532/32950928 swapFree=67111352/67111528
[pid=10414] ppid=10412 vsize=465960 CPUtime=3284.74 cores=1,3,5,7
/proc/10414/stat : 10414 (strangenight1-m) R 10412 10414 9908 0 -1 4202496 386286 0 0 0 328325 149 0 0 25 0 4 0 608331573 477143040 74920 33554432000 4194304 4650419 140735295902704 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10414/statm: 116490 74920 394 112 0 111455 0
[pid=10414/tid=10416] ppid=10412 vsize=465960 CPUtime=822.3 cores=1,3,5,7
/proc/10414/task/10416/stat : 10416 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 101502 0 0 0 82188 42 0 0 25 0 4 0 608331574 477143040 74920 33554432000 4194304 4650419 140735295902704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10414/tid=10417] ppid=10412 vsize=465960 CPUtime=822.3 cores=1,3,5,7
/proc/10414/task/10417/stat : 10417 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 76211 0 0 0 82204 26 0 0 25 0 4 0 608331574 477143040 74920 33554432000 4194304 4650419 140735295902704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10414/tid=10418] ppid=10412 vsize=465960 CPUtime=817.87 cores=1,3,5,7
/proc/10414/task/10418/stat : 10418 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 106656 0 0 0 81747 40 0 0 25 0 4 0 608331574 477143040 74920 33554432000 4194304 4650419 140735295902704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.74
Current children cumulated vsize (KiB) 465960

[startup+882.301 s]
/proc/loadavg: 8.11 8.10 8.05 9/184 10506
/proc/meminfo: memFree=28200604/32950928 swapFree=67111352/67111528
[pid=10414] ppid=10412 vsize=466096 CPUtime=3524.41 cores=1,3,5,7
/proc/10414/stat : 10414 (strangenight1-m) R 10412 10414 9908 0 -1 4202496 401321 0 0 0 352284 157 0 0 25 0 4 0 608331573 477282304 76727 33554432000 4194304 4650419 140735295902704 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10414/statm: 116524 76727 394 112 0 111489 0
[pid=10414/tid=10416] ppid=10412 vsize=466096 CPUtime=882.3 cores=1,3,5,7
/proc/10414/task/10416/stat : 10416 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 106448 0 0 0 88185 45 0 0 25 0 4 0 608331574 477282304 76727 33554432000 4194304 4650419 140735295902704 18446744073709551615 4365267 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10414/tid=10417] ppid=10412 vsize=466096 CPUtime=882.3 cores=1,3,5,7
/proc/10414/task/10417/stat : 10417 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 76326 0 0 0 88204 26 0 0 25 0 4 0 608331574 477282304 76727 33554432000 4194304 4650419 140735295902704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10414/tid=10418] ppid=10412 vsize=466096 CPUtime=877.54 cores=1,3,5,7
/proc/10414/task/10418/stat : 10418 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 111731 0 0 0 87711 43 0 0 25 0 4 0 608331574 477282304 76727 33554432000 4194304 4650419 140735295902704 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.41
Current children cumulated vsize (KiB) 466096

[startup+942.301 s]
/proc/loadavg: 8.11 8.10 8.05 9/184 10507
/proc/meminfo: memFree=28186684/32950928 swapFree=67111352/67111528
[pid=10414] ppid=10412 vsize=466244 CPUtime=3764.1 cores=1,3,5,7
/proc/10414/stat : 10414 (strangenight1-m) R 10412 10414 9908 0 -1 4202496 412956 0 0 0 376248 162 0 0 25 0 4 0 608331573 477433856 77337 33554432000 4194304 4650419 140735295902704 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10414/statm: 116561 77337 394 112 0 111526 0
[pid=10414/tid=10416] ppid=10412 vsize=466244 CPUtime=942.31 cores=1,3,5,7
/proc/10414/task/10416/stat : 10416 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 110451 0 0 0 94184 47 0 0 25 0 4 0 608331574 477433856 77337 33554432000 4194304 4650419 140735295902704 18446744073709551615 4366873 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10414/tid=10417] ppid=10412 vsize=466244 CPUtime=942.31 cores=1,3,5,7
/proc/10414/task/10417/stat : 10417 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 76435 0 0 0 94205 26 0 0 25 0 4 0 608331574 477433856 77337 33554432000 4194304 4650419 140735295902704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10414/tid=10418] ppid=10412 vsize=466244 CPUtime=937.22 cores=1,3,5,7
/proc/10414/task/10418/stat : 10418 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 117060 0 0 0 93677 45 0 0 25 0 4 0 608331574 477433856 77337 33554432000 4194304 4650419 140735295902704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.1
Current children cumulated vsize (KiB) 466244

[startup+1002.3 s]
/proc/loadavg: 8.15 8.11 8.06 9/184 10509
/proc/meminfo: memFree=28203896/32950928 swapFree=67111352/67111528
[pid=10414] ppid=10412 vsize=531936 CPUtime=4003.76 cores=1,3,5,7
/proc/10414/stat : 10414 (strangenight1-m) R 10412 10414 9908 0 -1 4202496 426383 0 0 0 400209 167 0 0 25 0 4 0 608331573 544702464 76993 33554432000 4194304 4650419 140735295902704 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10414/statm: 132984 76993 394 112 0 127949 0
[pid=10414/tid=10416] ppid=10412 vsize=531936 CPUtime=1002.31 cores=1,3,5,7
/proc/10414/task/10416/stat : 10416 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 115319 0 0 0 100182 49 0 0 25 0 4 0 608331574 544702464 76993 33554432000 4194304 4650419 140735295902704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10414/tid=10417] ppid=10412 vsize=531936 CPUtime=1002.31 cores=1,3,5,7
/proc/10414/task/10417/stat : 10417 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 76552 0 0 0 100205 26 0 0 25 0 4 0 608331574 544702464 76993 33554432000 4194304 4650419 140735295902704 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10414/tid=10418] ppid=10412 vsize=531936 CPUtime=996.89 cores=1,3,5,7
/proc/10414/task/10418/stat : 10418 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 123217 0 0 0 99642 47 0 0 25 0 4 0 608331574 544702464 76993 33554432000 4194304 4650419 140735295902704 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.76
Current children cumulated vsize (KiB) 531936

[startup+1062.31 s]
/proc/loadavg: 8.05 8.09 8.05 9/184 10510
/proc/meminfo: memFree=28140240/32950928 swapFree=67111352/67111528
[pid=10414] ppid=10412 vsize=532076 CPUtime=4243.45 cores=1,3,5,7
/proc/10414/stat : 10414 (strangenight1-m) R 10412 10414 9908 0 -1 4202496 442093 0 0 0 424170 175 0 0 25 0 4 0 608331573 544845824 83177 33554432000 4194304 4650419 140735295902704 18446744073709551615 4365337 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10414/statm: 133019 83177 394 112 0 127984 0
[pid=10414/tid=10416] ppid=10412 vsize=532076 CPUtime=1062.31 cores=1,3,5,7
/proc/10414/task/10416/stat : 10416 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 120461 0 0 0 106180 51 0 0 25 0 4 0 608331574 544845824 83177 33554432000 4194304 4650419 140735295902704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10414/tid=10417] ppid=10412 vsize=532076 CPUtime=1062.32 cores=1,3,5,7
/proc/10414/task/10417/stat : 10417 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 79387 0 0 0 106203 29 0 0 25 0 4 0 608331574 544845824 83177 33554432000 4194304 4650419 140735295902704 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10414/tid=10418] ppid=10412 vsize=532076 CPUtime=1056.56 cores=1,3,5,7
/proc/10414/task/10418/stat : 10418 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 127179 0 0 0 105607 49 0 0 25 0 4 0 608331574 544845824 83177 33554432000 4194304 4650419 140735295902704 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.45
Current children cumulated vsize (KiB) 532076

[startup+1122.3 s]
/proc/loadavg: 8.02 8.07 8.04 9/184 10512
/proc/meminfo: memFree=28174176/32950928 swapFree=67111352/67111528
[pid=10414] ppid=10412 vsize=441628 CPUtime=4483.11 cores=1,3,5,7
/proc/10414/stat : 10414 (strangenight1-m) R 10412 10414 9908 0 -1 4202496 451958 0 0 0 448130 181 0 0 25 0 4 0 608331573 452227072 77908 33554432000 4194304 4650419 140735295902704 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10414/statm: 110407 77908 394 112 0 105372 0
[pid=10414/tid=10416] ppid=10412 vsize=441628 CPUtime=1122.3 cores=1,3,5,7
/proc/10414/task/10416/stat : 10416 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 123279 0 0 0 112177 53 0 0 25 0 4 0 608331574 452227072 77908 33554432000 4194304 4650419 140735295902704 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10414/tid=10417] ppid=10412 vsize=441628 CPUtime=1122.32 cores=1,3,5,7
/proc/10414/task/10417/stat : 10417 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 80009 0 0 0 112203 29 0 0 25 0 4 0 608331574 452227072 77908 33554432000 4194304 4650419 140735295902704 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10414/tid=10418] ppid=10412 vsize=441628 CPUtime=1116.24 cores=1,3,5,7
/proc/10414/task/10418/stat : 10418 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 130381 0 0 0 111574 50 0 0 25 0 4 0 608331574 452227072 77908 33554432000 4194304 4650419 140735295902704 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.11
Current children cumulated vsize (KiB) 441628

[startup+1182.3 s]
/proc/loadavg: 8.07 8.07 8.04 9/184 10514
/proc/meminfo: memFree=28154904/32950928 swapFree=67111352/67111528
[pid=10414] ppid=10412 vsize=480172 CPUtime=4722.78 cores=1,3,5,7
/proc/10414/stat : 10414 (strangenight1-m) R 10412 10414 9908 0 -1 4202496 463734 0 0 0 472091 187 0 0 25 0 4 0 608331573 491696128 80936 33554432000 4194304 4650419 140735295902704 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10414/statm: 120043 80936 394 112 0 115008 0
[pid=10414/tid=10416] ppid=10412 vsize=480172 CPUtime=1182.31 cores=1,3,5,7
/proc/10414/task/10416/stat : 10416 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 126236 0 0 0 118176 55 0 0 25 0 4 0 608331574 491696128 80936 33554432000 4194304 4650419 140735295902704 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10414/tid=10417] ppid=10412 vsize=480172 CPUtime=1182.32 cores=1,3,5,7
/proc/10414/task/10417/stat : 10417 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 82954 0 0 0 118201 31 0 0 25 0 4 0 608331574 491696128 80936 33554432000 4194304 4650419 140735295902704 18446744073709551615 4366047 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10414/tid=10418] ppid=10412 vsize=480172 CPUtime=1175.91 cores=1,3,5,7
/proc/10414/task/10418/stat : 10418 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 132981 0 0 0 117539 52 0 0 25 0 4 0 608331574 491696128 80936 33554432000 4194304 4650419 140735295902704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.78
Current children cumulated vsize (KiB) 480172



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.05 8.07 8.04 9/184 10514
/proc/meminfo: memFree=28144840/32950928 swapFree=67111352/67111528
[pid=10414] ppid=10412 vsize=480236 CPUtime=4800.29 cores=1,3,5,7
/proc/10414/stat : 10414 (strangenight1-m) R 10412 10414 9908 0 -1 4202496 467677 0 0 0 479841 188 0 0 25 0 4 0 608331573 491761664 79309 33554432000 4194304 4650419 140735295902704 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10414/statm: 120059 79309 394 112 0 115024 0
[pid=10414/tid=10416] ppid=10412 vsize=480236 CPUtime=1201.71 cores=1,3,5,7
/proc/10414/task/10416/stat : 10416 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 128143 0 0 0 120116 55 0 0 25 0 4 0 608331574 491761664 79309 33554432000 4194304 4650419 140735295902704 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10414/tid=10417] ppid=10412 vsize=480236 CPUtime=1201.73 cores=1,3,5,7
/proc/10414/task/10417/stat : 10417 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 82962 0 0 0 120142 31 0 0 25 0 4 0 608331574 491761664 79309 33554432000 4194304 4650419 140735295902704 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10414/tid=10418] ppid=10412 vsize=480236 CPUtime=1195.21 cores=1,3,5,7
/proc/10414/task/10418/stat : 10418 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 135009 0 0 0 119468 53 0 0 25 0 4 0 608331574 491761664 79309 33554432000 4194304 4650419 140735295902704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 480236

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

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

[startup+1201.7 s]
/proc/loadavg: 8.05 8.07 8.04 9/184 10514
/proc/meminfo: memFree=28144840/32950928 swapFree=67111352/67111528
[pid=10414] ppid=10412 vsize=480236 CPUtime=4800.29 cores=1,3,5,7
/proc/10414/stat : 10414 (strangenight1-m) R 10412 10414 9908 0 -1 4202496 467677 0 0 0 479841 188 0 0 25 0 4 0 608331573 491761664 79309 33554432000 4194304 4650419 140735295902704 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10414/statm: 120059 79309 394 112 0 115024 0
[pid=10414/tid=10416] ppid=10412 vsize=480236 CPUtime=1201.71 cores=1,3,5,7
/proc/10414/task/10416/stat : 10416 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 128143 0 0 0 120116 55 0 0 25 0 4 0 608331574 491761664 79309 33554432000 4194304 4650419 140735295902704 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10414/tid=10417] ppid=10412 vsize=480236 CPUtime=1201.73 cores=1,3,5,7
/proc/10414/task/10417/stat : 10417 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 82962 0 0 0 120142 31 0 0 25 0 4 0 608331574 491761664 79309 33554432000 4194304 4650419 140735295902704 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10414/tid=10418] ppid=10412 vsize=480236 CPUtime=1195.21 cores=1,3,5,7
/proc/10414/task/10418/stat : 10418 (strangenight1-m) R 10412 10414 9908 0 -1 4202560 135009 0 0 0 119468 53 0 0 25 0 4 0 608331574 491761664 79309 33554432000 4194304 4650419 140735295902704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 480236

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.34
CPU user time (s): 4798.44
CPU system time (s): 1.90371
CPU usage (%): 399.453
Max. virtual memory (cumulated for all children) (KiB): 532264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.44
system time used= 1.90371
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 467678
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= 1214
involuntary context switches= 32492

runsolver used 2.09568 second user time and 4.44132 second system time

The end

Launcher Data 

Begin job on node113 at 2011-04-30 18:30:09
IDJOB=3265897
IDBENCH=85826
IDSOLVER=1588
FILE ID=node113/3265897-1304181009
RUNJOBID= node113-1304181009-10393
PBS_JOBID= 13172438
Free space on /tmp= 72392 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
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-3265897-1304181009/watcher-3265897-1304181009 -o /tmp/evaluation-result-3265897-1304181009/solver-3265897-1304181009 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3265897-1304181009.cnf

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

MD5SUM BENCH= 88361752c7b0c05e849791aafdd7bdba
RANDOM SEED=671003028

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      28996952 kB
Buffers:        774736 kB
Cached:        2612568 kB
SwapCached:         12 kB
Active:         223600 kB
Inactive:      3227440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28996952 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:           12984 kB
Writeback:           0 kB
AnonPages:       64020 kB
Mapped:          14868 kB
Slab:           438940 kB
PageTables:       4708 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   220764 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= 72380 MiB
End job on node113 at 2011-04-30 18:50:13