Trace number 3366831

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.33 1202.95

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf
MD5SUMc06088cac8521bfe72bbb4c9ad8d39fb
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables780
Number of clauses66810
Sum of the clauses size134348
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 266784
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 526

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366831-1305415135.cnf'
0.00/0.01	c -- header says num vars:            780
0.00/0.01	c -- header says num clauses:       66810
0.00/0.02	c -- clauses added:            0 learnts,        66810 normals,            0 xors
0.00/0.02	c -- vars added        780
0.00/0.03	c Parsing time:  0.01 s
0.00/0.03	c  N st     0         0       780        26     66784         0    134348         0   no data   no data
0.00/0.03	c asymm  cl-useful: 0/26/26 lits-rem:0 time: 0.00
0.00/0.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
0.00/0.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.05	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.00/0.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2.37/0.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.01 s
2.37/0.62	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.00 s
2.37/0.62	c lits-rem:       644  cl-subs:        0  v-elim:     26  v-fix:    0  time:  0.02 s
2.37/0.62	c Finding binary XORs  T:     0.00 s  found:       0
2.37/0.62	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2.37/0.62	c calculated reachability. Time: 0.00
2.37/0.62	c Calc default polars -  time:   0.00 s pos:     390 undec:      26 neg:     364
2.37/0.62	c =========================================================================================
2.37/0.62	c types(t): F = full restart, N = normal restart
2.37/0.62	c types(t): S = simplification begin/end, E = solution found
2.37/0.62	c restart types(rt): st = static, dy = dynamic
2.37/0.62	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.37/0.62	c  B st     0         0       754      1613     64417         0    185680         0   no data   no data
3.56/0.90	c  N dy    12      6746       754      1613     64417      4127    185680    416249     13.85     14.68
5.96/1.53	c  N dy    31     11402       754      1613     64421      4514    185680    374247     13.49     15.05
8.78/2.26	c  N dy    42     15496       754      1613     64425      8482    185680    873443     12.77     13.58
11.95/3.02	c  N dy    54     20180       753      1613     64432      7567    185680    675822     12.39     13.07
15.14/3.88	c  F st    62     25000       753      1613     64432     12249    185680   1157962     11.97      8.42
15.54/3.90	c  N st    62     25000       753      1613     64131     12194    185005   1156995     11.97      8.42
18.73/4.71	c  N dy    68     30000       753      1613     64135     10481    185005    828300     11.97   no data
18.73/4.71	c  S st    68     30000       753      1613     64135     10481    185005    828300     11.97   no data
18.73/4.78	c  S st    68     30501       753      1613     64135     10980    185005    863662     11.97   no data
18.73/4.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
19.52/4.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      5 BRemL:      0 BRemN:      0 P:  7.9M T:  0.19
19.52/4.98	c blocked clauses removed:        0 vars:      0 tried:         753 T: 0.00 s
19.52/4.99	c bin-w-bin subsume rem            0 bins  time:  0.01 s
21.12/5.34	c subs with bin:        0  lits-rem:     12883  v-fix:    0  time:  0.35 s
21.12/5.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    753 time:  0.01 s
21.12/5.35	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.01 s
21.12/5.37	c lits-rem:       161  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
26.34/6.69	c subs with bin:        0  lits-rem:        15  v-fix:    0  time:  1.29 s
32.70/8.29	c lits-rem:      2792  cl-subs:      563  v-elim:      0  v-fix:    0  time:  1.60 s
33.90/8.53	c asymm  cl-useful: 0/1471/1613 lits-rem:0 time: 0.24
33.90/8.53	c calculated reachability. Time: 0.00
33.90/8.53	c  N dy    68     30501       753      1613     64140     10417    171961    820438     11.97   no data
36.69/9.26	c  N dy    77     34752       753      1613     64155     14558    171961   1277444     11.67     12.29
39.50/9.99	c  N dy    87     38957       753      1613     64159     10985    171961    829091     11.46     12.08
42.27/10.63	c  N dy    96     43063       753      1613     64159     14986    171961   1149458     11.32     12.10
43.90/11.05	c  S st   100     45752       753      1613     64168      8894    171961    615259     11.21     11.83
44.30/11.11	c  S st   100     46252       753      1613     64168      9391    171961    653857     11.21   no data
44.30/11.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.66/11.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      3 BRemN:      0 P:  6.4M T:  0.16
44.66/11.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.66/11.28	c bin-w-bin subsume rem            0 bins  time:  0.01 s
45.87/11.55	c subs with bin:        0  lits-rem:        13  v-fix:    0  time:  0.27 s
45.87/11.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    753 time:  0.00 s
45.87/11.57	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.01 s
45.87/11.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
51.06/12.85	c subs with bin:        0  lits-rem:         6  v-fix:    0  time:  1.26 s
52.26/13.17	c lits-rem:       167  cl-subs:      133  v-elim:      0  v-fix:    0  time:  0.32 s
52.26/13.17	c vivif2 --  cl tried     1613 cl shrink       22 lits rem         22 time: 0.00
52.26/13.19	c vivif2 --  cl tried     9258 cl shrink     1011 lits rem       1106 time: 0.02
53.45/13.42	c asymm  cl-useful: 0/1528/1613 lits-rem:0 time: 0.24
53.45/13.43	c calculated reachability. Time: 0.00
53.45/13.43	c  N dy   100     46252       753      1613     64168      9258    171926    645423     11.21   no data
55.84/14.03	c  N dy   117     50309       752      1613     64168     13214    171926    978021     11.15     12.72
59.44/14.95	c  N dy   132     55219       752      1613     64186     17987    171926   1339826     11.14     11.99
62.63/15.75	c  N dy   157     59670       751      1613     64191     12610    171926    837091     11.39     12.05
65.43/16.44	c  N dy   167     64092       751      1613     64191     16917    171926   1057946     11.30     11.92
69.02/17.33	c  N dy   197     68197       751      1613     64191     20916    171926   1486368     11.65     19.32
69.82/17.55	c  S st   199     69380       751      1613     64191     11371    171926    684723     11.62      9.21
70.24/17.62	c  S st   199     69886       751      1613     64191     11874    171926    723004     11.62   no data
70.24/17.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
71.01/17.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      5 BRemL:      0 BRemN:      0 P:  7.6M T:  0.19
71.01/17.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
71.01/17.83	c bin-w-bin subsume rem            0 bins  time:  0.01 s
72.21/18.10	c subs with bin:        0  lits-rem:        10  v-fix:    0  time:  0.27 s
72.21/18.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    751 time:  0.01 s
72.21/18.11	c Removed useless bin:       0  fixed:     0  props:   0.31M  time:  0.01 s
72.21/18.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
77.39/19.47	c subs with bin:        3  lits-rem:        23  v-fix:    0  time:  1.33 s
79.42/19.99	c lits-rem:       275  cl-subs:       87  v-elim:      0  v-fix:    0  time:  0.52 s
79.42/19.99	c vivif2 --  cl tried     1613 cl shrink        0 lits rem          0 time: 0.00
79.78/20.00	c vivif2 --  cl tried    11775 cl shrink      110 lits rem        136 time: 0.01
80.59/20.25	c asymm  cl-useful: 0/1495/1613 lits-rem:0 time: 0.24
80.59/20.25	c calculated reachability. Time: 0.00
80.59/20.25	c  N dy   199     69886       751      1613     63625     11775    170664    715069     11.62   no data
84.17/21.12	c  N dy   231     74353       751      1613     63633     16134    170664   1145393     11.84     18.22
88.97/22.38	c  N dy   266     79111       751      1613     63635     20735    170664   1609812     12.07     17.75
93.35/23.46	c  N dy   292     84248       751      1613     63638     14067    170664    870845     12.13     18.03
95.76/24.09	c  F st   304     87500       751      1613     63639     17219    170664   1131396     12.11      8.80
99.35/24.94	c  N st   309     90804       749      1613     63646     20423    170664   1475819     12.11   no data
106.52/26.79	c  N dy   326     97706       749      1613     63652     14462    170664    834844     12.14     13.02
111.72/28.01	c  N dy   351    103989       749      1613     63656     20551    170664   1459518     12.12     18.21
112.52/28.24	c  S st   357    104831       749      1613     63656     21363    170664   1549383     12.15   no data
112.92/28.38	c  S st   357    105333       749      1613     63656     21863    170664   1592940     12.15   no data
112.92/28.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
114.55/28.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      4 BRemL:      0 BRemN:      0 P: 12.2M T:  0.33
114.55/28.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
114.55/28.73	c bin-w-bin subsume rem            0 bins  time:  0.01 s
115.31/28.99	c subs with bin:        0  lits-rem:         9  v-fix:    0  time:  0.27 s
115.71/29.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    749 time:  0.01 s
115.71/29.01	c Removed useless bin:       0  fixed:     0  props:   0.31M  time:  0.01 s
115.71/29.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
121.69/30.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.45 s
134.07/33.65	c lits-rem:      1271  cl-subs:      594  v-elim:      0  v-fix:    0  time:  3.12 s
134.07/33.65	c vivif2 --  cl tried     1596 cl shrink        0 lits rem          0 time: 0.00
134.07/33.67	c vivif2 --  cl tried    20819 cl shrink      235 lits rem        242 time: 0.02
135.27/33.92	c asymm  cl-useful: 0/1031/1596 lits-rem:0 time: 0.25
135.27/33.92	c calculated reachability. Time: 0.00
135.27/33.92	c  N dy   357    105333       749      1596     63103     20819    169226   1543195     12.15   no data
142.45/35.73	c  N dy   380    112317       748      1596     63116     14254    169226    815542     12.07     12.73
148.04/37.15	c  N dy   402    119533       748      1596     63121     21217    169226   1432513     12.01     16.74
157.22/39.45	c  N dy   427    127727       748      1596     63131     14703    169226    769142     11.98     12.70
163.60/41.02	c  N dy   446    135957       748      1596     63137     22617    169226   1373738     11.90     12.57
173.18/43.49	c  N dy   478    145557       747      1596     63148     16472    169226    872498     11.84     12.51
181.17/45.45	c  N dy   513    154908       747      1596     63156     25505    169226   1591486     11.82     22.80
184.79/46.31	c  S st   526    158000       747      1596     63158     28459    169226   1823633     11.82      8.84
185.15/46.47	c  S st   526    158503       747      1596     63164     28958    169226   1864100     11.82   no data
185.15/46.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
187.15/46.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P: 14.5M T:  0.44
187.15/46.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
187.15/46.93	c bin-w-bin subsume rem            0 bins  time:  0.01 s
188.36/47.20	c subs with bin:        0  lits-rem:         2  v-fix:    0  time:  0.27 s
188.36/47.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    747 time:  0.01 s
188.36/47.21	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.01 s
188.36/47.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
194.74/48.88	c subs with bin:      168  lits-rem:       278  v-fix:    0  time:  1.59 s
218.68/54.88	c lits-rem:      2001  cl-subs:     1826  v-elim:      0  v-fix:    0  time:  6.00 s
218.68/54.88	c vivif2 --  cl tried     1596 cl shrink        0 lits rem          0 time: 0.00
219.08/54.91	c vivif2 --  cl tried    26582 cl shrink     1549 lits rem       2371 time: 0.04
219.91/55.15	c asymm  cl-useful: 0/565/1596 lits-rem:0 time: 0.23
219.91/55.15	c calculated reachability. Time: 0.00
219.91/55.15	c  N dy   526    158503       747      1596     62591     26582    167976   1804103     11.82   no data
230.66/57.88	c  N dy   564    168625       746      1596     62614     20243    167976   1197484     11.83     14.09
241.87/60.69	c  N dy   596    179859       746      1596     62629     31073    167976   2087028     11.77     12.87
253.81/63.67	c  N dy   659    191400       746      1596     62634     25026    167976   1492118     11.93     16.87
267.80/67.20	c  N dy   719    203683       746      1596     62648     18607    167976    958557     12.02     16.30
279.35/70.09	c  N dy   760    216719       745      1596     62663     31195    167976   1880272     11.99     14.72
295.31/74.02	c  N dy   826    231246       744      1596     62680     25937    167976   1556117     12.04     12.69
302.51/75.88	c  S st   854    237756       744      1596     62686     32237    167976   2064244     12.05     10.39
303.34/76.04	c  S st   854    238260       744      1596     62686     32740    167976   2098318     12.05   no data
303.34/76.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
305.29/76.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 16.6M T:  0.46
305.29/76.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
305.29/76.52	c bin-w-bin subsume rem            1 bins  time:  0.01 s
306.09/76.78	c subs with bin:        0  lits-rem:         6  v-fix:    0  time:  0.26 s
306.09/76.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    744 time:  0.01 s
306.09/76.79	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.00 s
306.49/76.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
313.67/78.60	c subs with bin:      219  lits-rem:       591  v-fix:    0  time:  1.72 s
339.62/85.10	c lits-rem:      2344  cl-subs:     1293  v-elim:      0  v-fix:    0  time:  6.50 s
339.62/85.10	c vivif2 --  cl tried     1596 cl shrink        0 lits rem          0 time: 0.00
339.62/85.14	c vivif2 --  cl tried    29722 cl shrink      557 lits rem        730 time: 0.04
340.82/85.41	c asymm  cl-useful: 0/814/1596 lits-rem:0 time: 0.27
340.82/85.41	c calculated reachability. Time: 0.00
340.82/85.41	c  N dy   854    238260       744      1596     61797     29719    166151   2033048     12.05   no data
359.58/90.11	c  N dy   897    254004       743      1596     61836     25349    166151   1471070     11.97     12.63
382.36/95.83	c  N dy   949    270808       743      1596     61864     41462    166151   2622433     11.93     12.58
402.68/100.98	c  N dy  1037    288102       742      1596     61874     37522    166151   2534768     11.99     22.91
425.44/106.60	c  F st  1108    306251       742      1596     61894     33006    166151   2006870     12.03      7.93
425.86/106.71	c  N st  1109    306501       742      1596     61255     31956    164950   2000907     12.03   no data
450.98/113.02	c  N dy  1184    326125       741      1596     61269     28498    164950   1712275     12.07     28.99
480.92/120.50	c  N dy  1278    346188       740      1596     61288     24109    164950   1239905     12.14     12.83
493.69/123.72	c  S st  1332    357390       740      1596     61294     34992    164950   2131574     12.19      9.75
494.48/123.91	c  S st  1332    357892       740      1596     61294     35492    164950   2172894     12.19   no data
494.48/123.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
497.28/124.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      0 BRemN:      0 P: 18.6M T:  0.75
497.28/124.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
497.28/124.68	c bin-w-bin subsume rem            0 bins  time:  0.01 s
498.48/124.95	c subs with bin:        0  lits-rem:         7  v-fix:    0  time:  0.27 s
498.48/124.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    740 time:  0.01 s
498.48/124.96	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.01 s
498.48/124.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
505.66/126.76	c subs with bin:        0  lits-rem:        51  v-fix:    0  time:  1.71 s
532.80/133.54	c lits-rem:      2306  cl-subs:      823  v-elim:      0  v-fix:    0  time:  6.78 s
532.80/133.54	c vivif2 --  cl tried     1596 cl shrink        0 lits rem          0 time: 0.00
532.80/133.58	c vivif2 --  cl tried    33634 cl shrink      952 lits rem       1094 time: 0.04
533.99/133.87	c asymm  cl-useful: 0/615/1596 lits-rem:0 time: 0.28
533.99/133.87	c calculated reachability. Time: 0.00
533.99/133.87	c  N dy  1332    357892       740      1596     60731     33633    163787   2116323     12.19   no data
542.79/136.03	c Finding binary XORs  T:     0.00 s  found:       0
561.54/140.79	c  N dy  1403    378560       739      1596     60480     28458    163207   1569594     12.16     12.84
589.88/147.80	c  N dy  1458    398586       739      1596     60494     47798    163207   3096763     12.10     12.92
618.22/154.98	c  N dy  1544    418978       738      1596     60505     42083    163207   2596963     12.12     12.97
648.55/162.59	c  N dy  1612    439055       738      1596     60529     34711    163207   1924421     12.08     12.82
681.27/170.71	c  N dy  1680    460106       738      1596     60540     54989    163207   3342318     12.04     12.78
707.62/177.33	c  N dy  1738    480269       737      1596     60548     46586    163207   2594098     12.00     13.00
739.56/185.30	c  N dy  1796    500693       737      1596     60567     37395    163207   1780702     11.96     12.71
770.70/193.20	c  N dy  1864    521221       736      1596     60592     57146    163207   3129767     11.93     12.74
789.06/197.79	c  S st  1918    536838       736      1596     60603     42520    163207   2202743     11.93   no data
789.86/197.96	c  S st  1918    537341       736      1596     60603     43021    163207   2241673     11.93   no data
789.86/197.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
792.25/198.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      6 BRemL:      0 BRemN:      0 P: 20.7M T:  0.63
792.25/198.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
792.65/198.60	c bin-w-bin subsume rem            0 bins  time:  0.01 s
793.45/198.85	c subs with bin:        0  lits-rem:        13  v-fix:    0  time:  0.25 s
793.45/198.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    736 time:  0.01 s
793.45/198.86	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.00 s
793.45/198.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
799.82/200.41	c subs with bin:        0  lits-rem:         6  v-fix:    0  time:  1.45 s
824.97/206.75	c lits-rem:      2105  cl-subs:     1353  v-elim:      0  v-fix:    0  time:  6.33 s
824.97/206.75	c vivif2 --  cl tried     1596 cl shrink        0 lits rem          0 time: 0.00
824.97/206.79	c vivif2 --  cl tried    38585 cl shrink     1349 lits rem       1813 time: 0.05
826.16/207.09	c asymm  cl-useful: 0/513/1596 lits-rem:0 time: 0.29
826.16/207.09	c calculated reachability. Time: 0.00
826.16/207.09	c  N dy  1918    537341       736      1596     59751     38584    161477   2153474     11.93   no data
858.10/215.09	c  N dy  1978    557658       735      1596     59789     58115    161477   3581377     11.90     12.62
882.89/221.21	c  N dy  2046    577659       735      1596     59795     48191    161477   2811641     11.88     12.65
913.98/229.08	c  N dy  2134    597730       735      1596     59812     36526    161477   1782906     11.89     13.26
943.51/236.42	c  N dy  2182    618627       735      1596     59823     56690    161477   3139118     11.85     12.50
973.05/243.88	c  N dy  2267    639216       734      1596     59835     44188    161477   2281022     11.87     12.68
1008.16/252.67	c  N dy  2361    659302       734      1596     59848     63591    161477   3777971     11.91     12.90
1036.14/259.63	c  N dy  2428    679478       734      1596     59855     49508    161477   2607833     11.90     12.61
1070.43/268.23	c  N dy  2491    699593       734      1596     59871     68919    161477   4001568     11.88     12.74
1096.78/274.80	c  N dy  2568    720229       734      1596     59885     54142    161477   2813364     11.88     12.59
1130.70/283.39	c  N dy  2656    740315       734      1596     59899     37845    161477   1572563     11.89     12.53
1158.65/290.31	c  N dy  2710    761652       733      1596     59915     58315    161477   3040290     11.87     12.54
1194.61/299.38	c  N dy  2788    782054       733      1596     59945     41379    161477   1731314     11.87     12.65
1222.91/306.45	c  N dy  2843    802057       731      1596     59964     60696    161477   3097933     11.85     12.54
1229.31/308.06	c  S st  2852    806014       731      1596     59965     64541    161477   3325504     11.84      8.45
1230.48/308.36	c  S st  2852    806515       731      1596     59965     65039    161477   3362649     11.84   no data
1230.48/308.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1234.48/309.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 26.8M T:  1.01
1234.48/309.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1234.48/309.39	c bin-w-bin subsume rem            1 bins  time:  0.01 s
1235.67/309.64	c subs with bin:        0  lits-rem:        14  v-fix:    0  time:  0.25 s
1235.67/309.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    731 time:  0.01 s
1235.67/309.65	c Removed useless bin:       0  fixed:     0  props:   0.27M  time:  0.00 s
1235.67/309.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1242.90/311.45	c subs with bin:       48  lits-rem:       104  v-fix:    0  time:  1.66 s
1276.79/319.96	c lits-rem:      4928  cl-subs:     3108  v-elim:      0  v-fix:    0  time:  8.51 s
1276.79/319.96	c vivif2 --  cl tried     1580 cl shrink        0 lits rem          0 time: 0.00
1277.18/320.04	c vivif2 --  cl tried    55386 cl shrink     3066 lits rem       3950 time: 0.07
1278.37/320.36	c asymm  cl-useful: 0/327/1580 lits-rem:0 time: 0.33
1278.37/320.37	c calculated reachability. Time: 0.00
1278.37/320.37	c  N dy  2852    806515       731      1580     58520     55381    158472   3128827     11.84   no data
1311.11/328.55	c  N dy  2909    826630       731      1580     58547     40423    158472   1794880     11.82     12.60
1339.48/335.62	c  N dy  2983    846742       730      1580     58572     59702    158472   3044992     11.81     12.55
1339.48/335.65	c Finding binary XORs  T:     0.00 s  found:       0
1373.78/344.27	c  N dy  3068    867177       730      1580     58312     41390    157904   1801053     11.81     12.45
1403.71/351.71	c  N dy  3134    887691       729      1580     58328     61103    157904   3095216     11.80     12.64
1440.46/360.95	c  N dy  3211    907756       728      1580     58337     42340    157904   1785766     11.80     19.14
1470.36/368.49	c  N dy  3317    927994       728      1580     58344     61905    157904   3210591     11.84     13.00
1511.72/378.85	c  N dy  3426    948513       728      1580     58353     41884    157904   1674082     11.88     12.55
1539.80/385.90	c  N dy  3527    968779       728      1580     58362     61388    157904   2944948     11.90     12.62
1578.93/395.82	c  N dy  3620    989510       728      1580     58366     81324    157904   4279320     11.93     12.62
1605.28/402.45	c  N dy  3694   1009897       728      1580     58373     59899    157904   2760354     11.94     12.74
1643.19/411.97	c  N dy  3757   1030021       728      1580     58381     79192    157904   3964907     11.93     12.57
1672.36/419.29	c  N dy  3824   1050131       728      1580     58390     56452    157904   2444111     11.92     12.58
1703.85/427.18	c  N dy  3874   1070220       727      1580     58420     75591    157904   3582837     11.90     26.30
1707.49/428.01	c  F st  3885   1071876       727      1580     58425     77171    157904   3684611     11.90     10.47
1739.38/436.03	c  N dy  3941   1090963       727      1564     57546     46219    156019   2056183     11.89     12.81
1772.51/444.30	c  N dy  4023   1111060       727      1564     57557     65513    156019   3249477     11.90     22.67
1812.86/454.49	c  N dy  4104   1131520       726      1564     57569     44171    156019   1770682     11.90     13.18
1843.19/462.06	c  N dy  4195   1151724       725      1564     57583     63606    156019   3023103     11.93     13.40
1886.27/472.81	c  N dy  4350   1171793       725      1564     57588     83044    156019   4423219     12.02     16.41
1918.60/480.98	c  N dy  4471   1191796       725      1564     57597     58777    156019   2743732     12.10     25.70
1951.33/489.10	c  S st  4571   1209773       725      1564     57602     76140    156019   3883681     12.13      8.16
1952.13/489.39	c  S st  4571   1210275       725      1564     57603     76637    156019   3919839     12.13   no data
1952.53/489.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1956.92/490.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 30.1M T:  1.10
1956.92/490.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1956.92/490.51	c bin-w-bin subsume rem            1 bins  time:  0.01 s
1957.75/490.75	c subs with bin:        0  lits-rem:        21  v-fix:    0  time:  0.24 s
1957.75/490.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    725 time:  0.00 s
1957.75/490.76	c Removed useless bin:       0  fixed:     0  props:   0.27M  time:  0.00 s
1958.11/490.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1965.31/492.60	c subs with bin:        1  lits-rem:       106  v-fix:    0  time:  1.67 s
2009.21/503.68	c lits-rem:      3460  cl-subs:     3616  v-elim:      0  v-fix:    0  time: 11.08 s
2009.21/503.68	c vivif2 --  cl tried     1564 cl shrink        0 lits rem          0 time: 0.00
2009.61/503.76	c vivif2 --  cl tried    68709 cl shrink     2707 lits rem       4581 time: 0.08
2010.80/504.09	c asymm  cl-useful: 0/257/1564 lits-rem:0 time: 0.33
2011.20/504.10	c calculated reachability. Time: 0.00
2011.20/504.10	c  N dy  4571   1210275       725      1564     57072     68707    154935   3765694     12.13   no data
2054.70/515.01	c  N dy  4654   1230281       724      1564     57094     44684    154935   1863463     12.14     12.81
2088.24/523.40	c  N dy  4727   1251596       724      1564     57115     65074    154935   3210258     12.14     12.94
2130.54/534.05	c  N dy  4779   1272526       723      1564     57131     85144    154935   4508060     12.13     12.97
2167.67/543.33	c  N dy  4853   1292851       722      1564     57146     59081    154935   2737304     12.13     12.93
2205.98/552.90	c  N dy  4938   1312866       722      1564     57153     78247    154935   3966257     12.14     22.90
2250.70/564.15	c  N dy  5020   1333519       722      1564     57162     50790    154935   2117851     12.14     12.83
2283.01/572.25	c  N dy  5111   1353583       722      1564     57174     70048    154935   3328448     12.14     13.52
2329.72/583.95	c  N dy  5202   1373670       721      1564     57201     89174    154935   4465437     12.16     23.34
2366.83/593.26	c  N dy  5311   1393691       721      1564     57213     59998    154935   2633631     12.20     12.85
2406.34/603.15	c  N dy  5440   1414181       721      1564     57215     79865    154935   4075860     12.25     12.91
2457.03/615.80	c  N dy  5560   1434690       721      1564     57224     99673    154935   5463532     12.29     13.01
2484.61/622.77	c  N dy  5637   1454724       721      1564     57228     69141    154935   3127221     12.30     14.92
2523.29/632.43	c  N dy  5734   1474789       720      1564     57234     88552    154935   4527005     12.32     25.99
2565.20/642.94	c  N dy  5837   1494837       720      1564     57239     56883    154935   2290729     12.35     14.57
2597.13/650.97	c  N dy  5932   1514918       720      1564     57239     76316    154935   3621233     12.37     13.06
2642.67/662.36	c  N dy  6038   1534999       720      1564     57244     95683    154935   4930727     12.39     19.21
2684.15/672.73	c  N dy  6143   1556655       720      1564     57249     64373    154935   2718303     12.41     13.10
2723.26/682.53	c  N dy  6233   1577543       720      1564     57253     84568    154935   4169044     12.42     13.32
2771.16/694.53	c  N dy  6327   1597657       720      1564     57256    103977    154935   5479169     12.44     13.26
2803.49/702.67	c  N dy  6409   1617661       720      1564     57270     70234    154935   3053840     12.46     13.16
2840.60/711.97	c  N dy  6491   1637681       720      1564     57282     89587    154935   4405229     12.47     13.18
2854.18/715.36	c Finding binary XORs  T:     0.00 s  found:       0
2886.91/723.52	c  N dy  6568   1657763       720      1532     55913     51897    151829   1995549     12.46     15.01
2918.04/731.34	c  N dy  6661   1678003       720      1532     55931     71403    151829   3304783     12.48     13.18
2959.93/741.89	c  N dy  6767   1698011       719      1532     55938     90759    151829   4634403     12.51     18.59
2990.67/749.53	c  S st  6823   1710276       719      1532     55945    102572    151829   5357390     12.51     10.97
2992.27/749.96	c  S st  6823   1710782       719      1532     55945    103076    151829   5393499     12.51   no data
2992.27/749.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2998.65/751.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 38.9M T:  1.53
2998.65/751.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2998.65/751.52	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2999.45/751.75	c subs with bin:        0  lits-rem:        13  v-fix:    0  time:  0.23 s
2999.45/751.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    719 time:  0.01 s
2999.45/751.76	c Removed useless bin:       0  fixed:     0  props:   0.26M  time:  0.00 s
2999.85/751.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
3007.83/753.88	c subs with bin:      884  lits-rem:      1507  v-fix:    0  time:  1.89 s
3081.30/772.28	c lits-rem:      3961  cl-subs:     6723  v-elim:      0  v-fix:    0  time: 18.39 s
3081.30/772.28	c vivif2 --  cl tried     1532 cl shrink        0 lits rem          0 time: 0.00
3082.07/772.42	c vivif2 --  cl tried    95414 cl shrink     6455 lits rem       9569 time: 0.14
3083.67/772.80	c asymm  cl-useful: 0/382/1532 lits-rem:0 time: 0.38
3083.67/772.80	c calculated reachability. Time: 0.00
3083.67/772.80	c  N dy  6823   1710782       719      1532     55694     95411    151283   5211329     12.51   no data
3123.19/782.73	c  N dy  6872   1730815       719      1532     55729     61339    151283   2591450     12.49     13.36
3159.10/791.74	c  N dy  6908   1750864       719      1532     55744     80545    151283   3797700     12.47     20.75
3206.59/803.68	c  N dy  6962   1770905       719      1532     55758     99519    151283   4899256     12.46     13.23
3248.12/814.06	c  N dy  7004   1791912       719      1532     55777     64862    151283   2784149     12.43     13.51
3286.03/823.58	c  N dy  7060   1812132       718      1532     55798     84167    151283   3972965     12.42     13.11
3333.92/835.51	c  N dy  7121   1832414       717      1532     55806    103606    151283   5203134     12.41     13.22
3376.22/846.18	c  N dy  7204   1853055       717      1532     55820     67311    151283   2757037     12.41     13.25
3413.35/855.42	c  N dy  7282   1873520       717      1532     55825     86863    151283   3901161     12.42     13.52
3458.88/866.89	c  N dy  7342   1893532       717      1532     55843    106065    151283   5028512     12.41     13.07
3500.75/877.36	c  N dy  7398   1915849       716      1532     55865     70163    151283   2847304     12.40     13.47
3538.66/886.83	c  N dy  7463   1936126       716      1532     55879     89548    151283   3966005     12.40     13.08
3586.59/898.87	c  N dy  7523   1956150       715      1532     55887    108851    151283   5107293     12.39     18.01
3627.27/909.04	c  N dy  7624   1976205       715      1532     55901     69701    151283   2818145     12.40     17.20
3665.21/918.58	c  N dy  7716   1996238       714      1532     55909     89084    151283   4155816     12.42     22.27
3717.48/931.65	c  N dy  7821   2016821       714      1532     55921    108984    151283   5535804     12.44     13.18
3769.36/944.66	c  N dy  7938   2037394       714      1532     55925     69242    151283   2778320     12.47     13.41
3810.51/954.92	c  N dy  8038   2057441       714      1532     55926     88578    151283   4011045     12.50     21.20
3860.36/967.46	c  N dy  8149   2077459       714      1532     55938    107842    151283   5376877     12.52     13.20
3917.02/981.68	c  N dy  8262   2097552       713      1532     55974     66524    151283   2407534     12.54     33.61
3952.14/990.47	c  N dy  8386   2117555       712      1532     55975     85910    151283   3771135     12.57     17.65
3998.05/1001.95	c  N dy  8490   2137714       712      1532     55981    105255    151283   5036224     12.59     13.31
4055.94/1016.41	c  N dy  8625   2157721       712      1532     55985     62910    151283   2208337     12.63     13.60
4088.65/1024.69	c  N dy  8737   2177754       712      1532     55987     82270    151283   3572175     12.65     15.20
4137.34/1036.85	c  N dy  8861   2197943       712      1532     55988    101742    151283   4945398     12.69     13.36
4172.85/1045.79	c  S st  8936   2210783       712      1532     55993    114145    151283   5815042     12.70   no data
4174.47/1046.20	c  S st  8936   2211286       712      1532     55993    114647    151283   5856231     12.70   no data
4174.88/1046.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4181.64/1047.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 40.9M T:  1.70
4181.64/1047.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4181.64/1047.93	c bin-w-bin subsume rem            5 bins  time:  0.01 s
4182.44/1048.15	c subs with bin:        0  lits-rem:         6  v-fix:    0  time:  0.22 s
4182.44/1048.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    712 time:  0.00 s
4182.44/1048.16	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.00 s
4182.84/1048.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
4190.82/1050.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.85 s
4282.21/1073.10	c lits-rem:      5038  cl-subs:     5079  v-elim:      0  v-fix:    0  time: 22.85 s
4282.21/1073.10	c vivif2 --  cl tried     1517 cl shrink        0 lits rem          0 time: 0.00
4282.61/1073.24	c vivif2 --  cl tried    99977 cl shrink     4709 lits rem       6372 time: 0.14
4284.23/1073.62	c asymm  cl-useful: 0/234/1517 lits-rem:0 time: 0.38
4284.23/1073.62	c calculated reachability. Time: 0.00
4284.23/1073.62	c  N dy  8936   2211286       712      1517     54055     99976    147475   5555533     12.70   no data
4338.09/1087.19	c  N dy  9001   2231357       712      1517     54076     61409    147475   2483227     12.70     13.39
4372.03/1095.67	c  N dy  9064   2251707       712      1517     54084     80855    147475   3809211     12.69     13.57
4417.90/1107.16	c  N dy  9130   2271727       712      1517     54091    100116    147475   5134260     12.68     19.05
4473.41/1121.06	c Finding binary XORs  T:     0.00 s  found:       0
4478.57/1122.37	c  N dy  9191   2292731       712      1517     54102    120145    147475   6469372     12.68     13.35
4514.89/1131.40	c  N dy  9250   2312855       712      1517     54107     78587    147475   3456454     12.67     13.77
4557.99/1142.26	c  N dy  9301   2334460       712      1517     54115     99261    147475   4849662     12.65     13.33
4610.67/1155.48	c  N dy  9350   2354710       711      1517     54135    118540    147475   6078162     12.64     13.55
4656.17/1166.86	c  N dy  9408   2377382       711      1517     54144     77231    147475   3252433     12.63     13.34
4697.31/1177.13	c  N dy  9456   2397664       711      1517     54154     96581    147475   4458549     12.62     13.67
4747.96/1189.85	c  N dy  9505   2417993       711      1517     54164    116030    147475   5710167     12.60     13.50

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

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

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

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


