Trace number 3263565

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? (TO) 4800.42 1201.64

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.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3263565-1304135227.cnf'
0.00/0.00	c -- header says num vars:            870
0.00/0.00	c -- header says num clauses:       69964
0.00/0.03	c -- clauses added:            0 learnts,        69964 normals,            0 xors
0.00/0.03	c -- vars added        870
0.00/0.03	c Parsing time:  0.06 s
0.00/0.03	c  N st     0         0       870        29     69935         0    140740         0   no data   no data  --
0.00/0.03	c asymm  cl-useful: 0/29/29 lits-rem:0 time: 0.00
0.00/0.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
0.00/0.06	c bin-w-bin subsume rem            0 bins  time:  0.04 s
0.00/0.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
0.20/0.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    870 time:  0.03 s
0.20/0.08	c Removed useless bin:       0  fixed:     0  props:   0.35M  time:  0.03 s
0.20/0.10	c lits-rem:       488  cl-subs:        0  v-elim:     29  v-fix:    0  time:  0.07 s
0.20/0.10	c Finding binary XORs  T:     0.01 s  found:       0
0.20/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.20/0.10	c calculated reachability. Time: 0.00
0.20/0.10	c Calc default polars -  time:   0.00 s pos:     418 undec:      29 neg:     423
0.20/0.10	c =========================================================================================
0.20/0.10	c types(t): F = full restart, N = normal restart
0.20/0.10	c types(t): S = simplification begin/end, E = solution found
0.20/0.10	c restart types(rt): st = static, dy = dynamic
0.20/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.20/0.10	c  B st     0         0       841      1382     67712         0    187764         0   no data   no data  --
3.60/0.95	c  N dy    19      4013       840      1382     67725      3817    187764    196290     11.34     25.23  --
3.60/0.95	c  N dy    33      8102       840      1382     67725      5437    187764    373856     11.34     21.25  --
4.80/1.27	c  N dy    62     12141       840      1382     67726      5260    187764    302309     12.19     20.01  --
6.77/1.79	c  N dy    67     16148       840      1382     67731      9145    187764    602617     11.35     15.35  --
9.15/2.33	c  N dy    77     20352       839      1382     67748      7739    187764    375729     10.80     11.38  --
11.58/2.93	c  N dy    88     24747       838      1382     67753     11989    187764    671854     10.54     11.18  --
11.58/2.98	c  F st    90     25000       838      1382     67753     12233    187764    685451     10.54      8.02  --
14.74/3.71	c  N dy    96     30000       838      1347     67005      9676    185050    605666     10.54   no data  --
14.74/3.71	c  S st    96     30000       838      1347     67005      9676    185050    605666     10.54   no data  --
14.74/3.79	c  S st    96     30502       838      1347     67005     10178    185050    640048     10.54   no data  --
14.74/3.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
14.74/3.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.56/3.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  6.0M T:  0.63
15.56/3.98	c bin-w-bin subsume rem            0 bins  time:  0.04 s
21.94/5.54	c subs with bin:        0  lits-rem:      2134  v-fix:    0  time:  6.22 s
21.94/5.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    838 time:  0.03 s
21.94/5.56	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.03 s
37.54/9.48	c lits-rem:      4386  cl-subs:     1050  v-elim:      0  v-fix:    0  time: 15.68 s
38.32/9.63	c asymm  cl-useful: 658/1318/1347 lits-rem:7349 time: 0.60
38.32/9.64	c calculated reachability. Time: 0.00
38.32/9.64	c  N dy    96     30502       838      1347     67006      9128    172339    605327     10.54   no data  --
40.71/10.29	c  N dy   111     34592       836      1347     67019     13080    172339    937568     10.56     11.19  --
43.10/10.88	c  N dy   132     38649       836      1347     67019      9809    172338    585582     10.74     11.92  --
45.90/11.57	c  N dy   152     42779       836      1347     67023     13831    172338   1000813     10.79     11.50  --
48.70/12.25	c  S st   176     45754       836      1347     67029     16741    172338   1282023     11.12   no data  --
49.10/12.36	c  S st   176     46258       836      1347     67029      8729    172338    456737     11.12   no data  --
49.10/12.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
49.10/12.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
49.50/12.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P:  5.2M T:  0.55
49.90/12.52	c bin-w-bin subsume rem            0 bins  time:  0.04 s
55.51/13.98	c subs with bin:        0  lits-rem:        80  v-fix:    0  time:  5.81 s
55.51/13.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    836 time:  0.03 s
55.51/13.99	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.03 s
58.28/14.61	c lits-rem:       867  cl-subs:       65  v-elim:      0  v-fix:    0  time:  2.46 s
58.28/14.61	c vivif2 --  cl tried     1336 cl shrink      189 lits rem        195 time: 0.00
58.28/14.62	c vivif2 --  cl tried     7578 cl shrink       74 lits rem         74 time: 0.03
58.68/14.76	c asymm  cl-useful: 0/1336/1336 lits-rem:0 time: 0.58
58.68/14.77	c calculated reachability. Time: 0.00
58.68/14.77	c  N dy   176     46258       836      1336     66524      7578    170858    433349     11.12   no data  --
61.08/15.40	c  N dy   199     50372       836      1336     66524     11598    170858    829807     11.26     11.95  --
64.68/16.24	c  N dy   213     54609       835      1336     66532     15713    170858   1134100     11.24     11.91  --
68.29/17.11	c  N dy   227     59000       835      1336     66536     10910    170858    652751     11.18     11.81  --
71.06/17.89	c  N dy   241     63430       835      1336     66540     15205    170858   1069605     11.17     11.83  --
76.66/19.25	c  N dy   262     69387       835      1336     66543     10631    170858    524176     11.20      8.48  --
76.66/19.25	c  S st   262     69387       835      1336     66543     10631    170858    524176     11.20      8.48  --
77.08/19.31	c  S st   262     69889       835      1336     66543     11131    170858    558316     11.20   no data  --
77.08/19.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
77.08/19.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
77.48/19.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  6.1M T:  0.65
77.85/19.51	c bin-w-bin subsume rem            0 bins  time:  0.04 s
83.85/21.02	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  6.06 s
83.85/21.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    835 time:  0.03 s
83.85/21.04	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.03 s
95.83/24.09	c lits-rem:      1210  cl-subs:      381  v-elim:      0  v-fix:    0  time: 12.20 s
95.83/24.09	c vivif2 --  cl tried     1325 cl shrink        2 lits rem          2 time: 0.00
96.24/24.10	c vivif2 --  cl tried    10741 cl shrink      136 lits rem        159 time: 0.04
96.64/24.28	c asymm  cl-useful: 1/1325/1325 lits-rem:1 time: 0.71
96.64/24.28	c calculated reachability. Time: 0.00
96.64/24.28	c  N dy   262     69889       835      1325     66315     10739    170217    550184     11.20   no data  --
100.23/25.14	c  N dy   276     75296       835      1325     66329     15958    170217    975522     11.07     11.69  --
105.03/26.32	c  N dy   290     80313       835      1325     66336     20773    170217   1353416     11.05     11.78  --
109.03/27.34	c  N dy   297     85684       835      1325     66343     14505    170217    733985     10.91     11.52  --
110.23/27.62	c  F st   298     87501       835      1325     66344     16246    170217    854051     10.85     10.07  --
113.82/28.59	c  N dy   304     92696       834      1325     66347     21225    170217   1208054     10.85   no data  --
119.01/29.86	c  N dy   321     99144       834      1325     66353     14991    170217    693689     10.78     11.54  --
123.41/30.94	c  S st   347    104834       834      1325     66356     20496    170217   1025868     10.79     13.98  --
123.81/31.04	c  S st   347    105334       834      1325     66356     20995    170217   1056687     10.79   no data  --
123.81/31.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
123.81/31.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
124.61/31.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  8.8M T:  0.97
125.01/31.33	c bin-w-bin subsume rem            2 bins  time:  0.04 s
131.40/32.91	c subs with bin:      128  lits-rem:        80  v-fix:    0  time:  6.28 s
131.40/32.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    834 time:  0.03 s
131.40/32.92	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.03 s
138.60/34.75	c lits-rem:      1645  cl-subs:     1223  v-elim:      0  v-fix:    0  time:  7.31 s
138.60/34.75	c vivif2 --  cl tried     1325 cl shrink        8 lits rem          8 time: 0.00
138.60/34.77	c vivif2 --  cl tried    18906 cl shrink      903 lits rem       1197 time: 0.08
139.78/35.02	c asymm  cl-useful: 0/1208/1325 lits-rem:0 time: 0.97
139.78/35.02	c calculated reachability. Time: 0.00
139.78/35.02	c  N dy   347    105334       834      1325     66094     18905    169675   1020323     10.79   no data  --
146.58/36.75	c  N dy   377    112104       834      1325     66126     25408    169675   1410268     10.80     11.42  --
152.19/38.11	c  N dy   388    119601       833      1325     66139     19525    169675    928634     10.69     11.25  --
158.96/39.89	c  N dy   412    127349       832      1325     66149     26957    169675   1286818     10.65     11.66  --
164.97/41.33	c  N dy   451    135511       832      1325     66161     20670    169675    949717     10.64     11.26  --
172.54/43.29	c  N dy   496    144221       831      1325     66166     29197    169675   1618704     10.75     14.16  --
179.73/45.06	c  N dy   537    153462       831      1325     66169     22850    169675   1210692     10.82     18.22  --
184.13/46.10	c  S st   560    158002       831      1325     66170     27305    169675   1584440     10.87   no data  --
184.53/46.24	c  S st   560    158504       831      1325     66170     27807    169675   1617465     10.87   no data  --
184.53/46.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
184.53/46.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
186.13/46.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 12.9M T:  1.42
186.13/46.67	c bin-w-bin subsume rem            2 bins  time:  0.04 s
192.91/48.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.78 s
192.91/48.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    831 time:  0.03 s
192.91/48.38	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.03 s
206.50/51.71	c lits-rem:      1658  cl-subs:      793  v-elim:      0  v-fix:    0  time: 13.29 s
206.50/51.71	c vivif2 --  cl tried     1314 cl shrink        3 lits rem          3 time: 0.00
206.50/51.74	c vivif2 --  cl tried    23907 cl shrink      394 lits rem        413 time: 0.11
207.70/52.00	c asymm  cl-useful: 0/933/1314 lits-rem:0 time: 1.04
207.70/52.00	c calculated reachability. Time: 0.00
207.70/52.00	c  N dy   560    158504       831      1314     65360     23906    167937   1548899     10.87   no data  --
216.89/54.36	c  N dy   594    168934       830      1314     65378     19127    167937   1044933     10.84     11.43  --
227.28/56.99	c  N dy   627    180058       830      1314     65384     30017    167937   1975757     10.81     11.67  --
240.45/60.21	c  N dy   678    192418       830      1314     65393     25347    167937   1482676     10.89     11.48  --
255.24/63.92	c  N dy   721    204732       830      1314     65400     19234    167937    870885     10.88     15.53  --
267.63/67.09	c  N dy   771    217887       830      1314     65407     32016    167937   1857035     10.90     11.55  --
282.81/70.86	c  N dy   825    231894       830      1314     65419     26384    167937   1360642     10.90     11.52  --
288.80/72.39	c  S st   855    237758       830      1314     65424     32113    167937   1817615     10.93   no data  --
289.60/72.56	c  S st   855    238263       830      1314     65424     32616    167937   1854532     10.93   no data  --
289.60/72.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
289.60/72.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
291.20/72.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 14.3M T:  1.60
291.60/73.03	c bin-w-bin subsume rem            1 bins  time:  0.03 s
297.99/74.69	c subs with bin:       49  lits-rem:       239  v-fix:    0  time:  6.60 s
297.99/74.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    830 time:  0.03 s
298.39/74.70	c Removed useless bin:       0  fixed:     0  props:   0.31M  time:  0.02 s
316.77/79.35	c lits-rem:      3395  cl-subs:     1691  v-elim:      0  v-fix:    0  time: 18.57 s
316.77/79.35	c vivif2 --  cl tried     1301 cl shrink       15 lits rem         17 time: 0.00
316.77/79.39	c vivif2 --  cl tried    30774 cl shrink     1578 lits rem       1770 time: 0.16
317.97/79.68	c asymm  cl-useful: 0/828/1301 lits-rem:0 time: 1.14
317.97/79.68	c calculated reachability. Time: 0.00
317.97/79.68	c  N dy   855    238263       830      1301     65210     30774    167253   1810562     10.93   no data  --
336.37/84.26	c  N dy   921    253511       829      1301     65234     25317    167253   1225253     10.94     14.91  --
356.72/89.30	c  N dy   968    270553       829      1301     65254     41920    167253   2464871     10.89     11.47  --
375.92/94.11	c  N dy  1024    287988       828      1301     65286     37482    167253   2078616     10.87     11.47  --
398.66/99.81	c  F st  1108    306251       827      1301     65303     32899    167252   1665748     10.91   no data  --
399.06/99.91	c  N st  1109    306504       827      1291     64555     28830    165666   1577849     10.91   no data  --
421.04/105.44	c  N dy  1173    326426       827      1291     64564     27069    165666   1318310     10.93     11.57  --
447.81/112.14	c  N dy  1265    346731       826      1291     64573     23607    165666    944400     11.01     11.68  --
459.01/114.92	c  S st  1320    357394       825      1291     64580     33997    165666   1787807     11.05   no data  --
459.42/115.07	c  S st  1320    357901       825      1291     64580     34502    165666   1830188     11.05   no data  --
459.42/115.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
459.42/115.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
461.40/115.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 16.0M T:  1.90
461.80/115.62	c bin-w-bin subsume rem            0 bins  time:  0.04 s
468.61/117.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.83 s
468.61/117.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    825 time:  0.03 s
468.61/117.34	c Removed useless bin:       0  fixed:     0  props:   0.31M  time:  0.03 s
485.37/121.57	c lits-rem:      1888  cl-subs:     1236  v-elim:      0  v-fix:    0  time: 16.87 s
485.37/121.57	c vivif2 --  cl tried     1272 cl shrink        6 lits rem          7 time: 0.00
485.78/121.61	c vivif2 --  cl tried    32638 cl shrink     1224 lits rem       1436 time: 0.15
486.96/121.92	c asymm  cl-useful: 0/784/1272 lits-rem:0 time: 1.25
486.96/121.92	c calculated reachability. Time: 0.00
486.96/121.92	c  N dy  1320    357901       825      1272     64164     32638    164566   1780904     11.05   no data  --
518.13/129.71	c  N dy  1428    378692       825      1272     64186     28434    164566   1299507     11.14     11.75  --
543.31/136.03	c  N dy  1505    398757       825      1272     64208     47966    164566   2803844     11.15     11.83  --
567.66/142.12	c Finding binary XORs  T:     0.00 s  found:       0
569.68/142.64	c  N dy  1575    419852       825      1272     64231     42654    164566   2331349     11.14     11.83  --
597.22/149.50	c  N dy  1642    440324       825      1272     64253     35591    164564   1815963     11.11     11.72  --
627.99/157.28	c  N dy  1705    460731       823      1272     64273     55448    164564   3327988     11.11     11.77  --
653.96/163.75	c  N dy  1783    480888       823      1272     64285     46925    164564   2514113     11.12     11.75  --
683.93/171.21	c  N dy  1868    501017       823      1272     64316     37357    164564   1709136     11.15     11.75  --
716.67/179.40	c  N dy  1964    521392       821      1272     64340     57203    164564   3214817     11.18     11.80  --
735.85/184.25	c  S st  2028    536851       821      1272     64352     42084    164564   1942859     11.19      8.28  --
736.67/184.43	c  S st  2028    537357       821      1272     64352     42586    164564   1979276     11.19   no data  --
736.67/184.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
736.67/184.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
738.64/184.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      4 BRemL:      0 BRemN:      0 P: 18.3M T:  2.18
739.04/185.05	c bin-w-bin subsume rem            0 bins  time:  0.03 s
745.83/186.76	c subs with bin:       65  lits-rem:       220  v-fix:    0  time:  6.82 s
745.83/186.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    821 time:  0.03 s
745.83/186.78	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.02 s
761.82/190.70	c lits-rem:      2414  cl-subs:     2111  v-elim:      0  v-fix:    0  time: 15.67 s
761.82/190.70	c vivif2 --  cl tried     1240 cl shrink       24 lits rem         32 time: 0.00
761.82/190.75	c vivif2 --  cl tried    39179 cl shrink     3707 lits rem       5359 time: 0.20
763.04/191.05	c asymm  cl-useful: 0/529/1240 lits-rem:0 time: 1.19
763.04/191.06	c calculated reachability. Time: 0.00
763.04/191.06	c  N dy  2028    537357       821      1240     63525     39170    162337   1899379     11.19   no data  --
796.58/199.48	c  N dy  2092    557950       818      1240     63560     59002    162337   3007913     11.16     11.90  --
818.95/205.08	c  N dy  2189    578025       818      1240     63567     48148    162337   2342196     11.19     24.32  --
848.91/212.58	c  N dy  2293    598911       818      1240     63575     36731    162337   1452612     11.22     12.13  --
873.69/218.72	c  N dy  2372    618934       818      1240     63582     56217    162337   2820604     11.23     15.96  --
899.64/225.20	c  N dy  2448    638964       818      1240     63588     42784    162337   1824021     11.23     14.07  --
927.20/232.14	c  N dy  2515    659043       818      1240     63595     62267    162337   3129861     11.22     15.50  --
953.17/238.64	c  N dy  2586    679754       818      1240     63603     48465    162337   2117557     11.22     11.82  --
984.73/246.55	c  N dy  2665    699839       818      1240     63606     67973    162337   3417232     11.21     11.91  --
1007.90/252.35	c  N dy  2739    720177       817      1240     63615     52785    162337   2281797     11.20     12.41  --
1038.66/260.01	c  N dy  2807    740187       817      1240     63618     36240    162337   1191545     11.19     11.83  --
1060.63/265.58	c  N dy  2896    760910       817      1240     63628     56267    162337   2327800     11.19     11.93  --
1091.40/273.27	c  N dy  2973    781312       817      1240     63640     39174    162336   1285472     11.18     11.81  --
1114.18/278.94	c  N dy  3049    801327       817      1240     63653     58481    162336   2330112     11.19     11.79  --
1120.16/280.47	c  S st  3060    806037       816      1240     63655     63000    162336   2516325     11.18      9.36  --
1120.96/280.68	c  S st  3060    806540       816      1240     63655     63501    162336   2549978     11.18   no data  --
1120.96/280.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1120.96/280.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1123.75/281.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 20.4M T:  2.67
1124.55/281.51	c bin-w-bin subsume rem           11 bins  time:  0.03 s
1131.35/283.22	c subs with bin:       17  lits-rem:        78  v-fix:    0  time:  6.84 s
1131.35/283.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    816 time:  0.03 s
1131.35/283.23	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.02 s
1149.34/287.79	c lits-rem:      1823  cl-subs:     1692  v-elim:      0  v-fix:    0  time: 18.20 s
1149.34/287.79	c vivif2 --  cl tried     1219 cl shrink        7 lits rem          8 time: 0.00
1149.74/287.84	c vivif2 --  cl tried    44753 cl shrink     1966 lits rem       3051 time: 0.20
1150.92/288.15	c asymm  cl-useful: 0/407/1219 lits-rem:0 time: 1.22
1150.92/288.15	c calculated reachability. Time: 0.00
1150.92/288.15	c  N dy  3060    806540       816      1219     62422     44752    159730   2149909     11.18   no data  --
1178.08/294.94	c  N dy  3130    826542       816      1219     62437     35026    159730   1374338     11.18     12.09  --
1203.65/301.37	c  N dy  3192    846616       815      1219     62448     54515    159730   2746163     11.16     31.84  --
1235.21/309.22	c  N dy  3292    866641       815      1219     62455     39498    159730   1528319     11.18     11.86  --
1261.58/315.85	c  N dy  3379    886862       815      1219     62460     59201    159730   2954935     11.20     11.89  --
1297.14/324.78	c  N dy  3462    907331       815      1219     62467     41433    159730   1500110     11.20     11.87  --
1325.90/331.94	c  N dy  3560    927775       815      1219     62473     61323    159730   2846648     11.22     11.94  --
1365.86/341.90	c  N dy  3651    948355       815      1219     62479     41559    159730   1438324     11.24     11.90  --
1390.63/348.19	c  N dy  3721    968361       815      1219     62483     61036    159730   2689094     11.25     11.90  --
1424.99/356.78	c  N dy  3769    988907       815      1219     62493     80960    159730   3996416     11.23     11.83  --
1453.34/363.83	c  N dy  3843   1010752       815      1219     62499     60902    159730   2647433     11.22     11.90  --
1490.09/373.05	c  N dy  3920   1030784       815      1219     62509     80312    159730   3958243     11.22     21.15  --
1521.66/380.93	c  N dy  4007   1050824       815      1219     62517     57316    159730   2350690     11.24     14.41  --
1554.81/389.21	c  N dy  4074   1070880       814      1219     62539     76756    159730   3603248     11.23     11.93  --
1556.41/389.67	c  F st  4078   1071875       814      1219     62539     77730    159730   3675932     11.23     11.35  --
1589.58/397.92	c  N dy  4146   1090917       814      1211     62092     51948    158759   2053641     11.24     27.15  --
1621.53/405.99	c  N dy  4212   1111162       814      1211     62098     71537    158759   3308557     11.23     11.94  --
1660.68/415.76	c  N dy  4288   1131908       814      1211     62107     47533    158759   1764831     11.23     11.96  --
1691.85/423.51	c  N dy  4386   1152195       814      1211     62108     67244    158759   3081060     11.25     11.91  --
1733.40/433.93	c  N dy  4481   1172459       814      1211     62114     86925    158759   4414330     11.27     11.96  --
1764.98/441.84	c  N dy  4548   1192939       814      1211     62120     61347    158759   2566113     11.27     11.87  --
1797.72/450.09	c  S st  4634   1209814       814      1211     62125     77697    158759   3678370     11.29      9.95  --
1798.92/450.37	c  S st  4634   1210318       814      1211     62125     78201    158759   3715037     11.29   no data  --
1798.92/450.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1798.92/450.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1803.71/451.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 28.4M T:  4.60
1804.13/451.66	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1812.50/453.70	c subs with bin:        4  lits-rem:        57  v-fix:    0  time:  8.16 s
1812.50/453.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    814 time:  0.03 s
1812.50/453.72	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.02 s
1921.95/481.12	c lits-rem:      3666  cl-subs:     5513  v-elim:      0  v-fix:    0  time: 109.34 s
1921.95/481.12	c vivif2 --  cl tried     1211 cl shrink       17 lits rem         18 time: 0.00
1922.35/481.23	c vivif2 --  cl tried    72684 cl shrink     5327 lits rem       6873 time: 0.43
1923.94/481.63	c asymm  cl-useful: 0/372/1211 lits-rem:0 time: 1.61
1923.94/481.64	c calculated reachability. Time: 0.00
1923.94/481.64	c  N dy  4634   1210318       814      1211     62129     72680    158737   3608723     11.29   no data  --
1972.69/493.80	c  N dy  4723   1230333       814      1211     62150     92068    158737   4848133     11.29     11.89  --
1977.88/495.16	c Finding binary XORs  T:     0.01 s  found:       0
2001.87/501.13	c  N dy  4787   1250413       814      1211     62158     65150    158737   2805967     11.29     21.13  --
2042.20/511.22	c  N dy  4858   1270541       814      1211     62167     84602    158737   4006038     11.29     12.32  --
2085.76/522.17	c  N dy  4941   1290944       814      1211     62171     56962    158737   2183447     11.30     11.90  --
2119.70/530.61	c  N dy  4988   1311269       814      1211     62211     76578    158737   3289141     11.28     11.89  --
2164.05/541.79	c  N dy  5085   1331503       814      1211     62220     96108    158737   4445962     11.30     11.94  --
2190.83/548.48	c  N dy  5144   1351632       814      1211     62226     67325    158737   2664528     11.29     12.03  --
2230.78/558.43	c  N dy  5213   1373352       814      1211     62238     88286    158737   3890878     11.28     11.90  --
2264.73/566.90	c  N dy  5276   1393414       814      1211     62244     58381    158737   2056537     11.28     11.87  --
2294.69/574.42	c  N dy  5330   1414520       814      1211     62259     78762    158737   3212206     11.26     11.98  --
2334.63/584.40	c  N dy  5402   1434781       814      1211     62265     98262    158737   4306628     11.26     11.89  --
2362.21/591.32	c  N dy  5468   1454853       813      1211     62277     67479    158737   2455387     11.26     11.96  --
2397.37/600.14	c  N dy  5522   1476142       812      1211     62288     87993    158737   3609816     11.25     11.86  --
2435.30/609.64	c  N dy  5594   1496143       811      1211     62297     56178    158737   1761518     11.24     11.96  --
2462.87/616.52	c  N dy  5630   1516482       811      1211     62301     75936    158737   2955517     11.22     11.83  --
2504.01/626.83	c  N dy  5699   1536489       810      1211     62312     95276    158737   4008109     11.22     11.92  --
2540.36/635.95	c  N dy  5754   1556505       810      1211     62328     62381    158737   2016184     11.21     13.98  --
2571.92/643.89	c  N dy  5835   1577488       809      1211     62339     82635    158737   3159189     11.21     11.83  --
2611.88/653.83	c  N dy  5906   1598065       808      1211     62345    102415    158737   4273471     11.21     11.81  --
2640.64/661.07	c  N dy  5985   1618369       807      1211     62356     68903    158737   2274052     11.21     12.00  --
2672.21/668.93	c  N dy  6065   1638384       806      1211     62376     88170    158737   3388177     11.21     15.30  --
2714.17/679.43	c  N dy  6175   1658461       806      1211     62388    107702    158737   4724328     11.22     11.84  --
2739.33/685.79	c  N dy  6248   1678517       806      1211     62390     73063    158737   2609703     11.23     19.15  --
2774.88/694.70	c  N dy  6350   1698937       806      1211     62400     92979    158737   3920794     11.24     12.19  --
2798.45/700.58	c  S st  6407   1710318       806      1211     62403    104123    158737   4693995     11.25     10.96  --
2800.05/700.93	c  S st  6407   1710820       806      1211     62403    104624    158737   4728191     11.25   no data  --
2800.05/700.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2800.05/700.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2804.84/702.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      0 BRemN:      0 P: 30.9M T:  4.87
2806.06/702.40	c bin-w-bin subsume rem            5 bins  time:  0.02 s
2813.64/704.38	c subs with bin:      104  lits-rem:       709  v-fix:    0  time:  7.91 s
2813.64/704.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    806 time:  0.03 s
2814.04/704.43	c Removed useless bin:       0  fixed:     0  props:   0.27M  time:  0.02 s
2963.84/741.91	c lits-rem:      2182  cl-subs:     6074  v-elim:      0  v-fix:    0  time: 149.58 s
2963.84/741.91	c vivif2 --  cl tried     1171 cl shrink       11 lits rem         12 time: 0.00
2964.25/742.04	c vivif2 --  cl tried    83128 cl shrink     7039 lits rem      10519 time: 0.52
2965.83/742.40	c asymm  cl-useful: 0/265/1171 lits-rem:0 time: 1.45
2965.83/742.41	c calculated reachability. Time: 0.00
2965.83/742.41	c  N dy  6407   1710820       806      1171     60566     83123    154733   4379039     11.25   no data  --
3003.39/751.89	c  N dy  6476   1730831       804      1171     60594     54896    154733   2026086     11.25     11.95  --
3035.75/759.97	c  N dy  6592   1751055       804      1171     60599     74570    154733   3420234     11.29     11.92  --
3080.90/771.28	c  N dy  6695   1771106       804      1171     60601     94070    154733   4687739     11.30     11.91  --
3122.87/781.76	c  N dy  6804   1791209       804      1171     60608     61037    154733   2233814     11.32     12.01  --
3158.02/790.59	c  N dy  6900   1811217       803      1171     60615     80426    154733   3474994     11.33     13.77  --
3203.14/801.84	c  N dy  6997   1831235       803      1171     60621     99883    154733   4816837     11.34     25.55  --
3252.68/814.27	c  N dy  7138   1851874       803      1171     60633     64498    154733   2355676     11.38     12.12  --
3291.43/823.97	c  N dy  7206   1873582       803      1171     60643     85505    154733   3677463     11.37     12.23  --
3338.19/835.68	c  N dy  7290   1893678       802      1171     60666    104929    154733   4863855     11.38     16.08  --
3380.51/846.20	c  N dy  7396   1913775       802      1171     60673     67287    154733   2387486     11.40     12.09  --
3415.27/854.98	c  N dy  7503   1933923       802      1171     60679     86865    154733   3647283     11.42     12.27  --
3462.81/866.82	c  N dy  7639   1953999       802      1171     60685    106375    154733   4896152     11.45     12.42  --
3505.18/877.46	c  N dy  7736   1974317       802      1171     60693     67410    154733   2310484     11.46     12.41  --
3544.32/887.25	c  N dy  7846   1994363       802      1171     60695     86886    154733   3571400     11.48     15.73  --
3595.04/899.99	c  N dy  7950   2014867       802      1171     60700    106765    154733   4807841     11.50     12.13  --
3644.97/912.40	c  N dy  8041   2034983       802      1171     60705     66351    154733   2190051     11.50     12.27  --
3681.32/921.58	c  N dy  8146   2055023       802      1171     60706     85854    154733   3468666     11.52     12.35  --
3721.28/931.58	c Finding binary XORs  T:     0.01 s  found:       0
3732.47/934.31	c  N dy  8224   2078297       802      1160     59838    101909    152767   4776925     11.52     12.25  --
3780.41/946.37	c  N dy  8316   2098557       802      1160     59853     63773    152767   2127636     11.53     12.15  --
3812.78/954.42	c  N dy  8388   2118622       802      1160     59862     83281    152767   3380005     11.53     12.15  --
3859.91/966.24	c  N dy  8490   2139372       802      1160     59876    103479    152767   4693596     11.54     12.47  --
3913.46/979.63	c  N dy  8571   2159466       800      1160     59892     62453    152767   1958635     11.54     12.21  --
3947.40/988.14	c  N dy  8663   2179581       799      1160     59896     81986    152767   3120503     11.55     12.16  --
3992.56/999.41	c  N dy  8728   2199903       798      1160     59918    101641    152767   4168411     11.54     12.43  --
4017.71/1005.76	c  S st  8803   2210822       798      1160     59922    112265    152767   4934587     11.56      9.98  --
4019.33/1006.18	c  S st  8803   2211324       798      1160     59922    112766    152767   4974958     11.56   no data  --
4019.33/1006.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
4019.33/1006.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4024.91/1007.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      6 BRemL:      0 BRemN:      0 P: 36.4M T:  5.49
4026.51/1007.96	c bin-w-bin subsume rem            3 bins  time:  0.03 s
4034.49/1009.95	c subs with bin:        2  lits-rem:        49  v-fix:    0  time:  7.93 s
4034.49/1009.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    798 time:  0.02 s
4034.49/1009.96	c Removed useless bin:       0  fixed:     0  props:   0.27M  time:  0.02 s
4168.73/1043.51	c lits-rem:       878  cl-subs:     4504  v-elim:      0  v-fix:    0  time: 133.95 s
4168.73/1043.51	c vivif2 --  cl tried     1149 cl shrink        6 lits rem          6 time: 0.00
4169.11/1043.63	c vivif2 --  cl tried    83306 cl shrink     5044 lits rem       6684 time: 0.45
4170.31/1043.99	c asymm  cl-useful: 0/283/1149 lits-rem:0 time: 1.44
4170.31/1043.99	c calculated reachability. Time: 0.00
4170.31/1043.99	c  N dy  8803   2211324       798      1149     58986     83305    150859   4245749     11.56   no data  --
4219.06/1056.13	c  N dy  8864   2231360       797      1149     59009     53042    150859   1843641     11.55     12.23  --
4253.80/1064.87	c  N dy  8944   2251752       797      1149     59020     72851    150859   3119708     11.56     12.19  --
4294.96/1075.16	c  N dy  9012   2271834       797      1149     59036     92396    150859   4422958     11.55     15.67  --
4349.69/1088.83	c  N dy  9107   2292033       797      1149     59049    112032    150859   5715354     11.56     12.28  --
4386.45/1098.08	c  N dy  9193   2312364       797      1149     59057     74347    150859   2876058     11.56     12.43  --
4427.61/1108.35	c  N dy  9255   2332525       797      1149     59076     93893    150859   4080705     11.55     12.17  --
4479.14/1121.29	c  N dy  9332   2353590       797      1149     59095    114300    150859   5338072     11.55     12.35  --
4524.30/1132.57	c  N dy  9421   2373685       796      1149     59117     72130    150859   2592308     11.56     18.70  --
4562.63/1142.16	c  N dy  9513   2393709       795      1149     59127     91596    150859   3862441     11.56     18.35  --
4611.78/1154.48	c  N dy  9588   2413769       795      1149     59134    111096    150859   5147182     11.56     12.19  --
4674.89/1170.21	c  N dy  9684   2433940       795      1149     59140     66288    150859   2187018     11.57     12.34  --
4711.65/1179.45	c  N dy  9771   2454456       795      1149     59211     86155    150859   3513445     11.57     12.19  --
4761.60/1191.98	c  N dy  9889   2474472       795      1149     59218    105603    150859   4809520     11.59     18.42  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 7.42 7.97 7.99 7/180 31574
/proc/meminfo: memFree=30133052/32950928 swapFree=67086612/67111528
[pid=31574] ppid=31572 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/31574/stat : 31574 (strangenight1-m) R 31572 31574 31021 0 -1 4202496 416 0 0 0 0 0 0 0 25 0 4 0 525119735 52465664 356 33554432000 4194304 4650419 140736368530896 18446744073709551615 48007909389847 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31574/statm: 12809 356 306 112 0 7774 0
[pid=31574/tid=31575] ppid=31572 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/31574/task/31575/stat : 31575 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 525119735 52465664 356 33554432000 4194304 4650419 140736368530896 18446744073709551615 48007909389849 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31574/tid=31576] ppid=31572 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/31574/task/31576/stat : 31576 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 525119735 52465664 356 33554432000 4194304 4650419 140736368530896 18446744073709551615 48007909390258 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31574/tid=31577] ppid=31572 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/31574/task/31577/stat : 31577 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 525119735 52465664 356 33554432000 4194304 4650419 140736368530896 18446744073709551615 48007909389849 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0612841 s]
/proc/loadavg: 7.42 7.97 7.99 7/180 31574
/proc/meminfo: memFree=30133052/32950928 swapFree=67086612/67111528
[pid=31574] ppid=31572 vsize=284200 CPUtime=0.2 cores=0,2,4,6
/proc/31574/stat : 31574 (strangenight1-m) R 31572 31574 31021 0 -1 4202496 3760 0 0 0 19 1 0 0 18 0 4 0 525119735 291020800 3663 33554432000 4194304 4650419 140736368530896 18446744073709551615 4470714 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31574/statm: 71050 3663 383 112 0 66015 0
[pid=31574/tid=31575] ppid=31572 vsize=284200 CPUtime=0.04 cores=0,2,4,6
/proc/31574/task/31575/stat : 31575 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 772 0 0 0 4 0 0 0 18 0 4 0 525119735 291020800 3663 33554432000 4194304 4650419 140736368530896 18446744073709551615 4470624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31574/tid=31576] ppid=31572 vsize=284200 CPUtime=0.05 cores=0,2,4,6
/proc/31574/task/31576/stat : 31576 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 928 0 0 0 5 0 0 0 18 0 4 0 525119735 291020800 3663 33554432000 4194304 4650419 140736368530896 18446744073709551615 239476738231 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31574/tid=31577] ppid=31572 vsize=284200 CPUtime=0.04 cores=0,2,4,6
/proc/31574/task/31577/stat : 31577 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 743 0 0 0 4 0 0 0 18 0 4 0 525119735 291020800 3663 33554432000 4194304 4650419 140736368530896 18446744073709551615 4326360 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 284200

