Trace number 3173781

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? (TO) 4800.35 1202.08

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v20000-c84000-S525505471-054-UNKNOWN.cnf
MD5SUMd09435f2d651fd373230433133c15edb
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark11.4443
Satisfiable
(Un)Satisfiability was proved
Number of variables20000
Number of clauses84000
Sum of the clauses size252000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 384000
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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3173781-1304031185.cnf'
0.00/0.00	c -- header says num vars:          20000
0.00/0.00	c -- header says num clauses:       84000
0.39/0.16	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.39/0.16	c -- vars added      20000
0.39/0.16	c Parsing time:  0.05 s
0.39/0.16	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data
0.39/0.16	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.07
0.39/0.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.03
0.73/0.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.73/0.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.73/0.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.73/0.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20000 time:  0.01 s
0.73/0.26	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.01 s
1.13/0.39	c lits-rem:         0  cl-subs:        0  v-elim:    513  v-fix:    0  time:  0.13 s
1.53/0.40	c Finding binary XORs  T:     0.00 s  found:       0
1.53/0.42	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
1.53/0.42	c calculated reachability. Time: 0.00
1.53/0.43	c Calc default polars -  time:   0.01 s pos:    8815 undec:    2167 neg:    9018
1.53/0.43	c =========================================================================================
1.53/0.43	c types(t): F = full restart, N = normal restart
1.53/0.43	c types(t): S = simplification begin/end, E = solution found
1.53/0.43	c restart types(rt): st = static, dy = dynamic
1.53/0.43	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.53/0.43	c  B st     0         0     19487     83408         0         0    253322         0   no data   no data
5.92/1.57	c  N dy    19      4089     19487     83408         0      4089    253322    909733    131.03    169.41
10.72/2.76	c  N dy    44      8218     19487     83408         0      8218    253322   1728051    128.15    135.42
15.51/3.98	c  N dy    70     12336     19487     83408         0     12336    253322   2551618    127.27    141.77
20.71/5.23	c  N dy    95     16409     19487     83408         0     16408    253322   3370151    127.38    140.02
25.92/6.51	c  N dy   121     20443     19487     83408         0     10442    253322    639438    127.23    136.99
30.72/7.72	c  N dy   145     24457     19487     83408         0     14456    253322   1445891    126.92    154.51
31.09/7.89	c  F st   150     25001     19487     83408         0     15000    253322   1551441    127.12   no data
37.88/9.54	c  N dy   156     30000     19487     83408         0     19999    253322   2844698    127.12   no data
37.88/9.54	c  S st   156     30000     19487     83408         0     19999    253322   2844698    127.12   no data
38.68/9.70	c  S st   156     30506     19487     83408         0     20505    253322   2911119    127.12   no data
38.68/9.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
38.68/9.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
39.10/9.82	c blocked clauses removed:      399 vars:     64 tried:       19487 T: 0.01 s
39.10/9.82	c bin-w-bin subsume rem            0 bins  time:  0.01 s
39.10/9.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39.10/9.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19423 time:  0.01 s
39.10/9.84	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
39.50/9.94	c lits-rem:         0  cl-subs:        0  v-elim:      8  v-fix:    0  time:  0.09 s
40.27/10.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.49/11.00	c lits-rem:        12  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.79 s
43.89/11.09	c asymm  cl-useful: 0/83002/83002 lits-rem:0 time: 0.10
44.27/11.10	c calculated reachability. Time: 0.00
44.27/11.10	c  N dy   156     30506     19415     83002         0     20419    252144   2882453    127.12   no data
49.47/12.48	c  N dy   186     34555     19415     83002         0     24468    252144   3732839    128.12    135.07
55.45/13.92	c  N dy   213     38578     19415     83002         0     28490    252144   4572763    128.58    189.95
61.07/15.33	c  N dy   244     42686     19415     83002         0     17146    252144   1024134    128.71    136.76
65.04/16.35	c  S st   266     45761     19415     83002         0     20220    252144   1657798    129.00   no data
65.86/16.51	c  S st   266     46263     19415     83002         0     20722    252144   1735127    129.00   no data
65.86/16.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
66.23/16.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
66.23/16.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
66.23/16.64	c bin-w-bin subsume rem            0 bins  time:  0.01 s
66.23/16.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
66.23/16.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19415 time:  0.01 s
66.23/16.66	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
66.63/16.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
67.03/16.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
67.84/17.10	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.24 s
68.24/17.11	c vivif2 --  cl tried    83002 cl shrink        0 lits rem          0 time: 0.01
68.24/17.13	c vivif2 --  cl tried    20720 cl shrink        0 lits rem          0 time: 0.03
68.64/17.23	c asymm  cl-useful: 0/83002/83002 lits-rem:0 time: 0.10
68.64/17.24	c calculated reachability. Time: 0.00
68.64/17.24	c  N dy   266     46263     19415     83002         0     20720    252144   1734986    129.00   no data
73.83/18.57	c  N dy   293     50320     19415     83002         0     24775    252144   2554016    129.01    136.43
79.42/19.94	c  N dy   318     54369     19415     83002         0     28824    252144   3371877    128.94    135.77
85.01/21.36	c  N dy   349     58414     19415     83002         0     32869    252144   4204434    129.28    140.74
91.01/22.80	c  N dy   375     62538     19415     83002         0     36993    252144   5007628    128.96    142.71
96.22/24.13	c  N dy   401     66547     19415     83002         0     22279    252144   1359383    128.85    137.21
99.79/25.07	c  S st   421     69395     19415     83002         0     25127    252144   1964785    129.00    113.86
100.60/25.25	c  S st   421     69897     19415     83002         0     25629    252144   2034673    129.00   no data
100.60/25.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
101.01/25.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
101.01/25.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
101.01/25.37	c bin-w-bin subsume rem            0 bins  time:  0.01 s
101.01/25.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
101.01/25.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19415 time:  0.01 s
101.01/25.39	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
101.39/25.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
101.79/25.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
103.38/25.98	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.37 s
103.38/25.99	c vivif2 --  cl tried    83002 cl shrink        0 lits rem          0 time: 0.01
103.78/26.02	c vivif2 --  cl tried    25629 cl shrink        0 lits rem          0 time: 0.03
104.18/26.13	c asymm  cl-useful: 0/83002/83002 lits-rem:0 time: 0.11
104.18/26.13	c calculated reachability. Time: 0.00
104.18/26.13	c  N dy   421     69897     19415     83002         0     25629    252144   2034672    129.00   no data
110.18/27.65	c  N dy   449     74417     19415     83002         0     30149    252144   2955108    128.98    144.68
116.97/29.38	c  N dy   483     79237     19415     83002         0     34969    252144   3961018    129.10    140.70
124.95/31.30	c  N dy   520     84582     19415     83002         0     40314    252144   5052920    129.15    143.81
128.95/32.34	c  F st   539     87500     19415     83002         0     22365    252144    910170    129.01    123.51
133.74/33.52	c  N st   544     90797     19415     83002         0     25662    252144   1787952    129.01   no data
141.73/35.54	c  N dy   570     96671     19415     83002         0     31535    252144   3090496    128.92    138.97
150.92/37.83	c  N dy   617    102967     19415     83002         0     37830    252144   4395132    129.12    139.48
153.74/38.53	c  S st   632    104845     19415     83002         0     39708    252144   4764966    129.13   no data
154.52/38.73	c  S st   632    105346     19415     83002         0     40209    252144   4847073    129.13   no data
154.52/38.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
154.92/38.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.10
154.92/38.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
154.92/38.87	c bin-w-bin subsume rem            0 bins  time:  0.01 s
154.92/38.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
154.92/38.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19415 time:  0.01 s
154.92/38.89	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
155.72/39.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
156.51/39.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
162.53/40.78	c lits-rem:        12  cl-subs:        3  v-elim:      0  v-fix:    0  time:  1.48 s
162.53/40.79	c vivif2 --  cl tried    83002 cl shrink        0 lits rem          0 time: 0.01
162.90/40.87	c vivif2 --  cl tried    40206 cl shrink        0 lits rem          0 time: 0.08
163.70/41.00	c asymm  cl-useful: 0/83002/83002 lits-rem:0 time: 0.13
163.70/41.00	c calculated reachability. Time: 0.00
163.70/41.00	c  N dy   632    105346     19415     83002         0     40206    252144   4845655    129.13   no data
173.68/43.54	c  N dy   676    112144     19415     83002         0     24576    252144   1016871    129.30    137.91
184.08/46.11	c  N dy   725    119399     19415     83002         0     31831    252144   2476612    129.27    140.95
195.25/48.92	c  N dy   777    127020     19415     83002         0     39452    252144   4040785    129.40    136.68
207.63/52.06	c  N dy   832    135242     19415     83002         0     23956    252144    596495    129.38    136.87
219.64/55.04	c  N dy   885    143912     19415     83002         0     32626    252144   2364236    129.25    136.13
233.20/58.44	c  N dy   948    153137     19415     83002         0     41850    252144   4240255    129.26    137.63
240.39/60.28	c  S st   980    158019     19415     83002         0     46732    252144   5223292    129.17   no data
241.21/60.47	c  S st   980    158523     19415     83002         0     47236    252144   5299217    129.17   no data
241.21/60.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
241.61/60.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.10
241.99/60.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
241.99/60.62	c bin-w-bin subsume rem            0 bins  time:  0.01 s
241.99/60.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
241.99/60.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19415 time:  0.01 s
241.99/60.64	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
242.39/60.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
243.59/61.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
251.98/63.10	c lits-rem:        16  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.03 s
251.98/63.11	c vivif2 --  cl tried    83002 cl shrink        0 lits rem          0 time: 0.01
252.38/63.20	c vivif2 --  cl tried    47231 cl shrink        0 lits rem          0 time: 0.08
252.78/63.34	c asymm  cl-useful: 0/83002/83002 lits-rem:0 time: 0.14
252.78/63.34	c calculated reachability. Time: 0.00
252.78/63.34	c  N dy   980    158523     19415     83002         0     47231    252144   5298182    129.17   no data
267.58/67.01	c  N dy  1049    168653     19415     83002         0     32504    252144   2071812    129.15    138.14
283.93/71.14	c  N dy  1130    179714     19415     83002         0     43565    252144   4347116    129.38    138.26
301.51/75.58	c  N dy  1211    191228     19415     83002         0     29151    252144   1169144    129.51    140.22
319.48/80.05	c  N dy  1295    203493     19415     83002         0     41416    252144   3688304    129.55    163.95
340.25/85.21	c  N dy  1390    216506     19415     83002         0     27465    252144    585272    129.72    138.97
360.24/90.23	c  N dy  1480    230418     19415     83002         0     41377    252144   3441165    129.78    150.75
371.81/93.11	c  S st  1530    237785     19415     83002         0     48744    252144   4996338    129.90   no data
372.61/93.32	c  S st  1530    238290     19415     83002         0     49249    252144   5064726    129.90   no data
372.61/93.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
373.02/93.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.11
373.02/93.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
373.02/93.47	c bin-w-bin subsume rem            0 bins  time:  0.01 s
373.02/93.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
373.02/93.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19415 time:  0.01 s
373.02/93.49	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
373.80/93.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
374.60/93.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
383.39/96.00	c lits-rem:         5  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.13 s
383.39/96.01	c vivif2 --  cl tried    83002 cl shrink        0 lits rem          0 time: 0.01
383.39/96.10	c vivif2 --  cl tried    49246 cl shrink        0 lits rem          0 time: 0.08
384.19/96.24	c asymm  cl-useful: 0/83002/83002 lits-rem:0 time: 0.14
384.19/96.24	c calculated reachability. Time: 0.00
384.19/96.25	c  N dy  1530    238290     19415     83002         0     49246    252144   5062799    129.90   no data
407.76/102.13	c  N dy  1636    253677     19415     83002         0     36653    252144   2247893    130.02    139.78
432.92/108.44	c  N dy  1747    270087     19415     83002         0     53062    252144   5670214    130.18    144.07
460.09/115.29	c  N dy  1866    287568     19415     83002         0     41546    252144   3056801    130.24    144.75
489.25/122.57	c  N dy  1986    305934     19415     83002         0     59910    252144   6890116    130.32    159.85
490.05/122.73	c  F st  1988    306250     19415     83002         0     30234    252144    505111    130.32    124.85
519.21/130.03	c  N dy  2092    325482     19415     83002         0     49465    252144   4816056    130.33    148.82
550.76/137.96	c  N dy  2228    345549     19415     83002         0     38534    252144   2041925    130.41    141.01
569.14/142.52	c  S st  2307    357437     19415     83002         0     50422    252144   4462717    130.36   no data
569.93/142.72	c  S st  2307    357940     19415     83002         0     50925    252144   4536534    130.36   no data
569.93/142.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
570.33/142.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.11
570.33/142.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
570.33/142.87	c bin-w-bin subsume rem            0 bins  time:  0.01 s
570.33/142.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
570.33/142.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19415 time:  0.01 s
570.33/142.90	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
571.15/143.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
571.92/143.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
583.93/146.24	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time:  2.99 s
583.93/146.25	c vivif2 --  cl tried    83002 cl shrink        0 lits rem          0 time: 0.01
584.34/146.33	c vivif2 --  cl tried    50923 cl shrink        0 lits rem          0 time: 0.07
584.71/146.47	c asymm  cl-useful: 0/83002/83002 lits-rem:0 time: 0.14
584.71/146.48	c calculated reachability. Time: 0.00
584.71/146.48	c  N dy  2307    357940     19415     83002         0     50923    252144   4536244    130.36   no data
617.07/154.52	c  N dy  2454    377968     19415     83002         0     38960    252144   1886377    130.53    138.38
649.43/162.63	c  N dy  2581    398038     19415     83002         0     59029    252144   6089218    130.63    152.04
681.00/170.56	c  N dy  2714    418130     19415     83002         0     46119    252144   3193056    130.70    139.84
714.93/179.06	c  N dy  2851    438912     19415     83002         0     66900    252144   7515020    130.71    140.12
746.09/186.86	c  N dy  2984    458936     19415     83002         0     52927    252144   4351426    130.68    137.58
779.64/195.22	c  N dy  3119    479109     19415     83002         0     38104    252144   1087822    130.70    140.75
811.20/203.12	c  N dy  3252    499119     19415     83002         0     58113    252144   5291519    130.74    139.04
844.35/211.40	c  N dy  3390    519132     19415     83002         0     42128    252144   1737345    130.85    141.82
872.71/218.51	c  S st  3510    536910     19415     83002         0     59904    252144   5433256    130.89   no data
873.51/218.74	c  S st  3510    537412     19415     83002         0     60406    252144   5532289    130.89   no data
873.51/218.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
873.92/218.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.11
873.92/218.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
874.33/218.90	c bin-w-bin subsume rem            0 bins  time:  0.01 s
874.33/218.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
874.33/218.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19415 time:  0.01 s
874.33/218.92	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
874.71/219.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
875.91/219.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
887.51/222.25	c lits-rem:         1  cl-subs:        6  v-elim:      0  v-fix:    0  time:  2.91 s
887.51/222.26	c vivif2 --  cl tried    83002 cl shrink        0 lits rem          0 time: 0.01
887.88/222.35	c vivif2 --  cl tried    60400 cl shrink        0 lits rem          0 time: 0.09
888.68/222.51	c asymm  cl-useful: 0/83002/83002 lits-rem:0 time: 0.16
888.68/222.51	c calculated reachability. Time: 0.00
888.68/222.52	c  N dy  3510    537412     19415     83002         0     60400    252144   5529281    130.89   no data
922.66/231.00	c  N dy  3650    557497     19415     83002         0     43486    252144   1838961    130.95    142.25
954.99/239.15	c  N dy  3791    577517     19415     83002         0     63505    252144   6068073    131.06    139.48
988.57/247.57	c  N dy  3925    597589     19415     83002         0     45576    252144   2005094    131.07    138.82
1021.70/255.86	c  N dy  4061    617746     19415     83002         0     65733    252144   6183149    131.08    138.39
1056.05/264.48	c  N dy  4202    637778     19415     83002         0     46765    252144   2119546    131.22    257.93
1089.22/272.71	c  N dy  4332    658015     19415     83002         0     67000    252144   6348413    131.23    138.44
1123.56/281.30	c  N dy  4473    678081     19415     83002         0     47075    252144   1940359    131.28    141.54
1157.51/289.83	c  N dy  4598    698123     19415     83002         0     67116    252144   6090356    131.22    140.22
1192.25/298.51	c  N dy  4726    718206     19415     83002         0     46195    252144   1550340    131.24    138.59
1225.02/306.71	c  N dy  4862    738225     19415     83002         0     66213    252144   5707076    131.24    142.47
1260.57/315.61	c  N dy  4991    758299     19415     83002         0     44286    252144    939647    131.27    139.60
1292.91/323.79	c  N dy  5130    778423     19415     83002         0     64410    252144   5144543    131.30    140.02
1329.26/332.89	c  N dy  5264    798498     19415     83002         0     84485    252144   9314308    131.31    138.60
1341.65/335.99	c  S st  5315    806120     19415     83002         0     49113    252144   1725869    131.30   no data
1342.85/336.20	c  S st  5315    806621     19415     83002         0     49614    252144   1795672    131.30   no data
1342.85/336.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1343.25/336.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.10
1343.25/336.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1343.25/336.34	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1343.25/336.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1343.25/336.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19415 time:  0.01 s
1343.25/336.37	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
1343.64/336.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
1344.06/336.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1346.84/337.23	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.66 s
1346.84/337.24	c vivif2 --  cl tried    83002 cl shrink        0 lits rem          0 time: 0.01
1346.84/337.27	c vivif2 --  cl tried    49612 cl shrink        0 lits rem          0 time: 0.03
1347.64/337.41	c asymm  cl-useful: 0/83002/83002 lits-rem:0 time: 0.14
1347.64/337.42	c calculated reachability. Time: 0.00
1347.64/337.42	c  N dy  5315    806621     19415     83002         0     49612    252144   1795390    131.30   no data
1381.19/345.84	c  N dy  5456    826649     19415     83002         0     69637    252144   5947168    131.34    143.51
1418.33/355.16	c  N dy  5593    846652     19415     83002         0     45642    252144    802766    131.39    140.87
1451.09/363.39	c  N dy  5726    866743     19415     83002         0     65730    252144   4984853    131.41    146.89
1487.84/372.55	c  N dy  5869    886770     19415     83002         0     85756    252144   9211080    131.45    140.43
1521.79/381.07	c  N dy  6011    906792     19415     83002         0     60776    252144   3767862    131.48    141.07
1557.74/390.07	c  N dy  6146    926976     19415     83002         0     80960    252144   7913749    131.48    151.87
1593.29/398.96	c  N dy  6289    947045     19415     83002         0     55040    252144   2371540    131.53    139.23
1628.04/407.68	c  N dy  6427    967177     19415     83002         0     75169    252144   6569597    131.57    139.45
1666.38/417.21	c  N dy  6569    987228     19415     83002         0     48219    252144    740100    131.62    158.23
1699.54/425.58	c  N dy  6703   1007243     19415     83002         0     68231    252144   4959521    131.67    138.70
1736.68/434.82	c  N dy  6843   1027275     19415     83002         0     88260    252144   9161314    131.71    139.45
1771.43/443.57	c  N dy  6970   1047309     19415     83002         0     60295    252144   3057088    131.71    139.71
1807.37/452.58	c  N dy  7113   1067431     19415     83002         0     80417    252144   7315412    131.75    141.58
1815.76/454.65	c  F st  7144   1071875     19415     83002         0     84861    252144   8231771    131.75   no data
1845.34/462.04	c  N dy  7216   1087592     19415     83002         0     51580    252144   1014223    131.76    142.38
1879.28/470.52	c  N dy  7353   1107617     19415     83002         0     71605    252144   5131152    131.73    140.49
1917.20/480.03	c  N dy  7504   1127643     19415     83002         0     91630    252144   9321705    131.79    183.98
1953.55/489.10	c  N dy  7637   1147908     19415     83002         0     61900    252144   2931620    131.78    141.08
1989.51/498.15	c  N dy  7766   1168094     19415     83002         0     82086    252144   7124105    131.77    142.19
2028.65/507.99	c  N dy  7901   1188125     19415     83002         0     51117    252144    518508    131.77    141.40
2063.00/516.60	c  N dy  8040   1208237     19415     83002         0     71226    252144   4773362    131.79    139.12
2066.19/517.38	c  S st  8052   1209931     19415     83002         0     72920    252144   5133090    131.79    110.56
2067.39/517.64	c  S st  8052   1210431     19415     83002         0     73420    252144   5214002    131.79   no data
2067.39/517.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2067.79/517.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.14
2068.19/517.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2068.19/517.82	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2068.19/517.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2068.19/517.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19415 time:  0.01 s
2068.19/517.85	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
2068.59/518.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
2069.78/518.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2082.59/521.45	c lits-rem:         1  cl-subs:        6  v-elim:      0  v-fix:    0  time:  3.16 s
2082.59/521.46	c vivif2 --  cl tried    83002 cl shrink        0 lits rem          0 time: 0.01
2082.97/521.55	c vivif2 --  cl tried    73414 cl shrink        0 lits rem          0 time: 0.09
2083.77/521.73	c asymm  cl-useful: 0/83002/83002 lits-rem:0 time: 0.18
2083.77/521.74	c calculated reachability. Time: 0.00
2083.77/521.74	c  N dy  8052   1210431     19415     83002         0     73414    252144   5210832    131.79   no data
2122.14/531.31	c  N dy  8192   1230519     19415     83002         0     93500    252144   9388585    131.82    138.86
2159.26/540.68	c  N dy  8326   1250668     19415     83002         0     61652    252144   2518346    131.83    140.00
2195.21/549.62	c  N dy  8460   1270698     19415     83002         0     81681    252144   6653796    131.83    143.16
2234.76/559.58	c  N dy  8605   1290708     19415     83002         0    101691    252144  10908312    131.89    140.26
2270.70/568.53	c  N dy  8740   1310811     19415     83002         0     68790    252144   3792314    131.90    158.93
2307.45/577.78	c  N dy  8867   1330828     19415     83002         0     88807    252144   7948289    131.90    145.55
2348.58/588.03	c  N dy  9003   1350832     19415     83002         0     54811    252144    682399    131.92    141.81
2383.74/596.83	c  N dy  9138   1371190     19415     83002         0     75167    252144   4959423    131.93    139.80
2422.48/606.52	c  N dy  9278   1391234     19415     83002         0     95211    252144   9158967    131.96    139.02
2461.62/616.30	c  N dy  9408   1411335     19415     83002         0     60315    252144   1651249    131.96    141.85
2497.57/625.30	c  N dy  9548   1431483     19415     83002         0     80462    252144   5877617    131.98    141.29
2536.70/635.14	c  N dy  9685   1451620     19415     83002         0    100597    252144  10097913    131.99    139.84
2575.05/644.76	c  N dy  9819   1471710     19415     83002         0     64687    252144   2307978    131.99    145.06
2611.00/653.72	c  N dy  9950   1491830     19415     83002         0     84805    252144   6483585    131.99    141.27
2650.94/663.74	c  N dy 10082   1511888     19415     83002         0    104858    252144  10668830    132.00    141.23
2688.71/673.23	c  N dy 10213   1531935     19415     83002         0     67905    252144   2788508    132.02    139.35
2726.59/682.86	c  N dy 10340   1551937     19415     83002         0     87904    252144   6979341    132.03    140.84
2767.56/693.15	c  N dy 10473   1571999     19415     83002         0    107965    252144  11137441    132.03    139.23
2805.51/702.64	c  N dy 10609   1592035     19415     83002         0     70003    252144   3044829    132.05    141.58
2842.65/711.97	c  N dy 10742   1612054     19415     83002         0     90018    252144   7214709    132.06    140.81
2883.79/722.29	c  N dy 10883   1632055     19415     83002         0    110018    252144  11393827    132.08    162.74
2922.54/731.96	c  N dy 11020   1652178     19415     83002         0     71155    252144   3070019    132.10    143.72
2960.09/741.34	c  N dy 11153   1672243     19415     83002         0     91217    252144   7244195    132.11    196.40
3001.22/751.64	c  N dy 11288   1692335     19415     83002         0    111306    252144  11478775    132.12    139.83
3036.78/760.54	c  S st 11415   1710431     19415     83002         0     69407    252144   2542585    132.15   no data
3037.57/760.78	c  S st 11415   1710938     19415     83002         0     69914    252144   2629758    132.15   no data
3037.97/760.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3038.37/760.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
3038.37/760.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3038.37/760.95	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3038.37/760.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3038.37/760.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19415 time:  0.01 s
3038.37/760.97	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
3038.77/761.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
3039.58/761.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3046.35/762.92	c lits-rem:         1  cl-subs:        3  v-elim:      0  v-fix:    0  time:  1.69 s
3046.35/762.93	c vivif2 --  cl tried    83002 cl shrink        0 lits rem          0 time: 0.01
3046.35/762.97	c vivif2 --  cl tried    69911 cl shrink        0 lits rem          0 time: 0.05
3047.16/763.15	c asymm  cl-useful: 0/83002/83002 lits-rem:0 time: 0.17
3047.16/763.15	c calculated reachability. Time: 0.00
3047.16/763.15	c  N dy 11415   1710938     19415     83002         0     69911    252144   2629509    132.15   no data
3084.70/772.57	c  N dy 11550   1731088     19415     83002         0     90059    252144   6808310    132.16    145.28
3125.45/782.72	c  N dy 11680   1751119     19415     83002         0    110088    252144  11017394    132.17    188.60
3165.39/792.76	c  N dy 11820   1771206     19415     83002         0     69174    252144   2287144    132.19    139.99
3202.15/801.99	c  N dy 11950   1791268     19415     83002         0     89236    252144   6495995    132.19    141.61
3243.67/812.34	c  N dy 12095   1811410     19415     83002         0    109376    252144  10739489    132.23    141.04
3285.63/822.82	c  N dy 12237   1831446     19415     83002         0     67414    252144   1680551    132.25    141.49
3322.76/832.11	c  N dy 12373   1851552     19415     83002         0     87517    252144   5970261    132.28    141.39
3364.32/842.58	c  N dy 12501   1871697     19415     83002         0    107659    252144  10212005    132.29    139.51
3407.83/853.41	c  N dy 12637   1891717     19415     83002         0     64677    252144    905780    132.30    142.09
3443.41/862.35	c  N dy 12770   1911733     19415     83002         0     84691    252144   5128379    132.30    139.96
3482.95/872.28	c  N dy 12905   1931805     19415     83002         0    104761    252144   9320684    132.31    140.53
3526.47/883.15	c  N dy 13039   1951883     19415     83002         0    124838    252144  13497163    132.32    141.02
3564.01/892.51	c  N dy 13170   1971903     19415     83002         0     80874    252144   4143293    132.34    139.93
3602.36/902.17	c  N dy 13297   1991980     19415     83002         0    100949    252144   8310531    132.32    140.47
3645.92/913.02	c  N dy 13426   2012236     19415     83002         0    121203    252144  12552920    132.33    152.05
3686.23/923.14	c  N dy 13567   2032293     19415     83002         0     76264    252144   2949796    132.34    144.40
3724.18/932.66	c  N dy 13698   2052341     19415     83002         0     96312    252144   7145480    132.34    140.82
3766.53/943.26	c  N dy 13841   2072369     19415     83002         0    116338    252144  11395836    132.37    144.06
3810.05/954.14	c  N dy 13978   2092406     19415     83002         0     70379    252144   1510566    132.39    142.97
3846.81/963.38	c  N dy 14112   2112456     19415     83002         0     90429    252144   5661750    132.39    144.49
3888.35/973.73	c  N dy 14253   2132529     19415     83002         0    110502    252144   9849125    132.40    147.33
3932.69/984.89	c  N dy 14391   2152592     19415     83002         0    130562    252144  14069287    132.42    143.35
3970.65/994.35	c  N dy 14526   2172640     19415     83002         0     83612    252144   4098238    132.43    142.79
4010.60/1004.39	c  N dy 14670   2192757     19415     83002         0    103727    252144   8336975    132.45    139.62
4051.32/1014.59	c  S st 14781   2210939     19415     83002         0    121907    252144  12146661    132.44   no data
4052.92/1014.93	c  S st 14781   2211441     19415     83002         0    122409    252144  12227457    132.44   no data
4052.92/1014.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4053.72/1015.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.17
4053.72/1015.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4053.72/1015.16	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4053.72/1015.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4053.72/1015.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19415 time:  0.01 s
4053.72/1015.18	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
4054.91/1015.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
4057.72/1016.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4086.07/1023.22	c lits-rem:         0  cl-subs:        9  v-elim:      0  v-fix:    0  time:  7.09 s
4086.07/1023.23	c vivif2 --  cl tried    83002 cl shrink        0 lits rem          0 time: 0.01
4086.87/1023.44	c vivif2 --  cl tried   122400 cl shrink        0 lits rem          0 time: 0.20
4088.07/1023.71	c asymm  cl-useful: 0/83002/83002 lits-rem:0 time: 0.27
4088.07/1023.72	c calculated reachability. Time: 0.00
4088.07/1023.72	c  N dy 14781   2211441     19415     83002         0    122400    252144  12223144    132.44   no data
4133.62/1035.14	c  N dy 14915   2231452     19415     83002         0     74417    252144   1961402    132.46    141.60
4171.15/1044.50	c  N dy 15046   2251475     19415     83002         0     94439    252144   6115281    132.45    141.12
4213.09/1055.04	c  N dy 15175   2271829     19415     83002         0    114791    252144  10404730    132.44    145.60
4258.23/1066.36	c  N dy 15307   2291960     19415     83002         0    134922    252144  14587687    132.44    142.52
4296.96/1076.09	c  N dy 15449   2312030     19415     83002         0     85992    252144   4154197    132.46    143.83
4336.91/1086.04	c  N dy 15578   2332148     19415     83002         0    106107    252144   8349633    132.45    139.51
4380.85/1097.08	c  N dy 15714   2352226     19415     83002         0    126182    252144  12576968    132.46    139.44
4425.58/1108.26	c  N dy 15857   2372348     19415     83002         0     76310    252144   1928525    132.48    139.87
4464.33/1117.90	c  N dy 15994   2392410     19415     83002         0     96370    252144   6110221    132.48    150.96
4506.68/1128.52	c  N dy 16122   2412739     19415     83002         0    116697    252144  10374651    132.48    143.16
4552.60/1140.02	c  N dy 16259   2432894     19415     83002         0    136847    252144  14602892    132.49    139.85
4592.53/1150.09	c  N dy 16391   2453065     19415     83002         0     86024    252144   3723227    132.49    139.55
4632.88/1160.12	c  N dy 16529   2473073     19415     83002         0    106032    252144   7923941    132.50    140.69
4676.01/1170.94	c  N dy 16651   2493081     19415     83002         0    126038    252144  12149791    132.50    140.09
4721.96/1182.46	c  N dy 16788   2513242     19415     83002         0     74202    252144   1039485    132.50    140.79
4759.90/1191.99	c  N dy 16928   2533419     19415     83002         0     94378    252144   5299545    132.51    144.38

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3173781-1304031185/watcher-3173781-1304031185 -o /tmp/evaluation-result-3173781-1304031185/solver-3173781-1304031185 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173781-1304031185.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: 8.07 8.08 7.50 5/180 26370
/proc/meminfo: memFree=13115540/32950928 swapFree=67111528/67111528
[pid=26370] ppid=26368 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/26370/stat : 26370 (strangenight2-m) R 26368 26370 26049 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 514717245 52441088 352 33554432000 4194304 4627427 140736581131664 18446744073709551615 47300008818201 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26370/statm: 12803 352 303 106 0 7774 0
[pid=26370/tid=26371] ppid=26368 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/26370/task/26371/stat : 26371 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 514717246 52441088 352 33554432000 4194304 4627427 140736581131664 18446744073709551615 47300008818201 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26370/tid=26372] ppid=26368 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/26370/task/26372/stat : 26372 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 514717246 52441088 352 33554432000 4194304 4627427 140736581131664 18446744073709551615 47300008818614 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26370/tid=26373] ppid=26368 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/26370/task/26373/stat : 26373 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 514717246 52441088 352 33554432000 4194304 4627427 140736581131664 18446744073709551615 47300008818201 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0688901 s]
/proc/loadavg: 8.07 8.08 7.50 5/180 26370
/proc/meminfo: memFree=13115540/32950928 swapFree=67111528/67111528
[pid=26370] ppid=26368 vsize=302500 CPUtime=0.22 cores=0,2,4,6
/proc/26370/stat : 26370 (strangenight2-m) R 26368 26370 26049 0 -1 4202496 14296 0 0 0 17 5 0 0 25 0 4 0 514717245 309760000 12319 33554432000 4194304 4627427 140736581131664 18446744073709551615 235594971679 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26370/statm: 75625 12320 339 106 0 70596 0
[pid=26370/tid=26371] ppid=26368 vsize=302500 CPUtime=0.05 cores=0,2,4,6
/proc/26370/task/26371/stat : 26371 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 3587 0 0 0 4 1 0 0 25 0 4 0 514717246 309760000 12322 33554432000 4194304 4627427 140736581131664 18446744073709551615 235594971679 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26370/tid=26372] ppid=26368 vsize=302500 CPUtime=0.05 cores=0,2,4,6
/proc/26370/task/26372/stat : 26372 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 3478 0 0 0 4 1 0 0 25 0 4 0 514717246 309760000 12323 33554432000 4194304 4627427 140736581131664 18446744073709551615 235594971630 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26370/tid=26373] ppid=26368 vsize=302500 CPUtime=0.04 cores=0,2,4,6
/proc/26370/task/26373/stat : 26373 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 3466 0 0 0 4 0 0 0 25 0 4 0 514717246 309760000 12324 33554432000 4194304 4627427 140736581131664 18446744073709551615 235594971679 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 302500

