Trace number 3261273

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 TechDemo-Alpha-mt? (TO) 4800.37 1201.73

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-14-26-sat.cnf
MD5SUM1e53251276ed6dee048eca4aa337d77b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.013997
Satisfiable
(Un)Satisfiability was proved
Number of variables364
Number of clauses2562
Sum of the clauses size9828
Maximum clause length26
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22366
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5196

Solver Data 

0.00/0.00	c Outputting solution to console
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 Using 4 thread(s)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3261273-1304131286.cnf'
0.00/0.00	c -- header says num vars:            364
0.00/0.00	c -- header says num clauses:        2562
0.00/0.00	c -- clauses added:            0 learnts,         2562 normals,            0 xors
0.00/0.00	c -- vars added        364
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       364       196      2366         0      9828         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/196/196 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.0M T:  0.00
0.00/0.01	c Calc non-exist non-lernt bins v-fix:     0 done:    364 time:  0.00 s
0.00/0.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.00/0.01	c Subs w/ non-existent bins:      0 time:  0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:    242  v-fix:    0  time:  0.00 s
0.00/0.01	c learnt bin added due to v-elim: 0
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:       0 undec:       0 neg:     364
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.00/0.01	c  B st     0         0       364       196      2366         0      9828         0   no data   no data  --
0.25/0.08	c Decided on static restart strategy
0.76/0.26	c  N dy    21      4110       364       196      2366      3895      9828    361045     95.01     33.04  --
2.37/0.67	c  N dy    51      8127       364       196      2366      5420      9828    463166     91.87     33.05  --
4.76/1.23	c  N dy    81     12198       364       196      2366      5283      9828    404670    101.70     32.80  --
7.16/1.85	c  N dy   111     16278       364       196      2366      9258      9828    789596     95.28     33.04  --
10.35/2.64	c  N dy   141     20286       364       196      2366      7719      9828    583126     94.61     33.02  --
13.55/3.43	c  N dy   171     24325       364       196      2366     11680      9828    955535     91.14     33.06  --
16.75/4.22	c  N dy   201     28426       364       196      2366      9040      9828    644760     96.69     33.06  --
17.94/4.51	c  S st   213     30000       364       196      2366     10580      9828    790217     94.01     33.05  --
17.94/4.55	c  S st   213     30505       364       196      2366     11082      9828    841812     94.01     33.05  --
17.94/4.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
17.94/4.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.74/4.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.6M T:  0.75
18.74/4.75	c Calc non-exist non-lernt bins v-fix:     0 done:    364 time:  0.00 s
18.74/4.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.74/4.75	c Subs w/ non-existent bins:      0 time:  0.02 s
18.74/4.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
22.74/5.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  3.88 s
22.74/5.74	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
35.52/8.95	c lits-rem:        43  cl-subs:     1399  v-elim:    364  v-fix:    0  time: 12.83 s
35.52/8.95	c learnt bin added due to v-elim: 0
35.52/8.95	c vivif2 --  cl tried      196 cl shrink        0 lits rem          0 time: 0.00
35.52/8.96	c vivif2 --  cl tried     9683 cl shrink        0 lits rem          0 time: 0.02
35.52/8.97	c asymm  cl-useful: 0/196/196 lits-rem:0 time: 0.06
35.52/8.97	c calculated reachability. Time: 0.00
35.52/8.97	c  N dy   213     30505       364       196      2366      9683      9828    747422     94.01     33.05  --
35.52/8.97	c  F st   213     30505       364       196      2366      9683      9828    747422     94.01     33.05  --
36.31/9.15	c Decided on static restart strategy
37.11/9.38	c  N dy   233     34511       364       196      2366     13578      9828   1222669    105.24     33.00  --
39.13/9.89	c  N dy   263     38559       364       196      2366      9826      9828    704283     86.96     33.19  --
41.51/10.49	c  N dy   293     42602       364       196      2366     13799      9828   1113705    107.13     33.24  --
44.71/11.24	c  S st   317     45757       364       196      2366     16908      9828   1440189    105.23     33.18  --
45.11/11.30	c  S st   317     46260       364       196      2366     17408      9828   1493032    105.23     33.18  --
45.11/11.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
45.11/11.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.50/11.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 16.5M T:  2.66
47.50/11.97	c Calc non-exist non-lernt bins v-fix:     0 done:    364 time:  0.00 s
47.50/11.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.50/11.98	c Subs w/ non-existent bins:      0 time:  0.04 s
47.91/12.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
54.29/13.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.44 s
54.29/13.62	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
77.06/19.31	c lits-rem:        35  cl-subs:     1213  v-elim:    364  v-fix:    0  time: 22.74 s
77.06/19.31	c learnt bin added due to v-elim: 0
77.06/19.31	c vivif2 --  cl tried      196 cl shrink        0 lits rem          0 time: 0.00
77.06/19.32	c vivif2 --  cl tried    16195 cl shrink        0 lits rem          0 time: 0.05
77.06/19.36	c asymm  cl-useful: 0/196/196 lits-rem:0 time: 0.16
77.06/19.36	c calculated reachability. Time: 0.00
77.06/19.36	c  N dy   317     46260       364       196      2366     16195      9828   1389225    105.23     33.18  --
78.26/19.69	c  N dy   347     50347       364       196      2366     11439      9828    812803    102.48     33.18  --
80.65/20.22	c  N dy   377     54473       364       196      2366     15478      9828   1230693    101.82     33.24  --
83.86/21.10	c  N dy   407     58558       364       196      2366     19503      9828   1649103    107.75     33.26  --
85.85/21.55	c  N dy   437     62636       364       196      2366     13742      9828   1026085    111.10     33.28  --
88.24/22.18	c  N dy   467     66702       364       196      2366     17752      9828   1446618    107.55     33.26  --
91.04/22.82	c  S st   488     69390       364       196      2366     20377      9828   1716854    109.40     33.25  --
91.04/22.89	c  S st   488     69891       364       196      2366     20873      9828   1768792    109.40     33.25  --
91.04/22.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
91.04/22.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
95.43/23.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 27.0M T:  4.32
95.43/23.97	c Calc non-exist non-lernt bins v-fix:     0 done:    364 time:  0.00 s
95.43/23.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
95.43/23.98	c Subs w/ non-existent bins:      0 time:  0.04 s
95.83/24.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
102.23/25.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.54 s
102.23/25.65	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
129.39/32.49	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
191.71/48.04	c Added 4 vars  tried: 80000 time: 62.12
192.51/48.27	c ORs :      4 avg-s:  0.0 cl-sh: 24449 l-rem:  24449 b-add:      8 v-rep:   0 cl-rem: 0 avg s: nan T:   63.03
192.51/48.29	c lits-rem:        51  cl-subs:     1382  v-elim:    364  v-fix:    0  time: 90.42 s
192.51/48.29	c learnt bin added due to v-elim: 0
192.51/48.29	c vivif2 --  cl tried      200 cl shrink        0 lits rem          0 time: 0.00
192.93/48.30	c vivif2 --  cl tried    19491 cl shrink        0 lits rem          0 time: 0.05
192.93/48.34	c asymm  cl-useful: 0/200/200 lits-rem:0 time: 0.15
192.93/48.34	c calculated reachability. Time: 0.00
192.93/48.34	c  N dy   488     69891       368       200      2374     19491      9800   1622703    109.40     33.25  --
192.93/48.34	c  F st   488     69891       368       200      2374     19491      9800   1622703    109.40     33.25  --
193.70/48.53	c Decided on static restart strategy
194.50/48.76	c  N dy   512     74428       368       200      2374     13128      9800    896251    102.86     33.21  --
197.32/49.43	c  N dy   547     79183       368       200      2374     17802      9800   1372211    103.82     33.16  --
201.71/50.60	c  N dy   585     84369       368       200      2374     22890      9800   1890836    105.41     33.17  --
205.29/51.40	c  N dy   625     89834       368       200      2374     16501      9800   1220285     99.12     33.17  --
210.08/52.63	c  N dy   668     95655       368       200      2374     22225      9800   1795097    103.86     33.15  --
215.66/54.01	c  N dy   713    101804       368       200      2374     15506      9800   1014586     97.76     33.15  --
218.07/54.61	c  S st   735    104836       368       200      2374     18456      9800   1316602    103.97     33.14  --
218.07/54.67	c  S st   735    105337       368       200      2374     18955      9800   1368674    103.97     33.14  --
218.07/54.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
218.07/54.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
222.46/55.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 31.2M T:  4.34
222.46/55.76	c Calc non-exist non-lernt bins v-fix:     0 done:    368 time:  0.00 s
222.46/55.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
222.46/55.77	c Subs w/ non-existent bins:      0 time:  0.04 s
222.46/55.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
229.25/57.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.71 s
229.25/57.47	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
245.65/61.59	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
245.65/61.60	c lits-rem:        20  cl-subs:     1714  v-elim:    364  v-fix:    0  time: 16.50 s
245.65/61.60	c learnt bin added due to v-elim: 0
245.65/61.60	c vivif2 --  cl tried      245 cl shrink        0 lits rem          0 time: 0.00
246.05/61.61	c vivif2 --  cl tried    17241 cl shrink        0 lits rem          0 time: 0.05
246.05/61.68	c asymm  cl-useful: 0/245/245 lits-rem:0 time: 0.27
246.05/61.68	c calculated reachability. Time: 0.00
246.05/61.68	c  N dy   735    105337       364       245      2321     17241      9832   1236129    103.97     33.14  --
248.82/62.36	c  N dy   785    112089       364       245      2321     23841      9832   1919524    105.92     33.11  --
252.82/63.36	c  N dy   838    119357       364       245      2321     17268      9832   1160251     99.39     33.08  --
258.41/64.72	c  N dy   894    127002       364       245      2321     24812      9832   1964815    107.58     33.07  --
265.60/66.50	c  N dy   954    135232       364       245      2321     18185      9832   1216680    105.06     33.08  --
272.41/68.27	c  N dy  1017    143940       364       245      2321     26703      9832   2088226    106.21     33.09  --
281.20/70.42	c  N dy  1084    153229       364       245      2321     20134      9832   1390522    106.02     33.09  --
285.20/71.45	c  S st  1119    158005       364       245      2321     24814      9832   1850666     94.72     33.09  --
285.60/71.53	c  S st  1119    158508       364       245      2321     25306      9832   1905331     94.72     33.09  --
285.60/71.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
285.60/71.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
292.77/73.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 50.4M T:  7.38
292.77/73.38	c Calc non-exist non-lernt bins v-fix:     0 done:    364 time:  0.00 s
292.77/73.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
292.77/73.40	c Subs w/ non-existent bins:      0 time:  0.05 s
293.17/73.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
299.56/75.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.31 s
299.56/75.00	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
325.14/81.44	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
325.14/81.46	c lits-rem:        47  cl-subs:     1618  v-elim:    360  v-fix:    0  time: 25.78 s
325.14/81.46	c learnt bin added due to v-elim: 0
325.14/81.46	c vivif2 --  cl tried      245 cl shrink        0 lits rem          0 time: 0.00
325.14/81.47	c vivif2 --  cl tried    23688 cl shrink        0 lits rem          0 time: 0.06
325.92/81.62	c asymm  cl-useful: 0/245/245 lits-rem:0 time: 0.56
325.92/81.62	c calculated reachability. Time: 0.00
325.92/81.62	c  N dy  1119    158508       364       245      2321     23688      9832   1784976     94.72     33.09  --
331.51/83.08	c  N dy  1193    168636       364       245      2321     16973      9832   1017790    106.14     33.12  --
338.70/84.80	c  N dy  1272    179464       364       245      2321     27618      9832   2156060    129.69     33.16  --
350.29/87.78	c  N dy  1356    190965       364       245      2321     21252      9832   1434482    108.10     33.13  --
362.27/90.72	c  N dy  1445    203204       364       245      2321     33282      9832   2674037    109.92     33.15  --
375.46/94.05	c  N dy  1540    216274       364       245      2321     27470      9832   2041037    108.33     33.16  --
394.22/98.76	c  N dy  1642    230139       364       245      2321     21466      9832   1350298    107.57     33.15  --
401.82/100.62	c  S st  1698    237762       364       245      2321     28992      9832   2151780    113.92     33.17  --
402.22/100.72	c  S st  1698    238265       364       245      2321     29490      9832   2209707    113.92     33.17  --
402.22/100.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
402.22/100.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
411.41/103.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.2M T:  9.43
411.41/103.09	c Calc non-exist non-lernt bins v-fix:     0 done:    364 time:  0.00 s
411.41/103.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
411.81/103.11	c Subs w/ non-existent bins:      0 time:  0.06 s
411.81/103.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
418.99/104.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.27 s
418.99/104.96	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
449.75/112.62	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
449.75/112.64	c lits-rem:        26  cl-subs:     1584  v-elim:    360  v-fix:    0  time: 30.69 s
449.75/112.64	c learnt bin added due to v-elim: 0
449.75/112.64	c vivif2 --  cl tried      245 cl shrink        0 lits rem          0 time: 0.00
449.75/112.66	c vivif2 --  cl tried    27906 cl shrink        0 lits rem          0 time: 0.08
450.55/112.87	c asymm  cl-useful: 0/245/245 lits-rem:0 time: 0.82
450.55/112.87	c calculated reachability. Time: 0.00
450.55/112.87	c  N dy  1698    238265       364       245      2321     27906      9832   2087544    113.92     33.17  --
462.53/115.86	c  N dy  1810    253553       364       245      2321     22256      9832   1374712    101.58     33.15  --
478.11/119.73	c  N dy  1929    269764       364       245      2321     38183      9832   3028175     98.85     33.16  --
497.68/124.61	c  N dy  2055    287062       364       245      2321     33568      9832   2482553    102.07     33.17  --
525.25/131.53	c  N dy  2189    305434       364       245      2321     29027      9832   1942794     97.92     33.18  --
555.21/139.01	c  N dy  2332    325003       380       245      2359     24749      9898   1427763    100.49     33.21  --
582.37/145.88	c  N dy  2478    345083       380       245      2359     44456      9898   3522952    111.42     33.21  --
602.74/150.94	c  S st  2568    357397       380       245      2359     31991      9898   2156629    102.46     33.21  --
603.14/151.03	c  S st  2568    357900       380       245      2359     32493      9898   2211170    102.46     33.21  --
603.14/151.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
603.14/151.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
611.53/153.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.2M T:  8.39
611.53/153.14	c Calc non-exist non-lernt bins v-fix:     0 done:    380 time:  0.00 s
611.53/153.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
611.53/153.16	c Subs w/ non-existent bins:      0 time:  0.06 s
611.93/153.22	c Replacing        2 vars Replaced     8273 lits Time:     0.26 s 
611.93/153.25	c bin-w-bin subsume rem            2 bins  time:  0.00 s
619.14/155.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.03 s
619.14/155.01	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
652.28/163.37	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
652.28/163.39	c lits-rem:        17  cl-subs:     1660  v-elim:    360  v-fix:    0  time: 33.47 s
652.28/163.39	c learnt bin added due to v-elim: 0
652.28/163.39	c vivif2 --  cl tried      245 cl shrink        0 lits rem          0 time: 0.00
652.68/163.41	c vivif2 --  cl tried    30833 cl shrink        0 lits rem          0 time: 0.08
653.08/163.51	c asymm  cl-useful: 0/245/245 lits-rem:0 time: 0.39
653.08/163.51	c calculated reachability. Time: 0.00
653.08/163.51	c  N dy  2568    357900       378       245      2349     30833      9886   2091312    102.46     33.21  --
678.64/169.90	c  N dy  2715    378015       378       245      2351     50622      9888   4142771    103.33     33.19  --
705.01/176.59	c  N dy  2863    398130       378       245      2351     44815      9888   3413604    105.24     33.16  --
739.76/185.21	c  N dy  3011    418219       378       245      2351     38003      9888   2674706     97.84     33.15  --
786.52/196.94	c  N dy  3158    438239       378       245      2351     30185      9888   1802511     93.73     33.17  --
822.85/206.01	c  N dy  3305    458301       378       245      2351     49908      9888   3858996    111.89     33.17  --
861.22/215.63	c  N dy  3452    478416       378       245      2351     41151      9888   2876597    103.46     33.16  --
907.54/227.24	c  N dy  3600    498534       378       245      2351     31434      9888   1847885     95.58     33.15  --
945.08/236.61	c  N dy  3747    518635       394       245      2393     51344      9960   3852504    102.78     33.13  --
988.24/247.46	c  S st  3881    536852       394       245      2393     38728      9960   2538988    102.38     33.11  --
988.65/247.58	c  S st  3881    537354       394       245      2393     39228      9960   2592101    102.38     33.11  --
988.65/247.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
988.65/247.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
997.43/249.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bin:      2 BRemL:      0 BRemN:      0 CBin:       0 P: 60.4M T:  8.57
997.43/249.73	c Calc non-exist non-lernt bins v-fix:     0 done:    394 time:  0.00 s
997.43/249.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
997.43/249.75	c Subs w/ non-existent bins:      0 time:  0.08 s
997.43/249.79	c Replacing        5 vars Replaced     2390 lits Time:     0.14 s 
997.81/249.82	c bin-w-bin subsume rem            9 bins  time:  0.00 s
1005.41/251.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.53 s
1005.41/251.71	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
1030.97/258.19	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
1031.37/258.22	c lits-rem:         4  cl-subs:     2102  v-elim:    360  v-fix:    0  time: 26.00 s
1031.37/258.22	c learnt bin added due to v-elim: 0
1031.37/258.22	c vivif2 --  cl tried      245 cl shrink        0 lits rem          0 time: 0.00
1031.37/258.24	c vivif2 --  cl tried    37126 cl shrink        0 lits rem          0 time: 0.09
1032.19/258.48	c asymm  cl-useful: 0/69/245 lits-rem:0 time: 0.94
1032.19/258.48	c calculated reachability. Time: 0.00
1032.19/258.48	c  N dy  3881    537354       389       245      2371     37126      9932   2455404    102.38     33.11  --
1032.19/258.48	c  F st  3881    537354       389       245      2371     37126      9932   2455404    102.38     33.11  --
1033.76/258.80	c Decided on static restart strategy
1056.94/264.62	c  N dy  4019    557469       389       245      2371     56980      9932   4653752    117.68     33.11  --
1082.90/271.10	c  N dy  4165    577520       389       245      2371     45189      9932   3270696     98.66     33.11  --
1125.24/281.72	c  N dy  4312    597604       389       245      2371     65014      9932   5419869    111.85     33.11  --
1152.41/288.50	c  N dy  4458    617698       389       245      2371     52209      9932   3974228    112.42     33.12  --
1191.15/298.22	c  N dy  4605    637765       389       245      2371     38498      9932   2477323    106.62     33.12  --
1226.31/307.02	c  N dy  4751    657829       389       245      2371     58319      9932   4588299    103.11     33.10  --
1267.46/317.34	c  N dy  4897    677917       389       245      2371     43621      9932   3020092    104.89     33.09  --
1308.61/327.68	c  N dy  5043    698043       389       245      2371     63451      9932   5121250    102.14     33.08  --
1348.56/337.69	c  N dy  5189    718162       389       245      2371     47782      9932   3420159    105.28     33.07  --
1394.49/349.14	c  N dy  5335    738188       403       245      2409     67616      9996   5482305    106.15     33.07  --
1435.64/359.41	c  N dy  5481    758309       403       245      2409     50976      9996   3708735    110.36     33.08  --
1486.76/372.24	c  N dy  5626    778345       403       245      2409     70736      9996   5847098    112.93     33.07  --
1524.33/381.68	c  N dy  5772    798354       403       245      2409     52998      9996   3837141    107.32     33.07  --
1543.09/386.34	c  S st  5829    806031       403       245      2409     60564      9996   4632121    110.68     33.05  --
1543.88/386.52	c  S st  5829    806536       403       245      2409     61065      9996   4684423    110.68     33.05  --
1543.88/386.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1543.88/386.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1553.87/389.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bin:      2 BRemL:      0 BRemN:      0 CBin:       0 P: 60.4M T: 10.08
1553.87/389.06	c Calc non-exist non-lernt bins v-fix:     0 done:    403 time:  0.01 s
1553.87/389.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1553.87/389.09	c Subs w/ non-existent bins:      0 time:  0.13 s
1554.27/389.11	c Replacing        4 vars Replaced      106 lits Time:     0.06 s 
1554.27/389.18	c bin-w-bin subsume rem            8 bins  time:  0.00 s
1562.26/391.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.91 s
1562.26/391.16	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
1700.87/425.82	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
1834.70/459.30	c Added 5 vars  tried: 80000 time: 133.74
1840.29/460.72	c ORs :      5 avg-s:  0.0 cl-sh: 58350 l-rem:  58350 b-add:     11 v-rep:   0 cl-rem: 0 avg s: nan T:  139.40
1840.29/460.77	c lits-rem:        17  cl-subs:     3603  v-elim:    360  v-fix:    0  time: 278.05 s
1840.29/460.77	c learnt bin added due to v-elim: 0
1840.29/460.77	c vivif2 --  cl tried      250 cl shrink        0 lits rem          0 time: 0.00
1840.71/460.81	c vivif2 --  cl tried    57461 cl shrink        0 lits rem          0 time: 0.17
1841.49/461.00	c asymm  cl-useful: 0/250/250 lits-rem:0 time: 0.74
1841.49/461.00	c calculated reachability. Time: 0.00
1841.49/461.00	c  N dy  5829    806536       404       250      2402     57461      9965   4334686    110.68     33.05  --
1871.47/468.52	c  N dy  5975    826547       404       250      2402     38734      9965   2246142    105.59     33.05  --
1898.23/475.26	c  N dy  6122    846639       404       250      2402     58512      9965   4296836    106.04     33.06  --
1951.34/488.51	c  N dy  6268    866676       404       250      2402     78214      9965   6311256     91.48     33.05  --
1983.29/496.51	c  N dy  6414    886767       404       250      2402     58537      9965   4114864    100.31     33.06  --
2040.02/510.73	c  N dy  6560    906782       404       250      2402     78187      9965   6106613    107.52     33.06  --
2076.37/519.89	c  N dy  6707    926832       412       250      2429     57558     10007   3905868    103.49     33.07  --
2131.89/533.77	c  N dy  6852    946909       412       250      2429     77092     10007   5855038     92.27     33.07  --
2175.43/544.61	c  N dy  6995    967013       412       250      2429     55525     10007   3639522     97.08     33.07  --
2225.37/557.11	c  N dy  7139    987101       412       250      2431     75216     10009   5522083     86.97     33.06  --
2272.50/568.90	c  N dy  7283   1007213       412       250      2431     52780     10009   3305917     99.15     33.06  --
2320.45/580.92	c  N dy  7428   1027344       412       250      2431     72462     10009   5148725     98.32     33.06  --
2372.39/593.99	c  N dy  7570   1047439       412       250      2431     49004     10009   2849072     98.64     33.05  --
2414.31/604.40	c  N dy  7714   1067576       412       250      2431     68690     10009   4744806     99.60     33.05  --
2483.02/621.67	c  N dy  7857   1087616       412       250      2431     44308     10009   2365543    106.77     33.04  --
2518.98/630.68	c  N dy  8003   1107654       412       250      2431     63939     10009   4203181     88.56     33.03  --
2580.89/646.18	c  N dy  8147   1127686       412       250      2431     83600     10009   6092578     83.42     33.03  --
2628.03/657.98	c  N dy  8289   1147794       431       250      2496     58432     10107   3496392     89.31     33.04  --
2686.75/672.69	c  N dy  8434   1167866       431       250      2496     78061     10107   5342498     94.72     33.04  --
2749.87/688.41	c  N dy  8577   1187951       431       250      2496     51562     10107   2902707     98.26     33.03  --
2792.60/699.12	c  N dy  8721   1208082       431       250      2500     71317     10111   4718470     98.19     33.03  --
2798.21/700.51	c  S st  8733   1209804       431       250      2500     72964     10111   4881411     91.83     33.03  --
2798.62/700.68	c  S st  8733   1210305       431       250      2500     73463     10111   4934758     91.83     33.03  --
2798.62/700.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2798.62/700.69	c Cache  BProp: 0 Set: 0 BXProp: 3 T: 0.00
2808.19/703.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   10 Bin:      0 BRemL:      2 BRemN:      2 CBin:       0 P: 60.0M T:  9.33
2808.19/703.03	c Calc non-exist non-lernt bins v-fix:     0 done:    431 time:  0.01 s
2808.19/703.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2808.19/703.07	c Subs w/ non-existent bins:      0 time:  0.17 s
2808.99/703.21	c Replacing       13 vars Replaced     6454 lits Time:     0.56 s 
2808.99/703.29	c bin-w-bin subsume rem           21 bins  time:  0.00 s
2817.37/705.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  8.11 s
2817.37/705.32	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
3254.79/814.85	c ORs :      4 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
3255.19/814.91	c lits-rem:         3  cl-subs:     5980  v-elim:    366  v-fix:    0  time: 437.74 s
3255.19/814.91	c learnt bin added due to v-elim: 0
3255.19/814.91	c vivif2 --  cl tried      262 cl shrink        0 lits rem          0 time: 0.00
3255.19/814.96	c vivif2 --  cl tried    67483 cl shrink        0 lits rem          0 time: 0.21
3256.38/815.21	c asymm  cl-useful: 0/157/262 lits-rem:0 time: 0.99
3256.38/815.21	c calculated reachability. Time: 0.00
3256.38/815.21	c  N dy  8733   1210305       417       262      2415     67483     10029   4521266     91.83     33.03  --
3279.56/821.01	c  N dy  8878   1230336       437       262      2476     87543     10129   6518284    100.24     33.04  --
3309.12/828.45	c  N dy  9022   1250415       437       262      2476     59911     10129   3714811    103.62     33.06  --
3349.86/838.66	c  N dy  9166   1270519       437       262      2476     79510     10129   5743982    116.62     33.07  --
3398.20/850.76	c  N dy  9311   1290612       437       262      2476     51246     10129   2853218    112.20     33.07  --
3425.76/857.68	c  N dy  9457   1310674       437       262      2476     71006     10129   4919606    104.83     33.07  --
3474.10/869.75	c  N dy  9602   1330716       437       262      2476     90698     10129   6991228    108.65     33.07  --
3514.04/879.76	c  N dy  9747   1350807       437       262      2476     61249     10129   3744912     88.68     33.08  --
3553.19/889.58	c  N dy  9891   1370817       437       262      2476     80888     10129   5768642    105.45     33.08  --
3613.51/904.62	c  N dy 10036   1390968       437       262      2476     50700     10129   2687915    107.15     33.07  --
3641.48/911.68	c  N dy 10181   1410976       437       262      2476     70336     10129   4682112    100.17     33.07  --
3691.80/924.28	c  N dy 10326   1430980       437       262      2476     90003     10129   6681290    107.38     33.06  --
3744.54/937.48	c  N dy 10473   1451073       437       262      2476     58703     10129   3421508    101.20     33.06  --
3787.30/948.20	c  N dy 10618   1471088       437       262      2476     78470     10129   5504683    103.72     33.05  --
3851.19/964.19	c  N dy 10763   1491162       437       262      2476     98210     10129   7516997    108.63     33.05  --
3894.33/974.93	c  N dy 10907   1511234       437       262      2476     65781     10129   4104139    108.69     33.05  --
3898.73/976.05	c Finding binary XORs  T:     0.00 s  found:       5
3898.73/976.06	c Replacing        5 vars Replaced      313 lits Time:     0.06 s 
3936.28/985.48	c  N dy 11052   1531309       432       262      2456     85531     10109   6168196    110.62     33.05  --
4003.79/1002.34	c  N dy 11197   1551418       432       262      2456    105355     10109   8185173    101.71     33.04  --
4034.95/1010.17	c  N dy 11341   1571489       432       262      2456     71914     10109   4643150    102.05     33.04  --
4082.47/1022.09	c  N dy 11486   1591559       432       262      2456     91648     10109   6636857    107.11     33.03  --
4148.01/1038.47	c  N dy 11631   1611605       432       262      2456     57292     10109   3160472     92.51     33.03  --
4183.17/1047.27	c  N dy 11777   1631704       432       262      2456     77128     10109   5193360    106.02     33.02  --
4242.67/1062.16	c  N dy 11922   1651761       432       262      2456     96839     10109   7176151    103.05     33.03  --
4305.80/1077.96	c  N dy 12066   1671765       432       262      2456     61480     10109   3592418    110.66     33.03  --
4350.52/1089.11	c  N dy 12211   1691811       432       262      2456     81211     10109   5624905    104.55     33.02  --
4412.84/1104.74	c  S st 12346   1710306       432       262      2456     99444     10109   7474859    101.35     33.02  --
4414.04/1105.02	c  S st 12346   1710809       432       262      2456     99943     10109   7526937    101.35     33.02  --
4414.04/1105.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
4414.04/1105.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4425.22/1107.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 11.13
4425.22/1107.83	c Calc non-exist non-lernt bins v-fix:     0 done:    432 time:  0.01 s
4425.22/1107.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4425.22/1107.89	c Subs w/ non-existent bins:      0 time:  0.24 s
4426.02/1108.01	c bin-w-bin subsume rem           10 bins  time:  0.00 s
4434.01/1110.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  8.32 s
4434.01/1110.09	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s

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-3261273-1304131286/watcher-3261273-1304131286 -o /tmp/evaluation-result-3261273-1304131286/solver-3261273-1304131286 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3261273-1304131286.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.52 8.03 8.05 1/179 11351
/proc/meminfo: memFree=29673104/32951124 swapFree=67111352/67111528
[pid=11351] ppid=11349 vsize=50696 CPUtime=0 cores=1,3,5,7
/proc/11351/stat : 11351 (techdemo) R 11349 11351 10653 0 -1 4202496 716 0 0 0 0 0 0 0 23 0 1 0 524726450 51912704 651 33554432000 4194304 4797429 140737208621616 18446744073709551615 255376998086 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/11351/statm: 12674 651 348 148 0 7603 0

