Trace number 3173722

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.44 1201.88

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3173722-1304030109.cnf'
0.00/0.00	c -- header says num vars:          20000
0.00/0.00	c -- header says num clauses:       84000
0.00/0.18	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.00/0.18	c -- vars added      20000
0.00/0.18	c Parsing time:  0.05 s
0.00/0.18	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data
0.00/0.18	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.07
0.00/0.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.03
0.00/0.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20000 time:  0.00 s
0.00/0.25	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.01 s
0.00/0.85	c lits-rem:         0  cl-subs:        0  v-elim:    480  v-fix:    0  time:  0.13 s
0.00/0.85	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.85	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.00/0.85	c calculated reachability. Time: 0.00
0.00/0.85	c Calc default polars -  time:   0.01 s pos:    8793 undec:    2239 neg:    8968
0.00/0.85	c =========================================================================================
0.00/0.85	c types(t): F = full restart, N = normal restart
0.00/0.85	c types(t): S = simplification begin/end, E = solution found
0.00/0.85	c restart types(rt): st = static, dy = dynamic
0.00/0.85	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.85	c  B st     0         0     19520     83458         0         0    253334         0   no data   no data
5.95/1.60	c  N dy    21      4005     19520     83458         0      4005    253334   1018075    127.99    135.39
10.74/2.77	c  N dy    51      8103     19520     83458         0      8103    253334   1843047    129.03    136.36
15.54/3.96	c  N dy    78     12137     19520     83458         0     12137    253334   2659133    128.87    138.13
20.75/5.22	c  N dy   107     16204     19520     83458         0     16204    253334   3503318    129.29    144.29
25.92/6.54	c  N dy   131     20411     19520     83458         0     10412    253334    633011    129.30    136.45
30.71/7.75	c  N dy   153     24445     19520     83458         0     14446    253334   1481852    129.07    140.46
31.51/7.92	c  F st   158     25000     19520     83458         0     15001    253334   1592758    129.07   no data
37.93/9.56	c  N dy   164     30000     19520     83458         0     20001    253334   2919734    129.07   no data
37.93/9.56	c  S st   164     30000     19520     83458         0     20001    253334   2919734    129.07   no data
38.70/9.72	c  S st   164     30502     19520     83458         0     20503    253334   2997984    129.07   no data
38.70/9.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
39.10/9.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
39.10/9.84	c blocked clauses removed:      425 vars:     68 tried:       19520 T: 0.01 s
39.10/9.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39.10/9.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
39.10/9.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19452 time:  0.01 s
39.10/9.87	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
39.50/9.97	c lits-rem:         0  cl-subs:        0  v-elim:     11  v-fix:    0  time:  0.10 s
40.70/10.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.90/11.01	c lits-rem:         7  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.77 s
44.30/11.11	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.10
44.30/11.11	c calculated reachability. Time: 0.00
44.30/11.11	c  N dy   164     30502     19441     83024         0     20241    252106   2909851    129.07   no data
49.88/12.54	c  N dy   195     34600     19441     83024         0     24339    252106   3758614    129.61    137.12
55.50/13.96	c  N dy   221     38637     19441     83024         0     28376    252106   4574458    129.33    138.00
61.07/15.33	c  N dy   243     42710     19441     83024         0     17082    252106   1011446    128.55    135.80
65.06/16.31	c  S st   262     45754     19441     83024         0     20126    252106   1642386    128.78    110.14
65.46/16.48	c  S st   262     46255     19441     83024         0     20627    252106   1718783    128.78   no data
65.86/16.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
65.86/16.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
66.26/16.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
66.26/16.61	c bin-w-bin subsume rem            0 bins  time:  0.01 s
66.26/16.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
66.26/16.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19441 time:  0.01 s
66.26/16.63	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
66.66/16.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
67.06/16.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
67.86/17.06	c lits-rem:         5  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.23 s
67.86/17.07	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
68.26/17.10	c vivif2 --  cl tried    20624 cl shrink        0 lits rem          0 time: 0.03
68.26/17.20	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.10
68.26/17.20	c calculated reachability. Time: 0.00
68.26/17.20	c  N dy   262     46255     19441     83024         0     20624    252106   1716770    128.78   no data
73.85/18.50	c  N dy   285     50302     19441     83024         0     24671    252106   2523047    128.41    137.21
79.44/19.91	c  N dy   317     54343     19441     83024         0     28712    252106   3395939    129.24    143.96
85.03/21.33	c  N dy   344     58432     19441     83024         0     32800    252106   4231526    129.09    137.44
90.65/22.76	c  N dy   375     62437     19441     83024         0     36805    252106   5064347    129.30    142.55
96.22/24.13	c  N dy   401     66532     19441     83024         0     22215    252106   1368461    129.33    136.59
99.83/25.08	c  S st   419     69383     19441     83024         0     25066    252106   1941060    129.25   no data
100.60/25.25	c  S st   419     69891     19441     83024         0     25574    252106   2007120    129.25   no data
100.60/25.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
101.00/25.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
101.00/25.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
101.00/25.38	c bin-w-bin subsume rem            0 bins  time:  0.01 s
101.00/25.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
101.00/25.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19441 time:  0.01 s
101.00/25.40	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
101.41/25.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
101.81/25.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
103.40/25.95	c lits-rem:         4  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.35 s
103.40/25.96	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
103.40/25.99	c vivif2 --  cl tried    25572 cl shrink        0 lits rem          0 time: 0.03
103.82/26.10	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.11
104.22/26.11	c calculated reachability. Time: 0.00
104.22/26.11	c  N dy   419     69891     19441     83024         0     25572    252106   2007035    129.25   no data
110.19/27.65	c  N dy   452     74426     19441     83024         0     30107    252106   2929127    129.37    137.65
117.00/29.39	c  N dy   485     79235     19441     83024         0     34916    252106   3912554    129.53    138.21
124.18/31.17	c  N dy   516     84303     19441     83024         0     39982    252106   4943050    129.48    136.85
128.98/32.36	c  F st   541     87500     19441     83024         0     22337    252106    924024    129.69   no data
133.76/33.53	c  N st   546     90799     19441     83024         0     25636    252106   1820714    129.69   no data
141.75/35.55	c  N dy   576     96595     19441     83024         0     31432    252106   3161227    129.94    144.04
150.94/37.84	c  N dy   619    102882     19441     83024         0     37719    252106   4475166    130.01    137.09
153.73/38.56	c  S st   632    104836     19441     83024         0     39673    252106   4881222    130.03    123.05
154.53/38.76	c  S st   632    105341     19441     83024         0     40178    252106   4965181    130.03   no data
154.53/38.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
154.93/38.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.10
154.93/38.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
155.33/38.90	c bin-w-bin subsume rem            0 bins  time:  0.01 s
155.33/38.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
155.33/38.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19441 time:  0.01 s
155.33/38.92	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
155.73/39.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
156.95/39.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
162.92/40.88	c lits-rem:        13  cl-subs:        1  v-elim:      0  v-fix:    0  time:  1.54 s
162.92/40.89	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
163.32/40.97	c vivif2 --  cl tried    40177 cl shrink        0 lits rem          0 time: 0.08
163.72/41.09	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.13
164.12/41.10	c calculated reachability. Time: 0.00
164.12/41.10	c  N dy   632    105341     19441     83024         0     40177    252106   4964816    130.03   no data
174.13/43.68	c  N dy   677    112105     19441     83024         0     24524    252106   1019067    130.19    138.80
184.48/46.25	c  N dy   726    119338     19441     83024         0     31757    252106   2524886    130.29    140.30
195.68/49.03	c  N dy   775    127050     19441     83024         0     39469    252106   4113870    130.19    137.36
208.06/52.12	c  N dy   832    135232     19441     83024         0     23938    252106    593850    130.32    138.31
220.04/55.16	c  N dy   898    143937     19441     83024         0     32643    252106   2443592    130.67    193.53
233.23/58.49	c  N dy   952    153137     19441     83024         0     41843    252106   4306075    130.49    138.24
240.81/60.34	c  S st   988    158012     19441     83024         0     46716    252106   5336499    130.60   no data
241.61/60.54	c  S st   988    158515     19441     83024         0     47219    252106   5422459    130.60   no data
241.61/60.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
242.01/60.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.10
242.01/60.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
242.01/60.69	c bin-w-bin subsume rem            0 bins  time:  0.01 s
242.41/60.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
242.41/60.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19441 time:  0.01 s
242.41/60.71	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
242.82/60.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
244.01/61.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
252.40/63.26	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time:  2.12 s
252.40/63.27	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
252.80/63.36	c vivif2 --  cl tried    47217 cl shrink        0 lits rem          0 time: 0.09
253.22/63.50	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.14
253.62/63.50	c calculated reachability. Time: 0.00
253.62/63.50	c  N dy   988    158515     19441     83024         0     47217    252106   5422215    130.60   no data
267.98/67.14	c  N dy  1056    168661     19441     83024         0     32507    252106   2128114    130.61    139.59
283.98/71.13	c  N dy  1128    179464     19441     83024         0     43309    252106   4369072    130.55    146.14
301.56/75.50	c  N dy  1200    191017     19441     83024         0     28936    252106   1143263    130.49    141.10
319.13/79.95	c  N dy  1284    203292     19441     83024         0     41210    252106   3691946    130.57    142.60
339.48/85.08	c  N dy  1373    216530     19441     83024         0     27489    252106    582830    130.53    137.50
359.45/90.09	c  N dy  1461    230359     19441     83024         0     41317    252106   3489103    130.56    141.31
370.63/92.86	c  S st  1509    237773     19441     83024         0     48729    252106   5002726    130.61    122.98
371.43/93.06	c  S st  1509    238281     19441     83024         0     49237    252106   5071791    130.61   no data
371.43/93.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
371.85/93.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.10
372.25/93.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
372.25/93.21	c bin-w-bin subsume rem            0 bins  time:  0.01 s
372.25/93.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
372.25/93.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19441 time:  0.01 s
372.25/93.23	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
372.63/93.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
373.83/93.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
382.23/95.70	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.09 s
382.23/95.71	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
382.23/95.80	c vivif2 --  cl tried    49232 cl shrink        0 lits rem          0 time: 0.08
383.03/95.94	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.14
383.03/95.94	c calculated reachability. Time: 0.00
383.03/95.94	c  N dy  1509    238281     19441     83024         0     49232    252106   5070429    130.61   no data
405.79/101.67	c  N dy  1612    253497     19441     83024         0     36466    252106   2248035    130.71    148.14
430.16/107.78	c  N dy  1716    269710     19441     83024         0     52679    252106   5603529    130.75    194.39
457.32/114.57	c  N dy  1833    287457     19441     83024         0     41434    252106   2999372    130.65    140.67
486.51/121.86	c  N dy  1971    305865     19441     83024         0     59841    252106   6808629    130.85    138.31
487.28/122.05	c  F st  1974    306251     19441     83024         0     30238    252106    502389    130.85    119.41
516.44/129.36	c  N dy  2079    325458     19441     83024         0     49444    252106   4920182    130.92    143.15
548.02/137.24	c  N dy  2216    345475     19441     83024         0     38462    252106   1988218    131.03    138.32
566.36/141.84	c  S st  2307    357422     19441     83024         0     50409    252106   4542059    131.15   no data
567.17/142.04	c  S st  2307    357923     19441     83024         0     50910    252106   4606176    131.15   no data
567.17/142.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
567.57/142.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.11
567.57/142.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
567.57/142.19	c bin-w-bin subsume rem            0 bins  time:  0.01 s
567.97/142.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
567.97/142.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19441 time:  0.01 s
567.97/142.21	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
568.36/142.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
569.16/142.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
581.55/145.63	c lits-rem:         7  cl-subs:        5  v-elim:      0  v-fix:    0  time:  3.06 s
581.55/145.64	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
581.95/145.72	c vivif2 --  cl tried    50905 cl shrink        0 lits rem          0 time: 0.08
582.35/145.86	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.14
582.35/145.87	c calculated reachability. Time: 0.00
582.35/145.87	c  N dy  2307    357923     19441     83024         0     50905    252106   4604064    131.15   no data
614.69/153.92	c  N dy  2449    378026     19441     83024         0     39008    252106   1903407    131.26    140.68
646.25/161.85	c  N dy  2584    398124     19441     83024         0     59106    252106   6092284    131.25    145.04
677.42/169.61	c  N dy  2708    418156     19441     83024         0     46135    252106   3151250    131.18    180.90
709.77/177.78	c  N dy  2855    438243     19441     83024         0     66220    252106   7342223    131.32    139.18
740.94/185.53	c  N dy  2995    458334     19441     83024         0     52311    252106   4167822    131.31    138.38
774.08/193.81	c  N dy  3130    478439     19441     83024         0     37418    252106    922733    131.33    138.36
805.24/201.68	c  N dy  3269    498463     19441     83024         0     57441    252106   5209464    131.44    150.37
838.01/209.88	c  N dy  3393    518473     19441     83024         0     41457    252106   1612022    131.47    139.22
867.54/217.21	c  S st  3520    536884     19441     83024         0     59865    252106   5470263    131.55    126.41
868.36/217.42	c  S st  3520    537387     19441     83024         0     60368    252106   5536618    131.55   no data
868.36/217.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
868.77/217.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.11
868.77/217.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
868.77/217.58	c bin-w-bin subsume rem            0 bins  time:  0.01 s
868.77/217.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
868.77/217.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19441 time:  0.01 s
869.14/217.60	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
869.54/217.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
870.74/218.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
882.33/220.93	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.92 s
882.33/220.94	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
882.73/221.03	c vivif2 --  cl tried    60364 cl shrink        0 lits rem          0 time: 0.09
883.13/221.19	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.16
883.13/221.19	c calculated reachability. Time: 0.00
883.13/221.19	c  N dy  3520    537387     19441     83024         0     60364    252106   5535306    131.55   no data
916.69/229.56	c  N dy  3650    557449     19441     83024         0     43424    252106   1753841    131.55    143.53
949.03/237.66	c  N dy  3786    577491     19441     83024         0     63462    252106   6018314    131.59    139.97
982.60/246.01	c  N dy  3924    597538     19441     83024         0     45515    252106   2012956    131.59    139.01
1014.54/254.07	c  N dy  4054    617602     19441     83024         0     65578    252106   6161075    131.57    140.59
1048.51/262.54	c  N dy  4185    637709     19441     83024         0     46688    252106   2031501    131.56    147.53
1080.45/270.59	c  N dy  4312    657743     19441     83024         0     66722    252106   6124026    131.51    138.86
1115.20/279.23	c  N dy  4442    678060     19441     83024         0     47042    252106   1926585    131.52    138.74
1148.75/287.67	c  N dy  4579    698105     19441     83024         0     67085    252106   6104324    131.54    140.42
1183.90/296.43	c  N dy  4708    718202     19441     83024         0     46183    252106   1530571    131.56    145.05
1216.25/304.56	c  N dy  4841    738286     19441     83024         0     66265    252106   5629209    131.51    140.87
1251.80/313.42	c  N dy  4972    758337     19441     83024         0     44327    252106    963932    131.49    144.07
1284.15/321.51	c  N dy  5102    778539     19441     83024         0     64528    252106   5152644    131.49    139.27
1319.71/330.49	c  N dy  5240    798574     19441     83024         0     84562    252106   9322908    131.52    139.05
1332.09/333.57	c  S st  5291    806082     19441     83024         0     49068    252106   1728101    131.52   no data
1332.89/333.78	c  S st  5291    806584     19441     83024         0     49570    252106   1800338    131.52   no data
1333.29/333.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1333.68/333.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.10
1333.68/333.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1333.68/333.93	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1333.68/333.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1333.68/333.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19441 time:  0.01 s
1333.68/333.95	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
1334.10/334.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
1334.50/334.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1337.29/334.81	c lits-rem:         4  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.66 s
1337.29/334.82	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
1337.29/334.85	c vivif2 --  cl tried    49569 cl shrink        0 lits rem          0 time: 0.03
1337.68/334.99	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.14
1338.08/335.00	c calculated reachability. Time: 0.00
1338.08/335.00	c  N dy  5291    806584     19441     83024         0     49569    252106   1799476    131.52   no data
1371.23/343.33	c  N dy  5423    826601     19441     83024         0     69585    252106   5973506    131.56    142.14
1407.98/352.51	c  N dy  5553    846658     19441     83024         0     45638    252106    799491    131.57    139.14
1440.73/360.71	c  N dy  5687    866727     19441     83024         0     65707    252106   5041724    131.62    140.83
1476.67/369.70	c  N dy  5822    886800     19441     83024         0     85778    252106   9268349    131.64    138.69
1509.86/378.01	c  N dy  5952    906861     19441     83024         0     60844    252106   3757232    131.66    141.71
1545.78/387.02	c  N dy  6091    927205     19441     83024         0     81186    252106   7990165    131.66    144.32
1580.93/395.85	c  N dy  6230    947231     19441     83024         0     55214    252106   2370250    131.69    139.79
1615.70/404.51	c  N dy  6370    967246     19441     83024         0     75225    252106   6586772    131.73    140.34
1652.83/413.83	c  N dy  6505    987298     19441     83024         0     48278    252106    757652    131.72    189.20
1686.78/422.31	c  N dy  6649   1007420     19441     83024         0     68397    252106   5078289    131.79    147.44
1723.13/431.46	c  N dy  6787   1027485     19441     83024         0     88461    252106   9266001    131.80    140.18
1757.89/440.17	c  N dy  6921   1047616     19441     83024         0     60594    252106   3065721    131.79    139.21
1793.42/449.03	c  N dy  7047   1067841     19441     83024         0     80818    252106   7265798    131.77    139.59
1801.02/450.90	c  F st  7072   1071875     19441     83024         0     84852    252106   8129567    131.78   no data
1831.00/458.41	c  N dy  7154   1087985     19441     83024         0     51971    252106   1125157    131.80    142.58
1864.53/466.88	c  N dy  7294   1107991     19441     83024         0     71974    252106   5336755    131.86    139.68
1901.67/476.17	c  N dy  7425   1128008     19441     83024         0     91991    252106   9510778    131.84    139.06
1938.03/485.28	c  N dy  7567   1148264     19441     83024         0     62245    252106   3061308    131.89    140.84
1973.97/494.29	c  N dy  7707   1168310     19441     83024         0     82289    252106   7279945    131.92    139.47
2013.92/504.25	c  N dy  7853   1188656     19441     83024         0     51634    252106    622041    131.97    139.47
2048.67/512.99	c  N dy  7992   1208745     19441     83024         0     71723    252106   4828173    131.99    142.22
2051.06/513.51	c  S st  8001   1209876     19441     83024         0     72854    252106   5075794    132.00   no data
2051.86/513.75	c  S st  8001   1210382     19441     83024         0     73360    252106   5156372    132.00   no data
2051.86/513.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2052.66/513.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.13
2052.66/513.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2052.66/513.93	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2052.66/513.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2052.66/513.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19441 time:  0.01 s
2052.66/513.95	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
2053.06/514.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
2054.26/514.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2066.24/517.39	c lits-rem:         6  cl-subs:        5  v-elim:      0  v-fix:    0  time:  3.04 s
2066.64/517.40	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
2066.64/517.49	c vivif2 --  cl tried    73355 cl shrink        0 lits rem          0 time: 0.09
2067.44/517.67	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.18
2067.44/517.67	c calculated reachability. Time: 0.00
2067.44/517.67	c  N dy  8001   1210382     19441     83024         0     73355    252106   5154862    132.00   no data
2104.59/526.99	c  N dy  8137   1230448     19441     83024         0     93420    252106   9316433    132.00    153.07
2141.33/536.15	c  N dy  8266   1250502     19441     83024         0     61475    252106   2460842    131.99    141.93
2176.48/544.93	c  N dy  8389   1270554     19441     83024         0     81522    252106   6667087    131.97    141.61
2215.63/554.70	c  N dy  8524   1290574     19441     83024         0    101541    252106  10876302    131.99    140.03
2251.17/563.62	c  N dy  8660   1310796     19441     83024         0     68767    252106   3777192    131.99    142.24
2287.13/572.68	c  N dy  8782   1330865     19441     83024         0     88832    252106   7903395    131.94    140.07
2328.26/582.93	c  N dy  8928   1351015     19441     83024         0     54982    252106    714953    131.99    140.60
2362.23/591.50	c  N dy  9055   1371151     19441     83024         0     75117    252106   4934727    131.98    141.19
2400.16/600.99	c  N dy  9190   1391178     19441     83024         0     95143    252106   9131612    131.99    150.66
2439.31/610.70	c  N dy  9319   1411270     19441     83024         0     60238    252106   1603303    131.97    139.46
2474.07/619.48	c  N dy  9452   1431312     19441     83024         0     80279    252106   5787071    131.97    144.77
2513.20/629.21	c  N dy  9586   1451358     19441     83024         0    100325    252106  10014018    131.97    150.02
2551.57/638.88	c  N dy  9725   1471509     19441     83024         0     64485    252106   2280588    132.00    139.71
2587.89/647.92	c  N dy  9867   1491562     19441     83024         0     84534    252106   6538222    132.03    140.34
2627.44/657.82	c  N dy  9997   1511709     19441     83024         0    104681    252106  10785352    132.05    141.11
2665.40/667.35	c  N dy 10130   1531763     19441     83024         0     67735    252106   2821473    132.07    140.40
2702.13/676.51	c  N dy 10259   1551874     19441     83024         0     87844    252106   7029400    132.08    145.56
2742.08/686.55	c  N dy 10398   1571906     19441     83024         0    107873    252106  11200655    132.09    140.31
2780.04/696.01	c  N dy 10526   1592126     19441     83024         0     70097    252106   3082998    132.11    142.84
2816.77/705.29	c  N dy 10663   1612188     19441     83024         0     90159    252106   7359716    132.14    144.88
2857.11/715.39	c  N dy 10786   1632295     19441     83024         0    110263    252106  11592101    132.12    140.23
2895.05/724.83	c  N dy 10919   1652355     19441     83024         0     71325    252106   3153443    132.15    158.14
2932.21/734.13	c  N dy 11057   1672428     19441     83024         0     91398    252106   7303049    132.14    147.15
2972.55/744.27	c  N dy 11191   1692437     19441     83024         0    111406    252106  11468131    132.14    142.26
3008.12/753.10	c  S st 11317   1710382     19441     83024         0     69355    252106   2514554    132.16   no data
3008.89/753.33	c  S st 11317   1710887     19441     83024         0     69860    252106   2591910    132.16   no data
3008.89/753.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3009.29/753.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
3009.29/753.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3009.29/753.49	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3009.69/753.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3009.69/753.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19441 time:  0.01 s
3009.69/753.51	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
3010.09/753.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
3010.49/753.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3017.31/755.46	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  1.70 s
3017.31/755.47	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
3017.69/755.52	c vivif2 --  cl tried    69860 cl shrink        0 lits rem          0 time: 0.05
3018.08/755.69	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.17
3018.48/755.70	c calculated reachability. Time: 0.00
3018.48/755.70	c  N dy 11317   1710887     19441     83024         0     69860    252106   2591909    132.16   no data
3054.83/764.83	c  N dy 11446   1731063     19441     83024         0     90035    252106   6751073    132.14    146.75
3095.57/775.01	c  N dy 11584   1751184     19441     83024         0    110154    252106  10970470    132.15    139.64
3135.12/784.98	c  N dy 11722   1771227     19441     83024         0     69204    252106   2237813    132.17    140.65
3172.26/794.23	c  N dy 11863   1791333     19441     83024         0     89308    252106   6511776    132.20    140.42
3212.20/804.21	c  N dy 11991   1811388     19441     83024         0    109361    252106  10695218    132.21    143.24
3252.94/814.44	c  N dy 12118   1831430     19441     83024         0     67403    252106   1668239    132.19    141.46
3290.88/823.93	c  N dy 12255   1851464     19441     83024         0     87435    252106   5914450    132.21    142.80
3331.23/834.03	c  N dy 12391   1871518     19441     83024         0    107488    252106  10138936    132.22    139.45
3373.96/844.75	c  N dy 12525   1891669     19441     83024         0     64641    252106    884898    132.22    140.31
3409.92/853.79	c  N dy 12665   1911789     19441     83024         0     84761    252106   5084834    132.24    147.06
3449.46/863.63	c  N dy 12795   1931878     19441     83024         0    104850    252106   9297840    132.24    141.32
3491.83/874.28	c  N dy 12922   1951934     19441     83024         0    124905    252106  13546560    132.24    154.01
3528.95/883.54	c  N dy 13048   1972155     19441     83024         0     81132    252106   4190451    132.24    140.42
3567.69/893.23	c  N dy 13171   1992241     19441     83024         0    101216    252106   8459419    132.25    161.24
3610.44/903.99	c  N dy 13318   2012374     19441     83024         0    121348    252106  12767039    132.29    143.46
3649.99/913.89	c  N dy 13452   2032510     19441     83024         0     76484    252106   2998118    132.30    140.68
3688.32/923.47	c  N dy 13593   2052685     19441     83024         0     96658    252106   7267478    132.33    139.37
3730.66/934.02	c  N dy 13733   2072787     19441     83024         0    116759    252106  11506938    132.34    140.39
3773.39/944.70	c  N dy 13865   2092925     19441     83024         0     70902    252106   1598144    132.34    139.32
3810.53/954.03	c  N dy 14008   2113014     19441     83024         0     90990    252106   5938483    132.37    161.15
3851.28/964.26	c  N dy 14141   2133243     19441     83024         0    111219    252106  10198240    132.38    140.00
3895.22/975.24	c  N dy 14271   2153457     19441     83024         0    131433    252106  14391191    132.37    149.15
3933.16/984.71	c  N dy 14405   2173705     19441     83024         0     84682    252106   4286760    132.37    140.21
3972.71/994.62	c  N dy 14537   2193756     19441     83024         0    104732    252106   8467806    132.38    139.41
4008.66/1003.63	c  S st 14640   2210889     19441     83024         0    121865    252106  12031388    132.36   no data
4009.87/1003.94	c  S st 14640   2211394     19441     83024         0    122370    252106  12107897    132.36   no data
4009.87/1003.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4010.65/1004.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.17
4010.65/1004.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4010.65/1004.17	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4010.65/1004.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4010.65/1004.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19441 time:  0.01 s
4010.65/1004.19	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
4011.85/1004.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
4014.66/1005.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4043.00/1012.25	c lits-rem:         2  cl-subs:       12  v-elim:      0  v-fix:    0  time:  7.12 s
4043.00/1012.26	c vivif2 --  cl tried    83024 cl shrink        0 lits rem          0 time: 0.01
4043.80/1012.46	c vivif2 --  cl tried   122358 cl shrink        0 lits rem          0 time: 0.20
4045.02/1012.72	c asymm  cl-useful: 0/83024/83024 lits-rem:0 time: 0.26
4045.02/1012.72	c calculated reachability. Time: 0.00
4045.02/1012.73	c  N dy 14640   2211394     19441     83024         0    122358    252106  12101184    132.36   no data
4087.74/1023.44	c  N dy 14777   2231599     19441     83024         0     74571    252106   1972474    132.37    140.00
4125.28/1032.87	c  N dy 14909   2251892     19441     83024         0     94863    252106   6198155    132.37    142.62
4166.83/1043.22	c  N dy 15046   2271995     19441     83024         0    114966    252106  10427374    132.38    140.56
4211.99/1054.56	c  N dy 15191   2292034     19441     83024         0    135002    252106  14705769    132.41    140.02
4250.31/1064.18	c  N dy 15332   2312129     19441     83024         0     86097    252106   4257240    132.43    139.91
4290.25/1074.19	c  N dy 15468   2332242     19441     83024         0    106205    252106   8494674    132.45    139.66
4333.79/1085.03	c  N dy 15602   2352337     19441     83024         0    126297    252106  12694199    132.45    139.58
4377.32/1095.96	c  N dy 15734   2372438     19441     83024         0     76400    252106   1961370    132.46    140.03
4415.68/1105.58	c  N dy 15867   2392979     19441     83024         0     96938    252106   6276491    132.47    139.47
4457.21/1115.96	c  N dy 16005   2413038     19441     83024         0    116996    252106  10455933    132.47    143.70
4503.14/1127.43	c  N dy 16145   2433128     19441     83024         0    137085    252106  14687600    132.48    142.77
4542.29/1137.23	c  N dy 16278   2453154     19441     83024         0     86117    252106   3789076    132.48    175.56
4581.83/1147.12	c  N dy 16412   2473195     19441     83024         0    106156    252106   7947643    132.48    143.30
4625.40/1158.07	c  N dy 16553   2493304     19441     83024         0    126263    252106  12213418    132.49    150.28
4671.31/1169.55	c  N dy 16691   2513365     19441     83024         0     74330    252106   1089349    132.49    168.99
4708.88/1178.91	c  N dy 16823   2533520     19441     83024         0     94484    252106   5299442    132.49    148.03
4750.00/1189.21	c  N dy 16961   2553692     19441     83024         0    114656    252106   9537649    132.51    140.38
4793.94/1200.29	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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3173722-1304030109/watcher-3173722-1304030109 -o /tmp/evaluation-result-3173722-1304030109/solver-3173722-1304030109 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173722-1304030109.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 8.17 8.03 6.29 6/180 25621
/proc/meminfo: memFree=12631312/32950928 swapFree=67111528/67111528
[pid=25621] ppid=25619 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/25621/stat : 25621 (strangenight2-m) R 25619 25621 25390 0 -1 4202496 408 0 0 0 0 0 0 0 22 0 4 0 593241564 52441088 347 33554432000 4194304 4627427 140734922707408 18446744073709551615 48000917440434 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25621/statm: 12803 347 299 106 0 7774 0
[pid=25621/tid=25622] ppid=25619 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/25621/task/25622/stat : 25622 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 593241564 52441088 347 33554432000 4194304 4627427 140734922707408 18446744073709551615 48000917440432 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25621/tid=25623] ppid=25619 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/25621/task/25623/stat : 25623 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 593241564 52441088 347 33554432000 4194304 4627427 140734922707408 18446744073709551615 251379344438 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25621/tid=25624] ppid=25619 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/25621/task/25624/stat : 25624 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 593241564 52441088 347 33554432000 4194304 4627427 140734922707408 18446744073709551615 251367603185 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0717729 s]
/proc/loadavg: 8.17 8.03 6.29 6/180 25621
/proc/meminfo: memFree=12631312/32950928 swapFree=67111528/67111528
[pid=25621] ppid=25619 vsize=322160 CPUtime=3.4 cores=1,3,5,7
/proc/25621/stat : 25621 (strangenight2-m) R 25619 25621 25390 0 -1 4202496 30665 0 0 0 335 5 0 0 19 0 4 0 593241564 329891840 23286 33554432000 4194304 4627427 140734922707408 18446744073709551615 4306360 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25621/statm: 80540 23287 385 106 0 75511 0
[pid=25621/tid=25622] ppid=25619 vsize=322160 CPUtime=0.84 cores=1,3,5,7
/proc/25621/task/25622/stat : 25622 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 8418 0 0 0 84 0 0 0 18 0 4 0 593241564 329891840 23287 33554432000 4194304 4627427 140734922707408 18446744073709551615 4330039 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25621/tid=25623] ppid=25619 vsize=322160 CPUtime=0.83 cores=1,3,5,7
/proc/25621/task/25623/stat : 25623 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 8748 0 0 0 83 0 0 0 18 0 4 0 593241564 329891840 23287 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25621/tid=25624] ppid=25619 vsize=322160 CPUtime=0.84 cores=1,3,5,7
/proc/25621/task/25624/stat : 25624 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 4379 0 0 0 83 1 0 0 19 0 4 0 593241564 329891840 23287 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 322160