[startup+0.115803 s]
/proc/loadavg: 8.07 8.08 7.50 5/180 26370
/proc/meminfo: memFree=13115540/32950928 swapFree=67111528/67111528
[pid=26370] ppid=26368 vsize=302616 CPUtime=0.39 cores=0,2,4,6
/proc/26370/stat : 26370 (strangenight2-m) R 26368 26370 26049 0 -1 4202496 15032 0 0 0 34 5 0 0 25 0 4 0 514717245 309878784 13055 33554432000 4194304 4627427 140736581131664 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26370/statm: 75654 13055 364 106 0 70625 0
[pid=26370/tid=26371] ppid=26368 vsize=302616 CPUtime=0.09 cores=0,2,4,6
/proc/26370/task/26371/stat : 26371 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 3767 0 0 0 8 1 0 0 25 0 4 0 514717246 309878784 13055 33554432000 4194304 4627427 140736581131664 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26370/tid=26372] ppid=26368 vsize=302616 CPUtime=0.09 cores=0,2,4,6
/proc/26370/task/26372/stat : 26372 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 3626 0 0 0 8 1 0 0 25 0 4 0 514717246 309878784 13055 33554432000 4194304 4627427 140736581131664 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26370/tid=26373] ppid=26368 vsize=302616 CPUtime=0.1 cores=0,2,4,6
/proc/26370/task/26373/stat : 26373 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 3646 0 0 0 9 1 0 0 25 0 4 0 514717246 309878784 13055 33554432000 4194304 4627427 140736581131664 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 302616