[startup+0.070766 s]
/proc/loadavg: 7.52 8.03 8.05 1/179 11351
/proc/meminfo: memFree=29673104/32951124 swapFree=67111352/67111528
[pid=11351] ppid=11349 vsize=672584 CPUtime=0.25 cores=1,3,5,7
/proc/11351/stat : 11351 (techdemo) R 11349 11351 10653 0 -1 4202496 1668 0 0 0 25 0 0 0 25 0 4 0 524726450 688726016 1557 33554432000 4194304 4797429 140737208621616 18446744073709551615 4389692 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11351/statm: 168146 1557 407 148 0 163075 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 672584

[startup+0.10076 s]
/proc/loadavg: 7.52 8.03 8.05 1/179 11351
/proc/meminfo: memFree=29673104/32951124 swapFree=67111352/67111528
[pid=11351] ppid=11349 vsize=672724 CPUtime=0.37 cores=1,3,5,7
/proc/11351/stat : 11351 (techdemo) R 11349 11351 10653 0 -1 4202496 1969 0 0 0 37 0 0 0 25 0 4 0 524726450 688869376 1856 33554432000 4194304 4797429 140737208621616 18446744073709551615 4387372 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11351/statm: 168181 1856 409 148 0 163110 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 672724

[startup+0.300725 s]
/proc/loadavg: 7.52 8.03 8.05 1/179 11351
/proc/meminfo: memFree=29673104/32951124 swapFree=67111352/67111528
[pid=11351] ppid=11349 vsize=674740 CPUtime=1.16 cores=1,3,5,7
/proc/11351/stat : 11351 (techdemo) R 11349 11351 10653 0 -1 4202496 3458 0 0 0 116 0 0 0 25 0 4 0 524726450 690933760 3337 33554432000 4194304 4797429 140737208621616 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11351/statm: 168685 3337 409 148 0 163614 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 674740

