Trace number 3366131

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.2 1203.68

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v20000-c84000-S1778371838-017-UNKNOWN.cnf
MD5SUMfdeac497d04edcceaf426c845c7872aa
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark43.8933
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366131-1305396180.cnf'
0.00/0.01	c -- header says num vars:          20000
0.00/0.01	c -- header says num clauses:       84000
0.13/0.07	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.13/0.07	c -- vars added      20000
0.13/0.07	c Parsing time:  0.05 s
0.13/0.07	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data
0.36/0.14	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.07
0.36/0.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
0.75/0.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.75/0.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.75/0.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.75/0.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20000 time:  0.01 s
0.75/0.24	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.01 s
1.55/0.42	c lits-rem:         0  cl-subs:        0  v-elim:    480  v-fix:    0  time:  0.13 s
1.55/0.42	c Finding binary XORs  T:     0.00 s  found:       0
1.55/0.42	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
1.55/0.42	c calculated reachability. Time: 0.00
1.55/0.42	c Calc default polars -  time:   0.01 s pos:    8793 undec:    2239 neg:    8968
1.55/0.42	c =========================================================================================
1.55/0.42	c types(t): F = full restart, N = normal restart
1.55/0.42	c types(t): S = simplification begin/end, E = solution found
1.55/0.42	c restart types(rt): st = static, dy = dynamic
1.55/0.42	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.55/0.42	c  B st     0         0     19520     83458         0         0    253334         0   no data   no data
5.94/1.57	c  N dy    21      4005     19520     83458         0      4005    253334   1018075    127.99    135.39
10.72/2.73	c  N dy    51      8103     19520     83458         0      8103    253334   1843047    129.03    136.36
15.51/3.92	c  N dy    78     12137     19520     83458         0     12137    253334   2659133    128.87    138.13
20.30/5.18	c  N dy   107     16204     19520     83458         0     16204    253334   3503318    129.29    144.29
25.48/6.49	c  N dy   131     20411     19520     83458         0     10412    253334    633011    129.30    136.45
30.30/7.69	c  N dy   153     24445     19520     83458         0     14446    253334   1481852    129.07    140.46
31.06/7.87	c  F st   158     25000     19520     83458         0     15001    253334   1592758    129.07   no data
37.85/9.50	c  N dy   164     30000     19520     83458         0     20001    253334   2919734    129.07   no data
37.85/9.50	c  S st   164     30000     19520     83458         0     20001    253334   2919734    129.07   no data
38.25/9.66	c  S st   164     30502     19520     83458         0     20503    253334   2997984    129.07   no data
38.25/9.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
38.65/9.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.05
38.65/9.75	c blocked clauses removed:      425 vars:     68 tried:       19520 T: 0.01 s
38.65/9.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
38.65/9.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
38.65/9.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19452 time:  0.01 s
38.65/9.77	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
39.07/9.85	c lits-rem:         0  cl-subs:        0  v-elim:     11  v-fix:    0  time:  0.08 s
40.24/10.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.04/10.88	c lits-rem:         7  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.75 s
43.46/10.98	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.10
43.46/10.98	c calculated reachability. Time: 0.00
43.46/10.98	c  N dy   164     30502     19441     83024         0     20241    252106   2909851    129.07   no data
49.41/12.40	c  N dy   195     34600     19441     83024         0     24339    252106   3758614    129.61    137.12
55.00/13.82	c  N dy   221     38637     19441     83024         0     28376    252106   4574458    129.33    138.00
60.18/15.19	c  N dy   243     42710     19441     83024         0     17082    252106   1011446    128.55    135.80
64.17/16.17	c  S st   262     45754     19441     83024         0     20126    252106   1642386    128.78    110.14
64.97/16.34	c  S st   262     46255     19441     83024         0     20627    252106   1718783    128.78   no data
64.97/16.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
64.97/16.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.06
65.40/16.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
65.40/16.43	c bin-w-bin subsume rem            0 bins  time:  0.01 s
65.40/16.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
65.40/16.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19441 time:  0.01 s
65.40/16.46	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
65.81/16.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
66.15/16.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
66.96/16.86	c lits-rem:         5  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.22 s
66.96/16.87	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
67.36/16.90	c vivif2 --  cl tried    20624 cl shrink        0 lits rem          0 time: 0.03
67.76/17.00	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.10
67.76/17.00	c calculated reachability. Time: 0.00
67.76/17.00	c  N dy   262     46255     19441     83024         0     20624    252106   1716770    128.78   no data
72.94/18.30	c  N dy   285     50302     19441     83024         0     24671    252106   2523047    128.41    137.21
78.13/19.70	c  N dy   317     54343     19441     83024         0     28712    252106   3395939    129.24    143.96
84.11/21.12	c  N dy   344     58432     19441     83024         0     32800    252106   4231526    129.09    137.44
89.70/22.55	c  N dy   375     62437     19441     83024         0     36805    252106   5064347    129.30    142.55
95.28/23.91	c  N dy   401     66532     19441     83024         0     22215    252106   1368461    129.33    136.59
98.87/24.86	c  S st   419     69383     19441     83024         0     25066    252106   1941060    129.25   no data
99.67/25.03	c  S st   419     69891     19441     83024         0     25574    252106   2007120    129.25   no data
99.67/25.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
100.07/25.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.05
100.07/25.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
100.07/25.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
100.07/25.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
100.07/25.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19441 time:  0.01 s
100.07/25.14	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
100.50/25.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
100.91/25.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
102.06/25.67	c lits-rem:         4  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.33 s
102.06/25.68	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
102.46/25.71	c vivif2 --  cl tried    25572 cl shrink        0 lits rem          0 time: 0.03
102.86/25.82	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.11
102.86/25.82	c calculated reachability. Time: 0.00
102.86/25.82	c  N dy   419     69891     19441     83024         0     25572    252106   2007035    129.25   no data
108.85/27.36	c  N dy   452     74426     19441     83024         0     30107    252106   2929127    129.37    137.65
115.63/29.09	c  N dy   485     79235     19441     83024         0     34916    252106   3912554    129.53    138.21
122.85/30.87	c  N dy   516     84303     19441     83024         0     39982    252106   4943050    129.48    136.85
127.59/32.03	c  F st   541     87500     19441     83024         0     22337    252106    924024    129.69   no data
132.38/33.22	c  N st   546     90799     19441     83024         0     25636    252106   1820714    129.69   no data
140.40/35.23	c  N dy   576     96595     19441     83024         0     31432    252106   3161227    129.94    144.04
149.53/37.52	c  N dy   619    102882     19441     83024         0     37719    252106   4475166    130.01    137.09
152.33/38.24	c  S st   632    104836     19441     83024         0     39673    252106   4881222    130.03    123.05
153.15/38.44	c  S st   632    105341     19441     83024         0     40178    252106   4965181    130.03   no data
153.15/38.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
153.57/38.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.07
153.57/38.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
153.57/38.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
153.57/38.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
153.57/38.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19441 time:  0.01 s
153.57/38.57	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
153.92/38.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
155.12/38.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
161.09/40.48	c lits-rem:        13  cl-subs:        1  v-elim:      0  v-fix:    0  time:  1.51 s
161.09/40.49	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
161.49/40.56	c vivif2 --  cl tried    40177 cl shrink        0 lits rem          0 time: 0.08
161.91/40.69	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.13
161.91/40.70	c calculated reachability. Time: 0.00
161.91/40.70	c  N dy   632    105341     19441     83024         0     40177    252106   4964816    130.03   no data
172.26/43.27	c  N dy   677    112105     19441     83024         0     24524    252106   1019067    130.19    138.80
182.63/45.82	c  N dy   726    119338     19441     83024         0     31757    252106   2524886    130.29    140.30
193.80/48.62	c  N dy   775    127050     19441     83024         0     39469    252106   4113870    130.19    137.36
205.80/51.69	c  N dy   832    135232     19441     83024         0     23938    252106    593850    130.32    138.31
218.14/54.73	c  N dy   898    143937     19441     83024         0     32643    252106   2443592    130.67    193.53
231.31/58.05	c  N dy   952    153137     19441     83024         0     41843    252106   4306075    130.49    138.24
238.48/59.89	c  S st   988    158012     19441     83024         0     46716    252106   5336499    130.60   no data
239.68/60.10	c  S st   988    158515     19441     83024         0     47219    252106   5422459    130.60   no data
239.68/60.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
239.68/60.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.07
240.08/60.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
240.08/60.21	c bin-w-bin subsume rem            0 bins  time:  0.01 s
240.08/60.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
240.08/60.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19441 time:  0.01 s
240.08/60.23	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
240.48/60.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
241.66/60.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
250.10/62.72	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time:  2.08 s
250.10/62.73	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
250.45/62.82	c vivif2 --  cl tried    47217 cl shrink        0 lits rem          0 time: 0.08
250.85/62.96	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.14
250.85/62.96	c calculated reachability. Time: 0.00
250.85/62.96	c  N dy   988    158515     19441     83024         0     47217    252106   5422215    130.60   no data
265.21/66.58	c  N dy  1056    168661     19441     83024         0     32507    252106   2128114    130.61    139.59
281.16/70.55	c  N dy  1128    179464     19441     83024         0     43309    252106   4369072    130.55    146.14
298.71/74.94	c  N dy  1200    191017     19441     83024         0     28936    252106   1143263    130.49    141.10
316.26/79.38	c  N dy  1284    203292     19441     83024         0     41210    252106   3691946    130.57    142.60
336.48/84.49	c  N dy  1373    216530     19441     83024         0     27489    252106    582830    130.53    137.50
356.27/89.49	c  N dy  1461    230359     19441     83024         0     41317    252106   3489103    130.56    141.31
367.32/92.27	c  S st  1509    237773     19441     83024         0     48729    252106   5002726    130.61    122.98
368.14/92.48	c  S st  1509    238281     19441     83024         0     49237    252106   5071791    130.61   no data
368.49/92.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
368.49/92.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.07
368.88/92.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
368.88/92.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
368.88/92.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
368.88/92.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19441 time:  0.01 s
368.88/92.62	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
369.27/92.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
370.06/92.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
378.74/95.16	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.06 s
378.74/95.17	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
379.13/95.26	c vivif2 --  cl tried    49232 cl shrink        0 lits rem          0 time: 0.08
379.93/95.41	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.14
379.93/95.42	c calculated reachability. Time: 0.00
379.93/95.42	c  N dy  1509    238281     19441     83024         0     49232    252106   5070429    130.61   no data
402.87/101.27	c  N dy  1612    253497     19441     83024         0     36466    252106   2248035    130.71    148.14
427.15/107.38	c  N dy  1716    269710     19441     83024         0     52679    252106   5603529    130.75    194.39
454.28/114.18	c  N dy  1833    287457     19441     83024         0     41434    252106   2999372    130.65    140.67
483.40/121.44	c  N dy  1971    305865     19441     83024         0     59841    252106   6808629    130.85    138.31
484.19/121.62	c  F st  1974    306251     19441     83024         0     30238    252106    502389    130.85    119.41
513.31/128.93	c  N dy  2079    325458     19441     83024         0     49444    252106   4920182    130.92    143.15
544.42/136.78	c  N dy  2216    345475     19441     83024         0     38462    252106   1988218    131.03    138.32
563.17/141.40	c  S st  2307    357422     19441     83024         0     50409    252106   4542059    131.15   no data
563.97/141.60	c  S st  2307    357923     19441     83024         0     50910    252106   4606176    131.15   no data
563.97/141.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
563.97/141.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.07
564.37/141.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
564.37/141.72	c bin-w-bin subsume rem            0 bins  time:  0.01 s
564.37/141.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
564.37/141.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19441 time:  0.01 s
564.37/141.74	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
564.79/141.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
565.55/142.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
577.53/145.10	c lits-rem:         7  cl-subs:        5  v-elim:      0  v-fix:    0  time:  3.03 s
577.95/145.11	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
577.95/145.18	c vivif2 --  cl tried    50905 cl shrink        0 lits rem          0 time: 0.07
578.72/145.33	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.15
578.72/145.34	c calculated reachability. Time: 0.00
578.72/145.34	c  N dy  2307    357923     19441     83024         0     50905    252106   4604064    131.15   no data
610.63/153.39	c  N dy  2449    378026     19441     83024         0     39008    252106   1903407    131.26    140.68
642.55/161.36	c  N dy  2584    398124     19441     83024         0     59106    252106   6092284    131.25    145.04
673.67/169.11	c  N dy  2708    418156     19441     83024         0     46135    252106   3151250    131.18    180.90
705.96/177.29	c  N dy  2855    438243     19441     83024         0     66220    252106   7342223    131.32    139.18
737.07/185.03	c  N dy  2995    458334     19441     83024         0     52311    252106   4167822    131.31    138.38
770.20/193.31	c  N dy  3130    478439     19441     83024         0     37418    252106    922733    131.33    138.36
801.30/201.17	c  N dy  3269    498463     19441     83024         0     57441    252106   5209464    131.44    150.37
834.02/209.35	c  N dy  3393    518473     19441     83024         0     41457    252106   1612022    131.47    139.22
863.17/216.70	c  S st  3520    536884     19441     83024         0     59865    252106   5470263    131.55    126.41
864.33/216.92	c  S st  3520    537387     19441     83024         0     60368    252106   5536618    131.55   no data
864.33/216.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
864.73/217.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.08
864.73/217.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
864.73/217.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
864.73/217.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
864.73/217.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19441 time:  0.01 s
864.73/217.07	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
865.13/217.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
866.32/217.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
877.89/220.33	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.88 s
877.89/220.34	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
878.29/220.43	c vivif2 --  cl tried    60364 cl shrink        0 lits rem          0 time: 0.09
878.69/220.59	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.16
878.69/220.60	c calculated reachability. Time: 0.00
878.69/220.60	c  N dy  3520    537387     19441     83024         0     60364    252106   5535306    131.55   no data
912.19/228.97	c  N dy  3650    557449     19441     83024         0     43424    252106   1753841    131.55    143.53
944.50/237.04	c  N dy  3786    577491     19441     83024         0     63462    252106   6018314    131.59    139.97
977.66/245.38	c  N dy  3924    597538     19441     83024         0     45515    252106   2012956    131.59    139.01
1009.92/253.43	c  N dy  4054    617602     19441     83024         0     65578    252106   6161075    131.57    140.59
1043.83/261.90	c  N dy  4185    637709     19441     83024         0     46688    252106   2031501    131.56    147.53
1075.73/269.97	c  N dy  4312    657743     19441     83024         0     66722    252106   6124026    131.51    138.86
1110.44/278.63	c  N dy  4442    678060     19441     83024         0     47042    252106   1926585    131.52    138.74
1143.98/287.10	c  N dy  4579    698105     19441     83024         0     67085    252106   6104324    131.54    140.42
1179.08/295.83	c  N dy  4708    718202     19441     83024         0     46183    252106   1530571    131.56    145.05
1211.76/304.00	c  N dy  4841    738286     19441     83024         0     66265    252106   5629209    131.51    140.87
1246.85/312.82	c  N dy  4972    758337     19441     83024         0     44327    252106    963932    131.49    144.07
1279.17/320.97	c  N dy  5102    778539     19441     83024         0     64528    252106   5152644    131.49    139.27
1315.10/329.92	c  N dy  5240    798574     19441     83024         0     84562    252106   9322908    131.52    139.05
1327.04/332.99	c  S st  5291    806082     19441     83024         0     49068    252106   1728101    131.52   no data
1327.83/333.20	c  S st  5291    806584     19441     83024         0     49570    252106   1800338    131.52   no data
1328.26/333.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1328.26/333.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.07
1328.67/333.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1328.67/333.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1328.67/333.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1328.67/333.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19441 time:  0.01 s
1328.67/333.34	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
1329.02/333.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
1329.42/333.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1331.83/334.17	c lits-rem:         4  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.65 s
1331.83/334.18	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
1332.23/334.21	c vivif2 --  cl tried    49569 cl shrink        0 lits rem          0 time: 0.03
1332.66/334.35	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.14
1332.66/334.36	c calculated reachability. Time: 0.00
1332.66/334.36	c  N dy  5291    806584     19441     83024         0     49569    252106   1799476    131.52   no data
1366.13/342.72	c  N dy  5423    826601     19441     83024         0     69585    252106   5973506    131.56    142.14
1402.44/351.80	c  N dy  5553    846658     19441     83024         0     45638    252106    799491    131.57    139.14
1435.53/360.10	c  N dy  5687    866727     19441     83024         0     65707    252106   5041724    131.62    140.83
1471.44/369.10	c  N dy  5822    886800     19441     83024         0     85778    252106   9268349    131.64    138.69
1504.53/377.40	c  N dy  5952    906861     19441     83024         0     60844    252106   3757232    131.66    141.71
1540.44/386.45	c  N dy  6091    927205     19441     83024         0     81186    252106   7990165    131.66    144.32
1575.54/395.26	c  N dy  6230    947231     19441     83024         0     55214    252106   2370250    131.69    139.79
1610.24/403.95	c  N dy  6370    967246     19441     83024         0     75225    252106   6586772    131.73    140.34
1647.35/413.24	c  N dy  6505    987298     19441     83024         0     48278    252106    757652    131.72    189.20
1681.25/421.72	c  N dy  6649   1007420     19441     83024         0     68397    252106   5078289    131.79    147.44
1717.95/430.91	c  N dy  6787   1027485     19441     83024         0     88461    252106   9266001    131.80    140.18
1752.65/439.64	c  N dy  6921   1047616     19441     83024         0     60594    252106   3065721    131.79    139.21
1788.14/448.54	c  N dy  7047   1067841     19441     83024         0     80818    252106   7265798    131.77    139.59
1795.73/450.42	c  F st  7072   1071875     19441     83024         0     84852    252106   8129567    131.78   no data
1825.64/457.90	c  N dy  7154   1087985     19441     83024         0     51971    252106   1125157    131.80    142.58
1859.18/466.37	c  N dy  7294   1107991     19441     83024         0     71974    252106   5336755    131.86    139.68
1896.64/475.71	c  N dy  7425   1128008     19441     83024         0     91991    252106   9510778    131.84    139.06
1932.54/484.79	c  N dy  7567   1148264     19441     83024         0     62245    252106   3061308    131.89    140.84
1968.86/493.82	c  N dy  7707   1168310     19441     83024         0     82289    252106   7279945    131.92    139.47
2008.35/503.75	c  N dy  7853   1188656     19441     83024         0     51634    252106    622041    131.97    139.47
2043.45/512.55	c  N dy  7992   1208745     19441     83024         0     71723    252106   4828173    131.99    142.22
2045.43/513.07	c  S st  8001   1209876     19441     83024         0     72854    252106   5075794    132.00   no data
2046.63/513.32	c  S st  8001   1210382     19441     83024         0     73360    252106   5156372    132.00   no data
2046.63/513.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2047.02/513.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.09
2047.02/513.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2047.02/513.46	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2047.02/513.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2047.02/513.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19441 time:  0.01 s
2047.02/513.48	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
2047.42/513.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
2048.61/513.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2060.59/516.88	c lits-rem:         6  cl-subs:        5  v-elim:      0  v-fix:    0  time:  3.01 s
2060.59/516.89	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
2061.01/516.97	c vivif2 --  cl tried    73355 cl shrink        0 lits rem          0 time: 0.08
2061.77/517.15	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.18
2061.77/517.16	c calculated reachability. Time: 0.00
2061.77/517.16	c  N dy  8001   1210382     19441     83024         0     73355    252106   5154862    132.00   no data
2099.27/526.51	c  N dy  8137   1230448     19441     83024         0     93420    252106   9316433    132.00    153.07
2135.59/535.66	c  N dy  8266   1250502     19441     83024         0     61475    252106   2460842    131.99    141.93
2171.11/544.52	c  N dy  8389   1270554     19441     83024         0     81522    252106   6667087    131.97    141.61
2209.76/554.28	c  N dy  8524   1290574     19441     83024         0    101541    252106  10876302    131.99    140.03
2245.29/563.17	c  N dy  8660   1310796     19441     83024         0     68767    252106   3777192    131.99    142.24
2281.96/572.31	c  N dy  8782   1330865     19441     83024         0     88832    252106   7903395    131.94    140.07
2321.83/582.38	c  N dy  8928   1351015     19441     83024         0     54982    252106    714953    131.99    140.60
2356.54/591.09	c  N dy  9055   1371151     19441     83024         0     75117    252106   4934727    131.98    141.19
2394.89/600.65	c  N dy  9190   1391178     19441     83024         0     95143    252106   9131612    131.99    150.66
2433.54/610.31	c  N dy  9319   1411270     19441     83024         0     60238    252106   1603303    131.97    139.46
2468.25/619.06	c  N dy  9452   1431312     19441     83024         0     80279    252106   5787071    131.97    144.77
2507.33/628.80	c  N dy  9586   1451358     19441     83024         0    100325    252106  10014018    131.97    150.02
2545.61/638.42	c  N dy  9725   1471509     19441     83024         0     64485    252106   2280588    132.00    139.71
2581.52/647.47	c  N dy  9867   1491562     19441     83024         0     84534    252106   6538222    132.03    140.34
2621.41/657.45	c  N dy  9997   1511709     19441     83024         0    104681    252106  10785352    132.05    141.11
2659.29/666.97	c  N dy 10130   1531763     19441     83024         0     67735    252106   2821473    132.07    140.40
2695.99/676.15	c  N dy 10259   1551874     19441     83024         0     87844    252106   7029400    132.08    145.56
2736.29/686.25	c  N dy 10398   1571906     19441     83024         0    107873    252106  11200655    132.09    140.31
2773.78/695.69	c  N dy 10526   1592126     19441     83024         0     70097    252106   3082998    132.11    142.84
2811.30/705.02	c  N dy 10663   1612188     19441     83024         0     90159    252106   7359716    132.14    144.88
2851.55/715.17	c  N dy 10786   1632295     19441     83024         0    110263    252106  11592101    132.12    140.23
2889.45/724.60	c  N dy 10919   1652355     19441     83024         0     71325    252106   3153443    132.15    158.14
2926.54/733.92	c  N dy 11057   1672428     19441     83024         0     91398    252106   7303049    132.14    147.15
2967.24/744.12	c  N dy 11191   1692437     19441     83024         0    111406    252106  11468131    132.14    142.26
3002.74/753.01	c  S st 11317   1710382     19441     83024         0     69355    252106   2514554    132.16   no data
3003.54/753.23	c  S st 11317   1710887     19441     83024         0     69860    252106   2591910    132.16   no data
3003.54/753.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3003.94/753.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.09
3003.94/753.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3003.94/753.36	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3003.94/753.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3003.94/753.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19441 time:  0.01 s
3003.94/753.39	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
3004.36/753.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
3005.13/753.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3011.92/755.30	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  1.68 s
3011.92/755.31	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
3011.92/755.36	c vivif2 --  cl tried    69860 cl shrink        0 lits rem          0 time: 0.04
3012.72/755.53	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.17
3012.72/755.54	c calculated reachability. Time: 0.00
3012.72/755.54	c  N dy 11317   1710887     19441     83024         0     69860    252106   2591909    132.16   no data
3049.41/764.72	c  N dy 11446   1731063     19441     83024         0     90035    252106   6751073    132.14    146.75
3090.10/774.97	c  N dy 11584   1751184     19441     83024         0    110154    252106  10970470    132.15    139.64
3129.99/784.91	c  N dy 11722   1771227     19441     83024         0     69204    252106   2237813    132.17    140.65
3166.72/794.18	c  N dy 11863   1791333     19441     83024         0     89308    252106   6511776    132.20    140.42
3206.97/804.26	c  N dy 11991   1811388     19441     83024         0    109361    252106  10695218    132.21    143.24
3247.64/814.45	c  N dy 12118   1831430     19441     83024         0     67403    252106   1668239    132.19    141.46
3283.95/823.59	c  N dy 12255   1851464     19441     83024         0     87435    252106   5914450    132.21    142.80
3325.83/834.08	c  N dy 12391   1871518     19441     83024         0    107488    252106  10138936    132.22    139.45
3369.30/844.90	c  N dy 12525   1891669     19441     83024         0     64641    252106    884898    132.22    140.31
3405.20/853.97	c  N dy 12665   1911789     19441     83024         0     84761    252106   5084834    132.24    147.06
3444.70/863.84	c  N dy 12795   1931878     19441     83024         0    104850    252106   9297840    132.24    141.32
3487.42/874.52	c  N dy 12922   1951934     19441     83024         0    124905    252106  13546560    132.24    154.01
3524.48/883.81	c  N dy 13048   1972155     19441     83024         0     81132    252106   4190451    132.24    140.42
3563.17/893.50	c  N dy 13171   1992241     19441     83024         0    101216    252106   8459419    132.25    161.24
3605.89/904.26	c  N dy 13318   2012374     19441     83024         0    121348    252106  12767039    132.29    143.46
3645.72/914.22	c  N dy 13452   2032510     19441     83024         0     76484    252106   2998118    132.30    140.68
3684.03/923.81	c  N dy 13593   2052685     19441     83024         0     96658    252106   7267478    132.33    139.37
3726.31/934.42	c  N dy 13733   2072787     19441     83024         0    116759    252106  11506938    132.34    140.39
3768.97/945.13	c  N dy 13865   2092925     19441     83024         0     70902    252106   1598144    132.34    139.32
3806.08/954.48	c  N dy 14008   2113014     19441     83024         0     90990    252106   5938483    132.37    161.15
3847.21/964.73	c  N dy 14141   2133243     19441     83024         0    111219    252106  10198240    132.38    140.00
3891.08/975.77	c  N dy 14271   2153457     19441     83024         0    131433    252106  14391191    132.37    149.15
3929.32/985.30	c  N dy 14405   2173705     19441     83024         0     84682    252106   4286760    132.37    140.21
3968.81/995.22	c  N dy 14537   2193756     19441     83024         0    104732    252106   8467806    132.38    139.41
4007.11/1004.86	c  S st 14640   2210889     19441     83024         0    121865    252106  12031388    132.36   no data
4008.71/1005.20	c  S st 14640   2211394     19441     83024         0    122370    252106  12107897    132.36   no data
4008.71/1005.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4009.13/1005.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.15
4009.13/1005.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4009.55/1005.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4009.55/1005.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4009.55/1005.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19441 time:  0.01 s
4009.55/1005.44	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
4010.29/1005.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
4013.09/1006.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4041.01/1013.33	c lits-rem:         2  cl-subs:       12  v-elim:      0  v-fix:    0  time:  6.91 s
4041.01/1013.34	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
4041.81/1013.54	c vivif2 --  cl tried   122358 cl shrink        0 lits rem          0 time: 0.20
4043.01/1013.80	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.26
4043.01/1013.81	c calculated reachability. Time: 0.00
4043.01/1013.81	c  N dy 14640   2211394     19441     83024         0    122358    252106  12101184    132.36   no data
4085.29/1024.46	c  N dy 14777   2231599     19441     83024         0     74571    252106   1972474    132.37    140.00
4122.79/1033.90	c  N dy 14909   2251892     19441     83024         0     94863    252106   6198155    132.37    142.62
4164.67/1044.36	c  N dy 15046   2271995     19441     83024         0    114966    252106  10427374    132.38    140.56
4210.14/1055.72	c  N dy 15191   2292034     19441     83024         0    135002    252106  14705769    132.41    140.02
4248.03/1065.29	c  N dy 15332   2312129     19441     83024         0     86097    252106   4257240    132.43    139.91
4288.31/1075.35	c  N dy 15468   2332242     19441     83024         0    106205    252106   8494674    132.45    139.66
4331.79/1086.28	c  N dy 15602   2352337     19441     83024         0    126297    252106  12694199    132.45    139.58
4375.26/1097.17	c  N dy 15734   2372438     19441     83024         0     76400    252106   1961370    132.46    140.03
4413.96/1106.84	c  N dy 15867   2392979     19441     83024         0     96938    252106   6276491    132.47    139.47
4455.45/1117.29	c  N dy 16005   2413038     19441     83024         0    116996    252106  10455933    132.47    143.70
4501.71/1128.85	c  N dy 16145   2433128     19441     83024         0    137085    252106  14687600    132.48    142.77
4540.79/1138.62	c  N dy 16278   2453154     19441     83024         0     86117    252106   3789076    132.48    175.56
4580.28/1148.52	c  N dy 16412   2473195     19441     83024         0    106156    252106   7947643    132.48    143.30
4624.16/1159.57	c  N dy 16553   2493304     19441     83024         0    126263    252106  12213418    132.49    150.28
4670.03/1171.06	c  N dy 16691   2513365     19441     83024         0     74330    252106   1089349    132.49    168.99
4707.52/1180.41	c  N dy 16823   2533520     19441     83024         0     94484    252106   5299442    132.49    148.03
4748.61/1190.77	c  N dy 16961   2553692     19441     83024         0    114656    252106   9537649    132.51    140.38
4793.29/1201.98	c  N dy 17088   2573714     19441     83024         0    134675    252106  13771489    132.51    140.83

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.01 7.87 7.93 7/355 17421
/proc/meminfo: memFree=24745032/32950928 swapFree=67056568/67111528
[pid=17421] ppid=17419 vsize=51168 CPUtime=0.01 cores=0,2,4,6
/proc/17421/stat : 17421 (strangenight2-m) R 17419 17421 16708 0 -1 4202496 410 0 0 0 1 0 0 0 21 0 4 0 651215045 52396032 351 33554432000 4194304 4580107 140734721829680 18446744073709551615 47289683322393 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17421/statm: 12792 351 302 95 0 7774 0
[pid=17421/tid=17422] ppid=17419 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/17421/task/17422/stat : 17422 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 4 0 651215045 52396032 351 33554432000 4194304 4580107 140734721829680 18446744073709551615 47289683322391 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17421/tid=17423] ppid=17419 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/17421/task/17423/stat : 17423 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 651215045 52396032 351 33554432000 4194304 4580107 140734721829680 18446744073709551615 47289683322802 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17421/tid=17424] ppid=17419 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/17421/task/17424/stat : 17424 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 651215045 52396032 351 33554432000 4194304 4580107 140734721829680 18446744073709551615 47289683322393 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.041073 s]
/proc/loadavg: 7.01 7.87 7.93 7/355 17421
/proc/meminfo: memFree=24745032/32950928 swapFree=67056568/67111528
[pid=17421] ppid=17419 vsize=301348 CPUtime=0.13 cores=0,2,4,6
/proc/17421/stat : 17421 (strangenight2-m) R 17419 17421 16708 0 -1 4202496 11469 0 0 0 11 2 0 0 18 0 4 0 651215045 308580352 9439 33554432000 4194304 4580107 140734721829680 18446744073709551615 4489504 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17421/statm: 75337 9443 337 95 0 70319 0
[pid=17421/tid=17422] ppid=17419 vsize=301348 CPUtime=0.03 cores=0,2,4,6
/proc/17421/task/17422/stat : 17422 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 2787 0 0 0 3 0 0 0 18 0 4 0 651215045 308580352 9444 33554432000 4194304 4580107 140734721829680 18446744073709551615 4487413 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17421/tid=17423] ppid=17419 vsize=301348 CPUtime=0.02 cores=0,2,4,6
/proc/17421/task/17423/stat : 17423 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 2762 0 0 0 2 0 0 0 23 0 4 0 651215045 308580352 9444 33554432000 4194304 4580107 140734721829680 18446744073709551615 239476350933 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17421/tid=17424] ppid=17419 vsize=301348 CPUtime=0.02 cores=0,2,4,6
/proc/17421/task/17424/stat : 17424 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 2779 0 0 0 2 0 0 0 18 0 4 0 651215045 308580352 9444 33554432000 4194304 4580107 140734721829680 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 301348

