Trace number 3366190

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.15 1202.68

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.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-3366190-1305398320.cnf'
0.00/0.01	c -- header says num vars:          20000
0.00/0.01	c -- header says num clauses:       84000
0.22/0.12	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.22/0.12	c -- vars added      20000
0.22/0.12	c Parsing time:  0.05 s
0.22/0.12	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data
0.22/0.22	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.07
0.22/0.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
0.76/0.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.76/0.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.76/0.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.76/0.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20000 time:  0.00 s
0.76/0.32	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.01 s
1.07/0.43	c lits-rem:         0  cl-subs:        0  v-elim:    513  v-fix:    0  time:  0.13 s
1.07/1.04	c Finding binary XORs  T:     0.00 s  found:       0
1.07/1.04	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
1.07/1.04	c calculated reachability. Time: 0.00
1.07/1.04	c Calc default polars -  time:   0.00 s pos:    8815 undec:    2167 neg:    9018
1.07/1.04	c =========================================================================================
1.07/1.04	c types(t): F = full restart, N = normal restart
1.07/1.04	c types(t): S = simplification begin/end, E = solution found
1.07/1.04	c restart types(rt): st = static, dy = dynamic
1.07/1.04	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.07/1.04	c  B st     0         0     19487     83408         0         0    253322         0   no data   no data
6.18/1.61	c  N dy    19      4089     19487     83408         0      4089    253322    909733    131.03    169.41
10.97/2.81	c  N dy    44      8218     19487     83408         0      8218    253322   1728051    128.15    135.42
15.79/4.04	c  N dy    70     12336     19487     83408         0     12336    253322   2551618    127.27    141.77
20.94/5.30	c  N dy    95     16409     19487     83408         0     16408    253322   3370151    127.38    140.02
26.14/6.60	c  N dy   121     20443     19487     83408         0     10442    253322    639438    127.23    136.99
30.92/7.81	c  N dy   145     24457     19487     83408         0     14456    253322   1445891    126.92    154.51
31.32/7.99	c  F st   150     25001     19487     83408         0     15000    253322   1551441    127.12   no data
38.14/9.64	c  N dy   156     30000     19487     83408         0     19999    253322   2844698    127.12   no data
38.14/9.64	c  S st   156     30000     19487     83408         0     19999    253322   2844698    127.12   no data
38.91/9.80	c  S st   156     30506     19487     83408         0     20505    253322   2911119    127.12   no data
38.91/9.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
38.91/9.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.05
38.91/9.89	c blocked clauses removed:      399 vars:     64 tried:       19487 T: 0.01 s
38.91/9.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39.31/9.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
39.31/9.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19423 time:  0.01 s
39.31/9.91	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
39.31/9.99	c lits-rem:         0  cl-subs:        0  v-elim:      8  v-fix:    0  time:  0.08 s
40.50/10.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
43.69/11.01	c lits-rem:        12  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.75 s
44.09/11.11	c asymm  cl-useful: 0/83002/83002 lits-rem:0 time: 0.10
44.09/11.12	c calculated reachability. Time: 0.00
44.09/11.12	c  N dy   156     30506     19415     83002         0     20419    252144   2882453    127.12   no data
49.69/12.51	c  N dy   186     34555     19415     83002         0     24468    252144   3732839    128.12    135.07
55.30/13.96	c  N dy   213     38578     19415     83002         0     28490    252144   4572763    128.58    189.95
60.86/15.39	c  N dy   244     42686     19415     83002         0     17146    252144   1024134    128.71    136.76
65.24/16.40	c  S st   266     45761     19415     83002         0     20220    252144   1657798    129.00   no data
65.64/16.56	c  S st   266     46263     19415     83002         0     20722    252144   1735127    129.00   no data
65.64/16.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
66.04/16.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.05
66.04/16.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
66.04/16.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
66.04/16.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
66.04/16.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19415 time:  0.01 s
66.04/16.67	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
66.44/16.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
66.83/16.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
67.64/17.09	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.23 s
68.04/17.10	c vivif2 --  cl tried    83002 cl shrink        0 lits rem          0 time: 0.01
68.04/17.13	c vivif2 --  cl tried    20720 cl shrink        0 lits rem          0 time: 0.03
68.47/17.23	c asymm  cl-useful: 0/83002/83002 lits-rem:0 time: 0.10
68.47/17.24	c calculated reachability. Time: 0.00
68.47/17.24	c  N dy   266     46263     19415     83002         0     20720    252144   1734986    129.00   no data
73.62/18.58	c  N dy   293     50320     19415     83002         0     24775    252144   2554016    129.01    136.43
79.21/19.96	c  N dy   318     54369     19415     83002         0     28824    252144   3371877    128.94    135.77
84.80/21.39	c  N dy   349     58414     19415     83002         0     32869    252144   4204434    129.28    140.74
90.81/22.84	c  N dy   375     62538     19415     83002         0     36993    252144   5007628    128.96    142.71
95.97/24.17	c  N dy   401     66547     19415     83002         0     22279    252144   1359383    128.85    137.21
99.96/25.12	c  S st   421     69395     19415     83002         0     25127    252144   1964785    129.00    113.86
100.36/25.30	c  S st   421     69897     19415     83002         0     25629    252144   2034673    129.00   no data
100.77/25.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
100.77/25.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.06
100.77/25.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
100.77/25.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
101.16/25.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
101.16/25.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19415 time:  0.01 s
101.16/25.41	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
101.16/25.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
101.96/25.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
103.16/25.97	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.35 s
103.16/25.97	c vivif2 --  cl tried    83002 cl shrink        0 lits rem          0 time: 0.01
103.59/26.01	c vivif2 --  cl tried    25629 cl shrink        0 lits rem          0 time: 0.03
103.99/26.12	c asymm  cl-useful: 0/83002/83002 lits-rem:0 time: 0.11
103.99/26.12	c calculated reachability. Time: 0.00
103.99/26.12	c  N dy   421     69897     19415     83002         0     25629    252144   2034672    129.00   no data
109.94/27.65	c  N dy   449     74417     19415     83002         0     30149    252144   2955108    128.98    144.68
116.76/29.38	c  N dy   483     79237     19415     83002         0     34969    252144   3961018    129.10    140.70
124.71/31.32	c  N dy   520     84582     19415     83002         0     40314    252144   5052920    129.15    143.81
128.71/32.36	c  F st   539     87500     19415     83002         0     22365    252144    910170    129.01    123.51
133.50/33.55	c  N st   544     90797     19415     83002         0     25662    252144   1787952    129.01   no data
141.49/35.59	c  N dy   570     96671     19415     83002         0     31535    252144   3090496    128.92    138.97
150.67/37.88	c  N dy   617    102967     19415     83002         0     37830    252144   4395132    129.12    139.48
153.45/38.58	c  S st   632    104845     19415     83002         0     39708    252144   4764966    129.13   no data
154.25/38.78	c  S st   632    105346     19415     83002         0     40209    252144   4847073    129.13   no data
154.65/38.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
154.65/38.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.07
154.65/38.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
154.65/38.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
155.05/38.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
155.05/38.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19415 time:  0.01 s
155.05/38.91	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
155.45/39.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
156.28/39.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
162.23/40.75	c lits-rem:        12  cl-subs:        3  v-elim:      0  v-fix:    0  time:  1.44 s
162.23/40.76	c vivif2 --  cl tried    83002 cl shrink        0 lits rem          0 time: 0.01
162.63/40.84	c vivif2 --  cl tried    40206 cl shrink        0 lits rem          0 time: 0.07
163.03/40.97	c asymm  cl-useful: 0/83002/83002 lits-rem:0 time: 0.13
163.03/40.98	c calculated reachability. Time: 0.00
163.03/40.98	c  N dy   632    105346     19415     83002         0     40206    252144   4845655    129.13   no data
173.02/43.49	c  N dy   676    112144     19415     83002         0     24576    252144   1016871    129.30    137.91
183.39/46.07	c  N dy   725    119399     19415     83002         0     31831    252144   2476612    129.27    140.95
194.57/48.88	c  N dy   777    127020     19415     83002         0     39452    252144   4040785    129.40    136.68
207.35/52.04	c  N dy   832    135242     19415     83002         0     23956    252144    596495    129.38    136.87
219.32/55.03	c  N dy   885    143912     19415     83002         0     32626    252144   2364236    129.25    136.13
232.90/58.45	c  N dy   948    153137     19415     83002         0     41850    252144   4240255    129.26    137.63
240.47/60.30	c  S st   980    158019     19415     83002         0     46732    252144   5223292    129.17   no data
240.87/60.49	c  S st   980    158523     19415     83002         0     47236    252144   5299217    129.17   no data
241.28/60.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
241.28/60.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.07
241.67/60.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
241.67/60.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
241.67/60.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
241.67/60.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19415 time:  0.01 s
241.67/60.63	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
242.07/60.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
243.27/61.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
251.25/63.00	c lits-rem:        16  cl-subs:        5  v-elim:      0  v-fix:    0  time:  1.98 s
251.25/63.01	c vivif2 --  cl tried    83002 cl shrink        0 lits rem          0 time: 0.01
251.25/63.09	c vivif2 --  cl tried    47231 cl shrink        0 lits rem          0 time: 0.08
252.05/63.23	c asymm  cl-useful: 0/83002/83002 lits-rem:0 time: 0.14
252.05/63.24	c calculated reachability. Time: 0.00
252.05/63.24	c  N dy   980    158523     19415     83002         0     47231    252144   5298182    129.17   no data
266.81/66.91	c  N dy  1049    168653     19415     83002         0     32504    252144   2071812    129.15    138.14
283.19/71.04	c  N dy  1130    179714     19415     83002         0     43565    252144   4347116    129.38    138.26
300.75/75.49	c  N dy  1211    191228     19415     83002         0     29151    252144   1169144    129.51    140.22
318.74/79.97	c  N dy  1295    203493     19415     83002         0     41416    252144   3688304    129.55    163.95
339.47/85.15	c  N dy  1390    216506     19415     83002         0     27465    252144    585272    129.72    138.97
359.42/90.19	c  N dy  1480    230418     19415     83002         0     41377    252144   3441165    129.78    150.75
371.00/93.10	c  S st  1530    237785     19415     83002         0     48744    252144   4996338    129.90   no data
372.19/93.31	c  S st  1530    238290     19415     83002         0     49249    252144   5064726    129.90   no data
372.19/93.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
372.59/93.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.08
372.59/93.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
372.59/93.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
372.59/93.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
372.59/93.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19415 time:  0.01 s
372.59/93.45	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
372.99/93.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
374.19/93.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
382.18/95.89	c lits-rem:         5  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.08 s
382.58/95.90	c vivif2 --  cl tried    83002 cl shrink        0 lits rem          0 time: 0.01
382.58/95.98	c vivif2 --  cl tried    49246 cl shrink        0 lits rem          0 time: 0.08
383.38/96.12	c asymm  cl-useful: 0/83002/83002 lits-rem:0 time: 0.14
383.38/96.13	c calculated reachability. Time: 0.00
383.38/96.13	c  N dy  1530    238290     19415     83002         0     49246    252144   5062799    129.90   no data
406.96/102.01	c  N dy  1636    253677     19415     83002         0     36653    252144   2247893    130.02    139.78
432.07/108.31	c  N dy  1747    270087     19415     83002         0     53062    252144   5670214    130.18    144.07
459.24/115.16	c  N dy  1866    287568     19415     83002         0     41546    252144   3056801    130.24    144.75
488.35/122.47	c  N dy  1986    305934     19415     83002         0     59910    252144   6890116    130.32    159.85
489.15/122.62	c  F st  1988    306250     19415     83002         0     30234    252144    505111    130.32    124.85
518.29/129.93	c  N dy  2092    325482     19415     83002         0     49465    252144   4816056    130.33    148.82
549.83/137.84	c  N dy  2228    345549     19415     83002         0     38534    252144   2041925    130.41    141.01
568.19/142.41	c  S st  2307    357437     19415     83002         0     50422    252144   4462717    130.36   no data
569.02/142.61	c  S st  2307    357940     19415     83002         0     50925    252144   4536534    130.36   no data
569.02/142.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
569.42/142.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.08
569.42/142.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
569.42/142.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
569.42/142.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
569.42/142.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19415 time:  0.01 s
569.42/142.75	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
569.78/142.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
570.58/143.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
582.60/146.01	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time:  2.92 s
582.60/146.02	c vivif2 --  cl tried    83002 cl shrink        0 lits rem          0 time: 0.01
582.60/146.09	c vivif2 --  cl tried    50923 cl shrink        0 lits rem          0 time: 0.07
583.36/146.24	c asymm  cl-useful: 0/83002/83002 lits-rem:0 time: 0.15
583.36/146.25	c calculated reachability. Time: 0.00
583.36/146.25	c  N dy  2307    357940     19415     83002         0     50923    252144   4536244    130.36   no data
615.29/154.26	c  N dy  2454    377968     19415     83002         0     38960    252144   1886377    130.53    138.38
647.62/162.40	c  N dy  2581    398038     19415     83002         0     59029    252144   6089218    130.63    152.04
679.55/170.33	c  N dy  2714    418130     19415     83002         0     46119    252144   3193056    130.70    139.84
713.48/178.86	c  N dy  2851    438912     19415     83002         0     66900    252144   7515020    130.71    140.12
744.65/186.67	c  N dy  2984    458936     19415     83002         0     52927    252144   4351426    130.68    137.58
778.16/195.01	c  N dy  3119    479109     19415     83002         0     38104    252144   1087822    130.70    140.75
809.68/202.93	c  N dy  3252    499119     19415     83002         0     58113    252144   5291519    130.74    139.04
842.41/211.19	c  N dy  3390    519132     19415     83002         0     42128    252144   1737345    130.85    141.82
871.16/218.34	c  S st  3510    536910     19415     83002         0     59904    252144   5433256    130.89   no data
871.98/218.57	c  S st  3510    537412     19415     83002         0     60406    252144   5532289    130.89   no data
871.98/218.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
872.39/218.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.08
872.39/218.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
872.74/218.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
872.74/218.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
872.74/218.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19415 time:  0.01 s
872.74/218.72	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
873.14/218.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
873.94/219.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
885.56/221.95	c lits-rem:         1  cl-subs:        6  v-elim:      0  v-fix:    0  time:  2.85 s
885.56/221.96	c vivif2 --  cl tried    83002 cl shrink        0 lits rem          0 time: 0.01
885.92/222.05	c vivif2 --  cl tried    60400 cl shrink        0 lits rem          0 time: 0.09
886.72/222.21	c asymm  cl-useful: 0/83002/83002 lits-rem:0 time: 0.16
886.72/222.22	c calculated reachability. Time: 0.00
886.72/222.22	c  N dy  3510    537412     19415     83002         0     60400    252144   5529281    130.89   no data
920.68/230.71	c  N dy  3650    557497     19415     83002         0     43486    252144   1838961    130.95    142.25
953.38/238.90	c  N dy  3791    577517     19415     83002         0     63505    252144   6068073    131.06    139.48
986.89/247.31	c  N dy  3925    597589     19415     83002         0     45576    252144   2005094    131.07    138.82
1020.03/255.62	c  N dy  4061    617746     19415     83002         0     65733    252144   6183149    131.08    138.39
1054.36/264.20	c  N dy  4202    637778     19415     83002         0     46765    252144   2119546    131.22    257.93
1087.12/272.46	c  N dy  4332    658015     19415     83002         0     67000    252144   6348413    131.23    138.44
1121.42/281.03	c  N dy  4473    678081     19415     83002         0     47075    252144   1940359    131.28    141.54
1155.34/289.57	c  N dy  4598    698123     19415     83002         0     67116    252144   6090356    131.22    140.22
1190.07/298.26	c  N dy  4726    718206     19415     83002         0     46195    252144   1550340    131.24    138.59
1222.80/306.46	c  N dy  4862    738225     19415     83002         0     66213    252144   5707076    131.24    142.47
1258.36/315.32	c  N dy  4991    758299     19415     83002         0     44286    252144    939647    131.27    139.60
1290.66/323.49	c  N dy  5130    778423     19415     83002         0     64410    252144   5144543    131.30    140.02
1326.98/332.58	c  N dy  5264    798498     19415     83002         0     84485    252144   9314308    131.31    138.60
1339.35/335.67	c  S st  5315    806120     19415     83002         0     49113    252144   1725869    131.30   no data
1340.15/335.88	c  S st  5315    806621     19415     83002         0     49614    252144   1795672    131.30   no data
1340.15/335.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1340.55/335.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.07
1340.55/335.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1340.55/335.99	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1340.95/336.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1340.95/336.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19415 time:  0.01 s
1340.95/336.01	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
1341.35/336.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
1341.35/336.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1344.14/336.84	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.64 s
1344.14/336.85	c vivif2 --  cl tried    83002 cl shrink        0 lits rem          0 time: 0.01
1344.14/336.88	c vivif2 --  cl tried    49612 cl shrink        0 lits rem          0 time: 0.03
1344.94/337.02	c asymm  cl-useful: 0/83002/83002 lits-rem:0 time: 0.14
1344.94/337.03	c calculated reachability. Time: 0.00
1344.94/337.03	c  N dy  5315    806621     19415     83002         0     49612    252144   1795390    131.30   no data
1378.47/345.46	c  N dy  5456    826649     19415     83002         0     69637    252144   5947168    131.34    143.51
1415.20/354.61	c  N dy  5593    846652     19415     83002         0     45642    252144    802766    131.39    140.87
1448.32/362.95	c  N dy  5726    866743     19415     83002         0     65730    252144   4984853    131.41    146.89
1485.05/372.16	c  N dy  5869    886770     19415     83002         0     85756    252144   9211080    131.45    140.43
1518.97/380.64	c  N dy  6011    906792     19415     83002         0     60776    252144   3767862    131.48    141.07
1554.90/389.63	c  N dy  6146    926976     19415     83002         0     80960    252144   7913749    131.48    151.87
1590.02/398.47	c  N dy  6289    947045     19415     83002         0     55040    252144   2371540    131.53    139.23
1624.75/407.12	c  N dy  6427    967177     19415     83002         0     75169    252144   6569597    131.57    139.45
1662.70/416.64	c  N dy  6569    987228     19415     83002         0     48219    252144    740100    131.62    158.23
1695.80/424.95	c  N dy  6703   1007243     19415     83002         0     68231    252144   4959521    131.67    138.70
1732.95/434.22	c  N dy  6843   1027275     19415     83002         0     88260    252144   9161314    131.71    139.45
1767.67/442.92	c  N dy  6970   1047309     19415     83002         0     60295    252144   3057088    131.71    139.71
1803.21/451.88	c  N dy  7113   1067431     19415     83002         0     80417    252144   7315412    131.75    141.58
1811.59/453.94	c  F st  7144   1071875     19415     83002         0     84861    252144   8231771    131.75   no data
1841.09/461.32	c  N dy  7216   1087592     19415     83002         0     51580    252144   1014223    131.76    142.38
1874.61/469.74	c  N dy  7353   1107617     19415     83002         0     71605    252144   5131152    131.73    140.49
1912.57/479.26	c  N dy  7504   1127643     19415     83002         0     91630    252144   9321705    131.79    183.98
1948.46/488.29	c  N dy  7637   1147908     19415     83002         0     61900    252144   2931620    131.78    141.08
1984.38/497.29	c  N dy  7766   1168094     19415     83002         0     82086    252144   7124105    131.77    142.19
2023.89/507.18	c  N dy  7901   1188125     19415     83002         0     51117    252144    518508    131.77    141.40
2057.85/515.64	c  N dy  8040   1208237     19415     83002         0     71226    252144   4773362    131.79    139.12
2061.41/516.53	c  S st  8052   1209931     19415     83002         0     72920    252144   5133090    131.79    110.56
2062.60/516.81	c  S st  8052   1210431     19415     83002         0     73420    252144   5214002    131.79   no data
2062.60/516.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2063.00/516.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.10
2063.00/516.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2063.00/516.96	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2063.00/516.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2063.00/516.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19415 time:  0.01 s
2063.00/516.99	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
2063.80/517.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
2064.60/517.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2076.98/520.48	c lits-rem:         1  cl-subs:        6  v-elim:      0  v-fix:    0  time:  3.07 s
2076.98/520.49	c vivif2 --  cl tried    83002 cl shrink        0 lits rem          0 time: 0.01
2077.37/520.57	c vivif2 --  cl tried    73414 cl shrink        0 lits rem          0 time: 0.08
2078.17/520.76	c asymm  cl-useful: 0/83002/83002 lits-rem:0 time: 0.18
2078.17/520.76	c calculated reachability. Time: 0.00
2078.17/520.76	c  N dy  8052   1210431     19415     83002         0     73414    252144   5210832    131.79   no data
2116.49/530.34	c  N dy  8192   1230519     19415     83002         0     93500    252144   9388585    131.82    138.86
2153.62/539.66	c  N dy  8326   1250668     19415     83002         0     61652    252144   2518346    131.83    140.00
2189.18/548.54	c  N dy  8460   1270698     19415     83002         0     81681    252144   6653796    131.83    143.16
2229.09/558.52	c  N dy  8605   1290708     19415     83002         0    101691    252144  10908312    131.89    140.26
2264.58/567.40	c  N dy  8740   1310811     19415     83002         0     68790    252144   3792314    131.90    158.93
2301.31/576.63	c  N dy  8867   1330828     19415     83002         0     88807    252144   7948289    131.90    145.55
2341.62/586.76	c  N dy  9003   1350832     19415     83002         0     54811    252144    682399    131.92    141.81
2377.15/595.64	c  N dy  9138   1371190     19415     83002         0     75167    252144   4959423    131.93    139.80
2415.47/605.28	c  N dy  9278   1391234     19415     83002         0     95211    252144   9158967    131.96    139.02
2454.58/615.09	c  N dy  9408   1411335     19415     83002         0     60315    252144   1651249    131.96    141.85
2490.50/624.05	c  N dy  9548   1431483     19415     83002         0     80462    252144   5877617    131.98    141.29
2529.63/633.87	c  N dy  9685   1451620     19415     83002         0    100597    252144  10097913    131.99    139.84
2568.35/643.51	c  N dy  9819   1471710     19415     83002         0     64687    252144   2307978    131.99    145.06
2603.87/652.42	c  N dy  9950   1491830     19415     83002         0     84805    252144   6483585    131.99    141.27
2643.79/662.46	c  N dy 10082   1511888     19415     83002         0    104858    252144  10668830    132.00    141.23
2681.70/671.91	c  N dy 10213   1531935     19415     83002         0     67905    252144   2788508    132.02    139.35
2717.63/680.97	c  N dy 10340   1551937     19415     83002         0     87904    252144   6979341    132.03    140.84
2757.94/691.08	c  N dy 10473   1571999     19415     83002         0    107965    252144  11137441    132.03    139.23
2795.86/700.54	c  N dy 10609   1592035     19415     83002         0     70003    252144   3044829    132.05    141.58
2832.99/709.82	c  N dy 10742   1612054     19415     83002         0     90018    252144   7214709    132.06    140.81
2874.14/720.14	c  N dy 10883   1632055     19415     83002         0    110018    252144  11393827    132.08    162.74
2912.42/729.78	c  N dy 11020   1652178     19415     83002         0     71155    252144   3070019    132.10    143.72
2949.93/739.10	c  N dy 11153   1672243     19415     83002         0     91217    252144   7244195    132.11    196.40
2991.06/749.42	c  N dy 11288   1692335     19415     83002         0    111306    252144  11478775    132.12    139.83
3026.18/758.22	c  S st 11415   1710431     19415     83002         0     69407    252144   2542585    132.15   no data
3026.97/758.47	c  S st 11415   1710938     19415     83002         0     69914    252144   2629758    132.15   no data
3026.97/758.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3027.37/758.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.09
3027.37/758.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3027.37/758.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3027.37/758.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3027.80/758.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19415 time:  0.01 s
3027.80/758.62	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
3028.21/758.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
3028.57/758.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3035.36/760.51	c lits-rem:         1  cl-subs:        3  v-elim:      0  v-fix:    0  time:  1.65 s
3035.36/760.52	c vivif2 --  cl tried    83002 cl shrink        0 lits rem          0 time: 0.01
3035.36/760.57	c vivif2 --  cl tried    69911 cl shrink        0 lits rem          0 time: 0.04
3036.16/760.75	c asymm  cl-useful: 0/83002/83002 lits-rem:0 time: 0.18
3036.16/760.76	c calculated reachability. Time: 0.00
3036.16/760.76	c  N dy 11415   1710938     19415     83002         0     69911    252144   2629509    132.15   no data
3073.67/770.14	c  N dy 11550   1731088     19415     83002         0     90059    252144   6808310    132.16    145.28
3113.99/780.28	c  N dy 11680   1751119     19415     83002         0    110088    252144  11017394    132.17    188.60
3154.30/790.32	c  N dy 11820   1771206     19415     83002         0     69174    252144   2287144    132.19    139.99
3190.66/799.49	c  N dy 11950   1791268     19415     83002         0     89236    252144   6495995    132.19    141.61
3232.14/809.80	c  N dy 12095   1811410     19415     83002         0    109376    252144  10739489    132.23    141.04
3273.68/820.29	c  N dy 12237   1831446     19415     83002         0     67414    252144   1680551    132.25    141.49
3310.37/829.49	c  N dy 12373   1851552     19415     83002         0     87517    252144   5970261    132.28    141.39
3350.68/839.57	c  N dy 12501   1871697     19415     83002         0    107659    252144  10212005    132.29    139.51
3395.39/850.79	c  N dy 12637   1891717     19415     83002         0     64677    252144    905780    132.30    142.09
3431.32/859.72	c  N dy 12770   1911733     19415     83002         0     84691    252144   5128379    132.30    139.96
3470.84/869.61	c  N dy 12905   1931805     19415     83002         0    104761    252144   9320684    132.31    140.53
3513.95/880.49	c  N dy 13039   1951883     19415     83002         0    124838    252144  13497163    132.32    141.02
3551.46/889.86	c  N dy 13170   1971903     19415     83002         0     80874    252144   4143293    132.34    139.93
3589.82/899.42	c  N dy 13297   1991980     19415     83002         0    100949    252144   8310531    132.32    140.47
3632.90/910.22	c  N dy 13426   2012236     19415     83002         0    121203    252144  12552920    132.33    152.05
3673.23/920.37	c  N dy 13567   2032293     19415     83002         0     76264    252144   2949796    132.34    144.40
3711.13/929.80	c  N dy 13698   2052341     19415     83002         0     96312    252144   7145480    132.34    140.82
3753.04/940.31	c  N dy 13841   2072369     19415     83002         0    116338    252144  11395836    132.37    144.06
3796.58/951.25	c  N dy 13978   2092406     19415     83002         0     70379    252144   1510566    132.39    142.97
3833.27/960.47	c  N dy 14112   2112456     19415     83002         0     90429    252144   5661750    132.39    144.49
3874.38/970.75	c  N dy 14253   2132529     19415     83002         0    110502    252144   9849125    132.40    147.33
3919.13/981.93	c  N dy 14391   2152592     19415     83002         0    130562    252144  14069287    132.42    143.35
3957.00/991.42	c  N dy 14526   2172640     19415     83002         0     83612    252144   4098238    132.43    142.79
3996.53/1001.39	c  N dy 14670   2192757     19415     83002         0    103727    252144   8336975    132.45    139.62
4035.24/1011.09	c  S st 14781   2210939     19415     83002         0    121907    252144  12146661    132.44   no data
4036.84/1011.42	c  S st 14781   2211441     19415     83002         0    122409    252144  12227457    132.44   no data
4036.84/1011.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4037.24/1011.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.14
4037.67/1011.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4037.67/1011.61	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4037.67/1011.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4037.67/1011.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19415 time:  0.01 s
4037.67/1011.64	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
4038.43/1011.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
4041.23/1012.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4069.17/1019.51	c lits-rem:         0  cl-subs:        9  v-elim:      0  v-fix:    0  time:  6.99 s
4069.17/1019.52	c vivif2 --  cl tried    83002 cl shrink        0 lits rem          0 time: 0.01
4069.97/1019.74	c vivif2 --  cl tried   122400 cl shrink        0 lits rem          0 time: 0.23
4071.17/1020.06	c asymm  cl-useful: 0/83002/83002 lits-rem:0 time: 0.31
4071.17/1020.07	c calculated reachability. Time: 0.00
4071.17/1020.07	c  N dy 14781   2211441     19415     83002         0    122400    252144  12223144    132.44   no data
4117.46/1031.63	c  N dy 14915   2231452     19415     83002         0     74417    252144   1961402    132.46    141.60
4154.60/1040.91	c  N dy 15046   2251475     19415     83002         0     94439    252144   6115281    132.45    141.12
4196.13/1051.37	c  N dy 15175   2271829     19415     83002         0    114791    252144  10404730    132.44    145.60
4241.61/1062.75	c  N dy 15307   2291960     19415     83002         0    134922    252144  14587687    132.44    142.52
4280.31/1072.45	c  N dy 15449   2312030     19415     83002         0     85992    252144   4154197    132.46    143.83
4319.83/1082.33	c  N dy 15578   2332148     19415     83002         0    106107    252144   8349633    132.45    139.51
4363.74/1093.34	c  N dy 15714   2352226     19415     83002         0    126182    252144  12576968    132.46    139.44
4408.44/1104.57	c  N dy 15857   2372348     19415     83002         0     76310    252144   1928525    132.48    139.87
4446.75/1114.16	c  N dy 15994   2392410     19415     83002         0     96370    252144   6110221    132.48    150.96
4488.68/1124.65	c  N dy 16122   2412739     19415     83002         0    116697    252144  10374651    132.48    143.16
4534.57/1136.10	c  N dy 16259   2432894     19415     83002         0    136847    252144  14602892    132.49    139.85
4574.48/1146.17	c  N dy 16391   2453065     19415     83002         0     86024    252144   3723227    132.49    139.55
4614.40/1156.10	c  N dy 16529   2473073     19415     83002         0    106032    252144   7923941    132.50    140.69
4656.75/1166.80	c  N dy 16651   2493081     19415     83002         0    126038    252144  12149791    132.50    140.09
4703.02/1178.37	c  N dy 16788   2513242     19415     83002         0     74202    252144   1039485    132.50    140.79
4740.93/1187.86	c  N dy 16928   2533419     19415     83002         0     94378    252144   5299545    132.51    144.38
4782.05/1198.14	c  N dy 17054   2553471     19415     83002         0    114429    252144   9523714    132.52    140.15

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-3366190-1305398320/watcher-3366190-1305398320 -o /tmp/evaluation-result-3366190-1305398320/solver-3366190-1305398320 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366190-1305398320.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: 1.88 3.39 3.69 6/275 25985
/proc/meminfo: memFree=20963520/32950904 swapFree=67057400/67111528
[pid=25985] ppid=25983 vsize=51168 CPUtime=0.01 cores=0,2,4,6
/proc/25985/stat : 25985 (strangenight2-m) R 25983 25985 25944 0 -1 4202496 408 0 0 0 1 0 0 0 25 0 4 0 651431752 52396032 348 33554432000 4194304 4580107 140734603202208 18446744073709551615 47414741882802 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25985/statm: 12792 348 299 95 0 7774 0
[pid=25985/tid=25986] ppid=25983 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/25985/task/25986/stat : 25986 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651431752 52396032 352 33554432000 4194304 4580107 140734603202208 18446744073709551615 47414741882802 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25985/tid=25987] ppid=25983 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/25985/task/25987/stat : 25987 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651431752 52396032 352 33554432000 4194304 4580107 140734603202208 18446744073709551615 237273926742 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25985/tid=25989] ppid=25983 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/25985/task/25989/stat : 25989 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 651431752 52396032 352 33554432000 4194304 4580107 140734603202208 18446744073709551615 237278879675 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0352471 s]
/proc/loadavg: 1.88 3.39 3.69 6/275 25985
/proc/meminfo: memFree=20963520/32950904 swapFree=67057400/67111528
[pid=25985] ppid=25983 vsize=288072 CPUtime=0.08 cores=0,2,4,6
/proc/25985/stat : 25985 (strangenight2-m) R 25983 25985 25944 0 -1 4202496 9180 0 0 0 7 1 0 0 18 0 4 0 651431752 294985728 7625 33554432000 4194304 4580107 140734603202208 18446744073709551615 237278984735 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25985/statm: 72018 7626 337 95 0 67000 0
[pid=25985/tid=25986] ppid=25983 vsize=288072 CPUtime=0.02 cores=0,2,4,6
/proc/25985/task/25986/stat : 25986 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 2705 0 0 0 2 0 0 0 18 0 4 0 651431752 294985728 7627 33554432000 4194304 4580107 140734603202208 18446744073709551615 237278984735 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25985/tid=25987] ppid=25983 vsize=288072 CPUtime=0 cores=0,2,4,6
/proc/25985/task/25987/stat : 25987 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 810 0 0 0 0 0 0 0 25 0 4 0 651431752 294985728 7628 33554432000 4194304 4580107 140734603202208 18446744073709551615 4307443 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25985/tid=25989] ppid=25983 vsize=288072 CPUtime=0.02 cores=0,2,4,6
/proc/25985/task/25989/stat : 25989 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 2596 0 0 0 2 0 0 0 18 0 4 0 651431752 294985728 7630 33554432000 4194304 4580107 140734603202208 18446744073709551615 237278984735 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 288072

