Trace number 3366289

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.33 1203.99

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v50000-c210000-S1170024351-015-UNKNOWN.cnf
MD5SUM0f7796213ec78265bd44aa83c0fa283d
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark153.855
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-3366289-1305400853.cnf'
0.00/0.01	c -- header says num vars:          50000
0.00/0.01	c -- header says num clauses:      210000
1.95/0.51	c -- clauses added:            0 learnts,       210000 normals,            0 xors
1.95/0.51	c -- vars added      50000
1.95/0.51	c Parsing time:  0.16 s
1.95/0.51	c  N st     0         0     50000    210000         0         0    630000         0   no data   no data
1.95/0.51	c asymm  cl-useful: 0/210000/210000 lits-rem:0 time: 0.21
1.95/0.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.07
2.73/0.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2.73/0.70	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2.73/0.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2.73/0.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  50000 time:  0.02 s
2.73/0.70	c Removed useless bin:       0  fixed:     0  props:   0.49M  time:  0.02 s
3.96/1.10	c lits-rem:         0  cl-subs:        0  v-elim:   1274  v-fix:    0  time:  0.38 s
4.37/1.11	c Finding binary XORs  T:     0.01 s  found:       0
4.71/1.20	c Finding non-binary XORs:     0.07 s (found:       0, avg size: nan)
4.71/1.20	c calculated reachability. Time: 0.00
4.71/1.22	c Calc default polars -  time:   0.02 s pos:   22310 undec:    5506 neg:   22184
4.71/1.22	c =========================================================================================
4.71/1.22	c types(t): F = full restart, N = normal restart
4.71/1.22	c types(t): S = simplification begin/end, E = solution found
4.71/1.22	c restart types(rt): st = static, dy = dynamic
4.71/1.22	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
4.71/1.22	c  B st     0         0     48726    208521         0         0    633275         0   no data   no data
15.49/3.97	c  N dy    20      4191     48726    208521         0      4191    633275   1418203    195.23    208.95
26.30/6.63	c  N dy    48      8211     48726    208521         0      8211    633275   2601935    196.30    211.85
37.03/9.33	c  N dy    73     12282     48726    208521         0     12281    633275   3817199    197.40    209.20
48.23/12.12	c  N dy   101     16399     48726    208521         0     16397    633275   4999677    196.54    209.13
60.16/15.11	c  N dy   129     20684     48726    208521         0     10685    633275    915626    196.13    207.68
70.92/17.84	c  N dy   156     24737     48726    208521         0     14738    633275   2096775    196.71    209.98
71.71/18.03	c  F st   159     25000     48726    208521         0     15001    633275   2166998    196.60   no data
86.48/21.73	c  N dy   165     30000     48726    208521         0     19999    633275   4372639    196.60   no data
86.48/21.73	c  S st   165     30000     48726    208521         0     19999    633275   4372639    196.60   no data
87.72/22.08	c  S st   165     30505     48726    208521         0     20504    633275   4473694    196.60   no data
88.06/22.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
88.46/22.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.13
88.86/22.34	c blocked clauses removed:      946 vars:    155 tried:       48726 T: 0.03 s
88.86/22.35	c bin-w-bin subsume rem            0 bins  time:  0.01 s
88.86/22.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
88.86/22.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  48571 time:  0.02 s
89.26/22.40	c Removed useless bin:       0  fixed:     0  props:   0.47M  time:  0.02 s
90.46/22.70	c lits-rem:         0  cl-subs:        0  v-elim:     31  v-fix:    0  time:  0.29 s
92.10/23.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
96.83/24.32	c lits-rem:         7  cl-subs:        3  v-elim:      0  v-fix:    0  time:  1.03 s
97.63/24.58	c asymm  cl-useful: 0/207547/207547 lits-rem:0 time: 0.26
97.63/24.59	c calculated reachability. Time: 0.00
97.63/24.59	c  N dy   165     30505     48540    207547         0     20247    630544   4340912    196.60   no data
109.23/27.44	c  N dy   194     34508     48540    207547         0     24249    630544   5520697    197.12    214.56
120.77/30.37	c  N dy   224     38529     48540    207547         0     28270    630544   6726201    198.09    214.60
132.73/33.39	c  N dy   253     42678     48540    207547         0     17047    630544   1369211    198.24    213.62
141.50/35.52	c  S st   271     45757     48540    207547         0     20126    630544   2235691    197.60   no data
142.70/35.89	c  S st   271     46262     48540    207547         0     20631    630544   2356005    197.60   no data
143.10/35.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
143.50/36.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.13
143.90/36.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
143.90/36.12	c bin-w-bin subsume rem            0 bins  time:  0.01 s
143.90/36.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
143.90/36.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  48540 time:  0.01 s
143.90/36.18	c Removed useless bin:       0  fixed:     0  props:   0.47M  time:  0.02 s
145.08/36.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
145.89/36.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
147.08/36.96	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.32 s
147.48/37.00	c vivif2 --  cl tried   207547 cl shrink        0 lits rem          0 time: 0.04
147.48/37.05	c vivif2 --  cl tried    20629 cl shrink        0 lits rem          0 time: 0.05
148.71/37.32	c asymm  cl-useful: 0/207547/207547 lits-rem:0 time: 0.26
148.71/37.34	c calculated reachability. Time: 0.00
148.71/37.34	c  N dy   271     46262     48540    207547         0     20629    630544   2355061    197.60   no data
160.24/40.26	c  N dy   300     50371     48540    207547         0     24738    630544   3589149    197.94    214.34
171.80/43.14	c  N dy   326     54458     48540    207547         0     28824    630544   4766570    197.80    209.15
183.80/46.12	c  N dy   356     58527     48540    207547         0     32893    630544   5930696    197.71    209.25
195.73/49.16	c  N dy   383     62653     48540    207547         0     37019    630544   7172192    198.03    208.52
207.69/52.12	c  N dy   413     66769     48540    207547         0     22454    630544   1947084    198.03    208.88
214.92/53.97	c  S st   430     69393     48540    207547         0     25078    630544   2706742    197.72    141.67
216.47/54.32	c  S st   430     69898     48540    207547         0     25583    630544   2827156    197.72   no data
216.47/54.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
216.87/54.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.13
217.27/54.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
217.27/54.56	c bin-w-bin subsume rem            0 bins  time:  0.01 s
217.27/54.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
217.27/54.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  48540 time:  0.02 s
217.67/54.62	c Removed useless bin:       0  fixed:     0  props:   0.47M  time:  0.02 s
218.46/54.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
219.30/55.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
221.25/55.56	c lits-rem:         1  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.46 s
221.25/55.59	c vivif2 --  cl tried   207547 cl shrink        0 lits rem          0 time: 0.03
221.65/55.65	c vivif2 --  cl tried    25580 cl shrink        0 lits rem          0 time: 0.06
222.86/55.92	c asymm  cl-useful: 0/207547/207547 lits-rem:0 time: 0.27
222.86/55.94	c calculated reachability. Time: 0.00
222.86/55.94	c  N dy   430     69898     48540    207547         0     25580    630544   2825935    197.72   no data
235.62/59.14	c  N dy   459     74359     48540    207547         0     30041    630544   4149682    197.75    211.69
249.60/62.68	c  N dy   493     79195     48540    207547         0     34877    630544   5563241    197.66    208.66
264.32/66.38	c  N dy   529     84250     48540    207547         0     39932    630544   7030432    197.74    208.47
274.30/68.85	c  F st   552     87500     48540    207547         0     22341    630544   1211431    197.71   no data
284.28/71.37	c  N st   557     90800     48540    207547         0     25641    630544   2481778    197.71   no data
302.66/75.95	c  N dy   588     96666     48540    207547         0     31507    630544   4848915    197.95    212.09
320.96/80.56	c  N dy   635    102843     48540    207547         0     37683    630544   6654707    198.18    209.77
326.95/82.06	c  S st   650    104847     48540    207547         0     39687    630544   7210151    198.16   no data
328.57/82.45	c  S st   650    105354     48540    207547         0     40194    630544   7335018    198.16   no data
328.57/82.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
329.32/82.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.15
329.72/82.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
329.72/82.72	c bin-w-bin subsume rem            0 bins  time:  0.01 s
329.72/82.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
329.72/82.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  48540 time:  0.01 s
329.72/82.77	c Removed useless bin:       0  fixed:     0  props:   0.47M  time:  0.02 s
330.92/83.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
333.36/83.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
340.49/85.43	c lits-rem:         2  cl-subs:        5  v-elim:      0  v-fix:    0  time:  1.75 s
340.49/85.47	c vivif2 --  cl tried   207547 cl shrink        0 lits rem          0 time: 0.03
341.29/85.61	c vivif2 --  cl tried    40189 cl shrink        0 lits rem          0 time: 0.14
342.48/85.93	c asymm  cl-useful: 0/207547/207547 lits-rem:0 time: 0.30
342.48/85.94	c calculated reachability. Time: 0.00
342.48/85.94	c  N dy   650    105354     48540    207547         0     40189    630544   7328520    198.16   no data
362.43/90.97	c  N dy   694    112183     48540    207547         0     24599    630544   1342292    197.89    209.74
383.57/96.23	c  N dy   744    119471     48540    207547         0     31887    630544   3472871    197.70    215.05
406.30/101.99	c  N dy   799    127150     48540    207547         0     39566    630544   5754071    197.83    212.09
431.42/108.23	c  N dy   858    135363     48540    207547         0     24067    630544    787615    198.01    208.75
456.54/114.54	c  N dy   918    144034     48540    207547         0     32738    630544   3347618    198.02    220.63
483.67/121.37	c  N dy   980    153317     48540    207547         0     42020    630544   6122041    198.10    212.70
497.63/124.89	c  S st  1011    158031     48540    207547         0     46733    630544   7498905    197.89   no data
499.23/125.29	c  S st  1011    158535     48540    207547         0     47237    630544   7634200    197.89   no data
499.65/125.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
500.41/125.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.16
500.41/125.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
500.41/125.58	c bin-w-bin subsume rem            0 bins  time:  0.01 s
500.41/125.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
500.81/125.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  48540 time:  0.02 s
500.81/125.63	c Removed useless bin:       0  fixed:     0  props:   0.47M  time:  0.02 s
501.62/125.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
504.04/126.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
513.57/128.81	c lits-rem:         5  cl-subs:        0  v-elim:      0  v-fix:    0  time:  2.23 s
513.57/128.85	c vivif2 --  cl tried   207547 cl shrink        0 lits rem          0 time: 0.04
514.37/129.01	c vivif2 --  cl tried    47237 cl shrink        0 lits rem          0 time: 0.16
515.56/129.32	c asymm  cl-useful: 0/207547/207547 lits-rem:0 time: 0.32
515.56/129.34	c calculated reachability. Time: 0.00
515.56/129.34	c  N dy  1011    158535     48540    207547         0     47237    630544   7634195    197.89   no data
545.47/136.80	c  N dy  1073    168744     48540    207547         0     32596    630544   2849126    197.56    224.25
577.38/144.81	c  N dy  1147    179556     48540    207547         0     43406    630544   5983504    197.56    215.59
612.48/153.68	c  N dy  1229    191145     48540    207547         0     29072    630544   1539469    197.59    208.25
649.56/162.91	c  N dy  1319    203438     48540    207547         0     41364    630544   5182977    197.72    208.96
689.83/173.05	c  N dy  1418    216462     48540    207547         0     27424    630544    712190    197.97    210.52
730.52/183.24	c  N dy  1512    230326     48540    207547         0     41287    630544   4736676    197.93    294.88
753.25/188.94	c  S st  1563    237802     48540    207547         0     48763    630544   6959077    197.98   no data
754.84/189.32	c  S st  1563    238307     48540    207547         0     49268    630544   7059434    197.98   no data
754.84/189.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
755.64/189.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.16
755.64/189.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
755.64/189.59	c bin-w-bin subsume rem            0 bins  time:  0.01 s
756.04/189.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
756.04/189.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  48540 time:  0.02 s
756.04/189.65	c Removed useless bin:       0  fixed:     0  props:   0.47M  time:  0.03 s
756.84/189.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.24 s
759.23/190.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
768.00/192.66	c lits-rem:         2  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.19 s
768.40/192.70	c vivif2 --  cl tried   207547 cl shrink        0 lits rem          0 time: 0.04
768.80/192.84	c vivif2 --  cl tried    49264 cl shrink        0 lits rem          0 time: 0.15
770.01/193.16	c asymm  cl-useful: 0/207547/207547 lits-rem:0 time: 0.32
770.01/193.18	c calculated reachability. Time: 0.00
770.01/193.18	c  N dy  1563    238307     48540    207547         0     49264    630544   7057832    197.98   no data
816.66/204.80	c  N dy  1667    253611     48540    207547         0     36584    630544   3097351    198.07    226.58
866.11/217.29	c  N dy  1783    269850     48540    207547         0     52822    630544   7918046    198.27    215.39
918.35/230.39	c  N dy  1901    287143     48540    207547         0     41128    630544   4131373    198.33    214.07
975.38/244.60	c  N dy  2033    305572     48540    207547         0     59557    630544   9506919    198.37    213.46
977.39/245.16	c  F st  2038    306250     48540    207547         0     30240    630544    611779    198.35   no data
1034.87/259.67	c  N dy  2141    325075     48540    207547         0     49064    630544   7107449    198.46    222.02
1096.60/275.23	c  N dy  2284    345095     48540    207547         0     38085    630544   2684258    198.69    212.70
1134.09/284.65	c  S st  2374    357460     48540    207547         0     50446    630544   6314472    198.74    169.11
1135.68/285.06	c  S st  2374    357963     48540    207547         0     50949    630544   6423572    198.74   no data
1135.68/285.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1136.49/285.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.16
1136.89/285.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1136.89/285.34	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1136.89/285.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1136.89/285.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  48540 time:  0.02 s
1137.28/285.40	c Removed useless bin:       0  fixed:     0  props:   0.47M  time:  0.03 s
1138.08/285.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
1140.07/286.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1148.49/288.26	c lits-rem:         1  cl-subs:        6  v-elim:      0  v-fix:    0  time:  2.08 s
1148.84/288.30	c vivif2 --  cl tried   207547 cl shrink        0 lits rem          0 time: 0.04
1149.24/288.43	c vivif2 --  cl tried    50943 cl shrink        0 lits rem          0 time: 0.13
1150.44/288.76	c asymm  cl-useful: 0/207547/207547 lits-rem:0 time: 0.32
1150.44/288.77	c calculated reachability. Time: 0.00
1150.44/288.77	c  N dy  2374    357963     48540    207547         0     50943    630544   6420861    198.74   no data
1212.66/304.36	c  N dy  2511    377975     48540    207547         0     38958    630544   2647159    198.77    225.91
1274.88/319.95	c  N dy  2640    398034     48540    207547         0     59014    630544   8554433    198.73    209.97
1336.71/335.46	c  N dy  2781    418115     48540    207547         0     46098    630544   4353930    198.76    214.39
1400.10/351.39	c  N dy  2928    438177     48540    207547         0     66158    630544  10354287    198.93    215.63
1461.90/366.83	c  N dy  3062    458299     48540    207547         0     52279    630544   5951065    198.93    216.68
1526.10/382.99	c  N dy  3200    478354     48540    207547         0     37339    630544   1229978    199.07    211.52
1587.16/398.24	c  N dy  3334    498368     48540    207547         0     57353    630544   7188706    199.16    216.80
1650.53/414.11	c  N dy  3474    518437     48540    207547         0     41429    630544   2080857    199.23    295.44
1707.55/428.47	c  S st  3603    536945     48540    207547         0     59936    630544   7567557    199.28    139.54
1709.15/428.88	c  S st  3603    537446     48540    207547         0     60437    630544   7666090    199.28   no data
1709.58/428.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1710.00/429.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.17
1710.35/429.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1710.35/429.17	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1710.35/429.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1710.75/429.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  48540 time:  0.02 s
1710.75/429.23	c Removed useless bin:       0  fixed:     0  props:   0.47M  time:  0.03 s
1711.55/429.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.26 s
1713.97/430.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1725.90/433.01	c lits-rem:         2  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.94 s
1725.90/433.05	c vivif2 --  cl tried   207547 cl shrink        0 lits rem          0 time: 0.04
1726.70/433.21	c vivif2 --  cl tried    60434 cl shrink        0 lits rem          0 time: 0.16
1727.90/433.55	c asymm  cl-useful: 0/207547/207547 lits-rem:0 time: 0.34
1727.90/433.57	c calculated reachability. Time: 0.00
1727.90/433.57	c  N dy  3603    537446     48540    207547         0     60434    630544   7665084    199.28   no data
1791.30/449.41	c  N dy  3738    557491     48540    207547         0     43473    630544   2424035    199.23    210.06
1853.52/465.04	c  N dy  3881    577512     48540    207547         0     63494    630544   8410010    199.34    210.76
1916.53/480.82	c  N dy  4019    597550     48540    207547         0     45526    630544   2787054    199.30    210.87
1978.74/496.49	c  N dy  4160    617576     48540    207547         0     65552    630544   8743120    199.36    214.11
2042.16/512.39	c  N dy  4294    637627     48540    207547         0     46608    630544   2759140    199.38    218.24
2104.81/528.09	c  N dy  4435    657730     48540    207547         0     66711    630544   8781689    199.46    221.16
2167.76/543.87	c  N dy  4565    677758     48540    207547         0     46742    630544   2514230    199.40    212.58
2232.37/560.01	c  N dy  4708    697820     48540    207547         0     66804    630544   8648050    199.52    214.04
2297.42/576.38	c  N dy  4851    717917     48540    207547         0     45903    630544   1976140    199.58    220.73
2359.59/591.92	c  N dy  4982    737926     48540    207547         0     65910    630544   7941626    199.57    234.10
2424.63/608.29	c  N dy  5119    758045     48540    207547         0     44032    630544   1116257    199.56    216.43
2487.20/623.99	c  N dy  5266    778154     48540    207547         0     64139    630544   7193828    199.62    210.50
2553.40/640.58	c  N dy  5402    798182     48540    207547         0     84166    630544  13242224    199.65    250.08
2578.93/646.98	c  S st  5463    806169     48540    207547         0     49155    630544   2380804    199.69    169.43
2580.52/647.39	c  S st  5463    806669     48540    207547         0     49655    630544   2509595    199.69   no data
2580.92/647.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2581.32/647.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.16
2581.72/647.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2581.72/647.67	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2581.72/647.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2582.12/647.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  48540 time:  0.02 s
2582.12/647.73	c Removed useless bin:       0  fixed:     0  props:   0.47M  time:  0.03 s
2582.96/647.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
2583.71/648.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2586.94/649.00	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.82 s
2587.35/649.03	c vivif2 --  cl tried   207547 cl shrink        0 lits rem          0 time: 0.04
2587.35/649.09	c vivif2 --  cl tried    49653 cl shrink        0 lits rem          0 time: 0.05
2588.90/649.41	c asymm  cl-useful: 0/207547/207547 lits-rem:0 time: 0.32
2588.90/649.43	c calculated reachability. Time: 0.00
2588.90/649.43	c  N dy  5463    806669     48540    207547         0     49653    630544   2508920    199.69   no data
2652.74/665.45	c  N dy  5600    826791     48540    207547         0     69773    630544   8577788    199.71    210.78
2719.29/682.15	c  N dy  5736    846805     48540    207547         0     45785    630544   1049882    199.73    214.89
2781.91/697.81	c  N dy  5870    866900     48540    207547         0     65880    630544   7044135    199.73    265.71
2848.10/714.48	c  N dy  6006    886983     48540    207547         0     85963    630544  13005519    199.72    215.08
2911.96/730.49	c  N dy  6147    907148     48540    207547         0     61132    630544   5358159    199.77    212.64
2978.12/747.01	c  N dy  6286    927324     48540    207547         0     81307    630544  11404272    199.78    210.60
3043.15/763.34	c  N dy  6421    947395     48540    207547         0     55376    630544   3327576    199.75    221.14
3107.32/779.45	c  N dy  6561    967401     48540    207547         0     75380    630544   9275807    199.78    215.93
3175.51/796.55	c  N dy  6705    987431     48540    207547         0     48409    630544    977104    199.87    226.51
3239.32/812.55	c  N dy  6843   1007531     48540    207547         0     68508    630544   6943019    199.90    235.78
3306.35/829.35	c  N dy  6991   1027553     48540    207547         0     88530    630544  13092382    199.99    221.23
3372.16/845.84	c  N dy  7137   1047582     48540    207547         0     60563    630544   4375588    200.08    227.42
3437.95/862.34	c  N dy  7277   1067673     48540    207547         0     80654    630544  10390928    200.12    216.25
3451.88/865.88	c  F st  7307   1071876     48540    207547         0     84856    630544  11625981    200.12   no data
3506.51/879.57	c  N dy  7388   1087829     48540    207547         0     51810    630544   1406469    200.14    214.90
3570.71/895.65	c  N dy  7531   1107887     48540    207547         0     71868    630544   7384412    200.16    223.72
3637.71/912.45	c  N dy  7664   1127969     48540    207547         0     91948    630544  13290420    200.13    222.48
3703.11/928.89	c  N dy  7797   1148020     48540    207547         0     61994    630544   4040254    200.10    274.42
3768.90/945.39	c  N dy  7927   1168060     48540    207547         0     82032    630544   9981585    200.09    216.19
3838.31/962.78	c  N dy  8072   1188087     48540    207547         0     51061    630544    581060    200.13    215.00
3902.95/978.95	c  N dy  8213   1208156     48540    207547         0     71128    630544   6551992    200.15    214.63
3908.89/980.44	c  S st  8225   1210006     48540    207547         0     72978    630544   7111699    200.15    194.02
3910.50/980.85	c  S st  8225   1210508     48540    207547         0     73480    630544   7216555    200.15   no data
3910.89/980.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3911.30/981.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.19
3911.72/981.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3911.72/981.17	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3911.72/981.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3911.72/981.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  48540 time:  0.02 s
3912.13/981.23	c Removed useless bin:       0  fixed:     0  props:   0.47M  time:  0.03 s
3912.88/981.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.26 s
3915.28/982.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3928.03/985.26	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time:  3.21 s
3928.44/985.30	c vivif2 --  cl tried   207547 cl shrink        0 lits rem          0 time: 0.04
3928.83/985.46	c vivif2 --  cl tried    73477 cl shrink        0 lits rem          0 time: 0.15
3930.42/985.83	c asymm  cl-useful: 0/207547/207547 lits-rem:0 time: 0.37
3930.42/985.84	c calculated reachability. Time: 0.00
3930.42/985.84	c  N dy  8225   1210508     48540    207547         0     73477    630544   7215880    200.15   no data
3998.21/1002.86	c  N dy  8365   1230513     48540    207547         0     93481    630544  13279247    200.20    220.95
4065.23/1019.69	c  N dy  8498   1250654     48540    207547         0     61631    630544   3430370    200.20    214.04
4130.61/1036.05	c  N dy  8632   1270719     48540    207547         0     81695    630544   9441853    200.21    215.51
4199.61/1053.39	c  N dy  8777   1290722     48540    207547         0    101698    630544  15402707    200.25    213.33
4265.81/1069.97	c  N dy  8917   1310791     48540    207547         0     68769    630544   5359786    200.29    215.90
4332.41/1086.70	c  N dy  9054   1330907     48540    207547         0     88884    630544  11353886    200.26    215.46
4403.44/1104.46	c  N dy  9198   1350941     48540    207547         0     54923    630544    855684    200.30    247.19
4467.60/1120.50	c  N dy  9327   1370991     48540    207547         0     74972    630544   6815499    200.29    214.46
4535.04/1137.46	c  N dy  9464   1391088     48540    207547         0     95069    630544  12805282    200.28    236.11
4604.81/1155.00	c  N dy  9602   1411162     48540    207547         0     60139    630544   2151323    200.31    220.86
4670.19/1171.40	c  N dy  9741   1431191     48540    207547         0     80167    630544   8106723    200.32    222.58
4739.57/1188.74	c  N dy  9876   1451325     48540    207547         0    100300    630544  14147757    200.34    211.04

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-3366289-1305400853/watcher-3366289-1305400853 -o /tmp/evaluation-result-3366289-1305400853/solver-3366289-1305400853 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366289-1305400853.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: 7.50 7.98 8.02 6/360 18466
/proc/meminfo: memFree=18686240/32951124 swapFree=67111348/67111528
[pid=18466] ppid=18464 vsize=51168 CPUtime=0.01 cores=0,2,4,6
/proc/18466/stat : 18466 (strangenight2-m) R 18464 18466 18129 0 -1 4202496 407 0 0 0 1 0 0 0 21 0 4 0 632501216 52396032 348 33554432000 4194304 4580107 140735108904304 18446744073709551615 47030186801074 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18466/statm: 12792 348 299 95 0 7774 0
[pid=18466/tid=18467] ppid=18464 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18466/task/18467/stat : 18467 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 632501216 52396032 348 33554432000 4194304 4580107 140735108904304 18446744073709551615 233510353905 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18466/tid=18468] ppid=18464 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18466/task/18468/stat : 18468 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 632501216 52396032 348 33554432000 4194304 4580107 140735108904304 18446744073709551615 47030186801072 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18466/tid=18469] ppid=18464 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18466/task/18469/stat : 18469 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 632501216 52396032 348 33554432000 4194304 4580107 140735108904304 18446744073709551615 47030186801064 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0263689 s]
/proc/loadavg: 7.50 7.98 8.02 6/360 18466
/proc/meminfo: memFree=18686240/32951124 swapFree=67111348/67111528
[pid=18466] ppid=18464 vsize=268224 CPUtime=0.06 cores=0,2,4,6
/proc/18466/stat : 18466 (strangenight2-m) D 18464 18466 18129 0 -1 4202496 9720 0 0 0 5 1 0 0 18 0 4 0 632501216 274661376 7647 33554432000 4194304 4580107 140735108904304 18446744073709551615 4311330 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18466/statm: 67056 7647 334 95 0 62038 0
[pid=18466/tid=18467] ppid=18464 vsize=268224 CPUtime=0 cores=0,2,4,6
/proc/18466/task/18467/stat : 18467 (strangenight2-m) D 18464 18466 18129 0 -1 4202560 2365 0 0 0 0 0 0 0 23 0 4 0 632501216 274661376 7647 33554432000 4194304 4580107 140735108904304 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18466/tid=18468] ppid=18464 vsize=268224 CPUtime=0.01 cores=0,2,4,6
/proc/18466/task/18468/stat : 18468 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 2323 0 0 0 1 0 0 0 18 0 4 0 632501216 274661376 7647 33554432000 4194304 4580107 140735108904304 18446744073709551615 233509994674 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18466/tid=18469] ppid=18464 vsize=268224 CPUtime=0.01 cores=0,2,4,6
/proc/18466/task/18469/stat : 18469 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 2303 0 0 0 1 0 0 0 18 0 4 0 632501216 274661376 7647 33554432000 4194304 4580107 140735108904304 18446744073709551615 233510355370 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 268224