[startup+0.1019 s]
/proc/loadavg: 7.42 7.97 7.99 7/180 31574
/proc/meminfo: memFree=30133052/32950928 swapFree=67086612/67111528
[pid=31574] ppid=31572 vsize=285544 CPUtime=0.36 cores=0,2,4,6
/proc/31574/stat : 31574 (strangenight1-m) R 31572 31574 31021 0 -1 4202496 5044 0 0 0 35 1 0 0 18 0 4 0 525119735 292397056 4947 33554432000 4194304 4650419 140736368530896 18446744073709551615 239476800031 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31574/statm: 71386 4948 390 112 0 66351 0
[pid=31574/tid=31575] ppid=31572 vsize=285544 CPUtime=0.08 cores=0,2,4,6
/proc/31574/task/31575/stat : 31575 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 1177 0 0 0 8 0 0 0 18 0 4 0 525119735 292397056 4948 33554432000 4194304 4650419 140736368530896 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31574/tid=31576] ppid=31572 vsize=285544 CPUtime=0.08 cores=0,2,4,6
/proc/31574/task/31576/stat : 31576 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 1322 0 0 0 8 0 0 0 18 0 4 0 525119735 292397056 4948 33554432000 4194304 4650419 140736368530896 18446744073709551615 239476799982 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31574/tid=31577] ppid=31572 vsize=285544 CPUtime=0.09 cores=0,2,4,6
/proc/31574/task/31577/stat : 31577 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 836 0 0 0 9 0 0 0 18 0 4 0 525119735 292397056 4949 33554432000 4194304 4650419 140736368530896 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 285544