[startup+0.961776 s]
/proc/loadavg: 8.17 8.03 6.29 6/180 25621
/proc/meminfo: memFree=12631312/32950928 swapFree=67111528/67111528
[pid=25621] ppid=25619 vsize=322160 CPUtime=3.8 cores=1,3,5,7
/proc/25621/stat : 25621 (strangenight2-m) R 25619 25621 25390 0 -1 4202496 31048 0 0 0 375 5 0 0 19 0 4 0 593241564 329891840 23669 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308824 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25621/statm: 80540 23669 385 106 0 75511 0
[pid=25621/tid=25622] ppid=25619 vsize=322160 CPUtime=0.94 cores=1,3,5,7
/proc/25621/task/25622/stat : 25622 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 8518 0 0 0 94 0 0 0 19 0 4 0 593241564 329891840 23669 33554432000 4194304 4627427 140734922707408 18446744073709551615 4332689 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25621/tid=25623] ppid=25619 vsize=322160 CPUtime=0.93 cores=1,3,5,7
/proc/25621/task/25623/stat : 25623 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 8848 0 0 0 93 0 0 0 18 0 4 0 593241564 329891840 23669 33554432000 4194304 4627427 140734922707408 18446744073709551615 4310378 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25621/tid=25624] ppid=25619 vsize=322160 CPUtime=0.94 cores=1,3,5,7
/proc/25621/task/25624/stat : 25624 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 4449 0 0 0 93 1 0 0 19 0 4 0 593241564 329891840 23669 33554432000 4194304 4627427 140734922707408 18446744073709551615 4327897 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 322160