[startup+0.123551 s]
/proc/loadavg: 7.50 7.98 8.02 6/360 18466
/proc/meminfo: memFree=18686240/32951124 swapFree=67111348/67111528
[pid=18466] ppid=18464 vsize=329176 CPUtime=0.44 cores=0,2,4,6
/proc/18466/stat : 18466 (strangenight2-m) R 18464 18466 18129 0 -1 4202496 27908 0 0 0 39 5 0 0 18 0 4 0 632501216 337076224 23643 33554432000 4194304 4580107 140735108904304 18446744073709551615 4355016 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18466/statm: 82294 23644 337 95 0 77276 0
[pid=18466/tid=18467] ppid=18464 vsize=329176 CPUtime=0.1 cores=0,2,4,6
/proc/18466/task/18467/stat : 18467 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 6895 0 0 0 9 1 0 0 23 0 4 0 632501216 337076224 23644 33554432000 4194304 4580107 140735108904304 18446744073709551615 233509946319 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18466/tid=18468] ppid=18464 vsize=329176 CPUtime=0.11 cores=0,2,4,6
/proc/18466/task/18468/stat : 18468 (strangenight2-m) D 18464 18466 18129 0 -1 4202560 6875 0 0 0 10 1 0 0 18 0 4 0 632501216 337076224 23644 33554432000 4194304 4580107 140735108904304 18446744073709551615 233510340791 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18466/tid=18469] ppid=18464 vsize=329176 CPUtime=0.1 cores=0,2,4,6
/proc/18466/task/18469/stat : 18469 (strangenight2-m) D 18464 18466 18129 0 -1 4202560 6875 0 0 0 9 1 0 0 18 0 4 0 632501216 337076224 23644 33554432000 4194304 4580107 140735108904304 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 329176