[startup+0 s]
/proc/loadavg: 8.09 6.91 6.57 5/282 19949
/proc/meminfo: memFree=24748628/32951124 swapFree=67057896/67111528
[pid=19949] ppid=19947 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/19949/stat : 19949 (strangenight2-m) R 19947 19949 19869 0 -1 4202496 411 0 0 0 0 0 0 0 25 0 4 0 633928830 52396032 351 33554432000 4194304 4580107 140735652422016 18446744073709551615 254261616571 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19949/statm: 12792 351 302 95 0 7774 0
[pid=19949/tid=19950] ppid=19947 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/19949/task/19950/stat : 19950 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 633928830 52396032 351 33554432000 4194304 4580107 140735652422016 18446744073709551615 46973158344221 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19949/tid=19951] ppid=19947 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/19949/task/19951/stat : 19951 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 633928830 52396032 351 33554432000 4194304 4580107 140735652422016 18446744073709551615 46973158344217 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19949/tid=19952] ppid=19947 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/19949/task/19952/stat : 19952 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 633928830 52396032 351 33554432000 4194304 4580107 140735652422016 18446744073709551615 46973158344626 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.111222 s]
/proc/loadavg: 8.09 6.91 6.57 5/282 19949
/proc/meminfo: memFree=24748628/32951124 swapFree=67057896/67111528
[pid=19949] ppid=19947 vsize=285324 CPUtime=0.41 cores=1,3,5,7
/proc/19949/stat : 19949 (strangenight2-m) R 19947 19949 19869 0 -1 4202496 5103 0 0 0 40 1 0 0 18 0 4 0 633928830 292171776 5002 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19949/statm: 71331 5003 376 95 0 66313 0
[pid=19949/tid=19950] ppid=19947 vsize=285324 CPUtime=0.1 cores=1,3,5,7
/proc/19949/task/19950/stat : 19950 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 1272 0 0 0 10 0 0 0 18 0 4 0 633928830 292171776 5003 33554432000 4194304 4580107 140735652422016 18446744073709551615 4320440 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19949/tid=19951] ppid=19947 vsize=285324 CPUtime=0.09 cores=1,3,5,7
/proc/19949/task/19951/stat : 19951 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 1270 0 0 0 9 0 0 0 18 0 4 0 633928830 292171776 5003 33554432000 4194304 4580107 140735652422016 18446744073709551615 4318389 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19949/tid=19952] ppid=19947 vsize=285324 CPUtime=0.09 cores=1,3,5,7
/proc/19949/task/19952/stat : 19952 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 840 0 0 0 9 0 0 0 25 0 4 0 633928830 292171776 5003 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 285324