[startup+0.910821 s]
/proc/loadavg: 7.42 7.97 7.99 7/180 31574
/proc/meminfo: memFree=30133052/32950928 swapFree=67086612/67111528
[pid=31574] ppid=31572 vsize=290480 CPUtime=3.6 cores=0,2,4,6
/proc/31574/stat : 31574 (strangenight1-m) R 31572 31574 31021 0 -1 4202496 9719 0 0 0 357 3 0 0 18 0 4 0 525119735 297451520 7322 33554432000 4194304 4650419 140736368530896 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31574/statm: 72620 7322 392 112 0 67585 0
[pid=31574/tid=31575] ppid=31572 vsize=290480 CPUtime=0.89 cores=0,2,4,6
/proc/31574/task/31575/stat : 31575 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 2368 0 0 0 89 0 0 0 19 0 4 0 525119735 297451520 7322 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31574/tid=31576] ppid=31572 vsize=290480 CPUtime=0.89 cores=0,2,4,6
/proc/31574/task/31576/stat : 31576 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 2481 0 0 0 89 0 0 0 19 0 4 0 525119735 297451520 7322 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31574/tid=31577] ppid=31572 vsize=290480 CPUtime=0.89 cores=0,2,4,6
/proc/31574/task/31577/stat : 31577 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 2070 0 0 0 89 0 0 0 19 0 4 0 525119735 297451520 7322 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 290480