[startup+0.101061 s]
/proc/loadavg: 7.01 7.87 7.93 7/355 17421
/proc/meminfo: memFree=24745032/32950928 swapFree=67056568/67111528
[pid=17421] ppid=17419 vsize=303680 CPUtime=0.36 cores=0,2,4,6
/proc/17421/stat : 17421 (strangenight2-m) R 17419 17421 16708 0 -1 4202496 15037 0 0 0 34 2 0 0 18 0 4 0 651215045 310968320 13007 33554432000 4194304 4580107 140734721829680 18446744073709551615 4504408 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17421/statm: 75920 13007 358 95 0 70902 0
[pid=17421/tid=17422] ppid=17419 vsize=303680 CPUtime=0.08 cores=0,2,4,6
/proc/17421/task/17422/stat : 17422 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 3672 0 0 0 8 0 0 0 18 0 4 0 651215045 310968320 13007 33554432000 4194304 4580107 140734721829680 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17421/tid=17423] ppid=17419 vsize=303680 CPUtime=0.08 cores=0,2,4,6
/proc/17421/task/17423/stat : 17423 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 3653 0 0 0 8 0 0 0 23 0 4 0 651215045 310968320 13007 33554432000 4194304 4580107 140734721829680 18446744073709551615 4293208 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17421/tid=17424] ppid=17419 vsize=303680 CPUtime=0.08 cores=0,2,4,6
/proc/17421/task/17424/stat : 17424 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 3679 0 0 0 8 0 0 0 18 0 4 0 651215045 310968320 13007 33554432000 4194304 4580107 140734721829680 18446744073709551615 4302568 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 303680

