Trace number 3366195

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.12 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-3366195-1307634580.cnf'
0.00/0.00	c -- header says num vars:          20000
0.00/0.00	c -- header says num clauses:       84000
0.23/0.20	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.23/0.20	c -- vars added      20000
0.23/0.20	c Parsing time:  0.05 s
0.23/0.20	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data
0.23/0.20	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.07
0.23/0.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
0.23/0.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.23/0.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.23/0.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3.98/1.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20000 time:  0.01 s
3.98/1.06	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.01 s
3.98/1.06	c lits-rem:         0  cl-subs:        0  v-elim:    471  v-fix:    0  time:  0.12 s
3.98/1.06	c Finding binary XORs  T:     0.00 s  found:       0
3.98/1.06	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
3.98/1.06	c calculated reachability. Time: 0.00
3.98/1.06	c Calc default polars -  time:   0.01 s pos:    8806 undec:    2245 neg:    8949
3.98/1.06	c =========================================================================================
3.98/1.06	c types(t): F = full restart, N = normal restart
3.98/1.06	c types(t): S = simplification begin/end, E = solution found
3.98/1.06	c restart types(rt): st = static, dy = dynamic
3.98/1.06	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.98/1.06	c  B st     0         0     19529     83502         0         0    253423         0   no data   no data
6.34/1.61	c  N dy    20      4153     19529     83502         0      4153    253423    892243    125.73    136.45
10.74/2.80	c  N dy    51      8183     19529     83502         0      8183    253423   1711770    128.31    135.77
15.95/4.05	c  N dy    82     12262     19529     83502         0     12262    253423   2553681    130.21    137.52
21.12/5.37	c  N dy   105     16539     19529     83502         0     16538    253423   3409142    129.05    139.46
26.71/6.75	c  N dy   130     20742     19529     83502         0     10747    253423    694985    128.39    138.02
31.51/7.99	c  N dy   156     24799     19529     83502         0     14803    253423   1502473    128.49    139.69
31.91/8.06	c  F st   158     25001     19529     83502         0     15005    253423   1548356    128.68   no data
38.70/9.73	c  N dy   164     30001     19529     83502         0     20005    253423   2825498    128.68   no data
38.70/9.73	c  S st   164     30001     19529     83502         0     20005    253423   2825498    128.68   no data
39.50/9.90	c  S st   164     30503     19529     83502         0     20506    253423   2910447    128.68   no data
39.50/9.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
39.50/9.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.05
39.50/9.99	c blocked clauses removed:      330 vars:     57 tried:       19529 T: 0.01 s
39.50/9.99	c bin-w-bin subsume rem            0 bins  time:  0.01 s
39.89/10.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39.89/10.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19472 time:  0.01 s
39.89/10.01	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
40.29/10.10	c lits-rem:         0  cl-subs:        0  v-elim:      5  v-fix:    0  time:  0.08 s
41.09/10.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.28/11.14	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.77 s
44.68/11.24	c asymm  cl-useful: 0/83167/83167 lits-rem:0 time: 0.10
44.68/11.25	c calculated reachability. Time: 0.00
44.68/11.25	c  N dy   164     30503     19467     83167         0     20371    252460   2865221    128.68   no data
49.87/12.58	c  N dy   187     34511     19467     83167         0     24379    252460   3667624    128.25    135.47
55.87/14.05	c  N dy   213     38586     19467     83167         0     28454    252460   4484572    128.18    135.58
61.85/15.51	c  N dy   239     42738     19467     83167         0     17172    252460   1015644    128.18    136.53
65.45/16.49	c  S st   260     45757     19467     83167         0     20190    252460   1627623    128.27   no data
66.25/16.67	c  S st   260     46263     19467     83167         0     20696    252460   1709014    128.27   no data
66.25/16.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
66.65/16.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.06
66.65/16.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
66.65/16.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
66.65/16.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
66.65/16.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19467 time:  0.01 s
66.65/16.79	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
67.05/16.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
67.45/16.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
68.26/17.20	c lits-rem:         8  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.22 s
68.67/17.21	c vivif2 --  cl tried    83167 cl shrink        0 lits rem          0 time: 0.01
68.67/17.23	c vivif2 --  cl tried    20695 cl shrink        0 lits rem          0 time: 0.03
69.05/17.33	c asymm  cl-useful: 0/83167/83167 lits-rem:0 time: 0.10
69.05/17.34	c calculated reachability. Time: 0.00
69.05/17.34	c  N dy   260     46263     19467     83167         0     20695    252460   1708736    128.27   no data
74.24/18.69	c  N dy   287     50383     19467     83167         0     24814    252460   2540481    128.04    135.74
79.83/20.09	c  N dy   315     54384     19467     83167         0     28815    252460   3367117    128.38    135.99
85.84/21.53	c  N dy   342     58496     19467     83167         0     32927    252460   4175147    128.27    135.08
91.41/22.99	c  N dy   367     62616     19467     83167         0     37047    252460   4991943    128.10    135.08
97.00/24.35	c  N dy   396     66620     19467     83167         0     22339    252460   1393117    128.47    137.99
101.00/25.34	c  S st   418     69394     19467     83167         0     25111    252460   1959822    128.55   no data
101.80/25.51	c  S st   418     69896     19467     83167         0     25613    252460   2032861    128.55   no data
101.80/25.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
101.80/25.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.06
102.20/25.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
102.20/25.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
102.20/25.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
102.20/25.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19467 time:  0.01 s
102.20/25.62	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
102.60/25.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
102.99/25.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
104.20/26.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.36 s
104.20/26.19	c vivif2 --  cl tried    83167 cl shrink        0 lits rem          0 time: 0.01
104.60/26.22	c vivif2 --  cl tried    25613 cl shrink        0 lits rem          0 time: 0.03
105.00/26.33	c asymm  cl-useful: 0/83167/83167 lits-rem:0 time: 0.11
105.00/26.34	c calculated reachability. Time: 0.00
105.00/26.34	c  N dy   418     69896     19467     83167         0     25613    252460   2032861    128.55   no data
110.99/27.88	c  N dy   446     74403     19467     83167         0     30120    252460   2945262    128.42    137.32
117.78/29.59	c  N dy   481     79234     19467     83167         0     34950    252460   3931354    128.50    136.46
125.38/31.43	c  N dy   516     84290     19467     83167         0     40005    252460   4960029    128.57    143.32
130.18/32.62	c  F st   540     87500     19467     83167         0     22357    252460    908628    128.70   no data
134.95/33.81	c  N st   545     90797     19467     83167         0     25653    252460   1825019    128.70   no data
142.96/35.89	c  N dy   570     96668     19467     83167         0     31522    252460   3165817    128.54    139.76
152.15/38.16	c  N dy   610    102911     19467     83167         0     37765    252460   4465194    128.66    136.16
154.93/38.89	c  S st   624    104846     19467     83167         0     39700    252460   4852269    128.63    118.57
155.73/39.08	c  S st   624    105349     19467     83167         0     40203    252460   4929504    128.63   no data
155.73/39.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
156.14/39.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.07
156.14/39.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
156.14/39.19	c bin-w-bin subsume rem            0 bins  time:  0.01 s
156.14/39.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
156.54/39.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19467 time:  0.01 s
156.54/39.22	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
156.92/39.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
157.72/39.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
163.71/41.03	c lits-rem:        14  cl-subs:        5  v-elim:      0  v-fix:    0  time:  1.42 s
163.71/41.04	c vivif2 --  cl tried    83167 cl shrink        0 lits rem          0 time: 0.01
164.11/41.12	c vivif2 --  cl tried    40198 cl shrink        0 lits rem          0 time: 0.08
164.51/41.25	c asymm  cl-useful: 0/83167/83167 lits-rem:0 time: 0.13
164.51/41.26	c calculated reachability. Time: 0.00
164.51/41.26	c  N dy   624    105349     19467     83167         0     40198    252460   4926399    128.63   no data
174.90/43.82	c  N dy   666    112130     19467     83167         0     24556    252460   1030748    128.63    145.99
185.28/46.40	c  N dy   714    119368     19467     83167         0     31794    252460   2501633    128.74    136.59
196.46/49.23	c  N dy   765    127010     19467     83167         0     39436    252460   4046674    128.83    140.98
208.87/52.39	c  N dy   824    135188     19467     83167         0     23900    252460    583422    129.18    141.20
221.23/55.41	c  N dy   884    143847     19467     83167         0     32559    252460   2359932    129.26    137.48
234.81/58.85	c  N dy   945    153107     19467     83167         0     41819    252460   4224012    129.11    138.11
242.01/60.69	c  S st   977    158025     19467     83167         0     46736    252460   5218513    129.08    144.39
243.20/60.90	c  S st   977    158527     19467     83167         0     47238    252460   5300499    129.08   no data
243.20/60.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
243.20/60.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.07
243.60/61.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
243.60/61.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
243.60/61.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
243.60/61.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19467 time:  0.01 s
243.60/61.04	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
244.02/61.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
245.19/61.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
253.21/63.41	c lits-rem:         7  cl-subs:        3  v-elim:      0  v-fix:    0  time:  1.98 s
253.21/63.42	c vivif2 --  cl tried    83167 cl shrink        0 lits rem          0 time: 0.01
253.59/63.50	c vivif2 --  cl tried    47235 cl shrink        0 lits rem          0 time: 0.08
253.99/63.64	c asymm  cl-useful: 0/83167/83167 lits-rem:0 time: 0.14
253.99/63.65	c calculated reachability. Time: 0.00
253.99/63.65	c  N dy   977    158527     19467     83167         0     47235    252460   5299234    129.08   no data
268.77/67.39	c  N dy  1054    168663     19467     83167         0     32513    252460   2143081    129.47    138.68
285.14/71.43	c  N dy  1129    179428     19467     83167         0     43278    252460   4398227    129.61    138.05
302.71/75.89	c  N dy  1206    190949     19467     83167         0     28870    252460   1091106    129.75    139.53
320.69/80.37	c  N dy  1287    203140     19467     83167         0     41061    252460   3639971    129.89    155.66
341.47/85.55	c  N dy  1375    216279     19467     83167         0     27233    252460    528770    129.86    144.01
361.84/90.60	c  N dy  1461    230111     19467     83167         0     41065    252460   3362106    129.79    138.03
373.42/93.56	c  S st  1516    237790     19467     83167         0     48742    252460   4974474    129.89    118.00
374.22/93.77	c  S st  1516    238291     19467     83167         0     49243    252460   5048817    129.89   no data
374.22/93.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
374.62/93.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.08
374.62/93.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
374.62/93.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
375.02/93.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
375.02/93.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19467 time:  0.01 s
375.02/93.91	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
375.42/94.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
376.24/94.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
384.21/96.29	c lits-rem:         3  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.02 s
384.21/96.30	c vivif2 --  cl tried    83167 cl shrink        0 lits rem          0 time: 0.01
384.63/96.37	c vivif2 --  cl tried    49238 cl shrink        0 lits rem          0 time: 0.08
385.40/96.52	c asymm  cl-useful: 0/83167/83167 lits-rem:0 time: 0.15
385.40/96.53	c calculated reachability. Time: 0.00
385.40/96.53	c  N dy  1516    238291     19467     83167         0     49238    252460   5046874    129.89   no data
408.58/102.34	c  N dy  1615    253527     19467     83167         0     36492    252460   2242615    129.95    136.88
433.36/108.59	c  N dy  1719    269799     19467     83167         0     52763    252460   5575745    129.89    138.12
460.50/115.36	c  N dy  1836    287080     19467     83167         0     41054    252460   2969934    129.98    170.12
489.67/122.70	c  N dy  1954    305476     19467     83167         0     59448    252460   6717570    129.97    159.05
491.27/123.05	c  F st  1959    306250     19467     83167         0     30228    252460    489056    129.96    120.22
520.02/130.24	c  N dy  2068    325066     19467     83167         0     49044    252460   4621588    130.16    138.09
552.00/138.25	c  N dy  2208    345223     19467     83167         0     38208    252460   1991164    130.22    140.70
571.14/143.01	c  S st  2290    357436     19467     83167         0     50420    252460   4503098    130.20    123.62
571.95/143.21	c  S st  2290    357938     19467     83167         0     50922    252460   4580369    130.20   no data
571.95/143.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
572.35/143.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.08
572.35/143.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
572.35/143.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
572.35/143.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
572.35/143.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19467 time:  0.01 s
572.35/143.35	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
572.75/143.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
573.57/143.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
585.93/146.74	c lits-rem:         8  cl-subs:        6  v-elim:      0  v-fix:    0  time:  3.06 s
585.93/146.75	c vivif2 --  cl tried    83167 cl shrink        0 lits rem          0 time: 0.01
586.33/146.82	c vivif2 --  cl tried    50916 cl shrink        0 lits rem          0 time: 0.07
586.74/146.96	c asymm  cl-useful: 0/83167/83167 lits-rem:0 time: 0.15
586.74/146.97	c calculated reachability. Time: 0.00
586.74/146.97	c  N dy  2290    357938     19467     83167         0     50916    252460   4577775    130.20   no data
618.68/154.96	c  N dy  2418    378008     19467     83167         0     38989    252460   1919947    130.17    143.47
651.44/163.15	c  N dy  2548    398166     19467     83167         0     59147    252460   6100833    130.16    143.95
683.41/171.14	c  N dy  2688    418198     19467     83167         0     46185    252460   3235750    130.32    152.96
716.54/179.41	c  N dy  2828    438245     19467     83167         0     66232    252460   7444697    130.45    137.86
748.09/187.32	c  N dy  2955    458327     19467     83167         0     52313    252460   4261504    130.50    140.16
781.25/195.66	c  N dy  3091    478396     19467     83167         0     37379    252460    911466    130.57    138.25
813.61/203.74	c  N dy  3228    498859     19467     83167         0     57842    252460   5193221    130.63    143.96
846.75/212.09	c  N dy  3366    519005     19467     83167         0     41992    252460   1653534    130.65    138.10
875.93/219.38	c  S st  3496    536907     19467     83167         0     59892    252460   5379211    130.74    114.64
877.14/219.61	c  S st  3496    537414     19467     83167         0     60399    252460   5457605    130.74   no data
877.14/219.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
877.51/219.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.08
877.51/219.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
877.51/219.73	c bin-w-bin subsume rem            0 bins  time:  0.01 s
877.51/219.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
877.51/219.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19467 time:  0.01 s
877.51/219.76	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
877.91/219.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
879.11/220.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
890.32/222.92	c lits-rem:         3  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.78 s
890.32/222.93	c vivif2 --  cl tried    83167 cl shrink        0 lits rem          0 time: 0.01
890.69/223.01	c vivif2 --  cl tried    60394 cl shrink        0 lits rem          0 time: 0.09
891.10/223.17	c asymm  cl-useful: 0/83167/83167 lits-rem:0 time: 0.16
891.10/223.18	c calculated reachability. Time: 0.00
891.10/223.18	c  N dy  3496    537414     19467     83167         0     60394    252460   5455253    130.74   no data
924.66/231.51	c  N dy  3621    557543     19467     83167         0     43520    252460   1829713    130.69    139.33
957.00/239.67	c  N dy  3756    577634     19467     83167         0     63611    252460   6038404    130.75    139.68
991.38/248.24	c  N dy  3893    597648     19467     83167         0     45625    252460   2042037    130.80    139.66
1024.52/256.59	c  N dy  4029    617736     19467     83167         0     65712    252460   6226303    130.85    137.90
1058.86/265.17	c  N dy  4170    637814     19467     83167         0     46791    252460   2043123    130.88    140.36
1092.44/273.53	c  N dy  4309    657895     19467     83167         0     66872    252460   6237620    130.96    138.06
1127.18/282.25	c  N dy  4449    677994     19467     83167         0     46973    252460   1930857    131.03    138.34
1162.34/291.04	c  N dy  4591    698033     19467     83167         0     67011    252460   6134947    131.11    139.51
1197.90/299.92	c  N dy  4719    718215     19467     83167         0     46195    252460   1553727    131.13    138.21
1231.03/308.28	c  N dy  4857    738224     19467     83167         0     66200    252460   5720173    131.14    139.04
1267.38/317.36	c  N dy  5001    758327     19467     83167         0     44307    252460    951254    131.22    139.17
1300.53/325.61	c  N dy  5125    778547     19467     83167         0     64523    252460   5151713    131.21    140.16
1336.88/334.73	c  N dy  5257    798659     19467     83167         0     84634    252460   9288841    131.18    138.27
1349.26/337.80	c  S st  5303    806121     19467     83167         0     49103    252460   1746801    131.18   no data
1350.06/338.02	c  S st  5303    806628     19467     83167         0     49610    252460   1831698    131.18   no data
1350.06/338.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1350.46/338.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.07
1350.46/338.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1350.46/338.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1350.46/338.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1350.46/338.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19467 time:  0.01 s
1350.46/338.15	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
1350.86/338.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
1351.28/338.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1353.66/338.96	c lits-rem:         5  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.62 s
1353.66/338.97	c vivif2 --  cl tried    83167 cl shrink        0 lits rem          0 time: 0.01
1354.06/339.00	c vivif2 --  cl tried    49607 cl shrink        0 lits rem          0 time: 0.03
1354.46/339.14	c asymm  cl-useful: 0/83167/83167 lits-rem:0 time: 0.14
1354.46/339.15	c calculated reachability. Time: 0.00
1354.46/339.15	c  N dy  5303    806628     19467     83167         0     49607    252460   1830544    131.18   no data
1388.81/347.72	c  N dy  5437    826817     19467     83167         0     69796    252460   5980464    131.18    143.35
1425.97/357.09	c  N dy  5567    846855     19467     83167         0     45831    252460    859808    131.19    138.48
1459.50/365.46	c  N dy  5704    866903     19467     83167         0     65876    252460   5028601    131.21    139.16
1495.85/374.56	c  N dy  5842    886936     19467     83167         0     85908    252460   9249900    131.25    153.30
1529.80/383.08	c  N dy  5973    906939     19467     83167         0     60912    252460   3783290    131.24    139.34
1565.75/392.06	c  N dy  6106    927022     19467     83167         0     80995    252460   7913070    131.22    141.57
1602.12/401.15	c  N dy  6246    947095     19467     83167         0     55070    252460   2382565    131.27    156.05
1637.28/409.96	c  N dy  6381    967199     19467     83167         0     75171    252460   6609978    131.30    138.26
1675.20/419.40	c  N dy  6510    987204     19467     83167         0     48177    252460    733654    131.31    154.46
1708.76/427.87	c  N dy  6653   1007321     19467     83167         0     68291    252460   4975251    131.35    143.17
1745.90/437.14	c  N dy  6783   1027386     19467     83167         0     88354    252460   9183242    131.36    139.62
1781.45/446.04	c  N dy  6922   1047433     19467     83167         0     60407    252460   3094309    131.39    149.59
1817.43/455.07	c  N dy  7063   1067464     19467     83167         0     80437    252460   7286347    131.43    151.66
1825.40/457.10	c  F st  7093   1071876     19467     83167         0     84849    252460   8210081    131.44    131.95
1855.75/464.69	c  N dy  7171   1087595     19467     83167         0     51574    252460   1035491    131.47    140.09
1890.50/473.36	c  N dy  7306   1107729     19467     83167         0     71705    252460   5242767    131.47    142.32
1928.85/482.96	c  N dy  7449   1127940     19467     83167         0     91915    252460   9505143    131.53    139.42
1964.80/491.97	c  N dy  7579   1147981     19467     83167         0     61955    252460   2989895    131.52    141.81
2001.15/501.06	c  N dy  7719   1168000     19467     83167         0     81971    252460   7247772    131.59    143.79
2040.30/510.89	c  N dy  7856   1188022     19467     83167         0    101992    252460  11465436    131.60    139.94
2075.85/519.75	c  N dy  7985   1208025     19467     83167         0     70993    252460   4663482    131.61    139.01
2079.44/520.65	c  S st  8002   1209942     19467     83167         0     72910    252460   5063116    131.62   no data
2080.65/520.91	c  S st  8002   1210443     19467     83167         0     73411    252460   5136202    131.62   no data
2080.65/520.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2081.06/521.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.10
2081.06/521.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2081.06/521.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2081.06/521.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2081.06/521.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19467 time:  0.01 s
2081.06/521.07	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
2081.43/521.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
2082.63/521.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2094.24/524.39	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time:  2.94 s
2094.62/524.40	c vivif2 --  cl tried    83167 cl shrink        0 lits rem          0 time: 0.01
2094.62/524.49	c vivif2 --  cl tried    73409 cl shrink        0 lits rem          0 time: 0.09
2095.41/524.67	c asymm  cl-useful: 0/83167/83167 lits-rem:0 time: 0.18
2095.41/524.68	c calculated reachability. Time: 0.00
2095.41/524.68	c  N dy  8002   1210443     19467     83167         0     73409    252460   5135934    131.62   no data
2133.78/534.22	c  N dy  8140   1230548     19467     83167         0     93513    252460   9349344    131.62    138.86
2170.91/543.55	c  N dy  8272   1250631     19467     83167         0     61597    252460   2459949    131.61    141.27
2206.46/552.49	c  N dy  8404   1270668     19467     83167         0     81634    252460   6588989    131.60    142.24
2245.61/562.24	c  N dy  8529   1290762     19467     83167         0    101728    252460  10726088    131.57    138.52
2281.57/571.25	c  N dy  8661   1310775     19467     83167         0     68744    252460   3766310    131.56    140.39
2319.11/580.65	c  N dy  8799   1330866     19467     83167         0     88834    252460   7936406    131.56    139.43
2360.65/591.05	c  N dy  8939   1350908     19467     83167         0     54883    252460    695494    131.61    138.84
2395.81/599.85	c  N dy  9077   1371008     19467     83167         0     74983    252460   4881500    131.63    139.72
2434.54/609.58	c  N dy  9216   1391064     19467     83167         0     95038    252460   9096516    131.66    140.64
2474.89/619.61	c  N dy  9355   1411148     19467     83167         0     60123    252460   1610004    131.70    138.70
2510.84/628.70	c  N dy  9496   1431189     19467     83167         0     80163    252460   5897710    131.74    148.57
2550.38/638.60	c  N dy  9626   1451322     19467     83167         0    100295    252460  10125433    131.76    138.82
2589.53/648.32	c  N dy  9755   1471472     19467     83167         0     64445    252460   2311633    131.76    147.67
2625.91/657.46	c  N dy  9891   1491510     19467     83167         0     84481    252460   6500919    131.79    144.55
2666.22/667.59	c  N dy 10034   1511634     19467     83167         0    104604    252460  10766799    131.83    140.34
2704.99/677.26	c  N dy 10169   1531765     19467     83167         0     67742    252460   2769281    131.85    143.37
2742.50/686.66	c  N dy 10311   1551867     19467     83167         0     87843    252460   6976694    131.85    143.67
2783.24/696.80	c  N dy 10450   1571954     19467     83167         0    107929    252460  11191461    131.87    148.85
2821.18/706.35	c  N dy 10584   1592014     19467     83167         0     69989    252460   3058707    131.88    141.49
2859.13/715.81	c  N dy 10724   1612088     19467     83167         0     90063    252460   7284029    131.89    140.70
2900.27/726.14	c  N dy 10855   1632363     19467     83167         0    110335    252460  11508350    131.89    146.67
2938.61/735.74	c  N dy 10991   1652469     19467     83167         0     71444    252460   3083492    131.89    142.71
2976.17/745.18	c  N dy 11125   1672482     19467     83167         0     91456    252460   7272522    131.89    140.41
3017.71/755.53	c  N dy 11257   1692591     19467     83167         0    111563    252460  11516229    131.91    139.36
3053.26/764.44	c  S st 11369   1710443     19467     83167         0     69416    252460   2514376    131.91   no data
3054.06/764.68	c  S st 11369   1710946     19467     83167         0     69919    252460   2592278    131.91   no data
3054.06/764.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3054.45/764.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.09
3054.85/764.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3054.85/764.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3054.85/764.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3054.85/764.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19467 time:  0.01 s
3054.85/764.84	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
3055.25/764.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
3055.66/765.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3062.04/766.68	c lits-rem:         4  cl-subs:        2  v-elim:      0  v-fix:    0  time:  1.61 s
3062.04/766.69	c vivif2 --  cl tried    83167 cl shrink        0 lits rem          0 time: 0.01
3062.45/766.73	c vivif2 --  cl tried    69917 cl shrink        0 lits rem          0 time: 0.04
3063.25/766.91	c asymm  cl-useful: 0/83167/83167 lits-rem:0 time: 0.18
3063.25/766.92	c calculated reachability. Time: 0.00
3063.25/766.92	c  N dy 11369   1710946     19467     83167         0     69917    252460   2591541    131.91   no data
3100.41/776.29	c  N dy 11505   1731028     19467     83167         0     89997    252460   6865696    131.94    181.14
3141.93/786.61	c  N dy 11632   1751084     19467     83167         0    110053    252460  11069810    131.95    171.65
3182.67/796.83	c  N dy 11769   1771222     19467     83167         0     69195    252460   2240058    131.96    141.72
3220.22/806.22	c  N dy 11900   1791341     19467     83167         0     89312    252460   6448806    131.96    139.36
3261.76/816.61	c  N dy 12041   1811566     19467     83167         0    109534    252460  10701862    131.98    139.28
3302.91/826.94	c  N dy 12175   1831652     19467     83167         0     67623    252460   1709461    131.99    140.47
3340.45/836.36	c  N dy 12315   1851671     19467     83167         0     87641    252460   6000063    132.02    139.70
3382.00/846.79	c  N dy 12443   1871730     19467     83167         0    107699    252460  10172255    132.02    139.41
3425.14/857.50	c  N dy 12568   1891737     19467     83167         0     64707    252460    909965    132.01    139.42
3461.08/866.59	c  N dy 12704   1911845     19467     83167         0     84813    252460   5074339    132.01    140.31
3501.42/876.69	c  N dy 12834   1931896     19467     83167         0    104864    252460   9240635    132.01    139.98
3545.36/887.67	c  N dy 12970   1951928     19467     83167         0    124895    252460  13469814    132.03    139.92
3583.73/897.26	c  N dy 13107   1972105     19467     83167         0     81074    252460   4174991    132.04    144.77
3623.66/907.25	c  N dy 13243   1992333     19467     83167         0    101301    252460   8446329    132.06    142.56
3666.81/918.08	c  N dy 13375   2012345     19467     83167         0    121312    252460  12530767    132.04    141.56
3707.53/928.25	c  N dy 13521   2032508     19467     83167         0     76477    252460   2982536    132.06    142.88
3746.30/937.97	c  N dy 13656   2052520     19467     83167         0     96488    252460   7212913    132.07    139.18
3789.02/948.60	c  N dy 13793   2072542     19467     83167         0    116507    252460  11378141    132.07    146.43
3832.16/959.49	c  N dy 13931   2092698     19467     83167         0     70668    252460   1544936    132.10    143.02
3869.71/968.81	c  N dy 14062   2112745     19467     83167         0     90712    252460   5726826    132.11    139.76
3911.65/979.30	c  N dy 14204   2132747     19467     83167         0    110710    252460   9941397    132.12    142.68
3956.80/990.64	c  N dy 14344   2153035     19467     83167         0    130997    252460  14145401    132.13    147.47
3994.73/1000.14	c  N dy 14473   2173111     19467     83167         0     84079    252460   4133418    132.14    139.84
4035.48/1010.40	c  N dy 14618   2193294     19467     83167         0    104260    252460   8399856    132.17    140.53
4076.62/1020.62	c  S st 14743   2210946     19467     83167         0    121912    252460  12130598    132.18   no data
4077.82/1020.97	c  S st 14743   2211447     19467     83167         0    122413    252460  12208921    132.18   no data
4078.22/1021.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4078.62/1021.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.15
4078.62/1021.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4078.62/1021.19	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4078.62/1021.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4079.02/1021.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19467 time:  0.01 s
4079.02/1021.21	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
4079.83/1021.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
4082.62/1022.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4111.00/1029.24	c lits-rem:         5  cl-subs:       13  v-elim:      0  v-fix:    0  time:  7.04 s
4111.00/1029.25	c vivif2 --  cl tried    83167 cl shrink        0 lits rem          0 time: 0.01
4111.77/1029.44	c vivif2 --  cl tried   122400 cl shrink        0 lits rem          0 time: 0.20
4112.97/1029.71	c asymm  cl-useful: 0/83167/83167 lits-rem:0 time: 0.27
4112.97/1029.72	c calculated reachability. Time: 0.00
4112.97/1029.72	c  N dy 14743   2211447     19467     83167         0    122400    252460  12202981    132.18   no data
4156.11/1040.53	c  N dy 14876   2231567     19467     83167         0     74526    252460   1944616    132.18    139.27
4194.07/1050.03	c  N dy 15002   2251674     19467     83167         0     94632    252460   6112911    132.17    140.28
4236.00/1060.52	c  N dy 15135   2271736     19467     83167         0    114692    252460  10275214    132.16    145.73
4281.54/1071.98	c  N dy 15274   2291766     19467     83167         0    134720    252460  14530506    132.18    140.34
4321.08/1081.84	c  N dy 15410   2311882     19467     83167         0     85841    252460   4131529    132.19    140.01
4361.81/1092.02	c  N dy 15552   2331911     19467     83167         0    105870    252460   8351889    132.21    140.18
4406.56/1103.25	c  N dy 15688   2351946     19467     83167         0    125905    252460  12592984    132.22    166.93
4450.49/1114.26	c  N dy 15819   2372072     19467     83167         0     76028    252460   1804550    132.22    141.91
4489.64/1124.03	c  N dy 15962   2392274     19467     83167         0     96229    252460   6025165    132.24    144.24
4531.59/1134.55	c  N dy 16087   2412277     19467     83167         0    116229    252460  10219914    132.23    141.28
4577.51/1146.00	c  N dy 16213   2432352     19467     83167         0    136304    252460  14397567    132.23    142.83
4617.46/1156.09	c  N dy 16344   2452458     19467     83167         0     85417    252460   3620801    132.23    139.57
4658.61/1166.31	c  N dy 16487   2472522     19467     83167         0    105480    252460   7882910    132.26    143.32
4703.35/1177.53	c  N dy 16621   2492826     19467     83167         0    125783    252460  12156092    132.27    139.87
4749.28/1189.01	c  N dy 16750   2512902     19467     83167         0     73859    252460    997656    132.27    152.39
4786.82/1198.44	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: 977)

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-3366195-1307634580/watcher-3366195-1307634580 -o /tmp/evaluation-result-3366195-1307634580/solver-3366195-1307634580 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366195-1307634580.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.53 7.85 5.83 5/180 27368
/proc/meminfo: memFree=32102396/32950928 swapFree=67079488/67111528
[pid=27368] ppid=27366 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/27368/stat : 27368 (strangenight2-m) R 27366 27368 27203 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 875057645 52396032 351 33554432000 4194304 4580107 140736009859120 18446744073709551615 47711459403289 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27368/statm: 12792 351 302 95 0 7774 0
[pid=27368/tid=27369] ppid=27366 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/27368/task/27369/stat : 27369 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 875057645 52396032 351 33554432000 4194304 4580107 140736009859120 18446744073709551615 47711459403293 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27368/tid=27370] ppid=27366 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/27368/task/27370/stat : 27370 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 875057645 52396032 351 33554432000 4194304 4580107 140736009859120 18446744073709551615 47711459403692 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27368/tid=27371] ppid=27366 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/27368/task/27371/stat : 27371 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 875057645 52396032 351 33554432000 4194304 4580107 140736009859120 18446744073709551615 47711459403289 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0677751 s]
/proc/loadavg: 7.53 7.85 5.83 5/180 27368
/proc/meminfo: memFree=32102396/32950928 swapFree=67079488/67111528
[pid=27368] ppid=27366 vsize=368076 CPUtime=0.23 cores=1,3,5,7
/proc/27368/stat : 27368 (strangenight2-m) S 27366 27368 27203 0 -1 4202496 13029 0 0 0 14 9 0 0 18 0 4 0 875057645 376909824 10935 33554432000 4194304 4580107 140736009859120 18446744073709551615 274474072558 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27368/statm: 92019 10949 337 95 0 87001 0
[pid=27368/tid=27369] ppid=27366 vsize=368076 CPUtime=0.05 cores=1,3,5,7
/proc/27368/task/27369/stat : 27369 (strangenight2-m) S 27366 27368 27203 0 -1 4202560 3181 0 0 0 3 2 0 0 25 0 4 0 875057645 376909824 10956 33554432000 4194304 4580107 140736009859120 18446744073709551615 274474072558 0 0 4096 2 18446604471134876864 0 0 -1 3 0 0 0
[pid=27368/tid=27370] ppid=27366 vsize=368076 CPUtime=0.05 cores=1,3,5,7
/proc/27368/task/27370/stat : 27370 (strangenight2-m) S 27366 27368 27203 0 -1 4202560 3279 0 0 0 3 2 0 0 18 0 4 0 875057645 376909824 10956 33554432000 4194304 4580107 140736009859120 18446744073709551615 274474072558 0 0 4096 2 18446604471134876864 0 0 -1 7 0 0 0
[pid=27368/tid=27371] ppid=27366 vsize=368076 CPUtime=0.05 cores=1,3,5,7
/proc/27368/task/27371/stat : 27371 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 3325 0 0 0 4 1 0 0 18 0 4 0 875057645 376909824 10956 33554432000 4194304 4580107 140736009859120 18446744073709551615 274474072607 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 368076