[startup+0.700677 s]
/proc/loadavg: 7.52 8.03 8.05 1/179 11351
/proc/meminfo: memFree=29673104/32951124 swapFree=67111352/67111528
[pid=11351] ppid=11349 vsize=680232 CPUtime=2.76 cores=1,3,5,7
/proc/11351/stat : 11351 (techdemo) R 11349 11351 10653 0 -1 4202496 6332 0 0 0 275 1 0 0 25 0 4 0 524726450 696557568 4261 33554432000 4194304 4797429 140737208621616 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11351/statm: 170058 4261 410 148 0 164987 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 680232

[startup+1.50051 s]
/proc/loadavg: 7.52 8.03 8.05 10/188 11385
/proc/meminfo: memFree=29637708/32951124 swapFree=67111352/67111528
[pid=11351] ppid=11349 vsize=683148 CPUtime=5.96 cores=1,3,5,7
/proc/11351/stat : 11351 (techdemo) R 11349 11351 10653 0 -1 4202496 11454 0 0 0 594 2 0 0 25 0 4 0 524726450 699543552 8644 33554432000 4194304 4797429 140737208621616 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11351/statm: 170787 8644 413 148 0 165716 0
[pid=11351/tid=11353] ppid=11349 vsize=683148 CPUtime=1.48 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (techdemo) R 11349 11351 10653 0 -1 4202560 2683 0 0 0 148 0 0 0 25 0 4 0 524726451 699543552 8644 33554432000 4194304 4797429 140737208621616 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11351/tid=11354] ppid=11349 vsize=683148 CPUtime=1.48 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (techdemo) R 11349 11351 10653 0 -1 4202560 2718 0 0 0 148 0 0 0 19 0 4 0 524726451 699543552 8644 33554432000 4194304 4797429 140737208621616 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11351/tid=11355] ppid=11349 vsize=683148 CPUtime=1.47 cores=1,3,5,7
/proc/11351/task/11355/stat : 11355 (techdemo) R 11349 11351 10653 0 -1 4202560 2933 0 0 0 147 0 0 0 25 0 4 0 524726451 699543552 8644 33554432000 4194304 4797429 140737208621616 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 683148

