Trace number 3173786

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.24 1201.77

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v20000-c84000-S493397373-056-UNKNOWN.cnf
MD5SUM53ba9a0375ae9f5fbde617f9de32bf14
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark35.2716
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-3173786-1304031198.cnf'
0.00/0.00	c -- header says num vars:          20000
0.00/0.00	c -- header says num clauses:       84000
0.00/0.17	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.00/0.17	c -- vars added      20000
0.00/0.17	c Parsing time:  0.06 s
0.00/0.17	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data
0.00/0.17	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.07
0.00/0.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.03
0.66/0.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.66/0.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.66/0.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.66/0.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20000 time:  0.01 s
0.66/0.24	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.01 s
0.96/1.01	c lits-rem:         0  cl-subs:        0  v-elim:    471  v-fix:    0  time:  0.13 s
0.96/1.01	c Finding binary XORs  T:     0.00 s  found:       0
0.96/1.01	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.96/1.01	c calculated reachability. Time: 0.00
0.96/1.01	c Calc default polars -  time:   0.01 s pos:    8806 undec:    2245 neg:    8949
0.96/1.01	c =========================================================================================
0.96/1.01	c types(t): F = full restart, N = normal restart
0.96/1.01	c types(t): S = simplification begin/end, E = solution found
0.96/1.01	c restart types(rt): st = static, dy = dynamic
0.96/1.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.96/1.01	c  B st     0         0     19529     83502         0         0    253423         0   no data   no data
5.96/1.56	c  N dy    20      4153     19529     83502         0      4153    253423    892243    125.73    136.45
10.76/2.72	c  N dy    51      8183     19529     83502         0      8183    253423   1711770    128.31    135.77
15.56/3.96	c  N dy    82     12262     19529     83502         0     12262    253423   2553681    130.21    137.52
20.77/5.25	c  N dy   105     16539     19529     83502         0     16538    253423   3409142    129.05    139.46
26.33/6.61	c  N dy   130     20742     19529     83502         0     10747    253423    694985    128.39    138.02
31.13/7.82	c  N dy   156     24799     19529     83502         0     14803    253423   1502473    128.49    139.69
31.13/7.89	c  F st   158     25001     19529     83502         0     15005    253423   1548356    128.68   no data
37.94/9.54	c  N dy   164     30001     19529     83502         0     20005    253423   2825498    128.68   no data
37.94/9.54	c  S st   164     30001     19529     83502         0     20005    253423   2825498    128.68   no data
38.72/9.70	c  S st   164     30503     19529     83502         0     20506    253423   2910447    128.68   no data
38.72/9.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
38.72/9.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
39.12/9.82	c blocked clauses removed:      330 vars:     57 tried:       19529 T: 0.01 s
39.12/9.83	c bin-w-bin subsume rem            0 bins  time:  0.01 s
39.12/9.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39.12/9.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19472 time:  0.01 s
39.12/9.85	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
39.52/9.94	c lits-rem:         0  cl-subs:        0  v-elim:      5  v-fix:    0  time:  0.10 s
40.32/10.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.91/11.01	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.80 s
44.31/11.11	c asymm  cl-useful: 0/83167/83167 lits-rem:0 time: 0.10
44.31/11.11	c calculated reachability. Time: 0.00
44.31/11.11	c  N dy   164     30503     19467     83167         0     20371    252460   2865221    128.68   no data
49.50/12.42	c  N dy   187     34511     19467     83167         0     24379    252460   3667624    128.25    135.47
55.10/13.88	c  N dy   213     38586     19467     83167         0     28454    252460   4484572    128.18    135.58
61.09/15.31	c  N dy   239     42738     19467     83167         0     17172    252460   1015644    128.18    136.53
65.08/16.30	c  S st   260     45757     19467     83167         0     20190    252460   1627623    128.27   no data
65.48/16.48	c  S st   260     46263     19467     83167         0     20696    252460   1709014    128.27   no data
65.48/16.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
65.88/16.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
65.88/16.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
66.28/16.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
66.28/16.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
66.28/16.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19467 time:  0.01 s
66.28/16.62	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
66.68/16.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
66.68/16.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
67.88/17.05	c lits-rem:         8  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.24 s
67.88/17.06	c vivif2 --  cl tried    83167 cl shrink        0 lits rem          0 time: 0.01
67.88/17.08	c vivif2 --  cl tried    20695 cl shrink        0 lits rem          0 time: 0.03
68.28/17.18	c asymm  cl-useful: 0/83167/83167 lits-rem:0 time: 0.10
68.28/17.19	c calculated reachability. Time: 0.00
68.28/17.19	c  N dy   260     46263     19467     83167         0     20695    252460   1708736    128.27   no data
73.87/18.52	c  N dy   287     50383     19467     83167         0     24814    252460   2540481    128.04    135.74
79.47/19.91	c  N dy   315     54384     19467     83167         0     28815    252460   3367117    128.38    135.99
85.05/21.33	c  N dy   342     58496     19467     83167         0     32927    252460   4175147    128.27    135.08
90.66/22.78	c  N dy   367     62616     19467     83167         0     37047    252460   4991943    128.10    135.08
96.24/24.13	c  N dy   396     66620     19467     83167         0     22339    252460   1393117    128.47    137.99
100.23/25.10	c  S st   418     69394     19467     83167         0     25111    252460   1959822    128.55   no data
100.63/25.26	c  S st   418     69896     19467     83167         0     25613    252460   2032861    128.55   no data
100.63/25.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
101.03/25.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
101.03/25.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
101.03/25.39	c bin-w-bin subsume rem            0 bins  time:  0.01 s
101.03/25.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
101.43/25.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19467 time:  0.01 s
101.43/25.41	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
101.83/25.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
102.24/25.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
103.85/26.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.38 s
103.85/26.01	c vivif2 --  cl tried    83167 cl shrink        0 lits rem          0 time: 0.01
103.85/26.05	c vivif2 --  cl tried    25613 cl shrink        0 lits rem          0 time: 0.03
104.25/26.15	c asymm  cl-useful: 0/83167/83167 lits-rem:0 time: 0.11
104.25/26.16	c calculated reachability. Time: 0.00
104.25/26.16	c  N dy   418     69896     19467     83167         0     25613    252460   2032861    128.55   no data
110.22/27.68	c  N dy   446     74403     19467     83167         0     30120    252460   2945262    128.42    137.32
117.03/29.37	c  N dy   481     79234     19467     83167         0     34950    252460   3931354    128.50    136.46
124.21/31.19	c  N dy   516     84290     19467     83167         0     40005    252460   4960029    128.57    143.32
129.00/32.39	c  F st   540     87500     19467     83167         0     22357    252460    908628    128.70   no data
133.79/33.55	c  N st   545     90797     19467     83167         0     25653    252460   1825019    128.70   no data
142.18/35.62	c  N dy   570     96668     19467     83167         0     31522    252460   3165817    128.54    139.76
150.97/37.86	c  N dy   610    102911     19467     83167         0     37765    252460   4465194    128.66    136.16
153.76/38.57	c  S st   624    104846     19467     83167         0     39700    252460   4852269    128.63    118.57
154.56/38.77	c  S st   624    105349     19467     83167         0     40203    252460   4929504    128.63   no data
154.56/38.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
154.96/38.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.10
155.36/38.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
155.36/38.91	c bin-w-bin subsume rem            0 bins  time:  0.01 s
155.36/38.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
155.36/38.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19467 time:  0.01 s
155.36/38.93	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
155.76/39.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
156.98/39.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
162.95/40.80	c lits-rem:        14  cl-subs:        5  v-elim:      0  v-fix:    0  time:  1.46 s
162.95/40.81	c vivif2 --  cl tried    83167 cl shrink        0 lits rem          0 time: 0.01
162.95/40.89	c vivif2 --  cl tried    40198 cl shrink        0 lits rem          0 time: 0.08
163.74/41.02	c asymm  cl-useful: 0/83167/83167 lits-rem:0 time: 0.13
163.74/41.03	c calculated reachability. Time: 0.00
163.74/41.03	c  N dy   624    105349     19467     83167         0     40198    252460   4926399    128.63   no data
173.73/43.57	c  N dy   666    112130     19467     83167         0     24556    252460   1030748    128.63    145.99
184.12/46.10	c  N dy   714    119368     19467     83167         0     31794    252460   2501633    128.74    136.59
195.31/48.92	c  N dy   765    127010     19467     83167         0     39436    252460   4046674    128.83    140.98
207.69/52.07	c  N dy   824    135188     19467     83167         0     23900    252460    583422    129.18    141.20
219.67/55.07	c  N dy   884    143847     19467     83167         0     32559    252460   2359932    129.26    137.48
233.26/58.47	c  N dy   945    153107     19467     83167         0     41819    252460   4224012    129.11    138.11
240.47/60.29	c  S st   977    158025     19467     83167         0     46736    252460   5218513    129.08    144.39
241.24/60.50	c  S st   977    158527     19467     83167         0     47238    252460   5300499    129.08   no data
241.64/60.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
242.04/60.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.10
242.04/60.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
242.04/60.64	c bin-w-bin subsume rem            0 bins  time:  0.01 s
242.04/60.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
242.04/60.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19467 time:  0.01 s
242.04/60.66	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
242.44/60.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
243.64/61.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
252.03/63.11	c lits-rem:         7  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.02 s
252.03/63.12	c vivif2 --  cl tried    83167 cl shrink        0 lits rem          0 time: 0.01
252.43/63.20	c vivif2 --  cl tried    47235 cl shrink        0 lits rem          0 time: 0.09
252.83/63.34	c asymm  cl-useful: 0/83167/83167 lits-rem:0 time: 0.14
252.83/63.35	c calculated reachability. Time: 0.00
252.83/63.35	c  N dy   977    158527     19467     83167         0     47235    252460   5299234    129.08   no data
267.61/67.08	c  N dy  1054    168663     19467     83167         0     32513    252460   2143081    129.47    138.68
283.58/71.10	c  N dy  1129    179428     19467     83167         0     43278    252460   4398227    129.61    138.05
301.58/75.51	c  N dy  1206    190949     19467     83167         0     28870    252460   1091106    129.75    139.53
319.16/79.94	c  N dy  1287    203140     19467     83167         0     41061    252460   3639971    129.89    155.66
339.51/85.07	c  N dy  1375    216279     19467     83167         0     27233    252460    528770    129.86    144.01
359.47/90.07	c  N dy  1461    230111     19467     83167         0     41065    252460   3362106    129.79    138.03
371.46/93.02	c  S st  1516    237790     19467     83167         0     48742    252460   4974474    129.89    118.00
372.28/93.22	c  S st  1516    238291     19467     83167         0     49243    252460   5048817    129.89   no data
372.28/93.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
372.66/93.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.10
372.66/93.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
372.66/93.37	c bin-w-bin subsume rem            0 bins  time:  0.01 s
372.66/93.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
372.66/93.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19467 time:  0.01 s
372.66/93.39	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
373.46/93.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
374.26/93.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
382.64/95.84	c lits-rem:         3  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.06 s
382.64/95.85	c vivif2 --  cl tried    83167 cl shrink        0 lits rem          0 time: 0.01
383.05/95.93	c vivif2 --  cl tried    49238 cl shrink        0 lits rem          0 time: 0.08
383.45/96.07	c asymm  cl-useful: 0/83167/83167 lits-rem:0 time: 0.14
383.45/96.08	c calculated reachability. Time: 0.00
383.45/96.08	c  N dy  1516    238291     19467     83167         0     49238    252460   5046874    129.89   no data
406.62/101.86	c  N dy  1615    253527     19467     83167         0     36492    252460   2242615    129.95    136.88
431.39/108.07	c  N dy  1719    269799     19467     83167         0     52763    252460   5575745    129.89    138.12
458.15/114.77	c  N dy  1836    287080     19467     83167         0     41054    252460   2969934    129.98    170.12
487.30/122.05	c  N dy  1954    305476     19467     83167         0     59448    252460   6717570    129.97    159.05
488.91/122.40	c  F st  1959    306250     19467     83167         0     30228    252460    489056    129.96    120.22
517.29/129.54	c  N dy  2068    325066     19467     83167         0     49044    252460   4621588    130.16    138.09
548.82/137.48	c  N dy  2208    345223     19467     83167         0     38208    252460   1991164    130.22    140.70
567.60/142.18	c  S st  2290    357436     19467     83167         0     50420    252460   4503098    130.20    123.62
568.39/142.38	c  S st  2290    357938     19467     83167         0     50922    252460   4580369    130.20   no data
568.79/142.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
569.19/142.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.11
569.19/142.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
569.19/142.53	c bin-w-bin subsume rem            0 bins  time:  0.01 s
569.19/142.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
569.19/142.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19467 time:  0.01 s
569.19/142.55	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
569.62/142.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
570.40/142.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
582.79/145.99	c lits-rem:         8  cl-subs:        6  v-elim:      0  v-fix:    0  time:  3.09 s
583.20/146.00	c vivif2 --  cl tried    83167 cl shrink        0 lits rem          0 time: 0.01
583.20/146.08	c vivif2 --  cl tried    50916 cl shrink        0 lits rem          0 time: 0.07
583.97/146.22	c asymm  cl-useful: 0/83167/83167 lits-rem:0 time: 0.14
583.97/146.23	c calculated reachability. Time: 0.00
583.97/146.23	c  N dy  2290    357938     19467     83167         0     50916    252460   4577775    130.20   no data
615.54/154.13	c  N dy  2418    378008     19467     83167         0     38989    252460   1919947    130.17    143.47
647.89/162.24	c  N dy  2548    398166     19467     83167         0     59147    252460   6100833    130.16    143.95
679.47/170.16	c  N dy  2688    418198     19467     83167         0     46185    252460   3235750    130.32    152.96
712.20/178.39	c  N dy  2828    438245     19467     83167         0     66232    252460   7444697    130.45    137.86
743.76/186.23	c  N dy  2955    458327     19467     83167         0     52313    252460   4261504    130.50    140.16
776.90/194.51	c  N dy  3091    478396     19467     83167         0     37379    252460    911466    130.57    138.25
808.86/202.51	c  N dy  3228    498859     19467     83167         0     57842    252460   5193221    130.63    143.96
842.03/210.82	c  N dy  3366    519005     19467     83167         0     41992    252460   1653534    130.65    138.10
870.78/218.02	c  S st  3496    536907     19467     83167         0     59892    252460   5379211    130.74    114.64
871.58/218.25	c  S st  3496    537414     19467     83167         0     60399    252460   5457605    130.74   no data
871.58/218.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
871.98/218.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.11
872.38/218.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
872.38/218.41	c bin-w-bin subsume rem            0 bins  time:  0.01 s
872.38/218.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
872.38/218.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19467 time:  0.01 s
872.38/218.43	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
872.79/218.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
873.98/218.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
885.17/221.65	c lits-rem:         3  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.81 s
885.17/221.66	c vivif2 --  cl tried    83167 cl shrink        0 lits rem          0 time: 0.01
885.57/221.75	c vivif2 --  cl tried    60394 cl shrink        0 lits rem          0 time: 0.09
886.38/221.91	c asymm  cl-useful: 0/83167/83167 lits-rem:0 time: 0.16
886.38/221.91	c calculated reachability. Time: 0.00
886.38/221.91	c  N dy  3496    537414     19467     83167         0     60394    252460   5455253    130.74   no data
919.12/230.19	c  N dy  3621    557543     19467     83167         0     43520    252460   1829713    130.69    139.33
951.90/238.30	c  N dy  3756    577634     19467     83167         0     63611    252460   6038404    130.75    139.68
985.83/246.81	c  N dy  3893    597648     19467     83167         0     45625    252460   2042037    130.80    139.66
1018.58/255.08	c  N dy  4029    617736     19467     83167         0     65712    252460   6226303    130.85    137.90
1052.95/263.61	c  N dy  4170    637814     19467     83167         0     46791    252460   2043123    130.88    140.36
1086.09/271.92	c  N dy  4309    657895     19467     83167         0     66872    252460   6237620    130.96    138.06
1120.44/280.59	c  N dy  4449    677994     19467     83167         0     46973    252460   1930857    131.03    138.34
1155.19/289.22	c  N dy  4591    698033     19467     83167         0     67011    252460   6134947    131.11    139.51
1190.35/298.03	c  N dy  4719    718215     19467     83167         0     46195    252460   1553727    131.13    138.21
1223.51/306.32	c  N dy  4857    738224     19467     83167         0     66200    252460   5720173    131.14    139.04
1259.47/315.36	c  N dy  5001    758327     19467     83167         0     44307    252460    951254    131.22    139.17
1292.21/323.54	c  N dy  5125    778547     19467     83167         0     64523    252460   5151713    131.21    140.16
1328.56/332.63	c  N dy  5257    798659     19467     83167         0     84634    252460   9288841    131.18    138.27
1340.54/335.69	c  S st  5303    806121     19467     83167         0     49103    252460   1746801    131.18   no data
1341.74/335.91	c  S st  5303    806628     19467     83167         0     49610    252460   1831698    131.18   no data
1341.74/335.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1342.14/336.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.10
1342.14/336.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1342.14/336.05	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1342.14/336.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1342.14/336.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19467 time:  0.01 s
1342.14/336.08	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
1342.55/336.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
1342.96/336.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1345.74/336.91	c lits-rem:         5  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.64 s
1345.74/336.92	c vivif2 --  cl tried    83167 cl shrink        0 lits rem          0 time: 0.01
1345.74/336.95	c vivif2 --  cl tried    49607 cl shrink        0 lits rem          0 time: 0.03
1346.13/337.09	c asymm  cl-useful: 0/83167/83167 lits-rem:0 time: 0.14
1346.53/337.10	c calculated reachability. Time: 0.00
1346.53/337.10	c  N dy  5303    806628     19467     83167         0     49607    252460   1830544    131.18   no data
1380.48/345.61	c  N dy  5437    826817     19467     83167         0     69796    252460   5980464    131.18    143.35
1417.24/354.89	c  N dy  5567    846855     19467     83167         0     45831    252460    859808    131.19    138.48
1450.78/363.20	c  N dy  5704    866903     19467     83167         0     65876    252460   5028601    131.21    139.16
1486.74/372.26	c  N dy  5842    886936     19467     83167         0     85908    252460   9249900    131.25    153.30
1520.69/380.76	c  N dy  5973    906939     19467     83167         0     60912    252460   3783290    131.24    139.34
1556.24/389.67	c  N dy  6106    927022     19467     83167         0     80995    252460   7913070    131.22    141.57
1592.60/398.70	c  N dy  6246    947095     19467     83167         0     55070    252460   2382565    131.27    156.05
1627.35/407.42	c  N dy  6381    967199     19467     83167         0     75171    252460   6609978    131.30    138.26
1664.89/416.81	c  N dy  6510    987204     19467     83167         0     48177    252460    733654    131.31    154.46
1698.46/425.24	c  N dy  6653   1007321     19467     83167         0     68291    252460   4975251    131.35    143.17
1735.20/434.44	c  N dy  6783   1027386     19467     83167         0     88354    252460   9183242    131.36    139.62
1770.35/443.29	c  N dy  6922   1047433     19467     83167         0     60407    252460   3094309    131.39    149.59
1806.30/452.23	c  N dy  7063   1067464     19467     83167         0     80437    252460   7286347    131.43    151.66
1814.28/454.26	c  F st  7093   1071876     19467     83167         0     84849    252460   8210081    131.44    131.95
1844.64/461.80	c  N dy  7171   1087595     19467     83167         0     51574    252460   1035491    131.47    140.09
1879.00/470.44	c  N dy  7306   1107729     19467     83167         0     71705    252460   5242767    131.47    142.32
1916.93/479.99	c  N dy  7449   1127940     19467     83167         0     91915    252460   9505143    131.53    139.42
1952.88/488.98	c  N dy  7579   1147981     19467     83167         0     61955    252460   2989895    131.52    141.81
1988.85/497.98	c  N dy  7719   1168000     19467     83167         0     81971    252460   7247772    131.59    143.79
2027.98/507.80	c  N dy  7856   1188022     19467     83167         0    101992    252460  11465436    131.60    139.94
2062.33/516.35	c  N dy  7985   1208025     19467     83167         0     70993    252460   4663482    131.61    139.01
2066.33/517.33	c  S st  8002   1209942     19467     83167         0     72910    252460   5063116    131.62   no data
2067.53/517.60	c  S st  8002   1210443     19467     83167         0     73411    252460   5136202    131.62   no data
2067.53/517.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2067.94/517.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.13
2067.94/517.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2067.94/517.78	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2067.94/517.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2067.94/517.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19467 time:  0.01 s
2068.34/517.80	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
2068.72/517.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
2069.92/518.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2081.90/521.21	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time:  2.97 s
2081.90/521.22	c vivif2 --  cl tried    83167 cl shrink        0 lits rem          0 time: 0.01
2082.29/521.30	c vivif2 --  cl tried    73409 cl shrink        0 lits rem          0 time: 0.09
2082.69/521.48	c asymm  cl-useful: 0/83167/83167 lits-rem:0 time: 0.18
2082.69/521.49	c calculated reachability. Time: 0.00
2082.69/521.49	c  N dy  8002   1210443     19467     83167         0     73409    252460   5135934    131.62   no data
2121.07/531.01	c  N dy  8140   1230548     19467     83167         0     93513    252460   9349344    131.62    138.86
2158.19/540.34	c  N dy  8272   1250631     19467     83167         0     61597    252460   2459949    131.61    141.27
2193.34/549.19	c  N dy  8404   1270668     19467     83167         0     81634    252460   6588989    131.60    142.24
2232.48/558.92	c  N dy  8529   1290762     19467     83167         0    101728    252460  10726088    131.57    138.52
2268.04/567.89	c  N dy  8661   1310775     19467     83167         0     68744    252460   3766310    131.56    140.39
2305.21/577.17	c  N dy  8799   1330866     19467     83167         0     88834    252460   7936406    131.56    139.43
2346.34/587.44	c  N dy  8939   1350908     19467     83167         0     54883    252460    695494    131.61    138.84
2381.08/596.18	c  N dy  9077   1371008     19467     83167         0     74983    252460   4881500    131.63    139.72
2419.45/605.77	c  N dy  9216   1391064     19467     83167         0     95038    252460   9096516    131.66    140.64
2459.40/615.77	c  N dy  9355   1411148     19467     83167         0     60123    252460   1610004    131.70    138.70
2495.73/624.83	c  N dy  9496   1431189     19467     83167         0     80163    252460   5897710    131.74    148.57
2534.87/634.67	c  N dy  9626   1451322     19467     83167         0    100295    252460  10125433    131.76    138.82
2574.01/644.40	c  N dy  9755   1471472     19467     83167         0     64445    252460   2311633    131.76    147.67
2610.36/653.51	c  N dy  9891   1491510     19467     83167         0     84481    252460   6500919    131.79    144.55
2650.31/663.56	c  N dy 10034   1511634     19467     83167         0    104604    252460  10766799    131.83    140.34
2688.66/673.16	c  N dy 10169   1531765     19467     83167         0     67742    252460   2769281    131.85    143.37
2725.81/682.47	c  N dy 10311   1551867     19467     83167         0     87843    252460   6976694    131.85    143.67
2766.15/692.53	c  N dy 10450   1571954     19467     83167         0    107929    252460  11191461    131.87    148.85
2804.10/702.07	c  N dy 10584   1592014     19467     83167         0     69989    252460   3058707    131.88    141.49
2841.67/711.48	c  N dy 10724   1612088     19467     83167         0     90063    252460   7284029    131.89    140.70
2883.19/721.80	c  N dy 10855   1632363     19467     83167         0    110335    252460  11508350    131.89    146.67
2921.14/731.39	c  N dy 10991   1652469     19467     83167         0     71444    252460   3083492    131.89    142.71
2958.69/740.79	c  N dy 11125   1672482     19467     83167         0     91456    252460   7272522    131.89    140.41
3000.23/751.15	c  N dy 11257   1692591     19467     83167         0    111563    252460  11516229    131.91    139.36
3035.00/759.81	c  S st 11369   1710443     19467     83167         0     69416    252460   2514376    131.91   no data
3035.78/760.05	c  S st 11369   1710946     19467     83167         0     69919    252460   2592278    131.91   no data
3035.78/760.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3036.18/760.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
3036.58/760.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3036.58/760.21	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3036.58/760.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3036.58/760.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19467 time:  0.01 s
3036.58/760.23	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
3036.98/760.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
3037.38/760.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3044.17/762.13	c lits-rem:         4  cl-subs:        2  v-elim:      0  v-fix:    0  time:  1.65 s
3044.17/762.14	c vivif2 --  cl tried    83167 cl shrink        0 lits rem          0 time: 0.01
3044.17/762.19	c vivif2 --  cl tried    69917 cl shrink        0 lits rem          0 time: 0.05
3044.97/762.38	c asymm  cl-useful: 0/83167/83167 lits-rem:0 time: 0.18
3044.97/762.38	c calculated reachability. Time: 0.00
3044.97/762.38	c  N dy 11369   1710946     19467     83167         0     69917    252460   2591541    131.91   no data
3082.53/771.72	c  N dy 11505   1731028     19467     83167         0     89997    252460   6865696    131.94    181.14
3123.26/781.90	c  N dy 11632   1751084     19467     83167         0    110053    252460  11069810    131.95    171.65
3164.01/792.12	c  N dy 11769   1771222     19467     83167         0     69195    252460   2240058    131.96    141.72
3201.16/801.48	c  N dy 11900   1791341     19467     83167         0     89312    252460   6448806    131.96    139.36
3242.30/811.77	c  N dy 12041   1811566     19467     83167         0    109534    252460  10701862    131.98    139.28
3283.85/822.11	c  N dy 12175   1831652     19467     83167         0     67623    252460   1709461    131.99    140.47
3322.20/831.70	c  N dy 12315   1851671     19467     83167         0     87641    252460   6000063    132.02    139.70
3362.13/841.77	c  N dy 12443   1871730     19467     83167         0    107699    252460  10172255    132.02    139.41
3404.87/852.45	c  N dy 12568   1891737     19467     83167         0     64707    252460    909965    132.01    139.42
3441.22/861.52	c  N dy 12704   1911845     19467     83167         0     84813    252460   5074339    132.01    140.31
3481.57/871.60	c  N dy 12834   1931896     19467     83167         0    104864    252460   9240635    132.01    139.98
3525.11/882.52	c  N dy 12970   1951928     19467     83167         0    124895    252460  13469814    132.03    139.92
3563.06/892.09	c  N dy 13107   1972105     19467     83167         0     81074    252460   4174991    132.04    144.77
3603.01/902.01	c  N dy 13243   1992333     19467     83167         0    101301    252460   8446329    132.06    142.56
3645.37/912.69	c  N dy 13375   2012345     19467     83167         0    121312    252460  12530767    132.04    141.56
3686.09/922.86	c  N dy 13521   2032508     19467     83167         0     76477    252460   2982536    132.06    142.88
3724.86/932.54	c  N dy 13656   2052520     19467     83167         0     96488    252460   7212913    132.07    139.18
3766.77/943.03	c  N dy 13793   2072542     19467     83167         0    116507    252460  11378141    132.07    146.43
3810.32/953.92	c  N dy 13931   2092698     19467     83167         0     70668    252460   1544936    132.10    143.02
3847.07/963.19	c  N dy 14062   2112745     19467     83167         0     90712    252460   5726826    132.11    139.76
3889.01/973.63	c  N dy 14204   2132747     19467     83167         0    110710    252460   9941397    132.12    142.68
3933.75/984.88	c  N dy 14344   2153035     19467     83167         0    130997    252460  14145401    132.13    147.47
3971.70/994.38	c  N dy 14473   2173111     19467     83167         0     84079    252460   4133418    132.14    139.84
4012.84/1004.61	c  N dy 14618   2193294     19467     83167         0    104260    252460   8399856    132.17    140.53
4052.39/1014.60	c  S st 14743   2210946     19467     83167         0    121912    252460  12130598    132.18   no data
4054.01/1014.91	c  S st 14743   2211447     19467     83167         0    122413    252460  12208921    132.18   no data
4054.01/1014.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4054.78/1015.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.17
4054.78/1015.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4054.78/1015.14	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4054.78/1015.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4054.78/1015.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19467 time:  0.01 s
4054.78/1015.17	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
4055.58/1015.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
4058.40/1016.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4087.14/1023.24	c lits-rem:         5  cl-subs:       13  v-elim:      0  v-fix:    0  time:  7.13 s
4087.14/1023.25	c vivif2 --  cl tried    83167 cl shrink        0 lits rem          0 time: 0.01
4087.94/1023.47	c vivif2 --  cl tried   122400 cl shrink        0 lits rem          0 time: 0.22
4089.16/1023.76	c asymm  cl-useful: 0/83167/83167 lits-rem:0 time: 0.28
4089.16/1023.77	c calculated reachability. Time: 0.00
4089.16/1023.77	c  N dy 14743   2211447     19467     83167         0    122400    252460  12202981    132.18   no data
4133.49/1034.89	c  N dy 14876   2231567     19467     83167         0     74526    252460   1944616    132.18    139.27
4171.42/1044.38	c  N dy 15002   2251674     19467     83167         0     94632    252460   6112911    132.17    140.28
4212.96/1054.75	c  N dy 15135   2271736     19467     83167         0    114692    252460  10275214    132.16    145.73
4258.90/1066.23	c  N dy 15274   2291766     19467     83167         0    134720    252460  14530506    132.18    140.34
4298.43/1076.10	c  N dy 15410   2311882     19467     83167         0     85841    252460   4131529    132.19    140.01
4338.78/1086.22	c  N dy 15552   2331911     19467     83167         0    105870    252460   8351889    132.21    140.18
4383.12/1097.30	c  N dy 15688   2351946     19467     83167         0    125905    252460  12592984    132.22    166.93
4427.06/1108.33	c  N dy 15819   2372072     19467     83167         0     76028    252460   1804550    132.22    141.91
4465.80/1118.07	c  N dy 15962   2392274     19467     83167         0     96229    252460   6025165    132.24    144.24
4507.74/1128.51	c  N dy 16087   2412277     19467     83167         0    116229    252460  10219914    132.23    141.28
4552.88/1139.87	c  N dy 16213   2432352     19467     83167         0    136304    252460  14397567    132.23    142.83
4593.22/1149.99	c  N dy 16344   2452458     19467     83167         0     85417    252460   3620801    132.23    139.57
4633.98/1160.18	c  N dy 16487   2472522     19467     83167         0    105480    252460   7882910    132.26    143.32
4678.33/1171.23	c  N dy 16621   2492826     19467     83167         0    125783    252460  12156092    132.27    139.87
4724.23/1182.75	c  N dy 16750   2512902     19467     83167         0     73859    252460    997656    132.27    152.39
4761.80/1192.16	c  N dy 16882   2532975     19467     83167         0     93929    252460   5174995    132.27    144.38

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3173786-1304031198/watcher-3173786-1304031198 -o /tmp/evaluation-result-3173786-1304031198/solver-3173786-1304031198 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173786-1304031198.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: 7.74 8.00 7.44 5/180 27360
/proc/meminfo: memFree=24466788/32951124 swapFree=67111524/67111528
[pid=27360] ppid=27358 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/27360/stat : 27360 (strangenight2-m) R 27358 27360 27036 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 495535758 52441088 347 33554432000 4194304 4627427 140736454187488 18446744073709551615 47798015170476 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27360/statm: 12803 347 299 106 0 7774 0
[pid=27360/tid=27361] ppid=27358 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27361/stat : 27361 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 495535758 52441088 347 33554432000 4194304 4627427 140736454187488 18446744073709551615 220816292849 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27360/tid=27362] ppid=27358 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27362/stat : 27362 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 495535758 52441088 347 33554432000 4194304 4627427 140736454187488 18446744073709551615 47798015170480 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27360/tid=27363] ppid=27358 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/27360/task/27363/stat : 27363 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 495535758 52441088 347 33554432000 4194304 4627427 140736454187488 18446744073709551615 47798015170482 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.068623 s]
/proc/loadavg: 7.74 8.00 7.44 5/180 27360
/proc/meminfo: memFree=24466788/32951124 swapFree=67111524/67111528
[pid=27360] ppid=27358 vsize=306480 CPUtime=0.66 cores=1,3,5,7
/proc/27360/stat : 27360 (strangenight2-m) R 27358 27360 27036 0 -1 4202496 15593 0 0 0 64 2 0 0 25 0 4 0 495535758 313835520 13324 33554432000 4194304 4627427 140736454187488 18446744073709551615 220815897633 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27360/statm: 76620 13373 371 106 0 71591 0
[pid=27360/tid=27361] ppid=27358 vsize=306480 CPUtime=0.16 cores=1,3,5,7
/proc/27360/task/27361/stat : 27361 (strangenight2-m) D 27358 27360 27036 0 -1 4202560 3864 0 0 0 16 0 0 0 18 0 4 0 495535758 313835520 13520 33554432000 4194304 4627427 140736454187488 18446744073709551615 220815897285 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27360/tid=27362] ppid=27358 vsize=306480 CPUtime=0.16 cores=1,3,5,7
/proc/27360/task/27362/stat : 27362 (strangenight2-m) D 27358 27360 27036 0 -1 4202560 3949 0 0 0 15 1 0 0 18 0 4 0 495535758 313835520 13720 33554432000 4194304 4627427 140736454187488 18446744073709551615 220815897633 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27360/tid=27363] ppid=27358 vsize=306480 CPUtime=0.16 cores=1,3,5,7
/proc/27360/task/27363/stat : 27363 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 3766 0 0 0 16 0 0 0 25 0 4 0 495535758 313835520 13775 33554432000 4194304 4627427 140736454187488 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 306480