[startup+0.10124 s]
/proc/loadavg: 1.88 3.39 3.69 6/275 25985
/proc/meminfo: memFree=20963520/32950904 swapFree=67057400/67111528
[pid=25985] ppid=25983 vsize=301152 CPUtime=0.22 cores=0,2,4,6
/proc/25985/stat : 25985 (strangenight2-m) S 25983 25985 25944 0 -1 4202496 13304 0 0 0 18 4 0 0 17 0 4 0 651431752 308379648 11749 33554432000 4194304 4580107 140734603202208 18446744073709551615 237278984686 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25985/statm: 75288 11749 338 95 0 70270 0
[pid=25985/tid=25986] ppid=25983 vsize=301152 CPUtime=0.05 cores=0,2,4,6
/proc/25985/task/25986/stat : 25986 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 3993 0 0 0 5 0 0 0 18 0 4 0 651431752 308379648 11749 33554432000 4194304 4580107 140734603202208 18446744073709551615 237278528618 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25985/tid=25987] ppid=25983 vsize=301152 CPUtime=0.02 cores=0,2,4,6
/proc/25985/task/25987/stat : 25987 (strangenight2-m) S 25983 25985 25944 0 -1 4202560 2231 0 0 0 2 0 0 0 17 0 4 0 651431752 308379648 11749 33554432000 4194304 4580107 140734603202208 18446744073709551615 237278984686 0 0 4096 2 18446604444976020352 0 0 -1 6 0 0 0
[pid=25985/tid=25989] ppid=25983 vsize=301152 CPUtime=0.05 cores=0,2,4,6
/proc/25985/task/25989/stat : 25989 (strangenight2-m) S 25983 25985 25944 0 -1 4202560 3176 0 0 0 5 0 0 0 17 0 4 0 651431752 308379648 11749 33554432000 4194304 4580107 140734603202208 18446744073709551615 237278984686 0 0 4096 2 18446604444976020352 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 301152