[startup+0.301044 s]
/proc/loadavg: 7.01 7.87 7.93 7/355 17421
/proc/meminfo: memFree=24745032/32950928 swapFree=67056568/67111528
[pid=17421] ppid=17419 vsize=320824 CPUtime=1.16 cores=0,2,4,6
/proc/17421/stat : 17421 (strangenight2-m) R 17419 17421 16708 0 -1 4202496 28016 0 0 0 111 5 0 0 18 0 4 0 651215045 328523776 21916 33554432000 4194304 4580107 140734721829680 18446744073709551615 4397979 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17421/statm: 80206 21916 372 95 0 75188 0
[pid=17421/tid=17422] ppid=17419 vsize=320824 CPUtime=0.28 cores=0,2,4,6
/proc/17421/task/17422/stat : 17422 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 8062 0 0 0 27 1 0 0 18 0 4 0 651215045 328523776 21916 33554432000 4194304 4580107 140734721829680 18446744073709551615 4397928 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17421/tid=17423] ppid=17419 vsize=320824 CPUtime=0.26 cores=0,2,4,6
/proc/17421/task/17423/stat : 17423 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 7826 0 0 0 26 0 0 0 18 0 4 0 651215045 328523776 21916 33554432000 4194304 4580107 140734721829680 18446744073709551615 239476738183 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17421/tid=17424] ppid=17419 vsize=320824 CPUtime=0.28 cores=0,2,4,6
/proc/17421/task/17424/stat : 17424 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 3861 0 0 0 28 0 0 0 18 0 4 0 651215045 328523776 21916 33554432000 4194304 4580107 140734721829680 18446744073709551615 4293728 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 320824

