Trace number 3369232

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-1-mt (fixed)? (TO) 4800.28 1202.55

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf
MD5SUMe826117d87949a5b285e72732bfa395b
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 variables870
Number of clauses69964
Sum of the clauses size140740
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 269935
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 529

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 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369232-1305415678.cnf'
0.00/0.01	c -- header says num vars:            870
0.00/0.01	c -- header says num clauses:       69964
0.02/0.02	c -- clauses added:            0 learnts,        69964 normals,            0 xors
0.02/0.02	c -- vars added        870
0.02/0.02	c Parsing time:  0.06 s
0.02/0.02	c  N st     0         0       870        29     69935         0    140740         0   no data   no data  --
0.02/0.02	c asymm  cl-useful: 0/29/29 lits-rem:0 time: 0.00
0.02/0.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.06
0.02/0.06	c bin-w-bin subsume rem            0 bins  time:  0.04 s
0.02/0.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3.17/0.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    870 time:  0.03 s
3.17/0.83	c Removed useless bin:       0  fixed:     0  props:   0.35M  time:  0.03 s
3.17/0.83	c lits-rem:       488  cl-subs:        0  v-elim:     29  v-fix:    0  time:  0.07 s
3.17/0.83	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.83	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
3.17/0.83	c calculated reachability. Time: 0.00
3.17/0.83	c Calc default polars -  time:   0.00 s pos:     418 undec:      29 neg:     423
3.17/0.83	c =========================================================================================
3.17/0.83	c types(t): F = full restart, N = normal restart
3.17/0.83	c types(t): S = simplification begin/end, E = solution found
3.17/0.83	c restart types(rt): st = static, dy = dynamic
3.17/0.83	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.83	c  B st     0         0       841      1382     67712         0    187764         0   no data   no data  --
3.17/0.83	c  N dy    19      4013       840      1382     67725      3817    187764    196290     11.34     25.23  --
3.17/0.83	c  N dy    33      8102       840      1382     67725      5437    187764    373856     11.34     21.25  --
5.16/1.33	c  N dy    62     12141       840      1382     67726      5260    187764    302309     12.19     20.01  --
6.76/1.78	c  N dy    67     16148       840      1382     67731      9145    187764    602617     11.35     15.35  --
9.15/2.32	c  N dy    77     20352       839      1382     67748      7739    187764    375729     10.80     11.38  --
11.55/2.92	c  N dy    88     24747       838      1382     67753     11989    187764    671854     10.54     11.18  --
11.55/2.96	c  F st    90     25000       838      1382     67753     12233    187764    685451     10.54      8.02  --
14.34/3.69	c  N dy    96     30000       838      1347     67005      9676    185050    605666     10.54   no data  --
14.34/3.69	c  S st    96     30000       838      1347     67005      9676    185050    605666     10.54   no data  --
14.74/3.77	c  S st    96     30502       838      1347     67005     10178    185050    640048     10.54   no data  --
14.74/3.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
14.74/3.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.54/3.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  6.0M T:  0.63
15.54/3.96	c bin-w-bin subsume rem            0 bins  time:  0.04 s
21.13/5.36	c subs with bin:        0  lits-rem:      2134  v-fix:    0  time:  5.58 s
21.13/5.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    838 time:  0.03 s
21.13/5.37	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.03 s
35.49/8.93	c lits-rem:      4386  cl-subs:     1050  v-elim:      0  v-fix:    0  time: 14.20 s
35.89/9.08	c asymm  cl-useful: 658/1318/1347 lits-rem:7349 time: 0.59
35.89/9.08	c calculated reachability. Time: 0.00
35.89/9.08	c  N dy    96     30502       838      1347     67006      9128    172339    605327     10.54   no data  --
38.70/9.77	c  N dy   111     34660       836      1347     67035     13144    172339    934205     10.51     11.12  --
41.09/10.39	c  N dy   134     38749       836      1347     67036      9903    172339    614367     10.72     11.39  --
44.28/11.18	c  N dy   164     42851       836      1347     67042     13891    172339   1000738     11.22     12.01  --
46.68/11.78	c  S st   176     45753       836      1347     67042     16730    172339   1262473     11.32     10.52  --
47.08/11.89	c  S st   176     46253       836      1347     67047      8718    172337    452252     11.32   no data  --
47.08/11.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
47.08/11.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.90/12.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P:  5.1M T:  0.53
47.90/12.05	c bin-w-bin subsume rem            0 bins  time:  0.04 s
53.45/13.41	c subs with bin:        0  lits-rem:        57  v-fix:    0  time:  5.41 s
53.45/13.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    836 time:  0.03 s
53.45/13.42	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.03 s
55.86/14.03	c lits-rem:       988  cl-subs:       87  v-elim:      0  v-fix:    0  time:  2.43 s
55.86/14.03	c vivif2 --  cl tried     1336 cl shrink      193 lits rem        205 time: 0.00
55.86/14.04	c vivif2 --  cl tried     7531 cl shrink       94 lits rem         96 time: 0.03
56.26/14.18	c asymm  cl-useful: 0/1336/1336 lits-rem:0 time: 0.56
56.26/14.19	c calculated reachability. Time: 0.00
56.26/14.19	c  N dy   176     46253       836      1336     66522      7531    170859    428344     11.32   no data  --
58.65/14.76	c  N dy   185     50374       836      1336     66525     11532    170859    814558     11.19     11.83  --
62.25/15.62	c  N dy   202     54728       836      1336     66536     15772    170859   1180858     11.20     12.10  --
65.47/16.45	c  N dy   208     58905       836      1336     66538     10782    170859    634614     11.07     12.08  --
68.23/17.13	c  N dy   225     62924       836      1336     66543     14691    170859    980078     11.09     22.72  --
71.83/18.09	c  N dy   240     67102       836      1336     66544     18734    170859   1324103     11.04     11.63  --
74.25/18.63	c  S st   249     69379       836      1336     66544     10587    170859    523286     11.04   no data  --
74.25/18.68	c  S st   249     69882       836      1336     66544     11085    170859    560345     11.04   no data  --
74.25/18.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
74.25/18.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
75.01/18.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  6.4M T:  0.67
75.01/18.88	c bin-w-bin subsume rem            0 bins  time:  0.04 s
80.60/20.25	c subs with bin:       65  lits-rem:        83  v-fix:    0  time:  5.49 s
80.60/20.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    836 time:  0.03 s
80.60/20.27	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.03 s
91.82/23.05	c lits-rem:      1183  cl-subs:      249  v-elim:      0  v-fix:    0  time: 11.09 s
91.82/23.05	c vivif2 --  cl tried     1336 cl shrink        4 lits rem          5 time: 0.00
91.82/23.06	c vivif2 --  cl tried    10771 cl shrink      121 lits rem        130 time: 0.04
92.58/23.24	c asymm  cl-useful: 2/1336/1336 lits-rem:2 time: 0.72
92.58/23.24	c calculated reachability. Time: 0.00
92.58/23.24	c  N dy   249     69882       836      1336     66545     10771    170848    554730     11.04   no data  --
95.78/24.03	c  N dy   264     74422       834      1336     66559     15184    170848    916123     11.04     14.25  --
100.17/25.11	c  N dy   286     79532       834      1336     66561     20139    170848   1297182     11.06     11.75  --
105.39/26.42	c  N dy   308     85364       834      1336     66563     14323    170848    761176     11.05     11.79  --
106.55/26.80	c  F st   313     87501       834      1336     66568     16370    170848    889930     11.01      9.24  --
111.35/27.95	c  N dy   319     92699       834      1316     66134     21315    169676   1204346     11.01   no data  --
116.94/29.31	c  N dy   335     98747       834      1316     66144     14664    169676    646841     10.93     11.53  --
120.92/30.36	c  S st   351    104825       834      1316     66153     20524    169676   1038663     10.85      7.43  --
121.32/30.47	c  S st   351    105327       834      1316     66155     21024    169676   1073218     10.85   no data  --
121.32/30.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
121.32/30.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
122.55/30.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      8 BRemL:      0 BRemN:      0 P:  8.9M T:  0.97
122.55/30.76	c bin-w-bin subsume rem            0 bins  time:  0.04 s
128.51/32.26	c subs with bin:       61  lits-rem:        41  v-fix:    0  time:  6.00 s
128.51/32.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    834 time:  0.03 s
128.51/32.27	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.03 s
136.13/34.13	c lits-rem:      2481  cl-subs:     1470  v-elim:      0  v-fix:    0  time:  7.40 s
136.13/34.13	c vivif2 --  cl tried     1316 cl shrink        7 lits rem          7 time: 0.00
136.13/34.15	c vivif2 --  cl tried    19493 cl shrink     1648 lits rem       2840 time: 0.10
137.29/34.40	c asymm  cl-useful: 0/1154/1316 lits-rem:0 time: 0.97
137.29/34.40	c calculated reachability. Time: 0.00
137.29/34.40	c  N dy   351    105327       834      1316     66168     19488    169668   1040115     10.85   no data  --
143.68/36.04	c  N dy   363    112212       831      1316     66190     26033    169668   1402978     10.74     11.47  --
148.47/37.21	c  N dy   390    119389       831      1316     66193     19630    169668    908882     10.70     14.12  --
154.85/38.82	c  N dy   418    127039       830      1316     66209     26950    169668   1287376     10.66     14.97  --
160.45/40.25	c  N dy   477    135150       830      1316     66211     20478    169668    993134     11.05     14.05  --
168.82/42.36	c  N dy   529    143817       830      1316     66217     28958    169668   1713765     11.40     29.13  --
176.41/44.24	c  N dy   575    153287       830      1316     66220     22700    169668   1104626     11.58     12.39  --
180.40/45.28	c  S st   607    157992       830      1316     66224     27302    169668   1431952     11.71   no data  --
181.20/45.41	c  S st   607    158492       830      1316     66224     27800    169668   1464840     11.71   no data  --
181.20/45.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
181.20/45.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
182.40/45.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 11.4M T:  1.24
182.40/45.78	c bin-w-bin subsume rem            5 bins  time:  0.04 s
188.42/47.29	c subs with bin:        2  lits-rem:        55  v-fix:    0  time:  6.03 s
188.42/47.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    830 time:  0.03 s
188.82/47.31	c Removed useless bin:       0  fixed:     0  props:   0.31M  time:  0.03 s
199.56/50.03	c lits-rem:      1756  cl-subs:      936  v-elim:      0  v-fix:    0  time: 10.88 s
199.56/50.04	c vivif2 --  cl tried     1303 cl shrink        3 lits rem          4 time: 0.00
199.56/50.06	c vivif2 --  cl tried    23066 cl shrink      462 lits rem        554 time: 0.10
200.76/50.31	c asymm  cl-useful: 0/1002/1303 lits-rem:0 time: 1.00
200.76/50.31	c calculated reachability. Time: 0.00
200.76/50.31	c  N dy   607    158492       830      1303     65183     23066    167378   1380651     11.71   no data  --
210.37/52.78	c  N dy   620    170945       829      1303     65221     20515    167378    980302     11.53     12.18  --
220.32/55.21	c  N dy   635    182167       828      1303     65227     31503    167378   1879154     11.37     12.20  --
232.33/58.24	c  N dy   650    196137       828      1303     65235     28449    167378   1496657     11.20     11.90  --
245.50/61.51	c  N dy   686    208884       828      1303     65247     22868    167378   1116053     11.11     11.72  --
261.84/65.67	c  N dy   741    223807       828      1303     65264     37382    167378   2205989     11.10     11.72  --
276.24/69.21	c  S st   779    237738       826      1303     65272     31686    167378   1686533     11.03      8.27  --
276.64/69.37	c  S st   779    238238       826      1303     65272     32183    167378   1723209     11.03   no data  --
276.64/69.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
276.64/69.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
278.20/69.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 13.3M T:  1.62
278.60/69.84	c bin-w-bin subsume rem            1 bins  time:  0.04 s
285.42/71.54	c subs with bin:        0  lits-rem:        36  v-fix:    0  time:  6.77 s
285.42/71.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    826 time:  0.03 s
285.42/71.56	c Removed useless bin:       0  fixed:     0  props:   0.31M  time:  0.03 s
298.95/74.97	c lits-rem:      2044  cl-subs:     1821  v-elim:      0  v-fix:    0  time: 13.63 s
298.95/74.97	c vivif2 --  cl tried     1260 cl shrink        6 lits rem          7 time: 0.00
299.35/75.01	c vivif2 --  cl tried    29035 cl shrink     1439 lits rem       2028 time: 0.14
300.15/75.27	c asymm  cl-useful: 0/798/1260 lits-rem:0 time: 1.03
300.15/75.27	c calculated reachability. Time: 0.00
300.15/75.27	c  N dy   779    238238       826      1260     64411     29035    164951   1654252     11.03   no data  --
317.72/79.69	c  N dy   825    253469       825      1260     64448     24234    164951   1190864     10.98     11.58  --
337.71/84.62	c  N dy   887    270369       825      1260     64454     40775    164951   2379924     10.99     11.77  --
356.44/89.38	c  N dy   952    288154       825      1260     64468     37081    164951   2071000     11.00     11.82  --
377.63/94.65	c  F st  1017    306250       825      1260     64475     32496    164951   1636595     10.98      9.14  --
378.39/94.82	c  N st  1019    306877       825      1260     64210     31793    164454   1653393     10.98   no data  --
401.95/100.77	c  N dy  1060    326689       825      1260     64223     28418    164454   1290547     10.93     11.57  --
428.30/107.37	c  N dy  1157    346783       824      1260     64232     24017    164454    932189     11.00     27.12  --
439.11/110.01	c  S st  1202    357357       824      1260     64239     34331    164454   1721780     11.03     11.13  --
439.47/110.18	c  S st  1202    357860       824      1260     64239     34831    164454   1753339     11.03   no data  --
439.47/110.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
439.47/110.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
441.47/110.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P: 15.5M T:  1.79
441.87/110.70	c bin-w-bin subsume rem            0 bins  time:  0.04 s
448.25/112.30	c subs with bin:        7  lits-rem:        96  v-fix:    0  time:  6.39 s
448.25/112.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    824 time:  0.03 s
448.25/112.31	c Removed useless bin:       0  fixed:     0  props:   0.31M  time:  0.03 s
464.22/116.30	c lits-rem:      2432  cl-subs:     1697  v-elim:      0  v-fix:    0  time: 15.91 s
464.22/116.30	c vivif2 --  cl tried     1252 cl shrink       12 lits rem         13 time: 0.00
464.22/116.34	c vivif2 --  cl tried    33043 cl shrink     2098 lits rem       2876 time: 0.16
465.45/116.64	c asymm  cl-useful: 0/747/1252 lits-rem:0 time: 1.20
465.45/116.65	c calculated reachability. Time: 0.00
465.45/116.65	c  N dy  1202    357860       824      1252     64067     33042    163965   1710886     11.03   no data  --
492.97/123.54	c  N dy  1263    377891       824      1252     64091     27430    163965   1176852     10.99     12.38  --
511.73/128.23	c Finding binary XORs  T:     0.00 s  found:       0
518.91/130.01	c  N dy  1338    397961       822      1242     63901     46607    163402   2559872     10.98     11.85  --
542.47/135.93	c  N dy  1408    418056       822      1242     63913     40192    163401   2028795     11.00     11.63  --
570.44/142.98	c  N dy  1486    438214       822      1242     63925     32705    163401   1410750     11.00     11.84  --
599.15/150.11	c  N dy  1573    458301       822      1242     63944     52231    163401   2777679     11.01     11.60  --
623.54/156.28	c  N dy  1652    478305       822      1242     63963     43502    163401   1981842     11.02     18.22  --
650.64/163.08	c  N dy  1740    498401       819      1242     63976     33979    163401   1342165     11.06     11.68  --
675.40/169.24	c  N dy  1838    518420       819      1242     63980     53465    163401   2690457     11.11     18.12  --
696.95/174.68	c  S st  1919    536792       819      1242     63983     41204    163401   1746486     11.14      8.97  --
697.78/174.84	c  S st  1919    537299       819      1242     63983     41710    163401   1779962     11.14   no data  --
697.78/174.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
697.78/174.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
699.74/175.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 16.6M T:  1.95
700.15/175.41	c bin-w-bin subsume rem            1 bins  time:  0.04 s
706.14/176.96	c subs with bin:       16  lits-rem:       140  v-fix:    0  time:  6.20 s
706.14/176.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    819 time:  0.03 s
706.14/176.97	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.02 s
717.31/179.72	c lits-rem:      1353  cl-subs:     1500  v-elim:      0  v-fix:    0  time: 10.93 s
717.31/179.72	c vivif2 --  cl tried     1231 cl shrink        9 lits rem         10 time: 0.00
717.31/179.75	c vivif2 --  cl tried    36119 cl shrink     1261 lits rem       1505 time: 0.15
718.51/180.03	c asymm  cl-useful: 0/631/1231 lits-rem:0 time: 1.09
718.51/180.03	c calculated reachability. Time: 0.00
718.51/180.03	c  N dy  1919    537299       819      1231     62999     36119    161314   1671972     11.14   no data  --
744.86/186.61	c  N dy  1981    557672       819      1231     63008     55899    161314   2959118     11.12     11.73  --
768.44/192.51	c  N dy  2037    580080       819      1231     63013     48569    161314   2273809     11.09     11.74  --
795.15/199.27	c  N dy  2120    600109       819      1231     63029     36994    161314   1457107     11.09     16.77  --
821.13/205.78	c  N dy  2199    621071       819      1231     63044     57230    161314   2753638     11.08     11.69  --
849.05/212.73	c  N dy  2249    643525       818      1231     63059     46563    161314   2029751     11.04     11.69  --
878.58/220.10	c  N dy  2317    663539       817      1231     63069     65957    161314   3363581     11.03     12.75  --
900.94/225.78	c  N dy  2393    683769       817      1231     63075     51984    161314   2388822     11.03     11.81  --
932.07/233.54	c  N dy  2467    703840       817      1231     63083     36650    161314   1270962     11.03     13.02  --
954.43/239.13	c  N dy  2544    723920       817      1231     63091     56145    161314   2567631     11.04     16.35  --
984.37/246.61	c  N dy  2633    743945       817      1231     63097     39697    161314   1382873     11.06     16.56  --
1007.52/252.44	c  N dy  2720    764128       817      1231     63105     59299    161314   2641486     11.06     11.70  --
1035.46/259.48	c  N dy  2803    784403       817      1231     63112     42121    161314   1512794     11.06     11.67  --
1059.01/265.39	c  N dy  2871    804873       816      1231     63119     61848    161314   2641651     11.05     11.69  --
1060.60/265.77	c  S st  2872    805948       816      1231     63119     62884    161314   2691297     11.05     11.01  --
1061.40/265.99	c  S st  2872    806451       816      1231     63119     63384    161314   2727824     11.05   no data  --
1061.80/266.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1061.80/266.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1064.60/266.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 21.7M T:  2.88
1065.00/266.83	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1071.42/268.49	c subs with bin:       24  lits-rem:        50  v-fix:    0  time:  6.61 s
1071.78/268.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    816 time:  0.03 s
1071.78/268.51	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.03 s
1107.31/277.43	c lits-rem:      6365  cl-subs:     4872  v-elim:      0  v-fix:    0  time: 35.59 s
1107.31/277.43	c vivif2 --  cl tried     1218 cl shrink       11 lits rem         11 time: 0.00
1107.71/277.50	c vivif2 --  cl tried    54769 cl shrink     2695 lits rem       3818 time: 0.27
1108.50/277.80	c asymm  cl-useful: 0/337/1218 lits-rem:0 time: 1.20
1108.90/277.80	c calculated reachability. Time: 0.00
1108.90/277.80	c  N dy  2872    806451       816      1218     62397     54764    159663   2574373     11.05   no data  --
1138.45/285.29	c  N dy  2927    826842       816      1218     62404     38728    159663   1415484     11.03     11.66  --
1163.23/291.43	c  N dy  3007    847219       816      1218     62413     58456    159663   2648032     11.03     11.71  --
1195.53/299.56	c  N dy  3089    867988       816      1218     62421     40841    159663   1463124     11.03     11.64  --
1220.32/305.76	c  N dy  3171    888047       816      1218     62425     60236    159663   2612235     11.04     11.62  --
1254.21/314.25	c  N dy  3244    908359       816      1218     62434     40666    159663   1371970     11.04     11.73  --
1278.96/320.44	c  N dy  3294    929363       816      1218     62440     60954    159663   2557010     11.02     11.89  --
1319.28/330.54	c  N dy  3364    950651       816      1218     62459     41083    159663   1426335     11.00     11.60  --
1346.03/337.28	c  N dy  3425    970885       815      1218     62476     60618    159663   2606217     10.99     11.57  --
1387.17/347.60	c  N dy  3555    991118       815      1218     62481     80300    159663   4037853     11.05     11.74  --
1414.29/354.35	c  N dy  3640   1011443       815      1218     62490     58594    159663   2472510     11.05     11.81  --
1448.22/362.86	c  N dy  3733   1031530       815      1218     62496     78185    159663   3837826     11.07     13.56  --
1477.76/370.22	c  N dy  3820   1051536       815      1218     62501     54982    159663   2213374     11.09     14.79  --
1510.12/378.40	c  N dy  3913   1071642       815      1218     62504     74571    159663   3552935     11.11     11.73  --
1510.89/378.50	c  F st  3914   1071879       815      1218     62504     74804    159663   3569173     11.11     10.03  --
1544.02/386.84	c  N dy  3979   1091974       815      1218     62194     47994    159175   1860265     11.11     12.11  --
1572.76/394.03	c  N dy  4073   1111983       815      1218     62198     67484    159175   3194990     11.13     11.73  --
1613.08/404.12	c  N dy  4162   1132066       815      1218     62206     43610    159175   1469275     11.14     11.86  --
1640.22/410.95	c  N dy  4242   1152703       815      1218     62214     63670    159175   2775134     11.15     11.85  --
1680.15/420.98	c  N dy  4359   1173534       815      1218     62222     83900    159175   4163149     11.18     11.96  --
1715.28/429.70	c  N dy  4471   1193612       815      1218     62229     58373    159175   2393618     11.21     16.24  --
1742.42/436.55	c  S st  4534   1209678       815      1218     62235     74000    159175   3418760     11.21      8.97  --
1743.61/436.87	c  S st  4534   1210179       815      1218     62235     74499    159175   3458825     11.21   no data  --
1743.61/436.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1743.61/436.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1748.40/438.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 27.9M T:  4.70
1748.80/438.16	c bin-w-bin subsume rem            1 bins  time:  0.03 s
1756.43/440.05	c subs with bin:       55  lits-rem:       330  v-fix:    0  time:  7.54 s
1756.43/440.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    815 time:  0.03 s
1756.43/440.07	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.03 s
1823.04/456.79	c lits-rem:      2899  cl-subs:     5102  v-elim:      0  v-fix:    0  time: 66.72 s
1823.04/456.79	c vivif2 --  cl tried     1218 cl shrink       10 lits rem         14 time: 0.00
1823.44/456.89	c vivif2 --  cl tried    69342 cl shrink     5678 lits rem       7525 time: 0.40
1825.04/457.29	c asymm  cl-useful: 0/376/1218 lits-rem:0 time: 1.58
1825.04/457.29	c calculated reachability. Time: 0.00
1825.04/457.29	c  N dy  4534   1210179       815      1218     62236     69341    159159   3364208     11.21   no data  --
1868.16/468.06	c  N dy  4607   1230241       815      1218     62248     88814    159159   4582864     11.21     21.93  --
1901.32/476.37	c  N dy  4699   1250316       815      1218     62255     62107    159159   2597976     11.22     19.21  --
1938.02/485.55	c  N dy  4780   1270400       815      1218     62263     81554    159159   3807635     11.23     13.36  --
1983.13/496.89	c  N dy  4876   1294724       815      1218     62274     57760    159159   2248102     11.23     11.94  --
2018.66/505.77	c  N dy  4932   1315660       815      1218     62287     78024    159159   3471923     11.22     12.03  --
2065.36/517.43	c  N dy  5003   1336263       815      1218     62308     49593    159159   1692851     11.22     11.82  --
2071.75/519.09	c Finding binary XORs  T:     0.01 s  found:       0
2093.30/524.42	c  N dy  5053   1356470       815      1218     62322     69101    159159   2925640     11.20     11.96  --
2132.03/534.14	c  N dy  5129   1376613       814      1218     62328     88601    159159   4143425     11.20     11.80  --
2167.55/543.01	c  N dy  5205   1396685       814      1218     62340     58775    159159   2189906     11.21     12.01  --
2199.91/551.14	c  N dy  5313   1416740       813      1218     62354     78200    159159   3388748     11.23     16.46  --
2245.39/562.51	c  N dy  5455   1436806       813      1218     62361     97683    159159   4691713     11.28     26.55  --
2274.16/569.79	c  N dy  5536   1456874       813      1218     62369     66784    159159   2672452     11.28     15.04  --
2310.06/578.71	c  N dy  5622   1476933       813      1218     62374     86240    159159   3912061     11.29     12.03  --
2353.60/589.63	c  N dy  5728   1497344       813      1218     62382     54652    159159   1799779     11.31     11.97  --
2381.91/596.75	c  N dy  5793   1517367       813      1218     62388     74077    159159   3026374     11.31     11.97  --
2424.22/607.35	c  N dy  5892   1537423       813      1218     62396     93454    159159   4261399     11.33     17.47  --
2465.74/617.74	c  N dy  5966   1559911       813      1218     62402     62879    159159   2257908     11.33     11.96  --
2499.27/626.13	c  N dy  6042   1579999       813      1218     62408     82358    159159   3467223     11.33     12.09  --
2547.56/638.28	c  N dy  6142   1601011       813      1218     62415    102712    159159   4733157     11.35     12.06  --
2579.90/646.39	c  N dy  6216   1621619       813      1218     62419     69421    159159   2518199     11.35     12.03  --
2615.83/655.39	c  N dy  6316   1641963       813      1218     62425     89170    159159   3762531     11.36     12.01  --
2660.14/666.42	c  N dy  6385   1662420       813      1218     62436     54687    159159   1593505     11.36     12.14  --
2686.09/672.97	c  N dy  6458   1682427       813      1218     62441     74038    159159   2685868     11.36     18.51  --
2722.05/681.95	c  N dy  6548   1702505       813      1218     62452     93502    159159   3845453     11.37     15.68  --
2739.18/686.22	c  S st  6588   1710179       813      1218     62455    100886    159159   4223961     11.37      6.65  --
2740.37/686.55	c  S st  6588   1710683       813      1218     62459    101387    159159   4260489     11.37   no data  --
2740.37/686.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2740.37/686.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2745.16/687.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     16 BRemL:      0 BRemN:      0 P: 32.3M T:  4.82
2745.96/687.94	c bin-w-bin subsume rem            2 bins  time:  0.03 s
2752.78/689.61	c subs with bin:       13  lits-rem:        53  v-fix:    0  time:  6.66 s
2752.78/689.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    813 time:  0.03 s
2752.78/689.62	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.03 s
2856.54/715.64	c lits-rem:       874  cl-subs:     7718  v-elim:      0  v-fix:    0  time: 103.80 s
2856.54/715.64	c vivif2 --  cl tried     1218 cl shrink       21 lits rem         21 time: 0.00
2857.34/715.82	c vivif2 --  cl tried    87920 cl shrink    13305 lits rem      19177 time: 0.71
2858.57/716.18	c asymm  cl-useful: 0/234/1218 lits-rem:0 time: 1.42
2858.57/716.18	c calculated reachability. Time: 0.00
2858.57/716.18	c  N dy  6588   1710683       813      1218     61930     87913    158171   4021954     11.37   no data  --
2902.08/727.05	c  N dy  6663   1731275       812      1218     61952     55612    158171   1778675     11.37     11.97  --
2931.59/734.44	c  N dy  6744   1751338       812      1218     61965     74925    158171   2793860     11.37     15.57  --
2970.71/744.21	c  N dy  6805   1771560       810      1218     61980     94475    158171   3852184     11.36     12.03  --
3011.42/754.41	c  N dy  6906   1791627       810      1218     61991     59304    158171   1965997     11.37     12.04  --
3043.75/762.51	c  N dy  6998   1811877       810      1218     62001     78983    158171   3241656     11.38     12.01  --
3087.26/773.45	c  N dy  7084   1832636       810      1218     62015     99184    158169   4574207     11.39     12.03  --
3131.18/784.47	c  N dy  7182   1852701       809      1218     62022     62241    158169   2113619     11.40     13.17  --
3164.31/792.79	c  N dy  7297   1872798       809      1218     62027     81838    158169   3453844     11.42     14.62  --
3206.23/803.23	c  N dy  7374   1892819       809      1218     62038    101234    158169   4752191     11.42     12.07  --
3254.93/815.42	c  N dy  7481   1913603       808      1218     62042     63559    158169   2088960     11.44     12.06  --
3286.06/823.27	c  N dy  7560   1933638       808      1218     62047     83058    158169   3366777     11.44     12.34  --
3327.19/833.55	c  N dy  7664   1953752       808      1218     62054    102650    158169   4673281     11.46     12.29  --
3373.09/845.08	c  N dy  7771   1973782       808      1218     62062     63026    158169   2012465     11.47     12.20  --
3403.43/852.67	c  N dy  7858   1993881       808      1218     62067     82509    158169   3304782     11.48     12.09  --
3444.55/862.98	c  N dy  7949   2014027       808      1218     62073    102037    158169   4513981     11.49     12.11  --
3493.65/875.21	c  N dy  8054   2034366       808      1218     62082     61712    158169   1871773     11.50     12.14  --
3521.23/882.11	c  N dy  8128   2054462       808      1218     62088     81257    158169   3093866     11.50     14.60  --
3561.90/892.35	c  N dy  8227   2074552       808      1218     62095    100756    158169   4262563     11.51     14.40  --
3614.99/905.69	c  N dy  8338   2094646       808      1218     62097    120225    158169   5443085     11.53     21.58  --
3646.53/913.59	c  N dy  8402   2114742       808      1218     62163     78650    158169   2806601     11.52     14.06  --
3688.08/923.93	c  N dy  8514   2135545       808      1218     62167     98885    158169   4005555     11.54     12.24  --
3736.38/936.04	c  N dy  8616   2155609       808      1218     62174    118356    158169   5178636     11.55     12.25  --
3771.90/944.93	c  N dy  8706   2176023       808      1218     62178     75972    158169   2570580     11.56     12.26  --
3807.03/953.76	c  N dy  8792   2196062       808      1218     62182     95459    158169   3756063     11.56     12.28  --
3836.15/961.07	c  S st  8855   2210684       807      1218     62192    109642    158169   4635936     11.57   no data  --
3837.77/961.42	c  S st  8855   2211188       807      1218     62200    110146    158169   4672463     11.57   no data  --
3837.77/961.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
3837.77/961.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3842.93/962.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     16 BRemL:      0 BRemN:      0 P: 33.7M T:  5.21
3843.73/962.93	c bin-w-bin subsume rem            7 bins  time:  0.03 s
3850.95/964.77	c subs with bin:      374  lits-rem:      1705  v-fix:    0  time:  7.31 s
3850.95/964.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    807 time:  0.03 s
3850.95/964.78	c Removed useless bin:       0  fixed:     0  props:   0.27M  time:  0.03 s
4007.80/1004.03	c lits-rem:      3618  cl-subs:     6314  v-elim:      0  v-fix:    0  time: 156.47 s
4007.80/1004.03	c vivif2 --  cl tried     1207 cl shrink       23 lits rem         43 time: 0.00
4008.20/1004.18	c vivif2 --  cl tried    91828 cl shrink     9418 lits rem      13400 time: 0.62
4009.79/1004.55	c asymm  cl-useful: 0/212/1207 lits-rem:0 time: 1.43
4009.79/1004.55	c calculated reachability. Time: 0.00
4009.79/1004.55	c  N dy  8855   2211188       807      1207     60807     91823    155226   4302944     11.57   no data  --
4009.79/1004.55	c Finding binary XORs  T:     0.01 s  found:       0
4059.29/1016.91	c  N dy  8913   2231266       806      1207     60852    111160    155226   5323612     11.56     12.19  --
4093.22/1025.40	c  N dy  8969   2251790       805      1207     60866     73869    155226   2568366     11.55     12.19  --
4129.15/1034.41	c  N dy  9036   2272133       803      1207     60885     93551    155226   3615440     11.55     12.17  --
4174.27/1045.72	c  N dy  9151   2292604       803      1207     60890    113407    155226   4910766     11.56     12.26  --
4212.58/1055.33	c  N dy  9257   2312607       803      1207     60897     71867    155226   2517124     11.58     12.21  --
4251.30/1065.03	c  N dy  9384   2332688       803      1207     60900     91410    155226   3802540     11.61     12.30  --
4299.61/1077.17	c  N dy  9529   2352764       803      1207     60908    110995    155226   5137717     11.64     12.54  --
4349.91/1089.76	c  N dy  9647   2372863       802      1207     60915     66998    155226   2115101     11.66     17.59  --
4381.87/1097.72	c  N dy  9750   2392878       802      1207     60920     86524    155226   3420065     11.67     22.45  --
4423.75/1108.25	c  N dy  9832   2413479       802      1207     60923    106589    155226   4713990     11.68     12.30  --
4477.25/1121.69	c  N dy  9942   2433636       802      1207     60930    126246    155226   6059662     11.70     12.32  --
4516.37/1131.44	c  N dy 10037   2453794       802      1207     60936     80391    155226   2986128     11.70     12.59  --
4556.68/1141.55	c  N dy 10142   2473797       802      1207     60940     99878    155226   4263222     11.72     12.35  --
4614.17/1155.90	c  N dy 10243   2494177       802      1207     60945    119735    155226   5598139     11.73     12.43  --
4669.26/1169.70	c  N dy 10337   2514392       802      1207     61046     72630    155226   2368568     11.74     12.46  --
4705.98/1178.96	c  N dy 10437   2534493       802      1207     61050     92203    155226   3713764     11.75     12.48  --
4755.51/1191.37	c  N dy 10548   2554757       802      1207     61056    111944    155226   5021166     11.77     12.40  --

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-3369232-1305415678/watcher-3369232-1305415678 -o /tmp/evaluation-result-3369232-1305415678/solver-3369232-1305415678 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369232-1305415678.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.16 8.12 8.02 6/275 27383
/proc/meminfo: memFree=20943788/32950904 swapFree=67057400/67111528
[pid=27383] ppid=27381 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/27383/stat : 27383 (strangenight1-m) R 27381 27383 26831 0 -1 4202496 413 0 0 0 1 0 0 0 25 0 4 0 653167540 52465664 353 33554432000 4194304 4650419 140734826005248 18446744073709551615 47790574684082 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27383/statm: 12809 353 303 112 0 7774 0
[pid=27383/tid=27384] ppid=27381 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27384/stat : 27384 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 653167540 52465664 353 33554432000 4194304 4650419 140734826005248 18446744073709551615 237278936049 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27383/tid=27385] ppid=27381 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27385/stat : 27385 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 653167540 52465664 353 33554432000 4194304 4650419 140734826005248 18446744073709551615 47790574684082 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27383/tid=27386] ppid=27381 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27386/stat : 27386 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653167540 52465664 353 33554432000 4194304 4650419 140734826005248 18446744073709551615 47790574684072 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0140389 s]
/proc/loadavg: 8.16 8.12 8.02 6/275 27383
/proc/meminfo: memFree=20943788/32950904 swapFree=67057400/67111528
[pid=27383] ppid=27381 vsize=282200 CPUtime=0.02 cores=1,3,5,7
/proc/27383/stat : 27383 (strangenight1-m) D 27381 27383 26831 0 -1 4202496 1800 0 0 0 2 0 0 0 18 0 4 0 653167540 288972800 1708 33554432000 4194304 4650419 140734826005248 18446744073709551615 237278922935 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27383/statm: 70550 1708 343 112 0 65515 0
[pid=27383/tid=27384] ppid=27381 vsize=282200 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27384/stat : 27384 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 348 0 0 0 0 0 0 0 25 0 4 0 653167540 288972800 1708 33554432000 4194304 4650419 140734826005248 18446744073709551615 237278540485 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27383/tid=27385] ppid=27381 vsize=282200 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27385/stat : 27385 (strangenight1-m) D 27381 27383 26831 0 -1 4202560 346 0 0 0 0 0 0 0 18 0 4 0 653167540 288972800 1708 33554432000 4194304 4650419 140734826005248 18446744073709551615 237278922935 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27383/tid=27386] ppid=27381 vsize=282200 CPUtime=0 cores=1,3,5,7
/proc/27383/task/27386/stat : 27386 (strangenight1-m) D 27381 27383 26831 0 -1 4202560 346 0 0 0 0 0 0 0 25 0 4 0 653167540 288972800 1708 33554432000 4194304 4650419 140734826005248 18446744073709551615 237278922935 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 282200