[startup+0.201208 s]
/proc/loadavg: 8.09 6.91 6.57 5/282 19949
/proc/meminfo: memFree=24748628/32951124 swapFree=67057896/67111528
[pid=19949] ppid=19947 vsize=285592 CPUtime=0.77 cores=1,3,5,7
/proc/19949/stat : 19949 (strangenight2-m) R 19947 19949 19869 0 -1 4202496 5726 0 0 0 76 1 0 0 18 0 4 0 633928830 292446208 5625 33554432000 4194304 4580107 140735652422016 18446744073709551615 4316670 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19949/statm: 71398 5625 376 95 0 66380 0
[pid=19949/tid=19950] ppid=19947 vsize=285592 CPUtime=0.19 cores=1,3,5,7
/proc/19949/task/19950/stat : 19950 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 1407 0 0 0 19 0 0 0 18 0 4 0 633928830 292446208 5625 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19949/tid=19951] ppid=19947 vsize=285592 CPUtime=0.18 cores=1,3,5,7
/proc/19949/task/19951/stat : 19951 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 1402 0 0 0 18 0 0 0 18 0 4 0 633928830 292446208 5625 33554432000 4194304 4580107 140735652422016 18446744073709551615 4296107 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19949/tid=19952] ppid=19947 vsize=285592 CPUtime=0.18 cores=1,3,5,7
/proc/19949/task/19952/stat : 19952 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 1021 0 0 0 18 0 0 0 25 0 4 0 633928830 292446208 5625 33554432000 4194304 4580107 140735652422016 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 285592