[startup+0.246354 s]
/proc/loadavg: 7.74 8.00 7.44 5/180 27360
/proc/meminfo: memFree=24466788/32951124 swapFree=67111524/67111528
[pid=27360] ppid=27358 vsize=310956 CPUtime=0.96 cores=1,3,5,7
/proc/27360/stat : 27360 (strangenight2-m) D 27358 27360 27036 0 -1 4202496 24892 0 0 0 92 4 0 0 18 0 4 0 495535758 318418944 22247 33554432000 4194304 4627427 140736454187488 18446744073709551615 220815933817 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27360/statm: 80266 23405 379 106 0 75237 0
[pid=27360/tid=27361] ppid=27358 vsize=318176 CPUtime=0.29 cores=1,3,5,7
/proc/27360/task/27361/stat : 27361 (strangenight2-m) D 27358 27360 27036 0 -1 4202560 7889 0 0 0 28 1 0 0 18 0 4 0 495535758 325812224 22952 33554432000 4194304 4627427 140736454187488 18446744073709551615 220816279911 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27360/tid=27362] ppid=27358 vsize=318176 CPUtime=0.29 cores=1,3,5,7
/proc/27360/task/27362/stat : 27362 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 8285 0 0 0 28 1 0 0 18 0 4 0 495535758 325812224 22748 33554432000 4194304 4627427 140736454187488 18446744073709551615 220816279687 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27360/tid=27363] ppid=27358 vsize=316732 CPUtime=0.28 cores=1,3,5,7
/proc/27360/task/27363/stat : 27363 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 3891 0 0 0 28 0 0 0 25 0 4 0 495535758 324333568 22323 33554432000 4194304 4627427 140736454187488 18446744073709551615 4327552 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 310956