[startup+0.200782 s]
/proc/loadavg: 7.53 7.85 5.83 5/180 27368
/proc/meminfo: memFree=32102396/32950928 swapFree=67079488/67111528
[pid=27368] ppid=27366 vsize=376716 CPUtime=0.77 cores=1,3,5,7
/proc/27368/stat : 27368 (strangenight2-m) R 27366 27368 27203 0 -1 4202496 17299 0 0 0 63 14 0 0 18 0 4 0 875057645 385757184 15199 33554432000 4194304 4580107 140736009859120 18446744073709551615 274473628705 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27368/statm: 94568 16854 363 95 0 89550 0
[pid=27368/tid=27369] ppid=27366 vsize=384172 CPUtime=0.23 cores=1,3,5,7
/proc/27368/task/27369/stat : 27369 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 6019 0 0 0 20 3 0 0 25 0 4 0 875057645 393392128 19695 33554432000 4194304 4580107 140736009859120 18446744073709551615 4414485 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27368/tid=27370] ppid=27366 vsize=392048 CPUtime=0.3 cores=1,3,5,7
/proc/27368/task/27370/stat : 27370 (strangenight2-m) S 27366 27368 27203 0 -1 4202560 7991 0 0 0 26 4 0 0 18 0 4 0 875057645 401457152 22820 33554432000 4194304 4580107 140736009859120 18446744073709551615 274474072558 0 0 4096 2 18446604471134876864 0 0 -1 7 0 0 0
[pid=27368/tid=27371] ppid=27366 vsize=386632 CPUtime=0.78 cores=1,3,5,7
/proc/27368/task/27371/stat : 27371 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 4416 0 0 0 76 2 0 0 18 0 4 0 875057645 395911168 22857 33554432000 4194304 4580107 140736009859120 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 376716