[startup+0.30119 s]
/proc/loadavg: 8.09 6.91 6.57 5/282 19949
/proc/meminfo: memFree=24748628/32951124 swapFree=67057896/67111528
[pid=19949] ppid=19947 vsize=286424 CPUtime=1.17 cores=1,3,5,7
/proc/19949/stat : 19949 (strangenight2-m) R 19947 19949 19869 0 -1 4202496 6351 0 0 0 116 1 0 0 18 0 4 0 633928830 293298176 5915 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19949/statm: 71606 5915 376 95 0 66588 0
[pid=19949/tid=19950] ppid=19947 vsize=286424 CPUtime=0.28 cores=1,3,5,7
/proc/19949/task/19950/stat : 19950 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 1521 0 0 0 28 0 0 0 18 0 4 0 633928830 293298176 5915 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19949/tid=19951] ppid=19947 vsize=286424 CPUtime=0.28 cores=1,3,5,7
/proc/19949/task/19951/stat : 19951 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 1523 0 0 0 28 0 0 0 18 0 4 0 633928830 293298176 5915 33554432000 4194304 4580107 140735652422016 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19949/tid=19952] ppid=19947 vsize=286424 CPUtime=0.28 cores=1,3,5,7
/proc/19949/task/19952/stat : 19952 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 1275 0 0 0 28 0 0 0 25 0 4 0 633928830 293298176 5915 33554432000 4194304 4580107 140735652422016 18446744073709551615 4306388 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 286424