[startup+0.159889 s]
/proc/loadavg: 8.16 8.12 8.02 6/275 27383
/proc/meminfo: memFree=20943788/32950904 swapFree=67057400/67111528
[pid=27383] ppid=27381 vsize=285628 CPUtime=0.6 cores=1,3,5,7
/proc/27383/stat : 27383 (strangenight1-m) R 27381 27383 26831 0 -1 4202496 5434 0 0 0 60 0 0 0 18 0 4 0 653167540 292483072 5336 33554432000 4194304 4650419 140734826005248 18446744073709551615 4333678 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27383/statm: 71407 5336 390 112 0 66372 0
[pid=27383/tid=27384] ppid=27381 vsize=285628 CPUtime=0.14 cores=1,3,5,7
/proc/27383/task/27384/stat : 27384 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 1396 0 0 0 14 0 0 0 25 0 4 0 653167540 292483072 5336 33554432000 4194304 4650419 140734826005248 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27383/tid=27385] ppid=27381 vsize=285628 CPUtime=0.15 cores=1,3,5,7
/proc/27383/task/27385/stat : 27385 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 1347 0 0 0 15 0 0 0 18 0 4 0 653167540 292483072 5336 33554432000 4194304 4650419 140734826005248 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27383/tid=27386] ppid=27381 vsize=285628 CPUtime=0.15 cores=1,3,5,7
/proc/27383/task/27386/stat : 27386 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 951 0 0 0 15 0 0 0 25 0 4 0 653167540 292483072 5336 33554432000 4194304 4650419 140734826005248 18446744073709551615 4363680 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 285628