[startup+1.00077 s]
/proc/loadavg: 8.17 8.03 6.29 6/180 25621
/proc/meminfo: memFree=12631312/32950928 swapFree=67111528/67111528
[pid=25621] ppid=25619 vsize=322160 CPUtime=3.95 cores=1,3,5,7
/proc/25621/stat : 25621 (strangenight2-m) R 25619 25621 25390 0 -1 4202496 31215 0 0 0 390 5 0 0 19 0 4 0 593241564 329891840 23836 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25621/statm: 80540 23836 385 106 0 75511 0
[pid=25621/tid=25622] ppid=25619 vsize=322160 CPUtime=0.98 cores=1,3,5,7
/proc/25621/task/25622/stat : 25622 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 8568 0 0 0 98 0 0 0 19 0 4 0 593241564 329891840 23836 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25621/tid=25623] ppid=25619 vsize=322160 CPUtime=0.97 cores=1,3,5,7
/proc/25621/task/25623/stat : 25623 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 8891 0 0 0 97 0 0 0 18 0 4 0 593241564 329891840 23836 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25621/tid=25624] ppid=25619 vsize=322160 CPUtime=0.98 cores=1,3,5,7
/proc/25621/task/25624/stat : 25624 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 4475 0 0 0 97 1 0 0 19 0 4 0 593241564 329891840 23836 33554432000 4194304 4627427 140734922707408 18446744073709551615 4321835 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 322160