[startup+0.323051 s]
/proc/loadavg: 1.88 3.39 3.69 6/275 25985
/proc/meminfo: memFree=20963520/32950904 swapFree=67057400/67111528
[pid=25985] ppid=25983 vsize=318952 CPUtime=1.07 cores=0,2,4,6
/proc/25985/stat : 25985 (strangenight2-m) R 25983 25985 25944 0 -1 4202496 25877 0 0 0 100 7 0 0 17 0 4 0 651431752 326606848 22866 33554432000 4194304 4580107 140734603202208 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25985/statm: 79738 22866 373 95 0 74720 0
[pid=25985/tid=25986] ppid=25983 vsize=318952 CPUtime=0.28 cores=0,2,4,6
/proc/25985/task/25986/stat : 25986 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 8398 0 0 0 27 1 0 0 18 0 4 0 651431752 326606848 22866 33554432000 4194304 4580107 140734603202208 18446744073709551615 237278937514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25985/tid=25987] ppid=25983 vsize=318952 CPUtime=0.23 cores=0,2,4,6
/proc/25985/task/25987/stat : 25987 (strangenight2-m) D 25983 25985 25944 0 -1 4202560 5724 0 0 0 22 1 0 0 18 0 4 0 651431752 326606848 22866 33554432000 4194304 4580107 140734603202208 18446744073709551615 4421780 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25985/tid=25989] ppid=25983 vsize=318952 CPUtime=0.27 cores=0,2,4,6
/proc/25985/task/25989/stat : 25989 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 3751 0 0 0 26 1 0 0 17 0 4 0 651431752 326606848 22866 33554432000 4194304 4580107 140734603202208 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 318952