[startup+0.300774 s]
/proc/loadavg: 8.07 8.08 7.50 5/180 26370
/proc/meminfo: memFree=13115540/32950928 swapFree=67111528/67111528
[pid=26370] ppid=26368 vsize=332096 CPUtime=1.13 cores=0,2,4,6
/proc/26370/stat : 26370 (strangenight2-m) R 26368 26370 26049 0 -1 4202496 27846 0 0 0 106 7 0 0 25 0 4 0 514717245 340066304 24782 33554432000 4194304 4627427 140736581131664 18446744073709551615 4427194 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26370/statm: 83024 24782 379 106 0 77995 0
[pid=26370/tid=26371] ppid=26368 vsize=332096 CPUtime=0.28 cores=0,2,4,6
/proc/26370/task/26371/stat : 26371 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 8284 0 0 0 26 2 0 0 25 0 4 0 514717246 340066304 24782 33554432000 4194304 4627427 140736581131664 18446744073709551615 4426848 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26370/tid=26372] ppid=26368 vsize=332096 CPUtime=0.28 cores=0,2,4,6
/proc/26370/task/26372/stat : 26372 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 7588 0 0 0 26 2 0 0 25 0 4 0 514717246 340066304 24782 33554432000 4194304 4627427 140736581131664 18446744073709551615 4427194 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26370/tid=26373] ppid=26368 vsize=332096 CPUtime=0.28 cores=0,2,4,6
/proc/26370/task/26373/stat : 26373 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 3846 0 0 0 27 1 0 0 25 0 4 0 514717246 340066304 24782 33554432000 4194304 4627427 140736581131664 18446744073709551615 4330936 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 332096