[startup+1.10075 s]
/proc/loadavg: 8.17 8.03 6.29 6/180 25621
/proc/meminfo: memFree=12631312/32950928 swapFree=67111528/67111528
[pid=25621] ppid=25619 vsize=322160 CPUtime=4.35 cores=1,3,5,7
/proc/25621/stat : 25621 (strangenight2-m) R 25619 25621 25390 0 -1 4202496 31543 0 0 0 430 5 0 0 19 0 4 0 593241564 329891840 24164 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25621/statm: 80540 24164 385 106 0 75511 0
[pid=25621/tid=25622] ppid=25619 vsize=322160 CPUtime=1.08 cores=1,3,5,7
/proc/25621/task/25622/stat : 25622 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 8645 0 0 0 108 0 0 0 19 0 4 0 593241564 329891840 24164 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25621/tid=25623] ppid=25619 vsize=322160 CPUtime=1.07 cores=1,3,5,7
/proc/25621/task/25623/stat : 25623 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 8977 0 0 0 107 0 0 0 18 0 4 0 593241564 329891840 24164 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25621/tid=25624] ppid=25619 vsize=322160 CPUtime=1.08 cores=1,3,5,7
/proc/25621/task/25624/stat : 25624 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 4550 0 0 0 107 1 0 0 19 0 4 0 593241564 329891840 24164 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 322160