[startup+3.10021 s]
/proc/loadavg: 7.52 8.03 8.05 9/188 11385
/proc/meminfo: memFree=29618488/32951124 swapFree=67111352/67111528
[pid=11351] ppid=11349 vsize=684632 CPUtime=12.35 cores=1,3,5,7
/proc/11351/stat : 11351 (techdemo) R 11349 11351 10653 0 -1 4202496 13018 0 0 0 1232 3 0 0 25 0 4 0 524726450 701063168 9240 33554432000 4194304 4797429 140737208621616 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11351/statm: 171158 9240 414 148 0 166087 0
[pid=11351/tid=11353] ppid=11349 vsize=684632 CPUtime=3.08 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (techdemo) R 11349 11351 10653 0 -1 4202560 2732 0 0 0 308 0 0 0 25 0 4 0 524726451 701063168 9240 33554432000 4194304 4797429 140737208621616 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11351/tid=11354] ppid=11349 vsize=684632 CPUtime=3.08 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (techdemo) R 11349 11351 10653 0 -1 4202560 2758 0 0 0 308 0 0 0 23 0 4 0 524726451 701063168 9240 33554432000 4194304 4797429 140737208621616 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11351/tid=11355] ppid=11349 vsize=684632 CPUtime=3.07 cores=1,3,5,7
/proc/11351/task/11355/stat : 11355 (techdemo) R 11349 11351 10653 0 -1 4202560 2985 0 0 0 306 1 0 0 25 0 4 0 524726451 701063168 9240 33554432000 4194304 4797429 140737208621616 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 684632