[startup+0.300781 s]
/proc/loadavg: 7.50 7.98 8.02 6/360 18466
/proc/meminfo: memFree=18686240/32951124 swapFree=67111348/67111528
[pid=18466] ppid=18464 vsize=343920 CPUtime=1.14 cores=0,2,4,6
/proc/18466/stat : 18466 (strangenight2-m) R 18464 18466 18129 0 -1 4202496 36465 0 0 0 108 6 0 0 18 0 4 0 632501216 352174080 32200 33554432000 4194304 4580107 140735108904304 18446744073709551615 4293680 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18466/statm: 85980 32200 358 95 0 80962 0
[pid=18466/tid=18467] ppid=18464 vsize=343920 CPUtime=0.27 cores=0,2,4,6
/proc/18466/task/18467/stat : 18467 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 8994 0 0 0 26 1 0 0 23 0 4 0 632501216 352174080 32200 33554432000 4194304 4580107 140735108904304 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18466/tid=18468] ppid=18464 vsize=343920 CPUtime=0.28 cores=0,2,4,6
/proc/18466/task/18468/stat : 18468 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 8996 0 0 0 27 1 0 0 18 0 4 0 632501216 352174080 32200 33554432000 4194304 4580107 140735108904304 18446744073709551615 4293927 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18466/tid=18469] ppid=18464 vsize=343920 CPUtime=0.28 cores=0,2,4,6
/proc/18466/task/18469/stat : 18469 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 9065 0 0 0 26 2 0 0 18 0 4 0 632501216 352174080 32200 33554432000 4194304 4580107 140735108904304 18446744073709551615 4293163 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 343920