[startup+1.50068 s]
/proc/loadavg: 8.17 8.03 6.29 6/180 25621
/proc/meminfo: memFree=12631312/32950928 swapFree=67111528/67111528
[pid=25621] ppid=25619 vsize=322160 CPUtime=5.95 cores=1,3,5,7
/proc/25621/stat : 25621 (strangenight2-m) R 25619 25621 25390 0 -1 4202496 32715 0 0 0 590 5 0 0 20 0 4 0 593241564 329891840 25336 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25621/statm: 80540 25337 385 106 0 75511 0
[pid=25621/tid=25622] ppid=25619 vsize=322160 CPUtime=1.48 cores=1,3,5,7
/proc/25621/task/25622/stat : 25622 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 8920 0 0 0 148 0 0 0 19 0 4 0 593241564 329891840 25337 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25621/tid=25623] ppid=25619 vsize=322160 CPUtime=1.47 cores=1,3,5,7
/proc/25621/task/25623/stat : 25623 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 9279 0 0 0 147 0 0 0 19 0 4 0 593241564 329891840 25337 33554432000 4194304 4627427 140734922707408 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25621/tid=25624] ppid=25619 vsize=322160 CPUtime=1.48 cores=1,3,5,7
/proc/25621/task/25624/stat : 25624 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 4862 0 0 0 147 1 0 0 20 0 4 0 593241564 329891840 25337 33554432000 4194304 4627427 140734922707408 18446744073709551615 4306562 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 322160

[startup+3.10038 s]
/proc/loadavg: 8.16 8.03 6.30 9/184 25625
/proc/meminfo: memFree=12518280/32950928 swapFree=67111528/67111528
[pid=25621] ppid=25619 vsize=453424 CPUtime=12.33 cores=1,3,5,7
/proc/25621/stat : 25621 (strangenight2-m) R 25619 25621 25390 0 -1 4202496 37624 0 0 0 1227 6 0 0 25 0 4 0 593241564 464306176 30245 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308335 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25621/statm: 113356 30245 385 106 0 108327 0
[pid=25621/tid=25622] ppid=25619 vsize=453424 CPUtime=3.08 cores=1,3,5,7
/proc/25621/task/25622/stat : 25622 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 10017 0 0 0 307 1 0 0 25 0 4 0 593241564 464306176 30245 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25621/tid=25623] ppid=25619 vsize=453424 CPUtime=3.08 cores=1,3,5,7
/proc/25621/task/25623/stat : 25623 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 10485 0 0 0 307 1 0 0 23 0 4 0 593241564 464306176 30245 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25621/tid=25624] ppid=25619 vsize=453424 CPUtime=3.07 cores=1,3,5,7
/proc/25621/task/25624/stat : 25624 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 6299 0 0 0 306 1 0 0 25 0 4 0 593241564 464306176 30246 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 453424

[startup+6.30678 s]
/proc/loadavg: 8.16 8.03 6.30 9/184 25625
/proc/meminfo: memFree=12478592/32950928 swapFree=67111528/67111528
[pid=25621] ppid=25619 vsize=425644 CPUtime=25.14 cores=1,3,5,7
/proc/25621/stat : 25621 (strangenight2-m) R 25619 25621 25390 0 -1 4202496 47578 0 0 0 2505 9 0 0 25 0 4 0 593241564 435859456 35667 33554432000 4194304 4627427 140734922707408 18446744073709551615 4327427 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25621/statm: 106411 35667 386 106 0 101382 0
[pid=25621/tid=25622] ppid=25619 vsize=425644 CPUtime=6.29 cores=1,3,5,7
/proc/25621/task/25622/stat : 25622 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 12078 0 0 0 627 2 0 0 25 0 4 0 593241564 435859456 35668 33554432000 4194304 4627427 140734922707408 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25621/tid=25623] ppid=25619 vsize=425644 CPUtime=6.28 cores=1,3,5,7
/proc/25621/task/25623/stat : 25623 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 12744 0 0 0 627 1 0 0 25 0 4 0 593241564 435859456 35668 33554432000 4194304 4627427 140734922707408 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25621/tid=25624] ppid=25619 vsize=425644 CPUtime=6.26 cores=1,3,5,7
/proc/25621/task/25624/stat : 25624 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 9672 0 0 0 624 2 0 0 25 0 4 0 593241564 435859456 35668 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 425644

