Trace number 3366174

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.17 1203.2

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v50000-c210000-S874492400-019-UNKNOWN.cnf
MD5SUMec4818cc72441ba3110ddbe772c6ebb9
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark909.267
Satisfiable
(Un)Satisfiability was proved
Number of variables50000
Number of clauses210000
Sum of the clauses size630000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3210000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366174-1305398011.cnf'
0.00/0.01	c -- header says num vars:          50000
0.00/0.01	c -- header says num clauses:      210000
0.00/0.49	c -- clauses added:            0 learnts,       210000 normals,            0 xors
0.00/0.49	c -- vars added      50000
0.00/0.49	c Parsing time:  0.15 s
0.00/0.49	c  N st     0         0     50000    210000         0         0    630000         0   no data   no data
0.00/0.49	c asymm  cl-useful: 0/210000/210000 lits-rem:0 time: 0.21
0.00/0.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.07
1.96/0.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.96/0.65	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.96/0.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1.96/0.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  50000 time:  0.02 s
1.96/0.70	c Removed useless bin:       0  fixed:     0  props:   0.49M  time:  0.02 s
2.81/1.08	c lits-rem:         0  cl-subs:        0  v-elim:   1213  v-fix:    0  time:  0.37 s
2.81/1.09	c Finding binary XORs  T:     0.01 s  found:       0
2.81/1.18	c Finding non-binary XORs:     0.08 s (found:       0, avg size: nan)
2.81/1.18	c calculated reachability. Time: 0.00
2.81/1.20	c Calc default polars -  time:   0.02 s pos:   22386 undec:    5534 neg:   22080
2.81/1.20	c =========================================================================================
2.81/1.20	c types(t): F = full restart, N = normal restart
2.81/1.20	c types(t): S = simplification begin/end, E = solution found
2.81/1.20	c restart types(rt): st = static, dy = dynamic
2.81/1.20	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.81/1.20	c  B st     0         0     48787    208679         0         0    633449         0   no data   no data
15.10/3.81	c  N dy    19      4044     48787    208679         0      4043    633449   1369308    189.92    201.44
25.49/6.48	c  N dy    50      8131     48787    208679         0      8130    633449   2565151    196.10    209.96
36.25/9.17	c  N dy    77     12250     48787    208679         0     12249    633449   3774574    196.59    214.33
47.43/11.94	c  N dy   105     16403     48787    208679         0     16402    633449   4934804    195.76    211.46
58.59/14.73	c  N dy   135     20447     48787    208679         0     10451    633449    852603    196.97    208.42
69.37/17.47	c  N dy   168     24519     48787    208679         0     14521    633449   2093368    198.74    212.66
70.55/17.79	c  F st   172     25000     48787    208679         0     15002    633449   2240327    198.80    195.96
84.93/21.31	c  N dy   178     30000     48787    208679         0     20001    633449   4209569    198.80   no data
84.93/21.31	c  S st   178     30000     48787    208679         0     20001    633449   4209569    198.80   no data
86.12/21.66	c  S st   178     30503     48787    208679         0     20504    633449   4316750    198.80   no data
86.12/21.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
86.92/21.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.13
87.34/21.91	c blocked clauses removed:      911 vars:    157 tried:       48787 T: 0.03 s
87.34/21.92	c bin-w-bin subsume rem            0 bins  time:  0.01 s
87.34/21.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
87.34/21.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  48630 time:  0.01 s
87.34/21.98	c Removed useless bin:       0  fixed:     0  props:   0.47M  time:  0.02 s
88.52/22.27	c lits-rem:         0  cl-subs:        0  v-elim:     21  v-fix:    0  time:  0.29 s
90.51/22.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
94.90/23.81	c lits-rem:        14  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.99 s
95.70/24.06	c asymm  cl-useful: 0/207752/207752 lits-rem:0 time: 0.25
95.70/24.08	c calculated reachability. Time: 0.00
95.70/24.08	c  N dy   178     30503     48609    207752         0     20264    630795   4165823    198.80   no data
107.67/27.00	c  N dy   203     34733     48609    207752         0     24494    630795   5420225    198.52    209.28
119.23/29.91	c  N dy   232     38742     48609    207752         0     28502    630795   6634194    198.90    209.52
130.40/32.79	c  N dy   261     42834     48609    207752         0     17212    630795   1412008    198.82    211.84
138.78/34.84	c  S st   286     45756     48609    207752         0     20133    630795   2299734    199.35   no data
140.00/35.20	c  S st   286     46260     48609    207752         0     20637    630795   2409286    199.35   no data
140.42/35.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
140.77/35.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.13
141.17/35.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
141.17/35.44	c bin-w-bin subsume rem            0 bins  time:  0.01 s
141.17/35.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
141.17/35.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  48609 time:  0.02 s
141.57/35.50	c Removed useless bin:       0  fixed:     0  props:   0.47M  time:  0.02 s
142.37/35.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
143.17/35.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
144.39/36.29	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.33 s
144.81/36.33	c vivif2 --  cl tried   207752 cl shrink        0 lits rem          0 time: 0.04
144.81/36.38	c vivif2 --  cl tried    20635 cl shrink        0 lits rem          0 time: 0.05
145.96/36.64	c asymm  cl-useful: 0/207752/207752 lits-rem:0 time: 0.26
145.96/36.65	c calculated reachability. Time: 0.00
145.96/36.65	c  N dy   286     46260     48609    207752         0     20635    630795   2408706    199.35   no data
157.97/39.61	c  N dy   313     50559     48609    207752         0     24934    630795   3656039    199.07    210.09
168.71/42.38	c  N dy   338     54611     48609    207752         0     28986    630795   4788009    198.38    211.97
180.27/45.27	c  N dy   366     58658     48609    207752         0     33033    630795   5989217    198.64    213.39
192.25/48.20	c  N dy   392     62717     48609    207752         0     37092    630795   7163625    198.30    211.98
203.81/51.13	c  N dy   420     66890     48609    207752         0     22579    630795   1980830    198.02    209.08
210.63/52.89	c  S st   434     69390     48609    207752         0     25079    630795   2708610    197.76    206.46
212.20/53.25	c  S st   434     69895     48609    207752         0     25584    630795   2813562    197.76   no data
212.20/53.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
212.99/53.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.13
212.99/53.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
212.99/53.49	c bin-w-bin subsume rem            0 bins  time:  0.01 s
213.39/53.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
213.39/53.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  48609 time:  0.02 s
213.39/53.54	c Removed useless bin:       0  fixed:     0  props:   0.47M  time:  0.02 s
214.19/53.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
215.03/53.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
216.98/54.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.45 s
217.38/54.50	c vivif2 --  cl tried   207752 cl shrink        0 lits rem          0 time: 0.04
217.38/54.55	c vivif2 --  cl tried    25584 cl shrink        0 lits rem          0 time: 0.06
218.58/54.82	c asymm  cl-useful: 0/207752/207752 lits-rem:0 time: 0.27
218.58/54.84	c calculated reachability. Time: 0.00
218.58/54.84	c  N dy   434     69895     48609    207752         0     25584    630795   2813562    197.76   no data
231.35/58.06	c  N dy   465     74428     48609    207752         0     30117    630795   4189206    198.32    217.41
245.75/61.70	c  N dy   498     79530     48609    207752         0     35219    630795   5689432    198.08    209.84
260.87/65.46	c  N dy   538     84727     48609    207752         0     40416    630795   7270000    198.64    215.99
268.85/67.49	c  F st   558     87501     48609    207752         0     22344    630795   1226076    198.64    173.78
278.83/69.95	c  N st   563     90800     48609    207752         0     25643    630795   2394678    198.64   no data
295.98/74.23	c  N dy   592     96780     48609    207752         0     31623    630795   4424692    199.03    211.54
313.53/78.65	c  N dy   631    102958     48609    207752         0     37801    630795   6245996    198.87    213.73
319.12/80.07	c  S st   647    104842     48609    207752         0     39685    630795   6822424    199.07   no data
320.71/80.46	c  S st   647    105346     48609    207752         0     40189    630795   6962706    199.07   no data
320.71/80.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
321.51/80.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.15
321.91/80.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
321.91/80.72	c bin-w-bin subsume rem            0 bins  time:  0.01 s
321.91/80.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
321.91/80.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  48609 time:  0.02 s
321.91/80.78	c Removed useless bin:       0  fixed:     0  props:   0.47M  time:  0.02 s
323.11/81.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
325.10/81.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
332.29/83.36	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  1.73 s
332.69/83.40	c vivif2 --  cl tried   207752 cl shrink        0 lits rem          0 time: 0.04
333.11/83.54	c vivif2 --  cl tried    40187 cl shrink        0 lits rem          0 time: 0.14
334.28/83.83	c asymm  cl-useful: 0/207752/207752 lits-rem:0 time: 0.30
334.28/83.85	c calculated reachability. Time: 0.00
334.28/83.85	c  N dy   647    105346     48609    207752         0     40187    630795   6961818    199.07   no data
353.83/88.79	c  N dy   691    112097     48609    207752         0     24518    630795   1337368    199.04    224.82
374.98/94.05	c  N dy   744    119297     48609    207752         0     31718    630795   3504562    199.36    221.24
396.93/99.56	c  N dy   790    127016     48609    207752         0     39437    630795   5707375    198.88    223.56
421.65/105.73	c  N dy   847    135206     48609    207752         0     23916    630795    758222    198.94    213.42
446.40/111.92	c  N dy   911    143926     48609    207752         0     32635    630795   3369471    199.21    269.69
473.13/118.65	c  N dy   975    153170     48609    207752         0     41877    630795   6060764    199.10    210.97
487.49/122.29	c  S st  1007    158019     48609    207752         0     46723    630795   7473381    199.04   no data
489.08/122.67	c  S st  1007    158521     48609    207752         0     47225    630795   7593222    199.04   no data
489.48/122.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
489.88/122.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.16
490.29/122.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
490.29/122.95	c bin-w-bin subsume rem            0 bins  time:  0.01 s
490.29/122.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
490.29/122.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  48609 time:  0.02 s
490.69/123.01	c Removed useless bin:       0  fixed:     0  props:   0.47M  time:  0.02 s
491.52/123.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
493.87/123.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
503.05/126.13	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.25 s
503.05/126.16	c vivif2 --  cl tried   207752 cl shrink        0 lits rem          0 time: 0.04
503.85/126.32	c vivif2 --  cl tried    47220 cl shrink        0 lits rem          0 time: 0.16
505.04/126.63	c asymm  cl-useful: 0/207752/207752 lits-rem:0 time: 0.31
505.04/126.65	c calculated reachability. Time: 0.00
505.04/126.65	c  N dy  1007    158521     48609    207752         0     47220    630795   7591128    199.04   no data
534.57/134.01	c  N dy  1073    168749     48609    207752         0     32595    630795   2979387    199.17    211.67
566.13/141.96	c  N dy  1142    179630     48609    207752         0     43475    630795   6181463    199.01    217.11
600.41/150.58	c  N dy  1221    191183     48609    207752         0     29100    630795   1542283    199.02    214.53
635.94/159.50	c  N dy  1304    203531     48609    207752         0     41448    630795   5183731    199.03    210.70
675.85/169.49	c  N dy  1397    216637     48609    207752         0     27600    630795    774508    199.04    216.71
715.71/179.47	c  N dy  1487    230561     48609    207752         0     41524    630795   4800118    198.81    240.65
737.29/184.82	c  S st  1536    237781     48609    207752         0     48744    630795   6862685    198.69    183.73
738.85/185.22	c  S st  1536    238286     48609    207752         0     49249    630795   6978538    198.69   no data
738.85/185.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
739.65/185.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.16
739.65/185.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
739.65/185.49	c bin-w-bin subsume rem            0 bins  time:  0.01 s
740.05/185.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
740.05/185.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  48609 time:  0.02 s
740.05/185.55	c Removed useless bin:       0  fixed:     0  props:   0.47M  time:  0.02 s
740.85/185.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
742.84/186.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
751.62/188.43	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time:  2.11 s
751.62/188.47	c vivif2 --  cl tried   207752 cl shrink        0 lits rem          0 time: 0.04
752.42/188.61	c vivif2 --  cl tried    49247 cl shrink        0 lits rem          0 time: 0.14
753.62/188.93	c asymm  cl-useful: 0/207752/207752 lits-rem:0 time: 0.32
753.62/188.94	c calculated reachability. Time: 0.00
753.62/188.94	c  N dy  1536    238286     48609    207752         0     49247    630795   6977805    198.69   no data
798.74/200.28	c  N dy  1642    253556     48609    207752         0     36533    630795   3146282    198.69    214.12
847.37/212.47	c  N dy  1751    269852     48609    207752         0     52828    630795   8037633    198.91    223.98
898.85/225.34	c  N dy  1861    287175     48609    207752         0     41160    630795   4206754    198.95    298.82
954.31/239.20	c  N dy  1983    305520     48609    207752         0     59504    630795   9587935    198.82    242.06
956.75/239.81	c  F st  1989    306252     48609    207752         0     30241    630795    619792    198.81    176.96
1013.38/254.05	c  N dy  2091    325065     48609    207752         0     49051    630795   7015055    198.91    226.97
1074.40/269.35	c  N dy  2224    345209     48609    207752         0     38198    630795   2653610    198.90    224.26
1110.35/278.38	c  S st  2301    357430     48609    207752         0     50419    630795   6268613    198.79   no data
1111.90/278.77	c  S st  2301    357933     48609    207752         0     50922    630795   6382806    198.79   no data
1112.30/278.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1112.70/278.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.16
1113.10/279.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1113.10/279.05	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1113.10/279.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1113.10/279.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  48609 time:  0.02 s
1113.50/279.11	c Removed useless bin:       0  fixed:     0  props:   0.47M  time:  0.02 s
1114.32/279.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
1115.88/279.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1124.27/281.87	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.05 s
1124.67/281.91	c vivif2 --  cl tried   207752 cl shrink        0 lits rem          0 time: 0.04
1125.07/282.04	c vivif2 --  cl tried    50918 cl shrink        0 lits rem          0 time: 0.13
1126.27/282.36	c asymm  cl-useful: 0/207752/207752 lits-rem:0 time: 0.32
1126.27/282.38	c calculated reachability. Time: 0.00
1126.27/282.38	c  N dy  2301    357933     48609    207752         0     50918    630795   6380450    198.79   no data
1187.71/297.74	c  N dy  2440    378074     48609    207752         0     39057    630795   2623126    198.93    213.65
1249.16/313.11	c  N dy  2580    398077     48609    207752         0     59060    630795   8579152    199.00    211.61
1309.40/328.28	c  N dy  2711    418163     48609    207752         0     46148    630795   4312603    198.86    273.82
1371.24/343.74	c  N dy  2842    438214     48609    207752         0     66197    630795  10159360    198.78    212.98
1431.49/358.80	c  N dy  2981    458226     48609    207752         0     52217    630795   5952913    198.79    212.29
1493.73/374.48	c  N dy  3125    478246     48609    207752         0     37239    630795   1177460    198.92    212.36
1553.61/389.44	c  N dy  3256    498254     48609    207752         0     57246    630795   7091616    198.82    226.30
1615.82/405.07	c  N dy  3392    518338     48609    207752         0     41330    630795   2081171    198.86    209.60
1672.88/419.33	c  S st  3525    536899     48609    207752         0     59886    630795   7703611    198.95   no data
1674.48/419.74	c  S st  3525    537402     48609    207752         0     60389    630795   7805645    198.95   no data
1674.48/419.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1675.27/419.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.17
1675.67/420.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1675.67/420.04	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1675.67/420.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1675.67/420.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  48609 time:  0.02 s
1675.67/420.09	c Removed useless bin:       0  fixed:     0  props:   0.47M  time:  0.02 s
1676.86/420.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.25 s
1678.86/420.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1691.23/423.99	c lits-rem:         1  cl-subs:        3  v-elim:      0  v-fix:    0  time:  3.05 s
1691.63/424.03	c vivif2 --  cl tried   207752 cl shrink        0 lits rem          0 time: 0.04
1692.03/424.19	c vivif2 --  cl tried    60386 cl shrink        0 lits rem          0 time: 0.16
1693.65/424.53	c asymm  cl-useful: 0/207752/207752 lits-rem:0 time: 0.34
1693.65/424.54	c calculated reachability. Time: 0.00
1693.65/424.55	c  N dy  3525    537402     48609    207752         0     60386    630795   7803810    198.95   no data
1755.86/440.18	c  N dy  3659    557467     48609    207752         0     43452    630795   2429586    198.97    210.00
1818.10/455.77	c  N dy  3802    577527     48609    207752         0     63511    630795   8471596    199.11    214.15
1880.34/471.35	c  N dy  3934    597628     48609    207752         0     45615    630795   2811653    199.04    222.69
1942.18/486.82	c  N dy  4063    617662     48609    207752         0     65647    630795   8711926    198.97    215.74
2005.24/502.66	c  N dy  4204    637695     48609    207752         0     46681    630795   2859944    199.06    246.57
2067.86/518.38	c  N dy  4344    657719     48609    207752         0     66705    630795   8872266    199.11    212.92
2131.69/534.36	c  N dy  4486    677857     48609    207752         0     46848    630795   2544431    199.15    211.02
2195.92/550.42	c  N dy  4632    697946     48609    207752         0     66936    630795   8547575    199.24    253.13
2259.79/566.42	c  N dy  4768    717982     48609    207752         0     45969    630795   1980455    199.25    212.51
2322.40/582.19	c  N dy  4907    738123     48609    207752         0     66108    630795   8031294    199.33    219.81
2387.48/598.48	c  N dy  5043    758222     48609    207752         0     44210    630795   1194673    199.29    212.59
2450.47/614.25	c  N dy  5183    778503     48609    207752         0     64489    630795   7326020    199.40    216.28
2516.70/630.86	c  N dy  5327    798608     48609    207752         0     84594    630795  13337129    199.46    214.25
2539.85/636.64	c  S st  5379    806103     48609    207752         0     49093    630795   2276891    199.42   no data
2541.44/637.03	c  S st  5379    806603     48609    207752         0     49593    630795   2372389    199.42   no data
2541.44/637.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2542.24/637.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.16
2542.24/637.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2542.64/637.30	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2542.64/637.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2542.64/637.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  48609 time:  0.02 s
2542.64/637.36	c Removed useless bin:       0  fixed:     0  props:   0.47M  time:  0.03 s
2543.44/637.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
2544.23/637.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2547.42/638.53	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.74 s
2547.42/638.56	c vivif2 --  cl tried   207752 cl shrink        0 lits rem          0 time: 0.04
2547.82/638.61	c vivif2 --  cl tried    49591 cl shrink        0 lits rem          0 time: 0.05
2549.03/638.93	c asymm  cl-useful: 0/207752/207752 lits-rem:0 time: 0.32
2549.03/638.95	c calculated reachability. Time: 0.00
2549.03/638.95	c  N dy  5379    806603     48609    207752         0     49591    630795   2370986    199.42   no data
2612.06/654.77	c  N dy  5514    826718     48609    207752         0     69706    630795   8417366    199.48    210.18
2678.68/671.44	c  N dy  5654    846802     48609    207752         0     45783    630795   1045937    199.50    210.74
2742.13/687.33	c  N dy  5807    866868     48609    207752         0     65849    630795   7201754    199.63    235.70
2808.38/703.93	c  N dy  5946    886988     48609    207752         0     85969    630795  13253725    199.70    214.30
2871.39/719.77	c  N dy  6087    907029     48609    207752         0     61012    630795   5342995    199.78    298.70
2936.82/736.13	c  N dy  6231    927126     48609    207752         0     81108    630795  11263925    199.78    213.35
3002.64/752.64	c  N dy  6376    947327     48609    207752         0     55314    630795   3298550    199.87    225.01
3067.31/768.84	c  N dy  6522    967400     48609    207752         0     75386    630795   9325638    199.94    223.10
3133.91/785.56	c  N dy  6655    987401     48609    207752         0     48385    630795    964619    199.91    242.54
3196.16/801.19	c  N dy  6790   1007486     48609    207752         0     68470    630795   6949940    199.93    211.67
3262.38/817.78	c  N dy  6925   1027540     48609    207752         0     88524    630795  12988747    199.96    225.92
3326.66/833.88	c  N dy  7064   1047609     48609    207752         0     60596    630795   4284451    199.97    210.58
3392.07/850.23	c  N dy  7208   1067636     48609    207752         0     80622    630795  10400163    200.03    260.83
3406.41/853.84	c  F st  7240   1071876     48609    207752         0     84862    630795  11712724    200.05   no data
3460.27/867.35	c  N dy  7315   1087801     48609    207752         0     51787    630795   1403048    200.04    212.95
3524.15/883.34	c  N dy  7450   1107971     48609    207752         0     71956    630795   7497712    200.08    211.60
3590.73/900.01	c  N dy  7581   1127996     48609    207752         0     91980    630795  13452735    200.08    211.40
3654.98/916.17	c  N dy  7714   1148005     48609    207752         0     61994    630795   4112516    200.05    212.89
3720.00/932.48	c  N dy  7847   1168067     48609    207752         0     82055    630795  10116641    200.05    213.40
3789.42/949.80	c  N dy  7984   1188162     48609    207752         0     51152    630795    608778    200.09    220.30
3852.47/965.68	c  N dy  8126   1208228     48609    207752         0     71217    630795   6636310    200.12    213.81
3858.04/967.07	c  S st  8139   1209904     48609    207752         0     72893    630795   7143684    200.12    154.52
3860.05/967.50	c  S st  8139   1210409     48609    207752         0     73397    630795   7257397    200.12   no data
3860.05/967.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3860.85/967.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.19
3860.85/967.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3861.25/967.81	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3861.25/967.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3861.25/967.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  48609 time:  0.02 s
3861.25/967.87	c Removed useless bin:       0  fixed:     0  props:   0.47M  time:  0.03 s
3862.44/968.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.26 s
3864.44/968.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3878.01/972.01	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time:  3.32 s
3878.01/972.05	c vivif2 --  cl tried   207752 cl shrink        0 lits rem          0 time: 0.04
3878.81/972.20	c vivif2 --  cl tried    73392 cl shrink        0 lits rem          0 time: 0.15
3880.00/972.57	c asymm  cl-useful: 0/207752/207752 lits-rem:0 time: 0.37
3880.00/972.59	c calculated reachability. Time: 0.00
3880.00/972.59	c  N dy  8139   1210409     48609    207752         0     73392    630795   7255584    200.12   no data
3948.22/989.69	c  N dy  8279   1230541     48609    207752         0     93524    630795  13222821    200.12    211.09
4015.27/1006.49	c  N dy  8423   1250738     48609    207752         0     61720    630795   3529134    200.17    219.43
4080.28/1022.78	c  N dy  8567   1270801     48609    207752         0     81781    630795   9617763    200.22    211.89
4149.70/1040.11	c  N dy  8706   1290873     48609    207752         0    101853    630795  15563121    200.22    213.09
4215.13/1056.52	c  N dy  8847   1311003     48609    207752         0     68981    630795   5342492    200.26    213.24
4281.36/1073.13	c  N dy  8987   1331108     48609    207752         0     89083    630795  11308937    200.28    222.90
4351.18/1090.66	c  N dy  9130   1351145     48609    207752         0     55127    630795    938743    200.35    212.09
4415.41/1106.76	c  N dy  9268   1371158     48609    207752         0     75139    630795   6914782    200.34    216.72
4483.24/1123.74	c  N dy  9399   1391193     48609    207752         0     95173    630795  12867245    200.34    218.06
4552.66/1141.10	c  N dy  9541   1411351     48609    207752         0     60340    630795   2191456    200.37    213.21
4616.51/1157.21	c  N dy  9675   1431379     48609    207752         0     80367    630795   8182217    200.38    213.62
4685.52/1174.41	c  N dy  9809   1451575     48609    207752         0    100563    630795  14087152    200.35    213.50
4753.74/1191.55	c  N dy  9951   1471668     48609    207752         0     64653    630795   3157014    200.36    219.71

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-3366174-1305398011/watcher-3366174-1305398011 -o /tmp/evaluation-result-3366174-1305398011/solver-3366174-1305398011 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366174-1305398011.cnf 