[startup+1.03235 s]
/proc/loadavg: 7.74 8.00 7.44 5/180 27360
/proc/meminfo: memFree=24466788/32951124 swapFree=67111524/67111528
[pid=27360] ppid=27358 vsize=313092 CPUtime=4.09 cores=1,3,5,7
/proc/27360/stat : 27360 (strangenight2-m) R 27358 27360 27036 0 -1 4202496 32600 0 0 0 404 5 0 0 19 0 4 0 495535758 320606208 23309 33554432000 4194304 4627427 140736454187488 18446744073709551615 4308326 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27360/statm: 78273 23309 385 106 0 73244 0
[pid=27360/tid=27361] ppid=27358 vsize=313092 CPUtime=1.01 cores=1,3,5,7
/proc/27360/task/27361/stat : 27361 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 8855 0 0 0 100 1 0 0 19 0 4 0 495535758 320606208 23309 33554432000 4194304 4627427 140736454187488 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27360/tid=27362] ppid=27358 vsize=313092 CPUtime=1.01 cores=1,3,5,7
/proc/27360/task/27362/stat : 27362 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 9421 0 0 0 100 1 0 0 19 0 4 0 495535758 320606208 23309 33554432000 4194304 4627427 140736454187488 18446744073709551615 4308787 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27360/tid=27363] ppid=27358 vsize=313092 CPUtime=1.01 cores=1,3,5,7
/proc/27360/task/27363/stat : 27363 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 4519 0 0 0 101 0 0 0 25 0 4 0 495535758 320606208 23309 33554432000 4194304 4627427 140736454187488 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 313092