[startup+12.7006 s]
/proc/loadavg: 8.13 8.03 6.32 9/184 25625
/proc/meminfo: memFree=12412240/32950928 swapFree=67111528/67111528
[pid=25621] ppid=25619 vsize=704476 CPUtime=50.69 cores=1,3,5,7
/proc/25621/stat : 25621 (strangenight2-m) R 25619 25621 25390 0 -1 4202496 103804 0 0 0 5046 23 0 0 25 0 4 0 593241564 721383424 76757 33554432000 4194304 4627427 140734922707408 18446744073709551615 4332689 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25621/statm: 176119 76758 390 106 0 171090 0
[pid=25621/tid=25622] ppid=25619 vsize=704476 CPUtime=12.68 cores=1,3,5,7
/proc/25621/task/25622/stat : 25622 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 37699 0 0 0 1262 6 0 0 25 0 4 0 593241564 721383424 76758 33554432000 4194304 4627427 140734922707408 18446744073709551615 4427416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25621/tid=25623] ppid=25619 vsize=704476 CPUtime=12.68 cores=1,3,5,7
/proc/25621/task/25623/stat : 25623 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 18507 0 0 0 1265 3 0 0 25 0 4 0 593241564 721383424 76758 33554432000 4194304 4627427 140734922707408 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25621/tid=25624] ppid=25619 vsize=704476 CPUtime=12.61 cores=1,3,5,7
/proc/25621/task/25624/stat : 25624 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 14040 0 0 0 1258 3 0 0 25 0 4 0 593241564 721383424 76758 33554432000 4194304 4627427 140734922707408 18446744073709551615 4327647 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 704476

[startup+25.5012 s]
/proc/loadavg: 8.11 8.03 6.33 9/184 25626
/proc/meminfo: memFree=12259232/32950928 swapFree=67111528/67111528
[pid=25621] ppid=25619 vsize=562016 CPUtime=101.81 cores=1,3,5,7
/proc/25621/stat : 25621 (strangenight2-m) R 25619 25621 25390 0 -1 4202496 160723 0 0 0 10144 37 0 0 25 0 4 0 593241564 575504384 85073 33554432000 4194304 4627427 140734922707408 18446744073709551615 4415761 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25621/statm: 140504 85073 390 106 0 135475 0
[pid=25621/tid=25622] ppid=25619 vsize=562016 CPUtime=25.48 cores=1,3,5,7
/proc/25621/task/25622/stat : 25622 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 46776 0 0 0 2540 8 0 0 25 0 4 0 593241564 575504384 85073 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308162 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25621/tid=25623] ppid=25619 vsize=562016 CPUtime=25.48 cores=1,3,5,7
/proc/25621/task/25623/stat : 25623 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 34620 0 0 0 2541 7 0 0 25 0 4 0 593241564 575504384 85073 33554432000 4194304 4627427 140734922707408 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25621/tid=25624] ppid=25619 vsize=562016 CPUtime=25.34 cores=1,3,5,7
/proc/25621/task/25624/stat : 25624 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 33677 0 0 0 2527 7 0 0 25 0 4 0 593241564 575504384 85073 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 562016

[startup+51.1004 s]
/proc/loadavg: 8.15 8.04 6.38 9/184 25626
/proc/meminfo: memFree=12004320/32950928 swapFree=67111528/67111528
[pid=25621] ppid=25619 vsize=800040 CPUtime=204.07 cores=1,3,5,7
/proc/25621/stat : 25621 (strangenight2-m) R 25619 25621 25390 0 -1 4202496 250040 0 0 0 20345 62 0 0 25 0 4 0 593241564 819240960 142677 33554432000 4194304 4627427 140734922707408 18446744073709551615 4332997 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25621/statm: 200010 142677 390 106 0 194981 0
[pid=25621/tid=25622] ppid=25619 vsize=800040 CPUtime=51.07 cores=1,3,5,7
/proc/25621/task/25622/stat : 25622 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 59707 0 0 0 5095 12 0 0 25 0 4 0 593241564 819240960 142677 33554432000 4194304 4627427 140734922707408 18446744073709551615 4332909 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25621/tid=25623] ppid=25619 vsize=800040 CPUtime=51.07 cores=1,3,5,7
/proc/25621/task/25623/stat : 25623 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 56124 0 0 0 5095 12 0 0 25 0 4 0 593241564 819240960 142677 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308277 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25621/tid=25624] ppid=25619 vsize=800040 CPUtime=50.81 cores=1,3,5,7
/proc/25621/task/25624/stat : 25624 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 61374 0 0 0 5065 16 0 0 25 0 4 0 593241564 819240960 142678 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.07
Current children cumulated vsize (KiB) 800040

[startup+102.301 s]
/proc/loadavg: 8.18 8.06 6.48 9/184 25628
/proc/meminfo: memFree=11909424/32950928 swapFree=67111528/67111528
[pid=25621] ppid=25619 vsize=755936 CPUtime=408.58 cores=1,3,5,7
/proc/25621/stat : 25621 (strangenight2-m) R 25619 25621 25390 0 -1 4202496 344978 0 0 0 40764 94 0 0 25 0 4 0 593241564 774078464 148559 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25621/statm: 188984 148559 390 106 0 183955 0
[pid=25621/tid=25622] ppid=25619 vsize=755936 CPUtime=102.28 cores=1,3,5,7
/proc/25621/task/25622/stat : 25622 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 79197 0 0 0 10209 19 0 0 25 0 4 0 593241564 774078464 148559 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25621/tid=25623] ppid=25619 vsize=755936 CPUtime=102.26 cores=1,3,5,7
/proc/25621/task/25623/stat : 25623 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 83700 0 0 0 10204 22 0 0 25 0 4 0 593241564 774078464 148559 33554432000 4194304 4627427 140734922707408 18446744073709551615 4327583 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25621/tid=25624] ppid=25619 vsize=755936 CPUtime=101.73 cores=1,3,5,7
/proc/25621/task/25624/stat : 25624 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 86268 0 0 0 10149 24 0 0 25 0 4 0 593241564 774078464 148559 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.58
Current children cumulated vsize (KiB) 755936

[startup+162.301 s]

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

[pid=25621] ppid=25619 vsize=1483716 CPUtime=2565.53 cores=1,3,5,7
/proc/25621/stat : 25621 (strangenight2-m) R 25619 25621 25390 0 -1 4202496 1363815 0 0 0 256099 454 0 0 25 0 4 0 593241564 1519325184 280128 33554432000 4194304 4627427 140734922707408 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25621/statm: 370929 280128 390 106 0 365900 0
[pid=25621/tid=25622] ppid=25619 vsize=1483716 CPUtime=642.26 cores=1,3,5,7
/proc/25621/task/25622/stat : 25622 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 313431 0 0 0 64121 105 0 0 25 0 4 0 593241564 1519325184 280128 33554432000 4194304 4627427 140734922707408 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25621/tid=25623] ppid=25619 vsize=1483716 CPUtime=642.2 cores=1,3,5,7
/proc/25621/task/25623/stat : 25623 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 354573 0 0 0 64109 111 0 0 25 0 4 0 593241564 1519325184 280128 33554432000 4194304 4627427 140734922707408 18446744073709551615 4327929 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25621/tid=25624] ppid=25619 vsize=1483716 CPUtime=638.77 cores=1,3,5,7
/proc/25621/task/25624/stat : 25624 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 345485 0 0 0 63764 113 0 0 25 0 4 0 593241564 1519325184 280128 33554432000 4194304 4627427 140734922707408 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.53
Current children cumulated vsize (KiB) 1483716