[startup+1.36707 s]
/proc/loadavg: 1.88 3.39 3.69 6/275 25985
/proc/meminfo: memFree=20963520/32950904 swapFree=67057400/67111528
[pid=25985] ppid=25983 vsize=316932 CPUtime=5.25 cores=0,2,4,6
/proc/25985/stat : 25985 (strangenight2-m) R 25983 25985 25944 0 -1 4202496 31003 0 0 0 516 9 0 0 19 0 4 0 651431752 324538368 25052 33554432000 4194304 4580107 140734603202208 18446744073709551615 237278984735 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25985/statm: 79233 25052 377 95 0 74215 0
[pid=25985/tid=25986] ppid=25983 vsize=316932 CPUtime=1.33 cores=0,2,4,6
/proc/25985/task/25986/stat : 25986 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 9708 0 0 0 131 2 0 0 19 0 4 0 651431752 324538368 25053 33554432000 4194304 4580107 140734603202208 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25985/tid=25987] ppid=25983 vsize=316932 CPUtime=1.27 cores=0,2,4,6
/proc/25985/task/25987/stat : 25987 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 7669 0 0 0 125 2 0 0 19 0 4 0 651431752 324538368 25053 33554432000 4194304 4580107 140734603202208 18446744073709551615 237278984686 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25985/tid=25989] ppid=25983 vsize=316932 CPUtime=1.31 cores=0,2,4,6
/proc/25985/task/25989/stat : 25989 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 4564 0 0 0 130 1 0 0 19 0 4 0 651431752 324538368 25053 33554432000 4194304 4580107 140734603202208 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.25
Current children cumulated vsize (KiB) 316932

