Trace number 3261449

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.35 1201.72

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-14-27-sat.cnf
MD5SUM9c54c57be5bec760a361df7b3a13ea07
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.014997
Satisfiable
(Un)Satisfiability was proved
Number of variables378
Number of clauses2653
Sum of the clauses size10206
Maximum clause length27
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22457
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-3261449-1304131448.cnf'
0.00/0.00	c -- header says num vars:            378
0.00/0.00	c -- header says num clauses:        2653
0.00/0.00	c -- clauses added:            0 learnts,         2653 normals,            0 xors
0.00/0.00	c -- vars added        378
0.00/0.00	c Parsing time:  0.01 s
0.01/0.00	c  N st     0         0       378       196      2457         0     10206         0   no data   no data  --
0.01/0.01	c asymm  cl-useful: 0/196/196 lits-rem:0 time: 0.01
0.01/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.01/0.01	c Calc non-exist non-lernt bins v-fix:     0 done:    378 time:  0.00 s
0.01/0.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.01/0.01	c Subs w/ non-existent bins:      0 time:  0.00 s
0.01/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.01/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.01/0.01	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
0.01/0.01	c lits-rem:         0  cl-subs:        0  v-elim:    252  v-fix:    0  time:  0.00 s
0.01/0.01	c learnt bin added due to v-elim: 0
0.01/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.01/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.01/0.01	c calculated reachability. Time: 0.00
0.01/0.01	c Calc default polars -  time:   0.00 s pos:       0 undec:       0 neg:     378
0.01/0.01	c =========================================================================================
0.01/0.01	c types(t): F = full restart, N = normal restart
0.01/0.01	c types(t): S = simplification begin/end, E = solution found
0.01/0.01	c restart types(rt): st = static, dy = dynamic
0.01/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.01/0.01	c  B st     0         0       378       196      2457         0     10206         0   no data   no data  --
0.40/0.11	c Decided on static restart strategy
0.76/0.26	c  N dy    20      4009       378       196      2457      3892     10206    418980    100.98     35.78  --
2.36/0.69	c  N dy    50      8107       378       196      2457      5479     10206    511413    111.21     34.69  --
5.16/1.35	c  N dy    80     12210       378       196      2457      5298     10206    420334     97.79     34.63  --
7.96/2.01	c  N dy   110     16219       378       196      2457      9228     10206    817166     96.42     34.42  --
10.76/2.78	c  N dy   140     20307       378       196      2457      7744     10206    606797     96.73     34.52  --
13.95/3.54	c  N dy   170     24334       378       196      2457     11697     10206   1006718    105.56     34.45  --
17.16/4.31	c  N dy   200     28358       378       196      2457      8975     10206    674897     99.41     34.59  --
18.34/4.67	c  S st   213     30000       378       196      2457     10574     10206    840931    102.29     34.50  --
18.74/4.71	c  S st   213     30502       378       196      2457     11073     10206    895164    102.29     34.50  --
18.74/4.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
18.74/4.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.54/4.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.6M T:  1.02
19.54/4.97	c Calc non-exist non-lernt bins v-fix:     0 done:    378 time:  0.00 s
19.54/4.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.54/4.97	c Subs w/ non-existent bins:      0 time:  0.02 s
19.54/4.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.34/6.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.66 s
24.34/6.15	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
38.72/9.72	c lits-rem:        30  cl-subs:     1490  v-elim:    378  v-fix:    0  time: 14.24 s
38.72/9.72	c learnt bin added due to v-elim: 0
38.72/9.72	c vivif2 --  cl tried      196 cl shrink        0 lits rem          0 time: 0.00
38.72/9.72	c vivif2 --  cl tried     9583 cl shrink        0 lits rem          0 time: 0.02
39.53/9.94	c asymm  cl-useful: 0/196/196 lits-rem:0 time: 0.87
39.53/9.94	c calculated reachability. Time: 0.00
39.53/9.94	c  N dy   213     30502       378       196      2457      9583     10206    792052    102.29     34.50  --
39.53/9.94	c  F st   213     30502       378       196      2457      9583     10206    792052    102.29     34.50  --
40.31/10.10	c Decided on static restart strategy
41.11/10.36	c  N dy   234     34606       378       196      2457     13587     10206   1285675    108.01     34.78  --
42.71/10.79	c  N dy   264     38682       378       196      2457      9865     10206    738323    102.11     34.74  --
45.11/11.36	c  N dy   294     42757       378       196      2457     13858     10206   1177273    112.26     34.69  --
48.32/12.17	c  S st   317     45753       378       196      2457     16813     10206   1531914    119.08     34.70  --
48.70/12.23	c  S st   317     46254       378       196      2457     17304     10206   1583701    119.08     34.70  --
48.70/12.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
48.70/12.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.51/12.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 16.7M T:  2.86
51.51/12.95	c Calc non-exist non-lernt bins v-fix:     0 done:    378 time:  0.00 s
51.51/12.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.51/12.96	c Subs w/ non-existent bins:      0 time:  0.04 s
51.51/12.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
58.29/14.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.59 s
58.29/14.64	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
86.66/21.77	c lits-rem:        44  cl-subs:     1297  v-elim:    378  v-fix:    0  time: 28.47 s
86.66/21.77	c learnt bin added due to v-elim: 0
86.66/21.77	c vivif2 --  cl tried      196 cl shrink        0 lits rem          0 time: 0.00
86.66/21.78	c vivif2 --  cl tried    16007 cl shrink        0 lits rem          0 time: 0.05
87.87/22.05	c asymm  cl-useful: 0/137/196 lits-rem:0 time: 1.10
87.87/22.05	c calculated reachability. Time: 0.00
87.87/22.05	c  N dy   317     46254       378       196      2457     16007     10206   1462164    119.08     34.70  --
89.45/22.49	c  N dy   347     50381       378       196      2457     11292     10206    887238    105.26     34.77  --
91.86/23.04	c  N dy   377     54396       378       196      2457     15232     10206   1291610    102.06     34.68  --
95.45/23.99	c  N dy   407     58530       378       196      2457     19278     10206   1730288    115.40     34.69  --
97.84/24.56	c  N dy   437     62610       378       196      2457     13530     10206   1039671    108.32     34.63  --
101.43/25.48	c  N dy   467     66670       378       196      2457     17502     10206   1453408     99.29     34.56  --
105.04/26.32	c  S st   488     69381       378       196      2457     20165     10206   1738228    107.17     34.52  --
105.04/26.39	c  S st   488     69883       378       196      2457     20664     10206   1797617    107.17     34.52  --
105.04/26.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
105.04/26.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
109.03/27.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 23.3M T:  3.76
109.03/27.34	c Calc non-exist non-lernt bins v-fix:     0 done:    378 time:  0.00 s
109.03/27.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
109.03/27.35	c Subs w/ non-existent bins:      0 time:  0.04 s
109.03/27.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
115.41/28.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.18 s
115.41/28.92	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
149.77/37.58	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
193.33/48.42	c Added 4 vars  tried: 80000 time: 43.33
194.10/48.69	c ORs :      4 avg-s:  0.0 cl-sh: 26096 l-rem:  26096 b-add:      8 v-rep:   0 cl-rem: 0 avg s: nan T:   44.40
194.50/48.71	c lits-rem:        58  cl-subs:     1422  v-elim:    378  v-fix:    0  time: 79.03 s
194.50/48.71	c learnt bin added due to v-elim: 0
194.50/48.71	c vivif2 --  cl tried      200 cl shrink        0 lits rem          0 time: 0.00
194.50/48.73	c vivif2 --  cl tried    19242 cl shrink        0 lits rem          0 time: 0.06
194.90/48.83	c asymm  cl-useful: 0/200/200 lits-rem:0 time: 0.41
194.90/48.83	c calculated reachability. Time: 0.00
194.90/48.83	c  N dy   488     69883       382       200      2465     19242     10178   1650434    107.17     34.52  --
194.90/48.83	c  F st   488     69883       382       200      2465     19242     10178   1650434    107.17     34.52  --
195.70/49.00	c Decided on static restart strategy
196.51/49.21	c  N dy   512     74419       382       200      2465     12940     10178    923796    110.26     34.50  --
198.50/49.71	c  N dy   548     79295       382       200      2465     17717     10178   1411392     99.57     34.49  --
202.89/50.82	c  N dy   585     84361       382       200      2465     22714     10178   1960927     99.88     34.55  --
205.29/51.50	c  N dy   625     89829       382       200      2465     16319     10178   1247995    104.59     34.58  --
209.69/52.50	c  N dy   667     95609       382       200      2465     22003     10178   1852421    106.85     34.61  --
214.09/53.65	c  N dy   712    101721       382       200      2465     15237     10178   1113975    107.04     34.68  --
216.08/54.17	c  S st   735    104824       382       200      2465     18296     10178   1437334    100.77     34.67  --
216.48/54.23	c  S st   735    105325       382       200      2465     18796     10178   1492802    100.77     34.67  --
216.48/54.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
216.48/54.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
220.48/55.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 26.5M T:  4.07
220.48/55.26	c Calc non-exist non-lernt bins v-fix:     0 done:    382 time:  0.00 s
220.48/55.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
220.48/55.27	c Subs w/ non-existent bins:      0 time:  0.04 s
220.48/55.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
227.27/56.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.73 s
227.27/56.97	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
247.63/62.03	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
247.63/62.05	c lits-rem:        15  cl-subs:     1788  v-elim:    378  v-fix:    0  time: 20.26 s
247.63/62.05	c learnt bin added due to v-elim: 0
247.63/62.05	c vivif2 --  cl tried      245 cl shrink        0 lits rem          0 time: 0.00
247.63/62.06	c vivif2 --  cl tried    17008 cl shrink        0 lits rem          0 time: 0.05
248.43/62.28	c asymm  cl-useful: 0/245/245 lits-rem:0 time: 0.88
248.43/62.28	c calculated reachability. Time: 0.00
248.43/62.28	c  N dy   735    105325       378       245      2412     17008     10210   1332910    100.77     34.67  --
251.23/62.94	c  N dy   785    112149       378       245      2412     23650     10210   1981249     92.53     34.68  --
255.22/63.98	c  N dy   838    119320       378       245      2412     16947     10210   1185544     97.44     34.64  --
260.42/65.29	c  N dy   895    127078       378       245      2412     24521     10210   1913685     96.18     34.59  --
267.63/67.09	c  N dy   955    135204       378       245      2412     17799     10210   1176500     98.47     34.61  --
275.21/68.90	c  N dy  1019    143895       378       245      2412     26300     10210   2027265    101.91     34.58  --
284.79/71.31	c  N dy  1087    153158       378       245      2412     19758     10210   1336755    105.26     34.56  --
288.79/72.39	c  S st  1123    157987       378       245      2412     24498     10210   1787823     92.40     34.55  --
289.19/72.46	c  S st  1123    158491       378       245      2412     24999     10210   1841363     92.40     34.55  --
289.19/72.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
289.19/72.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
296.37/74.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 51.5M T:  7.10
296.37/74.25	c Calc non-exist non-lernt bins v-fix:     0 done:    378 time:  0.00 s
296.37/74.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
296.37/74.26	c Subs w/ non-existent bins:      0 time:  0.05 s
296.37/74.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
302.78/75.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.36 s
302.78/75.88	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
329.92/82.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
329.92/82.64	c lits-rem:        46  cl-subs:     1713  v-elim:    374  v-fix:    0  time: 27.03 s
329.92/82.64	c learnt bin added due to v-elim: 0
329.92/82.64	c vivif2 --  cl tried      245 cl shrink        0 lits rem          0 time: 0.00
329.92/82.66	c vivif2 --  cl tried    23286 cl shrink        0 lits rem          0 time: 0.06
330.72/82.88	c asymm  cl-useful: 0/241/245 lits-rem:0 time: 0.88
330.72/82.88	c calculated reachability. Time: 0.00
330.72/82.88	c  N dy  1123    158491       378       245      2412     23286     10210   1720005     92.40     34.55  --
337.52/84.54	c  N dy  1198    168691       378       245      2412     33279     10210   2751880     99.79     34.54  --
345.10/86.44	c  N dy  1278    179519       378       245      2412     27260     10210   2082805    105.52     34.55  --
359.90/90.13	c  N dy  1363    191030       378       245      2412     20900     10210   1381445    102.80     34.53  --
373.09/93.49	c  N dy  1453    203255       378       245      2412     32878     10210   2625516    105.38     34.52  --
389.45/97.54	c  N dy  1549    216349       378       245      2412     27106     10210   1993393    114.04     34.52  --
411.02/102.99	c  N dy  1650    230203       378       245      2412     21055     10210   1340716    103.47     34.55  --
419.00/104.94	c  S st  1706    237737       378       245      2412     28440     10210   2099663    103.63     34.54  --
419.40/105.04	c  S st  1706    238240       378       245      2412     28939     10210   2156084    103.63     34.54  --
419.40/105.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
419.40/105.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
428.59/107.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  9.08
428.59/107.32	c Calc non-exist non-lernt bins v-fix:     0 done:    378 time:  0.00 s
428.59/107.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
428.59/107.33	c Subs w/ non-existent bins:      0 time:  0.06 s
428.59/107.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
436.18/109.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.47 s
436.18/109.24	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
464.94/116.45	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
464.94/116.47	c lits-rem:        31  cl-subs:     1815  v-elim:    374  v-fix:    0  time: 28.90 s
464.94/116.47	c learnt bin added due to v-elim: 0
464.94/116.47	c vivif2 --  cl tried      245 cl shrink        0 lits rem          0 time: 0.00
464.94/116.49	c vivif2 --  cl tried    27124 cl shrink        0 lits rem          0 time: 0.08
466.14/116.74	c asymm  cl-useful: 0/92/245 lits-rem:0 time: 1.00
466.14/116.74	c calculated reachability. Time: 0.00
466.14/116.74	c  N dy  1706    238240       378       245      2412     27124     10210   2018687    103.63     34.54  --
479.33/120.04	c  N dy  1820    253570       378       245      2412     21566     10210   1345586     99.77     34.51  --
498.90/124.94	c  N dy  1940    269766       378       245      2412     37445     10210   2977098    105.02     34.51  --
525.26/131.52	c  N dy  2068    287108       378       245      2412     32883     10210   2429675    102.22     34.49  --
554.03/138.70	c  N dy  2203    305436       378       245      2412     28307     10210   1892100    101.03     34.49  --
589.98/147.77	c  N dy  2347    324946       394       245      2444     23973     10274   1374180    101.53     34.50  --
622.33/155.87	c  N dy  2494    344948       394       245      2444     43633     10274   3395385    107.54     34.52  --
645.11/161.59	c  S st  2585    357361       394       245      2444     31264     10274   2068933    100.37     34.51  --
645.52/161.69	c  S st  2585    357865       394       245      2444     31765     10274   2125204    100.37     34.51  --
645.52/161.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
645.52/161.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
653.90/163.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  8.26
653.90/163.77	c Calc non-exist non-lernt bins v-fix:     0 done:    394 time:  0.00 s
653.90/163.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
653.90/163.78	c Subs w/ non-existent bins:      0 time:  0.06 s
654.31/163.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
661.08/165.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.12 s
661.08/165.59	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
685.07/171.54	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
685.07/171.56	c lits-rem:        12  cl-subs:     1738  v-elim:    374  v-fix:    0  time: 23.84 s
685.07/171.56	c learnt bin added due to v-elim: 0
685.07/171.56	c vivif2 --  cl tried      245 cl shrink        0 lits rem          0 time: 0.00
685.07/171.58	c vivif2 --  cl tried    30027 cl shrink        0 lits rem          0 time: 0.08
686.24/171.81	c asymm  cl-useful: 0/130/245 lits-rem:0 time: 0.91
686.24/171.81	c calculated reachability. Time: 0.00
686.24/171.81	c  N dy  2585    357865       394       245      2444     30027     10274   2008935    100.37     34.51  --
704.22/176.33	c  N dy  2731    377914       394       245      2444     49777     10274   4244499    109.93     34.48  --
723.79/181.20	c  N dy  2878    398034       394       245      2444     43960     10274   3471746    129.69     34.48  --
748.16/187.32	c  N dy  3024    418037       394       245      2444     37046     10274   2628758    108.38     34.50  --
776.53/194.40	c  N dy  3170    438158       394       245      2444     29349     10274   1755156    103.61     34.53  --
801.69/200.78	c  N dy  3316    458243       394       245      2444     49122     10274   3985018    108.40     34.54  --
831.24/208.18	c  N dy  3463    478331       394       245      2444     40394     10274   2907724    111.74     34.54  --
869.62/217.73	c  N dy  3610    498461       394       245      2444     30697     10274   1812740    106.69     34.54  --
898.36/224.97	c  N dy  3757    518577       394       245      2444     50552     10274   3990938    115.31     34.53  --
932.71/233.56	c  S st  3889    536798       394       245      2444     37926     10274   2539336    109.04     34.54  --
933.12/233.67	c  S st  3889    537302       394       245      2444     38426     10274   2596025    109.04     34.54  --
933.12/233.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
933.12/233.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
941.91/235.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.2M T:  8.73
941.91/235.87	c Calc non-exist non-lernt bins v-fix:     0 done:    394 time:  0.01 s
941.91/235.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
941.91/235.89	c Subs w/ non-existent bins:      0 time:  0.08 s
942.31/235.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
949.89/237.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.61 s
949.89/237.83	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
975.48/244.23	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
975.48/244.26	c lits-rem:        37  cl-subs:     1899  v-elim:    374  v-fix:    0  time: 25.69 s
975.48/244.26	c learnt bin added due to v-elim: 0
975.48/244.26	c vivif2 --  cl tried      245 cl shrink        0 lits rem          0 time: 0.00
975.48/244.29	c vivif2 --  cl tried    36527 cl shrink        0 lits rem          0 time: 0.10
976.65/244.50	c asymm  cl-useful: 0/134/245 lits-rem:0 time: 0.84
976.65/244.50	c calculated reachability. Time: 0.00
976.65/244.50	c  N dy  3889    537302       394       245      2444     36527     10274   2464383    109.04     34.54  --
976.65/244.50	c  F st  3889    537302       394       245      2444     36527     10274   2464383    109.04     34.54  --
977.85/244.80	c Decided on static restart strategy
995.83/249.35	c  N dy  4026    557368       414       245      2487     56402     10358   4637289     95.63     34.56  --
1017.80/254.85	c  N dy  4172    577489       414       245      2487     44645     10358   3289074    113.12     34.56  --
1051.76/263.38	c  N dy  4318    597595       414       245      2487     64373     10358   5446278    117.23     34.54  --
1074.12/268.92	c  N dy  4464    617612       414       245      2487     51512     10358   3832304    108.60     34.53  --
1111.30/278.28	c  N dy  4610    637664       414       245      2489     37881     10360   2455612    110.98     34.52  --
1138.43/285.00	c  N dy  4757    657743       414       245      2489     57602     10360   4549430    113.00     34.50  --
1171.59/293.34	c  N dy  4903    677763       414       245      2489     42838     10360   2947862    102.47     34.50  --
1207.15/302.22	c  N dy  5050    697811       414       245      2489     62575     10360   5023018    107.13     34.50  --
1241.49/310.88	c  N dy  5197    717882       414       245      2489     46945     10360   3305697    109.68     34.49  --
1281.05/320.77	c  N dy  5344    738020       414       245      2489     66724     10360   5344210     96.06     34.49  --
1315.79/329.45	c  N dy  5490    758059       414       245      2489     50029     10360   3564241    109.48     34.49  --
1359.74/340.43	c  N dy  5635    778062       414       245      2489     69618     10360   5580627     94.17     34.49  --
1393.69/348.93	c  N dy  5780    798145       434       245      2551     52122     10458   3720121    111.12     34.49  --
1409.67/352.90	c  S st  5837    805954       434       245      2551     59763     10458   4553807    115.66     34.48  --
1410.09/353.07	c  S st  5837    806456       434       245      2551     60264     10458   4609845    115.66     34.48  --
1410.09/353.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1410.09/353.09	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
1420.46/355.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    8 Bin:      1 BRemL:      0 BRemN:      2 CBin:       0 P: 60.2M T: 10.19
1420.46/355.64	c Calc non-exist non-lernt bins v-fix:     0 done:    434 time:  0.00 s
1420.46/355.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1420.46/355.67	c Subs w/ non-existent bins:      0 time:  0.14 s
1422.45/356.19	c Replacing        9 vars Replaced    51411 lits Time:     2.08 s 
1422.85/356.26	c bin-w-bin subsume rem           13 bins  time:  0.00 s
1430.84/358.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.81 s
1430.84/358.22	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
1746.42/437.28	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
1913.79/479.12	c Added 5 vars  tried: 80000 time: 167.14
1919.39/480.58	c ORs :      5 avg-s:  0.0 cl-sh: 66907 l-rem:  66907 b-add:     10 v-rep:   0 cl-rem: 2 avg s: 40.5 T:  172.99
1919.80/480.64	c lits-rem:        63  cl-subs:     3638  v-elim:    374  v-fix:    0  time: 488.97 s
1919.80/480.64	c learnt bin added due to v-elim: 0
1919.80/480.64	c vivif2 --  cl tried      250 cl shrink        0 lits rem          0 time: 0.00
1919.80/480.68	c vivif2 --  cl tried    56624 cl shrink        0 lits rem          0 time: 0.16
1920.98/480.91	c asymm  cl-useful: 0/250/250 lits-rem:0 time: 0.92
1920.98/480.91	c calculated reachability. Time: 0.00
1920.98/480.91	c  N dy  5837    806456       430       250      2516     56624     10363   4245980    115.66     34.48  --
1943.36/486.56	c  N dy  5985    826595       430       250      2516     76436     10363   6277180    114.69     34.48  --
1963.75/491.68	c  N dy  6133    846660       430       250      2516     57722     10363   4094601     99.41     34.48  --
2006.87/502.43	c  N dy  6279    866707       430       250      2516     77324     10363   6112729    111.11     34.50  --
2028.84/507.92	c  N dy  6426    886772       430       250      2516     57776     10363   3959266     99.14     34.49  --
2068.39/517.86	c  N dy  6572    906891       430       250      2516     77369     10363   5867970     98.63     34.51  --
2098.74/525.45	c  N dy  6718    926984       430       250      2516     56855     10363   3790531    100.62     34.51  --
2143.09/536.55	c  N dy  6863    947030       430       250      2516     76429     10363   5777682     98.61     34.52  --
2174.24/544.38	c  N dy  7008    967031       440       250      2553     55018     10419   3518339     95.22     34.53  --
2215.38/554.61	c  N dy  7154    987169       440       250      2553     74707     10419   5443459    104.97     34.54  --
2250.54/563.50	c  N dy  7300   1007227       440       250      2553     52243     10419   3219239     93.79     34.55  --
2284.91/572.02	c  N dy  7446   1027310       440       250      2553     71944     10419   5147293    101.29     34.55  --
2326.83/582.53	c  N dy  7591   1047423       440       250      2555     48602     10421   2774039    100.25     34.54  --
2360.79/591.00	c  N dy  7737   1067470       440       250      2555     68238     10421   4672180     95.83     34.54  --
2410.33/603.46	c  N dy  7880   1087481       460       250      2620     88101     10525   6554006     98.27     34.55  --
2440.29/610.90	c  N dy  8025   1107527       460       250      2620     63528     10525   4111192     99.30     34.55  --
2487.05/622.62	c  N dy  8171   1127632       460       250      2620     83303     10525   6052274     98.75     34.55  --
2523.37/631.78	c  N dy  8316   1147648       460       250      2622     57800     10527   3522242     96.84     34.55  --
2562.52/641.60	c  N dy  8461   1167707       460       250      2622     77437     10527   5401877     87.35     34.56  --
2614.85/654.69	c  N dy  8605   1187750       460       250      2622     50928     10527   2813078     94.27     34.56  --
2646.01/662.49	c  N dy  8749   1207795       460       250      2622     70595     10527   4680605     87.25     34.56  --
2651.20/663.71	c  S st  8763   1209687       460       250      2622     72447     10527   4854961     99.61     34.56  --
2651.60/663.88	c  S st  8763   1210189       460       250      2622     72947     10527   4906612     99.61     34.56  --
2652.00/663.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2652.00/663.90	c Cache  BProp: 0 Set: 0 BXProp: 3 T: 0.00
2661.59/666.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    9 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.3M T:  9.90
2661.59/666.38	c Calc non-exist non-lernt bins v-fix:     0 done:    460 time:  0.01 s
2661.59/666.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2661.99/666.42	c Subs w/ non-existent bins:      0 time:  0.16 s
2665.18/667.28	c Replacing       12 vars Replaced    58205 lits Time:     3.45 s 
2665.58/667.36	c bin-w-bin subsume rem           24 bins  time:  0.00 s
2673.58/669.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  8.05 s
2673.58/669.38	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
2841.75/711.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
2841.75/711.49	c lits-rem:       241  cl-subs:     9759  v-elim:    374  v-fix:    0  time: 168.24 s
2841.75/711.49	c learnt bin added due to v-elim: 0
2841.75/711.49	c vivif2 --  cl tried      307 cl shrink        0 lits rem          0 time: 0.00
2842.15/711.54	c vivif2 --  cl tried    63188 cl shrink        0 lits rem          0 time: 0.19
2842.97/711.77	c asymm  cl-useful: 0/160/307 lits-rem:0 time: 0.89
2842.97/711.77	c calculated reachability. Time: 0.00
2842.97/711.77	c  N dy  8763   1210189       443       307      2485     63188     10475   4174771     99.61     34.56  --
2868.93/718.30	c  N dy  8910   1230191       458       307      2534     82996     10551   6242712    102.92     34.56  --
2903.66/726.99	c  N dy  9058   1250304       458       307      2534     55693     10551   3330618    106.33     34.56  --
2941.22/736.36	c  N dy  9205   1270378       458       307      2536     75416     10553   5348345    107.82     34.56  --
2999.53/750.93	c  N dy  9351   1290483       458       307      2536     95211     10553   7341409     98.43     34.57  --
3028.29/758.14	c  N dy  9497   1310484       458       307      2536     66728     10553   4332465     94.70     34.57  --
3075.04/769.84	c  N dy  9643   1330502       458       307      2536     86409     10553   6318495     98.47     34.57  --
3126.17/782.68	c  N dy  9789   1350504       458       307      2536     56970     10553   3280167    104.24     34.56  --
3163.33/791.98	c  N dy  9936   1370631       458       307      2536     76766     10553   5265648    101.16     34.56  --
3224.03/807.14	c  N dy 10082   1390670       458       307      2536     96439     10553   7276163    112.10     34.57  --
3261.58/816.53	c  N dy 10229   1410781       458       307      2536     66068     10553   4100191     97.38     34.57  --
3307.92/828.14	c  N dy 10375   1430900       458       307      2536     85786     10553   6028034     98.45     34.57  --
3367.04/842.92	c  N dy 10520   1450922       458       307      2536     54369     10553   2901135     96.83     34.57  --
3394.61/849.81	c  N dy 10666   1471044       458       307      2536     74152     10553   4832077     94.61     34.57  --
3417.38/855.52	c Finding binary XORs  T:     0.00 s  found:       6
3417.38/855.54	c Replacing        6 vars Replaced      336 lits Time:     0.08 s 
3446.53/862.81	c  N dy 10812   1491049       452       307      2513     93874     10531   6866442    108.39     34.57  --
3495.66/875.17	c  N dy 10958   1511073       452       307      2513     61463     10531   3581272    105.89     34.57  --
3534.81/884.92	c  N dy 11105   1531206       452       307      2513     81212     10531   5527470    102.73     34.57  --
3595.93/900.22	c  N dy 11251   1551336       452       307      2513    100960     10531   7524980     84.50     34.57  --
3636.28/910.34	c  N dy 11396   1571358       452       307      2513     67572     10531   4116788     91.20     34.57  --
3684.22/922.32	c  N dy 11541   1591450       452       307      2513     87300     10531   6103175    102.36     34.57  --
3758.91/941.07	c  N dy 11687   1611528       452       307      2513    107028     10531   8066215     93.38     34.58  --
3794.46/949.96	c  N dy 11832   1631531       452       307      2513     72707     10531   4616797    101.39     34.58  --
3848.00/963.39	c  N dy 11977   1651532       452       307      2513     92405     10531   6563306    104.80     34.57  --
3922.30/981.91	c  N dy 12122   1671621       452       307      2513     57098     10531   3007573    100.21     34.57  --
3957.05/990.62	c  N dy 12268   1691761       452       307      2513     76883     10531   4967972    102.25     34.57  --
4008.57/1003.53	c  S st 12402   1710189       452       307      2513     94996     10531   6782190    102.50     34.58  --
4009.38/1003.76	c  S st 12402   1710691       452       307      2513     95489     10531   6834370    102.50     34.58  --
4009.38/1003.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
4009.38/1003.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4019.76/1006.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 61.1M T: 10.45
4019.76/1006.40	c Calc non-exist non-lernt bins v-fix:     0 done:    452 time:  0.01 s
4019.76/1006.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4020.18/1006.45	c Subs w/ non-existent bins:      0 time:  0.21 s
4020.58/1006.56	c bin-w-bin subsume rem           11 bins  time:  0.00 s
4028.97/1008.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  8.34 s
4028.97/1008.65	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-3261449-1304131448/watcher-3261449-1304131448 -o /tmp/evaluation-result-3261449-1304131448/solver-3261449-1304131448 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3261449-1304131448.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: 6.78 7.79 7.76 7/180 12052
/proc/meminfo: memFree=30973088/32951124 swapFree=67111448/67111528
[pid=12052] ppid=12050 vsize=50696 CPUtime=0 cores=1,3,5,7
/proc/12052/stat : 12052 (techdemo) R 12050 12052 12011 0 -1 4202496 718 0 0 0 0 0 0 0 25 0 1 0 524745255 51912704 653 33554432000 4194304 4797429 140733533350448 18446744073709551615 230808862364 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12052/statm: 12674 653 348 148 0 7603 0