[startup+0.300864 s]
/proc/loadavg: 8.16 8.12 8.02 6/275 27383
/proc/meminfo: memFree=20943788/32950904 swapFree=67057400/67111528
[pid=27383] ppid=27381 vsize=285776 CPUtime=1.17 cores=1,3,5,7
/proc/27383/stat : 27383 (strangenight1-m) R 27381 27383 26831 0 -1 4202496 6142 0 0 0 116 1 0 0 18 0 4 0 653167540 292634624 6044 33554432000 4194304 4650419 140734826005248 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27383/statm: 71444 6044 390 112 0 66409 0
[pid=27383/tid=27384] ppid=27381 vsize=285776 CPUtime=0.28 cores=1,3,5,7
/proc/27383/task/27384/stat : 27384 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 1554 0 0 0 28 0 0 0 25 0 4 0 653167540 292634624 6044 33554432000 4194304 4650419 140734826005248 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27383/tid=27385] ppid=27381 vsize=285776 CPUtime=0.29 cores=1,3,5,7
/proc/27383/task/27385/stat : 27385 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 1560 0 0 0 29 0 0 0 18 0 4 0 653167540 292634624 6045 33554432000 4194304 4650419 140734826005248 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27383/tid=27386] ppid=27381 vsize=285776 CPUtime=0.29 cores=1,3,5,7
/proc/27383/task/27386/stat : 27386 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 1153 0 0 0 29 0 0 0 25 0 4 0 653167540 292634624 6045 33554432000 4194304 4650419 140734826005248 18446744073709551615 4352090 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 285776