[startup+1.50095 s]
/proc/loadavg: 1.88 3.39 3.69 6/275 25985
/proc/meminfo: memFree=20963520/32950904 swapFree=67057400/67111528
[pid=25985] ppid=25983 vsize=316932 CPUtime=5.78 cores=0,2,4,6
/proc/25985/stat : 25985 (strangenight2-m) R 25983 25985 25944 0 -1 4202496 31376 0 0 0 569 9 0 0 19 0 4 0 651431752 324538368 25425 33554432000 4194304 4580107 140734603202208 18446744073709551615 4293232 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25985/statm: 79233 25425 377 95 0 74215 0
[pid=25985/tid=25986] ppid=25983 vsize=316932 CPUtime=1.46 cores=0,2,4,6
/proc/25985/task/25986/stat : 25986 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 9814 0 0 0 144 2 0 0 19 0 4 0 651431752 324538368 25425 33554432000 4194304 4580107 140734603202208 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25985/tid=25987] ppid=25983 vsize=316932 CPUtime=1.41 cores=0,2,4,6
/proc/25985/task/25987/stat : 25987 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 7756 0 0 0 139 2 0 0 19 0 4 0 651431752 324538368 25425 33554432000 4194304 4580107 140734603202208 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25985/tid=25989] ppid=25983 vsize=316932 CPUtime=1.45 cores=0,2,4,6
/proc/25985/task/25989/stat : 25989 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 4650 0 0 0 144 1 0 0 19 0 4 0 651431752 324538368 25425 33554432000 4194304 4580107 140734603202208 18446744073709551615 4293968 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.78
Current children cumulated vsize (KiB) 316932

[startup+3.10066 s]
/proc/loadavg: 2.37 3.47 3.71 9/279 25990
/proc/meminfo: memFree=20788912/32950904 swapFree=67057400/67111528
[pid=25985] ppid=25983 vsize=449820 CPUtime=12.16 cores=0,2,4,6
/proc/25985/stat : 25985 (strangenight2-m) R 25983 25985 25944 0 -1 4202496 36178 0 0 0 1206 10 0 0 23 0 4 0 651431752 460615680 30227 33554432000 4194304 4580107 140734603202208 18446744073709551615 4293090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25985/statm: 112455 30228 377 95 0 107437 0
[pid=25985/tid=25986] ppid=25983 vsize=449820 CPUtime=3.06 cores=0,2,4,6
/proc/25985/task/25986/stat : 25986 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 11067 0 0 0 303 3 0 0 23 0 4 0 651431752 460615680 30229 33554432000 4194304 4580107 140734603202208 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25985/tid=25987] ppid=25983 vsize=449820 CPUtime=2.99 cores=0,2,4,6
/proc/25985/task/25987/stat : 25987 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 8828 0 0 0 297 2 0 0 23 0 4 0 651431752 460615680 30229 33554432000 4194304 4580107 140734603202208 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25985/tid=25989] ppid=25983 vsize=449820 CPUtime=3.04 cores=0,2,4,6
/proc/25985/task/25989/stat : 25989 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 5948 0 0 0 303 1 0 0 22 0 4 0 651431752 460615680 30229 33554432000 4194304 4580107 140734603202208 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.16
Current children cumulated vsize (KiB) 449820

[startup+6.31009 s]
/proc/loadavg: 2.37 3.47 3.71 9/279 25990
/proc/meminfo: memFree=20686000/32950904 swapFree=67057400/67111528
[pid=25985] ppid=25983 vsize=422916 CPUtime=24.97 cores=0,2,4,6
/proc/25985/stat : 25985 (strangenight2-m) R 25983 25985 25944 0 -1 4202496 45841 0 0 0 2484 13 0 0 25 0 4 0 651431752 433065984 35361 33554432000 4194304 4580107 140734603202208 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25985/statm: 105729 35361 377 95 0 100711 0
[pid=25985/tid=25986] ppid=25983 vsize=422916 CPUtime=6.27 cores=0,2,4,6
/proc/25985/task/25986/stat : 25986 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 13277 0 0 0 624 3 0 0 25 0 4 0 651431752 433065984 35361 33554432000 4194304 4580107 140734603202208 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25985/tid=25987] ppid=25983 vsize=422916 CPUtime=6.17 cores=0,2,4,6
/proc/25985/task/25987/stat : 25987 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 10959 0 0 0 615 2 0 0 25 0 4 0 651431752 433065984 35361 33554432000 4194304 4580107 140734603202208 18446744073709551615 4320818 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25985/tid=25989] ppid=25983 vsize=422916 CPUtime=6.26 cores=0,2,4,6
/proc/25985/task/25989/stat : 25989 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 9092 0 0 0 623 3 0 0 25 0 4 0 651431752 433065984 35361 33554432000 4194304 4580107 140734603202208 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.97
Current children cumulated vsize (KiB) 422916