[startup+0.00919689 s]
/proc/loadavg: 6.78 7.79 7.76 7/180 12052
/proc/meminfo: memFree=30973088/32951124 swapFree=67111448/67111528
[pid=12052] ppid=12050 vsize=81424 CPUtime=0.01 cores=1,3,5,7
/proc/12052/stat : 12052 (techdemo) D 12050 12052 12011 0 -1 4202496 767 0 0 0 1 0 0 0 25 0 4 0 524745255 83378176 697 33554432000 4194304 4797429 140733533350448 18446744073709551615 4399301 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12052/statm: 20356 697 365 148 0 15285 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 81424

[startup+0.109018 s]
/proc/loadavg: 6.78 7.79 7.76 7/180 12052
/proc/meminfo: memFree=30973088/32951124 swapFree=67111448/67111528
[pid=12052] ppid=12050 vsize=672856 CPUtime=0.4 cores=1,3,5,7
/proc/12052/stat : 12052 (techdemo) R 12050 12052 12011 0 -1 4202496 2053 0 0 0 40 0 0 0 25 0 4 0 524745255 689004544 1936 33554432000 4194304 4797429 140733533350448 18446744073709551615 230808862402 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12052/statm: 168214 1936 409 148 0 163143 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 672856

[startup+0.300133 s]
/proc/loadavg: 6.78 7.79 7.76 7/180 12052
/proc/meminfo: memFree=30973088/32951124 swapFree=67111448/67111528
[pid=12052] ppid=12050 vsize=674592 CPUtime=1.16 cores=1,3,5,7
/proc/12052/stat : 12052 (techdemo) R 12050 12052 12011 0 -1 4202496 3530 0 0 0 116 0 0 0 25 0 4 0 524745255 690782208 3403 33554432000 4194304 4797429 140733533350448 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12052/statm: 168648 3403 409 148 0 163577 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 674592