[startup+0.700795 s]
/proc/loadavg: 8.16 8.12 8.02 6/275 27383
/proc/meminfo: memFree=20943788/32950904 swapFree=67057400/67111528
[pid=27383] ppid=27381 vsize=289932 CPUtime=2.77 cores=1,3,5,7
/proc/27383/stat : 27383 (strangenight1-m) R 27381 27383 26831 0 -1 4202496 8836 0 0 0 276 1 0 0 18 0 4 0 653167540 296890368 6872 33554432000 4194304 4650419 140734826005248 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27383/statm: 72483 6873 392 112 0 67448 0
[pid=27383/tid=27384] ppid=27381 vsize=289932 CPUtime=0.68 cores=1,3,5,7
/proc/27383/task/27384/stat : 27384 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 2320 0 0 0 68 0 0 0 25 0 4 0 653167540 296890368 6873 33554432000 4194304 4650419 140734826005248 18446744073709551615 4310752 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27383/tid=27385] ppid=27381 vsize=289932 CPUtime=0.68 cores=1,3,5,7
/proc/27383/task/27385/stat : 27385 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 2257 0 0 0 68 0 0 0 18 0 4 0 653167540 296890368 6873 33554432000 4194304 4650419 140734826005248 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27383/tid=27386] ppid=27381 vsize=289932 CPUtime=0.69 cores=1,3,5,7
/proc/27383/task/27386/stat : 27386 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 1720 0 0 0 69 0 0 0 25 0 4 0 653167540 296890368 6874 33554432000 4194304 4650419 140734826005248 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 289932