[startup+0.907627 s]
/proc/loadavg: 7.53 7.85 5.83 5/180 27368
/proc/meminfo: memFree=32102396/32950928 swapFree=67079488/67111528
[pid=27368] ppid=27366 vsize=386632 CPUtime=3.58 cores=1,3,5,7
/proc/27368/stat : 27368 (strangenight2-m) R 27366 27368 27203 0 -1 4202496 31585 0 0 0 340 18 0 0 18 0 4 0 875057645 395911168 23185 33554432000 4194304 4580107 140736009859120 18446744073709551615 4318990 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27368/statm: 96658 23185 377 95 0 91640 0
[pid=27368/tid=27369] ppid=27366 vsize=386632 CPUtime=0.89 cores=1,3,5,7
/proc/27368/task/27369/stat : 27369 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 9145 0 0 0 85 4 0 0 25 0 4 0 875057645 395911168 23185 33554432000 4194304 4580107 140736009859120 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27368/tid=27370] ppid=27366 vsize=386632 CPUtime=0.89 cores=1,3,5,7
/proc/27368/task/27370/stat : 27370 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 9083 0 0 0 84 5 0 0 19 0 4 0 875057645 395911168 23185 33554432000 4194304 4580107 140736009859120 18446744073709551615 4292971 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27368/tid=27371] ppid=27366 vsize=386632 CPUtime=0.88 cores=1,3,5,7
/proc/27368/task/27371/stat : 27371 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 4491 0 0 0 86 2 0 0 18 0 4 0 875057645 395911168 23185 33554432000 4194304 4580107 140736009859120 18446744073709551615 4292928 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 386632