[startup+0.701058 s]
/proc/loadavg: 6.78 7.79 7.76 7/180 12052
/proc/meminfo: memFree=30973088/32951124 swapFree=67111448/67111528
[pid=12052] ppid=12050 vsize=680604 CPUtime=2.76 cores=1,3,5,7
/proc/12052/stat : 12052 (techdemo) R 12050 12052 12011 0 -1 4202496 6427 0 0 0 276 0 0 0 25 0 4 0 524745255 696938496 4277 33554432000 4194304 4797429 140733533350448 18446744073709551615 4425019 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12052/statm: 170151 4277 410 148 0 165080 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 680604

[startup+1.50092 s]
/proc/loadavg: 6.78 7.79 7.76 9/184 12056
/proc/meminfo: memFree=30929272/32951124 swapFree=67111448/67111528
[pid=12052] ppid=12050 vsize=683828 CPUtime=5.96 cores=1,3,5,7
/proc/12052/stat : 12052 (techdemo) R 12050 12052 12011 0 -1 4202496 11885 0 0 0 594 2 0 0 25 0 4 0 524745255 700239872 8905 33554432000 4194304 4797429 140733533350448 18446744073709551615 4425019 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12052/statm: 170957 8905 413 148 0 165886 0
[pid=12052/tid=12054] ppid=12050 vsize=683828 CPUtime=1.48 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (techdemo) R 12050 12052 12011 0 -1 4202560 2881 0 0 0 148 0 0 0 18 0 4 0 524745255 700239872 8905 33554432000 4194304 4797429 140733533350448 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=683828 CPUtime=1.48 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (techdemo) R 12050 12052 12011 0 -1 4202560 2874 0 0 0 148 0 0 0 25 0 4 0 524745255 700239872 8905 33554432000 4194304 4797429 140733533350448 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12056] ppid=12050 vsize=683828 CPUtime=1.47 cores=1,3,5,7
/proc/12052/task/12056/stat : 12056 (techdemo) R 12050 12052 12011 0 -1 4202560 2894 0 0 0 147 0 0 0 25 0 4 0 524745255 700239872 8905 33554432000 4194304 4797429 140733533350448 18446744073709551615 4520168 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) 683828