[startup+0.700709 s]
/proc/loadavg: 7.50 7.98 8.02 6/360 18466
/proc/meminfo: memFree=18686240/32951124 swapFree=67111348/67111528
[pid=18466] ppid=18464 vsize=385228 CPUtime=2.73 cores=0,2,4,6
/proc/18466/stat : 18466 (strangenight2-m) R 18464 18466 18129 0 -1 4202496 53286 0 0 0 263 10 0 0 18 0 4 0 632501216 394473472 48303 33554432000 4194304 4580107 140735108904304 18446744073709551615 4291723 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18466/statm: 96307 48309 371 95 0 91289 0
[pid=18466/tid=18467] ppid=18464 vsize=385228 CPUtime=0.67 cores=0,2,4,6
/proc/18466/task/18467/stat : 18467 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 14817 0 0 0 65 2 0 0 18 0 4 0 632501216 394473472 48313 33554432000 4194304 4580107 140735108904304 18446744073709551615 4421592 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18466/tid=18468] ppid=18464 vsize=385228 CPUtime=0.67 cores=0,2,4,6
/proc/18466/task/18468/stat : 18468 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 14383 0 0 0 65 2 0 0 18 0 4 0 632501216 394473472 48317 33554432000 4194304 4580107 140735108904304 18446744073709551615 4291723 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18466/tid=18469] ppid=18464 vsize=385228 CPUtime=0.68 cores=0,2,4,6
/proc/18466/task/18469/stat : 18469 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 9294 0 0 0 66 2 0 0 18 0 4 0 632501216 394473472 48321 33554432000 4194304 4580107 140735108904304 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 385228