running on 4 cores: 0,2,4,6

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.98 7.86 7.78 7/319 7701
/proc/meminfo: memFree=27270188/32951124 swapFree=46575252/67111528
[pid=7701] ppid=7699 vsize=51168 CPUtime=0.01 cores=0,2,4,6
/proc/7701/stat : 7701 (strangenight2-m) R 7699 7701 7660 0 -1 4202496 411 0 0 0 1 0 0 0 21 0 4 0 383992390 52396032 351 33554432000 4194304 4580107 140734828406624 18446744073709551615 47007762478621 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7701/statm: 12792 351 302 95 0 7774 0
[pid=7701/tid=7702] ppid=7699 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/7701/task/7702/stat : 7702 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 4 0 383992390 52396032 351 33554432000 4194304 4580107 140734828406624 18446744073709551615 47007762478615 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7701/tid=7703] ppid=7699 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/7701/task/7703/stat : 7703 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 383992390 52396032 351 33554432000 4194304 4580107 140734828406624 18446744073709551615 47007762479020 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7701/tid=7704] ppid=7699 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/7701/task/7704/stat : 7704 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 383992390 52396032 351 33554432000 4194304 4580107 140734828406624 18446744073709551615 47007762478621 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.096372 s]
/proc/loadavg: 6.98 7.86 7.78 7/319 7701
/proc/meminfo: memFree=27270188/32951124 swapFree=46575252/67111528
[pid=7701] ppid=7699 vsize=329196 CPUtime=0.33 cores=0,2,4,6
/proc/7701/stat : 7701 (strangenight2-m) R 7699 7701 7660 0 -1 4202496 26169 0 0 0 28 5 0 0 18 0 4 0 383992390 337096704 21990 33554432000 4194304 4580107 140734828406624 18446744073709551615 268660705463 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7701/statm: 83055 24831 337 95 0 78037 0
[pid=7701/tid=7702] ppid=7699 vsize=332352 CPUtime=0.15 cores=0,2,4,6
/proc/7701/task/7702/stat : 7702 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 7978 0 0 0 14 1 0 0 18 0 4 0 383992390 340328448 28163 33554432000 4194304 4580107 140734828406624 18446744073709551615 268660323361 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7701/tid=7703] ppid=7699 vsize=353796 CPUtime=0.46 cores=0,2,4,6
/proc/7701/task/7703/stat : 7703 (strangenight2-m) D 7699 7701 7660 0 -1 4202560 9093 0 0 0 45 1 0 0 18 0 4 0 383992390 362287104 32654 33554432000 4194304 4580107 140734828406624 18446744073709551615 268660323361 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7701/tid=7704] ppid=7699 vsize=353796 CPUtime=0.48 cores=0,2,4,6
/proc/7701/task/7704/stat : 7704 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 9040 0 0 0 46 2 0 0 18 0 4 0 383992390 362287104 32837 33554432000 4194304 4580107 140734828406624 18446744073709551615 4302360 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 329196