[startup+1.00761 s]
/proc/loadavg: 7.53 7.85 5.83 5/180 27368
/proc/meminfo: memFree=32102396/32950928 swapFree=67079488/67111528
[pid=27368] ppid=27366 vsize=386632 CPUtime=3.98 cores=1,3,5,7
/proc/27368/stat : 27368 (strangenight2-m) R 27366 27368 27203 0 -1 4202496 31991 0 0 0 380 18 0 0 18 0 4 0 875057645 395911168 23591 33554432000 4194304 4580107 140736009859120 18446744073709551615 4318990 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27368/statm: 96658 23591 377 95 0 91640 0
[pid=27368/tid=27369] ppid=27366 vsize=386632 CPUtime=0.99 cores=1,3,5,7
/proc/27368/task/27369/stat : 27369 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 9255 0 0 0 95 4 0 0 25 0 4 0 875057645 395911168 23591 33554432000 4194304 4580107 140736009859120 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27368/tid=27370] ppid=27366 vsize=386632 CPUtime=0.99 cores=1,3,5,7
/proc/27368/task/27370/stat : 27370 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 9197 0 0 0 94 5 0 0 19 0 4 0 875057645 395911168 23591 33554432000 4194304 4580107 140736009859120 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27368/tid=27371] ppid=27366 vsize=386632 CPUtime=0.98 cores=1,3,5,7
/proc/27368/task/27371/stat : 27371 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 4569 0 0 0 96 2 0 0 18 0 4 0 875057645 395911168 23591 33554432000 4194304 4580107 140736009859120 18446744073709551615 4293105 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 386632