[startup+1.50057 s]
/proc/loadavg: 7.50 7.98 8.02 11/364 18470
/proc/meminfo: memFree=18452592/32951124 swapFree=67111348/67111528
[pid=18466] ppid=18464 vsize=395632 CPUtime=5.91 cores=0,2,4,6
/proc/18466/stat : 18466 (strangenight2-m) R 18464 18466 18129 0 -1 4202496 65922 0 0 0 579 12 0 0 19 0 4 0 632501216 405127168 52435 33554432000 4194304 4580107 140735108904304 18446744073709551615 4293179 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18466/statm: 98908 52435 377 95 0 93890 0
[pid=18466/tid=18467] ppid=18464 vsize=395632 CPUtime=1.47 cores=0,2,4,6
/proc/18466/task/18467/stat : 18467 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 17191 0 0 0 144 3 0 0 19 0 4 0 632501216 405127168 52435 33554432000 4194304 4580107 140735108904304 18446744073709551615 4293121 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18466/tid=18468] ppid=18464 vsize=395632 CPUtime=1.47 cores=0,2,4,6
/proc/18466/task/18468/stat : 18468 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 19308 0 0 0 144 3 0 0 19 0 4 0 632501216 405127168 52435 33554432000 4194304 4580107 140735108904304 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18466/tid=18469] ppid=18464 vsize=395632 CPUtime=1.48 cores=0,2,4,6
/proc/18466/task/18469/stat : 18469 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 9701 0 0 0 146 2 0 0 20 0 4 0 632501216 405127168 52435 33554432000 4194304 4580107 140735108904304 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.91
Current children cumulated vsize (KiB) 395632

[startup+3.10028 s]
/proc/loadavg: 7.50 7.98 8.02 9/364 18470
/proc/meminfo: memFree=18437216/32951124 swapFree=67111348/67111528
[pid=18466] ppid=18464 vsize=526896 CPUtime=12.31 cores=0,2,4,6
/proc/18466/stat : 18466 (strangenight2-m) R 18464 18466 18129 0 -1 4202496 69603 0 0 0 1217 14 0 0 22 0 4 0 632501216 539541504 55980 33554432000 4194304 4580107 140735108904304 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18466/statm: 131724 55980 377 95 0 126706 0
[pid=18466/tid=18467] ppid=18464 vsize=526896 CPUtime=3.06 cores=0,2,4,6
/proc/18466/task/18467/stat : 18467 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 18194 0 0 0 303 3 0 0 22 0 4 0 632501216 539541504 55980 33554432000 4194304 4580107 140735108904304 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18466/tid=18468] ppid=18464 vsize=526896 CPUtime=3.08 cores=0,2,4,6
/proc/18466/task/18468/stat : 18468 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 20287 0 0 0 304 4 0 0 22 0 4 0 632501216 539541504 55980 33554432000 4194304 4580107 140735108904304 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18466/tid=18469] ppid=18464 vsize=526896 CPUtime=3.08 cores=0,2,4,6
/proc/18466/task/18469/stat : 18469 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 10463 0 0 0 306 2 0 0 25 0 4 0 632501216 539541504 55980 33554432000 4194304 4580107 140735108904304 18446744073709551615 4321020 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.31
Current children cumulated vsize (KiB) 526896

[startup+6.30071 s]
/proc/loadavg: 7.62 8.00 8.02 9/364 18471
/proc/meminfo: memFree=18351792/32951124 swapFree=67111348/67111528
[pid=18466] ppid=18464 vsize=526896 CPUtime=25.06 cores=0,2,4,6
/proc/18466/stat : 18466 (strangenight2-m) R 18464 18466 18129 0 -1 4202496 76029 0 0 0 2491 15 0 0 25 0 4 0 632501216 539541504 62406 33554432000 4194304 4580107 140735108904304 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18466/statm: 131724 62407 377 95 0 126706 0
[pid=18466/tid=18467] ppid=18464 vsize=526896 CPUtime=6.27 cores=0,2,4,6
/proc/18466/task/18467/stat : 18467 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 19708 0 0 0 623 4 0 0 25 0 4 0 632501216 539541504 62407 33554432000 4194304 4580107 140735108904304 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18466/tid=18468] ppid=18464 vsize=526896 CPUtime=6.27 cores=0,2,4,6
/proc/18466/task/18468/stat : 18468 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 21764 0 0 0 623 4 0 0 25 0 4 0 632501216 539541504 62407 33554432000 4194304 4580107 140735108904304 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18466/tid=18469] ppid=18464 vsize=526896 CPUtime=6.28 cores=0,2,4,6
/proc/18466/task/18469/stat : 18469 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 12443 0 0 0 625 3 0 0 25 0 4 0 632501216 539541504 62407 33554432000 4194304 4580107 140735108904304 18446744073709551615 4317176 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.06
Current children cumulated vsize (KiB) 526896

[startup+12.7006 s]
/proc/loadavg: 7.65 8.00 8.02 9/364 18471
/proc/meminfo: memFree=18248304/32951124 swapFree=67111348/67111528
[pid=18466] ppid=18464 vsize=526896 CPUtime=50.58 cores=0,2,4,6
/proc/18466/stat : 18466 (strangenight2-m) R 18464 18466 18129 0 -1 4202496 87562 0 0 0 5040 18 0 0 25 0 4 0 632501216 539541504 73939 33554432000 4194304 4580107 140735108904304 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18466/statm: 131724 73939 377 95 0 126706 0
[pid=18466/tid=18467] ppid=18464 vsize=526896 CPUtime=12.66 cores=0,2,4,6
/proc/18466/task/18467/stat : 18467 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 22498 0 0 0 1262 4 0 0 25 0 4 0 632501216 539541504 73939 33554432000 4194304 4580107 140735108904304 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18466/tid=18468] ppid=18464 vsize=526896 CPUtime=12.67 cores=0,2,4,6
/proc/18466/task/18468/stat : 18468 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 24777 0 0 0 1262 5 0 0 25 0 4 0 632501216 539541504 73939 33554432000 4194304 4580107 140735108904304 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18466/tid=18469] ppid=18464 vsize=526896 CPUtime=12.68 cores=0,2,4,6
/proc/18466/task/18469/stat : 18469 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 15210 0 0 0 1265 3 0 0 25 0 4 0 632501216 539541504 73939 33554432000 4194304 4580107 140735108904304 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 526896