[startup+1.10034 s]
/proc/loadavg: 7.74 8.00 7.44 5/180 27360
/proc/meminfo: memFree=24466788/32951124 swapFree=67111524/67111528
[pid=27360] ppid=27358 vsize=313092 CPUtime=4.37 cores=1,3,5,7
/proc/27360/stat : 27360 (strangenight2-m) R 27358 27360 27036 0 -1 4202496 32798 0 0 0 432 5 0 0 19 0 4 0 495535758 320606208 23507 33554432000 4194304 4627427 140736454187488 18446744073709551615 4324663 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27360/statm: 78273 23507 385 106 0 73244 0
[pid=27360/tid=27361] ppid=27358 vsize=313092 CPUtime=1.08 cores=1,3,5,7
/proc/27360/task/27361/stat : 27361 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 8901 0 0 0 107 1 0 0 19 0 4 0 495535758 320606208 23507 33554432000 4194304 4627427 140736454187488 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27360/tid=27362] ppid=27358 vsize=313092 CPUtime=1.08 cores=1,3,5,7
/proc/27360/task/27362/stat : 27362 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 9474 0 0 0 107 1 0 0 19 0 4 0 495535758 320606208 23507 33554432000 4194304 4627427 140736454187488 18446744073709551615 4332667 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27360/tid=27363] ppid=27358 vsize=313092 CPUtime=1.08 cores=1,3,5,7
/proc/27360/task/27363/stat : 27363 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 4568 0 0 0 108 0 0 0 25 0 4 0 495535758 320606208 23507 33554432000 4194304 4627427 140736454187488 18446744073709551615 4299712 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 313092