[startup+0.700946 s]
/proc/loadavg: 7.01 7.87 7.93 7/355 17421
/proc/meminfo: memFree=24745032/32950928 swapFree=67056568/67111528
[pid=17421] ppid=17419 vsize=322792 CPUtime=2.75 cores=0,2,4,6
/proc/17421/stat : 17421 (strangenight2-m) R 17419 17421 16708 0 -1 4202496 30094 0 0 0 270 5 0 0 18 0 4 0 651215045 330539008 22616 33554432000 4194304 4580107 140734721829680 18446744073709551615 4293138 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17421/statm: 80698 22616 377 95 0 75680 0
[pid=17421/tid=17422] ppid=17419 vsize=322792 CPUtime=0.68 cores=0,2,4,6
/proc/17421/task/17422/stat : 17422 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 8343 0 0 0 67 1 0 0 18 0 4 0 651215045 330539008 22616 33554432000 4194304 4580107 140734721829680 18446744073709551615 4321036 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17421/tid=17423] ppid=17419 vsize=322792 CPUtime=0.66 cores=0,2,4,6
/proc/17421/task/17423/stat : 17423 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 8538 0 0 0 66 0 0 0 18 0 4 0 651215045 330539008 22617 33554432000 4194304 4580107 140734721829680 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17421/tid=17424] ppid=17419 vsize=322792 CPUtime=0.68 cores=0,2,4,6
/proc/17421/task/17424/stat : 17424 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 4237 0 0 0 68 0 0 0 18 0 4 0 651215045 330539008 22617 33554432000 4194304 4580107 140734721829680 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 322792