[startup+0.502161 s]
/proc/loadavg: 6.98 7.86 7.78 7/319 7701
/proc/meminfo: memFree=27270188/32951124 swapFree=46575252/67111528
[pid=7701] ppid=7699 vsize=353796 CPUtime=1.96 cores=0,2,4,6
/proc/7701/stat : 7701 (strangenight2-m) R 7699 7701 7660 0 -1 4202496 38503 0 0 0 187 9 0 0 18 0 4 0 383992390 362287104 34324 33554432000 4194304 4580107 140734828406624 18446744073709551615 268660327665 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7701/statm: 88449 34534 363 95 0 83431 0
[pid=7701/tid=7702] ppid=7699 vsize=353796 CPUtime=0.49 cores=0,2,4,6
/proc/7701/task/7702/stat : 7702 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 9981 0 0 0 47 2 0 0 18 0 4 0 383992390 362287104 35409 33554432000 4194304 4580107 140734828406624 18446744073709551615 268660323013 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7701/tid=7703] ppid=7699 vsize=353796 CPUtime=0.48 cores=0,2,4,6
/proc/7701/task/7703/stat : 7703 (strangenight2-m) D 7699 7701 7660 0 -1 4202560 10146 0 0 0 47 1 0 0 18 0 4 0 383992390 362287104 35791 33554432000 4194304 4580107 140734828406624 18446744073709551615 268660705463 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7701/tid=7704] ppid=7699 vsize=353796 CPUtime=0.51 cores=0,2,4,6
/proc/7701/task/7704/stat : 7704 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 9057 0 0 0 49 2 0 0 18 0 4 0 383992390 362287104 37207 33554432000 4194304 4580107 140734828406624 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 353796