[startup+1.50052 s]
/proc/loadavg: 7.53 7.85 5.83 5/180 27368
/proc/meminfo: memFree=32102396/32950928 swapFree=67079488/67111528
[pid=27368] ppid=27366 vsize=386632 CPUtime=5.95 cores=1,3,5,7
/proc/27368/stat : 27368 (strangenight2-m) R 27366 27368 27203 0 -1 4202496 33388 0 0 0 577 18 0 0 19 0 4 0 875057645 395911168 24988 33554432000 4194304 4580107 140736009859120 18446744073709551615 4293938 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27368/statm: 96658 24988 377 95 0 91640 0
[pid=27368/tid=27369] ppid=27366 vsize=386632 CPUtime=1.48 cores=1,3,5,7
/proc/27368/task/27369/stat : 27369 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 9599 0 0 0 144 4 0 0 25 0 4 0 875057645 395911168 24988 33554432000 4194304 4580107 140736009859120 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27368/tid=27370] ppid=27366 vsize=386632 CPUtime=1.49 cores=1,3,5,7
/proc/27368/task/27370/stat : 27370 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 9554 0 0 0 144 5 0 0 20 0 4 0 875057645 395911168 24988 33554432000 4194304 4580107 140736009859120 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27368/tid=27371] ppid=27366 vsize=386632 CPUtime=1.47 cores=1,3,5,7
/proc/27368/task/27371/stat : 27371 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 4928 0 0 0 145 2 0 0 19 0 4 0 875057645 395911168 24988 33554432000 4194304 4580107 140736009859120 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 386632

[startup+3.10024 s]
/proc/loadavg: 7.53 7.85 5.83 9/184 27372
/proc/meminfo: memFree=31961228/32950928 swapFree=67079488/67111528
[pid=27368] ppid=27366 vsize=518624 CPUtime=12.33 cores=1,3,5,7
/proc/27368/stat : 27368 (strangenight2-m) R 27366 27368 27203 0 -1 4202496 38371 0 0 0 1214 19 0 0 24 0 4 0 875057645 531070976 29971 33554432000 4194304 4580107 140736009859120 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27368/statm: 129656 29971 377 95 0 124638 0
[pid=27368/tid=27369] ppid=27366 vsize=518624 CPUtime=3.08 cores=1,3,5,7
/proc/27368/task/27369/stat : 27369 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 10799 0 0 0 304 4 0 0 25 0 4 0 875057645 531070976 29971 33554432000 4194304 4580107 140736009859120 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27368/tid=27370] ppid=27366 vsize=518624 CPUtime=3.07 cores=1,3,5,7
/proc/27368/task/27370/stat : 27370 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 10741 0 0 0 302 5 0 0 25 0 4 0 875057645 531070976 29971 33554432000 4194304 4580107 140736009859120 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27368/tid=27371] ppid=27366 vsize=518624 CPUtime=3.07 cores=1,3,5,7
/proc/27368/task/27371/stat : 27371 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 6333 0 0 0 304 3 0 0 24 0 4 0 875057645 531070976 29971 33554432000 4194304 4580107 140736009859120 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 518624

[startup+6.30068 s]
/proc/loadavg: 7.65 7.86 5.85 9/184 27372
/proc/meminfo: memFree=31888556/32950928 swapFree=67079488/67111528
[pid=27368] ppid=27366 vsize=491644 CPUtime=25.11 cores=1,3,5,7
/proc/27368/stat : 27368 (strangenight2-m) R 27366 27368 27203 0 -1 4202496 48252 0 0 0 2489 22 0 0 25 0 4 0 875057645 503443456 35223 33554432000 4194304 4580107 140736009859120 18446744073709551615 4293957 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27368/statm: 122911 35223 377 95 0 117893 0
[pid=27368/tid=27369] ppid=27366 vsize=491644 CPUtime=6.28 cores=1,3,5,7
/proc/27368/task/27369/stat : 27369 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 13000 0 0 0 623 5 0 0 25 0 4 0 875057645 503443456 35223 33554432000 4194304 4580107 140736009859120 18446744073709551615 4320708 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27368/tid=27370] ppid=27366 vsize=491644 CPUtime=6.25 cores=1,3,5,7
/proc/27368/task/27370/stat : 27370 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 12893 0 0 0 620 5 0 0 25 0 4 0 875057645 503443456 35223 33554432000 4194304 4580107 140736009859120 18446744073709551615 4294354 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27368/tid=27371] ppid=27366 vsize=491644 CPUtime=6.27 cores=1,3,5,7
/proc/27368/task/27371/stat : 27371 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 9679 0 0 0 623 4 0 0 25 0 4 0 875057645 503443456 35223 33554432000 4194304 4580107 140736009859120 18446744073709551615 4293184 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 491644