[startup+3.10062 s]
/proc/loadavg: 6.78 7.79 7.76 9/184 12056
/proc/meminfo: memFree=30909928/32951124 swapFree=67111448/67111528
[pid=12052] ppid=12050 vsize=685180 CPUtime=12.36 cores=1,3,5,7
/proc/12052/stat : 12052 (techdemo) R 12050 12052 12011 0 -1 4202496 13539 0 0 0 1234 2 0 0 25 0 4 0 524745255 701624320 9554 33554432000 4194304 4797429 140733533350448 18446744073709551615 4425019 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12052/statm: 171295 9554 414 148 0 166224 0
[pid=12052/tid=12054] ppid=12050 vsize=685180 CPUtime=3.08 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (techdemo) R 12050 12052 12011 0 -1 4202560 2935 0 0 0 308 0 0 0 21 0 4 0 524745255 701624320 9554 33554432000 4194304 4797429 140733533350448 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=685180 CPUtime=3.08 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (techdemo) R 12050 12052 12011 0 -1 4202560 2923 0 0 0 308 0 0 0 25 0 4 0 524745255 701624320 9554 33554432000 4194304 4797429 140733533350448 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12056] ppid=12050 vsize=685180 CPUtime=3.07 cores=1,3,5,7
/proc/12052/task/12056/stat : 12056 (techdemo) R 12050 12052 12011 0 -1 4202560 2934 0 0 0 307 0 0 0 25 0 4 0 524745255 701624320 9554 33554432000 4194304 4797429 140733533350448 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 685180