[startup+0.700701 s]
/proc/loadavg: 8.07 8.08 7.50 5/180 26370
/proc/meminfo: memFree=13115540/32950928 swapFree=67111528/67111528
[pid=26370] ppid=26368 vsize=322300 CPUtime=2.73 cores=0,2,4,6
/proc/26370/stat : 26370 (strangenight2-m) R 26368 26370 26049 0 -1 4202496 30598 0 0 0 265 8 0 0 25 0 4 0 514717245 330035200 23607 33554432000 4194304 4627427 140736581131664 18446744073709551615 4352192 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26370/statm: 80575 23607 385 106 0 75546 0
[pid=26370/tid=26371] ppid=26368 vsize=322300 CPUtime=0.67 cores=0,2,4,6
/proc/26370/task/26371/stat : 26371 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 9365 0 0 0 65 2 0 0 25 0 4 0 514717246 330035200 23607 33554432000 4194304 4627427 140736581131664 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26370/tid=26372] ppid=26368 vsize=322300 CPUtime=0.68 cores=0,2,4,6
/proc/26370/task/26372/stat : 26372 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 8230 0 0 0 66 2 0 0 25 0 4 0 514717246 330035200 23607 33554432000 4194304 4627427 140736581131664 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26370/tid=26373] ppid=26368 vsize=322300 CPUtime=0.68 cores=0,2,4,6
/proc/26370/task/26373/stat : 26373 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 4234 0 0 0 67 1 0 0 25 0 4 0 514717246 330035200 23607 33554432000 4194304 4627427 140736581131664 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 322300