[startup+1.50026 s]
/proc/loadavg: 7.74 8.00 7.44 5/180 27360
/proc/meminfo: memFree=24466788/32951124 swapFree=67111524/67111528
[pid=27360] ppid=27358 vsize=313224 CPUtime=5.96 cores=1,3,5,7
/proc/27360/stat : 27360 (strangenight2-m) R 27358 27360 27036 0 -1 4202496 33971 0 0 0 591 5 0 0 19 0 4 0 495535758 320741376 24680 33554432000 4194304 4627427 140736454187488 18446744073709551615 4306626 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27360/statm: 78306 24680 385 106 0 73277 0
[pid=27360/tid=27361] ppid=27358 vsize=313224 CPUtime=1.48 cores=1,3,5,7
/proc/27360/task/27361/stat : 27361 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 9192 0 0 0 147 1 0 0 19 0 4 0 495535758 320741376 24680 33554432000 4194304 4627427 140736454187488 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27360/tid=27362] ppid=27358 vsize=313224 CPUtime=1.48 cores=1,3,5,7
/proc/27360/task/27362/stat : 27362 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 9759 0 0 0 147 1 0 0 19 0 4 0 495535758 320741376 24680 33554432000 4194304 4627427 140736454187488 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27360/tid=27363] ppid=27358 vsize=313224 CPUtime=1.48 cores=1,3,5,7
/proc/27360/task/27363/stat : 27363 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 4887 0 0 0 148 0 0 0 25 0 4 0 495535758 320741376 24680 33554432000 4194304 4627427 140736454187488 18446744073709551615 220815897285 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 313224

[startup+3.10097 s]
/proc/loadavg: 7.74 8.00 7.44 9/184 27364
/proc/meminfo: memFree=24332204/32951124 swapFree=67111524/67111528
[pid=27360] ppid=27358 vsize=445808 CPUtime=12.35 cores=1,3,5,7
/proc/27360/stat : 27360 (strangenight2-m) R 27358 27360 27036 0 -1 4202496 39044 0 0 0 1229 6 0 0 24 0 4 0 495535758 456507392 29753 33554432000 4194304 4627427 140736454187488 18446744073709551615 4308780 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27360/statm: 111452 29753 385 106 0 106423 0
[pid=27360/tid=27361] ppid=27358 vsize=445808 CPUtime=3.07 cores=1,3,5,7
/proc/27360/task/27361/stat : 27361 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 10346 0 0 0 306 1 0 0 24 0 4 0 495535758 456507392 29753 33554432000 4194304 4627427 140736454187488 18446744073709551615 4332200 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27360/tid=27362] ppid=27358 vsize=445808 CPUtime=3.08 cores=1,3,5,7
/proc/27360/task/27362/stat : 27362 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 10978 0 0 0 307 1 0 0 24 0 4 0 495535758 456507392 29753 33554432000 4194304 4627427 140736454187488 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27360/tid=27363] ppid=27358 vsize=445808 CPUtime=3.09 cores=1,3,5,7
/proc/27360/task/27363/stat : 27363 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 6362 0 0 0 308 1 0 0 25 0 4 0 495535758 456507392 29753 33554432000 4194304 4627427 140736454187488 18446744073709551615 4308752 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 445808

[startup+6.30638 s]
/proc/loadavg: 7.76 8.00 7.44 9/184 27365
/proc/meminfo: memFree=24327736/32951124 swapFree=67111524/67111528
[pid=27360] ppid=27358 vsize=419784 CPUtime=25.16 cores=1,3,5,7
/proc/27360/stat : 27360 (strangenight2-m) R 27358 27360 27036 0 -1 4202496 49176 0 0 0 2508 8 0 0 25 0 4 0 495535758 429858816 35258 33554432000 4194304 4627427 140736454187488 18446744073709551615 4308717 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27360/statm: 104946 35258 386 106 0 99917 0
[pid=27360/tid=27361] ppid=27358 vsize=419784 CPUtime=6.26 cores=1,3,5,7
/proc/27360/task/27361/stat : 27361 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 12553 0 0 0 624 2 0 0 25 0 4 0 495535758 429858816 35258 33554432000 4194304 4627427 140736454187488 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27360/tid=27362] ppid=27358 vsize=419784 CPUtime=6.29 cores=1,3,5,7
/proc/27360/task/27362/stat : 27362 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 13243 0 0 0 627 2 0 0 25 0 4 0 495535758 429858816 35258 33554432000 4194304 4627427 140736454187488 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27360/tid=27363] ppid=27358 vsize=419784 CPUtime=6.29 cores=1,3,5,7
/proc/27360/task/27363/stat : 27363 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 9758 0 0 0 628 1 0 0 25 0 4 0 495535758 429858816 35258 33554432000 4194304 4627427 140736454187488 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 419784