[startup+1.0108 s]
/proc/loadavg: 7.42 7.97 7.99 7/180 31574
/proc/meminfo: memFree=30133052/32950928 swapFree=67086612/67111528
[pid=31574] ppid=31572 vsize=290612 CPUtime=4 cores=0,2,4,6
/proc/31574/stat : 31574 (strangenight1-m) R 31572 31574 31021 0 -1 4202496 10034 0 0 0 397 3 0 0 19 0 4 0 525119735 297586688 7637 33554432000 4194304 4650419 140736368530896 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31574/statm: 72653 7637 392 112 0 67618 0
[pid=31574/tid=31575] ppid=31572 vsize=290612 CPUtime=0.99 cores=0,2,4,6
/proc/31574/task/31575/stat : 31575 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 2429 0 0 0 99 0 0 0 19 0 4 0 525119735 297586688 7637 33554432000 4194304 4650419 140736368530896 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31574/tid=31576] ppid=31572 vsize=290612 CPUtime=0.99 cores=0,2,4,6
/proc/31574/task/31576/stat : 31576 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 2543 0 0 0 99 0 0 0 19 0 4 0 525119735 297586688 7637 33554432000 4194304 4650419 140736368530896 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31574/tid=31577] ppid=31572 vsize=290612 CPUtime=0.99 cores=0,2,4,6
/proc/31574/task/31577/stat : 31577 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 2182 0 0 0 99 0 0 0 19 0 4 0 525119735 297586688 7637 33554432000 4194304 4650419 140736368530896 18446744073709551615 4333593 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 290612