[startup+1.50079 s]
/proc/loadavg: 7.01 7.87 7.93 10/359 17425
/proc/meminfo: memFree=24642576/32950928 swapFree=67056568/67111528
[pid=17421] ppid=17419 vsize=322792 CPUtime=5.94 cores=0,2,4,6
/proc/17421/stat : 17421 (strangenight2-m) R 17419 17421 16708 0 -1 4202496 32726 0 0 0 589 5 0 0 19 0 4 0 651215045 330539008 25248 33554432000 4194304 4580107 140734721829680 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17421/statm: 80698 25248 377 95 0 75680 0
[pid=17421/tid=17422] ppid=17419 vsize=322792 CPUtime=1.48 cores=0,2,4,6
/proc/17421/task/17422/stat : 17422 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 8982 0 0 0 147 1 0 0 19 0 4 0 651215045 330539008 25248 33554432000 4194304 4580107 140734721829680 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17421/tid=17423] ppid=17419 vsize=322792 CPUtime=1.45 cores=0,2,4,6
/proc/17421/task/17423/stat : 17423 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 9220 0 0 0 145 0 0 0 19 0 4 0 651215045 330539008 25248 33554432000 4194304 4580107 140734721829680 18446744073709551615 4316634 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17421/tid=17424] ppid=17419 vsize=322792 CPUtime=1.48 cores=0,2,4,6
/proc/17421/task/17424/stat : 17424 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 4832 0 0 0 148 0 0 0 19 0 4 0 651215045 330539008 25248 33554432000 4194304 4580107 140734721829680 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 322792

[startup+3.10049 s]
/proc/loadavg: 7.01 7.87 7.93 9/359 17425
/proc/meminfo: memFree=24624364/32950928 swapFree=67056568/67111528
[pid=17421] ppid=17419 vsize=454056 CPUtime=12.33 cores=0,2,4,6
/proc/17421/stat : 17421 (strangenight2-m) R 17419 17421 16708 0 -1 4202496 37641 0 0 0 1227 6 0 0 24 0 4 0 651215045 464953344 30163 33554432000 4194304 4580107 140734721829680 18446744073709551615 4320729 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17421/statm: 113514 30163 377 95 0 108496 0
[pid=17421/tid=17422] ppid=17419 vsize=454056 CPUtime=3.09 cores=0,2,4,6
/proc/17421/task/17422/stat : 17422 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 10082 0 0 0 307 2 0 0 24 0 4 0 651215045 464953344 30163 33554432000 4194304 4580107 140734721829680 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17421/tid=17423] ppid=17419 vsize=454056 CPUtime=3.04 cores=0,2,4,6
/proc/17421/task/17423/stat : 17423 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 10414 0 0 0 304 0 0 0 24 0 4 0 651215045 464953344 30163 33554432000 4194304 4580107 140734721829680 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17421/tid=17424] ppid=17419 vsize=454056 CPUtime=3.08 cores=0,2,4,6
/proc/17421/task/17424/stat : 17424 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 6276 0 0 0 308 0 0 0 24 0 4 0 651215045 464953344 30163 33554432000 4194304 4580107 140734721829680 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 454056

[startup+6.30088 s]
/proc/loadavg: 7.09 7.87 7.93 9/359 17425
/proc/meminfo: memFree=24527064/32950928 swapFree=67056568/67111528
[pid=17421] ppid=17419 vsize=426552 CPUtime=25.09 cores=0,2,4,6
/proc/17421/stat : 17421 (strangenight2-m) R 17419 17421 16708 0 -1 4202496 47582 0 0 0 2500 9 0 0 25 0 4 0 651215045 436789248 35572 33554432000 4194304 4580107 140734721829680 18446744073709551615 4293235 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17421/statm: 106638 35572 377 95 0 101620 0
[pid=17421/tid=17422] ppid=17419 vsize=426552 CPUtime=6.28 cores=0,2,4,6
/proc/17421/task/17422/stat : 17422 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 12164 0 0 0 626 2 0 0 25 0 4 0 651215045 436789248 35572 33554432000 4194304 4580107 140734721829680 18446744073709551615 4321122 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17421/tid=17423] ppid=17419 vsize=426552 CPUtime=6.21 cores=0,2,4,6
/proc/17421/task/17423/stat : 17423 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 12631 0 0 0 620 1 0 0 25 0 4 0 651215045 436789248 35572 33554432000 4194304 4580107 140734721829680 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17421/tid=17424] ppid=17419 vsize=426552 CPUtime=6.28 cores=0,2,4,6
/proc/17421/task/17424/stat : 17424 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 9658 0 0 0 627 1 0 0 25 0 4 0 651215045 436789248 35572 33554432000 4194304 4580107 140734721829680 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 426552