[startup+0.701122 s]
/proc/loadavg: 8.09 6.91 6.57 5/282 19949
/proc/meminfo: memFree=24748628/32951124 swapFree=67057896/67111528
[pid=19949] ppid=19947 vsize=290912 CPUtime=2.76 cores=1,3,5,7
/proc/19949/stat : 19949 (strangenight2-m) R 19947 19949 19869 0 -1 4202496 9134 0 0 0 275 1 0 0 18 0 4 0 633928830 297893888 6398 33554432000 4194304 4580107 140735652422016 18446744073709551615 4322544 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19949/statm: 72728 6398 376 95 0 67710 0
[pid=19949/tid=19950] ppid=19947 vsize=290912 CPUtime=0.68 cores=1,3,5,7
/proc/19949/task/19950/stat : 19950 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 2128 0 0 0 68 0 0 0 18 0 4 0 633928830 297893888 6398 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19949/tid=19951] ppid=19947 vsize=290912 CPUtime=0.68 cores=1,3,5,7
/proc/19949/task/19951/stat : 19951 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 2258 0 0 0 68 0 0 0 18 0 4 0 633928830 297893888 6398 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19949/tid=19952] ppid=19947 vsize=290912 CPUtime=0.68 cores=1,3,5,7
/proc/19949/task/19952/stat : 19952 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 2000 0 0 0 68 0 0 0 25 0 4 0 633928830 297893888 6398 33554432000 4194304 4580107 140735652422016 18446744073709551615 4293301 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 290912

[startup+1.50098 s]
/proc/loadavg: 8.09 6.91 6.57 9/286 19953
/proc/meminfo: memFree=24714700/32951124 swapFree=67057896/67111528
[pid=19949] ppid=19947 vsize=292184 CPUtime=5.96 cores=1,3,5,7
/proc/19949/stat : 19949 (strangenight2-m) R 19947 19949 19869 0 -1 4202496 12666 0 0 0 594 2 0 0 19 0 4 0 633928830 299196416 8079 33554432000 4194304 4580107 140735652422016 18446744073709551615 4304864 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19949/statm: 73046 8079 376 95 0 68028 0
[pid=19949/tid=19950] ppid=19947 vsize=292184 CPUtime=1.48 cores=1,3,5,7
/proc/19949/task/19950/stat : 19950 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 3109 0 0 0 148 0 0 0 20 0 4 0 633928830 299196416 8079 33554432000 4194304 4580107 140735652422016 18446744073709551615 4320735 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19949/tid=19951] ppid=19947 vsize=292184 CPUtime=1.48 cores=1,3,5,7
/proc/19949/task/19951/stat : 19951 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 3053 0 0 0 148 0 0 0 19 0 4 0 633928830 299196416 8080 33554432000 4194304 4580107 140735652422016 18446744073709551615 4293301 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19949/tid=19952] ppid=19947 vsize=292184 CPUtime=1.47 cores=1,3,5,7
/proc/19949/task/19952/stat : 19952 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 3016 0 0 0 147 0 0 0 25 0 4 0 633928830 299196416 8080 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 292184