[startup+6.30062 s]
/proc/loadavg: 7.56 8.03 8.05 9/188 11385
/proc/meminfo: memFree=29604304/32951124 swapFree=67111352/67111528
[pid=11351] ppid=11349 vsize=693088 CPUtime=25.14 cores=1,3,5,7
/proc/11351/stat : 11351 (techdemo) R 11349 11351 10653 0 -1 4202496 17714 0 0 0 2510 4 0 0 25 0 4 0 524726450 709722112 10260 33554432000 4194304 4797429 140737208621616 18446744073709551615 4568105 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11351/statm: 173272 10260 415 148 0 168201 0
[pid=11351/tid=11353] ppid=11349 vsize=693088 CPUtime=6.28 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (techdemo) R 11349 11351 10653 0 -1 4202560 3379 0 0 0 628 0 0 0 25 0 4 0 524726451 709722112 10260 33554432000 4194304 4797429 140737208621616 18446744073709551615 4506622 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11351/tid=11354] ppid=11349 vsize=693088 CPUtime=6.28 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (techdemo) R 11349 11351 10653 0 -1 4202560 3398 0 0 0 628 0 0 0 25 0 4 0 524726451 709722112 10260 33554432000 4194304 4797429 140737208621616 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11351/tid=11355] ppid=11349 vsize=693088 CPUtime=6.25 cores=1,3,5,7
/proc/11351/task/11355/stat : 11355 (techdemo) R 11349 11351 10653 0 -1 4202560 3658 0 0 0 624 1 0 0 25 0 4 0 524726451 709722112 10260 33554432000 4194304 4797429 140737208621616 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 693088

[startup+12.7004 s]
/proc/loadavg: 7.59 8.03 8.05 9/188 11385
/proc/meminfo: memFree=29582692/32951124 swapFree=67111352/67111528
[pid=11351] ppid=11349 vsize=700736 CPUtime=50.69 cores=1,3,5,7
/proc/11351/stat : 11351 (techdemo) R 11349 11351 10653 0 -1 4202496 23265 0 0 0 5064 5 0 0 25 0 4 0 524726450 717553664 14232 33554432000 4194304 4797429 140737208621616 18446744073709551615 4520280 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11351/statm: 175184 14232 417 148 0 170113 0
[pid=11351/tid=11353] ppid=11349 vsize=700736 CPUtime=12.68 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (techdemo) R 11349 11351 10653 0 -1 4202560 4001 0 0 0 1268 0 0 0 25 0 4 0 524726451 717553664 14232 33554432000 4194304 4797429 140737208621616 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11351/tid=11354] ppid=11349 vsize=700736 CPUtime=12.68 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (techdemo) R 11349 11351 10653 0 -1 4202560 4043 0 0 0 1268 0 0 0 25 0 4 0 524726451 717553664 14232 33554432000 4194304 4797429 140737208621616 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11351/tid=11355] ppid=11349 vsize=700736 CPUtime=12.61 cores=1,3,5,7
/proc/11351/task/11355/stat : 11355 (techdemo) R 11349 11351 10653 0 -1 4202560 4165 0 0 0 1260 1 0 0 25 0 4 0 524726451 717553664 14232 33554432000 4194304 4797429 140737208621616 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 700736

[startup+25.5011 s]
/proc/loadavg: 7.82 8.06 8.06 9/188 11385
/proc/meminfo: memFree=29560412/32951124 swapFree=67111352/67111528
[pid=11351] ppid=11349 vsize=709844 CPUtime=101.83 cores=1,3,5,7
/proc/11351/stat : 11351 (techdemo) R 11349 11351 10653 0 -1 4202496 30879 0 0 0 10175 8 0 0 25 0 4 0 524726450 726880256 16408 33554432000 4194304 4797429 140737208621616 18446744073709551615 4520280 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11351/statm: 177461 16408 417 148 0 172390 0
[pid=11351/tid=11353] ppid=11349 vsize=709844 CPUtime=25.49 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (techdemo) R 11349 11351 10653 0 -1 4202560 4886 0 0 0 2548 1 0 0 25 0 4 0 524726451 726880256 16408 33554432000 4194304 4797429 140737208621616 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11351/tid=11354] ppid=11349 vsize=709844 CPUtime=25.48 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (techdemo) R 11349 11351 10653 0 -1 4202560 4845 0 0 0 2547 1 0 0 25 0 4 0 524726451 726880256 16408 33554432000 4194304 4797429 140737208621616 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11351/tid=11355] ppid=11349 vsize=709844 CPUtime=25.34 cores=1,3,5,7
/proc/11351/task/11355/stat : 11355 (techdemo) R 11349 11351 10653 0 -1 4202560 4710 0 0 0 2533 1 0 0 25 0 4 0 524726451 726880256 16408 33554432000 4194304 4797429 140737208621616 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 709844

[startup+51.1003 s]
/proc/loadavg: 8.02 8.09 8.07 9/188 11386
/proc/meminfo: memFree=29539428/32951124 swapFree=67111352/67111528
[pid=11351] ppid=11349 vsize=714604 CPUtime=204.09 cores=1,3,5,7
/proc/11351/stat : 11351 (techdemo) R 11349 11351 10653 0 -1 4202496 38193 0 0 0 20398 11 0 0 25 0 4 0 524726450 731754496 18626 33554432000 4194304 4797429 140737208621616 18446744073709551615 4424987 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11351/statm: 178651 18626 419 148 0 173580 0
[pid=11351/tid=11353] ppid=11349 vsize=714604 CPUtime=51.08 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (techdemo) R 11349 11351 10653 0 -1 4202560 5885 0 0 0 5107 1 0 0 25 0 4 0 524726451 731754496 18626 33554432000 4194304 4797429 140737208621616 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11351/tid=11354] ppid=11349 vsize=714604 CPUtime=51.08 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (techdemo) R 11349 11351 10653 0 -1 4202560 5748 0 0 0 5107 1 0 0 25 0 4 0 524726451 731754496 18626 33554432000 4194304 4797429 140737208621616 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11351/tid=11355] ppid=11349 vsize=714604 CPUtime=50.81 cores=1,3,5,7
/proc/11351/task/11355/stat : 11355 (techdemo) R 11349 11351 10653 0 -1 4202560 6293 0 0 0 5079 2 0 0 25 0 4 0 524726451 731754496 18626 33554432000 4194304 4797429 140737208621616 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 714604