[startup+12.7007 s]
/proc/loadavg: 7.16 7.87 7.93 9/359 17425
/proc/meminfo: memFree=24374440/32950928 swapFree=67056568/67111528
[pid=17421] ppid=17419 vsize=705700 CPUtime=50.61 cores=0,2,4,6
/proc/17421/stat : 17421 (strangenight2-m) R 17419 17421 16708 0 -1 4202496 103909 0 0 0 5039 22 0 0 25 0 4 0 651215045 722636800 76738 33554432000 4194304 4580107 140734721829680 18446744073709551615 4293911 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17421/statm: 176425 76738 379 95 0 171407 0
[pid=17421/tid=17422] ppid=17419 vsize=705700 CPUtime=12.68 cores=0,2,4,6
/proc/17421/task/17422/stat : 17422 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 37857 0 0 0 1262 6 0 0 25 0 4 0 651215045 722636800 76738 33554432000 4194304 4580107 140734721829680 18446744073709551615 4417027 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17421/tid=17423] ppid=17419 vsize=705700 CPUtime=12.53 cores=0,2,4,6
/proc/17421/task/17423/stat : 17423 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 18336 0 0 0 1250 3 0 0 25 0 4 0 651215045 722636800 76738 33554432000 4194304 4580107 140734721829680 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17421/tid=17424] ppid=17419 vsize=705700 CPUtime=12.68 cores=0,2,4,6
/proc/17421/task/17424/stat : 17424 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 14048 0 0 0 1265 3 0 0 25 0 4 0 651215045 722636800 76738 33554432000 4194304 4580107 140734721829680 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 705700

[startup+25.5002 s]
/proc/loadavg: 7.43 7.90 7.93 9/359 17425
/proc/meminfo: memFree=24227744/32950928 swapFree=67056568/67111528
[pid=17421] ppid=17419 vsize=563272 CPUtime=101.66 cores=0,2,4,6
/proc/17421/stat : 17421 (strangenight2-m) R 17419 17421 16708 0 -1 4202496 163152 0 0 0 10129 37 0 0 25 0 4 0 651215045 576790528 87450 33554432000 4194304 4580107 140734721829680 18446744073709551615 4416727 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17421/statm: 140818 87450 379 95 0 135800 0
[pid=17421/tid=17422] ppid=17419 vsize=563272 CPUtime=25.49 cores=0,2,4,6
/proc/17421/task/17422/stat : 17422 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 47035 0 0 0 2540 9 0 0 25 0 4 0 651215045 576790528 87450 33554432000 4194304 4580107 140734721829680 18446744073709551615 4326443 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17421/tid=17423] ppid=17419 vsize=563272 CPUtime=25.19 cores=0,2,4,6
/proc/17421/task/17423/stat : 17423 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 34288 0 0 0 2511 8 0 0 25 0 4 0 651215045 576790528 87450 33554432000 4194304 4580107 140734721829680 18446744073709551615 4321391 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17421/tid=17424] ppid=17419 vsize=563272 CPUtime=25.48 cores=0,2,4,6
/proc/17421/task/17424/stat : 17424 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 33762 0 0 0 2541 7 0 0 25 0 4 0 651215045 576790528 87450 33554432000 4194304 4580107 140734721829680 18446744073709551615 4321100 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 563272

[startup+51.1003 s]
/proc/loadavg: 7.69 7.92 7.94 9/359 17426
/proc/meminfo: memFree=23972388/32950928 swapFree=67056568/67111528
[pid=17421] ppid=17419 vsize=801296 CPUtime=203.78 cores=0,2,4,6
/proc/17421/stat : 17421 (strangenight2-m) R 17419 17421 16708 0 -1 4202496 250267 0 0 0 20319 59 0 0 25 0 4 0 651215045 820527104 142876 33554432000 4194304 4580107 140734721829680 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17421/statm: 200324 142876 379 95 0 195306 0
[pid=17421/tid=17422] ppid=17419 vsize=801296 CPUtime=51.09 cores=0,2,4,6
/proc/17421/task/17422/stat : 17422 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 59997 0 0 0 5097 12 0 0 25 0 4 0 651215045 820527104 142876 33554432000 4194304 4580107 140734721829680 18446744073709551615 4293778 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17421/tid=17423] ppid=17419 vsize=801296 CPUtime=50.5 cores=0,2,4,6
/proc/17421/task/17423/stat : 17423 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 55604 0 0 0 5037 13 0 0 25 0 4 0 651215045 820527104 142876 33554432000 4194304 4580107 140734721829680 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17421/tid=17424] ppid=17419 vsize=801296 CPUtime=51.09 cores=0,2,4,6
/proc/17421/task/17424/stat : 17424 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 61578 0 0 0 5093 16 0 0 25 0 4 0 651215045 820527104 142876 33554432000 4194304 4580107 140734721829680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.78
Current children cumulated vsize (KiB) 801296

[startup+102.314 s]
/proc/loadavg: 8.35 8.04 7.98 9/359 17430
/proc/meminfo: memFree=23929440/32950928 swapFree=67056568/67111528
[pid=17421] ppid=17419 vsize=862376 CPUtime=407.25 cores=0,2,4,6
/proc/17421/stat : 17421 (strangenight2-m) R 17419 17421 16708 0 -1 4202496 342929 0 0 0 40642 83 0 0 25 0 4 0 651215045 883073024 150437 33554432000 4194304 4580107 140734721829680 18446744073709551615 4305975 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17421/statm: 215594 150437 379 95 0 210576 0
[pid=17421/tid=17422] ppid=17419 vsize=862376 CPUtime=102.17 cores=0,2,4,6
/proc/17421/task/17422/stat : 17422 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 79494 0 0 0 10200 17 0 0 25 0 4 0 651215045 883073024 150437 33554432000 4194304 4580107 140734721829680 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17421/tid=17423] ppid=17419 vsize=862376 CPUtime=100.75 cores=0,2,4,6
/proc/17421/task/17423/stat : 17423 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 81425 0 0 0 10055 20 0 0 25 0 4 0 651215045 883073024 150437 33554432000 4194304 4580107 140734721829680 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17421/tid=17424] ppid=17419 vsize=862376 CPUtime=102.3 cores=0,2,4,6
/proc/17421/task/17424/stat : 17424 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 86218 0 0 0 10208 22 0 0 25 0 4 0 651215045 883073024 150437 33554432000 4194304 4580107 140734721829680 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.25
Current children cumulated vsize (KiB) 862376

[startup+162.301 s]

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

[pid=17421] ppid=17419 vsize=1484880 CPUtime=2561.2 cores=0,2,4,6
/proc/17421/stat : 17421 (strangenight2-m) R 17419 17421 16708 0 -1 4202496 1352292 0 0 0 255748 372 0 0 25 0 4 0 651215045 1520517120 278650 33554432000 4194304 4580107 140734721829680 18446744073709551615 4296101 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17421/statm: 371220 278650 379 95 0 366202 0
[pid=17421/tid=17422] ppid=17419 vsize=1484880 CPUtime=642.17 cores=0,2,4,6
/proc/17421/task/17422/stat : 17422 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 304272 0 0 0 64140 77 0 0 25 0 4 0 651215045 1520517120 278657 33554432000 4194304 4580107 140734721829680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17421/tid=17423] ppid=17419 vsize=1484880 CPUtime=634.74 cores=0,2,4,6
/proc/17421/task/17423/stat : 17423 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 349643 0 0 0 63376 98 0 0 25 0 4 0 651215045 1520517120 278657 33554432000 4194304 4580107 140734721829680 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17421/tid=17424] ppid=17419 vsize=1484880 CPUtime=642.29 cores=0,2,4,6
/proc/17421/task/17424/stat : 17424 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 347830 0 0 0 64130 99 0 0 25 0 4 0 651215045 1520517120 278657 33554432000 4194304 4580107 140734721829680 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2561.2
Current children cumulated vsize (KiB) 1484880

[startup+702.301 s]
/proc/loadavg: 8.00 8.04 8.00 9/359 17446
/proc/meminfo: memFree=23222792/32950928 swapFree=67056568/67111528
[pid=17421] ppid=17419 vsize=1354892 CPUtime=2800.5 cores=0,2,4,6
/proc/17421/stat : 17421 (strangenight2-m) R 17419 17421 16708 0 -1 4202496 1445672 0 0 0 279650 400 0 0 25 0 4 0 651215045 1387409408 269274 33554432000 4194304 4580107 140734721829680 18446744073709551615 4305975 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17421/statm: 338723 269274 379 95 0 333705 0
[pid=17421/tid=17422] ppid=17419 vsize=1354892 CPUtime=702.16 cores=0,2,4,6
/proc/17421/task/17422/stat : 17422 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 326074 0 0 0 70131 85 0 0 25 0 4 0 651215045 1387409408 269274 33554432000 4194304 4580107 140734721829680 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17421/tid=17423] ppid=17419 vsize=1354892 CPUtime=694.07 cores=0,2,4,6
/proc/17421/task/17423/stat : 17423 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 374385 0 0 0 69302 105 0 0 25 0 4 0 651215045 1387409408 269274 33554432000 4194304 4580107 140734721829680 18446744073709551615 4294496 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17421/tid=17424] ppid=17419 vsize=1354892 CPUtime=702.29 cores=0,2,4,6
/proc/17421/task/17424/stat : 17424 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 372862 0 0 0 70122 107 0 0 25 0 4 0 651215045 1387409408 269274 33554432000 4194304 4580107 140734721829680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2800.5
Current children cumulated vsize (KiB) 1354892