[startup+0.70774 s]
/proc/loadavg: 6.98 7.86 7.78 7/319 7701
/proc/meminfo: memFree=27270188/32951124 swapFree=46575252/67111528
[pid=7701] ppid=7699 vsize=374876 CPUtime=2.81 cores=0,2,4,6
/proc/7701/stat : 7701 (strangenight2-m) R 7699 7701 7660 0 -1 4202496 59262 0 0 0 267 14 0 0 18 0 4 0 383992390 383873024 53125 33554432000 4194304 4580107 140734828406624 18446744073709551615 268660720042 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7701/statm: 93719 53125 371 95 0 88701 0
[pid=7701/tid=7702] ppid=7699 vsize=374876 CPUtime=0.7 cores=0,2,4,6
/proc/7701/task/7702/stat : 7702 (strangenight2-m) D 7699 7701 7660 0 -1 4202560 15309 0 0 0 66 4 0 0 18 0 4 0 383992390 383873024 53125 33554432000 4194304 4580107 140734828406624 18446744073709551615 4421446 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7701/tid=7703] ppid=7699 vsize=374876 CPUtime=0.69 cores=0,2,4,6
/proc/7701/task/7703/stat : 7703 (strangenight2-m) D 7699 7701 7660 0 -1 4202560 17068 0 0 0 66 3 0 0 18 0 4 0 383992390 383873024 53125 33554432000 4194304 4580107 140734828406624 18446744073709551615 4421592 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7701/tid=7704] ppid=7699 vsize=374876 CPUtime=0.7 cores=0,2,4,6
/proc/7701/task/7704/stat : 7704 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 9187 0 0 0 68 2 0 0 18 0 4 0 383992390 383873024 53125 33554432000 4194304 4580107 140734828406624 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 374876