[startup+12.7006 s]
/proc/loadavg: 7.68 7.87 5.86 9/184 27372
/proc/meminfo: memFree=31654672/32950928 swapFree=67079488/67111528
[pid=27368] ppid=27366 vsize=774272 CPUtime=50.69 cores=1,3,5,7
/proc/27368/stat : 27368 (strangenight2-m) R 27366 27368 27203 0 -1 4202496 104813 0 0 0 5035 34 0 0 25 0 4 0 875057645 792854528 77111 33554432000 4194304 4580107 140736009859120 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27368/statm: 193568 77111 379 95 0 188550 0
[pid=27368/tid=27369] ppid=27366 vsize=774272 CPUtime=12.69 cores=1,3,5,7
/proc/27368/task/27369/stat : 27369 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 40598 0 0 0 1258 11 0 0 25 0 4 0 875057645 792854528 77111 33554432000 4194304 4580107 140736009859120 18446744073709551615 4451883 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27368/tid=27370] ppid=27366 vsize=774272 CPUtime=12.62 cores=1,3,5,7
/proc/27368/task/27370/stat : 27370 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 18212 0 0 0 1256 6 0 0 25 0 4 0 875057645 792854528 77111 33554432000 4194304 4580107 140736009859120 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27368/tid=27371] ppid=27366 vsize=774272 CPUtime=12.67 cores=1,3,5,7
/proc/27368/task/27371/stat : 27371 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 13984 0 0 0 1262 5 0 0 25 0 4 0 875057645 792854528 77111 33554432000 4194304 4580107 140736009859120 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 774272

[startup+25.5003 s]
/proc/loadavg: 7.75 7.87 5.89 9/184 27373
/proc/meminfo: memFree=31537756/32950928 swapFree=67079488/67111528
[pid=27368] ppid=27366 vsize=590640 CPUtime=101.8 cores=1,3,5,7
/proc/27368/stat : 27368 (strangenight2-m) R 27366 27368 27203 0 -1 4202496 161567 0 0 0 10130 50 0 0 25 0 4 0 875057645 604815360 86772 33554432000 4194304 4580107 140736009859120 18446744073709551615 4293938 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27368/statm: 147660 86772 379 95 0 142642 0
[pid=27368/tid=27369] ppid=27366 vsize=590640 CPUtime=25.48 cores=1,3,5,7
/proc/27368/task/27369/stat : 27369 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 50431 0 0 0 2535 13 0 0 25 0 4 0 875057645 604815360 86772 33554432000 4194304 4580107 140736009859120 18446744073709551615 4416727 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27368/tid=27370] ppid=27366 vsize=590640 CPUtime=25.35 cores=1,3,5,7
/proc/27368/task/27370/stat : 27370 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 33978 0 0 0 2524 11 0 0 25 0 4 0 875057645 604815360 86772 33554432000 4194304 4580107 140736009859120 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27368/tid=27371] ppid=27366 vsize=590640 CPUtime=25.46 cores=1,3,5,7
/proc/27368/task/27371/stat : 27371 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 33847 0 0 0 2535 11 0 0 25 0 4 0 875057645 604815360 86772 33554432000 4194304 4580107 140736009859120 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 590640

[startup+51.1008 s]
/proc/loadavg: 7.90 7.90 5.95 9/184 27373
/proc/meminfo: memFree=31292328/32950928 swapFree=67079488/67111528
[pid=27368] ppid=27366 vsize=872004 CPUtime=204.05 cores=1,3,5,7
/proc/27368/stat : 27368 (strangenight2-m) R 27366 27368 27203 0 -1 4202496 243687 0 0 0 20332 73 0 0 25 0 4 0 875057645 892932096 137207 33554432000 4194304 4580107 140736009859120 18446744073709551615 4293235 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27368/statm: 218001 137207 379 95 0 212983 0
[pid=27368/tid=27369] ppid=27366 vsize=872004 CPUtime=51.08 cores=1,3,5,7
/proc/27368/task/27369/stat : 27369 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 64028 0 0 0 5091 17 0 0 25 0 4 0 875057645 892932096 137207 33554432000 4194304 4580107 140736009859120 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27368/tid=27370] ppid=27366 vsize=872004 CPUtime=50.81 cores=1,3,5,7
/proc/27368/task/27370/stat : 27370 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 53267 0 0 0 5064 17 0 0 25 0 4 0 875057645 892932096 137207 33554432000 4194304 4580107 140736009859120 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27368/tid=27371] ppid=27366 vsize=872004 CPUtime=51.06 cores=1,3,5,7
/proc/27368/task/27371/stat : 27371 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 57235 0 0 0 5089 17 0 0 25 0 4 0 875057645 892932096 137207 33554432000 4194304 4580107 140736009859120 18446744073709551615 4295379 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.05
Current children cumulated vsize (KiB) 872004

[startup+102.301 s]
/proc/loadavg: 7.95 7.91 6.06 9/184 27375
/proc/meminfo: memFree=31088540/32950928 swapFree=67079488/67111528
[pid=27368] ppid=27366 vsize=868472 CPUtime=408.58 cores=1,3,5,7
/proc/27368/stat : 27368 (strangenight2-m) R 27366 27368 27203 0 -1 4202496 338849 0 0 0 40755 103 0 0 25 0 4 0 875057645 889315328 161134 33554432000 4194304 4580107 140736009859120 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27368/statm: 217118 161134 379 95 0 212100 0
[pid=27368/tid=27369] ppid=27366 vsize=868472 CPUtime=102.28 cores=1,3,5,7
/proc/27368/task/27369/stat : 27369 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 93997 0 0 0 10202 26 0 0 25 0 4 0 875057645 889315328 161134 33554432000 4194304 4580107 140736009859120 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27368/tid=27370] ppid=27366 vsize=868472 CPUtime=101.73 cores=1,3,5,7
/proc/27368/task/27370/stat : 27370 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 78366 0 0 0 10149 24 0 0 25 0 4 0 875057645 889315328 161134 33554432000 4194304 4580107 140736009859120 18446744073709551615 4321384 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27368/tid=27371] ppid=27366 vsize=868472 CPUtime=102.26 cores=1,3,5,7
/proc/27368/task/27371/stat : 27371 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 75956 0 0 0 10203 23 0 0 25 0 4 0 875057645 889315328 161134 33554432000 4194304 4580107 140736009859120 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.58
Current children cumulated vsize (KiB) 868472

[startup+162.3 s]

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

[pid=27368] ppid=27366 vsize=1300344 CPUtime=2565.56 cores=1,3,5,7
/proc/27368/stat : 27368 (strangenight2-m) R 27366 27368 27203 0 -1 4202496 1317083 0 0 0 256134 422 0 0 25 0 4 0 875057645 1331552256 240611 33554432000 4194304 4580107 140736009859120 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27368/statm: 325086 240611 379 95 0 320068 0
[pid=27368/tid=27369] ppid=27366 vsize=1300344 CPUtime=642.26 cores=1,3,5,7
/proc/27368/task/27369/stat : 27369 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 345938 0 0 0 64116 110 0 0 25 0 4 0 875057645 1331552256 240611 33554432000 4194304 4580107 140736009859120 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27368/tid=27370] ppid=27366 vsize=1300344 CPUtime=638.77 cores=1,3,5,7
/proc/27368/task/27370/stat : 27370 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 323103 0 0 0 63771 106 0 0 25 0 4 0 875057645 1331552256 240611 33554432000 4194304 4580107 140736009859120 18446744073709551615 4319937 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27368/tid=27371] ppid=27366 vsize=1300344 CPUtime=642.26 cores=1,3,5,7
/proc/27368/task/27371/stat : 27371 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 330328 0 0 0 64125 101 0 0 25 0 4 0 875057645 1331552256 240611 33554432000 4194304 4580107 140736009859120 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2565.56
Current children cumulated vsize (KiB) 1300344