[startup+1.50071 s]
/proc/loadavg: 7.42 7.97 7.99 7/180 31574
/proc/meminfo: memFree=30133052/32950928 swapFree=67086612/67111528
[pid=31574] ppid=31572 vsize=282384 CPUtime=5.96 cores=0,2,4,6
/proc/31574/stat : 31574 (strangenight1-m) R 31572 31574 31021 0 -1 4202496 12464 0 0 0 593 3 0 0 19 0 4 0 525119735 289161216 7487 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365337 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31574/statm: 70596 7487 392 112 0 65561 0
[pid=31574/tid=31575] ppid=31572 vsize=282384 CPUtime=1.48 cores=0,2,4,6
/proc/31574/task/31575/stat : 31575 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 2964 0 0 0 148 0 0 0 19 0 4 0 525119735 289161216 7487 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31574/tid=31576] ppid=31572 vsize=282384 CPUtime=1.48 cores=0,2,4,6
/proc/31574/task/31576/stat : 31576 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 3159 0 0 0 148 0 0 0 20 0 4 0 525119735 289161216 7487 33554432000 4194304 4650419 140736368530896 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31574/tid=31577] ppid=31572 vsize=282384 CPUtime=1.48 cores=0,2,4,6
/proc/31574/task/31577/stat : 31577 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 2783 0 0 0 148 0 0 0 20 0 4 0 525119735 289161216 7487 33554432000 4194304 4650419 140736368530896 18446744073709551615 4315024 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 282384