[startup+762.313 s]
/proc/loadavg: 8.10 8.06 8.01 9/359 17448
/proc/meminfo: memFree=23220168/32950928 swapFree=67056568/67111528
[pid=17421] ppid=17419 vsize=1421952 CPUtime=3039.87 cores=0,2,4,6
/proc/17421/stat : 17421 (strangenight2-m) R 17419 17421 16708 0 -1 4202496 1540044 0 0 0 303560 427 0 0 25 0 4 0 651215045 1456078848 267796 33554432000 4194304 4580107 140734721829680 18446744073709551615 4293182 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17421/statm: 355488 267796 379 95 0 350470 0
[pid=17421/tid=17422] ppid=17419 vsize=1421952 CPUtime=762.17 cores=0,2,4,6
/proc/17421/task/17422/stat : 17422 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 345590 0 0 0 76127 90 0 0 25 0 4 0 651215045 1456078848 267796 33554432000 4194304 4580107 140734721829680 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17421/tid=17423] ppid=17419 vsize=1421952 CPUtime=753.42 cores=0,2,4,6
/proc/17421/task/17423/stat : 17423 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 398891 0 0 0 75229 113 0 0 25 0 4 0 651215045 1456078848 267796 33554432000 4194304 4580107 140734721829680 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17421/tid=17424] ppid=17419 vsize=1421952 CPUtime=762.3 cores=0,2,4,6
/proc/17421/task/17424/stat : 17424 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 396193 0 0 0 76116 114 0 0 25 0 4 0 651215045 1456078848 267796 33554432000 4194304 4580107 140734721829680 18446744073709551615 4321030 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3039.87
Current children cumulated vsize (KiB) 1421952

[startup+822.301 s]
/proc/loadavg: 8.21 8.10 8.02 9/359 17449
/proc/meminfo: memFree=23270244/32950928 swapFree=67056568/67111528
[pid=17421] ppid=17419 vsize=1306480 CPUtime=3279.17 cores=0,2,4,6
/proc/17421/stat : 17421 (strangenight2-m) R 17419 17421 16708 0 -1 4202496 1648484 0 0 0 327456 461 0 0 25 0 4 0 651215045 1337835520 254341 33554432000 4194304 4580107 140734721829680 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17421/statm: 326620 254341 379 95 0 321602 0
[pid=17421/tid=17422] ppid=17419 vsize=1306480 CPUtime=822.16 cores=0,2,4,6
/proc/17421/task/17422/stat : 17422 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 370288 0 0 0 82119 97 0 0 25 0 4 0 651215045 1337835520 254341 33554432000 4194304 4580107 140734721829680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17421/tid=17423] ppid=17419 vsize=1306480 CPUtime=812.76 cores=0,2,4,6
/proc/17421/task/17423/stat : 17423 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 426690 0 0 0 81154 122 0 0 25 0 4 0 651215045 1337835520 254341 33554432000 4194304 4580107 140734721829680 18446744073709551615 4321874 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17421/tid=17424] ppid=17419 vsize=1306480 CPUtime=822.28 cores=0,2,4,6
/proc/17421/task/17424/stat : 17424 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 424188 0 0 0 82105 123 0 0 25 0 4 0 651215045 1337835520 254341 33554432000 4194304 4580107 140734721829680 18446744073709551615 4292985 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3279.17
Current children cumulated vsize (KiB) 1306480

[startup+882.3 s]
/proc/loadavg: 8.13 8.09 8.02 9/359 17451
/proc/meminfo: memFree=23095516/32950928 swapFree=67056568/67111528
[pid=17421] ppid=17419 vsize=1383536 CPUtime=3518.48 cores=0,2,4,6
/proc/17421/stat : 17421 (strangenight2-m) R 17419 17421 16708 0 -1 4202496 1778078 0 0 0 351349 499 0 0 25 0 4 0 651215045 1416740864 265682 33554432000 4194304 4580107 140734721829680 18446744073709551615 4318702 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17421/statm: 345884 265683 379 95 0 340866 0
[pid=17421/tid=17422] ppid=17419 vsize=1383536 CPUtime=882.16 cores=0,2,4,6
/proc/17421/task/17422/stat : 17422 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 398043 0 0 0 88112 104 0 0 25 0 4 0 651215045 1416740864 265683 33554432000 4194304 4580107 140734721829680 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17421/tid=17423] ppid=17419 vsize=1383536 CPUtime=872.09 cores=0,2,4,6
/proc/17421/task/17423/stat : 17423 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 473710 0 0 0 87075 134 0 0 25 0 4 0 651215045 1416740864 265683 33554432000 4194304 4580107 140734721829680 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17421/tid=17424] ppid=17419 vsize=1383536 CPUtime=882.27 cores=0,2,4,6
/proc/17421/task/17424/stat : 17424 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 451611 0 0 0 88095 132 0 0 25 0 4 0 651215045 1416740864 265683 33554432000 4194304 4580107 140734721829680 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3518.48
Current children cumulated vsize (KiB) 1383536

[startup+942.301 s]
/proc/loadavg: 8.11 8.09 8.02 9/359 17453
/proc/meminfo: memFree=23038700/32950928 swapFree=67056568/67111528
[pid=17421] ppid=17419 vsize=1441316 CPUtime=3757.82 cores=0,2,4,6
/proc/17421/stat : 17421 (strangenight2-m) R 17419 17421 16708 0 -1 4202496 1885147 0 0 0 375251 531 0 0 25 0 4 0 651215045 1475907584 282378 33554432000 4194304 4580107 140734721829680 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17421/statm: 360329 282378 379 95 0 355311 0
[pid=17421/tid=17422] ppid=17419 vsize=1441316 CPUtime=942.15 cores=0,2,4,6
/proc/17421/task/17422/stat : 17422 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 425574 0 0 0 94104 111 0 0 25 0 4 0 651215045 1475907584 282378 33554432000 4194304 4580107 140734721829680 18446744073709551615 4293121 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17421/tid=17423] ppid=17419 vsize=1441316 CPUtime=931.44 cores=0,2,4,6
/proc/17421/task/17423/stat : 17423 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 499891 0 0 0 93002 142 0 0 25 0 4 0 651215045 1475907584 282378 33554432000 4194304 4580107 140734721829680 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17421/tid=17424] ppid=17419 vsize=1441316 CPUtime=942.26 cores=0,2,4,6
/proc/17421/task/17424/stat : 17424 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 478941 0 0 0 94086 140 0 0 25 0 4 0 651215045 1475907584 282378 33554432000 4194304 4580107 140734721829680 18446744073709551615 4320786 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3757.82
Current children cumulated vsize (KiB) 1441316

[startup+1002.3 s]
/proc/loadavg: 8.10 8.08 8.01 9/359 17454
/proc/meminfo: memFree=22853668/32950928 swapFree=67056568/67111528
[pid=17421] ppid=17419 vsize=1508100 CPUtime=3997.13 cores=0,2,4,6
/proc/17421/stat : 17421 (strangenight2-m) R 17419 17421 16708 0 -1 4202496 2012505 0 0 0 399144 569 0 0 25 0 4 0 651215045 1544294400 317499 33554432000 4194304 4580107 140734721829680 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17421/statm: 377025 317499 379 95 0 372007 0
[pid=17421/tid=17422] ppid=17419 vsize=1508100 CPUtime=1002.14 cores=0,2,4,6
/proc/17421/task/17422/stat : 17422 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 450935 0 0 0 100096 118 0 0 25 0 4 0 651215045 1544294400 317499 33554432000 4194304 4580107 140734721829680 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17421/tid=17423] ppid=17419 vsize=1508100 CPUtime=990.78 cores=0,2,4,6
/proc/17421/task/17423/stat : 17423 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 527219 0 0 0 98926 152 0 0 25 0 4 0 651215045 1544294400 317500 33554432000 4194304 4580107 140734721829680 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17421/tid=17424] ppid=17419 vsize=1508100 CPUtime=1002.26 cores=0,2,4,6
/proc/17421/task/17424/stat : 17424 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 526258 0 0 0 100073 153 0 0 25 0 4 0 651215045 1544294400 317500 33554432000 4194304 4580107 140734721829680 18446744073709551615 4451895 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3997.13
Current children cumulated vsize (KiB) 1508100