[startup+3.1007 s]
/proc/loadavg: 8.09 6.91 6.57 9/286 19953
/proc/meminfo: memFree=24707756/32951124 swapFree=67057896/67111528
[pid=19949] ppid=19947 vsize=294824 CPUtime=12.34 cores=1,3,5,7
/proc/19949/stat : 19949 (strangenight2-m) R 19947 19949 19869 0 -1 4202496 19422 0 0 0 1231 3 0 0 25 0 4 0 633928830 301899776 10714 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294160 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19949/statm: 73706 10714 377 95 0 68688 0
[pid=19949/tid=19950] ppid=19947 vsize=294824 CPUtime=3.08 cores=1,3,5,7
/proc/19949/task/19950/stat : 19950 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 4564 0 0 0 308 0 0 0 25 0 4 0 633928830 301899776 10714 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19949/tid=19951] ppid=19947 vsize=294824 CPUtime=3.08 cores=1,3,5,7
/proc/19949/task/19951/stat : 19951 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 4454 0 0 0 308 0 0 0 25 0 4 0 633928830 301899776 10714 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19949/tid=19952] ppid=19947 vsize=294824 CPUtime=3.06 cores=1,3,5,7
/proc/19949/task/19952/stat : 19952 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 4780 0 0 0 306 0 0 0 25 0 4 0 633928830 301899776 10715 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 294824

[startup+6.30113 s]
/proc/loadavg: 8.16 6.94 6.58 9/286 19953
/proc/meminfo: memFree=24663084/32951124 swapFree=67057896/67111528
[pid=19949] ppid=19947 vsize=294460 CPUtime=25.12 cores=1,3,5,7
/proc/19949/stat : 19949 (strangenight2-m) R 19947 19949 19869 0 -1 4202496 38644 0 0 0 2505 7 0 0 25 0 4 0 633928830 301527040 24605 33554432000 4194304 4580107 140735652422016 18446744073709551615 4412953 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19949/statm: 73615 24605 378 95 0 68597 0
[pid=19949/tid=19950] ppid=19947 vsize=294460 CPUtime=6.28 cores=1,3,5,7
/proc/19949/task/19950/stat : 19950 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 9252 0 0 0 627 1 0 0 25 0 4 0 633928830 301527040 24605 33554432000 4194304 4580107 140735652422016 18446744073709551615 4416046 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19949/tid=19951] ppid=19947 vsize=294460 CPUtime=6.28 cores=1,3,5,7
/proc/19949/task/19951/stat : 19951 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 10981 0 0 0 626 2 0 0 25 0 4 0 633928830 301527040 24605 33554432000 4194304 4580107 140735652422016 18446744073709551615 4413419 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19949/tid=19952] ppid=19947 vsize=294460 CPUtime=6.23 cores=1,3,5,7
/proc/19949/task/19952/stat : 19952 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 7023 0 0 0 623 0 0 0 25 0 4 0 633928830 301527040 24605 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 294460

[startup+12.701 s]
/proc/loadavg: 8.15 6.96 6.59 9/286 19954
/proc/meminfo: memFree=24639672/32951124 swapFree=67057896/67111528
[pid=19949] ppid=19947 vsize=296588 CPUtime=50.66 cores=1,3,5,7
/proc/19949/stat : 19949 (strangenight2-m) R 19947 19949 19869 0 -1 4202496 50959 0 0 0 5056 10 0 0 25 0 4 0 633928830 303706112 28840 33554432000 4194304 4580107 140735652422016 18446744073709551615 4412801 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19949/statm: 74147 28840 378 95 0 69129 0
[pid=19949/tid=19950] ppid=19947 vsize=296588 CPUtime=12.68 cores=1,3,5,7
/proc/19949/task/19950/stat : 19950 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 12511 0 0 0 1266 2 0 0 25 0 4 0 633928830 303706112 28840 33554432000 4194304 4580107 140735652422016 18446744073709551615 4413328 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19949/tid=19951] ppid=19947 vsize=296588 CPUtime=12.68 cores=1,3,5,7
/proc/19949/task/19951/stat : 19951 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 13519 0 0 0 1266 2 0 0 25 0 4 0 633928830 303706112 28840 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19949/tid=19952] ppid=19947 vsize=296588 CPUtime=12.57 cores=1,3,5,7
/proc/19949/task/19952/stat : 19952 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 10488 0 0 0 1256 1 0 0 25 0 4 0 633928830 303706112 28840 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 296588

[startup+25.5007 s]
/proc/loadavg: 8.11 7.01 6.61 9/286 19954
/proc/meminfo: memFree=24552480/32951124 swapFree=67057896/67111528
[pid=19949] ppid=19947 vsize=297512 CPUtime=101.74 cores=1,3,5,7
/proc/19949/stat : 19949 (strangenight2-m) R 19947 19949 19869 0 -1 4202496 75397 0 0 0 10159 15 0 0 25 0 4 0 633928830 304652288 44824 33554432000 4194304 4580107 140735652422016 18446744073709551615 4293235 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19949/statm: 74378 44824 378 95 0 69360 0
[pid=19949/tid=19950] ppid=19947 vsize=297512 CPUtime=25.49 cores=1,3,5,7
/proc/19949/task/19950/stat : 19950 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 20630 0 0 0 2544 5 0 0 25 0 4 0 633928830 304652288 44824 33554432000 4194304 4580107 140735652422016 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19949/tid=19951] ppid=19947 vsize=297512 CPUtime=25.48 cores=1,3,5,7
/proc/19949/task/19951/stat : 19951 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 17638 0 0 0 2545 3 0 0 25 0 4 0 633928830 304652288 44824 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19949/tid=19952] ppid=19947 vsize=297512 CPUtime=25.26 cores=1,3,5,7
/proc/19949/task/19952/stat : 19952 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 16312 0 0 0 2524 2 0 0 25 0 4 0 633928830 304652288 44824 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 297512

[startup+51.1012 s]
/proc/loadavg: 8.14 7.10 6.65 9/286 19955
/proc/meminfo: memFree=24460428/32951124 swapFree=67057896/67111528
[pid=19949] ppid=19947 vsize=409368 CPUtime=203.92 cores=1,3,5,7
/proc/19949/stat : 19949 (strangenight2-m) R 19947 19949 19869 0 -1 4202496 119842 0 0 0 20367 25 0 0 25 0 4 0 633928830 419192832 56143 33554432000 4194304 4580107 140735652422016 18446744073709551615 4416310 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19949/statm: 102342 56143 378 95 0 97324 0
[pid=19949/tid=19950] ppid=19947 vsize=409368 CPUtime=51.08 cores=1,3,5,7
/proc/19949/task/19950/stat : 19950 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 31635 0 0 0 5101 7 0 0 25 0 4 0 633928830 419192832 56143 33554432000 4194304 4580107 140735652422016 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19949/tid=19951] ppid=19947 vsize=409368 CPUtime=51.08 cores=1,3,5,7
/proc/19949/task/19951/stat : 19951 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 27473 0 0 0 5103 5 0 0 25 0 4 0 633928830 419192832 56143 33554432000 4194304 4580107 140735652422016 18446744073709551615 4416469 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19949/tid=19952] ppid=19947 vsize=409368 CPUtime=50.63 cores=1,3,5,7
/proc/19949/task/19952/stat : 19952 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 26855 0 0 0 5059 4 0 0 25 0 4 0 633928830 419192832 56143 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.92
Current children cumulated vsize (KiB) 409368

[startup+102.301 s]
/proc/loadavg: 8.16 7.28 6.74 9/286 19956
/proc/meminfo: memFree=24392560/32951124 swapFree=67057896/67111528
[pid=19949] ppid=19947 vsize=419508 CPUtime=408.3 cores=1,3,5,7
/proc/19949/stat : 19949 (strangenight2-m) R 19947 19949 19869 0 -1 4202496 191593 0 0 0 40787 43 0 0 25 0 4 0 633928830 429576192 67621 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19949/statm: 104877 67622 378 95 0 99859 0
[pid=19949/tid=19950] ppid=19947 vsize=419508 CPUtime=102.29 cores=1,3,5,7
/proc/19949/task/19950/stat : 19950 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 51448 0 0 0 10217 12 0 0 25 0 4 0 633928830 429576192 67623 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19949/tid=19951] ppid=19947 vsize=419508 CPUtime=102.29 cores=1,3,5,7
/proc/19949/task/19951/stat : 19951 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 41811 0 0 0 10221 8 0 0 25 0 4 0 633928830 429576192 67623 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19949/tid=19952] ppid=19947 vsize=419508 CPUtime=101.4 cores=1,3,5,7
/proc/19949/task/19952/stat : 19952 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 46560 0 0 0 10130 10 0 0 25 0 4 0 633928830 429576192 67623 33554432000 4194304 4580107 140735652422016 18446744073709551615 4320971 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.3
Current children cumulated vsize (KiB) 419508

[startup+162.3 s]

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