[startup+6.30104 s]
/proc/loadavg: 6.88 7.79 7.76 9/184 12056
/proc/meminfo: memFree=30899708/32951124 swapFree=67111448/67111528
[pid=12052] ppid=12050 vsize=694176 CPUtime=25.14 cores=1,3,5,7
/proc/12052/stat : 12052 (techdemo) R 12050 12052 12011 0 -1 4202496 18493 0 0 0 2512 2 0 0 25 0 4 0 524745255 710836224 10682 33554432000 4194304 4797429 140733533350448 18446744073709551615 4506576 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12052/statm: 173544 10682 415 148 0 168473 0
[pid=12052/tid=12054] ppid=12050 vsize=694176 CPUtime=6.28 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (techdemo) R 12050 12052 12011 0 -1 4202560 3603 0 0 0 628 0 0 0 25 0 4 0 524745255 710836224 10682 33554432000 4194304 4797429 140733533350448 18446744073709551615 4520256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=694176 CPUtime=6.28 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (techdemo) R 12050 12052 12011 0 -1 4202560 3629 0 0 0 628 0 0 0 25 0 4 0 524745255 710836224 10682 33554432000 4194304 4797429 140733533350448 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12056] ppid=12050 vsize=694176 CPUtime=6.25 cores=1,3,5,7
/proc/12052/task/12056/stat : 12056 (techdemo) R 12050 12052 12011 0 -1 4202560 3594 0 0 0 625 0 0 0 25 0 4 0 524745255 710836224 10682 33554432000 4194304 4797429 140733533350448 18446744073709551615 4520256 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) 694176

[startup+12.7009 s]
/proc/loadavg: 6.97 7.80 7.76 10/184 12057
/proc/meminfo: memFree=30878740/32951124 swapFree=67111448/67111528
[pid=12052] ppid=12050 vsize=697780 CPUtime=50.71 cores=1,3,5,7
/proc/12052/stat : 12052 (techdemo) R 12050 12052 12011 0 -1 4202496 23175 0 0 0 5067 4 0 0 25 0 4 0 524745255 714526720 13751 33554432000 4194304 4797429 140733533350448 18446744073709551615 4428866 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12052/statm: 174445 13751 417 148 0 169374 0
[pid=12052/tid=12054] ppid=12050 vsize=697780 CPUtime=12.68 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (techdemo) R 12050 12052 12011 0 -1 4202560 4246 0 0 0 1268 0 0 0 25 0 4 0 524745255 714526720 13751 33554432000 4194304 4797429 140733533350448 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=697780 CPUtime=12.68 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (techdemo) R 12050 12052 12011 0 -1 4202560 4323 0 0 0 1268 0 0 0 25 0 4 0 524745255 714526720 13751 33554432000 4194304 4797429 140733533350448 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12056] ppid=12050 vsize=697780 CPUtime=12.61 cores=1,3,5,7
/proc/12052/task/12056/stat : 12056 (techdemo) R 12050 12052 12011 0 -1 4202560 4098 0 0 0 1261 0 0 0 25 0 4 0 524745255 714526720 13751 33554432000 4194304 4797429 140733533350448 18446744073709551615 4429135 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 697780

[startup+25.5005 s]
/proc/loadavg: 7.19 7.81 7.76 9/184 12057
/proc/meminfo: memFree=30851780/32951124 swapFree=67111448/67111528
[pid=12052] ppid=12050 vsize=705276 CPUtime=101.83 cores=1,3,5,7
/proc/12052/stat : 12052 (techdemo) R 12050 12052 12011 0 -1 4202496 29361 0 0 0 10178 5 0 0 25 0 4 0 524745255 722202624 16390 33554432000 4194304 4797429 140733533350448 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12052/statm: 176319 16390 417 148 0 171248 0
[pid=12052/tid=12054] ppid=12050 vsize=705276 CPUtime=25.48 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (techdemo) R 12050 12052 12011 0 -1 4202560 4612 0 0 0 2548 0 0 0 25 0 4 0 524745255 722202624 16390 33554432000 4194304 4797429 140733533350448 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=705276 CPUtime=25.48 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (techdemo) R 12050 12052 12011 0 -1 4202560 4614 0 0 0 2548 0 0 0 25 0 4 0 524745255 722202624 16390 33554432000 4194304 4797429 140733533350448 18446744073709551615 4524611 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12056] ppid=12050 vsize=705276 CPUtime=25.34 cores=1,3,5,7
/proc/12052/task/12056/stat : 12056 (techdemo) R 12050 12052 12011 0 -1 4202560 4605 0 0 0 2534 0 0 0 25 0 4 0 524745255 722202624 16390 33554432000 4194304 4797429 140733533350448 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) 705276