[startup+3.1004 s]
/proc/loadavg: 7.42 7.97 7.99 9/184 31578
/proc/meminfo: memFree=30061444/32950928 swapFree=67086612/67111528
[pid=31574] ppid=31572 vsize=264704 CPUtime=12.34 cores=0,2,4,6
/proc/31574/stat : 31574 (strangenight1-m) R 31572 31574 31021 0 -1 4202496 18443 0 0 0 1230 4 0 0 25 0 4 0 525119735 271056896 10454 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31574/statm: 66176 10454 393 112 0 61141 0
[pid=31574/tid=31575] ppid=31572 vsize=264704 CPUtime=3.09 cores=0,2,4,6
/proc/31574/task/31575/stat : 31575 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 4424 0 0 0 308 1 0 0 25 0 4 0 525119735 271056896 10454 33554432000 4194304 4650419 140736368530896 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31574/tid=31576] ppid=31572 vsize=264704 CPUtime=3.07 cores=0,2,4,6
/proc/31574/task/31576/stat : 31576 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 4847 0 0 0 306 1 0 0 25 0 4 0 525119735 271056896 10454 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31574/tid=31577] ppid=31572 vsize=264704 CPUtime=3.08 cores=0,2,4,6
/proc/31574/task/31577/stat : 31577 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 4441 0 0 0 308 0 0 0 25 0 4 0 525119735 271056896 10454 33554432000 4194304 4650419 140736368530896 18446744073709551615 4364856 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 264704

[startup+6.30079 s]
/proc/loadavg: 7.47 7.97 7.99 9/184 31578
/proc/meminfo: memFree=29962240/32950928 swapFree=67086612/67111528
[pid=31574] ppid=31572 vsize=287348 CPUtime=25.13 cores=0,2,4,6
/proc/31574/stat : 31574 (strangenight1-m) R 31572 31574 31021 0 -1 4202496 33959 0 0 0 2506 7 0 0 25 0 4 0 525119735 294244352 23284 33554432000 4194304 4650419 140736368530896 18446744073709551615 4438922 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31574/statm: 71837 23284 394 112 0 66802 0
[pid=31574/tid=31575] ppid=31572 vsize=287348 CPUtime=6.29 cores=0,2,4,6
/proc/31574/task/31575/stat : 31575 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 9233 0 0 0 627 2 0 0 25 0 4 0 525119735 294244352 23284 33554432000 4194304 4650419 140736368530896 18446744073709551615 4435771 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31574/tid=31576] ppid=31572 vsize=287348 CPUtime=6.25 cores=0,2,4,6
/proc/31574/task/31576/stat : 31576 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 9158 0 0 0 624 1 0 0 25 0 4 0 525119735 294244352 23284 33554432000 4194304 4650419 140736368530896 18446744073709551615 4436452 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31574/tid=31577] ppid=31572 vsize=287348 CPUtime=6.29 cores=0,2,4,6
/proc/31574/task/31577/stat : 31577 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 7374 0 0 0 628 1 0 0 25 0 4 0 525119735 294244352 23284 33554432000 4194304 4650419 140736368530896 18446744073709551615 4439191 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 287348

[startup+12.7006 s]
/proc/loadavg: 7.51 7.97 7.99 9/184 31579
/proc/meminfo: memFree=29907788/32950928 swapFree=67086612/67111528
[pid=31574] ppid=31572 vsize=310660 CPUtime=50.71 cores=0,2,4,6
/proc/31574/stat : 31574 (strangenight1-m) R 31572 31574 31021 0 -1 4202496 44997 0 0 0 5062 9 0 0 25 0 4 0 525119735 318115840 29233 33554432000 4194304 4650419 140736368530896 18446744073709551615 4435766 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31574/statm: 77665 29233 394 112 0 72630 0
[pid=31574/tid=31575] ppid=31572 vsize=310660 CPUtime=12.69 cores=0,2,4,6
/proc/31574/task/31575/stat : 31575 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 12334 0 0 0 1267 2 0 0 25 0 4 0 525119735 318115840 29233 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31574/tid=31576] ppid=31572 vsize=310660 CPUtime=12.63 cores=0,2,4,6
/proc/31574/task/31576/stat : 31576 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 11602 0 0 0 1261 2 0 0 25 0 4 0 525119735 318115840 29233 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31574/tid=31577] ppid=31572 vsize=310660 CPUtime=12.68 cores=0,2,4,6
/proc/31574/task/31577/stat : 31577 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 10512 0 0 0 1267 1 0 0 25 0 4 0 525119735 318115840 29233 33554432000 4194304 4650419 140736368530896 18446744073709551615 4306746 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 310660

[startup+25.5011 s]
/proc/loadavg: 7.62 7.97 7.99 9/184 31579
/proc/meminfo: memFree=29829052/32950928 swapFree=67086612/67111528
[pid=31574] ppid=31572 vsize=317128 CPUtime=101.83 cores=0,2,4,6
/proc/31574/stat : 31574 (strangenight1-m) R 31572 31574 31021 0 -1 4202496 70797 0 0 0 10169 14 0 0 25 0 4 0 525119735 324739072 46598 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31574/statm: 79282 46599 394 112 0 74247 0
[pid=31574/tid=31575] ppid=31572 vsize=317128 CPUtime=25.48 cores=0,2,4,6
/proc/31574/task/31575/stat : 31575 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 21373 0 0 0 2544 4 0 0 25 0 4 0 525119735 324739072 46599 33554432000 4194304 4650419 140736368530896 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31574/tid=31576] ppid=31572 vsize=317128 CPUtime=25.36 cores=0,2,4,6
/proc/31574/task/31576/stat : 31576 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 15280 0 0 0 2534 2 0 0 25 0 4 0 525119735 324739072 46599 33554432000 4194304 4650419 140736368530896 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31574/tid=31577] ppid=31572 vsize=317128 CPUtime=25.48 cores=0,2,4,6
/proc/31574/task/31577/stat : 31577 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 19529 0 0 0 2545 3 0 0 25 0 4 0 525119735 324739072 46599 33554432000 4194304 4650419 140736368530896 18446744073709551615 4438922 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 317128

[startup+51.1002 s]
/proc/loadavg: 7.86 8.00 8.00 9/184 31580
/proc/meminfo: memFree=29721852/32950928 swapFree=67086612/67111528
[pid=31574] ppid=31572 vsize=405892 CPUtime=204.1 cores=0,2,4,6
/proc/31574/stat : 31574 (strangenight1-m) R 31572 31574 31021 0 -1 4202496 102675 0 0 0 20388 22 0 0 25 0 4 0 525119735 415633408 61251 33554432000 4194304 4650419 140736368530896 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31574/statm: 101473 61251 399 112 0 96438 0
[pid=31574/tid=31575] ppid=31572 vsize=405892 CPUtime=51.08 cores=0,2,4,6
/proc/31574/task/31575/stat : 31575 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 30220 0 0 0 5102 6 0 0 25 0 4 0 525119735 415633408 61251 33554432000 4194304 4650419 140736368530896 18446744073709551615 4364930 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31574/tid=31576] ppid=31572 vsize=405892 CPUtime=50.84 cores=0,2,4,6
/proc/31574/task/31576/stat : 31576 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 20811 0 0 0 5080 4 0 0 25 0 4 0 525119735 415633408 61251 33554432000 4194304 4650419 140736368530896 18446744073709551615 4366933 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31574/tid=31577] ppid=31572 vsize=405892 CPUtime=51.08 cores=0,2,4,6
/proc/31574/task/31577/stat : 31577 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 29013 0 0 0 5102 6 0 0 25 0 4 0 525119735 415633408 61251 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 405892

[startup+102.3 s]
/proc/loadavg: 8.06 8.03 8.01 9/184 31581
/proc/meminfo: memFree=29619848/32950928 swapFree=67086612/67111528
[pid=31574] ppid=31572 vsize=419688 CPUtime=408.65 cores=0,2,4,6
/proc/31574/stat : 31574 (strangenight1-m) R 31572 31574 31021 0 -1 4202496 158481 0 0 0 40828 37 0 0 25 0 4 0 525119735 429760512 66610 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365348 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31574/statm: 104922 66610 395 112 0 99887 0
[pid=31574/tid=31575] ppid=31572 vsize=419688 CPUtime=102.29 cores=0,2,4,6
/proc/31574/task/31575/stat : 31575 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 45234 0 0 0 10218 11 0 0 25 0 4 0 525119735 429760512 66610 33554432000 4194304 4650419 140736368530896 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31574/tid=31576] ppid=31572 vsize=419688 CPUtime=101.79 cores=0,2,4,6
/proc/31574/task/31576/stat : 31576 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 27200 0 0 0 10174 5 0 0 25 0 4 0 525119735 429760512 66610 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31574/tid=31577] ppid=31572 vsize=419688 CPUtime=102.29 cores=0,2,4,6
/proc/31574/task/31577/stat : 31577 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 44514 0 0 0 10218 11 0 0 25 0 4 0 525119735 429760512 66610 33554432000 4194304 4650419 140736368530896 18446744073709551615 4311310 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 419688

[startup+162.301 s]

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