[startup+702.301 s]
/proc/loadavg: 8.11 8.10 7.03 9/184 27407
/proc/meminfo: memFree=30447116/32950928 swapFree=67079488/67111528
[pid=27368] ppid=27366 vsize=1316304 CPUtime=2805.21 cores=1,3,5,7
/proc/27368/stat : 27368 (strangenight2-m) R 27366 27368 27203 0 -1 4202496 1423383 0 0 0 280062 459 0 0 25 0 4 0 875057645 1347895296 250918 33554432000 4194304 4580107 140736009859120 18446744073709551615 4293957 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27368/statm: 329076 250918 379 95 0 324058 0
[pid=27368/tid=27369] ppid=27366 vsize=1316304 CPUtime=702.24 cores=1,3,5,7
/proc/27368/task/27369/stat : 27369 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 374325 0 0 0 70106 118 0 0 25 0 4 0 875057645 1347895296 250918 33554432000 4194304 4580107 140736009859120 18446744073709551615 4293208 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27368/tid=27370] ppid=27366 vsize=1316304 CPUtime=698.44 cores=1,3,5,7
/proc/27368/task/27370/stat : 27370 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 348284 0 0 0 69728 116 0 0 25 0 4 0 875057645 1347895296 250918 33554432000 4194304 4580107 140736009859120 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27368/tid=27371] ppid=27366 vsize=1316304 CPUtime=702.25 cores=1,3,5,7
/proc/27368/task/27371/stat : 27371 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 355212 0 0 0 70116 109 0 0 25 0 4 0 875057645 1347895296 250919 33554432000 4194304 4580107 140736009859120 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.21
Current children cumulated vsize (KiB) 1316304

[startup+762.301 s]
/proc/loadavg: 8.09 8.10 7.09 9/184 27408
/proc/meminfo: memFree=30408444/32950928 swapFree=67079488/67111528
[pid=27368] ppid=27366 vsize=1318368 CPUtime=3044.86 cores=1,3,5,7
/proc/27368/stat : 27368 (strangenight2-m) R 27366 27368 27203 0 -1 4202496 1521686 0 0 0 303996 490 0 0 25 0 4 0 875057645 1350008832 242774 33554432000 4194304 4580107 140736009859120 18446744073709551615 4306071 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27368/statm: 329592 242774 379 95 0 324574 0
[pid=27368/tid=27369] ppid=27366 vsize=1318368 CPUtime=762.24 cores=1,3,5,7
/proc/27368/task/27369/stat : 27369 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 399286 0 0 0 76097 127 0 0 25 0 4 0 875057645 1350008832 242774 33554432000 4194304 4580107 140736009859120 18446744073709551615 4451900 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27368/tid=27370] ppid=27366 vsize=1318368 CPUtime=758.11 cores=1,3,5,7
/proc/27368/task/27370/stat : 27370 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 376188 0 0 0 75688 123 0 0 25 0 4 0 875057645 1350008832 242774 33554432000 4194304 4580107 140736009859120 18446744073709551615 4293957 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27368/tid=27371] ppid=27366 vsize=1318368 CPUtime=762.25 cores=1,3,5,7
/proc/27368/task/27371/stat : 27371 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 374611 0 0 0 76109 116 0 0 25 0 4 0 875057645 1350008832 242774 33554432000 4194304 4580107 140736009859120 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3044.86
Current children cumulated vsize (KiB) 1318368

[startup+822.301 s]
/proc/loadavg: 8.16 8.12 7.16 9/184 27410
/proc/meminfo: memFree=30331620/32950928 swapFree=67079488/67111528
[pid=27368] ppid=27366 vsize=1389128 CPUtime=3284.55 cores=1,3,5,7
/proc/27368/stat : 27368 (strangenight2-m) R 27366 27368 27203 0 -1 4202496 1614872 0 0 0 327929 526 0 0 25 0 4 0 875057645 1422467072 250563 33554432000 4194304 4580107 140736009859120 18446744073709551615 4293728 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27368/statm: 347282 250563 379 95 0 342264 0
[pid=27368/tid=27369] ppid=27366 vsize=1389128 CPUtime=822.23 cores=1,3,5,7
/proc/27368/task/27369/stat : 27369 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 425447 0 0 0 82086 137 0 0 25 0 4 0 875057645 1422467072 250563 33554432000 4194304 4580107 140736009859120 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27368/tid=27370] ppid=27366 vsize=1389128 CPUtime=817.79 cores=1,3,5,7
/proc/27368/task/27370/stat : 27370 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 396781 0 0 0 81648 131 0 0 25 0 4 0 875057645 1422467072 250563 33554432000 4194304 4580107 140736009859120 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27368/tid=27371] ppid=27366 vsize=1389128 CPUtime=822.26 cores=1,3,5,7
/proc/27368/task/27371/stat : 27371 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 398771 0 0 0 82101 125 0 0 25 0 4 0 875057645 1422467072 250564 33554432000 4194304 4580107 140736009859120 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.55
Current children cumulated vsize (KiB) 1389128

[startup+882.3 s]
/proc/loadavg: 8.28 8.14 7.23 10/185 27414
/proc/meminfo: memFree=30152668/32950928 swapFree=67079488/67111528
[pid=27368] ppid=27366 vsize=1385900 CPUtime=3524.19 cores=1,3,5,7
/proc/27368/stat : 27368 (strangenight2-m) R 27366 27368 27203 0 -1 4202496 1740969 0 0 0 351855 564 0 0 25 0 4 0 875057645 1419161600 277318 33554432000 4194304 4580107 140736009859120 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27368/statm: 346475 277318 379 95 0 341457 0
[pid=27368/tid=27369] ppid=27366 vsize=1385900 CPUtime=882.23 cores=1,3,5,7
/proc/27368/task/27369/stat : 27369 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 452573 0 0 0 88077 146 0 0 25 0 4 0 875057645 1419161600 277318 33554432000 4194304 4580107 140736009859120 18446744073709551615 4318511 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27368/tid=27370] ppid=27366 vsize=1385900 CPUtime=877.45 cores=1,3,5,7
/proc/27368/task/27370/stat : 27370 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 441527 0 0 0 87603 142 0 0 25 0 4 0 875057645 1419161600 277318 33554432000 4194304 4580107 140736009859120 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27368/tid=27371] ppid=27366 vsize=1385900 CPUtime=882.25 cores=1,3,5,7
/proc/27368/task/27371/stat : 27371 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 425696 0 0 0 88093 132 0 0 25 0 4 0 875057645 1419161600 277318 33554432000 4194304 4580107 140736009859120 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.19
Current children cumulated vsize (KiB) 1385900

[startup+942.307 s]
/proc/loadavg: 8.28 8.17 7.29 9/184 27416
/proc/meminfo: memFree=30111876/32950928 swapFree=67079488/67111528
[pid=27368] ppid=27366 vsize=1471732 CPUtime=3763.88 cores=1,3,5,7
/proc/27368/stat : 27368 (strangenight2-m) R 27366 27368 27203 0 -1 4202496 1836937 0 0 0 375790 598 0 0 25 0 4 0 875057645 1507053568 287294 33554432000 4194304 4580107 140736009859120 18446744073709551615 4293179 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27368/statm: 367933 287294 379 95 0 362915 0
[pid=27368/tid=27369] ppid=27366 vsize=1471732 CPUtime=942.23 cores=1,3,5,7
/proc/27368/task/27369/stat : 27369 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 478741 0 0 0 94068 155 0 0 25 0 4 0 875057645 1507053568 287294 33554432000 4194304 4580107 140736009859120 18446744073709551615 4320708 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27368/tid=27370] ppid=27366 vsize=1471732 CPUtime=937.12 cores=1,3,5,7
/proc/27368/task/27370/stat : 27370 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 465305 0 0 0 93561 151 0 0 25 0 4 0 875057645 1507053568 287294 33554432000 4194304 4580107 140736009859120 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27368/tid=27371] ppid=27366 vsize=1471732 CPUtime=942.25 cores=1,3,5,7
/proc/27368/task/27371/stat : 27371 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 448103 0 0 0 94084 141 0 0 25 0 4 0 875057645 1507053568 287294 33554432000 4194304 4580107 140736009859120 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3763.88
Current children cumulated vsize (KiB) 1471732

[startup+1002.3 s]
/proc/loadavg: 8.23 8.17 7.34 9/184 27418
/proc/meminfo: memFree=30122092/32950928 swapFree=67079488/67111528
[pid=27368] ppid=27366 vsize=1487576 CPUtime=4003.52 cores=1,3,5,7
/proc/27368/stat : 27368 (strangenight2-m) R 27366 27368 27203 0 -1 4202496 1938278 0 0 0 399718 634 0 0 25 0 4 0 875057645 1523277824 277037 33554432000 4194304 4580107 140736009859120 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27368/statm: 371894 277037 379 95 0 366876 0
[pid=27368/tid=27369] ppid=27366 vsize=1487576 CPUtime=1002.21 cores=1,3,5,7
/proc/27368/task/27369/stat : 27369 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 502166 0 0 0 100060 161 0 0 25 0 4 0 875057645 1523277824 277037 33554432000 4194304 4580107 140736009859120 18446744073709551615 4321701 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27368/tid=27370] ppid=27366 vsize=1487576 CPUtime=996.8 cores=1,3,5,7
/proc/27368/task/27370/stat : 27370 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 492575 0 0 0 99518 162 0 0 25 0 4 0 875057645 1523277824 277037 33554432000 4194304 4580107 140736009859120 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27368/tid=27371] ppid=27366 vsize=1487576 CPUtime=1002.24 cores=1,3,5,7
/proc/27368/task/27371/stat : 27371 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 475460 0 0 0 100073 151 0 0 25 0 4 0 875057645 1523277824 277037 33554432000 4194304 4580107 140736009859120 18446744073709551615 4324249 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.52
Current children cumulated vsize (KiB) 1487576