[startup+25.5003 s]
/proc/loadavg: 7.73 8.00 8.02 9/364 18471
/proc/meminfo: memFree=18109184/32951124 swapFree=67111348/67111528
[pid=18466] ppid=18464 vsize=782200 CPUtime=101.62 cores=0,2,4,6
/proc/18466/stat : 18466 (strangenight2-m) R 18464 18466 18129 0 -1 4202496 146020 0 0 0 10128 34 0 0 25 0 4 0 632501216 800972800 98635 33554432000 4194304 4580107 140735108904304 18446744073709551615 4316702 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18466/statm: 195550 98635 379 95 0 190532 0
[pid=18466/tid=18467] ppid=18464 vsize=782200 CPUtime=25.46 cores=0,2,4,6
/proc/18466/task/18467/stat : 18467 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 30794 0 0 0 2539 7 0 0 25 0 4 0 632501216 800972800 98635 33554432000 4194304 4580107 140735108904304 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18466/tid=18468] ppid=18464 vsize=782200 CPUtime=25.47 cores=0,2,4,6
/proc/18466/task/18468/stat : 18468 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 33073 0 0 0 2539 8 0 0 25 0 4 0 632501216 800972800 98635 33554432000 4194304 4580107 140735108904304 18446744073709551615 4321207 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18466/tid=18469] ppid=18464 vsize=782200 CPUtime=25.48 cores=0,2,4,6
/proc/18466/task/18469/stat : 18469 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 23245 0 0 0 2542 6 0 0 25 0 4 0 632501216 800972800 98635 33554432000 4194304 4580107 140735108904304 18446744073709551615 4318719 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.62
Current children cumulated vsize (KiB) 782200

[startup+51.1007 s]
/proc/loadavg: 7.82 8.00 8.02 9/364 18472
/proc/meminfo: memFree=17899812/32951124 swapFree=67111348/67111528
[pid=18466] ppid=18464 vsize=790932 CPUtime=203.71 cores=0,2,4,6
/proc/18466/stat : 18466 (strangenight2-m) R 18464 18466 18129 0 -1 4202496 267020 0 0 0 20309 62 0 0 25 0 4 0 632501216 809914368 140940 33554432000 4194304 4580107 140735108904304 18446744073709551615 4321016 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18466/statm: 197733 140940 379 95 0 192715 0
[pid=18466/tid=18467] ppid=18464 vsize=790932 CPUtime=51.06 cores=0,2,4,6
/proc/18466/task/18467/stat : 18467 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 76625 0 0 0 5090 16 0 0 25 0 4 0 632501216 809914368 140940 33554432000 4194304 4580107 140735108904304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18466/tid=18468] ppid=18464 vsize=790932 CPUtime=51.07 cores=0,2,4,6
/proc/18466/task/18468/stat : 18468 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 59386 0 0 0 5093 14 0 0 25 0 4 0 632501216 809914368 140940 33554432000 4194304 4580107 140735108904304 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18466/tid=18469] ppid=18464 vsize=790932 CPUtime=51.08 cores=0,2,4,6
/proc/18466/task/18469/stat : 18469 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 53699 0 0 0 5095 13 0 0 25 0 4 0 632501216 809914368 140940 33554432000 4194304 4580107 140735108904304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.71
Current children cumulated vsize (KiB) 790932

[startup+102.314 s]
/proc/loadavg: 7.96 8.01 8.02 9/364 18473
/proc/meminfo: memFree=17536732/32951124 swapFree=67111348/67111528
[pid=18466] ppid=18464 vsize=1163740 CPUtime=407.94 cores=0,2,4,6
/proc/18466/stat : 18466 (strangenight2-m) R 18464 18466 18129 0 -1 4202496 402517 0 0 0 40691 103 0 0 25 0 4 0 632501216 1191669760 217295 33554432000 4194304 4580107 140735108904304 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18466/statm: 290935 217295 379 95 0 285917 0
[pid=18466/tid=18467] ppid=18464 vsize=1163740 CPUtime=102.26 cores=0,2,4,6
/proc/18466/task/18467/stat : 18467 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 104249 0 0 0 10202 24 0 0 25 0 4 0 632501216 1191669760 217295 33554432000 4194304 4580107 140735108904304 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18466/tid=18468] ppid=18464 vsize=1163740 CPUtime=102.28 cores=0,2,4,6
/proc/18466/task/18468/stat : 18468 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 95032 0 0 0 10204 24 0 0 25 0 4 0 632501216 1191669760 217295 33554432000 4194304 4580107 140735108904304 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18466/tid=18469] ppid=18464 vsize=1163740 CPUtime=102.29 cores=0,2,4,6
/proc/18466/task/18469/stat : 18469 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 87811 0 0 0 10206 23 0 0 25 0 4 0 632501216 1191669760 217295 33554432000 4194304 4580107 140735108904304 18446744073709551615 4295894 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.94
Current children cumulated vsize (KiB) 1163740

[startup+162.301 s]

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

[pid=18466] ppid=18464 vsize=1764608 CPUtime=2799.85 cores=0,2,4,6
/proc/18466/stat : 18466 (strangenight2-m) R 18464 18466 18129 0 -1 4202496 1353062 0 0 0 279564 421 0 0 25 0 4 0 632501216 1806958592 367915 33554432000 4194304 4580107 140735108904304 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18466/statm: 441152 367915 379 95 0 436134 0
[pid=18466/tid=18467] ppid=18464 vsize=1764608 CPUtime=701.99 cores=0,2,4,6
/proc/18466/task/18467/stat : 18467 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 311556 0 0 0 70102 97 0 0 25 0 4 0 632501216 1806958592 367915 33554432000 4194304 4580107 140735108904304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18466/tid=18468] ppid=18464 vsize=1764608 CPUtime=701.59 cores=0,2,4,6
/proc/18466/task/18468/stat : 18468 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 341352 0 0 0 70061 98 0 0 25 0 4 0 632501216 1806958592 367915 33554432000 4194304 4580107 140735108904304 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18466/tid=18469] ppid=18464 vsize=1764608 CPUtime=698.56 cores=0,2,4,6
/proc/18466/task/18469/stat : 18469 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 357481 0 0 0 69744 112 0 0 25 0 4 0 632501216 1806958592 367915 33554432000 4194304 4580107 140735108904304 18446744073709551615 4296092 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2799.85
Current children cumulated vsize (KiB) 1764608

[startup+762.313 s]
/proc/loadavg: 8.11 8.14 8.09 9/364 18494
/proc/meminfo: memFree=16621032/32951124 swapFree=67111348/67111528
[pid=18466] ppid=18464 vsize=1768556 CPUtime=3039.18 cores=0,2,4,6
/proc/18466/stat : 18466 (strangenight2-m) R 18464 18466 18129 0 -1 4202496 1428753 0 0 0 303469 449 0 0 25 0 4 0 632501216 1811001344 377812 33554432000 4194304 4580107 140735108904304 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18466/statm: 442139 377812 379 95 0 437121 0
[pid=18466/tid=18467] ppid=18464 vsize=1768556 CPUtime=761.98 cores=0,2,4,6
/proc/18466/task/18467/stat : 18467 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 331188 0 0 0 76094 104 0 0 25 0 4 0 632501216 1811001344 377812 33554432000 4194304 4580107 140735108904304 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18466/tid=18468] ppid=18464 vsize=1768556 CPUtime=761.61 cores=0,2,4,6
/proc/18466/task/18468/stat : 18468 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 360820 0 0 0 76056 105 0 0 25 0 4 0 632501216 1811001344 377812 33554432000 4194304 4580107 140735108904304 18446744073709551615 4293076 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18466/tid=18469] ppid=18464 vsize=1768556 CPUtime=757.87 cores=0,2,4,6
/proc/18466/task/18469/stat : 18469 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 377058 0 0 0 75668 119 0 0 25 0 4 0 632501216 1811001344 377812 33554432000 4194304 4580107 140735108904304 18446744073709551615 4302360 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3039.18
Current children cumulated vsize (KiB) 1768556