[startup+1.50056 s]
/proc/loadavg: 8.14 8.10 7.50 9/184 26374
/proc/meminfo: memFree=13017916/32950928 swapFree=67111528/67111528
[pid=26370] ppid=26368 vsize=322300 CPUtime=5.92 cores=0,2,4,6
/proc/26370/stat : 26370 (strangenight2-m) R 26368 26370 26049 0 -1 4202496 33030 0 0 0 584 8 0 0 25 0 4 0 514717245 330035200 26032 33554432000 4194304 4627427 140736581131664 18446744073709551615 4330000 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26370/statm: 80575 26033 385 106 0 75546 0
[pid=26370/tid=26371] ppid=26368 vsize=322300 CPUtime=1.47 cores=0,2,4,6
/proc/26370/task/26371/stat : 26371 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 9989 0 0 0 145 2 0 0 25 0 4 0 514717246 330035200 26033 33554432000 4194304 4627427 140736581131664 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26370/tid=26372] ppid=26368 vsize=322300 CPUtime=1.47 cores=0,2,4,6
/proc/26370/task/26372/stat : 26372 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 8834 0 0 0 145 2 0 0 25 0 4 0 514717246 330035200 26033 33554432000 4194304 4627427 140736581131664 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26370/tid=26373] ppid=26368 vsize=322300 CPUtime=1.48 cores=0,2,4,6
/proc/26370/task/26373/stat : 26373 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 4838 0 0 0 147 1 0 0 25 0 4 0 514717246 330035200 26033 33554432000 4194304 4627427 140736581131664 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 322300

[startup+3.10028 s]
/proc/loadavg: 8.14 8.10 7.50 9/184 26374
/proc/meminfo: memFree=12999440/32950928 swapFree=67111528/67111528
[pid=26370] ppid=26368 vsize=453564 CPUtime=12.32 cores=0,2,4,6
/proc/26370/stat : 26370 (strangenight2-m) R 26368 26370 26049 0 -1 4202496 37757 0 0 0 1223 9 0 0 25 0 4 0 514717245 464449536 30759 33554432000 4194304 4627427 140736581131664 18446744073709551615 4299555 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26370/statm: 113391 30759 385 106 0 108362 0
[pid=26370/tid=26371] ppid=26368 vsize=453564 CPUtime=3.07 cores=0,2,4,6
/proc/26370/task/26371/stat : 26371 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 11144 0 0 0 305 2 0 0 25 0 4 0 514717246 464449536 30759 33554432000 4194304 4627427 140736581131664 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26370/tid=26372] ppid=26368 vsize=453564 CPUtime=3.07 cores=0,2,4,6
/proc/26370/task/26372/stat : 26372 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 9918 0 0 0 305 2 0 0 25 0 4 0 514717246 464449536 30759 33554432000 4194304 4627427 140736581131664 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26370/tid=26373] ppid=26368 vsize=453564 CPUtime=3.08 cores=0,2,4,6
/proc/26370/task/26373/stat : 26373 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 6242 0 0 0 307 1 0 0 25 0 4 0 514717246 464449536 30759 33554432000 4194304 4627427 140736581131664 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 453564

[startup+6.30071 s]
/proc/loadavg: 8.13 8.09 7.51 9/184 26374
/proc/meminfo: memFree=12977112/32950928 swapFree=67111528/67111528
[pid=26370] ppid=26368 vsize=425784 CPUtime=25.1 cores=0,2,4,6
/proc/26370/stat : 26370 (strangenight2-m) R 26368 26370 26049 0 -1 4202496 47455 0 0 0 2499 11 0 0 25 0 4 0 514717245 436002816 35926 33554432000 4194304 4627427 140736581131664 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26370/statm: 106446 35926 386 106 0 101417 0
[pid=26370/tid=26371] ppid=26368 vsize=425784 CPUtime=6.28 cores=0,2,4,6
/proc/26370/task/26371/stat : 26371 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 13349 0 0 0 625 3 0 0 25 0 4 0 514717246 436002816 35926 33554432000 4194304 4627427 140736581131664 18446744073709551615 4332992 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26370/tid=26372] ppid=26368 vsize=425784 CPUtime=6.24 cores=0,2,4,6
/proc/26370/task/26372/stat : 26372 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 11988 0 0 0 622 2 0 0 25 0 4 0 514717246 436002816 35926 33554432000 4194304 4627427 140736581131664 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26370/tid=26373] ppid=26368 vsize=425784 CPUtime=6.27 cores=0,2,4,6
/proc/26370/task/26373/stat : 26373 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 9584 0 0 0 626 1 0 0 25 0 4 0 514717246 436002816 35926 33554432000 4194304 4627427 140736581131664 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 425784