[startup+12.7002 s]
/proc/loadavg: 7.86 8.02 7.45 9/184 27365
/proc/meminfo: memFree=24256168/32951124 swapFree=67111524/67111528
[pid=27360] ppid=27358 vsize=680440 CPUtime=50.71 cores=1,3,5,7
/proc/27360/stat : 27360 (strangenight2-m) R 27358 27360 27036 0 -1 4202496 106555 0 0 0 5049 22 0 0 25 0 4 0 495535758 696770560 77608 33554432000 4194304 4627427 140736454187488 18446744073709551615 4308717 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27360/statm: 170110 77608 390 106 0 165081 0
[pid=27360/tid=27361] ppid=27358 vsize=680440 CPUtime=12.62 cores=1,3,5,7
/proc/27360/task/27361/stat : 27361 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 40156 0 0 0 1254 8 0 0 25 0 4 0 495535758 696770560 77608 33554432000 4194304 4627427 140736454187488 18446744073709551615 4468043 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27360/tid=27362] ppid=27358 vsize=680440 CPUtime=12.68 cores=1,3,5,7
/proc/27360/task/27362/stat : 27362 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 18700 0 0 0 1265 3 0 0 25 0 4 0 495535758 696770560 77608 33554432000 4194304 4627427 140736454187488 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27360/tid=27363] ppid=27358 vsize=680440 CPUtime=12.69 cores=1,3,5,7
/proc/27360/task/27363/stat : 27363 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 14045 0 0 0 1266 3 0 0 25 0 4 0 495535758 696770560 77608 33554432000 4194304 4627427 140736454187488 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 680440

[startup+25.5008 s]
/proc/loadavg: 7.89 8.01 7.46 9/184 27365
/proc/meminfo: memFree=24122376/32951124 swapFree=67111524/67111528
[pid=27360] ppid=27358 vsize=568988 CPUtime=101.83 cores=1,3,5,7
/proc/27360/stat : 27360 (strangenight2-m) R 27358 27360 27036 0 -1 4202496 161739 0 0 0 10149 34 0 0 25 0 4 0 495535758 582643712 86289 33554432000 4194304 4627427 140736454187488 18446744073709551615 4527456 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27360/statm: 142247 86289 390 106 0 137218 0
[pid=27360/tid=27361] ppid=27358 vsize=568988 CPUtime=25.35 cores=1,3,5,7
/proc/27360/task/27361/stat : 27361 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 49847 0 0 0 2525 10 0 0 25 0 4 0 495535758 582643712 86289 33554432000 4194304 4627427 140736454187488 18446744073709551615 4468060 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27360/tid=27362] ppid=27358 vsize=568988 CPUtime=25.48 cores=1,3,5,7
/proc/27360/task/27362/stat : 27362 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 34577 0 0 0 2540 8 0 0 25 0 4 0 495535758 582643712 86289 33554432000 4194304 4627427 140736454187488 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27360/tid=27363] ppid=27358 vsize=568988 CPUtime=25.48 cores=1,3,5,7
/proc/27360/task/27363/stat : 27363 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 31803 0 0 0 2543 5 0 0 25 0 4 0 495535758 582643712 86289 33554432000 4194304 4627427 140736454187488 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 568988

[startup+51.1011 s]
/proc/loadavg: 8.00 8.03 7.48 9/184 27366
/proc/meminfo: memFree=24011860/32951124 swapFree=67111524/67111528
[pid=27360] ppid=27358 vsize=820612 CPUtime=204.1 cores=1,3,5,7
/proc/27360/stat : 27360 (strangenight2-m) R 27358 27360 27036 0 -1 4202496 244611 0 0 0 20355 55 0 0 25 0 4 0 495535758 840306688 136957 33554432000 4194304 4627427 140736454187488 18446744073709551615 4327622 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27360/statm: 205153 136957 390 106 0 200124 0
[pid=27360/tid=27361] ppid=27358 vsize=820612 CPUtime=50.81 cores=1,3,5,7
/proc/27360/task/27361/stat : 27361 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 66886 0 0 0 5066 15 0 0 25 0 4 0 495535758 840306688 136957 33554432000 4194304 4627427 140736454187488 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27360/tid=27362] ppid=27358 vsize=820612 CPUtime=51.08 cores=1,3,5,7
/proc/27360/task/27362/stat : 27362 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 52953 0 0 0 5094 14 0 0 25 0 4 0 495535758 840306688 136957 33554432000 4194304 4627427 140736454187488 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27360/tid=27363] ppid=27358 vsize=820612 CPUtime=51.08 cores=1,3,5,7
/proc/27360/task/27363/stat : 27363 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 52338 0 0 0 5099 9 0 0 25 0 4 0 495535758 840306688 136957 33554432000 4194304 4627427 140736454187488 18446744073709551615 4324799 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 820612

[startup+102.301 s]
/proc/loadavg: 8.12 8.05 7.51 9/184 27367
/proc/meminfo: memFree=23797388/32951124 swapFree=67111524/67111528
[pid=27360] ppid=27358 vsize=830116 CPUtime=408.61 cores=1,3,5,7
/proc/27360/stat : 27360 (strangenight2-m) R 27358 27360 27036 0 -1 4202496 346071 0 0 0 40774 87 0 0 25 0 4 0 495535758 850038784 152163 33554432000 4194304 4627427 140736454187488 18446744073709551615 4308827 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27360/statm: 207529 152163 390 106 0 202500 0
[pid=27360/tid=27361] ppid=27358 vsize=830116 CPUtime=101.73 cores=1,3,5,7
/proc/27360/task/27361/stat : 27361 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 94240 0 0 0 10150 23 0 0 25 0 4 0 495535758 850038784 152163 33554432000 4194304 4627427 140736454187488 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27360/tid=27362] ppid=27358 vsize=830116 CPUtime=102.28 cores=1,3,5,7
/proc/27360/task/27362/stat : 27362 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 79950 0 0 0 10206 22 0 0 25 0 4 0 495535758 850038784 152163 33554432000 4194304 4627427 140736454187488 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27360/tid=27363] ppid=27358 vsize=830116 CPUtime=102.29 cores=1,3,5,7
/proc/27360/task/27363/stat : 27363 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 70443 0 0 0 10213 16 0 0 25 0 4 0 495535758 850038784 152163 33554432000 4194304 4627427 140736454187488 18446744073709551615 4308752 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.61
Current children cumulated vsize (KiB) 830116

[startup+162.301 s]

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

[pid=27360] ppid=27358 vsize=1413424 CPUtime=2805.29 cores=1,3,5,7
/proc/27360/stat : 27360 (strangenight2-m) R 27358 27360 27036 0 -1 4202496 1451561 0 0 0 280072 457 0 0 25 0 4 0 495535758 1447346176 268854 33554432000 4194304 4627427 140736454187488 18446744073709551615 4308760 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27360/statm: 353356 268854 390 106 0 348327 0
[pid=27360/tid=27361] ppid=27358 vsize=1413424 CPUtime=698.46 cores=1,3,5,7
/proc/27360/task/27361/stat : 27361 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 370577 0 0 0 69725 121 0 0 25 0 4 0 495535758 1447346176 268854 33554432000 4194304 4627427 140736454187488 18446744073709551615 4332783 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27360/tid=27362] ppid=27358 vsize=1413424 CPUtime=702.26 cores=1,3,5,7
/proc/27360/task/27362/stat : 27362 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 372502 0 0 0 70104 122 0 0 25 0 4 0 495535758 1447346176 268854 33554432000 4194304 4627427 140736454187488 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27360/tid=27363] ppid=27358 vsize=1413424 CPUtime=702.29 cores=1,3,5,7
/proc/27360/task/27363/stat : 27363 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 334251 0 0 0 70128 101 0 0 25 0 4 0 495535758 1447346176 268854 33554432000 4194304 4627427 140736454187488 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.29
Current children cumulated vsize (KiB) 1413424