[startup+12.701 s]
/proc/loadavg: 3.23 3.62 3.76 9/279 25990
/proc/meminfo: memFree=20572012/32950904 swapFree=67057400/67111528
[pid=25985] ppid=25983 vsize=683416 CPUtime=50.49 cores=0,2,4,6
/proc/25985/stat : 25985 (strangenight2-m) R 25983 25985 25944 0 -1 4202496 102237 0 0 0 5022 27 0 0 25 0 4 0 651431752 699817984 76737 33554432000 4194304 4580107 140734603202208 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25985/statm: 170854 76737 379 95 0 165836 0
[pid=25985/tid=25986] ppid=25983 vsize=683416 CPUtime=12.66 cores=0,2,4,6
/proc/25985/task/25986/stat : 25986 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 40140 0 0 0 1256 10 0 0 18 0 4 0 651431752 699817984 76737 33554432000 4194304 4580107 140734603202208 18446744073709551615 237278537990 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25985/tid=25987] ppid=25983 vsize=683416 CPUtime=12.52 cores=0,2,4,6
/proc/25985/task/25987/stat : 25987 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 16238 0 0 0 1248 4 0 0 25 0 4 0 651431752 699817984 76737 33554432000 4194304 4580107 140734603202208 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25985/tid=25989] ppid=25983 vsize=683416 CPUtime=12.65 cores=0,2,4,6
/proc/25985/task/25989/stat : 25989 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 13274 0 0 0 1261 4 0 0 25 0 4 0 651431752 699817984 76737 33554432000 4194304 4580107 140734603202208 18446744073709551615 4318142 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.49
Current children cumulated vsize (KiB) 683416

[startup+25.5007 s]
/proc/loadavg: 3.97 3.76 3.80 9/279 25991
/proc/meminfo: memFree=20404340/32950904 swapFree=67057400/67111528
[pid=25985] ppid=25983 vsize=532824 CPUtime=101.56 cores=0,2,4,6
/proc/25985/stat : 25985 (strangenight2-m) R 25983 25985 25944 0 -1 4202496 158398 0 0 0 10116 40 0 0 25 0 4 0 651431752 545611776 85663 33554432000 4194304 4580107 140734603202208 18446744073709551615 4401345 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25985/statm: 133206 85663 379 95 0 128188 0
[pid=25985/tid=25986] ppid=25983 vsize=532824 CPUtime=25.45 cores=0,2,4,6
/proc/25985/task/25986/stat : 25986 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 51121 0 0 0 2532 13 0 0 25 0 4 0 651431752 545611776 85663 33554432000 4194304 4580107 140734603202208 18446744073709551615 4416292 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25985/tid=25987] ppid=25983 vsize=532824 CPUtime=25.2 cores=0,2,4,6
/proc/25985/task/25987/stat : 25987 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 30932 0 0 0 2514 6 0 0 25 0 4 0 651431752 545611776 85663 33554432000 4194304 4580107 140734603202208 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25985/tid=25989] ppid=25983 vsize=532824 CPUtime=25.45 cores=0,2,4,6
/proc/25985/task/25989/stat : 25989 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 31707 0 0 0 2537 8 0 0 25 0 4 0 651431752 545611776 85663 33554432000 4194304 4580107 140734603202208 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 532824

[startup+51.1011 s]
/proc/loadavg: 5.40 4.12 3.92 9/279 25991
/proc/meminfo: memFree=20179376/32950904 swapFree=67057400/67111528
[pid=25985] ppid=25983 vsize=794480 CPUtime=203.75 cores=0,2,4,6
/proc/25985/stat : 25985 (strangenight2-m) R 25983 25985 25944 0 -1 4202496 235948 0 0 0 20314 61 0 0 25 0 4 0 651431752 813547520 131348 33554432000 4194304 4580107 140734603202208 18446744073709551615 4324208 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25985/statm: 198620 131348 379 95 0 193602 0
[pid=25985/tid=25986] ppid=25983 vsize=794480 CPUtime=51.05 cores=0,2,4,6
/proc/25985/task/25986/stat : 25986 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 64616 0 0 0 5089 16 0 0 25 0 4 0 651431752 813547520 131348 33554432000 4194304 4580107 140734603202208 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25985/tid=25987] ppid=25983 vsize=794480 CPUtime=50.6 cores=0,2,4,6
/proc/25985/task/25987/stat : 25987 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 54854 0 0 0 5047 13 0 0 25 0 4 0 651431752 813547520 131348 33554432000 4194304 4580107 140734603202208 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25985/tid=25989] ppid=25983 vsize=794480 CPUtime=51.05 cores=0,2,4,6
/proc/25985/task/25989/stat : 25989 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 46013 0 0 0 5093 12 0 0 25 0 4 0 651431752 813547520 131348 33554432000 4194304 4580107 140734603202208 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.75
Current children cumulated vsize (KiB) 794480

[startup+102.301 s]
/proc/loadavg: 7.05 4.80 4.16 9/279 25993
/proc/meminfo: memFree=19976248/32950904 swapFree=67057400/67111528
[pid=25985] ppid=25983 vsize=884756 CPUtime=408.12 cores=0,2,4,6
/proc/25985/stat : 25985 (strangenight2-m) R 25983 25985 25944 0 -1 4202496 338271 0 0 0 40723 89 0 0 25 0 4 0 651431752 905990144 164425 33554432000 4194304 4580107 140734603202208 18446744073709551615 4295890 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25985/statm: 221189 164425 379 95 0 216171 0
[pid=25985/tid=25986] ppid=25983 vsize=884756 CPUtime=102.24 cores=0,2,4,6
/proc/25985/task/25986/stat : 25986 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 87334 0 0 0 10201 23 0 0 25 0 4 0 651431752 905990144 164425 33554432000 4194304 4580107 140734603202208 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25985/tid=25987] ppid=25983 vsize=884756 CPUtime=101.37 cores=0,2,4,6
/proc/25985/task/25987/stat : 25987 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 85825 0 0 0 10116 21 0 0 25 0 4 0 651431752 905990144 164425 33554432000 4194304 4580107 140734603202208 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25985/tid=25989] ppid=25983 vsize=884756 CPUtime=102.24 cores=0,2,4,6
/proc/25985/task/25989/stat : 25989 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 66422 0 0 0 10207 17 0 0 25 0 4 0 651431752 905990144 164425 33554432000 4194304 4580107 140734603202208 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.12
Current children cumulated vsize (KiB) 884756

[startup+162.3 s]

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

[pid=25985] ppid=25983 vsize=1150296 CPUtime=2563.56 cores=0,2,4,6
/proc/25985/stat : 25985 (strangenight2-m) R 25983 25985 25944 0 -1 4202496 1357791 0 0 0 255964 392 0 0 25 0 4 0 651431752 1177903104 242872 33554432000 4194304 4580107 140734603202208 18446744073709551615 4301867 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25985/statm: 287574 242872 379 95 0 282556 0
[pid=25985/tid=25986] ppid=25983 vsize=1150296 CPUtime=642.16 cores=0,2,4,6
/proc/25985/task/25986/stat : 25986 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 352166 0 0 0 64120 96 0 0 25 0 4 0 651431752 1177903104 242872 33554432000 4194304 4580107 140734603202208 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25985/tid=25987] ppid=25983 vsize=1150296 CPUtime=636.94 cores=0,2,4,6
/proc/25985/task/25987/stat : 25987 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 347482 0 0 0 63595 99 0 0 25 0 4 0 651431752 1177903104 242872 33554432000 4194304 4580107 140734603202208 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25985/tid=25989] ppid=25983 vsize=1150296 CPUtime=642.23 cores=0,2,4,6
/proc/25985/task/25989/stat : 25989 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 319846 0 0 0 64129 94 0 0 25 0 4 0 651431752 1177903104 242872 33554432000 4194304 4580107 140734603202208 18446744073709551615 4324217 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2563.56
Current children cumulated vsize (KiB) 1150296