[startup+12.7006 s]
/proc/loadavg: 8.12 8.09 7.51 9/184 26374
/proc/meminfo: memFree=12929364/32950928 swapFree=67111528/67111528
[pid=26370] ppid=26368 vsize=686840 CPUtime=50.66 cores=0,2,4,6
/proc/26370/stat : 26370 (strangenight2-m) R 26368 26370 26049 0 -1 4202496 104143 0 0 0 5041 25 0 0 25 0 4 0 514717245 703324160 77964 33554432000 4194304 4627427 140736581131664 18446744073709551615 4308588 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26370/statm: 171710 77965 390 106 0 166681 0
[pid=26370/tid=26371] ppid=26368 vsize=686840 CPUtime=12.67 cores=0,2,4,6
/proc/26370/task/26371/stat : 26371 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 40449 0 0 0 1258 9 0 0 25 0 4 0 514717246 703324160 77966 33554432000 4194304 4627427 140736581131664 18446744073709551615 4429527 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26370/tid=26372] ppid=26368 vsize=686840 CPUtime=12.61 cores=0,2,4,6
/proc/26370/task/26372/stat : 26372 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 17310 0 0 0 1257 4 0 0 25 0 4 0 514717246 703324160 77967 33554432000 4194304 4627427 140736581131664 18446744073709551615 4333109 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26370/tid=26373] ppid=26368 vsize=686840 CPUtime=12.68 cores=0,2,4,6
/proc/26370/task/26373/stat : 26373 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 13828 0 0 0 1265 3 0 0 25 0 4 0 514717246 703324160 77968 33554432000 4194304 4627427 140736581131664 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 686840

[startup+25.5003 s]
/proc/loadavg: 8.09 8.09 7.52 9/184 26374
/proc/meminfo: memFree=12768024/32950928 swapFree=67111528/67111528
[pid=26370] ppid=26368 vsize=578432 CPUtime=101.79 cores=0,2,4,6
/proc/26370/stat : 26370 (strangenight2-m) R 26368 26370 26049 0 -1 4202496 158867 0 0 0 10141 38 0 0 25 0 4 0 514717245 592314368 85725 33554432000 4194304 4627427 140736581131664 18446744073709551615 4415761 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26370/statm: 144608 85725 390 106 0 139579 0
[pid=26370/tid=26371] ppid=26368 vsize=578432 CPUtime=25.48 cores=0,2,4,6
/proc/26370/task/26371/stat : 26371 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 49510 0 0 0 2536 12 0 0 25 0 4 0 514717246 592314368 85725 33554432000 4194304 4627427 140736581131664 18446744073709551615 4427136 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26370/tid=26372] ppid=26368 vsize=578432 CPUtime=25.34 cores=0,2,4,6
/proc/26370/task/26372/stat : 26372 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 32190 0 0 0 2527 7 0 0 25 0 4 0 514717246 592314368 85725 33554432000 4194304 4627427 140736581131664 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26370/tid=26373] ppid=26368 vsize=578432 CPUtime=25.47 cores=0,2,4,6
/proc/26370/task/26373/stat : 26373 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 32712 0 0 0 2540 7 0 0 25 0 4 0 514717246 592314368 85725 33554432000 4194304 4627427 140736581131664 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 578432

[startup+51.1008 s]
/proc/loadavg: 8.12 8.09 7.53 9/184 26375
/proc/meminfo: memFree=12577560/32950928 swapFree=67111528/67111528
[pid=26370] ppid=26368 vsize=765292 CPUtime=204.05 cores=0,2,4,6
/proc/26370/stat : 26370 (strangenight2-m) R 26368 26370 26049 0 -1 4202496 245770 0 0 0 20346 59 0 0 25 0 4 0 514717245 783659008 138101 33554432000 4194304 4627427 140736581131664 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26370/statm: 191323 138101 390 106 0 186294 0
[pid=26370/tid=26371] ppid=26368 vsize=765292 CPUtime=51.07 cores=0,2,4,6
/proc/26370/task/26371/stat : 26371 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 65995 0 0 0 5092 15 0 0 25 0 4 0 514717246 783659008 138101 33554432000 4194304 4627427 140736581131664 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26370/tid=26372] ppid=26368 vsize=765292 CPUtime=50.8 cores=0,2,4,6
/proc/26370/task/26372/stat : 26372 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 53990 0 0 0 5069 11 0 0 25 0 4 0 514717246 783659008 138102 33554432000 4194304 4627427 140736581131664 18446744073709551615 4332314 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26370/tid=26373] ppid=26368 vsize=765292 CPUtime=51.07 cores=0,2,4,6
/proc/26370/task/26373/stat : 26373 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 58388 0 0 0 5093 14 0 0 25 0 4 0 514717246 783659008 138102 33554432000 4194304 4627427 140736581131664 18446744073709551615 4332667 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.05
Current children cumulated vsize (KiB) 765292

[startup+102.307 s]
/proc/loadavg: 8.16 8.11 7.57 9/184 26376
/proc/meminfo: memFree=12514644/32950928 swapFree=67111528/67111528
[pid=26370] ppid=26368 vsize=787596 CPUtime=408.58 cores=0,2,4,6
/proc/26370/stat : 26370 (strangenight2-m) R 26368 26370 26049 0 -1 4202496 338532 0 0 0 40773 85 0 0 25 0 4 0 514717245 806498304 156798 33554432000 4194304 4627427 140736581131664 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26370/statm: 196899 156798 393 106 0 191870 0
[pid=26370/tid=26371] ppid=26368 vsize=787596 CPUtime=102.28 cores=0,2,4,6
/proc/26370/task/26371/stat : 26371 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 85564 0 0 0 10206 22 0 0 25 0 4 0 514717246 806498304 156798 33554432000 4194304 4627427 140736581131664 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26370/tid=26372] ppid=26368 vsize=787596 CPUtime=101.72 cores=0,2,4,6
/proc/26370/task/26372/stat : 26372 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 74018 0 0 0 10156 16 0 0 25 0 4 0 514717246 806498304 156798 33554432000 4194304 4627427 140736581131664 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26370/tid=26373] ppid=26368 vsize=787596 CPUtime=102.28 cores=0,2,4,6
/proc/26370/task/26373/stat : 26373 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 78996 0 0 0 10208 20 0 0 25 0 4 0 514717246 806498304 156798 33554432000 4194304 4627427 140736581131664 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.58
Current children cumulated vsize (KiB) 787596

[startup+162.3 s]

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

[pid=26370] ppid=26368 vsize=1246252 CPUtime=2565.48 cores=0,2,4,6
/proc/26370/stat : 26370 (strangenight2-m) R 26368 26370 26049 0 -1 4202496 1358794 0 0 0 256156 392 0 0 25 0 4 0 514717245 1276162048 247623 33554432000 4194304 4627427 140736581131664 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26370/statm: 311563 247623 390 106 0 306534 0
[pid=26370/tid=26371] ppid=26368 vsize=1246252 CPUtime=642.25 cores=0,2,4,6
/proc/26370/task/26371/stat : 26371 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 349140 0 0 0 64120 105 0 0 25 0 4 0 514717246 1276162048 247623 33554432000 4194304 4627427 140736581131664 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26370/tid=26372] ppid=26368 vsize=1246252 CPUtime=638.77 cores=0,2,4,6
/proc/26370/task/26372/stat : 26372 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 305896 0 0 0 63789 88 0 0 25 0 4 0 514717246 1276162048 247623 33554432000 4194304 4627427 140736581131664 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26370/tid=26373] ppid=26368 vsize=1246252 CPUtime=642.24 cores=0,2,4,6
/proc/26370/task/26373/stat : 26373 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 343772 0 0 0 64130 94 0 0 25 0 4 0 514717246 1276162048 247623 33554432000 4194304 4627427 140736581131664 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2565.48
Current children cumulated vsize (KiB) 1246252