[pid=19949] ppid=19947 vsize=770436 CPUtime=2562.81 cores=1,3,5,7
/proc/19949/stat : 19949 (strangenight2-m) R 19947 19949 19869 0 -1 4202496 604386 0 0 0 256113 168 0 0 25 0 4 0 633928830 788926464 158401 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294627 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19949/statm: 192609 158401 378 95 0 187591 0
[pid=19949/tid=19950] ppid=19947 vsize=770436 CPUtime=642.29 cores=1,3,5,7
/proc/19949/task/19950/stat : 19950 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 155775 0 0 0 64184 45 0 0 25 0 4 0 633928830 788926464 158401 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19949/tid=19951] ppid=19947 vsize=770436 CPUtime=641.49 cores=1,3,5,7
/proc/19949/task/19951/stat : 19951 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 165045 0 0 0 64103 46 0 0 25 0 4 0 633928830 788926464 158401 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19949/tid=19952] ppid=19947 vsize=770436 CPUtime=636.7 cores=1,3,5,7
/proc/19949/task/19952/stat : 19952 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 174380 0 0 0 63621 49 0 0 25 0 4 0 633928830 788926464 158401 33554432000 4194304 4580107 140735652422016 18446744073709551615 4318990 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2562.81
Current children cumulated vsize (KiB) 770436

[startup+702.3 s]
/proc/loadavg: 8.04 8.00 7.38 9/286 19975
/proc/meminfo: memFree=23696092/32951124 swapFree=67057896/67111528
[pid=19949] ppid=19947 vsize=992704 CPUtime=2802.29 cores=1,3,5,7
/proc/19949/stat : 19949 (strangenight2-m) R 19947 19949 19869 0 -1 4202496 637617 0 0 0 280049 180 0 0 25 0 4 0 633928830 1016528896 172815 33554432000 4194304 4580107 140735652422016 18446744073709551615 4295698 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19949/statm: 248176 172815 378 95 0 243158 0
[pid=19949/tid=19950] ppid=19947 vsize=992704 CPUtime=702.29 cores=1,3,5,7
/proc/19949/task/19950/stat : 19950 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 165418 0 0 0 70182 47 0 0 25 0 4 0 633928830 1016528896 172815 33554432000 4194304 4580107 140735652422016 18446744073709551615 4295828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19949/tid=19951] ppid=19947 vsize=992704 CPUtime=701.5 cores=1,3,5,7
/proc/19949/task/19951/stat : 19951 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 177637 0 0 0 70099 51 0 0 25 0 4 0 633928830 1016528896 172816 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19949/tid=19952] ppid=19947 vsize=992704 CPUtime=696.18 cores=1,3,5,7
/proc/19949/task/19952/stat : 19952 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 182741 0 0 0 69567 51 0 0 25 0 4 0 633928830 1016528896 172816 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2802.29
Current children cumulated vsize (KiB) 992704

[startup+762.301 s]
/proc/loadavg: 8.04 8.01 7.42 9/286 19977
/proc/meminfo: memFree=23700020/32951124 swapFree=67057896/67111528
[pid=19949] ppid=19947 vsize=1010152 CPUtime=3041.78 cores=1,3,5,7
/proc/19949/stat : 19949 (strangenight2-m) R 19947 19949 19869 0 -1 4202496 669150 0 0 0 303986 192 0 0 25 0 4 0 633928830 1034395648 169488 33554432000 4194304 4580107 140735652422016 18446744073709551615 4417027 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19949/statm: 252538 169488 378 95 0 247520 0
[pid=19949/tid=19950] ppid=19947 vsize=1010152 CPUtime=762.3 cores=1,3,5,7
/proc/19949/task/19950/stat : 19950 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 173284 0 0 0 76179 51 0 0 25 0 4 0 633928830 1034395648 169488 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19949/tid=19951] ppid=19947 vsize=1010152 CPUtime=761.5 cores=1,3,5,7
/proc/19949/task/19951/stat : 19951 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 189879 0 0 0 76095 55 0 0 25 0 4 0 633928830 1034395648 169488 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19949/tid=19952] ppid=19947 vsize=1010152 CPUtime=755.65 cores=1,3,5,7
/proc/19949/task/19952/stat : 19952 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 189898 0 0 0 75511 54 0 0 25 0 4 0 633928830 1034395648 169488 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3041.78
Current children cumulated vsize (KiB) 1010152

[startup+822.301 s]
/proc/loadavg: 8.15 8.04 7.46 9/286 19978
/proc/meminfo: memFree=23719448/32951124 swapFree=67057896/67111528
[pid=19949] ppid=19947 vsize=865080 CPUtime=3281.24 cores=1,3,5,7
/proc/19949/stat : 19949 (strangenight2-m) R 19947 19949 19869 0 -1 4202496 713436 0 0 0 327919 205 0 0 25 0 4 0 633928830 885841920 165379 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19949/statm: 216270 165380 378 95 0 211252 0
[pid=19949/tid=19950] ppid=19947 vsize=865080 CPUtime=822.29 cores=1,3,5,7
/proc/19949/task/19950/stat : 19950 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 184867 0 0 0 82174 55 0 0 25 0 4 0 633928830 885841920 165380 33554432000 4194304 4580107 140735652422016 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19949/tid=19951] ppid=19947 vsize=865080 CPUtime=821.5 cores=1,3,5,7
/proc/19949/task/19951/stat : 19951 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 200386 0 0 0 82092 58 0 0 25 0 4 0 633928830 885841920 165380 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19949/tid=19952] ppid=19947 vsize=865080 CPUtime=815.11 cores=1,3,5,7
/proc/19949/task/19952/stat : 19952 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 201218 0 0 0 81454 57 0 0 25 0 4 0 633928830 885841920 165380 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3281.24
Current children cumulated vsize (KiB) 865080

[startup+882.31 s]
/proc/loadavg: 7.93 8.00 7.49 9/286 20011
/proc/meminfo: memFree=23563104/32951124 swapFree=67057896/67111528
[pid=19949] ppid=19947 vsize=945432 CPUtime=3520.75 cores=1,3,5,7
/proc/19949/stat : 19949 (strangenight2-m) R 19947 19949 19869 0 -1 4202496 755656 0 0 0 351856 219 0 0 25 0 4 0 633928830 968122368 174262 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19949/statm: 236358 174262 378 95 0 231340 0
[pid=19949/tid=19950] ppid=19947 vsize=945432 CPUtime=882.3 cores=1,3,5,7
/proc/19949/task/19950/stat : 19950 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 196360 0 0 0 88172 58 0 0 25 0 4 0 633928830 968122368 174262 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19949/tid=19951] ppid=19947 vsize=945432 CPUtime=881.51 cores=1,3,5,7
/proc/19949/task/19951/stat : 19951 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 212541 0 0 0 88089 62 0 0 25 0 4 0 633928830 968122368 174262 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19949/tid=19952] ppid=19947 vsize=945432 CPUtime=874.59 cores=1,3,5,7
/proc/19949/task/19952/stat : 19952 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 209280 0 0 0 87400 59 0 0 25 0 4 0 633928830 968122368 174262 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3520.75
Current children cumulated vsize (KiB) 945432

[startup+942.301 s]
/proc/loadavg: 7.97 8.00 7.51 9/286 20012
/proc/meminfo: memFree=22937784/32951124 swapFree=67057896/67111528
[pid=19949] ppid=19947 vsize=1046332 CPUtime=3760.18 cores=1,3,5,7
/proc/19949/stat : 19949 (strangenight2-m) R 19947 19949 19869 0 -1 4202496 788970 0 0 0 375785 233 0 0 25 0 4 0 633928830 1071443968 189451 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294468 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19949/statm: 261583 189451 378 95 0 256565 0
[pid=19949/tid=19950] ppid=19947 vsize=1046332 CPUtime=942.29 cores=1,3,5,7
/proc/19949/task/19950/stat : 19950 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 206019 0 0 0 94167 62 0 0 25 0 4 0 633928830 1071443968 189451 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19949/tid=19951] ppid=19947 vsize=1046332 CPUtime=941.5 cores=1,3,5,7
/proc/19949/task/19951/stat : 19951 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 219687 0 0 0 94084 66 0 0 25 0 4 0 633928830 1071443968 189451 33554432000 4194304 4580107 140735652422016 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19949/tid=19952] ppid=19947 vsize=1046332 CPUtime=934.05 cores=1,3,5,7
/proc/19949/task/19952/stat : 19952 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 217079 0 0 0 93343 62 0 0 25 0 4 0 633928830 1071443968 189451 33554432000 4194304 4580107 140735652422016 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3760.18
Current children cumulated vsize (KiB) 1046332