[startup+822.301 s]
/proc/loadavg: 8.09 8.13 8.09 9/364 18495
/proc/meminfo: memFree=16636380/32951124 swapFree=67111348/67111528
[pid=18466] ppid=18464 vsize=1866200 CPUtime=3278.41 cores=0,2,4,6
/proc/18466/stat : 18466 (strangenight2-m) R 18464 18466 18129 0 -1 4202496 1529143 0 0 0 327362 479 0 0 25 0 4 0 632501216 1910988800 377956 33554432000 4194304 4580107 140735108904304 18446744073709551615 4293134 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18466/statm: 466550 377956 379 95 0 461532 0
[pid=18466/tid=18467] ppid=18464 vsize=1866200 CPUtime=821.96 cores=0,2,4,6
/proc/18466/task/18467/stat : 18467 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 356700 0 0 0 82083 113 0 0 25 0 4 0 632501216 1910988800 377956 33554432000 4194304 4580107 140735108904304 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18466/tid=18468] ppid=18464 vsize=1866200 CPUtime=821.59 cores=0,2,4,6
/proc/18466/task/18468/stat : 18468 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 386998 0 0 0 82047 112 0 0 25 0 4 0 632501216 1910988800 377956 33554432000 4194304 4580107 140735108904304 18446744073709551615 4324346 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18466/tid=18469] ppid=18464 vsize=1866200 CPUtime=817.16 cores=0,2,4,6
/proc/18466/task/18469/stat : 18469 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 402341 0 0 0 81590 126 0 0 25 0 4 0 632501216 1910988800 377956 33554432000 4194304 4580107 140735108904304 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3278.41
Current children cumulated vsize (KiB) 1866200

[startup+882.301 s]
/proc/loadavg: 8.08 8.12 8.09 9/364 18497
/proc/meminfo: memFree=16605240/32951124 swapFree=67111348/67111528
[pid=18466] ppid=18464 vsize=1801204 CPUtime=3517.68 cores=0,2,4,6
/proc/18466/stat : 18466 (strangenight2-m) R 18464 18466 18129 0 -1 4202496 1610555 0 0 0 351258 510 0 0 25 0 4 0 632501216 1844432896 378066 33554432000 4194304 4580107 140735108904304 18446744073709551615 4320772 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18466/statm: 450301 378066 379 95 0 445283 0
[pid=18466/tid=18467] ppid=18464 vsize=1801204 CPUtime=881.95 cores=0,2,4,6
/proc/18466/task/18467/stat : 18467 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 376638 0 0 0 88075 120 0 0 25 0 4 0 632501216 1844432896 378066 33554432000 4194304 4580107 140735108904304 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18466/tid=18468] ppid=18464 vsize=1801204 CPUtime=881.59 cores=0,2,4,6
/proc/18466/task/18468/stat : 18468 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 407433 0 0 0 88039 120 0 0 25 0 4 0 632501216 1844432896 378066 33554432000 4194304 4580107 140735108904304 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18466/tid=18469] ppid=18464 vsize=1801204 CPUtime=876.44 cores=0,2,4,6
/proc/18466/task/18469/stat : 18469 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 422015 0 0 0 87510 134 0 0 25 0 4 0 632501216 1844432896 378066 33554432000 4194304 4580107 140735108904304 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3517.68
Current children cumulated vsize (KiB) 1801204

[startup+942.301 s]
/proc/loadavg: 8.11 8.12 8.09 9/364 18499
/proc/meminfo: memFree=16370736/32951124 swapFree=67111348/67111528
[pid=18466] ppid=18464 vsize=1802072 CPUtime=3756.95 cores=0,2,4,6
/proc/18466/stat : 18466 (strangenight2-m) R 18464 18466 18129 0 -1 4202496 1696666 0 0 0 375155 540 0 0 25 0 4 0 632501216 1845321728 387791 33554432000 4194304 4580107 140735108904304 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18466/statm: 450518 387791 379 95 0 445500 0
[pid=18466/tid=18467] ppid=18464 vsize=1802072 CPUtime=941.94 cores=0,2,4,6
/proc/18466/task/18467/stat : 18467 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 395222 0 0 0 94067 127 0 0 25 0 4 0 632501216 1845321728 387791 33554432000 4194304 4580107 140735108904304 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18466/tid=18468] ppid=18464 vsize=1802072 CPUtime=941.59 cores=0,2,4,6
/proc/18466/task/18468/stat : 18468 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 428766 0 0 0 94032 127 0 0 25 0 4 0 632501216 1845321728 387791 33554432000 4194304 4580107 140735108904304 18446744073709551615 4293710 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18466/tid=18469] ppid=18464 vsize=1802072 CPUtime=935.73 cores=0,2,4,6
/proc/18466/task/18469/stat : 18469 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 445064 0 0 0 93430 143 0 0 25 0 4 0 632501216 1845321728 387791 33554432000 4194304 4580107 140735108904304 18446744073709551615 4294558 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3756.95
Current children cumulated vsize (KiB) 1802072

[startup+1002.3 s]
/proc/loadavg: 8.08 8.11 8.09 9/364 18500
/proc/meminfo: memFree=16490988/32951124 swapFree=67111348/67111528
[pid=18466] ppid=18464 vsize=1830324 CPUtime=3996.21 cores=0,2,4,6
/proc/18466/stat : 18466 (strangenight2-m) R 18464 18466 18129 0 -1 4202496 1775333 0 0 0 399054 567 0 0 25 0 4 0 632501216 1874251776 374470 33554432000 4194304 4580107 140735108904304 18446744073709551615 4324385 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18466/statm: 457581 374470 379 95 0 452563 0
[pid=18466/tid=18467] ppid=18464 vsize=1830324 CPUtime=1001.92 cores=0,2,4,6
/proc/18466/task/18467/stat : 18467 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 416313 0 0 0 100060 132 0 0 25 0 4 0 632501216 1874251776 374470 33554432000 4194304 4580107 140735108904304 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18466/tid=18468] ppid=18464 vsize=1830324 CPUtime=1001.58 cores=0,2,4,6
/proc/18466/task/18468/stat : 18468 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 447917 0 0 0 100024 134 0 0 25 0 4 0 632501216 1874251776 374470 33554432000 4194304 4580107 140735108904304 18446744073709551615 4292935 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18466/tid=18469] ppid=18464 vsize=1830324 CPUtime=995.02 cores=0,2,4,6
/proc/18466/task/18469/stat : 18469 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 463466 0 0 0 99351 151 0 0 25 0 4 0 632501216 1874251776 374470 33554432000 4194304 4580107 140735108904304 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3996.21
Current children cumulated vsize (KiB) 1830324

[startup+1062.3 s]
/proc/loadavg: 8.10 8.12 8.09 9/364 18502
/proc/meminfo: memFree=16396356/32951124 swapFree=67111348/67111528
[pid=18466] ppid=18464 vsize=1847660 CPUtime=4235.51 cores=0,2,4,6
/proc/18466/stat : 18466 (strangenight2-m) R 18464 18466 18129 0 -1 4202496 1866822 0 0 0 422954 597 0 0 25 0 4 0 632501216 1892003840 398443 33554432000 4194304 4580107 140735108904304 18446744073709551615 4316295 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18466/statm: 461915 398443 379 95 0 456897 0
[pid=18466/tid=18467] ppid=18464 vsize=1847660 CPUtime=1061.92 cores=0,2,4,6
/proc/18466/task/18467/stat : 18467 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 439692 0 0 0 106052 140 0 0 25 0 4 0 632501216 1892003840 398443 33554432000 4194304 4580107 140735108904304 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18466/tid=18468] ppid=18464 vsize=1847660 CPUtime=1061.58 cores=0,2,4,6
/proc/18466/task/18468/stat : 18468 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 471214 0 0 0 106016 142 0 0 25 0 4 0 632501216 1892003840 398443 33554432000 4194304 4580107 140735108904304 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18466/tid=18469] ppid=18464 vsize=1847660 CPUtime=1054.32 cores=0,2,4,6
/proc/18466/task/18469/stat : 18469 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 486635 0 0 0 105273 159 0 0 25 0 4 0 632501216 1892003840 398443 33554432000 4194304 4580107 140735108904304 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4235.51
Current children cumulated vsize (KiB) 1847660