[startup+1.50065 s]
/proc/loadavg: 8.23 8.14 8.03 9/279 27387
/proc/meminfo: memFree=20900468/32950904 swapFree=67057400/67111528
[pid=27383] ppid=27381 vsize=291444 CPUtime=5.96 cores=1,3,5,7
/proc/27383/stat : 27383 (strangenight1-m) R 27381 27383 26831 0 -1 4202496 12518 0 0 0 594 2 0 0 19 0 4 0 653167540 298438656 7540 33554432000 4194304 4650419 140734826005248 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27383/statm: 72861 7540 392 112 0 67826 0
[pid=27383/tid=27384] ppid=27381 vsize=291444 CPUtime=1.47 cores=1,3,5,7
/proc/27383/task/27384/stat : 27384 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 3090 0 0 0 147 0 0 0 25 0 4 0 653167540 298438656 7540 33554432000 4194304 4650419 140734826005248 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27383/tid=27385] ppid=27381 vsize=291444 CPUtime=1.48 cores=1,3,5,7
/proc/27383/task/27385/stat : 27385 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 3122 0 0 0 148 0 0 0 20 0 4 0 653167540 298438656 7540 33554432000 4194304 4650419 140734826005248 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27383/tid=27386] ppid=27381 vsize=291444 CPUtime=1.48 cores=1,3,5,7
/proc/27383/task/27386/stat : 27386 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 2789 0 0 0 148 0 0 0 25 0 4 0 653167540 298438656 7540 33554432000 4194304 4650419 140734826005248 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 291444

[startup+3.10037 s]
/proc/loadavg: 8.23 8.14 8.03 9/279 27387
/proc/meminfo: memFree=20878784/32950904 swapFree=67057400/67111528
[pid=27383] ppid=27381 vsize=282724 CPUtime=12.35 cores=1,3,5,7
/proc/27383/stat : 27383 (strangenight1-m) R 27381 27383 26831 0 -1 4202496 18507 0 0 0 1232 3 0 0 25 0 4 0 653167540 289509376 10517 33554432000 4194304 4650419 140734826005248 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27383/statm: 70681 10517 393 112 0 65646 0
[pid=27383/tid=27384] ppid=27381 vsize=282724 CPUtime=3.06 cores=1,3,5,7
/proc/27383/task/27384/stat : 27384 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 4521 0 0 0 306 0 0 0 25 0 4 0 653167540 289509376 10517 33554432000 4194304 4650419 140734826005248 18446744073709551615 4329481 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27383/tid=27385] ppid=27381 vsize=282724 CPUtime=3.08 cores=1,3,5,7
/proc/27383/task/27385/stat : 27385 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 4855 0 0 0 307 1 0 0 25 0 4 0 653167540 289509376 10517 33554432000 4194304 4650419 140734826005248 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27383/tid=27386] ppid=27381 vsize=282724 CPUtime=3.08 cores=1,3,5,7
/proc/27383/task/27386/stat : 27386 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 4435 0 0 0 308 0 0 0 25 0 4 0 653167540 289509376 10517 33554432000 4194304 4650419 140734826005248 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 282724