[startup+762.301 s]
/proc/loadavg: 8.07 8.08 7.78 9/184 27425
/proc/meminfo: memFree=24170372/32951124 swapFree=67111524/67111528
[pid=27360] ppid=27358 vsize=1359152 CPUtime=3044.97 cores=1,3,5,7
/proc/27360/stat : 27360 (strangenight2-m) R 27358 27360 27036 0 -1 4202496 1546740 0 0 0 304007 490 0 0 25 0 4 0 495535758 1391771648 268131 33554432000 4194304 4627427 140736454187488 18446744073709551615 4308275 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27360/statm: 339788 268131 390 106 0 334759 0
[pid=27360/tid=27361] ppid=27358 vsize=1359152 CPUtime=758.14 cores=1,3,5,7
/proc/27360/task/27361/stat : 27361 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 397863 0 0 0 75683 131 0 0 25 0 4 0 495535758 1391771648 268131 33554432000 4194304 4627427 140736454187488 18446744073709551615 4468060 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27360/tid=27362] ppid=27358 vsize=1359152 CPUtime=762.27 cores=1,3,5,7
/proc/27360/task/27362/stat : 27362 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 397008 0 0 0 76097 130 0 0 25 0 4 0 495535758 1391771648 268131 33554432000 4194304 4627427 140736454187488 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27360/tid=27363] ppid=27358 vsize=1359152 CPUtime=762.28 cores=1,3,5,7
/proc/27360/task/27363/stat : 27363 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 353999 0 0 0 76121 107 0 0 25 0 4 0 495535758 1391771648 268131 33554432000 4194304 4627427 140736454187488 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3044.97
Current children cumulated vsize (KiB) 1359152

[startup+822.301 s]
/proc/loadavg: 8.02 8.06 7.80 9/184 27426
/proc/meminfo: memFree=24203556/32951124 swapFree=67111524/67111528
[pid=27360] ppid=27358 vsize=1271016 CPUtime=3284.65 cores=1,3,5,7
/proc/27360/stat : 27360 (strangenight2-m) R 27358 27360 27036 0 -1 4202496 1645245 0 0 0 327939 526 0 0 25 0 4 0 495535758 1301520384 251761 33554432000 4194304 4627427 140736454187488 18446744073709551615 4332992 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27360/statm: 317754 251761 390 106 0 312725 0
[pid=27360/tid=27361] ppid=27358 vsize=1271016 CPUtime=817.81 cores=1,3,5,7
/proc/27360/task/27361/stat : 27361 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 420510 0 0 0 81640 141 0 0 25 0 4 0 495535758 1301520384 251761 33554432000 4194304 4627427 140736454187488 18446744073709551615 4309364 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27360/tid=27362] ppid=27358 vsize=1271016 CPUtime=822.27 cores=1,3,5,7
/proc/27360/task/27362/stat : 27362 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 424750 0 0 0 82087 140 0 0 25 0 4 0 495535758 1301520384 251761 33554432000 4194304 4627427 140736454187488 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27360/tid=27363] ppid=27358 vsize=1271016 CPUtime=822.29 cores=1,3,5,7
/proc/27360/task/27363/stat : 27363 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 374795 0 0 0 82115 114 0 0 25 0 4 0 495535758 1301520384 251761 33554432000 4194304 4627427 140736454187488 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.65
Current children cumulated vsize (KiB) 1271016

[startup+882.301 s]
/proc/loadavg: 8.01 8.05 7.81 9/184 27428
/proc/meminfo: memFree=24116472/32951124 swapFree=67111524/67111528
[pid=27360] ppid=27358 vsize=1376092 CPUtime=3524.31 cores=1,3,5,7
/proc/27360/stat : 27360 (strangenight2-m) R 27358 27360 27036 0 -1 4202496 1771948 0 0 0 351862 569 0 0 25 0 4 0 495535758 1409118208 268289 33554432000 4194304 4627427 140736454187488 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27360/statm: 344023 268289 390 106 0 338994 0
[pid=27360/tid=27361] ppid=27358 vsize=1376092 CPUtime=877.49 cores=1,3,5,7
/proc/27360/task/27361/stat : 27361 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 447410 0 0 0 87598 151 0 0 25 0 4 0 495535758 1409118208 268289 33554432000 4194304 4627427 140736454187488 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27360/tid=27362] ppid=27358 vsize=1376092 CPUtime=882.26 cores=1,3,5,7
/proc/27360/task/27362/stat : 27362 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 471284 0 0 0 88073 153 0 0 25 0 4 0 495535758 1409118208 268289 33554432000 4194304 4627427 140736454187488 18446744073709551615 4299670 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27360/tid=27363] ppid=27358 vsize=1376092 CPUtime=882.28 cores=1,3,5,7
/proc/27360/task/27363/stat : 27363 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 402091 0 0 0 88104 124 0 0 25 0 4 0 495535758 1409118208 268289 33554432000 4194304 4627427 140736454187488 18446744073709551615 4309075 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.31
Current children cumulated vsize (KiB) 1376092

[startup+942.301 s]
/proc/loadavg: 8.06 8.05 7.82 9/184 27429
/proc/meminfo: memFree=24091136/32951124 swapFree=67111524/67111528
[pid=27360] ppid=27358 vsize=1320564 CPUtime=3764 cores=1,3,5,7
/proc/27360/stat : 27360 (strangenight2-m) R 27358 27360 27036 0 -1 4202496 1879345 0 0 0 375793 607 0 0 25 0 4 0 495535758 1352257536 270958 33554432000 4194304 4627427 140736454187488 18446744073709551615 4308392 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27360/statm: 330141 270958 390 106 0 325112 0
[pid=27360/tid=27361] ppid=27358 vsize=1320564 CPUtime=937.16 cores=1,3,5,7
/proc/27360/task/27361/stat : 27361 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 473515 0 0 0 93555 161 0 0 25 0 4 0 495535758 1352257536 270958 33554432000 4194304 4627427 140736454187488 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27360/tid=27362] ppid=27358 vsize=1320564 CPUtime=942.26 cores=1,3,5,7
/proc/27360/task/27362/stat : 27362 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 498501 0 0 0 94064 162 0 0 25 0 4 0 495535758 1352257536 270958 33554432000 4194304 4627427 140736454187488 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27360/tid=27363] ppid=27358 vsize=1320564 CPUtime=942.29 cores=1,3,5,7
/proc/27360/task/27363/stat : 27363 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 428904 0 0 0 94095 134 0 0 25 0 4 0 495535758 1352257536 270958 33554432000 4194304 4627427 140736454187488 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764
Current children cumulated vsize (KiB) 1320564

[startup+1002.3 s]
/proc/loadavg: 8.07 8.06 7.83 9/184 27431
/proc/meminfo: memFree=24037400/32951124 swapFree=67111524/67111528
[pid=27360] ppid=27358 vsize=1435352 CPUtime=4003.65 cores=1,3,5,7
/proc/27360/stat : 27360 (strangenight2-m) R 27358 27360 27036 0 -1 4202496 1985360 0 0 0 399720 645 0 0 25 0 4 0 495535758 1469800448 285095 33554432000 4194304 4627427 140736454187488 18446744073709551615 4308752 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27360/statm: 358838 285095 390 106 0 353809 0
[pid=27360/tid=27361] ppid=27358 vsize=1435352 CPUtime=996.83 cores=1,3,5,7
/proc/27360/task/27361/stat : 27361 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 500457 0 0 0 99512 171 0 0 25 0 4 0 495535758 1469800448 285095 33554432000 4194304 4627427 140736454187488 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27360/tid=27362] ppid=27358 vsize=1435352 CPUtime=1002.26 cores=1,3,5,7
/proc/27360/task/27362/stat : 27362 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 524634 0 0 0 100054 172 0 0 25 0 4 0 495535758 1469800448 285095 33554432000 4194304 4627427 140736454187488 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27360/tid=27363] ppid=27358 vsize=1435352 CPUtime=1002.28 cores=1,3,5,7
/proc/27360/task/27363/stat : 27363 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 454903 0 0 0 100085 143 0 0 25 0 4 0 495535758 1469800448 285095 33554432000 4194304 4627427 140736454187488 18446744073709551615 4321761 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.65
Current children cumulated vsize (KiB) 1435352