[startup+1.42525 s]
/proc/loadavg: 6.98 7.86 7.78 7/319 7701
/proc/meminfo: memFree=27270188/32951124 swapFree=46575252/67111528
[pid=7701] ppid=7699 vsize=373308 CPUtime=5.63 cores=0,2,4,6
/proc/7701/stat : 7701 (strangenight2-m) R 7699 7701 7660 0 -1 4202496 67779 0 0 0 548 15 0 0 18 0 4 0 383992390 382267392 51003 33554432000 4194304 4580107 140734828406624 18446744073709551615 4293198 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7701/statm: 93327 51003 377 95 0 88309 0
[pid=7701/tid=7702] ppid=7699 vsize=373308 CPUtime=1.4 cores=0,2,4,6
/proc/7701/task/7702/stat : 7702 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 19216 0 0 0 136 4 0 0 19 0 4 0 383992390 382267392 51003 33554432000 4194304 4580107 140734828406624 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7701/tid=7703] ppid=7699 vsize=373308 CPUtime=1.39 cores=0,2,4,6
/proc/7701/task/7703/stat : 7703 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 19211 0 0 0 136 3 0 0 19 0 4 0 383992390 382267392 51003 33554432000 4194304 4580107 140734828406624 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7701/tid=7704] ppid=7699 vsize=373308 CPUtime=1.41 cores=0,2,4,6
/proc/7701/task/7704/stat : 7704 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 9593 0 0 0 139 2 0 0 19 0 4 0 383992390 382267392 51003 33554432000 4194304 4580107 140734828406624 18446744073709551615 4292935 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.63
Current children cumulated vsize (KiB) 373308

[startup+1.50124 s]
/proc/loadavg: 6.98 7.86 7.78 7/319 7701
/proc/meminfo: memFree=27270188/32951124 swapFree=46575252/67111528
[pid=7701] ppid=7699 vsize=373308 CPUtime=5.93 cores=0,2,4,6
/proc/7701/stat : 7701 (strangenight2-m) R 7699 7701 7660 0 -1 4202496 67959 0 0 0 578 15 0 0 19 0 4 0 383992390 382267392 51183 33554432000 4194304 4580107 140734828406624 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7701/statm: 93327 51183 377 95 0 88309 0
[pid=7701/tid=7702] ppid=7699 vsize=373308 CPUtime=1.48 cores=0,2,4,6
/proc/7701/task/7702/stat : 7702 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 19253 0 0 0 144 4 0 0 19 0 4 0 383992390 382267392 51183 33554432000 4194304 4580107 140734828406624 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7701/tid=7703] ppid=7699 vsize=373308 CPUtime=1.47 cores=0,2,4,6
/proc/7701/task/7703/stat : 7703 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 19251 0 0 0 144 3 0 0 19 0 4 0 383992390 382267392 51183 33554432000 4194304 4580107 140734828406624 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7701/tid=7704] ppid=7699 vsize=373308 CPUtime=1.48 cores=0,2,4,6
/proc/7701/task/7704/stat : 7704 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 9660 0 0 0 146 2 0 0 19 0 4 0 383992390 382267392 51183 33554432000 4194304 4580107 140734828406624 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 373308

[startup+3.10096 s]
/proc/loadavg: 6.98 7.86 7.78 9/323 7705
/proc/meminfo: memFree=27036540/32951124 swapFree=46575252/67111528
[pid=7701] ppid=7699 vsize=504572 CPUtime=12.32 cores=0,2,4,6
/proc/7701/stat : 7701 (strangenight2-m) R 7699 7701 7660 0 -1 4202496 71658 0 0 0 1215 17 0 0 22 0 4 0 383992390 516681728 54682 33554432000 4194304 4580107 140734828406624 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7701/statm: 126143 54682 377 95 0 121125 0
[pid=7701/tid=7702] ppid=7699 vsize=504572 CPUtime=3.07 cores=0,2,4,6
/proc/7701/task/7702/stat : 7702 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 20225 0 0 0 303 4 0 0 22 0 4 0 383992390 516681728 54682 33554432000 4194304 4580107 140734828406624 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7701/tid=7703] ppid=7699 vsize=504572 CPUtime=3.06 cores=0,2,4,6
/proc/7701/task/7703/stat : 7703 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 20244 0 0 0 302 4 0 0 22 0 4 0 383992390 516681728 54682 33554432000 4194304 4580107 140734828406624 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7701/tid=7704] ppid=7699 vsize=504572 CPUtime=3.08 cores=0,2,4,6
/proc/7701/task/7704/stat : 7704 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 10418 0 0 0 306 2 0 0 25 0 4 0 383992390 516681728 54682 33554432000 4194304 4580107 140734828406624 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 504572

[startup+6.3004 s]
/proc/loadavg: 7.06 7.86 7.78 9/323 7705
/proc/meminfo: memFree=27018648/32951124 swapFree=46575252/67111528
[pid=7701] ppid=7699 vsize=506916 CPUtime=25.09 cores=0,2,4,6
/proc/7701/stat : 7701 (strangenight2-m) R 7699 7701 7660 0 -1 4202496 78044 0 0 0 2490 19 0 0 25 0 4 0 383992390 519081984 61068 33554432000 4194304 4580107 140734828406624 18446744073709551615 4293182 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7701/statm: 126729 61068 377 95 0 121711 0
[pid=7701/tid=7702] ppid=7699 vsize=506916 CPUtime=6.28 cores=0,2,4,6
/proc/7701/task/7702/stat : 7702 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 21681 0 0 0 623 5 0 0 25 0 4 0 383992390 519081984 61068 33554432000 4194304 4580107 140734828406624 18446744073709551615 4321513 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7701/tid=7703] ppid=7699 vsize=506916 CPUtime=6.22 cores=0,2,4,6
/proc/7701/task/7703/stat : 7703 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 21645 0 0 0 618 4 0 0 25 0 4 0 383992390 519081984 61068 33554432000 4194304 4580107 140734828406624 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7701/tid=7704] ppid=7699 vsize=506916 CPUtime=6.28 cores=0,2,4,6
/proc/7701/task/7704/stat : 7704 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 12505 0 0 0 626 2 0 0 25 0 4 0 383992390 519081984 61069 33554432000 4194304 4580107 140734828406624 18446744073709551615 4318990 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 506916

[startup+12.7003 s]
/proc/loadavg: 7.14 7.86 7.78 9/323 7705
/proc/meminfo: memFree=26800400/32951124 swapFree=46575252/67111528
[pid=7701] ppid=7699 vsize=506916 CPUtime=50.61 cores=0,2,4,6
/proc/7701/stat : 7701 (strangenight2-m) R 7699 7701 7660 0 -1 4202496 89749 0 0 0 5039 22 0 0 25 0 4 0 383992390 519081984 72773 33554432000 4194304 4580107 140734828406624 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7701/statm: 126729 72773 377 95 0 121711 0
[pid=7701/tid=7702] ppid=7699 vsize=506916 CPUtime=12.67 cores=0,2,4,6
/proc/7701/task/7702/stat : 7702 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 24688 0 0 0 1262 5 0 0 25 0 4 0 383992390 519081984 72773 33554432000 4194304 4580107 140734828406624 18446744073709551615 4321048 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7701/tid=7703] ppid=7699 vsize=506916 CPUtime=12.55 cores=0,2,4,6
/proc/7701/task/7703/stat : 7703 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 24630 0 0 0 1250 5 0 0 25 0 4 0 383992390 519081984 72773 33554432000 4194304 4580107 140734828406624 18446744073709551615 4293208 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7701/tid=7704] ppid=7699 vsize=506916 CPUtime=12.68 cores=0,2,4,6
/proc/7701/task/7704/stat : 7704 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 15255 0 0 0 1265 3 0 0 25 0 4 0 383992390 519081984 72773 33554432000 4194304 4580107 140734828406624 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 506916