[startup+6.3008 s]
/proc/loadavg: 8.23 8.14 8.03 9/279 27387
/proc/meminfo: memFree=20777588/32950904 swapFree=67057400/67111528
[pid=27383] ppid=27381 vsize=293116 CPUtime=25.12 cores=1,3,5,7
/proc/27383/stat : 27383 (strangenight1-m) R 27381 27383 26831 0 -1 4202496 33254 0 0 0 2507 5 0 0 25 0 4 0 653167540 300150784 23429 33554432000 4194304 4650419 140734826005248 18446744073709551615 4439648 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27383/statm: 73279 23429 394 112 0 68244 0
[pid=27383/tid=27384] ppid=27381 vsize=293116 CPUtime=6.24 cores=1,3,5,7
/proc/27383/task/27384/stat : 27384 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 7832 0 0 0 623 1 0 0 25 0 4 0 653167540 300150784 23429 33554432000 4194304 4650419 140734826005248 18446744073709551615 4435469 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27383/tid=27385] ppid=27381 vsize=293116 CPUtime=6.28 cores=1,3,5,7
/proc/27383/task/27385/stat : 27385 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 9985 0 0 0 627 1 0 0 25 0 4 0 653167540 300150784 23429 33554432000 4194304 4650419 140734826005248 18446744073709551615 4435451 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27383/tid=27386] ppid=27381 vsize=293116 CPUtime=6.29 cores=1,3,5,7
/proc/27383/task/27386/stat : 27386 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 7151 0 0 0 628 1 0 0 25 0 4 0 653167540 300150784 23429 33554432000 4194304 4650419 140734826005248 18446744073709551615 4439344 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 293116

[startup+12.7007 s]
/proc/loadavg: 8.27 8.15 8.03 9/279 27387
/proc/meminfo: memFree=20723932/32950904 swapFree=67057400/67111528
[pid=27383] ppid=27381 vsize=305624 CPUtime=50.67 cores=1,3,5,7
/proc/27383/stat : 27383 (strangenight1-m) R 27381 27383 26831 0 -1 4202496 44671 0 0 0 5060 7 0 0 25 0 4 0 653167540 312958976 28442 33554432000 4194304 4650419 140734826005248 18446744073709551615 4435469 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27383/statm: 76406 28442 394 112 0 71371 0
[pid=27383/tid=27384] ppid=27381 vsize=305624 CPUtime=12.58 cores=1,3,5,7
/proc/27383/task/27384/stat : 27384 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 10961 0 0 0 1257 1 0 0 25 0 4 0 653167540 312958976 28442 33554432000 4194304 4650419 140734826005248 18446744073709551615 4333209 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27383/tid=27385] ppid=27381 vsize=305624 CPUtime=12.69 cores=1,3,5,7
/proc/27383/task/27385/stat : 27385 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 12490 0 0 0 1267 2 0 0 25 0 4 0 653167540 312958976 28442 33554432000 4194304 4650419 140734826005248 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27383/tid=27386] ppid=27381 vsize=305624 CPUtime=12.68 cores=1,3,5,7
/proc/27383/task/27386/stat : 27386 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 10504 0 0 0 1267 1 0 0 25 0 4 0 653167540 312958976 28442 33554432000 4194304 4650419 140734826005248 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 305624

[startup+25.5004 s]
/proc/loadavg: 8.30 8.16 8.04 9/279 27388
/proc/meminfo: memFree=20604532/32950904 swapFree=67057400/67111528
[pid=27383] ppid=27381 vsize=320180 CPUtime=101.76 cores=1,3,5,7
/proc/27383/stat : 27383 (strangenight1-m) R 27381 27383 26831 0 -1 4202496 72511 0 0 0 10163 13 0 0 25 0 4 0 653167540 327864320 47913 33554432000 4194304 4650419 140734826005248 18446744073709551615 4364889 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27383/statm: 80045 47913 394 112 0 75010 0
[pid=27383/tid=27384] ppid=27381 vsize=320180 CPUtime=25.27 cores=1,3,5,7
/proc/27383/task/27384/stat : 27384 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 20295 0 0 0 2524 3 0 0 25 0 4 0 653167540 327864320 47913 33554432000 4194304 4650419 140734826005248 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27383/tid=27385] ppid=27381 vsize=320180 CPUtime=25.48 cores=1,3,5,7
/proc/27383/task/27385/stat : 27385 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 17143 0 0 0 2545 3 0 0 25 0 4 0 653167540 327864320 47913 33554432000 4194304 4650419 140734826005248 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27383/tid=27386] ppid=27381 vsize=320180 CPUtime=25.49 cores=1,3,5,7
/proc/27383/task/27386/stat : 27386 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 20336 0 0 0 2546 3 0 0 25 0 4 0 653167540 327864320 47913 33554432000 4194304 4650419 140734826005248 18446744073709551615 4438671 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 320180

[startup+51.1008 s]
/proc/loadavg: 8.18 8.14 8.03 9/279 27388
/proc/meminfo: memFree=20495088/32950904 swapFree=67057400/67111528
[pid=27383] ppid=27381 vsize=541896 CPUtime=203.95 cores=1,3,5,7
/proc/27383/stat : 27383 (strangenight1-m) R 27381 27383 26831 0 -1 4202496 102063 0 0 0 20374 21 0 0 25 0 4 0 653167540 554901504 64906 33554432000 4194304 4650419 140734826005248 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27383/statm: 135474 64906 394 112 0 130439 0
[pid=27383/tid=27384] ppid=27381 vsize=541896 CPUtime=50.66 cores=1,3,5,7
/proc/27383/task/27384/stat : 27384 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 24206 0 0 0 5062 4 0 0 25 0 4 0 653167540 554901504 64906 33554432000 4194304 4650419 140734826005248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27383/tid=27385] ppid=27381 vsize=541896 CPUtime=51.08 cores=1,3,5,7
/proc/27383/task/27385/stat : 27385 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 26723 0 0 0 5103 5 0 0 25 0 4 0 653167540 554901504 64906 33554432000 4194304 4650419 140734826005248 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27383/tid=27386] ppid=27381 vsize=541896 CPUtime=51.09 cores=1,3,5,7
/proc/27383/task/27386/stat : 27386 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 26667 0 0 0 5104 5 0 0 25 0 4 0 653167540 554901504 64906 33554432000 4194304 4650419 140734826005248 18446744073709551615 4331123 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.95
Current children cumulated vsize (KiB) 541896

[startup+102.31 s]
/proc/loadavg: 8.12 8.13 8.03 9/279 27390
/proc/meminfo: memFree=20406628/32950904 swapFree=67057400/67111528
[pid=27383] ppid=27381 vsize=557736 CPUtime=408.37 cores=1,3,5,7
/proc/27383/stat : 27383 (strangenight1-m) R 27381 27383 26831 0 -1 4202496 161635 0 0 0 40799 38 0 0 25 0 4 0 653167540 571121664 76975 33554432000 4194304 4650419 140734826005248 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27383/statm: 139434 76975 394 112 0 134399 0
[pid=27383/tid=27384] ppid=27381 vsize=557736 CPUtime=101.45 cores=1,3,5,7
/proc/27383/task/27384/stat : 27384 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 34202 0 0 0 10137 8 0 0 25 0 4 0 653167540 571121664 76975 33554432000 4194304 4650419 140734826005248 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27383/tid=27385] ppid=27381 vsize=557736 CPUtime=102.29 cores=1,3,5,7
/proc/27383/task/27385/stat : 27385 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 41586 0 0 0 10219 10 0 0 25 0 4 0 653167540 571121664 76975 33554432000 4194304 4650419 140734826005248 18446744073709551615 4363687 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27383/tid=27386] ppid=27381 vsize=557736 CPUtime=102.29 cores=1,3,5,7
/proc/27383/task/27386/stat : 27386 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 41190 0 0 0 10221 8 0 0 25 0 4 0 653167540 571121664 76975 33554432000 4194304 4650419 140734826005248 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.37
Current children cumulated vsize (KiB) 557736

[startup+162.301 s]

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

[pid=27383] ppid=27381 vsize=929644 CPUtime=2803.44 cores=1,3,5,7
/proc/27383/stat : 27383 (strangenight1-m) R 27381 27383 26831 0 -1 4202496 734032 0 0 0 280139 205 0 0 25 0 4 0 653167540 951955456 156871 33554432000 4194304 4650419 140734826005248 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27383/statm: 232411 156871 394 112 0 227376 0
[pid=27383/tid=27384] ppid=27381 vsize=929644 CPUtime=696.52 cores=1,3,5,7
/proc/27383/task/27384/stat : 27384 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 108754 0 0 0 69617 35 0 0 25 0 4 0 653167540 951955456 156871 33554432000 4194304 4650419 140734826005248 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27383/tid=27385] ppid=27381 vsize=929644 CPUtime=702.29 cores=1,3,5,7
/proc/27383/task/27385/stat : 27385 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 201624 0 0 0 70175 54 0 0 25 0 4 0 653167540 951955456 156871 33554432000 4194304 4650419 140734826005248 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27383/tid=27386] ppid=27381 vsize=929644 CPUtime=702.3 cores=1,3,5,7
/proc/27383/task/27386/stat : 27386 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 242897 0 0 0 70172 58 0 0 25 0 4 0 653167540 951955456 156871 33554432000 4194304 4650419 140734826005248 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2803.44
Current children cumulated vsize (KiB) 929644