[startup+102.307 s]
/proc/loadavg: 8.09 8.10 8.07 9/188 11387
/proc/meminfo: memFree=29511224/32951124 swapFree=67111352/67111528
[pid=11351] ppid=11349 vsize=728160 CPUtime=408.63 cores=1,3,5,7
/proc/11351/stat : 11351 (techdemo) R 11349 11351 10653 0 -1 4202496 69349 0 0 0 40843 20 0 0 25 0 4 0 524726450 745635840 23764 33554432000 4194304 4797429 140737208621616 18446744073709551615 4429107 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11351/statm: 182040 23764 419 148 0 176969 0
[pid=11351/tid=11353] ppid=11349 vsize=728160 CPUtime=102.29 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (techdemo) R 11349 11351 10653 0 -1 4202560 7853 0 0 0 10227 2 0 0 25 0 4 0 524726451 745635840 23764 33554432000 4194304 4797429 140737208621616 18446744073709551615 4495559 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11351/tid=11354] ppid=11349 vsize=728160 CPUtime=102.29 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (techdemo) R 11349 11351 10653 0 -1 4202560 7422 0 0 0 10227 2 0 0 25 0 4 0 524726451 745635840 23764 33554432000 4194304 4797429 140737208621616 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11351/tid=11355] ppid=11349 vsize=728160 CPUtime=101.74 cores=1,3,5,7
/proc/11351/task/11355/stat : 11355 (techdemo) R 11349 11351 10653 0 -1 4202560 8068 0 0 0 10171 3 0 0 25 0 4 0 524726451 745635840 23764 33554432000 4194304 4797429 140737208621616 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 728160

[startup+162.301 s]
/proc/loadavg: 8.40 8.17 8.10 9/188 11389
/proc/meminfo: memFree=29476708/32951124 swapFree=67111352/67111528
[pid=11351] ppid=11349 vsize=739256 CPUtime=648.29 cores=1,3,5,7
/proc/11351/stat : 11351 (techdemo) R 11349 11351 10653 0 -1 4202496 96323 0 0 0 64800 29 0 0 25 0 4 0 524726450 756998144 26783 33554432000 4194304 4797429 140737208621616 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11351/statm: 184814 26783 422 148 0 179743 0
[pid=11351/tid=11353] ppid=11349 vsize=739256 CPUtime=162.28 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (techdemo) R 11349 11351 10653 0 -1 4202560 9888 0 0 0 16226 2 0 0 25 0 4 0 524726451 756998144 26783 33554432000 4194304 4797429 140737208621616 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11351/tid=11354] ppid=11349 vsize=739256 CPUtime=162.28 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (techdemo) R 11349 11351 10653 0 -1 4202560 9156 0 0 0 16226 2 0 0 25 0 4 0 524726451 756998144 26783 33554432000 4194304 4797429 140737208621616 18446744073709551615 4495525 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11351/tid=11355] ppid=11349 vsize=739256 CPUtime=161.4 cores=1,3,5,7
/proc/11351/task/11355/stat : 11355 (techdemo) R 11349 11351 10653 0 -1 4202560 9783 0 0 0 16137 3 0 0 25 0 4 0 524726451 756998144 26783 33554432000 4194304 4797429 140737208621616 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 648.29
Current children cumulated vsize (KiB) 739256

[startup+222.301 s]
/proc/loadavg: 8.22 8.17 8.10 9/188 11391
/proc/meminfo: memFree=29447620/32951124 swapFree=67111352/67111528
[pid=11351] ppid=11349 vsize=746992 CPUtime=887.96 cores=1,3,5,7
/proc/11351/stat : 11351 (techdemo) R 11349 11351 10653 0 -1 4202496 122288 0 0 0 88757 39 0 0 25 0 4 0 524726450 764919808 31440 33554432000 4194304 4797429 140737208621616 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11351/statm: 186748 31440 422 148 0 181677 0
[pid=11351/tid=11353] ppid=11349 vsize=746992 CPUtime=222.28 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (techdemo) R 11349 11351 10653 0 -1 4202560 11810 0 0 0 22225 3 0 0 25 0 4 0 524726451 764919808 31440 33554432000 4194304 4797429 140737208621616 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11351/tid=11354] ppid=11349 vsize=746992 CPUtime=222.29 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (techdemo) R 11349 11351 10653 0 -1 4202560 10187 0 0 0 22226 3 0 0 25 0 4 0 524726451 764919808 31440 33554432000 4194304 4797429 140737208621616 18446744073709551615 4495544 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11351/tid=11355] ppid=11349 vsize=746992 CPUtime=221.07 cores=1,3,5,7
/proc/11351/task/11355/stat : 11355 (techdemo) R 11349 11351 10653 0 -1 4202560 11700 0 0 0 22104 3 0 0 25 0 4 0 524726451 764919808 31440 33554432000 4194304 4797429 140737208621616 18446744073709551615 4520288 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 887.96
Current children cumulated vsize (KiB) 746992

[startup+282.3 s]

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

[pid=11351] ppid=11349 vsize=798460 CPUtime=2805.39 cores=1,3,5,7
/proc/11351/stat : 11351 (techdemo) R 11349 11351 10653 0 -1 4202496 277246 0 0 0 280438 101 0 0 25 0 4 0 524726450 817623040 49992 33554432000 4194304 4797429 140737208621616 18446744073709551615 4429165 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11351/statm: 199615 49992 421 148 0 194544 0
[pid=11351/tid=11353] ppid=11349 vsize=798460 CPUtime=702.3 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (techdemo) R 11349 11351 10653 0 -1 4202560 24053 0 0 0 70223 7 0 0 25 0 4 0 524726451 817623040 49992 33554432000 4194304 4797429 140737208621616 18446744073709551615 4524536 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11351/tid=11354] ppid=11349 vsize=798460 CPUtime=702.3 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (techdemo) R 11349 11351 10653 0 -1 4202560 21400 0 0 0 70225 5 0 0 25 0 4 0 524726451 817623040 49992 33554432000 4194304 4797429 140737208621616 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11351/tid=11355] ppid=11349 vsize=798460 CPUtime=698.47 cores=1,3,5,7
/proc/11351/task/11355/stat : 11355 (techdemo) R 11349 11351 10653 0 -1 4202560 22099 0 0 0 69841 6 0 0 25 0 4 0 524726451 817623040 49992 33554432000 4194304 4797429 140737208621616 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.39
Current children cumulated vsize (KiB) 798460

[startup+762.307 s]
/proc/loadavg: 8.15 8.16 8.11 9/188 11405
/proc/meminfo: memFree=29301372/32951124 swapFree=67111352/67111528
[pid=11351] ppid=11349 vsize=807524 CPUtime=3045.09 cores=1,3,5,7
/proc/11351/stat : 11351 (techdemo) R 11349 11351 10653 0 -1 4202496 283017 0 0 0 304406 103 0 0 25 0 4 0 524726450 826904576 52625 33554432000 4194304 4797429 140737208621616 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11351/statm: 201881 52625 421 148 0 196810 0
[pid=11351/tid=11353] ppid=11349 vsize=807524 CPUtime=762.31 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (techdemo) R 11349 11351 10653 0 -1 4202560 25072 0 0 0 76223 8 0 0 25 0 4 0 524726451 826904576 52625 33554432000 4194304 4797429 140737208621616 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11351/tid=11354] ppid=11349 vsize=807524 CPUtime=762.31 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (techdemo) R 11349 11351 10653 0 -1 4202560 23180 0 0 0 76225 6 0 0 25 0 4 0 524726451 826904576 52625 33554432000 4194304 4797429 140737208621616 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11351/tid=11355] ppid=11349 vsize=807524 CPUtime=758.16 cores=1,3,5,7
/proc/11351/task/11355/stat : 11355 (techdemo) R 11349 11351 10653 0 -1 4202560 23121 0 0 0 75809 7 0 0 25 0 4 0 524726451 826904576 52625 33554432000 4194304 4797429 140737208621616 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.09
Current children cumulated vsize (KiB) 807524