[startup+51.1008 s]
/proc/loadavg: 7.54 7.84 7.77 10/184 12058
/proc/meminfo: memFree=30826728/32951124 swapFree=67111448/67111528
[pid=12052] ppid=12050 vsize=715700 CPUtime=204.09 cores=1,3,5,7
/proc/12052/stat : 12052 (techdemo) R 12050 12052 12011 0 -1 4202496 39327 0 0 0 20402 7 0 0 25 0 4 0 524745255 732876800 18913 33554432000 4194304 4797429 140733533350448 18446744073709551615 4424877 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12052/statm: 178925 18913 419 148 0 173854 0
[pid=12052/tid=12054] ppid=12050 vsize=715700 CPUtime=51.08 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (techdemo) R 12050 12052 12011 0 -1 4202560 6285 0 0 0 5108 0 0 0 25 0 4 0 524745255 732876800 18913 33554432000 4194304 4797429 140733533350448 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=715700 CPUtime=51.09 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (techdemo) R 12050 12052 12011 0 -1 4202560 6225 0 0 0 5108 1 0 0 25 0 4 0 524745255 732876800 18913 33554432000 4194304 4797429 140733533350448 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12056] ppid=12050 vsize=715700 CPUtime=50.81 cores=1,3,5,7
/proc/12052/task/12056/stat : 12056 (techdemo) R 12050 12052 12011 0 -1 4202560 6011 0 0 0 5080 1 0 0 25 0 4 0 524745255 732876800 18913 33554432000 4194304 4797429 140733533350448 18446744073709551615 4524484 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) 715700

[startup+102.306 s]
/proc/loadavg: 7.92 7.89 7.79 10/184 12059
/proc/meminfo: memFree=30792696/32951124 swapFree=67111448/67111528
[pid=12052] ppid=12050 vsize=730348 CPUtime=408.63 cores=1,3,5,7
/proc/12052/stat : 12052 (techdemo) R 12050 12052 12011 0 -1 4202496 68682 0 0 0 40847 16 0 0 25 0 4 0 524745255 747876352 25408 33554432000 4194304 4797429 140733533350448 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12052/statm: 182587 25408 419 148 0 177516 0
[pid=12052/tid=12054] ppid=12050 vsize=730348 CPUtime=102.28 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (techdemo) R 12050 12052 12011 0 -1 4202560 8200 0 0 0 10227 1 0 0 25 0 4 0 524745255 747876352 25408 33554432000 4194304 4797429 140733533350448 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=730348 CPUtime=102.29 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (techdemo) R 12050 12052 12011 0 -1 4202560 8178 0 0 0 10227 2 0 0 25 0 4 0 524745255 747876352 25408 33554432000 4194304 4797429 140733533350448 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12056] ppid=12050 vsize=730348 CPUtime=101.73 cores=1,3,5,7
/proc/12052/task/12056/stat : 12056 (techdemo) R 12050 12052 12011 0 -1 4202560 7735 0 0 0 10172 1 0 0 25 0 4 0 524745255 747876352 25408 33554432000 4194304 4797429 140733533350448 18446744073709551615 4568098 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) 730348

[startup+162.3 s]
/proc/loadavg: 8.00 7.92 7.81 10/184 12061
/proc/meminfo: memFree=30764236/32951124 swapFree=67111448/67111528
[pid=12052] ppid=12050 vsize=744524 CPUtime=648.3 cores=1,3,5,7
/proc/12052/stat : 12052 (techdemo) R 12050 12052 12011 0 -1 4202496 97871 0 0 0 64801 29 0 0 25 0 4 0 524745255 762392576 29136 33554432000 4194304 4797429 140733533350448 18446744073709551615 4429165 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12052/statm: 186131 29136 419 148 0 181060 0
[pid=12052/tid=12054] ppid=12050 vsize=744524 CPUtime=162.27 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (techdemo) R 12050 12052 12011 0 -1 4202560 9658 0 0 0 16226 1 0 0 25 0 4 0 524745255 762392576 29136 33554432000 4194304 4797429 140733533350448 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=744524 CPUtime=162.29 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (techdemo) R 12050 12052 12011 0 -1 4202560 9994 0 0 0 16227 2 0 0 25 0 4 0 524745255 762392576 29136 33554432000 4194304 4797429 140733533350448 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12056] ppid=12050 vsize=744524 CPUtime=161.41 cores=1,3,5,7
/proc/12052/task/12056/stat : 12056 (techdemo) R 12050 12052 12011 0 -1 4202560 9523 0 0 0 16139 2 0 0 25 0 4 0 524745255 762392576 29136 33554432000 4194304 4797429 140733533350448 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 648.3
Current children cumulated vsize (KiB) 744524

[startup+222.3 s]
/proc/loadavg: 8.19 7.98 7.83 10/184 12062
/proc/meminfo: memFree=30735524/32951124 swapFree=67111448/67111528
[pid=12052] ppid=12050 vsize=749844 CPUtime=887.97 cores=1,3,5,7
/proc/12052/stat : 12052 (techdemo) R 12050 12052 12011 0 -1 4202496 128510 0 0 0 88756 41 0 0 25 0 4 0 524745255 767840256 32332 33554432000 4194304 4797429 140733533350448 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12052/statm: 187461 32332 419 148 0 182390 0
[pid=12052/tid=12054] ppid=12050 vsize=749844 CPUtime=222.27 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (techdemo) R 12050 12052 12011 0 -1 4202560 11585 0 0 0 22225 2 0 0 25 0 4 0 524745255 767840256 32332 33554432000 4194304 4797429 140733533350448 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=749844 CPUtime=222.28 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (techdemo) R 12050 12052 12011 0 -1 4202560 10892 0 0 0 22226 2 0 0 25 0 4 0 524745255 767840256 32332 33554432000 4194304 4797429 140733533350448 18446744073709551615 4495554 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12056] ppid=12050 vsize=749844 CPUtime=221.08 cores=1,3,5,7
/proc/12052/task/12056/stat : 12056 (techdemo) R 12050 12052 12011 0 -1 4202560 11508 0 0 0 22105 3 0 0 25 0 4 0 524745255 767840256 32332 33554432000 4194304 4797429 140733533350448 18446744073709551615 4501900 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 887.97
Current children cumulated vsize (KiB) 749844

[startup+282.3 s]

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

[pid=12052] ppid=12050 vsize=804420 CPUtime=2805.4 cores=1,3,5,7
/proc/12052/stat : 12052 (techdemo) R 12050 12052 12011 0 -1 4202496 281192 0 0 0 280441 99 0 0 25 0 4 0 524745255 823726080 52876 33554432000 4194304 4797429 140733533350448 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12052/statm: 201105 52876 421 148 0 196034 0
[pid=12052/tid=12054] ppid=12050 vsize=804420 CPUtime=702.27 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (techdemo) R 12050 12052 12011 0 -1 4202560 23486 0 0 0 70222 5 0 0 25 0 4 0 524745255 823726080 52876 33554432000 4194304 4797429 140733533350448 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=804420 CPUtime=702.3 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (techdemo) R 12050 12052 12011 0 -1 4202560 23249 0 0 0 70224 6 0 0 25 0 4 0 524745255 823726080 52876 33554432000 4194304 4797429 140733533350448 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12056] ppid=12050 vsize=804420 CPUtime=698.49 cores=1,3,5,7
/proc/12052/task/12056/stat : 12056 (techdemo) R 12050 12052 12011 0 -1 4202560 21074 0 0 0 69842 7 0 0 25 0 4 0 524745255 823726080 52876 33554432000 4194304 4797429 140733533350448 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.4
Current children cumulated vsize (KiB) 804420