[startup+702.301 s]
/proc/loadavg: 8.30 8.12 7.81 9/184 26435
/proc/meminfo: memFree=12410040/32950928 swapFree=67111528/67111528
[pid=26370] ppid=26368 vsize=1343004 CPUtime=2804.31 cores=0,2,4,6
/proc/26370/stat : 26370 (strangenight2-m) R 26368 26370 26049 0 -1 4202496 1461924 0 0 0 280005 426 0 0 25 0 4 0 514717245 1375236096 251286 33554432000 4194304 4627427 140736581131664 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26370/statm: 335751 251286 390 106 0 330722 0
[pid=26370/tid=26371] ppid=26368 vsize=1343004 CPUtime=702.24 cores=0,2,4,6
/proc/26370/task/26371/stat : 26371 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 377422 0 0 0 70110 114 0 0 25 0 4 0 514717246 1375236096 251286 33554432000 4194304 4627427 140736581131664 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26370/tid=26372] ppid=26368 vsize=1343004 CPUtime=698.44 cores=0,2,4,6
/proc/26370/task/26372/stat : 26372 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 330964 0 0 0 69747 97 0 0 25 0 4 0 514717246 1375236096 251286 33554432000 4194304 4627427 140736581131664 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26370/tid=26373] ppid=26368 vsize=1343004 CPUtime=702.07 cores=0,2,4,6
/proc/26370/task/26373/stat : 26373 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 368764 0 0 0 70105 102 0 0 25 0 4 0 514717246 1375236096 251286 33554432000 4194304 4627427 140736581131664 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2804.31
Current children cumulated vsize (KiB) 1343004

[startup+762.307 s]
/proc/loadavg: 8.26 8.14 7.83 9/184 26437
/proc/meminfo: memFree=12304692/32950928 swapFree=67111528/67111528
[pid=26370] ppid=26368 vsize=1279672 CPUtime=3043.98 cores=0,2,4,6
/proc/26370/stat : 26370 (strangenight2-m) R 26368 26370 26049 0 -1 4202496 1564701 0 0 0 303939 459 0 0 25 0 4 0 514717245 1310384128 247649 33554432000 4194304 4627427 140736581131664 18446744073709551615 4427693 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26370/statm: 319918 247649 390 106 0 314889 0
[pid=26370/tid=26371] ppid=26368 vsize=1279672 CPUtime=762.25 cores=0,2,4,6
/proc/26370/task/26371/stat : 26371 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 401892 0 0 0 76104 121 0 0 25 0 4 0 514717246 1310384128 247649 33554432000 4194304 4627427 140736581131664 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26370/tid=26372] ppid=26368 vsize=1279672 CPUtime=758.11 cores=0,2,4,6
/proc/26370/task/26372/stat : 26372 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 355578 0 0 0 75705 106 0 0 25 0 4 0 514717246 1310384128 247649 33554432000 4194304 4627427 140736581131664 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26370/tid=26373] ppid=26368 vsize=1279672 CPUtime=762.08 cores=0,2,4,6
/proc/26370/task/26373/stat : 26373 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 395279 0 0 0 76096 112 0 0 25 0 4 0 514717246 1310384128 247649 33554432000 4194304 4627427 140736581131664 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3043.98
Current children cumulated vsize (KiB) 1279672

[startup+822.301 s]
/proc/loadavg: 8.21 8.15 7.85 9/184 26439
/proc/meminfo: memFree=12316284/32950928 swapFree=67111528/67111528
[pid=26370] ppid=26368 vsize=1225656 CPUtime=3283.62 cores=0,2,4,6
/proc/26370/stat : 26370 (strangenight2-m) R 26368 26370 26049 0 -1 4202496 1666345 0 0 0 327868 494 0 0 25 0 4 0 514717245 1255071744 239436 33554432000 4194304 4627427 140736581131664 18446744073709551615 4322044 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26370/statm: 306414 239437 390 106 0 301385 0
[pid=26370/tid=26371] ppid=26368 vsize=1225656 CPUtime=822.24 cores=0,2,4,6
/proc/26370/task/26371/stat : 26371 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 427747 0 0 0 82094 130 0 0 25 0 4 0 514717246 1255071744 239437 33554432000 4194304 4627427 140736581131664 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26370/tid=26372] ppid=26368 vsize=1225656 CPUtime=817.78 cores=0,2,4,6
/proc/26370/task/26372/stat : 26372 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 376384 0 0 0 81665 113 0 0 25 0 4 0 514717246 1255071744 239437 33554432000 4194304 4627427 140736581131664 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26370/tid=26373] ppid=26368 vsize=1225656 CPUtime=822.06 cores=0,2,4,6
/proc/26370/task/26373/stat : 26373 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 423036 0 0 0 82085 121 0 0 25 0 4 0 514717246 1255071744 239437 33554432000 4194304 4627427 140736581131664 18446744073709551615 4325026 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3283.62
Current children cumulated vsize (KiB) 1225656

[startup+882.3 s]
/proc/loadavg: 8.18 8.15 7.87 9/184 26440
/proc/meminfo: memFree=12164708/32950928 swapFree=67111528/67111528
[pid=26370] ppid=26368 vsize=1369492 CPUtime=3523.27 cores=0,2,4,6
/proc/26370/stat : 26370 (strangenight2-m) R 26368 26370 26049 0 -1 4202496 1786893 0 0 0 351798 529 0 0 25 0 4 0 514717245 1402359808 276090 33554432000 4194304 4627427 140736581131664 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26370/statm: 342373 276090 390 106 0 337344 0
[pid=26370/tid=26371] ppid=26368 vsize=1369492 CPUtime=882.24 cores=0,2,4,6
/proc/26370/task/26371/stat : 26371 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 453714 0 0 0 88084 140 0 0 25 0 4 0 514717246 1402359808 276090 33554432000 4194304 4627427 140736581131664 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26370/tid=26372] ppid=26368 vsize=1369492 CPUtime=877.45 cores=0,2,4,6
/proc/26370/task/26372/stat : 26372 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 417683 0 0 0 87622 123 0 0 25 0 4 0 514717246 1402359808 276090 33554432000 4194304 4627427 140736581131664 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26370/tid=26373] ppid=26368 vsize=1369492 CPUtime=882.05 cores=0,2,4,6
/proc/26370/task/26373/stat : 26373 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 450075 0 0 0 88075 130 0 0 25 0 4 0 514717246 1402359808 276090 33554432000 4194304 4627427 140736581131664 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3523.27
Current children cumulated vsize (KiB) 1369492

[startup+942.301 s]
/proc/loadavg: 8.24 8.16 7.89 9/184 26442
/proc/meminfo: memFree=12063860/32950928 swapFree=67111528/67111528
[pid=26370] ppid=26368 vsize=1427136 CPUtime=3762.93 cores=0,2,4,6
/proc/26370/stat : 26370 (strangenight2-m) R 26368 26370 26049 0 -1 4202496 1894006 0 0 0 375730 563 0 0 25 0 4 0 514717245 1461387264 293610 33554432000 4194304 4627427 140736581131664 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26370/statm: 356784 293610 390 106 0 351755 0
[pid=26370/tid=26371] ppid=26368 vsize=1427136 CPUtime=942.23 cores=0,2,4,6
/proc/26370/task/26371/stat : 26371 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 481273 0 0 0 94075 148 0 0 25 0 4 0 514717246 1461387264 293610 33554432000 4194304 4627427 140736581131664 18446744073709551615 4308618 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26370/tid=26372] ppid=26368 vsize=1427136 CPUtime=937.12 cores=0,2,4,6
/proc/26370/task/26372/stat : 26372 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 443678 0 0 0 93580 132 0 0 25 0 4 0 514717246 1461387264 293610 33554432000 4194304 4627427 140736581131664 18446744073709551615 4308343 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26370/tid=26373] ppid=26368 vsize=1427136 CPUtime=942.05 cores=0,2,4,6
/proc/26370/task/26373/stat : 26373 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 476009 0 0 0 94067 138 0 0 25 0 4 0 514717246 1461387264 293610 33554432000 4194304 4627427 140736581131664 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3762.93
Current children cumulated vsize (KiB) 1427136

[startup+1002.3 s]
/proc/loadavg: 8.22 8.16 7.91 9/184 26443
/proc/meminfo: memFree=12119236/32950928 swapFree=67111528/67111528
[pid=26370] ppid=26368 vsize=1428820 CPUtime=4002.58 cores=0,2,4,6
/proc/26370/stat : 26370 (strangenight2-m) R 26368 26370 26049 0 -1 4202496 2002708 0 0 0 399659 599 0 0 25 0 4 0 514717245 1463111680 279999 33554432000 4194304 4627427 140736581131664 18446744073709551615 4332667 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26370/statm: 357205 279999 390 106 0 352176 0
[pid=26370/tid=26371] ppid=26368 vsize=1428820 CPUtime=1002.24 cores=0,2,4,6
/proc/26370/task/26371/stat : 26371 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 508525 0 0 0 100067 157 0 0 25 0 4 0 514717246 1463111680 279999 33554432000 4194304 4627427 140736581131664 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26370/tid=26372] ppid=26368 vsize=1428820 CPUtime=996.79 cores=0,2,4,6
/proc/26370/task/26372/stat : 26372 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 470700 0 0 0 99537 142 0 0 25 0 4 0 514717246 1463111680 279999 33554432000 4194304 4627427 140736581131664 18446744073709551615 4308231 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26370/tid=26373] ppid=26368 vsize=1428820 CPUtime=1002.05 cores=0,2,4,6
/proc/26370/task/26373/stat : 26373 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 503331 0 0 0 100058 147 0 0 25 0 4 0 514717246 1463111680 279999 33554432000 4194304 4627427 140736581131664 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4002.58
Current children cumulated vsize (KiB) 1428820