[startup+1002.3 s]
/proc/loadavg: 8.04 8.01 7.55 9/286 20014
/proc/meminfo: memFree=22930396/32951124 swapFree=67057896/67111528
[pid=19949] ppid=19947 vsize=1116328 CPUtime=3999.64 cores=1,3,5,7
/proc/19949/stat : 19949 (strangenight2-m) R 19947 19949 19869 0 -1 4202496 812909 0 0 0 399722 242 0 0 25 0 4 0 633928830 1143119872 187990 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19949/statm: 279082 187990 378 95 0 274064 0
[pid=19949/tid=19950] ppid=19947 vsize=1116328 CPUtime=1002.29 cores=1,3,5,7
/proc/19949/task/19950/stat : 19950 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 212961 0 0 0 100164 65 0 0 25 0 4 0 633928830 1143119872 187990 33554432000 4194304 4580107 140735652422016 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19949/tid=19951] ppid=19947 vsize=1116328 CPUtime=1001.5 cores=1,3,5,7
/proc/19949/task/19951/stat : 19951 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 229346 0 0 0 100080 70 0 0 25 0 4 0 633928830 1143119872 187990 33554432000 4194304 4580107 140735652422016 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19949/tid=19952] ppid=19947 vsize=1116328 CPUtime=993.51 cores=1,3,5,7
/proc/19949/task/19952/stat : 19952 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 222100 0 0 0 99287 64 0 0 25 0 4 0 633928830 1143119872 187990 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3999.64
Current children cumulated vsize (KiB) 1116328

[startup+1062.3 s]
/proc/loadavg: 8.06 8.02 7.58 11/286 20016
/proc/meminfo: memFree=22892488/32951124 swapFree=67057896/67111528
[pid=19949] ppid=19947 vsize=1132660 CPUtime=4239.11 cores=1,3,5,7
/proc/19949/stat : 19949 (strangenight2-m) R 19947 19949 19869 0 -1 4202496 843908 0 0 0 423653 258 0 0 25 0 4 0 633928830 1159843840 181389 33554432000 4194304 4580107 140735652422016 18446744073709551615 4416997 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19949/statm: 283165 181389 378 95 0 278147 0
[pid=19949/tid=19950] ppid=19947 vsize=1132660 CPUtime=1062.29 cores=1,3,5,7
/proc/19949/task/19950/stat : 19950 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 221234 0 0 0 106160 69 0 0 25 0 4 0 633928830 1159843840 181389 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19949/tid=19951] ppid=19947 vsize=1132660 CPUtime=1061.5 cores=1,3,5,7
/proc/19949/task/19951/stat : 19951 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 235348 0 0 0 106078 72 0 0 25 0 4 0 633928830 1159843840 181389 33554432000 4194304 4580107 140735652422016 18446744073709551615 4417027 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19949/tid=19952] ppid=19947 vsize=1132660 CPUtime=1052.97 cores=1,3,5,7
/proc/19949/task/19952/stat : 19952 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 231373 0 0 0 105228 69 0 0 25 0 4 0 633928830 1159843840 181389 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4239.11
Current children cumulated vsize (KiB) 1132660

[startup+1122.3 s]
/proc/loadavg: 8.10 8.05 7.61 9/286 20017
/proc/meminfo: memFree=22771704/32951124 swapFree=67057896/67111528
[pid=19949] ppid=19947 vsize=1124276 CPUtime=4478.57 cores=1,3,5,7
/proc/19949/stat : 19949 (strangenight2-m) R 19947 19949 19869 0 -1 4202496 885044 0 0 0 447580 277 0 0 25 0 4 0 633928830 1151258624 186225 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294418 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19949/statm: 281069 186225 378 95 0 276051 0
[pid=19949/tid=19950] ppid=19947 vsize=1124276 CPUtime=1122.3 cores=1,3,5,7
/proc/19949/task/19950/stat : 19950 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 233181 0 0 0 112155 75 0 0 25 0 4 0 633928830 1151258624 186225 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19949/tid=19951] ppid=19947 vsize=1124276 CPUtime=1121.5 cores=1,3,5,7
/proc/19949/task/19951/stat : 19951 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 244743 0 0 0 112072 78 0 0 25 0 4 0 633928830 1151258624 186225 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19949/tid=19952] ppid=19947 vsize=1124276 CPUtime=1112.42 cores=1,3,5,7
/proc/19949/task/19952/stat : 19952 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 243099 0 0 0 111169 73 0 0 25 0 4 0 633928830 1151258624 186225 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4478.57
Current children cumulated vsize (KiB) 1124276

[startup+1182.3 s]
/proc/loadavg: 8.19 8.08 7.65 9/286 20019
/proc/meminfo: memFree=22254476/32951124 swapFree=67057896/67111528
[pid=19949] ppid=19947 vsize=1147596 CPUtime=4718.03 cores=1,3,5,7
/proc/19949/stat : 19949 (strangenight2-m) R 19947 19949 19869 0 -1 4202496 921973 0 0 0 471513 290 0 0 25 0 4 0 633928830 1175138304 182285 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19949/statm: 286899 182285 378 95 0 281881 0
[pid=19949/tid=19950] ppid=19947 vsize=1147596 CPUtime=1182.3 cores=1,3,5,7
/proc/19949/task/19950/stat : 19950 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 241877 0 0 0 118152 78 0 0 25 0 4 0 633928830 1175138304 182285 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19949/tid=19951] ppid=19947 vsize=1147596 CPUtime=1181.51 cores=1,3,5,7
/proc/19949/task/19951/stat : 19951 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 252013 0 0 0 118070 81 0 0 25 0 4 0 633928830 1175138304 182285 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19949/tid=19952] ppid=19947 vsize=1147596 CPUtime=1171.88 cores=1,3,5,7
/proc/19949/task/19952/stat : 19952 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 251903 0 0 0 117111 77 0 0 25 0 4 0 633928830 1175138304 182285 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4718.03
Current children cumulated vsize (KiB) 1147596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.9 s]
/proc/loadavg: 8.19 8.09 7.66 9/286 20019
/proc/meminfo: memFree=22253604/32951124 swapFree=67057896/67111528
[pid=19949] ppid=19947 vsize=963276 CPUtime=4800.26 cores=1,3,5,7
/proc/19949/stat : 19949 (strangenight2-m) R 19947 19949 19869 0 -1 4202496 938267 0 0 0 479731 295 0 0 25 0 4 0 633928830 986394624 178068 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19949/statm: 240819 178068 378 95 0 235801 0
[pid=19949/tid=19950] ppid=19947 vsize=963276 CPUtime=1202.91 cores=1,3,5,7
/proc/19949/task/19950/stat : 19950 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 246980 0 0 0 120212 79 0 0 25 0 4 0 633928830 986394624 178069 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19949/tid=19951] ppid=19947 vsize=963276 CPUtime=1202.11 cores=1,3,5,7
/proc/19949/task/19951/stat : 19951 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 253922 0 0 0 120130 81 0 0 25 0 4 0 633928830 986394624 178069 33554432000 4194304 4580107 140735652422016 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19949/tid=19952] ppid=19947 vsize=963276 CPUtime=1192.29 cores=1,3,5,7
/proc/19949/task/19952/stat : 19952 (strangenight2-m) R 19947 19949 19869 0 -1 4202560 256498 0 0 0 119151 78 0 0 25 0 4 0 633928830 986394624 178069 33554432000 4194304 4580107 140735652422016 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 963276

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.95
CPU time (s): 4800.33
CPU user time (s): 4797.35
CPU system time (s): 2.98455
CPU usage (%): 399.048
Max. virtual memory (cumulated for all children) (KiB): 1243824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.35
system time used= 2.98455
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 938269
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= 656
involuntary context switches= 33659

runsolver used 3.06253 second user time and 7.58485 second system time

The end

Launcher Data 

Begin job on node140 at 2011-05-15 01:18:55
IDJOB=3366831
IDBENCH=83903
IDSOLVER=1844
FILE ID=node140/3366831-1305415135
RUNJOBID= node140-1305414794-19888
PBS_JOBID= 13324552
Free space on /tmp= 73480 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366831-1305415135/watcher-3366831-1305415135 -o /tmp/evaluation-result-3366831-1305415135/solver-3366831-1305415135 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366831-1305415135.cnf

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

MD5SUM BENCH= c06088cac8521bfe72bbb4c9ad8d39fb
RANDOM SEED=1803611156

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
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.75
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.833
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.833
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.833
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:      24748908 kB
Buffers:        301412 kB
Cached:        3731712 kB
SwapCached:       8056 kB
Active:        5216848 kB
Inactive:      2675676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24748908 kB
SwapTotal:    67111528 kB
SwapFree:     67057896 kB
Dirty:            6228 kB
Writeback:           0 kB
AnonPages:     3856072 kB
Mapped:          23448 kB
Slab:           224328 kB
PageTables:      23004 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 46004124 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= 73448 MiB
End job on node140 at 2011-05-15 01:39:00