[pid=31574] ppid=31572 vsize=879040 CPUtime=2805.64 cores=0,2,4,6
/proc/31574/stat : 31574 (strangenight1-m) R 31572 31574 31021 0 -1 4202496 699296 0 0 0 280380 184 0 0 25 0 4 0 525119735 900136960 147605 33554432000 4194304 4650419 140736368530896 18446744073709551615 4426539 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31574/statm: 219760 147605 394 112 0 214725 0
[pid=31574/tid=31575] ppid=31572 vsize=879040 CPUtime=702.29 cores=0,2,4,6
/proc/31574/task/31575/stat : 31575 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 155916 0 0 0 70187 42 0 0 25 0 4 0 525119735 900136960 147605 33554432000 4194304 4650419 140736368530896 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31574/tid=31576] ppid=31572 vsize=879040 CPUtime=698.8 cores=0,2,4,6
/proc/31574/task/31576/stat : 31576 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 124316 0 0 0 69846 34 0 0 25 0 4 0 525119735 900136960 147605 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31574/tid=31577] ppid=31572 vsize=879040 CPUtime=702.3 cores=0,2,4,6
/proc/31574/task/31577/stat : 31577 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 191138 0 0 0 70176 54 0 0 25 0 4 0 525119735 900136960 147605 33554432000 4194304 4650419 140736368530896 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.64
Current children cumulated vsize (KiB) 879040

[startup+762.301 s]
/proc/loadavg: 8.12 8.07 8.02 9/184 31599
/proc/meminfo: memFree=28873384/32950928 swapFree=67086612/67111528
[pid=31574] ppid=31572 vsize=845688 CPUtime=3045.35 cores=0,2,4,6
/proc/31574/stat : 31574 (strangenight1-m) R 31572 31574 31021 0 -1 4202496 799609 0 0 0 304332 203 0 0 25 0 4 0 525119735 865984512 154686 33554432000 4194304 4650419 140736368530896 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31574/statm: 211422 154686 394 112 0 206387 0
[pid=31574/tid=31575] ppid=31572 vsize=845688 CPUtime=762.3 cores=0,2,4,6
/proc/31574/task/31575/stat : 31575 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 162287 0 0 0 76186 44 0 0 25 0 4 0 525119735 865984512 154686 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31574/tid=31576] ppid=31572 vsize=845688 CPUtime=758.51 cores=0,2,4,6
/proc/31574/task/31576/stat : 31576 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 131733 0 0 0 75813 38 0 0 25 0 4 0 525119735 865984512 154686 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31574/tid=31577] ppid=31572 vsize=845688 CPUtime=762.3 cores=0,2,4,6
/proc/31574/task/31577/stat : 31577 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 201417 0 0 0 76172 58 0 0 25 0 4 0 525119735 865984512 154686 33554432000 4194304 4650419 140736368530896 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.35
Current children cumulated vsize (KiB) 845688

[startup+822.301 s]
/proc/loadavg: 8.12 8.07 8.02 9/184 31600
/proc/meminfo: memFree=28837120/32950928 swapFree=67086612/67111528
[pid=31574] ppid=31572 vsize=833652 CPUtime=3285.06 cores=0,2,4,6
/proc/31574/stat : 31574 (strangenight1-m) R 31572 31574 31021 0 -1 4202496 831205 0 0 0 328292 214 0 0 25 0 4 0 525119735 853659648 156090 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31574/statm: 208413 156090 394 112 0 203378 0
[pid=31574/tid=31575] ppid=31572 vsize=833652 CPUtime=822.31 cores=0,2,4,6
/proc/31574/task/31575/stat : 31575 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 169134 0 0 0 82185 46 0 0 25 0 4 0 525119735 853659648 156090 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31574/tid=31576] ppid=31572 vsize=833652 CPUtime=818.2 cores=0,2,4,6
/proc/31574/task/31576/stat : 31576 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 135760 0 0 0 81781 39 0 0 25 0 4 0 525119735 853659648 156090 33554432000 4194304 4650419 140736368530896 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31574/tid=31577] ppid=31572 vsize=833652 CPUtime=822.31 cores=0,2,4,6
/proc/31574/task/31577/stat : 31577 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 210975 0 0 0 82170 61 0 0 25 0 4 0 525119735 853659648 156090 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3285.06
Current children cumulated vsize (KiB) 833652

[startup+882.301 s]
/proc/loadavg: 8.04 8.06 8.01 9/184 31611
/proc/meminfo: memFree=28772616/32950928 swapFree=67086612/67111528
[pid=31574] ppid=31572 vsize=916072 CPUtime=3524.74 cores=0,2,4,6
/proc/31574/stat : 31574 (strangenight1-m) R 31572 31574 31021 0 -1 4202496 870205 0 0 0 352246 228 0 0 25 0 4 0 525119735 938057728 157751 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31574/statm: 229018 157751 398 112 0 223983 0
[pid=31574/tid=31575] ppid=31572 vsize=916072 CPUtime=882.3 cores=0,2,4,6
/proc/31574/task/31575/stat : 31575 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 181231 0 0 0 88180 50 0 0 25 0 4 0 525119735 938057728 157751 33554432000 4194304 4650419 140736368530896 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31574/tid=31576] ppid=31572 vsize=916072 CPUtime=877.9 cores=0,2,4,6
/proc/31574/task/31576/stat : 31576 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 139777 0 0 0 87749 41 0 0 25 0 4 0 525119735 938057728 157751 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31574/tid=31577] ppid=31572 vsize=916072 CPUtime=882.3 cores=0,2,4,6
/proc/31574/task/31577/stat : 31577 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 222640 0 0 0 88165 65 0 0 25 0 4 0 525119735 938057728 157751 33554432000 4194304 4650419 140736368530896 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.74
Current children cumulated vsize (KiB) 916072

[startup+942.307 s]
/proc/loadavg: 8.08 8.06 8.01 9/184 31612
/proc/meminfo: memFree=28835436/32950928 swapFree=67086612/67111528
[pid=31574] ppid=31572 vsize=948200 CPUtime=3764.45 cores=0,2,4,6
/proc/31574/stat : 31574 (strangenight1-m) R 31572 31574 31021 0 -1 4202496 943221 0 0 0 376202 243 0 0 25 0 4 0 525119735 970956800 155792 33554432000 4194304 4650419 140736368530896 18446744073709551615 4364738 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31574/statm: 237050 155792 398 112 0 232015 0
[pid=31574/tid=31575] ppid=31572 vsize=948200 CPUtime=942.31 cores=0,2,4,6
/proc/31574/task/31575/stat : 31575 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 188372 0 0 0 94177 54 0 0 25 0 4 0 525119735 970956800 155792 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31574/tid=31576] ppid=31572 vsize=948200 CPUtime=937.6 cores=0,2,4,6
/proc/31574/task/31576/stat : 31576 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 146742 0 0 0 93716 44 0 0 25 0 4 0 525119735 970956800 155792 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31574/tid=31577] ppid=31572 vsize=948200 CPUtime=942.31 cores=0,2,4,6
/proc/31574/task/31577/stat : 31577 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 273070 0 0 0 94160 71 0 0 25 0 4 0 525119735 970956800 155792 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.45
Current children cumulated vsize (KiB) 948200

[startup+1002.3 s]
/proc/loadavg: 8.03 8.05 8.00 9/184 31614
/proc/meminfo: memFree=28825944/32950928 swapFree=67086612/67111528
[pid=31574] ppid=31572 vsize=937688 CPUtime=4004.13 cores=0,2,4,6
/proc/31574/stat : 31574 (strangenight1-m) R 31572 31574 31021 0 -1 4202496 980727 0 0 0 400157 256 0 0 25 0 4 0 525119735 960192512 150729 33554432000 4194304 4650419 140736368530896 18446744073709551615 4366865 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31574/statm: 234422 150729 398 112 0 229387 0
[pid=31574/tid=31575] ppid=31572 vsize=937688 CPUtime=1002.31 cores=0,2,4,6
/proc/31574/task/31575/stat : 31575 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 196641 0 0 0 100174 57 0 0 25 0 4 0 525119735 960192512 150729 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31574/tid=31576] ppid=31572 vsize=937688 CPUtime=997.31 cores=0,2,4,6
/proc/31574/task/31576/stat : 31576 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 158641 0 0 0 99683 48 0 0 25 0 4 0 525119735 960192512 150729 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31574/tid=31577] ppid=31572 vsize=937688 CPUtime=1002.31 cores=0,2,4,6
/proc/31574/task/31577/stat : 31577 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 283908 0 0 0 100156 75 0 0 25 0 4 0 525119735 960192512 150729 33554432000 4194304 4650419 140736368530896 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4004.13
Current children cumulated vsize (KiB) 937688