[startup+702.3 s]
/proc/loadavg: 8.16 7.68 6.03 9/279 26009
/proc/meminfo: memFree=19252820/32950904 swapFree=67057400/67111528
[pid=25985] ppid=25983 vsize=1329772 CPUtime=2803.05 cores=0,2,4,6
/proc/25985/stat : 25985 (strangenight2-m) R 25983 25985 25944 0 -1 4202496 1460358 0 0 0 279881 424 0 0 25 0 4 0 651431752 1361686528 259839 33554432000 4194304 4580107 140734603202208 18446744073709551615 4321023 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25985/statm: 332443 259840 379 95 0 327425 0
[pid=25985/tid=25986] ppid=25983 vsize=1329772 CPUtime=702.14 cores=0,2,4,6
/proc/25985/task/25986/stat : 25986 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 377010 0 0 0 70111 103 0 0 25 0 4 0 651431752 1361686528 259840 33554432000 4194304 4580107 140734603202208 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25985/tid=25987] ppid=25983 vsize=1329772 CPUtime=696.45 cores=0,2,4,6
/proc/25985/task/25987/stat : 25987 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 375363 0 0 0 69538 107 0 0 25 0 4 0 651431752 1361686528 259840 33554432000 4194304 4580107 140734603202208 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25985/tid=25989] ppid=25983 vsize=1329772 CPUtime=702.22 cores=0,2,4,6
/proc/25985/task/25989/stat : 25989 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 344482 0 0 0 70120 102 0 0 25 0 4 0 651431752 1361686528 259840 33554432000 4194304 4580107 140734603202208 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2803.05
Current children cumulated vsize (KiB) 1329772

[startup+762.301 s]
/proc/loadavg: 8.18 7.76 6.16 9/279 26010
/proc/meminfo: memFree=19168464/32950904 swapFree=67057400/67111528
[pid=25985] ppid=25983 vsize=1372568 CPUtime=3042.54 cores=0,2,4,6
/proc/25985/stat : 25985 (strangenight2-m) R 25983 25985 25944 0 -1 4202496 1551286 0 0 0 303800 454 0 0 25 0 4 0 651431752 1405509632 268782 33554432000 4194304 4580107 140734603202208 18446744073709551615 4293131 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25985/statm: 343142 268782 379 95 0 338124 0
[pid=25985/tid=25986] ppid=25983 vsize=1372568 CPUtime=762.13 cores=0,2,4,6
/proc/25985/task/25986/stat : 25986 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 400821 0 0 0 76104 109 0 0 25 0 4 0 651431752 1405509632 268782 33554432000 4194304 4580107 140734603202208 18446744073709551615 4451559 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25985/tid=25987] ppid=25983 vsize=1372568 CPUtime=755.95 cores=0,2,4,6
/proc/25985/task/25987/stat : 25987 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 399648 0 0 0 75479 116 0 0 25 0 4 0 651431752 1405509632 268782 33554432000 4194304 4580107 140734603202208 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25985/tid=25989] ppid=25983 vsize=1372568 CPUtime=762.23 cores=0,2,4,6
/proc/25985/task/25989/stat : 25989 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 367407 0 0 0 76112 111 0 0 25 0 4 0 651431752 1405509632 268782 33554432000 4194304 4580107 140734603202208 18446744073709551615 4317242 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3042.54
Current children cumulated vsize (KiB) 1372568

[startup+822.301 s]
/proc/loadavg: 8.06 7.80 6.27 9/279 26012
/proc/meminfo: memFree=19174016/32950904 swapFree=67057400/67111528
[pid=25985] ppid=25983 vsize=1234548 CPUtime=3282.03 cores=0,2,4,6
/proc/25985/stat : 25985 (strangenight2-m) R 25983 25985 25944 0 -1 4202496 1650397 0 0 0 327717 486 0 0 25 0 4 0 651431752 1264177152 258040 33554432000 4194304 4580107 140734603202208 18446744073709551615 4293700 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25985/statm: 308637 258040 379 95 0 303619 0
[pid=25985/tid=25986] ppid=25983 vsize=1234548 CPUtime=822.12 cores=0,2,4,6
/proc/25985/task/25986/stat : 25986 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 423984 0 0 0 82095 117 0 0 25 0 4 0 651431752 1264177152 258040 33554432000 4194304 4580107 140734603202208 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25985/tid=25987] ppid=25983 vsize=1234548 CPUtime=815.46 cores=0,2,4,6
/proc/25985/task/25987/stat : 25987 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 427093 0 0 0 81422 124 0 0 25 0 4 0 651431752 1264177152 258040 33554432000 4194304 4580107 140734603202208 18446744073709551615 4293700 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25985/tid=25989] ppid=25983 vsize=1234548 CPUtime=822.22 cores=0,2,4,6
/proc/25985/task/25989/stat : 25989 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 394908 0 0 0 82103 119 0 0 25 0 4 0 651431752 1264177152 258040 33554432000 4194304 4580107 140734603202208 18446744073709551615 4320772 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3282.03
Current children cumulated vsize (KiB) 1234548

[startup+882.3 s]
/proc/loadavg: 8.12 7.87 6.39 9/279 26014
/proc/meminfo: memFree=18994324/32950904 swapFree=67057400/67111528
[pid=25985] ppid=25983 vsize=1400340 CPUtime=3521.53 cores=0,2,4,6
/proc/25985/stat : 25985 (strangenight2-m) R 25983 25985 25944 0 -1 4202496 1758187 0 0 0 351631 522 0 0 25 0 4 0 651431752 1433948160 300157 33554432000 4194304 4580107 140734603202208 18446744073709551615 4293073 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25985/statm: 350085 300157 379 95 0 345067 0
[pid=25985/tid=25986] ppid=25983 vsize=1400340 CPUtime=882.11 cores=0,2,4,6
/proc/25985/task/25986/stat : 25986 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 445786 0 0 0 88086 125 0 0 25 0 4 0 651431752 1433948160 300157 33554432000 4194304 4580107 140734603202208 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25985/tid=25987] ppid=25983 vsize=1400340 CPUtime=874.96 cores=0,2,4,6
/proc/25985/task/25987/stat : 25987 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 465014 0 0 0 87363 133 0 0 25 0 4 0 651431752 1433948160 300157 33554432000 4194304 4580107 140734603202208 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25985/tid=25989] ppid=25983 vsize=1400340 CPUtime=882.22 cores=0,2,4,6
/proc/25985/task/25989/stat : 25989 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 417140 0 0 0 88093 129 0 0 25 0 4 0 651431752 1433948160 300157 33554432000 4194304 4580107 140734603202208 18446744073709551615 4294479 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3521.53
Current children cumulated vsize (KiB) 1400340

[startup+942.301 s]
/proc/loadavg: 8.16 7.92 6.50 9/279 26015
/proc/meminfo: memFree=19055440/32950904 swapFree=67057400/67111528
[pid=25985] ppid=25983 vsize=1429824 CPUtime=3761.06 cores=0,2,4,6
/proc/25985/stat : 25985 (strangenight2-m) R 25983 25985 25944 0 -1 4202496 1850877 0 0 0 375553 553 0 0 25 0 4 0 651431752 1464139776 296022 33554432000 4194304 4580107 140734603202208 18446744073709551615 4292947 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25985/statm: 357456 296022 379 95 0 352438 0
[pid=25985/tid=25986] ppid=25983 vsize=1429824 CPUtime=942.12 cores=0,2,4,6
/proc/25985/task/25986/stat : 25986 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 466752 0 0 0 94081 131 0 0 25 0 4 0 651431752 1464139776 296022 33554432000 4194304 4580107 140734603202208 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25985/tid=25987] ppid=25983 vsize=1429824 CPUtime=934.47 cores=0,2,4,6
/proc/25985/task/25987/stat : 25987 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 488648 0 0 0 93306 141 0 0 25 0 4 0 651431752 1464139776 296022 33554432000 4194304 4580107 140734603202208 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25985/tid=25989] ppid=25983 vsize=1429824 CPUtime=942.23 cores=0,2,4,6
/proc/25985/task/25989/stat : 25989 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 441030 0 0 0 94086 137 0 0 25 0 4 0 651431752 1464139776 296022 33554432000 4194304 4580107 140734603202208 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3761.06
Current children cumulated vsize (KiB) 1429824

[startup+1002.3 s]
/proc/loadavg: 8.19 7.96 6.60 9/279 26017
/proc/meminfo: memFree=18917900/32950904 swapFree=67057400/67111528
[pid=25985] ppid=25983 vsize=1445392 CPUtime=4000.52 cores=0,2,4,6
/proc/25985/stat : 25985 (strangenight2-m) R 25983 25985 25944 0 -1 4202496 1944820 0 0 0 399465 587 0 0 25 0 4 0 651431752 1480081408 285296 33554432000 4194304 4580107 140734603202208 18446744073709551615 4293911 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25985/statm: 361348 285296 379 95 0 356330 0
[pid=25985/tid=25986] ppid=25983 vsize=1445392 CPUtime=1002.1 cores=0,2,4,6
/proc/25985/task/25986/stat : 25986 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 490458 0 0 0 100071 139 0 0 25 0 4 0 651431752 1480081408 285296 33554432000 4194304 4580107 140734603202208 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25985/tid=25987] ppid=25983 vsize=1445392 CPUtime=993.98 cores=0,2,4,6
/proc/25985/task/25987/stat : 25987 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 511842 0 0 0 99248 150 0 0 25 0 4 0 651431752 1480081408 285296 33554432000 4194304 4580107 140734603202208 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25985/tid=25989] ppid=25983 vsize=1445392 CPUtime=1002.21 cores=0,2,4,6
/proc/25985/task/25989/stat : 25989 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 464443 0 0 0 100075 146 0 0 25 0 4 0 651431752 1480081408 285296 33554432000 4194304 4580107 140734603202208 18446744073709551615 4321646 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4000.52
Current children cumulated vsize (KiB) 1445392