[startup+762.306 s]
/proc/loadavg: 8.01 8.03 7.91 10/184 12077
/proc/meminfo: memFree=30572516/32951124 swapFree=67111448/67111528
[pid=12052] ppid=12050 vsize=809672 CPUtime=3045.09 cores=1,3,5,7
/proc/12052/stat : 12052 (techdemo) R 12050 12052 12011 0 -1 4202496 304388 0 0 0 304401 108 0 0 25 0 4 0 524745255 829104128 53238 33554432000 4194304 4797429 140733533350448 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12052/statm: 202418 53238 421 148 0 197347 0
[pid=12052/tid=12054] ppid=12050 vsize=809672 CPUtime=762.28 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (techdemo) R 12050 12052 12011 0 -1 4202560 25386 0 0 0 76222 6 0 0 25 0 4 0 524745255 829104128 53238 33554432000 4194304 4797429 140733533350448 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=809672 CPUtime=762.31 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (techdemo) R 12050 12052 12011 0 -1 4202560 25678 0 0 0 76224 7 0 0 25 0 4 0 524745255 829104128 53238 33554432000 4194304 4797429 140733533350448 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12056] ppid=12050 vsize=809672 CPUtime=758.16 cores=1,3,5,7
/proc/12052/task/12056/stat : 12056 (techdemo) R 12050 12052 12011 0 -1 4202560 22927 0 0 0 75809 7 0 0 25 0 4 0 524745255 829104128 53238 33554432000 4194304 4797429 140733533350448 18446744073709551615 4520280 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) 809672

[startup+822.3 s]
/proc/loadavg: 8.00 8.03 7.91 9/184 12078
/proc/meminfo: memFree=30553388/32951124 swapFree=67111448/67111528
[pid=12052] ppid=12050 vsize=814476 CPUtime=3284.75 cores=1,3,5,7
/proc/12052/stat : 12052 (techdemo) R 12050 12052 12011 0 -1 4202496 324570 0 0 0 328357 118 0 0 25 0 4 0 524745255 834023424 55948 33554432000 4194304 4797429 140733533350448 18446744073709551615 4425043 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12052/statm: 203619 55948 421 148 0 198548 0
[pid=12052/tid=12054] ppid=12050 vsize=814476 CPUtime=822.27 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (techdemo) R 12050 12052 12011 0 -1 4202560 26295 0 0 0 82221 6 0 0 25 0 4 0 524745255 834023424 55948 33554432000 4194304 4797429 140733533350448 18446744073709551615 4524411 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=814476 CPUtime=822.3 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (techdemo) R 12050 12052 12011 0 -1 4202560 26791 0 0 0 82223 7 0 0 25 0 4 0 524745255 834023424 55948 33554432000 4194304 4797429 140733533350448 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12056] ppid=12050 vsize=814476 CPUtime=817.83 cores=1,3,5,7
/proc/12052/task/12056/stat : 12056 (techdemo) R 12050 12052 12011 0 -1 4202560 24910 0 0 0 81775 8 0 0 25 0 4 0 524745255 834023424 55948 33554432000 4194304 4797429 140733533350448 18446744073709551615 4524464 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) 814476

[startup+882.3 s]
/proc/loadavg: 8.04 8.03 7.92 10/184 12080
/proc/meminfo: memFree=30540676/32951124 swapFree=67111448/67111528
[pid=12052] ppid=12050 vsize=818364 CPUtime=3524.43 cores=1,3,5,7
/proc/12052/stat : 12052 (techdemo) R 12050 12052 12011 0 -1 4202496 345909 0 0 0 352315 128 0 0 25 0 4 0 524745255 838004736 57001 33554432000 4194304 4797429 140733533350448 18446744073709551615 4425140 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12052/statm: 204591 57001 421 148 0 199520 0
[pid=12052/tid=12054] ppid=12050 vsize=818364 CPUtime=882.27 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (techdemo) R 12050 12052 12011 0 -1 4202560 28119 0 0 0 88220 7 0 0 25 0 4 0 524745255 838004736 57001 33554432000 4194304 4797429 140733533350448 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=818364 CPUtime=882.3 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (techdemo) R 12050 12052 12011 0 -1 4202560 28864 0 0 0 88223 7 0 0 25 0 4 0 524745255 838004736 57001 33554432000 4194304 4797429 140733533350448 18446744073709551615 4524442 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12056] ppid=12050 vsize=818364 CPUtime=877.51 cores=1,3,5,7
/proc/12052/task/12056/stat : 12056 (techdemo) R 12050 12052 12011 0 -1 4202560 26045 0 0 0 87742 9 0 0 25 0 4 0 524745255 838004736 57001 33554432000 4194304 4797429 140733533350448 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.43
Current children cumulated vsize (KiB) 818364

[startup+942.3 s]
/proc/loadavg: 8.08 8.05 7.93 9/184 12081
/proc/meminfo: memFree=30523636/32951124 swapFree=67111448/67111528
[pid=12052] ppid=12050 vsize=820288 CPUtime=3764.11 cores=1,3,5,7
/proc/12052/stat : 12052 (techdemo) R 12050 12052 12011 0 -1 4202496 362024 0 0 0 376275 136 0 0 25 0 4 0 524745255 839974912 60436 33554432000 4194304 4797429 140733533350448 18446744073709551615 4345115 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12052/statm: 205072 60436 421 148 0 200001 0
[pid=12052/tid=12054] ppid=12050 vsize=820288 CPUtime=942.27 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (techdemo) R 12050 12052 12011 0 -1 4202560 28844 0 0 0 94220 7 0 0 25 0 4 0 524745255 839974912 60436 33554432000 4194304 4797429 140733533350448 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=820288 CPUtime=942.3 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (techdemo) R 12050 12052 12011 0 -1 4202560 30661 0 0 0 94223 7 0 0 25 0 4 0 524745255 839974912 60436 33554432000 4194304 4797429 140733533350448 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12056] ppid=12050 vsize=820288 CPUtime=937.18 cores=1,3,5,7
/proc/12052/task/12056/stat : 12056 (techdemo) R 12050 12052 12011 0 -1 4202560 28043 0 0 0 93709 9 0 0 25 0 4 0 524745255 839974912 60436 33554432000 4194304 4797429 140733533350448 18446744073709551615 4568088 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) 820288

[startup+1002.3 s]
/proc/loadavg: 8.25 8.10 7.95 10/184 12083
/proc/meminfo: memFree=30520868/32951124 swapFree=67111448/67111528
[pid=12052] ppid=12050 vsize=823180 CPUtime=4003.78 cores=1,3,5,7
/proc/12052/stat : 12052 (techdemo) R 12050 12052 12011 0 -1 4202496 381541 0 0 0 400234 144 0 0 25 0 4 0 524745255 842936320 60846 33554432000 4194304 4797429 140733533350448 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12052/statm: 205795 60846 421 148 0 200724 0
[pid=12052/tid=12054] ppid=12050 vsize=823180 CPUtime=1002.27 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (techdemo) R 12050 12052 12011 0 -1 4202560 30586 0 0 0 100220 7 0 0 25 0 4 0 524745255 842936320 60846 33554432000 4194304 4797429 140733533350448 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=823180 CPUtime=1002.31 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (techdemo) R 12050 12052 12011 0 -1 4202560 31850 0 0 0 100223 8 0 0 25 0 4 0 524745255 842936320 60846 33554432000 4194304 4797429 140733533350448 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12056] ppid=12050 vsize=823180 CPUtime=996.86 cores=1,3,5,7
/proc/12052/task/12056/stat : 12056 (techdemo) R 12050 12052 12011 0 -1 4202560 29013 0 0 0 99676 10 0 0 25 0 4 0 524745255 842936320 60846 33554432000 4194304 4797429 140733533350448 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.78
Current children cumulated vsize (KiB) 823180

[startup+1062.3 s]
/proc/loadavg: 8.22 8.11 7.96 9/184 12094
/proc/meminfo: memFree=30488704/32951124 swapFree=67111448/67111528
[pid=12052] ppid=12050 vsize=840548 CPUtime=4243.44 cores=1,3,5,7
/proc/12052/stat : 12052 (techdemo) R 12050 12052 12011 0 -1 4202496 390106 0 0 0 424198 146 0 0 25 0 4 0 524745255 860721152 64546 33554432000 4194304 4797429 140733533350448 18446744073709551615 4506608 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12052/statm: 210137 64546 425 148 0 205066 0
[pid=12052/tid=12054] ppid=12050 vsize=840548 CPUtime=1062.27 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (techdemo) R 12050 12052 12011 0 -1 4202560 31355 0 0 0 106219 8 0 0 25 0 4 0 524745255 860721152 64546 33554432000 4194304 4797429 140733533350448 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=840548 CPUtime=1062.31 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (techdemo) R 12050 12052 12011 0 -1 4202560 33470 0 0 0 106223 8 0 0 25 0 4 0 524745255 860721152 64546 33554432000 4194304 4797429 140733533350448 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12056] ppid=12050 vsize=840548 CPUtime=1056.54 cores=1,3,5,7
/proc/12052/task/12056/stat : 12056 (techdemo) R 12050 12052 12011 0 -1 4202560 30768 0 0 0 105643 11 0 0 25 0 4 0 524745255 860721152 64546 33554432000 4194304 4797429 140733533350448 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.44
Current children cumulated vsize (KiB) 840548