[startup+1062.3 s]
/proc/loadavg: 8.09 8.08 8.01 9/359 17456
/proc/meminfo: memFree=22758900/32950928 swapFree=67056568/67111528
[pid=17421] ppid=17419 vsize=1649584 CPUtime=4236.46 cores=0,2,4,6
/proc/17421/stat : 17421 (strangenight2-m) R 17419 17421 16708 0 -1 4202496 2160904 0 0 0 423039 607 0 0 25 0 4 0 651215045 1689174016 337954 33554432000 4194304 4580107 140734721829680 18446744073709551615 4295890 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17421/statm: 412396 337954 379 95 0 407378 0
[pid=17421/tid=17422] ppid=17419 vsize=1649584 CPUtime=1062.15 cores=0,2,4,6
/proc/17421/task/17422/stat : 17422 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 505230 0 0 0 106086 129 0 0 25 0 4 0 651215045 1689174016 337954 33554432000 4194304 4580107 140734721829680 18446744073709551615 4293728 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17421/tid=17423] ppid=17419 vsize=1649584 CPUtime=1050.13 cores=0,2,4,6
/proc/17421/task/17423/stat : 17423 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 553612 0 0 0 104853 160 0 0 25 0 4 0 651215045 1689174016 337954 33554432000 4194304 4580107 140734721829680 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17421/tid=17424] ppid=17419 vsize=1649584 CPUtime=1062.26 cores=0,2,4,6
/proc/17421/task/17424/stat : 17424 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 551194 0 0 0 106065 161 0 0 25 0 4 0 651215045 1689174016 337954 33554432000 4194304 4580107 140734721829680 18446744073709551615 4293083 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4236.46
Current children cumulated vsize (KiB) 1649584

[startup+1122.3 s]
/proc/loadavg: 8.08 8.08 8.01 9/359 17457
/proc/meminfo: memFree=22598172/32950928 swapFree=67056568/67111528
[pid=17421] ppid=17419 vsize=1707396 CPUtime=4475.79 cores=0,2,4,6
/proc/17421/stat : 17421 (strangenight2-m) R 17419 17421 16708 0 -1 4202496 2261357 0 0 0 446940 639 0 0 25 0 4 0 651215045 1748373504 373939 33554432000 4194304 4580107 140734721829680 18446744073709551615 4293131 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17421/statm: 426849 373939 379 95 0 421831 0
[pid=17421/tid=17422] ppid=17419 vsize=1707396 CPUtime=1122.15 cores=0,2,4,6
/proc/17421/task/17422/stat : 17422 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 530349 0 0 0 112079 136 0 0 25 0 4 0 651215045 1748373504 373939 33554432000 4194304 4580107 140734721829680 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17421/tid=17423] ppid=17419 vsize=1707396 CPUtime=1109.46 cores=0,2,4,6
/proc/17421/task/17423/stat : 17423 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 578126 0 0 0 110778 168 0 0 25 0 4 0 651215045 1748373504 373939 33554432000 4194304 4580107 140734721829680 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17421/tid=17424] ppid=17419 vsize=1707396 CPUtime=1122.26 cores=0,2,4,6
/proc/17421/task/17424/stat : 17424 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 576244 0 0 0 112056 170 0 0 25 0 4 0 651215045 1748373504 373939 33554432000 4194304 4580107 140734721829680 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4475.79
Current children cumulated vsize (KiB) 1707396

[startup+1182.3 s]
/proc/loadavg: 8.13 8.09 8.02 9/359 17459
/proc/meminfo: memFree=22682588/32950928 swapFree=67056568/67111528
[pid=17421] ppid=17419 vsize=1708932 CPUtime=4715.11 cores=0,2,4,6
/proc/17421/stat : 17421 (strangenight2-m) R 17419 17421 16708 0 -1 4202496 2368552 0 0 0 470838 673 0 0 25 0 4 0 651215045 1749946368 350519 33554432000 4194304 4580107 140734721829680 18446744073709551615 4321636 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17421/statm: 427233 350519 379 95 0 422215 0
[pid=17421/tid=17422] ppid=17419 vsize=1708932 CPUtime=1182.14 cores=0,2,4,6
/proc/17421/task/17422/stat : 17422 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 557284 0 0 0 118067 147 0 0 25 0 4 0 651215045 1749946368 350519 33554432000 4194304 4580107 140734721829680 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17421/tid=17423] ppid=17419 vsize=1708932 CPUtime=1168.81 cores=0,2,4,6
/proc/17421/task/17423/stat : 17423 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 604394 0 0 0 116704 177 0 0 25 0 4 0 651215045 1749946368 350519 33554432000 4194304 4580107 140734721829680 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17421/tid=17424] ppid=17419 vsize=1708932 CPUtime=1182.26 cores=0,2,4,6
/proc/17421/task/17424/stat : 17424 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 603478 0 0 0 118048 178 0 0 25 0 4 0 651215045 1749946368 350519 33554432000 4194304 4580107 140734721829680 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4715.11
Current children cumulated vsize (KiB) 1708932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.17 8.10 8.02 5/354 17461
/proc/meminfo: memFree=23345776/32950928 swapFree=67056568/67111528
[pid=17421] ppid=17419 vsize=1593848 CPUtime=4800.1 cores=0,2,4,6
/proc/17421/stat : 17421 (strangenight2-m) R 17419 17421 16708 0 -1 4202496 2403492 0 0 0 479324 686 0 0 25 0 4 0 651215045 1632100352 351780 33554432000 4194304 4580107 140734721829680 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17421/statm: 398462 351780 379 95 0 393444 0
[pid=17421/tid=17422] ppid=17419 vsize=1593848 CPUtime=1203.45 cores=0,2,4,6
/proc/17421/task/17422/stat : 17422 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 566546 0 0 0 120194 151 0 0 25 0 4 0 651215045 1632100352 351785 33554432000 4194304 4580107 140734721829680 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17421/tid=17423] ppid=17419 vsize=1593848 CPUtime=1189.87 cores=0,2,4,6
/proc/17421/task/17423/stat : 17423 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 612541 0 0 0 118808 179 0 0 25 0 4 0 651215045 1632100352 351785 33554432000 4194304 4580107 140734721829680 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17421/tid=17424] ppid=17419 vsize=1593848 CPUtime=1203.57 cores=0,2,4,6
/proc/17421/task/17424/stat : 17424 (strangenight2-m) R 17419 17421 16708 0 -1 4202560 612832 0 0 0 120176 181 0 0 25 0 4 0 651215045 1632100352 351785 33554432000 4194304 4580107 140734721829680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 1593848

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.68
CPU time (s): 4800.2
CPU user time (s): 4793.28
CPU system time (s): 6.92495
CPU usage (%): 398.793
Max. virtual memory (cumulated for all children) (KiB): 1722556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.28
system time used= 6.92495
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2403503
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= 2113
involuntary context switches= 22761

runsolver used 3.70444 second user time and 9.46256 second system time

The end

Launcher Data 

Begin job on node148 at 2011-05-14 20:03:00
IDJOB=3366131
IDBENCH=82540
IDSOLVER=1844
FILE ID=node148/3366131-1305396180
RUNJOBID= node148-1305396180-17398
PBS_JOBID= 13324440
Free space on /tmp= 72836 MiB

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

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

MD5SUM BENCH= fdeac497d04edcceaf426c845c7872aa
RANDOM SEED=2028137244

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24745312 kB
Buffers:        313324 kB
Cached:        4592304 kB
SwapCached:       8488 kB
Active:        4560792 kB
Inactive:      3293184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24745312 kB
SwapTotal:    67111528 kB
SwapFree:     67056568 kB
Dirty:           12664 kB
Writeback:           0 kB
AnonPages:     2945464 kB
Mapped:          27136 kB
Slab:           258992 kB
PageTables:      28964 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 84745748 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= 72836 MiB
End job on node148 at 2011-05-14 20:23:05