[startup+1062.31 s]
/proc/loadavg: 8.19 8.00 6.69 9/279 26018
/proc/meminfo: memFree=18462680/32950904 swapFree=67057400/67111528
[pid=25985] ppid=25983 vsize=1720100 CPUtime=4240.05 cores=0,2,4,6
/proc/25985/stat : 25985 (strangenight2-m) R 25983 25985 25944 0 -1 4202496 2097644 0 0 0 423374 631 0 0 25 0 4 0 651431752 1761382400 385951 33554432000 4194304 4580107 140734603202208 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25985/statm: 430025 385951 379 95 0 425007 0
[pid=25985/tid=25986] ppid=25983 vsize=1720100 CPUtime=1062.1 cores=0,2,4,6
/proc/25985/task/25986/stat : 25986 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 542462 0 0 0 106059 151 0 0 25 0 4 0 651431752 1761382400 385951 33554432000 4194304 4580107 140734603202208 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25985/tid=25987] ppid=25983 vsize=1720100 CPUtime=1053.48 cores=0,2,4,6
/proc/25985/task/25987/stat : 25987 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 535945 0 0 0 105188 160 0 0 25 0 4 0 651431752 1761382400 385951 33554432000 4194304 4580107 140734603202208 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25985/tid=25989] ppid=25983 vsize=1720100 CPUtime=1062.23 cores=0,2,4,6
/proc/25985/task/25989/stat : 25989 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 509262 0 0 0 106065 158 0 0 25 0 4 0 651431752 1761382400 385951 33554432000 4194304 4580107 140734603202208 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4240.05
Current children cumulated vsize (KiB) 1720100

[startup+1122.3 s]
/proc/loadavg: 8.12 8.01 6.78 9/279 26020
/proc/meminfo: memFree=18480640/32950904 swapFree=67057400/67111528
[pid=25985] ppid=25983 vsize=1707260 CPUtime=4479.5 cores=0,2,4,6
/proc/25985/stat : 25985 (strangenight2-m) R 25983 25985 25944 0 -1 4202496 2200855 0 0 0 447283 667 0 0 25 0 4 0 651431752 1748234240 361186 33554432000 4194304 4580107 140734603202208 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25985/statm: 426815 361186 379 95 0 421797 0
[pid=25985/tid=25986] ppid=25983 vsize=1707260 CPUtime=1122.08 cores=0,2,4,6
/proc/25985/task/25986/stat : 25986 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 569296 0 0 0 112049 159 0 0 25 0 4 0 651431752 1748234240 361186 33554432000 4194304 4580107 140734603202208 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25985/tid=25987] ppid=25983 vsize=1707260 CPUtime=1112.99 cores=0,2,4,6
/proc/25985/task/25987/stat : 25987 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 558358 0 0 0 111130 169 0 0 25 0 4 0 651431752 1748234240 361186 33554432000 4194304 4580107 140734603202208 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25985/tid=25989] ppid=25983 vsize=1707260 CPUtime=1122.21 cores=0,2,4,6
/proc/25985/task/25989/stat : 25989 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 536228 0 0 0 112052 169 0 0 25 0 4 0 651431752 1748234240 361186 33554432000 4194304 4580107 140734603202208 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4479.5
Current children cumulated vsize (KiB) 1707260

[startup+1182.3 s]
/proc/loadavg: 8.08 8.02 6.86 9/279 26022
/proc/meminfo: memFree=18579052/32950904 swapFree=67057400/67111528
[pid=25985] ppid=25983 vsize=1550288 CPUtime=4718.98 cores=0,2,4,6
/proc/25985/stat : 25985 (strangenight2-m) R 25983 25985 25944 0 -1 4202496 2299403 0 0 0 471198 700 0 0 25 0 4 0 651431752 1587494912 352332 33554432000 4194304 4580107 140734603202208 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25985/statm: 387572 352332 379 95 0 382554 0
[pid=25985/tid=25986] ppid=25983 vsize=1550288 CPUtime=1182.08 cores=0,2,4,6
/proc/25985/task/25986/stat : 25986 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 595091 0 0 0 118040 168 0 0 25 0 4 0 651431752 1587494912 352332 33554432000 4194304 4580107 140734603202208 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25985/tid=25987] ppid=25983 vsize=1550288 CPUtime=1172.49 cores=0,2,4,6
/proc/25985/task/25987/stat : 25987 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 582759 0 0 0 117071 178 0 0 25 0 4 0 651431752 1587494912 352332 33554432000 4194304 4580107 140734603202208 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25985/tid=25989] ppid=25983 vsize=1550288 CPUtime=1182.21 cores=0,2,4,6
/proc/25985/task/25989/stat : 25989 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 562033 0 0 0 118044 177 0 0 25 0 4 0 651431752 1587494912 352333 33554432000 4194304 4580107 140734603202208 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4718.98
Current children cumulated vsize (KiB) 1550288



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.6 s]
/proc/loadavg: 8.14 8.04 6.89 6/278 26023
/proc/meminfo: memFree=18863888/32950904 swapFree=67057400/67111528
[pid=25985] ppid=25983 vsize=1723196 CPUtime=4800.04 cores=0,2,4,6
/proc/25985/stat : 25985 (strangenight2-m) R 25983 25985 25944 0 -1 4202496 2334592 0 0 0 479293 711 0 0 25 0 4 0 651431752 1764552704 370645 33554432000 4194304 4580107 140734603202208 18446744073709551615 4294627 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25985/statm: 430799 370645 379 95 0 425781 0
[pid=25985/tid=25986] ppid=25983 vsize=1723196 CPUtime=1202.38 cores=0,2,4,6
/proc/25985/task/25986/stat : 25986 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 603572 0 0 0 120067 171 0 0 25 0 4 0 651431752 1764552704 370647 33554432000 4194304 4580107 140734603202208 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25985/tid=25987] ppid=25983 vsize=1723196 CPUtime=1192.63 cores=0,2,4,6
/proc/25985/task/25987/stat : 25987 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 592645 0 0 0 119082 181 0 0 25 0 4 0 651431752 1764552704 370647 33554432000 4194304 4580107 140734603202208 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25985/tid=25989] ppid=25983 vsize=1723196 CPUtime=1202.53 cores=0,2,4,6
/proc/25985/task/25989/stat : 25989 (strangenight2-m) R 25983 25985 25944 0 -1 4202560 570488 0 0 0 120073 180 0 0 25 0 4 0 651431752 1764552704 370647 33554432000 4194304 4580107 140734603202208 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.04
Current children cumulated vsize (KiB) 1723196

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.68
CPU time (s): 4800.15
CPU user time (s): 4792.96
CPU system time (s): 7.18491
CPU usage (%): 399.12
Max. virtual memory (cumulated for all children) (KiB): 1723196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.96
system time used= 7.18491
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2334602
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= 8379
involuntary context switches= 21528

runsolver used 2.81957 second user time and 7.05893 second system time

The end

Launcher Data 

Begin job on node121 at 2011-05-14 20:38:40
IDJOB=3366190
IDBENCH=82599
IDSOLVER=1844
FILE ID=node121/3366190-1305398320
RUNJOBID= node121-1305398320-25962
PBS_JOBID= 13324487
Free space on /tmp= 73424 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
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-3366190-1305398320/watcher-3366190-1305398320 -o /tmp/evaluation-result-3366190-1305398320/solver-3366190-1305398320 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366190-1305398320.cnf

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

MD5SUM BENCH= d09435f2d651fd373230433133c15edb
RANDOM SEED=797447690

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
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:     32950904 kB
MemFree:      20963816 kB
Buffers:        298512 kB
Cached:        5964376 kB
SwapCached:       7656 kB
Active:        6419468 kB
Inactive:      5213332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      20963816 kB
SwapTotal:    67111528 kB
SwapFree:     67057400 kB
Dirty:           12904 kB
Writeback:           8 kB
AnonPages:     5368312 kB
Mapped:          21760 kB
Slab:           265616 kB
PageTables:      24596 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS: 30697108 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= 73420 MiB
End job on node121 at 2011-05-14 20:58:45