[startup+25.501 s]
/proc/loadavg: 7.33 7.87 7.79 9/323 7706
/proc/meminfo: memFree=26627552/32951124 swapFree=46575252/67111528
[pid=7701] ppid=7699 vsize=764480 CPUtime=101.69 cores=0,2,4,6
/proc/7701/stat : 7701 (strangenight2-m) R 7699 7701 7660 0 -1 4202496 146913 0 0 0 10132 37 0 0 25 0 4 0 383992390 782827520 96242 33554432000 4194304 4580107 140734828406624 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7701/statm: 191120 96242 379 95 0 186102 0
[pid=7701/tid=7702] ppid=7699 vsize=764480 CPUtime=25.48 cores=0,2,4,6
/proc/7701/task/7702/stat : 7702 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 32758 0 0 0 2541 7 0 0 25 0 4 0 383992390 782827520 96242 33554432000 4194304 4580107 140734828406624 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7701/tid=7703] ppid=7699 vsize=764480 CPUtime=25.22 cores=0,2,4,6
/proc/7701/task/7703/stat : 7703 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 32630 0 0 0 2514 8 0 0 25 0 4 0 383992390 782827520 96242 33554432000 4194304 4580107 140734828406624 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7701/tid=7704] ppid=7699 vsize=764480 CPUtime=25.48 cores=0,2,4,6
/proc/7701/task/7704/stat : 7704 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 23419 0 0 0 2542 6 0 0 25 0 4 0 383992390 782827520 96242 33554432000 4194304 4580107 140734828406624 18446744073709551615 4293920 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 764480

[startup+51.1005 s]
/proc/loadavg: 7.56 7.88 7.79 9/323 7706
/proc/meminfo: memFree=26309500/32951124 swapFree=46575252/67111528
[pid=7701] ppid=7699 vsize=697032 CPUtime=203.81 cores=0,2,4,6
/proc/7701/stat : 7701 (strangenight2-m) R 7699 7701 7660 0 -1 4202496 265298 0 0 0 20312 69 0 0 25 0 4 0 383992390 713760768 136805 33554432000 4194304 4580107 140734828406624 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7701/statm: 174258 136805 379 95 0 169240 0
[pid=7701/tid=7702] ppid=7699 vsize=697032 CPUtime=51.07 cores=0,2,4,6
/proc/7701/task/7702/stat : 7702 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 80021 0 0 0 5088 19 0 0 25 0 4 0 383992390 713760768 136805 33554432000 4194304 4580107 140734828406624 18446744073709551615 4438027 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7701/tid=7703] ppid=7699 vsize=697032 CPUtime=50.57 cores=0,2,4,6
/proc/7701/task/7703/stat : 7703 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 58620 0 0 0 5042 15 0 0 25 0 4 0 383992390 713760768 136805 33554432000 4194304 4580107 140734828406624 18446744073709551615 4302095 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7701/tid=7704] ppid=7699 vsize=697032 CPUtime=51.08 cores=0,2,4,6
/proc/7701/task/7704/stat : 7704 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 50097 0 0 0 5096 12 0 0 25 0 4 0 383992390 713760768 136805 33554432000 4194304 4580107 140734828406624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.81
Current children cumulated vsize (KiB) 697032

[startup+102.312 s]
/proc/loadavg: 7.89 7.93 7.81 9/323 7708
/proc/meminfo: memFree=25913764/32951124 swapFree=46575252/67111528
[pid=7701] ppid=7699 vsize=1183480 CPUtime=408.14 cores=0,2,4,6
/proc/7701/stat : 7701 (strangenight2-m) R 7699 7701 7660 0 -1 4202496 405061 0 0 0 40703 111 0 0 25 0 4 0 383992390 1211883520 208653 33554432000 4194304 4580107 140734828406624 18446744073709551615 4293110 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7701/statm: 295870 208653 379 95 0 290852 0
[pid=7701/tid=7702] ppid=7699 vsize=1183480 CPUtime=102.28 cores=0,2,4,6
/proc/7701/task/7702/stat : 7702 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 108464 0 0 0 10200 28 0 0 25 0 4 0 383992390 1211883520 208653 33554432000 4194304 4580107 140734828406624 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7701/tid=7703] ppid=7699 vsize=1183480 CPUtime=101.26 cores=0,2,4,6
/proc/7701/task/7703/stat : 7703 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 95566 0 0 0 10099 27 0 0 25 0 4 0 383992390 1211883520 208653 33554432000 4194304 4580107 140734828406624 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7701/tid=7704] ppid=7699 vsize=1183480 CPUtime=102.29 cores=0,2,4,6
/proc/7701/task/7704/stat : 7704 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 83347 0 0 0 10208 21 0 0 25 0 4 0 383992390 1211883520 208653 33554432000 4194304 4580107 140734828406624 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.14
Current children cumulated vsize (KiB) 1183480

[startup+162.301 s]

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

[pid=7701] ppid=7699 vsize=1729572 CPUtime=2562.61 cores=0,2,4,6
/proc/7701/stat : 7701 (strangenight2-m) R 7699 7701 7660 0 -1 4202496 1227945 0 0 0 255871 390 0 0 25 0 4 0 383992390 1771081728 348138 33554432000 4194304 4580107 140734828406624 18446744073709551615 4293932 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7701/statm: 432393 348138 379 95 0 427375 0
[pid=7701/tid=7702] ppid=7699 vsize=1729572 CPUtime=642.28 cores=0,2,4,6
/proc/7701/task/7702/stat : 7702 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 319539 0 0 0 64128 100 0 0 25 0 4 0 383992390 1771081728 348144 33554432000 4194304 4580107 140734828406624 18446744073709551615 4294080 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7701/tid=7703] ppid=7699 vsize=1729572 CPUtime=635.85 cores=0,2,4,6
/proc/7701/task/7703/stat : 7703 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 311133 0 0 0 63485 100 0 0 25 0 4 0 383992390 1771081728 348144 33554432000 4194304 4580107 140734828406624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7701/tid=7704] ppid=7699 vsize=1729572 CPUtime=642.29 cores=0,2,4,6
/proc/7701/task/7704/stat : 7704 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 290023 0 0 0 64137 92 0 0 25 0 4 0 383992390 1771081728 348144 33554432000 4194304 4580107 140734828406624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2562.61
Current children cumulated vsize (KiB) 1729572

[startup+702.3 s]
/proc/loadavg: 8.07 8.06 7.92 9/323 7724
/proc/meminfo: memFree=24970896/32951124 swapFree=46575252/67111528
[pid=7701] ppid=7699 vsize=1606112 CPUtime=2801.97 cores=0,2,4,6
/proc/7701/stat : 7701 (strangenight2-m) R 7699 7701 7660 0 -1 4202496 1323779 0 0 0 279775 422 0 0 25 0 4 0 383992390 1644658688 353621 33554432000 4194304 4580107 140734828406624 18446744073709551615 4295890 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7701/statm: 401528 353621 379 95 0 396510 0
[pid=7701/tid=7702] ppid=7699 vsize=1606112 CPUtime=702.27 cores=0,2,4,6
/proc/7701/task/7702/stat : 7702 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 340697 0 0 0 70119 108 0 0 25 0 4 0 383992390 1644658688 353621 33554432000 4194304 4580107 140734828406624 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7701/tid=7703] ppid=7699 vsize=1606112 CPUtime=695.24 cores=0,2,4,6
/proc/7701/task/7703/stat : 7703 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 344396 0 0 0 69415 109 0 0 25 0 4 0 383992390 1644658688 353621 33554432000 4194304 4580107 140734828406624 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7701/tid=7704] ppid=7699 vsize=1606112 CPUtime=702.28 cores=0,2,4,6
/proc/7701/task/7704/stat : 7704 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 311606 0 0 0 70127 101 0 0 25 0 4 0 383992390 1644658688 353621 33554432000 4194304 4580107 140734828406624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2801.97
Current children cumulated vsize (KiB) 1606112