[startup+702.301 s]
/proc/loadavg: 8.13 8.10 7.25 9/184 25647
/proc/meminfo: memFree=11022448/32950928 swapFree=67111528/67111528
[pid=25621] ppid=25619 vsize=1353728 CPUtime=2805.18 cores=1,3,5,7
/proc/25621/stat : 25621 (strangenight2-m) R 25619 25621 25390 0 -1 4202496 1460900 0 0 0 280030 488 0 0 25 0 4 0 593241564 1386217472 277911 33554432000 4194304 4627427 140734922707408 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25621/statm: 338432 277911 390 106 0 333403 0
[pid=25621/tid=25622] ppid=25619 vsize=1353728 CPUtime=702.26 cores=1,3,5,7
/proc/25621/task/25622/stat : 25622 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 335186 0 0 0 70112 114 0 0 25 0 4 0 593241564 1386217472 277911 33554432000 4194304 4627427 140734922707408 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25621/tid=25623] ppid=25619 vsize=1353728 CPUtime=702.18 cores=1,3,5,7
/proc/25621/task/25623/stat : 25623 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 379647 0 0 0 70099 119 0 0 25 0 4 0 593241564 1386217472 277911 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308396 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25621/tid=25624] ppid=25619 vsize=1353728 CPUtime=698.45 cores=1,3,5,7
/proc/25621/task/25624/stat : 25624 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 370421 0 0 0 69724 121 0 0 25 0 4 0 593241564 1386217472 277911 33554432000 4194304 4627427 140734922707408 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.18
Current children cumulated vsize (KiB) 1353728

[startup+762.301 s]
/proc/loadavg: 8.14 8.11 7.30 9/184 25648
/proc/meminfo: memFree=11103280/32950928 swapFree=67111528/67111528
[pid=25621] ppid=25619 vsize=1247952 CPUtime=3044.84 cores=1,3,5,7
/proc/25621/stat : 25621 (strangenight2-m) R 25619 25621 25390 0 -1 4202496 1553163 0 0 0 303960 524 0 0 25 0 4 0 593241564 1277902848 251687 33554432000 4194304 4627427 140734922707408 18446744073709551615 4309125 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25621/statm: 311988 251687 390 106 0 306959 0
[pid=25621/tid=25622] ppid=25619 vsize=1247952 CPUtime=762.26 cores=1,3,5,7
/proc/25621/task/25622/stat : 25622 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 354709 0 0 0 76104 122 0 0 25 0 4 0 593241564 1277902848 251687 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25621/tid=25623] ppid=25619 vsize=1247952 CPUtime=762.17 cores=1,3,5,7
/proc/25621/task/25623/stat : 25623 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 405677 0 0 0 76088 129 0 0 25 0 4 0 593241564 1277902848 251687 33554432000 4194304 4627427 140734922707408 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25621/tid=25624] ppid=25619 vsize=1247952 CPUtime=758.12 cores=1,3,5,7
/proc/25621/task/25624/stat : 25624 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 393492 0 0 0 75682 130 0 0 25 0 4 0 593241564 1277902848 251687 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.84
Current children cumulated vsize (KiB) 1247952

[startup+822.301 s]
/proc/loadavg: 8.14 8.12 7.35 9/184 25650
/proc/meminfo: memFree=11088628/32950928 swapFree=67111528/67111528
[pid=25621] ppid=25619 vsize=1436912 CPUtime=3284.51 cores=1,3,5,7
/proc/25621/stat : 25621 (strangenight2-m) R 25619 25621 25390 0 -1 4202496 1677137 0 0 0 327883 568 0 0 25 0 4 0 593241564 1471397888 276199 33554432000 4194304 4627427 140734922707408 18446744073709551615 4321739 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25621/statm: 359228 276199 390 106 0 354199 0
[pid=25621/tid=25622] ppid=25619 vsize=1436912 CPUtime=822.26 cores=1,3,5,7
/proc/25621/task/25622/stat : 25622 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 379227 0 0 0 82094 132 0 0 25 0 4 0 593241564 1471397888 276199 33554432000 4194304 4627427 140734922707408 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25621/tid=25623] ppid=25619 vsize=1436912 CPUtime=822.16 cores=1,3,5,7
/proc/25621/task/25623/stat : 25623 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 453010 0 0 0 82073 143 0 0 25 0 4 0 593241564 1471397888 276200 33554432000 4194304 4627427 140734922707408 18446744073709551615 4427416 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25621/tid=25624] ppid=25619 vsize=1436912 CPUtime=817.8 cores=1,3,5,7
/proc/25621/task/25624/stat : 25624 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 421171 0 0 0 81640 140 0 0 25 0 4 0 593241564 1471397888 276200 33554432000 4194304 4627427 140734922707408 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.51
Current children cumulated vsize (KiB) 1436912

[startup+882.301 s]
/proc/loadavg: 8.10 8.11 7.39 9/184 25652
/proc/meminfo: memFree=10972532/32950928 swapFree=67111528/67111528
[pid=25621] ppid=25619 vsize=1438708 CPUtime=3524.15 cores=1,3,5,7
/proc/25621/stat : 25621 (strangenight2-m) R 25619 25621 25390 0 -1 4202496 1787811 0 0 0 351808 607 0 0 25 0 4 0 593241564 1473236992 268791 33554432000 4194304 4627427 140734922707408 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25621/statm: 359677 268791 390 106 0 354648 0
[pid=25621/tid=25622] ppid=25619 vsize=1438708 CPUtime=882.26 cores=1,3,5,7
/proc/25621/task/25622/stat : 25622 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 407097 0 0 0 88082 144 0 0 25 0 4 0 593241564 1473236992 268791 33554432000 4194304 4627427 140734922707408 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25621/tid=25623] ppid=25619 vsize=1438708 CPUtime=882.16 cores=1,3,5,7
/proc/25621/task/25623/stat : 25623 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 480718 0 0 0 88063 153 0 0 25 0 4 0 593241564 1473236992 268791 33554432000 4194304 4627427 140734922707408 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25621/tid=25624] ppid=25619 vsize=1438708 CPUtime=877.46 cores=1,3,5,7
/proc/25621/task/25624/stat : 25624 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 448569 0 0 0 87596 150 0 0 25 0 4 0 593241564 1473236992 268791 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.15
Current children cumulated vsize (KiB) 1438708

[startup+942.3 s]
/proc/loadavg: 8.08 8.10 7.43 9/184 25653
/proc/meminfo: memFree=10909368/32950928 swapFree=67111528/67111528
[pid=25621] ppid=25619 vsize=1383624 CPUtime=3763.82 cores=1,3,5,7
/proc/25621/stat : 25621 (strangenight2-m) R 25619 25621 25390 0 -1 4202496 1895866 0 0 0 375736 646 0 0 25 0 4 0 593241564 1416830976 271015 33554432000 4194304 4627427 140734922707408 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25621/statm: 345906 271015 390 106 0 340877 0
[pid=25621/tid=25622] ppid=25619 vsize=1383624 CPUtime=942.26 cores=1,3,5,7
/proc/25621/task/25622/stat : 25622 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 434462 0 0 0 94073 153 0 0 25 0 4 0 593241564 1416830976 271015 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308343 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25621/tid=25623] ppid=25619 vsize=1383624 CPUtime=942.15 cores=1,3,5,7
/proc/25621/task/25623/stat : 25623 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 508516 0 0 0 94051 164 0 0 25 0 4 0 593241564 1416830976 271015 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25621/tid=25624] ppid=25619 vsize=1383624 CPUtime=937.13 cores=1,3,5,7
/proc/25621/task/25624/stat : 25624 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 475440 0 0 0 93554 159 0 0 25 0 4 0 593241564 1416830976 271015 33554432000 4194304 4627427 140734922707408 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.82
Current children cumulated vsize (KiB) 1383624

[startup+1002.3 s]
/proc/loadavg: 8.03 8.08 7.47 9/184 25655
/proc/meminfo: memFree=10883536/32950928 swapFree=67111528/67111528
[pid=25621] ppid=25619 vsize=1384532 CPUtime=4003.46 cores=1,3,5,7
/proc/25621/stat : 25621 (strangenight2-m) R 25619 25621 25390 0 -1 4202496 2002308 0 0 0 399667 679 0 0 25 0 4 0 593241564 1417760768 284768 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308715 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25621/statm: 346133 284768 390 106 0 341104 0
[pid=25621/tid=25622] ppid=25619 vsize=1384532 CPUtime=1002.25 cores=1,3,5,7
/proc/25621/task/25622/stat : 25622 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 460133 0 0 0 100064 161 0 0 25 0 4 0 593241564 1417760768 284768 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308345 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25621/tid=25623] ppid=25619 vsize=1384532 CPUtime=1002.14 cores=1,3,5,7
/proc/25621/task/25623/stat : 25623 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 535863 0 0 0 100042 172 0 0 25 0 4 0 593241564 1417760768 284768 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25621/tid=25624] ppid=25619 vsize=1384532 CPUtime=996.8 cores=1,3,5,7
/proc/25621/task/25624/stat : 25624 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 501272 0 0 0 99514 166 0 0 25 0 4 0 593241564 1417760768 284768 33554432000 4194304 4627427 140734922707408 18446744073709551615 4327583 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.46
Current children cumulated vsize (KiB) 1384532