[startup+1062.31 s]
/proc/loadavg: 8.15 8.08 7.85 9/184 27433
/proc/meminfo: memFree=23748456/32951124 swapFree=67111524/67111528
[pid=27360] ppid=27358 vsize=1738588 CPUtime=4243.33 cores=1,3,5,7
/proc/27360/stat : 27360 (strangenight2-m) R 27358 27360 27036 0 -1 4202496 2151626 0 0 0 423642 691 0 0 25 0 4 0 495535758 1780314112 355301 33554432000 4194304 4627427 140736454187488 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27360/statm: 434647 355301 390 106 0 429618 0
[pid=27360/tid=27361] ppid=27358 vsize=1738588 CPUtime=1056.5 cores=1,3,5,7
/proc/27360/task/27361/stat : 27361 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 551575 0 0 0 105466 184 0 0 25 0 4 0 495535758 1780314112 355302 33554432000 4194304 4627427 140736454187488 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27360/tid=27362] ppid=27358 vsize=1738588 CPUtime=1062.27 cores=1,3,5,7
/proc/27360/task/27362/stat : 27362 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 551253 0 0 0 106044 183 0 0 25 0 4 0 495535758 1780314112 355302 33554432000 4194304 4627427 140736454187488 18446744073709551615 4330015 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27360/tid=27363] ppid=27358 vsize=1738588 CPUtime=1062.29 cores=1,3,5,7
/proc/27360/task/27363/stat : 27363 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 502199 0 0 0 106073 156 0 0 25 0 4 0 495535758 1780314112 355302 33554432000 4194304 4627427 140736454187488 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.33
Current children cumulated vsize (KiB) 1738588

[startup+1122.3 s]
/proc/loadavg: 8.16 8.09 7.87 9/184 27434
/proc/meminfo: memFree=23730328/32951124 swapFree=67111524/67111528
[pid=27360] ppid=27358 vsize=1739508 CPUtime=4482.98 cores=1,3,5,7
/proc/27360/stat : 27360 (strangenight2-m) R 27358 27360 27036 0 -1 4202496 2254689 0 0 0 447570 728 0 0 25 0 4 0 495535758 1781256192 362020 33554432000 4194304 4627427 140736454187488 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27360/statm: 434877 362020 390 106 0 429848 0
[pid=27360/tid=27361] ppid=27358 vsize=1739508 CPUtime=1116.17 cores=1,3,5,7
/proc/27360/task/27361/stat : 27361 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 578448 0 0 0 111424 193 0 0 25 0 4 0 495535758 1781256192 362020 33554432000 4194304 4627427 140736454187488 18446744073709551615 4327559 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27360/tid=27362] ppid=27358 vsize=1739508 CPUtime=1122.26 cores=1,3,5,7
/proc/27360/task/27362/stat : 27362 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 575444 0 0 0 112033 193 0 0 25 0 4 0 495535758 1781256192 362020 33554432000 4194304 4627427 140736454187488 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27360/tid=27363] ppid=27358 vsize=1739508 CPUtime=1122.28 cores=1,3,5,7
/proc/27360/task/27363/stat : 27363 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 527434 0 0 0 112064 164 0 0 25 0 4 0 495535758 1781256192 362020 33554432000 4194304 4627427 140736454187488 18446744073709551615 4332830 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4482.98
Current children cumulated vsize (KiB) 1739508

[startup+1182.3 s]
/proc/loadavg: 8.16 8.10 7.88 9/184 27436
/proc/meminfo: memFree=23799248/32951124 swapFree=67111524/67111528
[pid=27360] ppid=27358 vsize=1626044 CPUtime=4722.63 cores=1,3,5,7
/proc/27360/stat : 27360 (strangenight2-m) R 27358 27360 27036 0 -1 4202496 2359758 0 0 0 471499 764 0 0 25 0 4 0 495535758 1665069056 336554 33554432000 4194304 4627427 140736454187488 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27360/statm: 406511 336554 390 106 0 401482 0
[pid=27360/tid=27361] ppid=27358 vsize=1626044 CPUtime=1175.84 cores=1,3,5,7
/proc/27360/task/27361/stat : 27361 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 604226 0 0 0 117381 203 0 0 25 0 4 0 495535758 1665069056 336554 33554432000 4194304 4627427 140736454187488 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27360/tid=27362] ppid=27358 vsize=1626044 CPUtime=1182.25 cores=1,3,5,7
/proc/27360/task/27362/stat : 27362 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 602282 0 0 0 118022 203 0 0 25 0 4 0 495535758 1665069056 336554 33554432000 4194304 4627427 140736454187488 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27360/tid=27363] ppid=27358 vsize=1626044 CPUtime=1182.27 cores=1,3,5,7
/proc/27360/task/27363/stat : 27363 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 553982 0 0 0 118055 172 0 0 25 0 4 0 495535758 1665069056 336554 33554432000 4194304 4627427 140736454187488 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.63
Current children cumulated vsize (KiB) 1626044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.19 8.11 7.89 9/184 27436
/proc/meminfo: memFree=23751000/32951124 swapFree=67111524/67111528
[pid=27360] ppid=27358 vsize=1683624 CPUtime=4800.15 cores=1,3,5,7
/proc/27360/stat : 27360 (strangenight2-m) R 27358 27360 27036 0 -1 4202496 2392005 0 0 0 479239 776 0 0 25 0 4 0 495535758 1724030976 352122 33554432000 4194304 4627427 140736454187488 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27360/statm: 420906 352122 390 106 0 415877 0
[pid=27360/tid=27361] ppid=27358 vsize=1683624 CPUtime=1195.14 cores=1,3,5,7
/proc/27360/task/27361/stat : 27361 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 612428 0 0 0 119308 206 0 0 25 0 4 0 495535758 1724030976 352122 33554432000 4194304 4627427 140736454187488 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27360/tid=27362] ppid=27358 vsize=1683624 CPUtime=1201.66 cores=1,3,5,7
/proc/27360/task/27362/stat : 27362 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 610705 0 0 0 119961 205 0 0 25 0 4 0 495535758 1724030976 352122 33554432000 4194304 4627427 140736454187488 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27360/tid=27363] ppid=27358 vsize=1683624 CPUtime=1201.68 cores=1,3,5,7
/proc/27360/task/27363/stat : 27363 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 561398 0 0 0 119994 174 0 0 25 0 4 0 495535758 1724030976 352122 33554432000 4194304 4627427 140736454187488 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 1683624

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

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

[startup+1201.7 s]
/proc/loadavg: 8.19 8.11 7.89 9/184 27436
/proc/meminfo: memFree=23751000/32951124 swapFree=67111524/67111528
[pid=27360] ppid=27358 vsize=1683624 CPUtime=4800.15 cores=1,3,5,7
/proc/27360/stat : 27360 (strangenight2-m) R 27358 27360 27036 0 -1 4202496 2392005 0 0 0 479239 776 0 0 25 0 4 0 495535758 1724030976 352122 33554432000 4194304 4627427 140736454187488 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27360/statm: 420906 352122 390 106 0 415877 0
[pid=27360/tid=27361] ppid=27358 vsize=1683624 CPUtime=1195.14 cores=1,3,5,7
/proc/27360/task/27361/stat : 27361 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 612428 0 0 0 119308 206 0 0 25 0 4 0 495535758 1724030976 352122 33554432000 4194304 4627427 140736454187488 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27360/tid=27362] ppid=27358 vsize=1683624 CPUtime=1201.66 cores=1,3,5,7
/proc/27360/task/27362/stat : 27362 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 610705 0 0 0 119961 205 0 0 25 0 4 0 495535758 1724030976 352122 33554432000 4194304 4627427 140736454187488 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27360/tid=27363] ppid=27358 vsize=1683624 CPUtime=1201.68 cores=1,3,5,7
/proc/27360/task/27363/stat : 27363 (strangenight2-m) R 27358 27360 27036 0 -1 4202560 561398 0 0 0 119994 174 0 0 25 0 4 0 495535758 1724030976 352122 33554432000 4194304 4627427 140736454187488 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 1683624

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.77
CPU time (s): 4800.24
CPU user time (s): 4792.42
CPU system time (s): 7.81781
CPU usage (%): 399.431
Max. virtual memory (cumulated for all children) (KiB): 1753516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.42
system time used= 7.81781
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2392014
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= 2310
involuntary context switches= 30748

runsolver used 1.9767 second user time and 4.5843 second system time

The end

Launcher Data 

Begin job on node147 at 2011-04-29 00:53:19
IDJOB=3173786
IDBENCH=82604
IDSOLVER=1586
FILE ID=node147/3173786-1304031198
RUNJOBID= node147-1304028687-27055
PBS_JOBID= 13170305
Free space on /tmp= 72648 MiB

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

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

MD5SUM BENCH= 53ba9a0375ae9f5fbde617f9de32bf14
RANDOM SEED=1603815622

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24467068 kB
Buffers:       1018992 kB
Cached:        5781172 kB
SwapCached:          4 kB
Active:        2424428 kB
Inactive:      5613220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24467068 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            7008 kB
Writeback:           0 kB
AnonPages:     1237116 kB
Mapped:          15508 kB
Slab:           380712 kB
PageTables:       7224 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1551648 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= 72644 MiB
End job on node147 at 2011-04-29 01:13:22