[startup+762.312 s]
/proc/loadavg: 8.12 8.07 7.93 9/323 7725
/proc/meminfo: memFree=24858260/32951124 swapFree=46575252/67111528
[pid=7701] ppid=7699 vsize=1843756 CPUtime=3041.39 cores=0,2,4,6
/proc/7701/stat : 7701 (strangenight2-m) R 7699 7701 7660 0 -1 4202496 1416970 0 0 0 303684 455 0 0 25 0 4 0 383992390 1888006144 372224 33554432000 4194304 4580107 140734828406624 18446744073709551615 4293952 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7701/statm: 460939 372224 379 95 0 455921 0
[pid=7701/tid=7702] ppid=7699 vsize=1843756 CPUtime=762.27 cores=0,2,4,6
/proc/7701/task/7702/stat : 7702 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 360402 0 0 0 76111 116 0 0 25 0 4 0 383992390 1888006144 372224 33554432000 4194304 4580107 140734828406624 18446744073709551615 4301856 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7701/tid=7703] ppid=7699 vsize=1843756 CPUtime=754.65 cores=0,2,4,6
/proc/7701/task/7703/stat : 7703 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 368244 0 0 0 75349 116 0 0 25 0 4 0 383992390 1888006144 372224 33554432000 4194304 4580107 140734828406624 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7701/tid=7704] ppid=7699 vsize=1843756 CPUtime=762.29 cores=0,2,4,6
/proc/7701/task/7704/stat : 7704 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 335462 0 0 0 76120 109 0 0 25 0 4 0 383992390 1888006144 372224 33554432000 4194304 4580107 140734828406624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3041.39
Current children cumulated vsize (KiB) 1843756

[startup+822.301 s]
/proc/loadavg: 8.09 8.07 7.94 9/323 7727
/proc/meminfo: memFree=24919224/32951124 swapFree=46575252/67111528
[pid=7701] ppid=7699 vsize=1723396 CPUtime=3280.73 cores=0,2,4,6
/proc/7701/stat : 7701 (strangenight2-m) R 7699 7701 7660 0 -1 4202496 1504369 0 0 0 327588 485 0 0 25 0 4 0 383992390 1764757504 367481 33554432000 4194304 4580107 140734828406624 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7701/statm: 430849 367481 379 95 0 425831 0
[pid=7701/tid=7702] ppid=7699 vsize=1723396 CPUtime=822.26 cores=0,2,4,6
/proc/7701/task/7702/stat : 7702 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 382148 0 0 0 82103 123 0 0 25 0 4 0 383992390 1764757504 367481 33554432000 4194304 4580107 140734828406624 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7701/tid=7703] ppid=7699 vsize=1723396 CPUtime=814.04 cores=0,2,4,6
/proc/7701/task/7703/stat : 7703 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 389192 0 0 0 81282 122 0 0 25 0 4 0 383992390 1764757504 367481 33554432000 4194304 4580107 140734828406624 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7701/tid=7704] ppid=7699 vsize=1723396 CPUtime=822.28 cores=0,2,4,6
/proc/7701/task/7704/stat : 7704 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 356692 0 0 0 82111 117 0 0 25 0 4 0 383992390 1764757504 367481 33554432000 4194304 4580107 140734828406624 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3280.73
Current children cumulated vsize (KiB) 1723396

[startup+882.301 s]
/proc/loadavg: 8.12 8.09 7.95 9/323 7729
/proc/meminfo: memFree=24576688/32951124 swapFree=46575252/67111528
[pid=7701] ppid=7699 vsize=1862652 CPUtime=3520.11 cores=0,2,4,6
/proc/7701/stat : 7701 (strangenight2-m) R 7699 7701 7660 0 -1 4202496 1595486 0 0 0 351494 517 0 0 25 0 4 0 383992390 1907355648 384575 33554432000 4194304 4580107 140734828406624 18446744073709551615 4295841 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7701/statm: 465663 384575 379 95 0 460645 0
[pid=7701/tid=7702] ppid=7699 vsize=1862652 CPUtime=882.26 cores=0,2,4,6
/proc/7701/task/7702/stat : 7702 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 405990 0 0 0 88096 130 0 0 25 0 4 0 383992390 1907355648 384575 33554432000 4194304 4580107 140734828406624 18446744073709551615 4269948 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7701/tid=7703] ppid=7699 vsize=1862652 CPUtime=873.44 cores=0,2,4,6
/proc/7701/task/7703/stat : 7703 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 413520 0 0 0 87213 131 0 0 25 0 4 0 383992390 1907355648 384575 33554432000 4194304 4580107 140734828406624 18446744073709551615 4293971 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7701/tid=7704] ppid=7699 vsize=1862652 CPUtime=882.28 cores=0,2,4,6
/proc/7701/task/7704/stat : 7704 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 376888 0 0 0 88103 125 0 0 25 0 4 0 383992390 1907355648 384575 33554432000 4194304 4580107 140734828406624 18446744073709551615 4325173 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3520.11
Current children cumulated vsize (KiB) 1862652

[startup+942.301 s]
/proc/loadavg: 8.08 8.08 7.95 9/323 7730
/proc/meminfo: memFree=24596732/32951124 swapFree=46575252/67111528
[pid=7701] ppid=7699 vsize=1793688 CPUtime=3759.5 cores=0,2,4,6
/proc/7701/stat : 7701 (strangenight2-m) R 7699 7701 7660 0 -1 4202496 1674050 0 0 0 375404 546 0 0 25 0 4 0 383992390 1836736512 386718 33554432000 4194304 4580107 140734828406624 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7701/statm: 448422 386718 379 95 0 443404 0
[pid=7701/tid=7702] ppid=7699 vsize=1793688 CPUtime=942.26 cores=0,2,4,6
/proc/7701/task/7702/stat : 7702 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 424762 0 0 0 94088 138 0 0 25 0 4 0 383992390 1836736512 386718 33554432000 4194304 4580107 140734828406624 18446744073709551615 4325657 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7701/tid=7703] ppid=7699 vsize=1793688 CPUtime=932.84 cores=0,2,4,6
/proc/7701/task/7703/stat : 7703 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 432111 0 0 0 93147 137 0 0 25 0 4 0 383992390 1836736512 386718 33554432000 4194304 4580107 140734828406624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7701/tid=7704] ppid=7699 vsize=1793688 CPUtime=942.28 cores=0,2,4,6
/proc/7701/task/7704/stat : 7704 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 394689 0 0 0 94097 131 0 0 25 0 4 0 383992390 1836736512 386718 33554432000 4194304 4580107 140734828406624 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3759.5
Current children cumulated vsize (KiB) 1793688

[startup+1002.3 s]
/proc/loadavg: 8.06 8.08 7.96 9/323 7732
/proc/meminfo: memFree=24592600/32951124 swapFree=46575252/67111528
[pid=7701] ppid=7699 vsize=1860336 CPUtime=3998.87 cores=0,2,4,6
/proc/7701/stat : 7701 (strangenight2-m) R 7699 7701 7660 0 -1 4202496 1771944 0 0 0 399312 575 0 0 25 0 4 0 383992390 1904984064 382790 33554432000 4194304 4580107 140734828406624 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7701/statm: 465084 382790 379 95 0 460066 0
[pid=7701/tid=7702] ppid=7699 vsize=1860336 CPUtime=1002.25 cores=0,2,4,6
/proc/7701/task/7702/stat : 7702 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 459082 0 0 0 100079 146 0 0 25 0 4 0 383992390 1904984064 382790 33554432000 4194304 4580107 140734828406624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7701/tid=7703] ppid=7699 vsize=1860336 CPUtime=992.23 cores=0,2,4,6
/proc/7701/task/7703/stat : 7703 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 457436 0 0 0 99078 145 0 0 25 0 4 0 383992390 1904984064 382790 33554432000 4194304 4580107 140734828406624 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7701/tid=7704] ppid=7699 vsize=1860336 CPUtime=1002.27 cores=0,2,4,6
/proc/7701/task/7704/stat : 7704 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 410337 0 0 0 100092 135 0 0 25 0 4 0 383992390 1904984064 382790 33554432000 4194304 4580107 140734828406624 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3998.87
Current children cumulated vsize (KiB) 1860336