[startup+1062.3 s]
/proc/loadavg: 8.31 8.11 8.02 9/184 31619
/proc/meminfo: memFree=28766240/32950928 swapFree=67086612/67111528
[pid=31574] ppid=31572 vsize=920144 CPUtime=4243.82 cores=0,2,4,6
/proc/31574/stat : 31574 (strangenight1-m) R 31572 31574 31021 0 -1 4202496 1015081 0 0 0 424113 269 0 0 25 0 4 0 525119735 942227456 156991 33554432000 4194304 4650419 140736368530896 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31574/statm: 230036 156991 400 112 0 225001 0
[pid=31574/tid=31575] ppid=31572 vsize=920144 CPUtime=1062.31 cores=0,2,4,6
/proc/31574/task/31575/stat : 31575 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 207257 0 0 0 106170 61 0 0 25 0 4 0 525119735 942227456 156991 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31574/tid=31576] ppid=31572 vsize=920144 CPUtime=1056.99 cores=0,2,4,6
/proc/31574/task/31576/stat : 31576 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 167560 0 0 0 105648 51 0 0 25 0 4 0 525119735 942227456 156991 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31574/tid=31577] ppid=31572 vsize=920144 CPUtime=1062.31 cores=0,2,4,6
/proc/31574/task/31577/stat : 31577 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 293633 0 0 0 106153 78 0 0 25 0 4 0 525119735 942227456 156991 33554432000 4194304 4650419 140736368530896 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.82
Current children cumulated vsize (KiB) 920144

[startup+1122.3 s]
/proc/loadavg: 8.22 8.12 8.03 9/184 31620
/proc/meminfo: memFree=28704124/32950928 swapFree=67086612/67111528
[pid=31574] ppid=31572 vsize=1003656 CPUtime=4483.53 cores=0,2,4,6
/proc/31574/stat : 31574 (strangenight1-m) R 31572 31574 31021 0 -1 4202496 1052712 0 0 0 448074 279 0 0 25 0 4 0 525119735 1027743744 164500 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31574/statm: 250914 164500 400 112 0 245879 0
[pid=31574/tid=31575] ppid=31572 vsize=1003656 CPUtime=1122.31 cores=0,2,4,6
/proc/31574/task/31575/stat : 31575 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 216006 0 0 0 112168 63 0 0 25 0 4 0 525119735 1027743744 164500 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31574/tid=31576] ppid=31572 vsize=1003656 CPUtime=1116.71 cores=0,2,4,6
/proc/31574/task/31576/stat : 31576 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 179688 0 0 0 111616 55 0 0 25 0 4 0 525119735 1027743744 164500 33554432000 4194304 4650419 140736368530896 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31574/tid=31577] ppid=31572 vsize=1003656 CPUtime=1122.31 cores=0,2,4,6
/proc/31574/task/31577/stat : 31577 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 305638 0 0 0 112150 81 0 0 25 0 4 0 525119735 1027743744 164500 33554432000 4194304 4650419 140736368530896 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.53
Current children cumulated vsize (KiB) 1003656

[startup+1182.3 s]
/proc/loadavg: 8.17 8.13 8.03 9/184 31622
/proc/meminfo: memFree=28698724/32950928 swapFree=67086612/67111528
[pid=31574] ppid=31572 vsize=1022412 CPUtime=4723.24 cores=0,2,4,6
/proc/31574/stat : 31574 (strangenight1-m) R 31572 31574 31021 0 -1 4202496 1078469 0 0 0 472035 289 0 0 25 0 4 0 525119735 1046949888 169113 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365330 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31574/statm: 255603 169113 400 112 0 250568 0
[pid=31574/tid=31575] ppid=31572 vsize=1022412 CPUtime=1182.32 cores=0,2,4,6
/proc/31574/task/31575/stat : 31575 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 223155 0 0 0 118167 65 0 0 25 0 4 0 525119735 1046949888 169113 33554432000 4194304 4650419 140736368530896 18446744073709551615 4366953 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31574/tid=31576] ppid=31572 vsize=1022412 CPUtime=1176.4 cores=0,2,4,6
/proc/31574/task/31576/stat : 31576 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 182516 0 0 0 117584 56 0 0 25 0 4 0 525119735 1046949888 169113 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31574/tid=31577] ppid=31572 vsize=1022412 CPUtime=1182.31 cores=0,2,4,6
/proc/31574/task/31577/stat : 31577 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 310363 0 0 0 118148 83 0 0 25 0 4 0 525119735 1046949888 169113 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4723.24
Current children cumulated vsize (KiB) 1022412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 8.12 8.12 8.03 9/184 31622
/proc/meminfo: memFree=28672912/32950928 swapFree=67086612/67111528
[pid=31574] ppid=31572 vsize=1087948 CPUtime=4800.35 cores=0,2,4,6
/proc/31574/stat : 31574 (strangenight1-m) R 31572 31574 31021 0 -1 4202496 1087312 0 0 0 479744 291 0 0 25 0 4 0 525119735 1114058752 175052 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31574/statm: 271987 175052 396 112 0 266952 0
[pid=31574/tid=31575] ppid=31572 vsize=1087948 CPUtime=1201.62 cores=0,2,4,6
/proc/31574/task/31575/stat : 31575 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 224956 0 0 0 120096 66 0 0 25 0 4 0 525119735 1114058752 175052 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31574/tid=31576] ppid=31572 vsize=1087948 CPUtime=1195.61 cores=0,2,4,6
/proc/31574/task/31576/stat : 31576 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 183861 0 0 0 119504 57 0 0 25 0 4 0 525119735 1114058752 175052 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31574/tid=31577] ppid=31572 vsize=1087948 CPUtime=1201.62 cores=0,2,4,6
/proc/31574/task/31577/stat : 31577 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 314250 0 0 0 120078 84 0 0 25 0 4 0 525119735 1114058752 175052 33554432000 4194304 4650419 140736368530896 18446744073709551615 4438931 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 1087948

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

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

[startup+1201.6 s]
/proc/loadavg: 8.12 8.12 8.03 9/184 31622
/proc/meminfo: memFree=28672912/32950928 swapFree=67086612/67111528
[pid=31574] ppid=31572 vsize=1087948 CPUtime=4800.35 cores=0,2,4,6
/proc/31574/stat : 31574 (strangenight1-m) R 31572 31574 31021 0 -1 4202496 1087312 0 0 0 479744 291 0 0 25 0 4 0 525119735 1114058752 175052 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31574/statm: 271987 175052 396 112 0 266952 0
[pid=31574/tid=31575] ppid=31572 vsize=1087948 CPUtime=1201.62 cores=0,2,4,6
/proc/31574/task/31575/stat : 31575 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 224956 0 0 0 120096 66 0 0 25 0 4 0 525119735 1114058752 175052 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31574/tid=31576] ppid=31572 vsize=1087948 CPUtime=1195.61 cores=0,2,4,6
/proc/31574/task/31576/stat : 31576 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 183861 0 0 0 119504 57 0 0 25 0 4 0 525119735 1114058752 175052 33554432000 4194304 4650419 140736368530896 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31574/tid=31577] ppid=31572 vsize=1087948 CPUtime=1201.62 cores=0,2,4,6
/proc/31574/task/31577/stat : 31577 (strangenight1-m) R 31572 31574 31021 0 -1 4202560 314250 0 0 0 120078 84 0 0 25 0 4 0 525119735 1114058752 175052 33554432000 4194304 4650419 140736368530896 18446744073709551615 4438931 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 1087948

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.64
CPU time (s): 4800.42
CPU user time (s): 4797.47
CPU system time (s): 2.95055
CPU usage (%): 399.487
Max. virtual memory (cumulated for all children) (KiB): 1153492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.47
system time used= 2.95055
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1087313
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= 2575
involuntary context switches= 22728

runsolver used 1.80572 second user time and 4.23436 second system time

The end

Launcher Data 

Begin job on node148 at 2011-04-30 05:47:07
IDJOB=3263565
IDBENCH=83986
IDSOLVER=1588
FILE ID=node148/3263565-1304135227
RUNJOBID= node148-1304134023-31457
PBS_JOBID= 13170790
Free space on /tmp= 72956 MiB

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

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

MD5SUM BENCH= e826117d87949a5b285e72732bfa395b
RANDOM SEED=2005644102

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30133332 kB
Buffers:        746708 kB
Cached:        1649240 kB
SwapCached:       3696 kB
Active:         153012 kB
Inactive:      2295744 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30133332 kB
SwapTotal:    67111528 kB
SwapFree:     67086612 kB
Dirty:           13604 kB
Writeback:           0 kB
AnonPages:       50752 kB
Mapped:          14064 kB
Slab:           304728 kB
PageTables:       3916 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   275616 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= 72948 MiB
End job on node148 at 2011-04-30 06:07:10