[startup+1062.3 s]
/proc/loadavg: 8.19 8.17 7.39 9/184 27419
/proc/meminfo: memFree=29754124/32950928 swapFree=67079488/67111528
[pid=27368] ppid=27366 vsize=1773660 CPUtime=4243.19 cores=1,3,5,7
/proc/27368/stat : 27368 (strangenight2-m) R 27366 27368 27203 0 -1 4202496 2099684 0 0 0 423643 676 0 0 25 0 4 0 875057645 1816227840 361594 33554432000 4194304 4580107 140736009859120 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27368/statm: 443415 361594 379 95 0 438397 0
[pid=27368/tid=27369] ppid=27366 vsize=1773660 CPUtime=1062.21 cores=1,3,5,7
/proc/27368/task/27369/stat : 27369 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 554814 0 0 0 106049 172 0 0 25 0 4 0 875057645 1816227840 361594 33554432000 4194304 4580107 140736009859120 18446744073709551615 4293802 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27368/tid=27370] ppid=27366 vsize=1773660 CPUtime=1056.46 cores=1,3,5,7
/proc/27368/task/27370/stat : 27370 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 518369 0 0 0 105476 170 0 0 25 0 4 0 875057645 1816227840 361594 33554432000 4194304 4580107 140736009859120 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27368/tid=27371] ppid=27366 vsize=1773660 CPUtime=1062.24 cores=1,3,5,7
/proc/27368/task/27371/stat : 27371 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 520664 0 0 0 106060 164 0 0 25 0 4 0 875057645 1816227840 361594 33554432000 4194304 4580107 140736009859120 18446744073709551615 4321894 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.19
Current children cumulated vsize (KiB) 1773660

[startup+1122.3 s]
/proc/loadavg: 8.16 8.17 7.44 9/184 27421
/proc/meminfo: memFree=29690576/32950928 swapFree=67079488/67111528
[pid=27368] ppid=27366 vsize=1831932 CPUtime=4482.85 cores=1,3,5,7
/proc/27368/stat : 27368 (strangenight2-m) R 27366 27368 27203 0 -1 4202496 2204957 0 0 0 447574 711 0 0 25 0 4 0 875057645 1875898368 353994 33554432000 4194304 4580107 140736009859120 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27368/statm: 457983 353994 379 95 0 452965 0
[pid=27368/tid=27369] ppid=27366 vsize=1831932 CPUtime=1122.22 cores=1,3,5,7
/proc/27368/task/27369/stat : 27369 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 581498 0 0 0 112040 182 0 0 25 0 4 0 875057645 1875898368 353994 33554432000 4194304 4580107 140736009859120 18446744073709551615 4293700 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27368/tid=27370] ppid=27366 vsize=1831932 CPUtime=1116.14 cores=1,3,5,7
/proc/27368/task/27370/stat : 27370 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 543540 0 0 0 111434 180 0 0 25 0 4 0 875057645 1875898368 353994 33554432000 4194304 4580107 140736009859120 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27368/tid=27371] ppid=27366 vsize=1831932 CPUtime=1122.23 cores=1,3,5,7
/proc/27368/task/27371/stat : 27371 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 547572 0 0 0 112052 171 0 0 25 0 4 0 875057645 1875898368 353994 33554432000 4194304 4580107 140736009859120 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4482.85
Current children cumulated vsize (KiB) 1831932

[startup+1182.3 s]
/proc/loadavg: 8.23 8.18 7.49 10/184 27422
/proc/meminfo: memFree=29628020/32950928 swapFree=67079488/67111528
[pid=27368] ppid=27366 vsize=1718212 CPUtime=4722.51 cores=1,3,5,7
/proc/27368/stat : 27368 (strangenight2-m) R 27366 27368 27203 0 -1 4202496 2307408 0 0 0 471501 750 0 0 25 0 4 0 875057645 1759449088 342387 33554432000 4194304 4580107 140736009859120 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27368/statm: 429553 342387 379 95 0 424535 0
[pid=27368/tid=27369] ppid=27366 vsize=1718212 CPUtime=1182.21 cores=1,3,5,7
/proc/27368/task/27369/stat : 27369 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 607090 0 0 0 118029 192 0 0 25 0 4 0 875057645 1759449088 342387 33554432000 4194304 4580107 140736009859120 18446744073709551615 4306354 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27368/tid=27370] ppid=27366 vsize=1718212 CPUtime=1175.8 cores=1,3,5,7
/proc/27368/task/27370/stat : 27370 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 569498 0 0 0 117391 189 0 0 25 0 4 0 875057645 1759449088 342387 33554432000 4194304 4580107 140736009859120 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27368/tid=27371] ppid=27366 vsize=1718212 CPUtime=1182.23 cores=1,3,5,7
/proc/27368/task/27371/stat : 27371 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 573611 0 0 0 118043 180 0 0 25 0 4 0 875057645 1759449088 342387 33554432000 4194304 4580107 140736009859120 18446744073709551615 4293720 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.51
Current children cumulated vsize (KiB) 1718212



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.16 8.17 7.50 10/184 27423
/proc/meminfo: memFree=29601968/32950928 swapFree=67079488/67111528
[pid=27368] ppid=27366 vsize=1833624 CPUtime=4800.03 cores=1,3,5,7
/proc/27368/stat : 27368 (strangenight2-m) R 27366 27368 27203 0 -1 4202496 2340525 0 0 0 479241 762 0 0 25 0 4 0 875057645 1877630976 359022 33554432000 4194304 4580107 140736009859120 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27368/statm: 458406 359022 379 95 0 453388 0
[pid=27368/tid=27369] ppid=27366 vsize=1833624 CPUtime=1201.62 cores=1,3,5,7
/proc/27368/task/27369/stat : 27369 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 615293 0 0 0 119968 194 0 0 25 0 4 0 875057645 1877630976 359023 33554432000 4194304 4580107 140736009859120 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27368/tid=27370] ppid=27366 vsize=1833624 CPUtime=1195.1 cores=1,3,5,7
/proc/27368/task/27370/stat : 27370 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 577325 0 0 0 119317 193 0 0 25 0 4 0 875057645 1877630976 359023 33554432000 4194304 4580107 140736009859120 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27368/tid=27371] ppid=27366 vsize=1833624 CPUtime=1201.64 cores=1,3,5,7
/proc/27368/task/27371/stat : 27371 (strangenight2-m) R 27366 27368 27203 0 -1 4202560 581539 0 0 0 119980 184 0 0 25 0 4 0 875057645 1877630976 359023 33554432000 4194304 4580107 140736009859120 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.03
Current children cumulated vsize (KiB) 1833624

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.77
CPU time (s): 4800.12
CPU user time (s): 4792.43
CPU system time (s): 7.68283
CPU usage (%): 399.42
Max. virtual memory (cumulated for all children) (KiB): 1845472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.43
system time used= 7.68283
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2340531
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= 11205
involuntary context switches= 26942

runsolver used 1.92771 second user time and 4.65729 second system time

The end

Launcher Data 

Begin job on node125 at 2011-06-09 17:49:40
IDJOB=3366195
IDBENCH=82604
IDSOLVER=1844
FILE ID=node125/3366195-1307634580
RUNJOBID= node125-1307633375-27222
PBS_JOBID= 13549397
Free space on /tmp= 74056 MiB

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

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

MD5SUM BENCH= 53ba9a0375ae9f5fbde617f9de32bf14
RANDOM SEED=616390458

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      32103080 kB
Buffers:        195240 kB
Cached:         392572 kB
SwapCached:       3400 kB
Active:         354240 kB
Inactive:       298700 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      32103080 kB
SwapTotal:    67111528 kB
SwapFree:     67079488 kB
Dirty:           13232 kB
Writeback:           0 kB
AnonPages:       63012 kB
Mapped:          14576 kB
Slab:           129944 kB
PageTables:       4340 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   297520 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= 74052 MiB
End job on node125 at 2011-06-09 18:09:44