[startup+1062.31 s]
/proc/loadavg: 8.01 8.06 7.50 9/184 25656
/proc/meminfo: memFree=10547820/32950928 swapFree=67111528/67111528
[pid=25621] ppid=25619 vsize=1648116 CPUtime=4243.14 cores=1,3,5,7
/proc/25621/stat : 25621 (strangenight2-m) R 25619 25621 25390 0 -1 4202496 2171311 0 0 0 423586 728 0 0 25 0 4 0 593241564 1687670784 341510 33554432000 4194304 4627427 140734922707408 18446744073709551615 4310094 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25621/statm: 412029 341510 390 106 0 407000 0
[pid=25621/tid=25622] ppid=25619 vsize=1648116 CPUtime=1062.25 cores=1,3,5,7
/proc/25621/task/25622/stat : 25622 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 514024 0 0 0 106050 175 0 0 25 0 4 0 593241564 1687670784 341510 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25621/tid=25623] ppid=25619 vsize=1648116 CPUtime=1062.13 cores=1,3,5,7
/proc/25621/task/25623/stat : 25623 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 561590 0 0 0 106029 184 0 0 25 0 4 0 593241564 1687670784 341510 33554432000 4194304 4627427 140734922707408 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25621/tid=25624] ppid=25619 vsize=1648116 CPUtime=1056.48 cores=1,3,5,7
/proc/25621/task/25624/stat : 25624 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 547673 0 0 0 105470 178 0 0 25 0 4 0 593241564 1687670784 341510 33554432000 4194304 4627427 140734922707408 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.14
Current children cumulated vsize (KiB) 1648116

[startup+1122.3 s]
/proc/loadavg: 8.05 8.06 7.53 9/184 25658
/proc/meminfo: memFree=10410892/32950928 swapFree=67111528/67111528
[pid=25621] ppid=25619 vsize=1706144 CPUtime=4482.77 cores=1,3,5,7
/proc/25621/stat : 25621 (strangenight2-m) R 25619 25621 25390 0 -1 4202496 2274004 0 0 0 447513 764 0 0 25 0 4 0 593241564 1747091456 363735 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25621/statm: 426536 363735 390 106 0 421507 0
[pid=25621/tid=25622] ppid=25619 vsize=1706144 CPUtime=1122.25 cores=1,3,5,7
/proc/25621/task/25622/stat : 25622 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 539342 0 0 0 112040 185 0 0 25 0 4 0 593241564 1747091456 363735 33554432000 4194304 4627427 140734922707408 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25621/tid=25623] ppid=25619 vsize=1706144 CPUtime=1122.11 cores=1,3,5,7
/proc/25621/task/25623/stat : 25623 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 587648 0 0 0 112017 194 0 0 25 0 4 0 593241564 1747091456 363735 33554432000 4194304 4627427 140734922707408 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25621/tid=25624] ppid=25619 vsize=1706144 CPUtime=1116.14 cores=1,3,5,7
/proc/25621/task/25624/stat : 25624 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 573218 0 0 0 111429 185 0 0 25 0 4 0 593241564 1747091456 363735 33554432000 4194304 4627427 140734922707408 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.77
Current children cumulated vsize (KiB) 1706144

[startup+1182.3 s]
/proc/loadavg: 8.11 8.08 7.57 9/184 25691
/proc/meminfo: memFree=11245040/32950928 swapFree=67111528/67111528
[pid=25621] ppid=25619 vsize=1707472 CPUtime=4722.43 cores=1,3,5,7
/proc/25621/stat : 25621 (strangenight2-m) R 25619 25621 25390 0 -1 4202496 2379390 0 0 0 471440 803 0 0 25 0 4 0 593241564 1748451328 354668 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25621/statm: 426868 354668 390 106 0 421839 0
[pid=25621/tid=25622] ppid=25619 vsize=1707472 CPUtime=1182.25 cores=1,3,5,7
/proc/25621/task/25622/stat : 25622 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 566051 0 0 0 118030 195 0 0 25 0 4 0 593241564 1748451328 354668 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25621/tid=25623] ppid=25619 vsize=1707472 CPUtime=1182.1 cores=1,3,5,7
/proc/25621/task/25623/stat : 25623 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 612790 0 0 0 118006 204 0 0 25 0 4 0 593241564 1748451328 354668 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25621/tid=25624] ppid=25619 vsize=1707472 CPUtime=1175.81 cores=1,3,5,7
/proc/25621/task/25624/stat : 25624 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 599880 0 0 0 117386 195 0 0 25 0 4 0 593241564 1748451328 354668 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308285 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.43
Current children cumulated vsize (KiB) 1707472



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.15 8.09 7.58 9/184 25691
/proc/meminfo: memFree=11148448/32950928 swapFree=67111528/67111528
[pid=25621] ppid=25619 vsize=1707692 CPUtime=4800.35 cores=1,3,5,7
/proc/25621/stat : 25621 (strangenight2-m) R 25619 25621 25390 0 -1 4202496 2411097 0 0 0 479221 814 0 0 25 0 4 0 593241564 1748676608 369583 33554432000 4194304 4627427 140734922707408 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25621/statm: 426923 369583 390 106 0 421894 0
[pid=25621/tid=25622] ppid=25619 vsize=1707692 CPUtime=1201.75 cores=1,3,5,7
/proc/25621/task/25622/stat : 25622 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 573385 0 0 0 119979 196 0 0 25 0 4 0 593241564 1748676608 369583 33554432000 4194304 4627427 140734922707408 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25621/tid=25623] ppid=25619 vsize=1707692 CPUtime=1201.61 cores=1,3,5,7
/proc/25621/task/25623/stat : 25623 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 622134 0 0 0 119954 207 0 0 25 0 4 0 593241564 1748676608 369583 33554432000 4194304 4627427 140734922707408 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25621/tid=25624] ppid=25619 vsize=1707692 CPUtime=1195.21 cores=1,3,5,7
/proc/25621/task/25624/stat : 25624 (strangenight2-m) R 25619 25621 25390 0 -1 4202560 607423 0 0 0 119323 198 0 0 25 0 4 0 593241564 1748676608 369583 33554432000 4194304 4627427 140734922707408 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 1707692

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): 1201.88
CPU time (s): 4800.44
CPU user time (s): 4792.24
CPU system time (s): 8.20475
CPU usage (%): 399.413
Max. virtual memory (cumulated for all children) (KiB): 1721084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.24
system time used= 8.20475
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2411105
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= 2032
involuntary context switches= 31936

runsolver used 1.82272 second user time and 4.75428 second system time

The end

Launcher Data 

Begin job on node113 at 2011-04-29 00:35:09
IDJOB=3173722
IDBENCH=82540
IDSOLVER=1586
FILE ID=node113/3173722-1304030109
RUNJOBID= node113-1304028687-25409
PBS_JOBID= 13170339
Free space on /tmp= 71160 MiB

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

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

MD5SUM BENCH= fdeac497d04edcceaf426c845c7872aa
RANDOM SEED=2059390692

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
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.846
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.83
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.846
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:      12631592 kB
Buffers:       1872052 kB
Cached:       17496000 kB
SwapCached:          0 kB
Active:       11092140 kB
Inactive:      8630472 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      12631592 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            9376 kB
Writeback:           0 kB
AnonPages:      353948 kB
Mapped:          15500 kB
Slab:           533408 kB
PageTables:       4952 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   623324 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= 71152 MiB
End job on node113 at 2011-04-29 00:55:13