[startup+1062.3 s]
/proc/loadavg: 8.17 8.11 7.97 9/323 7733
/proc/meminfo: memFree=24469428/32951124 swapFree=46575252/67111528
[pid=7701] ppid=7699 vsize=1930796 CPUtime=4238.27 cores=0,2,4,6
/proc/7701/stat : 7701 (strangenight2-m) R 7699 7701 7660 0 -1 4202496 1852597 0 0 0 423224 603 0 0 25 0 4 0 383992390 1977135104 400054 33554432000 4194304 4580107 140734828406624 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7701/statm: 482699 400054 379 95 0 477681 0
[pid=7701/tid=7702] ppid=7699 vsize=1930796 CPUtime=1062.26 cores=0,2,4,6
/proc/7701/task/7702/stat : 7702 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 478289 0 0 0 106072 154 0 0 25 0 4 0 383992390 1977135104 400054 33554432000 4194304 4580107 140734828406624 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7701/tid=7703] ppid=7699 vsize=1930796 CPUtime=1051.63 cores=0,2,4,6
/proc/7701/task/7703/stat : 7703 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 476327 0 0 0 105012 151 0 0 25 0 4 0 383992390 1977135104 400054 33554432000 4194304 4580107 140734828406624 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7701/tid=7704] ppid=7699 vsize=1930796 CPUtime=1062.27 cores=0,2,4,6
/proc/7701/task/7704/stat : 7704 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 429438 0 0 0 106085 142 0 0 25 0 4 0 383992390 1977135104 400054 33554432000 4194304 4580107 140734828406624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4238.27
Current children cumulated vsize (KiB) 1930796

[startup+1122.3 s]
/proc/loadavg: 8.13 8.10 7.98 9/323 7735
/proc/meminfo: memFree=24370312/32951124 swapFree=46575252/67111528
[pid=7701] ppid=7699 vsize=1931412 CPUtime=4477.65 cores=0,2,4,6
/proc/7701/stat : 7701 (strangenight2-m) R 7699 7701 7660 0 -1 4202496 1929859 0 0 0 447137 628 0 0 25 0 4 0 383992390 1977765888 417431 33554432000 4194304 4580107 140734828406624 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7701/statm: 482853 417431 379 95 0 477835 0
[pid=7701/tid=7702] ppid=7699 vsize=1931412 CPUtime=1122.26 cores=0,2,4,6
/proc/7701/task/7702/stat : 7702 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 497048 0 0 0 112067 159 0 0 25 0 4 0 383992390 1977765888 417431 33554432000 4194304 4580107 140734828406624 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7701/tid=7703] ppid=7699 vsize=1931412 CPUtime=1111.02 cores=0,2,4,6
/proc/7701/task/7703/stat : 7703 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 497440 0 0 0 110945 157 0 0 25 0 4 0 383992390 1977765888 417431 33554432000 4194304 4580107 140734828406624 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7701/tid=7704] ppid=7699 vsize=1931412 CPUtime=1122.27 cores=0,2,4,6
/proc/7701/task/7704/stat : 7704 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 448172 0 0 0 112078 149 0 0 25 0 4 0 383992390 1977765888 417431 33554432000 4194304 4580107 140734828406624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4477.65
Current children cumulated vsize (KiB) 1931412

[startup+1182.3 s]
/proc/loadavg: 8.05 8.08 7.98 9/323 7737
/proc/meminfo: memFree=24267956/32951124 swapFree=46575252/67111528
[pid=7701] ppid=7699 vsize=1792068 CPUtime=4717.04 cores=0,2,4,6
/proc/7701/stat : 7701 (strangenight2-m) R 7699 7701 7660 0 -1 4202496 2011218 0 0 0 471048 656 0 0 25 0 4 0 383992390 1835077632 392917 33554432000 4194304 4580107 140734828406624 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7701/statm: 448017 392917 379 95 0 442999 0
[pid=7701/tid=7702] ppid=7699 vsize=1792068 CPUtime=1182.26 cores=0,2,4,6
/proc/7701/task/7702/stat : 7702 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 517265 0 0 0 118060 166 0 0 25 0 4 0 383992390 1835077632 392917 33554432000 4194304 4580107 140734828406624 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7701/tid=7703] ppid=7699 vsize=1792068 CPUtime=1170.43 cores=0,2,4,6
/proc/7701/task/7703/stat : 7703 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 519392 0 0 0 116879 164 0 0 25 0 4 0 383992390 1835077632 392917 33554432000 4194304 4580107 140734828406624 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7701/tid=7704] ppid=7699 vsize=1792068 CPUtime=1182.27 cores=0,2,4,6
/proc/7701/task/7704/stat : 7704 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 464595 0 0 0 118071 156 0 0 25 0 4 0 383992390 1835077632 392917 33554432000 4194304 4580107 140734828406624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4717.04
Current children cumulated vsize (KiB) 1792068



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.03 8.07 7.98 5/318 7738
/proc/meminfo: memFree=25700552/32951124 swapFree=46575252/67111528
[pid=7701] ppid=7699 vsize=1998548 CPUtime=4800.05 cores=0,2,4,6
/proc/7701/stat : 7701 (strangenight2-m) R 7699 7701 7660 0 -1 4202496 2041612 0 0 0 479338 667 0 0 25 0 4 0 383992390 2046513152 409028 33554432000 4194304 4580107 140734828406624 18446744073709551615 4293680 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7701/statm: 499637 409028 379 95 0 494619 0
[pid=7701/tid=7702] ppid=7699 vsize=1998548 CPUtime=1203.07 cores=0,2,4,6
/proc/7701/task/7702/stat : 7702 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 524868 0 0 0 120138 169 0 0 25 0 4 0 383992390 2046513152 409035 33554432000 4194304 4580107 140734828406624 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7701/tid=7703] ppid=7699 vsize=1998548 CPUtime=1191.01 cores=0,2,4,6
/proc/7701/task/7703/stat : 7703 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 525362 0 0 0 118935 166 0 0 25 0 4 0 383992390 2046513152 409036 33554432000 4194304 4580107 140734828406624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7701/tid=7704] ppid=7699 vsize=1998548 CPUtime=1203.08 cores=0,2,4,6
/proc/7701/task/7704/stat : 7704 (strangenight2-m) R 7699 7701 7660 0 -1 4202560 471974 0 0 0 120149 159 0 0 25 0 4 0 383992390 2046513152 409036 33554432000 4194304 4580107 140734828406624 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 1998548

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.2
CPU time (s): 4800.17
CPU user time (s): 4793.42
CPU system time (s): 6.75297
CPU usage (%): 398.951
Max. virtual memory (cumulated for all children) (KiB): 1998548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.42
system time used= 6.75297
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2041625
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= 3863
involuntary context switches= 23629

runsolver used 3.36049 second user time and 8.68368 second system time

The end

Launcher Data 

Begin job on node107 at 2011-05-14 20:33:31
IDJOB=3366174
IDBENCH=82583
IDSOLVER=1844
FILE ID=node107/3366174-1305398011
RUNJOBID= node107-1305398011-7678
PBS_JOBID= 13324475
Free space on /tmp= 73424 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v50000-c210000-S874492400-019-UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366174-1305398011/watcher-3366174-1305398011 -o /tmp/evaluation-result-3366174-1305398011/solver-3366174-1305398011 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366174-1305398011.cnf

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

MD5SUM BENCH= ec4818cc72441ba3110ddbe772c6ebb9
RANDOM SEED=1368393193

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27274932 kB
Buffers:        118768 kB
Cached:         925876 kB
SwapCached:       9832 kB
Active:        5332552 kB
Inactive:        61780 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27274932 kB
SwapTotal:    67111528 kB
SwapFree:     46575252 kB
Dirty:           16448 kB
Writeback:           0 kB
AnonPages:     4347340 kB
Mapped:          18672 kB
Slab:           147064 kB
PageTables:      68988 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 65058880 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= 73428 MiB
End job on node107 at 2011-05-14 20:53:36