[startup+822.3 s]
/proc/loadavg: 8.14 8.16 8.11 10/188 11407
/proc/meminfo: memFree=29287428/32951124 swapFree=67111352/67111528
[pid=11351] ppid=11349 vsize=809596 CPUtime=3284.75 cores=1,3,5,7
/proc/11351/stat : 11351 (techdemo) R 11349 11351 10653 0 -1 4202496 290833 0 0 0 328369 106 0 0 25 0 4 0 524726450 829026304 55668 33554432000 4194304 4797429 140737208621616 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11351/statm: 202399 55668 421 148 0 197328 0
[pid=11351/tid=11353] ppid=11349 vsize=809596 CPUtime=822.3 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (techdemo) R 11349 11351 10653 0 -1 4202560 26014 0 0 0 82222 8 0 0 25 0 4 0 524726451 829026304 55668 33554432000 4194304 4797429 140737208621616 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11351/tid=11354] ppid=11349 vsize=809596 CPUtime=822.31 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (techdemo) R 11349 11351 10653 0 -1 4202560 25142 0 0 0 82224 7 0 0 25 0 4 0 524726451 829026304 55668 33554432000 4194304 4797429 140737208621616 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11351/tid=11355] ppid=11349 vsize=809596 CPUtime=817.82 cores=1,3,5,7
/proc/11351/task/11355/stat : 11355 (techdemo) R 11349 11351 10653 0 -1 4202560 25534 0 0 0 81775 7 0 0 25 0 4 0 524726451 829026304 55668 33554432000 4194304 4797429 140737208621616 18446744073709551615 4524611 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.75
Current children cumulated vsize (KiB) 809596

[startup+882.3 s]
/proc/loadavg: 8.10 8.14 8.10 9/188 11408
/proc/meminfo: memFree=29279428/32951124 swapFree=67111352/67111528
[pid=11351] ppid=11349 vsize=815276 CPUtime=3524.42 cores=1,3,5,7
/proc/11351/stat : 11351 (techdemo) R 11349 11351 10653 0 -1 4202496 316164 0 0 0 352326 116 0 0 25 0 4 0 524726450 834842624 55491 33554432000 4194304 4797429 140737208621616 18446744073709551615 4351775 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11351/statm: 203819 55491 421 148 0 198748 0
[pid=11351/tid=11353] ppid=11349 vsize=815276 CPUtime=882.3 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (techdemo) R 11349 11351 10653 0 -1 4202560 27820 0 0 0 88222 8 0 0 25 0 4 0 524726451 834842624 55491 33554432000 4194304 4797429 140737208621616 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11351/tid=11354] ppid=11349 vsize=815276 CPUtime=882.3 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (techdemo) R 11349 11351 10653 0 -1 4202560 26034 0 0 0 88223 7 0 0 25 0 4 0 524726451 834842624 55491 33554432000 4194304 4797429 140737208621616 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11351/tid=11355] ppid=11349 vsize=815276 CPUtime=877.5 cores=1,3,5,7
/proc/11351/task/11355/stat : 11355 (techdemo) R 11349 11351 10653 0 -1 4202560 26696 0 0 0 87742 8 0 0 25 0 4 0 524726451 834842624 55491 33554432000 4194304 4797429 140737208621616 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.42
Current children cumulated vsize (KiB) 815276

[startup+942.301 s]
/proc/loadavg: 8.08 8.13 8.09 9/188 11410
/proc/meminfo: memFree=29273552/32951124 swapFree=67111352/67111528
[pid=11351] ppid=11349 vsize=818692 CPUtime=3764.11 cores=1,3,5,7
/proc/11351/stat : 11351 (techdemo) R 11349 11351 10653 0 -1 4202496 337239 0 0 0 376286 125 0 0 25 0 4 0 524726450 838340608 55950 33554432000 4194304 4797429 140737208621616 18446744073709551615 4351768 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11351/statm: 204673 55950 421 148 0 199602 0
[pid=11351/tid=11353] ppid=11349 vsize=818692 CPUtime=942.3 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (techdemo) R 11349 11351 10653 0 -1 4202560 28409 0 0 0 94222 8 0 0 25 0 4 0 524726451 838340608 55950 33554432000 4194304 4797429 140737208621616 18446744073709551615 4428962 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11351/tid=11354] ppid=11349 vsize=818692 CPUtime=942.31 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (techdemo) R 11349 11351 10653 0 -1 4202560 27844 0 0 0 94223 8 0 0 25 0 4 0 524726451 838340608 55950 33554432000 4194304 4797429 140737208621616 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11351/tid=11355] ppid=11349 vsize=818692 CPUtime=937.17 cores=1,3,5,7
/proc/11351/task/11355/stat : 11355 (techdemo) R 11349 11351 10653 0 -1 4202560 28805 0 0 0 93709 8 0 0 25 0 4 0 524726451 838340608 55950 33554432000 4194304 4797429 140737208621616 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.11
Current children cumulated vsize (KiB) 818692

[startup+1002.3 s]
/proc/loadavg: 8.13 8.15 8.10 9/188 11411
/proc/meminfo: memFree=29262604/32951124 swapFree=67111352/67111528
[pid=11351] ppid=11349 vsize=821472 CPUtime=4003.79 cores=1,3,5,7
/proc/11351/stat : 11351 (techdemo) R 11349 11351 10653 0 -1 4202496 353592 0 0 0 400246 133 0 0 25 0 4 0 524726450 841187328 59298 33554432000 4194304 4797429 140737208621616 18446744073709551615 4425057 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11351/statm: 205368 59298 421 148 0 200297 0
[pid=11351/tid=11353] ppid=11349 vsize=821472 CPUtime=1002.3 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (techdemo) R 11349 11351 10653 0 -1 4202560 29861 0 0 0 100221 9 0 0 25 0 4 0 524726451 841187328 59298 33554432000 4194304 4797429 140737208621616 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11351/tid=11354] ppid=11349 vsize=821472 CPUtime=1002.31 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (techdemo) R 11349 11351 10653 0 -1 4202560 29342 0 0 0 100223 8 0 0 25 0 4 0 524726451 841187328 59298 33554432000 4194304 4797429 140737208621616 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11351/tid=11355] ppid=11349 vsize=821472 CPUtime=996.84 cores=1,3,5,7
/proc/11351/task/11355/stat : 11355 (techdemo) R 11349 11351 10653 0 -1 4202560 29674 0 0 0 99676 8 0 0 25 0 4 0 524726451 841187328 59298 33554432000 4194304 4797429 140737208621616 18446744073709551615 4567988 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.79
Current children cumulated vsize (KiB) 821472

[startup+1062.3 s]
/proc/loadavg: 8.08 8.13 8.09 10/188 11413
/proc/meminfo: memFree=29247168/32951124 swapFree=67111352/67111528
[pid=11351] ppid=11349 vsize=824632 CPUtime=4243.47 cores=1,3,5,7
/proc/11351/stat : 11351 (techdemo) R 11349 11351 10653 0 -1 4202496 373746 0 0 0 424204 143 0 0 25 0 4 0 524726450 844423168 60286 33554432000 4194304 4797429 140737208621616 18446744073709551615 255376998086 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11351/statm: 206158 60286 421 148 0 201087 0
[pid=11351/tid=11353] ppid=11349 vsize=824632 CPUtime=1062.31 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (techdemo) R 11349 11351 10653 0 -1 4202560 30587 0 0 0 106222 9 0 0 25 0 4 0 524726451 844423168 60286 33554432000 4194304 4797429 140737208621616 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11351/tid=11354] ppid=11349 vsize=824632 CPUtime=1062.31 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (techdemo) R 11349 11351 10653 0 -1 4202560 30424 0 0 0 106223 8 0 0 25 0 4 0 524726451 844423168 60286 33554432000 4194304 4797429 140737208621616 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11351/tid=11355] ppid=11349 vsize=824632 CPUtime=1056.52 cores=1,3,5,7
/proc/11351/task/11355/stat : 11355 (techdemo) R 11349 11351 10653 0 -1 4202560 31771 0 0 0 105643 9 0 0 25 0 4 0 524726451 844423168 60286 33554432000 4194304 4797429 140737208621616 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.47
Current children cumulated vsize (KiB) 824632