[startup+1122.3 s]
/proc/loadavg: 8.15 8.10 7.97 10/184 12095
/proc/meminfo: memFree=30476404/32951124 swapFree=67111448/67111528
[pid=12052] ppid=12050 vsize=840868 CPUtime=4483.12 cores=1,3,5,7
/proc/12052/stat : 12052 (techdemo) R 12050 12052 12011 0 -1 4202496 393467 0 0 0 448165 147 0 0 25 0 4 0 524745255 861048832 65340 33554432000 4194304 4797429 140733533350448 18446744073709551615 4568105 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12052/statm: 210217 65340 425 148 0 205146 0
[pid=12052/tid=12054] ppid=12050 vsize=840868 CPUtime=1122.27 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (techdemo) R 12050 12052 12011 0 -1 4202560 32952 0 0 0 112219 8 0 0 25 0 4 0 524745255 861048832 65340 33554432000 4194304 4797429 140733533350448 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=840868 CPUtime=1122.31 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (techdemo) R 12050 12052 12011 0 -1 4202560 34479 0 0 0 112223 8 0 0 25 0 4 0 524745255 861048832 65340 33554432000 4194304 4797429 140733533350448 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12056] ppid=12050 vsize=840868 CPUtime=1116.2 cores=1,3,5,7
/proc/12052/task/12056/stat : 12056 (techdemo) R 12050 12052 12011 0 -1 4202560 31523 0 0 0 111609 11 0 0 25 0 4 0 524745255 861048832 65340 33554432000 4194304 4797429 140733533350448 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.12
Current children cumulated vsize (KiB) 840868

[startup+1182.3 s]
/proc/loadavg: 8.19 8.11 7.98 10/184 12097
/proc/meminfo: memFree=30477984/32951124 swapFree=67111448/67111528
[pid=12052] ppid=12050 vsize=841056 CPUtime=4722.8 cores=1,3,5,7
/proc/12052/stat : 12052 (techdemo) R 12050 12052 12011 0 -1 4202496 396911 0 0 0 472131 149 0 0 25 0 4 0 524745255 861241344 66296 33554432000 4194304 4797429 140733533350448 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12052/statm: 210264 66296 425 148 0 205193 0
[pid=12052/tid=12054] ppid=12050 vsize=841056 CPUtime=1182.27 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (techdemo) R 12050 12052 12011 0 -1 4202560 33831 0 0 0 118218 9 0 0 25 0 4 0 524745255 861241344 66296 33554432000 4194304 4797429 140733533350448 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=841056 CPUtime=1182.31 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (techdemo) R 12050 12052 12011 0 -1 4202560 35125 0 0 0 118223 8 0 0 25 0 4 0 524745255 861241344 66296 33554432000 4194304 4797429 140733533350448 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12056] ppid=12050 vsize=841056 CPUtime=1175.88 cores=1,3,5,7
/proc/12052/task/12056/stat : 12056 (techdemo) R 12050 12052 12011 0 -1 4202560 33442 0 0 0 117576 12 0 0 25 0 4 0 524745255 861241344 66296 33554432000 4194304 4797429 140733533350448 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.8
Current children cumulated vsize (KiB) 841056



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.29 8.14 7.99 6/181 12101
/proc/meminfo: memFree=30692860/32951124 swapFree=67111448/67111528
[pid=12052] ppid=12050 vsize=841224 CPUtime=4800.31 cores=1,3,5,7
/proc/12052/stat : 12052 (techdemo) R 12050 12052 12011 0 -1 4202496 398869 0 0 0 479882 149 0 0 25 0 4 0 524745255 861413376 65624 33554432000 4194304 4797429 140733533350448 18446744073709551615 4568098 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12052/statm: 210306 65624 425 148 0 205235 0
[pid=12052/tid=12054] ppid=12050 vsize=841224 CPUtime=1201.67 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (techdemo) R 12050 12052 12011 0 -1 4202560 34141 0 0 0 120158 9 0 0 25 0 4 0 524745255 861413376 65624 33554432000 4194304 4797429 140733533350448 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=841224 CPUtime=1201.73 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (techdemo) R 12050 12052 12011 0 -1 4202560 36453 0 0 0 120164 9 0 0 25 0 4 0 524745255 861413376 65624 33554432000 4194304 4797429 140733533350448 18446744073709551615 4430142 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12056] ppid=12050 vsize=841224 CPUtime=1195.18 cores=1,3,5,7
/proc/12052/task/12056/stat : 12056 (techdemo) R 12050 12052 12011 0 -1 4202560 33762 0 0 0 119506 12 0 0 25 0 4 0 524745255 861413376 65624 33554432000 4194304 4797429 140733533350448 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 841224

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.29 8.14 7.99 6/181 12101
/proc/meminfo: memFree=30692860/32951124 swapFree=67111448/67111528
[pid=12052] ppid=12050 vsize=841224 CPUtime=4800.31 cores=1,3,5,7
/proc/12052/stat : 12052 (techdemo) R 12050 12052 12011 0 -1 4202496 398869 0 0 0 479882 149 0 0 25 0 4 0 524745255 861413376 65624 33554432000 4194304 4797429 140733533350448 18446744073709551615 4568098 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12052/statm: 210306 65624 425 148 0 205235 0
[pid=12052/tid=12054] ppid=12050 vsize=841224 CPUtime=1201.67 cores=1,3,5,7
/proc/12052/task/12054/stat : 12054 (techdemo) R 12050 12052 12011 0 -1 4202560 34141 0 0 0 120158 9 0 0 25 0 4 0 524745255 861413376 65624 33554432000 4194304 4797429 140733533350448 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12052/tid=12055] ppid=12050 vsize=841224 CPUtime=1201.73 cores=1,3,5,7
/proc/12052/task/12055/stat : 12055 (techdemo) R 12050 12052 12011 0 -1 4202560 36453 0 0 0 120164 9 0 0 25 0 4 0 524745255 861413376 65624 33554432000 4194304 4797429 140733533350448 18446744073709551615 4430142 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12052/tid=12056] ppid=12050 vsize=841224 CPUtime=1195.18 cores=1,3,5,7
/proc/12052/task/12056/stat : 12056 (techdemo) R 12050 12052 12011 0 -1 4202560 33762 0 0 0 119506 12 0 0 25 0 4 0 524745255 861413376 65624 33554432000 4194304 4797429 140733533350448 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 841224

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.72
CPU time (s): 4800.35
CPU user time (s): 4798.85
CPU system time (s): 1.50877
CPU usage (%): 399.455
Max. virtual memory (cumulated for all children) (KiB): 913888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.85
system time used= 1.50877
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 398869
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= 443
involuntary context switches= 33745

runsolver used 1.9937 second user time and 4.5723 second system time

The end

Launcher Data 

Begin job on node104 at 2011-04-30 04:44:08
IDJOB=3261449
IDBENCH=83229
IDSOLVER=1584
FILE ID=node104/3261449-1304131448
RUNJOBID= node104-1304131448-12030
PBS_JOBID= 13170795
Free space on /tmp= 72536 MiB

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

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

MD5SUM BENCH= 9c54c57be5bec760a361df7b3a13ea07
RANDOM SEED=327806508

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30973616 kB
Buffers:        395912 kB
Cached:        1103200 kB
SwapCached:         80 kB
Active:         163008 kB
Inactive:      1403492 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30973616 kB
SwapTotal:    67111528 kB
SwapFree:     67111448 kB
Dirty:           15728 kB
Writeback:           0 kB
AnonPages:       66696 kB
Mapped:          15488 kB
Slab:           344980 kB
PageTables:       5388 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   663688 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= 72528 MiB
End job on node104 at 2011-04-30 05:04:12