[startup+1062.3 s]
/proc/loadavg: 8.15 8.15 7.91 9/184 26445
/proc/meminfo: memFree=11741020/32950928 swapFree=67111528/67111528
[pid=26370] ppid=26368 vsize=1701908 CPUtime=4242.25 cores=0,2,4,6
/proc/26370/stat : 26370 (strangenight2-m) R 26368 26370 26049 0 -1 4202496 2169374 0 0 0 423587 638 0 0 25 0 4 0 514717245 1742753792 350739 33554432000 4194304 4627427 140736581131664 18446744073709551615 4308419 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26370/statm: 425477 350739 390 106 0 420448 0
[pid=26370/tid=26371] ppid=26368 vsize=1701908 CPUtime=1062.23 cores=0,2,4,6
/proc/26370/task/26371/stat : 26371 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 558206 0 0 0 106056 167 0 0 25 0 4 0 514717246 1742753792 350739 33554432000 4194304 4627427 140736581131664 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26370/tid=26372] ppid=26368 vsize=1701908 CPUtime=1056.46 cores=0,2,4,6
/proc/26370/task/26372/stat : 26372 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 496392 0 0 0 105495 151 0 0 25 0 4 0 514717246 1742753792 350739 33554432000 4194304 4627427 140736581131664 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26370/tid=26373] ppid=26368 vsize=1701908 CPUtime=1062.05 cores=0,2,4,6
/proc/26370/task/26373/stat : 26373 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 550071 0 0 0 106047 158 0 0 25 0 4 0 514717246 1742753792 350739 33554432000 4194304 4627427 140736581131664 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4242.25
Current children cumulated vsize (KiB) 1701908

[startup+1122.3 s]
/proc/loadavg: 8.11 8.13 7.92 9/184 26447
/proc/meminfo: memFree=11720744/32950928 swapFree=67111528/67111528
[pid=26370] ppid=26368 vsize=1760032 CPUtime=4481.89 cores=0,2,4,6
/proc/26370/stat : 26370 (strangenight2-m) R 26368 26370 26049 0 -1 4202496 2273253 0 0 0 447521 668 0 0 25 0 4 0 514717245 1802272768 358352 33554432000 4194304 4627427 140736581131664 18446744073709551615 4332655 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26370/statm: 440008 358352 390 106 0 434979 0
[pid=26370/tid=26371] ppid=26368 vsize=1760032 CPUtime=1122.23 cores=0,2,4,6
/proc/26370/task/26371/stat : 26371 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 584962 0 0 0 112047 176 0 0 25 0 4 0 514717246 1802272768 358352 33554432000 4194304 4627427 140736581131664 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26370/tid=26372] ppid=26368 vsize=1760032 CPUtime=1116.13 cores=0,2,4,6
/proc/26370/task/26372/stat : 26372 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 520376 0 0 0 111456 157 0 0 25 0 4 0 514717246 1802272768 358352 33554432000 4194304 4627427 140736581131664 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26370/tid=26373] ppid=26368 vsize=1760032 CPUtime=1122.05 cores=0,2,4,6
/proc/26370/task/26373/stat : 26373 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 576112 0 0 0 112039 166 0 0 25 0 4 0 514717246 1802272768 358352 33554432000 4194304 4627427 140736581131664 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4481.89
Current children cumulated vsize (KiB) 1760032

[startup+1182.3 s]
/proc/loadavg: 8.10 8.12 7.93 9/184 26448
/proc/meminfo: memFree=11707304/32950928 swapFree=67111528/67111528
[pid=26370] ppid=26368 vsize=1703948 CPUtime=4721.55 cores=0,2,4,6
/proc/26370/stat : 26370 (strangenight2-m) R 26368 26370 26049 0 -1 4202496 2376352 0 0 0 471452 703 0 0 25 0 4 0 514717245 1744842752 346963 33554432000 4194304 4627427 140736581131664 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26370/statm: 425987 346963 390 106 0 420958 0
[pid=26370/tid=26371] ppid=26368 vsize=1703948 CPUtime=1182.23 cores=0,2,4,6
/proc/26370/task/26371/stat : 26371 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 609467 0 0 0 118038 185 0 0 25 0 4 0 514717246 1744842752 346963 33554432000 4194304 4627427 140736581131664 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26370/tid=26372] ppid=26368 vsize=1703948 CPUtime=1175.8 cores=0,2,4,6
/proc/26370/task/26372/stat : 26372 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 546514 0 0 0 117414 166 0 0 25 0 4 0 514717246 1744842752 346963 33554432000 4194304 4627427 140736581131664 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26370/tid=26373] ppid=26368 vsize=1703948 CPUtime=1182.03 cores=0,2,4,6
/proc/26370/task/26373/stat : 26373 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 602737 0 0 0 118028 175 0 0 25 0 4 0 514717246 1744842752 346963 33554432000 4194304 4627427 140736581131664 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4721.55
Current children cumulated vsize (KiB) 1703948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202 s]
/proc/loadavg: 8.07 8.11 7.93 9/184 26449
/proc/meminfo: memFree=11694512/32950928 swapFree=67111528/67111528
[pid=26370] ppid=26368 vsize=1761668 CPUtime=4800.26 cores=0,2,4,6
/proc/26370/stat : 26370 (strangenight2-m) R 26368 26370 26049 0 -1 4202496 2409615 0 0 0 479312 714 0 0 25 0 4 0 514717245 1803948032 363796 33554432000 4194304 4627427 140736581131664 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26370/statm: 440417 363796 390 106 0 435388 0
[pid=26370/tid=26371] ppid=26368 vsize=1761668 CPUtime=1201.94 cores=0,2,4,6
/proc/26370/task/26371/stat : 26371 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 618911 0 0 0 120006 188 0 0 25 0 4 0 514717246 1803948032 363796 33554432000 4194304 4627427 140736581131664 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26370/tid=26372] ppid=26368 vsize=1761668 CPUtime=1195.39 cores=0,2,4,6
/proc/26370/task/26372/stat : 26372 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 554251 0 0 0 119371 168 0 0 25 0 4 0 514717246 1803948032 363796 33554432000 4194304 4627427 140736581131664 18446744073709551615 4308282 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26370/tid=26373] ppid=26368 vsize=1761668 CPUtime=1201.73 cores=0,2,4,6
/proc/26370/task/26373/stat : 26373 (strangenight2-m) R 26368 26370 26049 0 -1 4202560 610480 0 0 0 119996 177 0 0 25 0 4 0 514717246 1803948032 363796 33554432000 4194304 4627427 140736581131664 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 1761668

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): 1202.08
CPU time (s): 4800.35
CPU user time (s): 4793.15
CPU system time (s): 7.2039
CPU usage (%): 399.338
Max. virtual memory (cumulated for all children) (KiB): 1761668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.15
system time used= 7.2039
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2409620
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= 5071
involuntary context switches= 22148

runsolver used 2.02569 second user time and 4.55631 second system time

The end

Launcher Data 

Begin job on node120 at 2011-04-29 00:53:05
IDJOB=3173781
IDBENCH=82599
IDSOLVER=1586
FILE ID=node120/3173781-1304031185
RUNJOBID= node120-1304028687-26067
PBS_JOBID= 13170332
Free space on /tmp= 72068 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v20000-c84000-S525505471-054-UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173781-1304031185/watcher-3173781-1304031185 -o /tmp/evaluation-result-3173781-1304031185/solver-3173781-1304031185 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173781-1304031185.cnf

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

MD5SUM BENCH= d09435f2d651fd373230433133c15edb
RANDOM SEED=786931175

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      13115828 kB
Buffers:       2480476 kB
Cached:       16094000 kB
SwapCached:          0 kB
Active:       11468112 kB
Inactive:      7795436 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      13115828 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            7428 kB
Writeback:           0 kB
AnonPages:      687864 kB
Mapped:          15712 kB
Slab:           507120 kB
PageTables:       6028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1026384 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= 72060 MiB
End job on node120 at 2011-04-29 01:13:09