[startup+1122.3 s]
/proc/loadavg: 8.21 8.16 8.10 10/188 11415
/proc/meminfo: memFree=29218596/32951124 swapFree=67111352/67111528
[pid=11351] ppid=11349 vsize=843984 CPUtime=4483.15 cores=1,3,5,7
/proc/11351/stat : 11351 (techdemo) R 11349 11351 10653 0 -1 4202496 389088 0 0 0 448165 150 0 0 25 0 4 0 524726450 864239616 66949 33554432000 4194304 4797429 140737208621616 18446744073709551615 4523992 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11351/statm: 210996 66949 422 148 0 205925 0
[pid=11351/tid=11353] ppid=11349 vsize=843984 CPUtime=1122.31 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (techdemo) R 11349 11351 10653 0 -1 4202560 31021 0 0 0 112222 9 0 0 25 0 4 0 524726451 864239616 66949 33554432000 4194304 4797429 140737208621616 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11351/tid=11354] ppid=11349 vsize=843984 CPUtime=1122.31 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (techdemo) R 11349 11351 10653 0 -1 4202560 31090 0 0 0 112222 9 0 0 25 0 4 0 524726451 864239616 66949 33554432000 4194304 4797429 140737208621616 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11351/tid=11355] ppid=11349 vsize=843984 CPUtime=1116.19 cores=1,3,5,7
/proc/11351/task/11355/stat : 11355 (techdemo) R 11349 11351 10653 0 -1 4202560 32598 0 0 0 111610 9 0 0 25 0 4 0 524726451 864239616 66949 33554432000 4194304 4797429 140737208621616 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.15
Current children cumulated vsize (KiB) 843984

[startup+1182.3 s]
/proc/loadavg: 8.19 8.16 8.10 9/188 11425
/proc/meminfo: memFree=29222756/32951124 swapFree=67111352/67111528
[pid=11351] ppid=11349 vsize=844408 CPUtime=4722.82 cores=1,3,5,7
/proc/11351/stat : 11351 (techdemo) R 11349 11351 10653 0 -1 4202496 394426 0 0 0 472130 152 0 0 25 0 4 0 524726450 864673792 64771 33554432000 4194304 4797429 140737208621616 18446744073709551615 4508100 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11351/statm: 211102 64771 422 148 0 206031 0
[pid=11351/tid=11353] ppid=11349 vsize=844408 CPUtime=1182.31 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (techdemo) R 11349 11351 10653 0 -1 4202560 32754 0 0 0 118221 10 0 0 25 0 4 0 524726451 864673792 64771 33554432000 4194304 4797429 140737208621616 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11351/tid=11354] ppid=11349 vsize=844408 CPUtime=1182.31 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (techdemo) R 11349 11351 10653 0 -1 4202560 32784 0 0 0 118222 9 0 0 25 0 4 0 524726451 864673792 64771 33554432000 4194304 4797429 140737208621616 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11351/tid=11355] ppid=11349 vsize=844408 CPUtime=1175.87 cores=1,3,5,7
/proc/11351/task/11355/stat : 11355 (techdemo) R 11349 11351 10653 0 -1 4202560 34485 0 0 0 117577 10 0 0 25 0 4 0 524726451 864673792 64771 33554432000 4194304 4797429 140737208621616 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.82
Current children cumulated vsize (KiB) 844408



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.33 8.20 8.11 9/188 11426
/proc/meminfo: memFree=29222392/32951124 swapFree=67111352/67111528
[pid=11351] ppid=11349 vsize=844408 CPUtime=4800.33 cores=1,3,5,7
/proc/11351/stat : 11351 (techdemo) R 11349 11351 10653 0 -1 4202496 395260 0 0 0 479881 152 0 0 25 0 4 0 524726450 864673792 65598 33554432000 4194304 4797429 140737208621616 18446744073709551615 4568098 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11351/statm: 211102 65598 422 148 0 206031 0
[pid=11351/tid=11353] ppid=11349 vsize=844408 CPUtime=1201.71 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (techdemo) R 11349 11351 10653 0 -1 4202560 33029 0 0 0 120161 10 0 0 25 0 4 0 524726451 864673792 65598 33554432000 4194304 4797429 140737208621616 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11351/tid=11354] ppid=11349 vsize=844408 CPUtime=1201.72 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (techdemo) R 11349 11351 10653 0 -1 4202560 33065 0 0 0 120162 10 0 0 25 0 4 0 524726451 864673792 65598 33554432000 4194304 4797429 140737208621616 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11351/tid=11355] ppid=11349 vsize=844408 CPUtime=1195.16 cores=1,3,5,7
/proc/11351/task/11355/stat : 11355 (techdemo) R 11349 11351 10653 0 -1 4202560 34763 0 0 0 119506 10 0 0 25 0 4 0 524726451 864673792 65598 33554432000 4194304 4797429 140737208621616 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 844408

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

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

[startup+1201.7 s]
/proc/loadavg: 8.33 8.20 8.11 9/188 11426
/proc/meminfo: memFree=29222392/32951124 swapFree=67111352/67111528
[pid=11351] ppid=11349 vsize=844408 CPUtime=4800.33 cores=1,3,5,7
/proc/11351/stat : 11351 (techdemo) R 11349 11351 10653 0 -1 4202496 395260 0 0 0 479881 152 0 0 25 0 4 0 524726450 864673792 65598 33554432000 4194304 4797429 140737208621616 18446744073709551615 4568098 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11351/statm: 211102 65598 422 148 0 206031 0
[pid=11351/tid=11353] ppid=11349 vsize=844408 CPUtime=1201.71 cores=1,3,5,7
/proc/11351/task/11353/stat : 11353 (techdemo) R 11349 11351 10653 0 -1 4202560 33029 0 0 0 120161 10 0 0 25 0 4 0 524726451 864673792 65598 33554432000 4194304 4797429 140737208621616 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11351/tid=11354] ppid=11349 vsize=844408 CPUtime=1201.72 cores=1,3,5,7
/proc/11351/task/11354/stat : 11354 (techdemo) R 11349 11351 10653 0 -1 4202560 33065 0 0 0 120162 10 0 0 25 0 4 0 524726451 864673792 65598 33554432000 4194304 4797429 140737208621616 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11351/tid=11355] ppid=11349 vsize=844408 CPUtime=1195.16 cores=1,3,5,7
/proc/11351/task/11355/stat : 11355 (techdemo) R 11349 11351 10653 0 -1 4202560 34763 0 0 0 119506 10 0 0 25 0 4 0 524726451 864673792 65598 33554432000 4194304 4797429 140737208621616 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 844408

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.37
CPU user time (s): 4798.83
CPU system time (s): 1.53777
CPU usage (%): 399.456
Max. virtual memory (cumulated for all children) (KiB): 944776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.83
system time used= 1.53777
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 395260
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= 395
involuntary context switches= 35636

runsolver used 1.88771 second user time and 4.68329 second system time

The end

Launcher Data 

Begin job on node135 at 2011-04-30 04:41:26
IDJOB=3261273
IDBENCH=83219
IDSOLVER=1584
FILE ID=node135/3261273-1304131286
RUNJOBID= node135-1304128877-10672
PBS_JOBID= 13170784
Free space on /tmp= 72092 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/crafted/skvortsov/battleship/battleship-14-26-sat.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3261273-1304131286/watcher-3261273-1304131286 -o /tmp/evaluation-result-3261273-1304131286/solver-3261273-1304131286 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3261273-1304131286.cnf

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

MD5SUM BENCH= 1e53251276ed6dee048eca4aa337d77b
RANDOM SEED=64024608

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
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	: 6640.14
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.851
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.78
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.851
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.851
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.74
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.851
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29673384 kB
Buffers:        934344 kB
Cached:        1759980 kB
SwapCached:        172 kB
Active:         163300 kB
Inactive:      2597564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29673384 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:           15564 kB
Writeback:           0 kB
AnonPages:       66900 kB
Mapped:          15104 kB
Slab:           454052 kB
PageTables:       4796 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   211744 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72084 MiB
End job on node135 at 2011-04-30 05:01:30