[startup+762.31 s]
/proc/loadavg: 8.11 8.11 8.06 9/279 27407
/proc/meminfo: memFree=19694808/32950904 swapFree=67057400/67111528
[pid=27383] ppid=27381 vsize=864728 CPUtime=3042.99 cores=1,3,5,7
/proc/27383/stat : 27383 (strangenight1-m) R 27381 27383 26831 0 -1 4202496 757533 0 0 0 304083 216 0 0 25 0 4 0 653167540 885481472 153765 33554432000 4194304 4650419 140734826005248 18446744073709551615 4365327 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27383/statm: 216182 153765 394 112 0 211147 0
[pid=27383/tid=27384] ppid=27381 vsize=864728 CPUtime=756.03 cores=1,3,5,7
/proc/27383/task/27384/stat : 27384 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 111054 0 0 0 75567 36 0 0 25 0 4 0 653167540 885481472 153765 33554432000 4194304 4650419 140734826005248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27383/tid=27385] ppid=27381 vsize=864728 CPUtime=762.3 cores=1,3,5,7
/proc/27383/task/27385/stat : 27385 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 205774 0 0 0 76173 57 0 0 25 0 4 0 653167540 885481472 153765 33554432000 4194304 4650419 140734826005248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27383/tid=27386] ppid=27381 vsize=864728 CPUtime=762.31 cores=1,3,5,7
/proc/27383/task/27386/stat : 27386 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 253876 0 0 0 76168 63 0 0 25 0 4 0 653167540 885481472 153765 33554432000 4194304 4650419 140734826005248 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3042.99
Current children cumulated vsize (KiB) 864728

[startup+822.301 s]
/proc/loadavg: 8.09 8.11 8.06 9/279 27409
/proc/meminfo: memFree=19649532/32950904 swapFree=67057400/67111528
[pid=27383] ppid=27381 vsize=909364 CPUtime=3282.48 cores=1,3,5,7
/proc/27383/stat : 27383 (strangenight1-m) R 27381 27383 26831 0 -1 4202496 784632 0 0 0 328020 228 0 0 25 0 4 0 653167540 931188736 155860 33554432000 4194304 4650419 140734826005248 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27383/statm: 227341 155860 394 112 0 222306 0
[pid=27383/tid=27384] ppid=27381 vsize=909364 CPUtime=815.54 cores=1,3,5,7
/proc/27383/task/27384/stat : 27384 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 114668 0 0 0 81516 38 0 0 25 0 4 0 653167540 931188736 155860 33554432000 4194304 4650419 140734826005248 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27383/tid=27385] ppid=27381 vsize=909364 CPUtime=822.29 cores=1,3,5,7
/proc/27383/task/27385/stat : 27385 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 209422 0 0 0 82170 59 0 0 25 0 4 0 653167540 931188736 155860 33554432000 4194304 4650419 140734826005248 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27383/tid=27386] ppid=27381 vsize=909364 CPUtime=822.31 cores=1,3,5,7
/proc/27383/task/27386/stat : 27386 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 265503 0 0 0 82163 68 0 0 25 0 4 0 653167540 931188736 155860 33554432000 4194304 4650419 140734826005248 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3282.48
Current children cumulated vsize (KiB) 909364

[startup+882.301 s]
/proc/loadavg: 8.13 8.11 8.07 9/279 27411
/proc/meminfo: memFree=19620736/32950904 swapFree=67057400/67111528
[pid=27383] ppid=27381 vsize=928136 CPUtime=3521.99 cores=1,3,5,7
/proc/27383/stat : 27383 (strangenight1-m) R 27381 27383 26831 0 -1 4202496 810694 0 0 0 351961 238 0 0 25 0 4 0 653167540 950411264 151439 33554432000 4194304 4650419 140734826005248 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27383/statm: 232034 151439 394 112 0 226999 0
[pid=27383/tid=27384] ppid=27381 vsize=928136 CPUtime=875.05 cores=1,3,5,7
/proc/27383/task/27384/stat : 27384 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 117994 0 0 0 87465 40 0 0 25 0 4 0 653167540 950411264 151439 33554432000 4194304 4650419 140734826005248 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27383/tid=27385] ppid=27381 vsize=928136 CPUtime=882.29 cores=1,3,5,7
/proc/27383/task/27385/stat : 27385 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 213743 0 0 0 88168 61 0 0 25 0 4 0 653167540 950411264 151439 33554432000 4194304 4650419 140734826005248 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27383/tid=27386] ppid=27381 vsize=928136 CPUtime=882.3 cores=1,3,5,7
/proc/27383/task/27386/stat : 27386 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 272906 0 0 0 88159 71 0 0 25 0 4 0 653167540 950411264 151439 33554432000 4194304 4650419 140734826005248 18446744073709551615 4326360 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3521.99
Current children cumulated vsize (KiB) 928136

[startup+942.3 s]
/proc/loadavg: 8.10 8.11 8.06 9/279 27412
/proc/meminfo: memFree=19605100/32950904 swapFree=67057400/67111528
[pid=27383] ppid=27381 vsize=914528 CPUtime=3761.49 cores=1,3,5,7
/proc/27383/stat : 27383 (strangenight1-m) R 27381 27383 26831 0 -1 4202496 916370 0 0 0 375890 259 0 0 25 0 4 0 653167540 936476672 151766 33554432000 4194304 4650419 140734826005248 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27383/statm: 228632 151766 394 112 0 223597 0
[pid=27383/tid=27384] ppid=27381 vsize=914528 CPUtime=934.55 cores=1,3,5,7
/proc/27383/task/27384/stat : 27384 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 121033 0 0 0 93413 42 0 0 25 0 4 0 653167540 936476672 151766 33554432000 4194304 4650419 140734826005248 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27383/tid=27385] ppid=27381 vsize=914528 CPUtime=942.29 cores=1,3,5,7
/proc/27383/task/27385/stat : 27385 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 217993 0 0 0 94166 63 0 0 25 0 4 0 653167540 936476672 151766 33554432000 4194304 4650419 140734826005248 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27383/tid=27386] ppid=27381 vsize=914528 CPUtime=942.31 cores=1,3,5,7
/proc/27383/task/27386/stat : 27386 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 360444 0 0 0 94148 83 0 0 25 0 4 0 653167540 936476672 151766 33554432000 4194304 4650419 140734826005248 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3761.49
Current children cumulated vsize (KiB) 914528

[startup+1002.3 s]
/proc/loadavg: 8.08 8.10 8.06 9/279 27414
/proc/meminfo: memFree=19655052/32950904 swapFree=67057400/67111528
[pid=27383] ppid=27381 vsize=949480 CPUtime=4001 cores=1,3,5,7
/proc/27383/stat : 27383 (strangenight1-m) R 27381 27383 26831 0 -1 4202496 1014907 0 0 0 399818 282 0 0 25 0 4 0 653167540 972267520 162849 33554432000 4194304 4650419 140734826005248 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27383/statm: 237370 162849 413 112 0 232335 0
[pid=27383/tid=27384] ppid=27381 vsize=949480 CPUtime=994.05 cores=1,3,5,7
/proc/27383/task/27384/stat : 27384 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 127025 0 0 0 99360 45 0 0 25 0 4 0 653167540 972267520 162849 33554432000 4194304 4650419 140734826005248 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27383/tid=27385] ppid=27381 vsize=949480 CPUtime=1002.3 cores=1,3,5,7
/proc/27383/task/27385/stat : 27385 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 221527 0 0 0 100164 66 0 0 25 0 4 0 653167540 972267520 162849 33554432000 4194304 4650419 140734826005248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27383/tid=27386] ppid=27381 vsize=949480 CPUtime=1002.31 cores=1,3,5,7
/proc/27383/task/27386/stat : 27386 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 370904 0 0 0 100143 88 0 0 25 0 4 0 653167540 972267520 162849 33554432000 4194304 4650419 140734826005248 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4001
Current children cumulated vsize (KiB) 949480