[startup+1122.3 s]
/proc/loadavg: 8.21 8.15 8.10 9/364 18503
/proc/meminfo: memFree=16354060/32951124 swapFree=67111348/67111528
[pid=18466] ppid=18464 vsize=2049464 CPUtime=4474.77 cores=0,2,4,6
/proc/18466/stat : 18466 (strangenight2-m) R 18464 18466 18129 0 -1 4202496 1949981 0 0 0 446849 628 0 0 25 0 4 0 632501216 2098651136 412598 33554432000 4194304 4580107 140735108904304 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18466/statm: 512366 412598 379 95 0 507348 0
[pid=18466/tid=18467] ppid=18464 vsize=2049464 CPUtime=1121.9 cores=0,2,4,6
/proc/18466/task/18467/stat : 18467 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 458345 0 0 0 112042 148 0 0 25 0 4 0 632501216 2098651136 412598 33554432000 4194304 4580107 140735108904304 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18466/tid=18468] ppid=18464 vsize=2049464 CPUtime=1121.58 cores=0,2,4,6
/proc/18466/task/18468/stat : 18468 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 494505 0 0 0 112008 150 0 0 25 0 4 0 632501216 2098651136 412598 33554432000 4194304 4580107 140735108904304 18446744073709551615 4317131 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18466/tid=18469] ppid=18464 vsize=2049464 CPUtime=1113.6 cores=0,2,4,6
/proc/18466/task/18469/stat : 18469 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 509413 0 0 0 111194 166 0 0 25 0 4 0 632501216 2098651136 412598 33554432000 4194304 4580107 140735108904304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4474.77
Current children cumulated vsize (KiB) 2049464

[startup+1182.3 s]
/proc/loadavg: 8.19 8.15 8.10 9/364 18505
/proc/meminfo: memFree=16357876/32951124 swapFree=67111348/67111528
[pid=18466] ppid=18464 vsize=1865212 CPUtime=4714.05 cores=0,2,4,6
/proc/18466/stat : 18466 (strangenight2-m) R 18464 18466 18129 0 -1 4202496 2026093 0 0 0 470748 657 0 0 25 0 4 0 632501216 1909977088 401677 33554432000 4194304 4580107 140735108904304 18446744073709551615 4320876 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18466/statm: 466303 401677 379 95 0 461285 0
[pid=18466/tid=18467] ppid=18464 vsize=1865212 CPUtime=1181.89 cores=0,2,4,6
/proc/18466/task/18467/stat : 18467 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 478812 0 0 0 118033 156 0 0 25 0 4 0 632501216 1909977088 401677 33554432000 4194304 4580107 140735108904304 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18466/tid=18468] ppid=18464 vsize=1865212 CPUtime=1181.57 cores=0,2,4,6
/proc/18466/task/18468/stat : 18468 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 513481 0 0 0 118000 157 0 0 25 0 4 0 632501216 1909977088 401677 33554432000 4194304 4580107 140735108904304 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18466/tid=18469] ppid=18464 vsize=1865212 CPUtime=1172.91 cores=0,2,4,6
/proc/18466/task/18469/stat : 18469 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 527600 0 0 0 117118 173 0 0 25 0 4 0 632501216 1909977088 401677 33554432000 4194304 4580107 140735108904304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4714.05
Current children cumulated vsize (KiB) 1865212



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.9 s]
/proc/loadavg: 8.12 8.14 8.09 5/359 18507
/proc/meminfo: memFree=17065456/32951124 swapFree=67111348/67111528
[pid=18466] ppid=18464 vsize=1865620 CPUtime=4800.21 cores=0,2,4,6
/proc/18466/stat : 18466 (strangenight2-m) R 18464 18466 18129 0 -1 4202496 2060364 0 0 0 479352 669 0 0 25 0 4 0 632501216 1910394880 407161 33554432000 4194304 4580107 140735108904304 18446744073709551615 4295890 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18466/statm: 466405 407161 379 95 0 461387 0
[pid=18466/tid=18467] ppid=18464 vsize=1865620 CPUtime=1203.5 cores=0,2,4,6
/proc/18466/task/18467/stat : 18467 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 486613 0 0 0 120192 158 0 0 25 0 4 0 632501216 1910394880 407168 33554432000 4194304 4580107 140735108904304 18446744073709551615 4293148 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18466/tid=18468] ppid=18464 vsize=1865620 CPUtime=1203.19 cores=0,2,4,6
/proc/18466/task/18468/stat : 18468 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 521049 0 0 0 120159 160 0 0 25 0 4 0 632501216 1910394880 407168 33554432000 4194304 4580107 140735108904304 18446744073709551615 4319911 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18466/tid=18469] ppid=18464 vsize=1865620 CPUtime=1194.25 cores=0,2,4,6
/proc/18466/task/18469/stat : 18469 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 537245 0 0 0 119249 176 0 0 25 0 4 0 632501216 1910394880 407168 33554432000 4194304 4580107 140735108904304 18446744073709551615 4293184 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 1865620

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

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

[startup+1203.9 s]
/proc/loadavg: 8.12 8.14 8.09 5/359 18507
/proc/meminfo: memFree=17065456/32951124 swapFree=67111348/67111528
[pid=18466] ppid=18464 vsize=1865620 CPUtime=4800.21 cores=0,2,4,6
/proc/18466/stat : 18466 (strangenight2-m) R 18464 18466 18129 0 -1 4202496 2060364 0 0 0 479352 669 0 0 25 0 4 0 632501216 1910394880 407161 33554432000 4194304 4580107 140735108904304 18446744073709551615 4295890 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18466/statm: 466405 407161 379 95 0 461387 0
[pid=18466/tid=18467] ppid=18464 vsize=1865620 CPUtime=1203.5 cores=0,2,4,6
/proc/18466/task/18467/stat : 18467 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 486613 0 0 0 120192 158 0 0 25 0 4 0 632501216 1910394880 407168 33554432000 4194304 4580107 140735108904304 18446744073709551615 4293148 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18466/tid=18468] ppid=18464 vsize=1865620 CPUtime=1203.19 cores=0,2,4,6
/proc/18466/task/18468/stat : 18468 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 521049 0 0 0 120159 160 0 0 25 0 4 0 632501216 1910394880 407168 33554432000 4194304 4580107 140735108904304 18446744073709551615 4319911 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18466/tid=18469] ppid=18464 vsize=1865620 CPUtime=1194.25 cores=0,2,4,6
/proc/18466/task/18469/stat : 18469 (strangenight2-m) R 18464 18466 18129 0 -1 4202560 537245 0 0 0 119249 176 0 0 25 0 4 0 632501216 1910394880 407168 33554432000 4194304 4580107 140735108904304 18446744073709551615 4293184 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 1865620

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.99
CPU time (s): 4800.33
CPU user time (s): 4793.56
CPU system time (s): 6.76897
CPU usage (%): 398.7
Max. virtual memory (cumulated for all children) (KiB): 2049464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.56
system time used= 6.76897
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2060378
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= 3154
involuntary context switches= 23305

runsolver used 4.00039 second user time and 10.1954 second system time

The end

Launcher Data 

Begin job on node145 at 2011-05-14 21:20:54
IDJOB=3366289
IDBENCH=82698
IDSOLVER=1844
FILE ID=node145/3366289-1305400853
RUNJOBID= node145-1305400853-18443
PBS_JOBID= 13324453
Free space on /tmp= 73648 MiB

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

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

MD5SUM BENCH= 0f7796213ec78265bd44aa83c0fa283d
RANDOM SEED=1398469615

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18686520 kB
Buffers:        294372 kB
Cached:        8127940 kB
SwapCached:          0 kB
Active:        7287256 kB
Inactive:      6623160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18686520 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           16012 kB
Writeback:           0 kB
AnonPages:     5487512 kB
Mapped:          27440 kB
Slab:           256000 kB
PageTables:      34128 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 79425088 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= 73644 MiB
End job on node145 at 2011-05-14 21:41:00