[startup+1062.3 s]
/proc/loadavg: 8.07 8.09 8.06 9/279 27415
/proc/meminfo: memFree=19590300/32950904 swapFree=67057400/67111528
[pid=27383] ppid=27381 vsize=867500 CPUtime=4240.53 cores=1,3,5,7
/proc/27383/stat : 27383 (strangenight1-m) R 27381 27383 26831 0 -1 4202496 1048006 0 0 0 423757 296 0 0 25 0 4 0 653167540 888320000 161482 33554432000 4194304 4650419 140734826005248 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27383/statm: 216875 161482 394 112 0 211840 0
[pid=27383/tid=27384] ppid=27381 vsize=867500 CPUtime=1053.57 cores=1,3,5,7
/proc/27383/task/27384/stat : 27384 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 130820 0 0 0 105310 47 0 0 25 0 4 0 653167540 888320000 161482 33554432000 4194304 4650419 140734826005248 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27383/tid=27385] ppid=27381 vsize=867500 CPUtime=1062.3 cores=1,3,5,7
/proc/27383/task/27385/stat : 27385 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 224976 0 0 0 106162 68 0 0 25 0 4 0 653167540 888320000 161482 33554432000 4194304 4650419 140734826005248 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27383/tid=27386] ppid=27381 vsize=867500 CPUtime=1062.31 cores=1,3,5,7
/proc/27383/task/27386/stat : 27386 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 381852 0 0 0 106139 92 0 0 25 0 4 0 653167540 888320000 161482 33554432000 4194304 4650419 140734826005248 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4240.53
Current children cumulated vsize (KiB) 867500

[startup+1122.3 s]
/proc/loadavg: 8.06 8.09 8.06 9/279 27417
/proc/meminfo: memFree=19543900/32950904 swapFree=67057400/67111528
[pid=27383] ppid=27381 vsize=1048664 CPUtime=4480.04 cores=1,3,5,7
/proc/27383/stat : 27383 (strangenight1-m) R 27381 27383 26831 0 -1 4202496 1083226 0 0 0 447696 308 0 0 25 0 4 0 653167540 1073831936 168393 33554432000 4194304 4650419 140734826005248 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27383/statm: 262166 168393 394 112 0 257131 0
[pid=27383/tid=27384] ppid=27381 vsize=1048664 CPUtime=1113.08 cores=1,3,5,7
/proc/27383/task/27384/stat : 27384 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 142304 0 0 0 111257 51 0 0 25 0 4 0 653167540 1073831936 168393 33554432000 4194304 4650419 140734826005248 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27383/tid=27385] ppid=27381 vsize=1048664 CPUtime=1122.3 cores=1,3,5,7
/proc/27383/task/27385/stat : 27385 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 229858 0 0 0 112160 70 0 0 25 0 4 0 653167540 1073831936 168393 33554432000 4194304 4650419 140734826005248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27383/tid=27386] ppid=27381 vsize=1048664 CPUtime=1122.31 cores=1,3,5,7
/proc/27383/task/27386/stat : 27386 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 391491 0 0 0 112136 95 0 0 25 0 4 0 653167540 1073831936 168393 33554432000 4194304 4650419 140734826005248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4480.04
Current children cumulated vsize (KiB) 1048664

[startup+1182.3 s]
/proc/loadavg: 8.14 8.10 8.07 9/279 27419
/proc/meminfo: memFree=19504312/32950904 swapFree=67057400/67111528
[pid=27383] ppid=27381 vsize=1000176 CPUtime=4719.56 cores=1,3,5,7
/proc/27383/stat : 27383 (strangenight1-m) R 27381 27383 26831 0 -1 4202496 1203630 0 0 0 471621 335 0 0 25 0 4 0 653167540 1024180224 180221 33554432000 4194304 4650419 140734826005248 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27383/statm: 250044 180221 394 112 0 245009 0
[pid=27383/tid=27384] ppid=27381 vsize=1000176 CPUtime=1172.6 cores=1,3,5,7
/proc/27383/task/27384/stat : 27384 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 151080 0 0 0 117205 55 0 0 25 0 4 0 653167540 1024180224 180221 33554432000 4194304 4650419 140734826005248 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27383/tid=27385] ppid=27381 vsize=1000176 CPUtime=1182.3 cores=1,3,5,7
/proc/27383/task/27385/stat : 27385 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 318727 0 0 0 118146 84 0 0 25 0 4 0 653167540 1024180224 180221 33554432000 4194304 4650419 140734826005248 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27383/tid=27386] ppid=27381 vsize=1000176 CPUtime=1182.31 cores=1,3,5,7
/proc/27383/task/27386/stat : 27386 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 402859 0 0 0 118131 100 0 0 25 0 4 0 653167540 1024180224 180221 33554432000 4194304 4650419 140734826005248 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4719.56
Current children cumulated vsize (KiB) 1000176



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.5 s]
/proc/loadavg: 8.10 8.09 8.07 6/278 27420
/proc/meminfo: memFree=19696144/32950904 swapFree=67057400/67111528
[pid=27383] ppid=27381 vsize=1065744 CPUtime=4800.21 cores=1,3,5,7
/proc/27383/stat : 27383 (strangenight1-m) R 27381 27383 26831 0 -1 4202496 1217721 0 0 0 479682 339 0 0 25 0 4 0 653167540 1091321856 183977 33554432000 4194304 4650419 140734826005248 18446744073709551615 4365330 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27383/statm: 266436 183977 423 112 0 261401 0
[pid=27383/tid=27384] ppid=27381 vsize=1065744 CPUtime=1192.62 cores=1,3,5,7
/proc/27383/task/27384/stat : 27384 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 155838 0 0 0 119206 56 0 0 25 0 4 0 653167540 1091321856 183977 33554432000 4194304 4650419 140734826005248 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27383/tid=27385] ppid=27381 vsize=1065744 CPUtime=1202.5 cores=1,3,5,7
/proc/27383/task/27385/stat : 27385 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 323190 0 0 0 120165 85 0 0 25 0 4 0 653167540 1091321856 183977 33554432000 4194304 4650419 140734826005248 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27383/tid=27386] ppid=27381 vsize=1065744 CPUtime=1202.52 cores=1,3,5,7
/proc/27383/task/27386/stat : 27386 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 405669 0 0 0 120151 101 0 0 25 0 4 0 653167540 1091321856 183978 33554432000 4194304 4650419 140734826005248 18446744073709551615 4435908 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 1065744

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

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

[startup+1202.5 s]
/proc/loadavg: 8.10 8.09 8.07 6/278 27420
/proc/meminfo: memFree=19696144/32950904 swapFree=67057400/67111528
[pid=27383] ppid=27381 vsize=1065744 CPUtime=4800.21 cores=1,3,5,7
/proc/27383/stat : 27383 (strangenight1-m) R 27381 27383 26831 0 -1 4202496 1217721 0 0 0 479682 339 0 0 25 0 4 0 653167540 1091321856 183977 33554432000 4194304 4650419 140734826005248 18446744073709551615 4365330 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27383/statm: 266436 183977 423 112 0 261401 0
[pid=27383/tid=27384] ppid=27381 vsize=1065744 CPUtime=1192.62 cores=1,3,5,7
/proc/27383/task/27384/stat : 27384 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 155838 0 0 0 119206 56 0 0 25 0 4 0 653167540 1091321856 183977 33554432000 4194304 4650419 140734826005248 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27383/tid=27385] ppid=27381 vsize=1065744 CPUtime=1202.5 cores=1,3,5,7
/proc/27383/task/27385/stat : 27385 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 323190 0 0 0 120165 85 0 0 25 0 4 0 653167540 1091321856 183977 33554432000 4194304 4650419 140734826005248 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27383/tid=27386] ppid=27381 vsize=1065744 CPUtime=1202.52 cores=1,3,5,7
/proc/27383/task/27386/stat : 27386 (strangenight1-m) R 27381 27383 26831 0 -1 4202560 405669 0 0 0 120151 101 0 0 25 0 4 0 653167540 1091321856 183978 33554432000 4194304 4650419 140734826005248 18446744073709551615 4435908 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 1065744

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.55
CPU time (s): 4800.28
CPU user time (s): 4796.85
CPU system time (s): 3.43448
CPU usage (%): 399.175
Max. virtual memory (cumulated for all children) (KiB): 1131264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.85
system time used= 3.43448
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1217724
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= 682
involuntary context switches= 31558

runsolver used 2.75958 second user time and 7.15391 second system time

The end

Launcher Data 

Begin job on node121 at 2011-05-15 01:27:58
IDJOB=3369232
IDBENCH=83986
IDSOLVER=1846
FILE ID=node121/3369232-1305415678
RUNJOBID= node121-1305414473-27267
PBS_JOBID= 13324525
Free space on /tmp= 73428 MiB

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

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

MD5SUM BENCH= e826117d87949a5b285e72732bfa395b
RANDOM SEED=523219990

node121.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.817
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.63
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.817
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.07
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.817
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.817
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.817
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.817
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.817
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.817
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:     32950904 kB
MemFree:      20944068 kB
Buffers:        302224 kB
Cached:        5975836 kB
SwapCached:       7656 kB
Active:        6439808 kB
Inactive:      5214640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      20944068 kB
SwapTotal:    67111528 kB
SwapFree:     67057400 kB
Dirty:           13640 kB
Writeback:           0 kB
AnonPages:     5373856 kB
Mapped:          22288 kB
Slab:           265512 kB
PageTables:      24176 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS: 30734756 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= 73420 MiB
End job on node121 at 2011-05-15 01:48:02