Trace number 3172578

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.07 1201.83

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v20000-c84000-S357264423-067-UNKNOWN.cnf
MD5SUM425b4c5e5535f7d6b9d17ca8feb0ac3e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark78.815
Satisfiable
(Un)Satisfiability was proved
Number of variables20000
Number of clauses84000
Sum of the clauses size252000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 384000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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-3172578-1304076457.cnf'
0.00/0.00	c -- header says num vars:          20000
0.00/0.00	c -- header says num clauses:       84000
0.19/0.23	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.19/0.23	c -- vars added      20000
0.19/0.23	c Parsing time:  0.21 s
0.19/0.23	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data  --
0.19/0.29	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.24
0.48/0.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.22
0.48/0.37	c Calc non-exist non-lernt bins v-fix:     0 done:  20000 time:  0.03 s
0.48/0.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.48/0.37	c Subs w/ non-existent bins:      0 time:  0.01 s
0.48/0.47	c bin-w-bin subsume rem            0 bins  time:  0.03 s
0.48/0.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.48/0.47	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.03 s
0.48/0.68	c lits-rem:         0  cl-subs:        0  v-elim:   1138  v-fix:    0  time:  0.89 s
0.48/0.68	c learnt bin added due to v-elim: 0
0.48/0.68	c Finding binary XORs  T:     0.02 s  found:       0
0.48/0.74	c Finding non-binary XORs:     0.19 s (found:       0, avg size: nan)
0.48/0.74	c calculated reachability. Time: 0.00
0.48/0.74	c Calc default polars -  time:   0.02 s pos:    8787 undec:    2366 neg:    8847
0.48/0.74	c =========================================================================================
0.48/0.74	c types(t): F = full restart, N = normal restart
0.48/0.74	c types(t): S = simplification begin/end, E = solution found
0.48/0.74	c restart types(rt): st = static, dy = dynamic
0.48/0.74	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.48/0.74	c  B st     0         0     19335     83166         0         0    253151         0   no data   no data  --
0.48/1.33	c Decided on dynamic restart strategy
6.88/1.91	c  N dy    20      4087     19335     83166         0      4086    253151    747549    181.39    122.77  --
12.05/3.20	c  N dy    49      8228     19335     83166         0      8226    253151   1473336    184.53    120.10  --
16.84/4.43	c  N dy    78     12330     19335     83166         0     12328    253151   2157114    163.02    118.08  --
22.01/5.75	c  N dy   107     16419     19335     83166         0     16415    253151   2853621    163.89    117.45  --
27.99/7.26	c  N dy   135     20446     19335     83166         0     10444    253151    563532    176.97    118.31  --
33.61/8.69	c  N dy   164     24592     19335     83166         0     14589    253151   1266416    177.73    117.23  --
38.78/9.99	c  N dy   193     28679     19335     83166         0     18675    253151   1956356    170.00    116.81  --
41.58/10.63	c  S st   203     30003     19335     83166         0     19999    253151   2197613    174.03    117.04  --
42.40/10.81	c  S st   203     30509     19335     83166         0     20505    253151   2262854    174.03    117.04  --
42.40/10.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
42.40/10.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.17/11.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.90
43.17/11.06	c Calc non-exist non-lernt bins v-fix:     0 done:  19335 time:  0.04 s
43.17/11.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.17/11.08	c Subs w/ non-existent bins:      0 time:  0.09 s
43.97/11.27	c bin-w-bin subsume rem            0 bins  time:  0.03 s
43.97/11.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
43.97/11.28	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
65.54/16.60	c lits-rem:         7  cl-subs:     1394  v-elim:    292  v-fix:    0  time: 21.23 s
65.54/16.60	c learnt bin added due to v-elim: 0
65.54/16.61	c vivif2 --  cl tried    83166 cl shrink        0 lits rem          0 time: 0.03
65.54/16.63	c vivif2 --  cl tried    19111 cl shrink        0 lits rem          0 time: 0.10
66.34/16.87	c asymm  cl-useful: 0/83166/83166 lits-rem:0 time: 0.93
66.34/16.87	c calculated reachability. Time: 0.00
66.34/16.87	c  N dy   203     30509     19335     83166         0     19111    253151   2161971    174.03    117.04  --
66.34/16.87	c  F st   203     30509     19335     83166         0     19111    253151   2161971    174.03    117.04  --
69.94/17.75	c Decided on dynamic restart strategy
73.15/18.54	c  N dy   223     34620     19335     83166         0     23221    253151   3152625    180.99    123.81  --
79.53/20.14	c  N dy   252     38693     19335     83166         0     27294    253151   3848455    173.86    122.83  --
85.52/21.69	c  N dy   280     42721     19335     83166         0     15824    253151    673597    168.36    122.62  --
89.91/22.78	c  S st   302     45763     19335     83166         0     18866    253151   1210593    161.94    122.49  --
90.73/22.96	c  S st   302     46266     19335     83166         0     19369    253151   1287388    161.94    122.49  --
90.73/22.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
90.73/22.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
91.50/23.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.72
91.50/23.16	c Calc non-exist non-lernt bins v-fix:     0 done:  19335 time:  0.04 s
91.50/23.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
91.50/23.18	c Subs w/ non-existent bins:      0 time:  0.06 s
91.90/23.26	c bin-w-bin subsume rem            0 bins  time:  0.03 s
91.90/23.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
91.90/23.28	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
103.51/26.17	c lits-rem:        17  cl-subs:      534  v-elim:    292  v-fix:    0  time: 11.56 s
103.51/26.17	c learnt bin added due to v-elim: 0
103.51/26.18	c vivif2 --  cl tried    83166 cl shrink        0 lits rem          0 time: 0.04
103.51/26.20	c vivif2 --  cl tried    18835 cl shrink        0 lits rem          0 time: 0.07
104.29/26.40	c asymm  cl-useful: 0/83166/83166 lits-rem:0 time: 0.78
104.69/26.40	c calculated reachability. Time: 0.00
104.69/26.40	c  N dy   302     46266     19335     83166         0     18835    253151   1252333    161.94    122.49  --
110.68/27.94	c  N dy   331     50403     19335     83166         0     22970    253151   1964867    166.89    121.77  --
116.27/29.32	c  N dy   360     54532     19335     83166         0     27099    253151   2668958    170.41    121.25  --
121.87/30.77	c  N dy   388     58566     19335     83166         0     31131    253151   3367621    166.06    120.93  --
128.66/32.43	c  N dy   417     62701     19335     83166         0     35266    253151   4066343    169.50    120.50  --
135.44/34.10	c  N dy   445     66709     19335     83166         0     20528    253151    918550    169.45    120.35  --
139.84/35.27	c  S st   464     69399     19335     83166         0     23218    253151   1403735    179.31    120.53  --
140.64/35.47	c  S st   464     69905     19335     83166         0     23724    253151   1471773    179.31    120.53  --
140.64/35.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
140.64/35.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
141.45/35.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.0M T:  0.81
141.85/35.70	c Calc non-exist non-lernt bins v-fix:     0 done:  19335 time:  0.04 s
141.85/35.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
141.85/35.72	c Subs w/ non-existent bins:      0 time:  0.08 s
142.25/35.82	c bin-w-bin subsume rem            0 bins  time:  0.03 s
142.25/35.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
142.25/35.83	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
153.82/38.77	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.01
161.41/40.65	c Added 0 vars  tried: 80000 time: 7.50
161.41/40.65	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:    7.50
161.81/40.70	c lits-rem:         0  cl-subs:      767  v-elim:    292  v-fix:    0  time: 19.45 s
161.81/40.70	c learnt bin added due to v-elim: 0
161.81/40.71	c vivif2 --  cl tried    83166 cl shrink        0 lits rem          0 time: 0.04
161.81/40.73	c vivif2 --  cl tried    22957 cl shrink        0 lits rem          0 time: 0.08
162.61/40.95	c asymm  cl-useful: 0/83166/83166 lits-rem:0 time: 0.87
162.61/40.95	c calculated reachability. Time: 0.00
162.61/40.95	c  N dy   464     69905     19335     83166         0     22957    253151   1422062    179.31    120.53  --
162.61/40.95	c  F st   464     69905     19335     83166         0     22957    253151   1422062    179.31    120.53  --
165.81/41.77	c Decided on dynamic restart strategy
169.42/42.70	c  N dy   487     74393     19335     83166         0     27444    253151   2201466    165.51    120.37  --
177.40/44.60	c  N dy   520     79145     19335     83166         0     32195    253151   3006986    163.81    120.11  --
184.58/46.45	c  N dy   555     84193     19335     83166         0     37243    253151   3908829    176.43    120.06  --
194.17/48.82	c  N dy   594     89697     19335     83166         0     21875    253151    746795    170.36    119.84  --
203.36/51.11	c  N dy   634     95466     19335     83166         0     27644    253151   1770857    186.57    119.73  --
213.36/53.63	c  N dy   677    101614     19335     83166         0     33790    253151   2876085    187.97    119.73  --
219.73/55.28	c  S st   700    104857     19335     83166         0     37033    253151   3451222    172.44    119.74  --
220.53/55.48	c  S st   700    105365     19335     83166         0     37541    253151   3522806    172.44    119.74  --
220.94/55.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
220.94/55.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
222.15/55.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.4M T:  1.27
222.15/55.83	c Calc non-exist non-lernt bins v-fix:     0 done:  19335 time:  0.04 s
222.15/55.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
222.15/55.86	c Subs w/ non-existent bins:      0 time:  0.13 s
222.93/56.07	c bin-w-bin subsume rem            0 bins  time:  0.03 s
222.93/56.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
222.93/56.09	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
261.28/65.63	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.01
261.69/65.70	c lits-rem:         0  cl-subs:     1448  v-elim:    292  v-fix:    0  time: 38.39 s
261.69/65.70	c learnt bin added due to v-elim: 0
261.69/65.71	c vivif2 --  cl tried    83166 cl shrink        0 lits rem          0 time: 0.03
261.69/65.75	c vivif2 --  cl tried    36093 cl shrink        0 lits rem          0 time: 0.16
263.28/66.10	c asymm  cl-useful: 0/83166/83166 lits-rem:0 time: 1.39
263.28/66.11	c calculated reachability. Time: 0.00
263.28/66.11	c  N dy   700    105365     19335     83166         0     36093    253151   3377151    172.44    119.74  --
273.67/68.71	c  N dy   747    112175     19335     83166         0     42902    253151   4555149    188.04    119.66  --
284.07/71.34	c  N dy   797    119376     19335     83166         0     27667    253151   1461634    187.60    119.49  --
295.24/74.17	c  N dy   851    127078     19335     83166         0     35368    253151   2796721    163.00    119.38  --
308.42/77.43	c  N dy   908    135200     19337     83166         4     43492    253159   4210422    170.35    119.33  --
321.60/80.77	c  N dy   968    143841     19337     83166         4     28416    253159   1330460    171.51    119.27  --
335.98/84.37	c  N dy  1032    153108     19337     83166         4     37682    253159   2968034    188.13    119.27  --
345.19/86.64	c  S st  1067    158047     19337     83166         4     42621    253159   3836224    191.46    119.22  --
345.96/86.87	c  S st  1067    158548     19337     83166         4     43122    253159   3900772    191.46    119.22  --
345.96/86.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
345.96/86.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
347.56/87.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.7M T:  1.47
347.56/87.26	c Calc non-exist non-lernt bins v-fix:     0 done:  19337 time:  0.04 s
347.56/87.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
347.96/87.30	c Subs w/ non-existent bins:      0 time:  0.15 s
348.76/87.55	c bin-w-bin subsume rem            0 bins  time:  0.03 s
348.76/87.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
348.76/87.56	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
451.05/113.17	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.01
451.43/113.25	c lits-rem:         0  cl-subs:     1769  v-elim:    294  v-fix:    0  time: 102.59 s
451.43/113.25	c learnt bin added due to v-elim: 0
451.43/113.26	c vivif2 --  cl tried    83166 cl shrink        0 lits rem          0 time: 0.04
451.83/113.31	c vivif2 --  cl tried    41353 cl shrink        0 lits rem          0 time: 0.18
453.03/113.68	c asymm  cl-useful: 0/83166/83166 lits-rem:0 time: 1.51
453.03/113.69	c calculated reachability. Time: 0.00
453.03/113.69	c  N dy  1067    158548     19337     83166         4     41353    253159   3746291    191.46    119.22  --
471.00/118.11	c  N dy  1138    168689     19337     83166         4     26635    253159    808612    177.17    119.15  --
487.38/122.26	c  N dy  1213    179496     19337     83166         4     37441    253159   2677226    177.94    119.01  --
507.35/127.22	c  N dy  1294    191081     19337     83166         4     49025    253159   4688378    171.13    118.92  --
526.92/132.11	c  N dy  1380    203314     19337     83166         4     35324    253159   2092558    181.89    118.84  --
548.89/137.69	c  N dy  1471    216365     19337     83166         4     48372    253159   4380173    182.44    118.75  --
572.86/143.60	c  N dy  1568    230254     19337     83166         4     35297    253159   1962738    188.00    118.91  --
586.44/147.07	c  S st  1621    237824     19337     83166         4     42865    253159   3305884    175.69    118.89  --
587.64/147.32	c  S st  1621    238329     19337     83166         4     43370    253159   3371869    175.69    118.89  --
587.64/147.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
587.64/147.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
589.24/147.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.0M T:  1.46
589.24/147.71	c Calc non-exist non-lernt bins v-fix:     0 done:  19337 time:  0.04 s
589.24/147.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
589.24/147.75	c Subs w/ non-existent bins:      0 time:  0.14 s
590.04/147.94	c bin-w-bin subsume rem            0 bins  time:  0.03 s
590.04/147.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
590.04/147.96	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
630.81/158.12	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.01
630.81/158.19	c lits-rem:         0  cl-subs:     1990  v-elim:    294  v-fix:    0  time: 40.87 s
630.81/158.19	c learnt bin added due to v-elim: 0
631.21/158.20	c vivif2 --  cl tried    83166 cl shrink        0 lits rem          0 time: 0.03
631.21/158.24	c vivif2 --  cl tried    41380 cl shrink        0 lits rem          0 time: 0.16
632.38/158.59	c asymm  cl-useful: 0/83166/83166 lits-rem:0 time: 1.39
632.78/158.60	c calculated reachability. Time: 0.00
632.78/158.60	c  N dy  1621    238329     19337     83166         4     41380    253159   3235343    175.69    118.89  --
657.94/164.93	c  N dy  1728    253645     19337     83166         4     28718    253159    594223    202.00    119.12  --
682.72/171.13	c  N dy  1842    269940     19337     83166         4     45011    253159   3490216    187.55    119.19  --
711.48/178.34	c  N dy  1964    287308     19337     83166         4     33392    253159   1250179    170.78    119.23  --
741.44/185.83	c  N dy  2092    305693     19337     83166         4     51776    253159   4475226    178.88    119.15  --
774.19/194.05	c  N dy  2229    325258     19337     83166         4     41345    253159   2476709    167.71    119.19  --
809.34/202.89	c  N dy  2370    345397     19337     83166         4     61482    253159   6001640    171.27    119.20  --
830.12/208.04	c  S st  2455    357496     19337     83166         4     42584    253159   2502725    184.79    119.26  --
830.92/208.27	c  S st  2455    357997     19337     83166         4     43085    253159   2564658    184.79    119.26  --
830.92/208.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
830.92/208.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
832.51/208.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.5M T:  1.42
832.51/208.65	c Calc non-exist non-lernt bins v-fix:     0 done:  19337 time:  0.04 s
832.51/208.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
832.51/208.68	c Subs w/ non-existent bins:      0 time:  0.11 s
833.33/208.84	c bin-w-bin subsume rem            0 bins  time:  0.03 s
833.33/208.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
833.33/208.85	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
860.47/215.63	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.01
870.87/218.20	c Added 0 vars  tried: 80000 time: 10.27
870.87/218.20	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:   10.27
870.87/218.26	c lits-rem:        11  cl-subs:     2206  v-elim:    294  v-fix:    0  time: 37.59 s
870.87/218.26	c learnt bin added due to v-elim: 0
870.87/218.27	c vivif2 --  cl tried    83166 cl shrink        0 lits rem          0 time: 0.04
871.27/218.30	c vivif2 --  cl tried    40879 cl shrink        0 lits rem          0 time: 0.13
872.48/218.61	c asymm  cl-useful: 0/83166/83166 lits-rem:0 time: 1.22
872.48/218.62	c calculated reachability. Time: 0.01
872.48/218.62	c  N dy  2455    357997     19337     83166         4     40879    253159   2449719    184.79    119.26  --
908.41/227.66	c  N dy  2596    378100     19337     83166         4     60978    253159   6037423    154.44    119.33  --
943.56/236.49	c  N dy  2737    398230     19337     83166         4     49112    253159   3519848    184.63    119.38  --
981.12/245.88	c  N dy  2877    418249     19337     83166         4     36133    253159    985183    169.29    119.48  --
1015.87/254.58	c  N dy  3017    438284     19337     83166         4     56166    253159   4481615    189.24    119.38  --
1053.81/264.02	c  N dy  3157    458363     19337     83166         4     42248    253159   1934590    182.36    119.36  --
1089.37/272.93	c  N dy  3296    478436     19337     83166         4     62314    253159   5497149    171.78    119.35  --
1122.53/281.20	c  N dy  3436    498440     19337     83166         4     47323    253159   2560307    181.52    119.23  --
1157.28/289.91	c  N dy  3577    518548     19337     83166         4     67430    253159   6030226    173.51    119.12  --
1189.63/298.07	c  S st  3706    536995     19337     83166         4     49880    253159   2930332    175.11    119.15  --
1190.83/298.31	c  S st  3706    537497     19337     83166         4     50382    253159   2991457    175.11    119.15  --
1190.83/298.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1190.83/298.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1192.43/298.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.9M T:  1.78
1192.43/298.77	c Calc non-exist non-lernt bins v-fix:     0 done:  19337 time:  0.04 s
1192.43/298.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1192.83/298.81	c Subs w/ non-existent bins:      0 time:  0.13 s
1193.25/298.98	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1193.25/298.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1193.25/298.99	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
1231.18/308.48	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.01
1231.58/308.55	c lits-rem:         0  cl-subs:     2918  v-elim:    294  v-fix:    0  time: 38.18 s
1231.58/308.55	c learnt bin added due to v-elim: 0
1231.58/308.56	c vivif2 --  cl tried    83166 cl shrink        0 lits rem          0 time: 0.04
1231.98/308.60	c vivif2 --  cl tried    47464 cl shrink        0 lits rem          0 time: 0.14
1233.20/308.94	c asymm  cl-useful: 0/83166/83166 lits-rem:0 time: 1.37
1233.20/308.95	c calculated reachability. Time: 0.00
1233.20/308.95	c  N dy  3706    537497     19337     83166         4     47464    253159   2846466    175.11    119.15  --
1233.20/308.95	c  F st  3706    537497     19337     83166         4     47464    253159   2846466    175.11    119.15  --
1236.77/309.88	c Decided on dynamic restart strategy
1270.33/318.24	c  N dy  3838    557614     19337     83166         4     67580    253159   6446139    183.06    119.16  --
1306.68/327.36	c  N dy  3979    577696     19337     83166         4     50664    253159   2835409    182.57    119.13  --
1344.63/336.86	c  N dy  4119    597811     19337     83166         4     70772    253159   6367672    175.50    119.10  --
1381.78/346.10	c  N dy  4259    617859     19337     83166         4     52826    253159   3066696    186.84    119.05  --
1420.93/355.92	c  N dy  4399    637891     19337     83166         4     72855    253159   6597307    181.50    119.06  --
1458.47/365.36	c  N dy  4539    657933     19337     83166         4     53897    253159   3106915    191.22    119.11  --
1498.02/375.20	c  N dy  4679    677934     19337     83166         4     73894    253159   6632780    173.18    119.10  --
1537.17/385.09	c  N dy  4818    697980     19337     83166         4     53943    253159   2993966    190.16    119.21  --
1577.11/395.07	c  N dy  4959    718060     19337     83166         4     74018    253159   6471154    161.20    119.15  --
1615.87/404.77	c  N dy  5098    738165     19337     83166         4     53130    253159   2578025    167.09    119.17  --
1651.41/413.69	c  N dy  5239    758279     19337     83166         4     73240    253159   6133328    179.90    119.17  --
1688.56/422.92	c  N dy  5379    778344     19337     83166         4     51311    253159   2106228    187.93    119.22  --
1724.94/432.07	c  N dy  5519    798435     19337     83166         4     71400    253159   5665025    182.69    119.21  --
1742.51/436.49	c  S st  5574    806245     19337     83166         4     79210    253159   7027982    196.05    119.19  --
1744.09/436.82	c  S st  5574    806746     19337     83166         4     79711    253159   7092927    196.05    119.19  --
1744.09/436.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1744.09/436.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1747.31/437.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  6.9M T:  3.21
1747.31/437.66	c Calc non-exist non-lernt bins v-fix:     0 done:  19337 time:  0.04 s
1747.31/437.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1747.68/437.72	c Subs w/ non-existent bins:      0 time:  0.25 s
1749.29/438.15	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1749.29/438.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1749.29/438.16	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
2221.05/556.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.02
2249.42/563.34	c Added 0 vars  tried: 80000 time: 28.39
2249.42/563.34	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:   28.39
2249.82/563.47	c lits-rem:         0  cl-subs:     4597  v-elim:    294  v-fix:    0  time: 500.49 s
2249.82/563.47	c learnt bin added due to v-elim: 0
2249.82/563.48	c vivif2 --  cl tried    83166 cl shrink        0 lits rem          0 time: 0.03
2250.22/563.56	c vivif2 --  cl tried    75114 cl shrink        0 lits rem          0 time: 0.34
2252.24/564.04	c asymm  cl-useful: 0/65216/83166 lits-rem:0 time: 1.91
2252.24/564.05	c calculated reachability. Time: 0.00
2252.24/564.05	c  N dy  5574    806746     19337     83166         4     75114    253159   6771530    196.05    119.19  --
2288.97/573.25	c  N dy  5714    826804     19337     83166         4     52175    253159   2097288    181.57    119.23  --
2326.12/582.53	c  N dy  5854    846815     19337     83166         4     72186    253159   5638967    163.26    119.24  --
2366.48/592.64	c  N dy  5994    866913     19337     83166         4     48286    253159   1201607    169.44    119.22  --
2403.21/601.89	c  N dy  6135    887000     19337     83166         4     68371    253159   4783406    167.82    119.23  --
2445.97/612.53	c  N dy  6275    907069     19337     83166         4     88440    253159   8366686    159.28    119.23  --
2483.51/621.97	c  N dy  6415    927118     19337     83166         4     63484    253159   3822002    184.32    119.29  --
2525.07/632.31	c  N dy  6555    947213     19337     83166         4     83576    253159   7471601    175.01    119.34  --
2565.79/642.54	c  N dy  6695    967260     19337     83166         4     57628    253159   2562867    168.06    119.37  --
2607.34/652.97	c  N dy  6836    987362     19337     83166         4     77728    253159   6150737    192.22    119.39  --
2650.48/663.72	c  N dy  6976   1007465     19337     83166         4     50836    253159   1121004    171.95    119.39  --
2689.63/673.56	c  N dy  7116   1027557     19337     83166         4     70923    253159   4687600    167.67    119.39  --
2733.17/684.40	c  N dy  7257   1047658     19337     83166         4     91023    253159   8227907    162.98    119.38  --
2774.32/694.72	c  N dy  7397   1067747     19337     83166         4     63113    253159   3167007    179.93    119.40  --
2815.46/705.00	c  N dy  7537   1087842     19337     83166         4     83206    253159   6656803    167.20    119.36  --
2857.81/715.68	c  N dy  7676   1107893     19337     83166         4     54262    253159   1386285    183.59    119.34  --
2895.75/725.14	c  N dy  7816   1127897     19337     83166         4     74263    253159   4930528    187.44    119.34  --
2937.30/735.56	c  N dy  7956   1147921     19337     83166         4     94284    253159   8517565    180.90    119.35  --
2975.25/745.05	c  N dy  8096   1168039     19337     83166         4     64407    253159   3059375    178.86    119.37  --
3014.00/754.74	c  N dy  8236   1188055     19337     83166         4     84421    253159   6556415    170.42    119.35  --
3056.76/765.49	c  N dy  8377   1208139     19337     83166         4     53509    253159    901189    162.57    119.34  --
3060.75/766.47	c  S st  8391   1210120     19337     83166         4     55490    253159   1261235    169.17    119.34  --
3061.93/766.73	c  S st  8391   1210623     19337     83166         4     55993    253159   1330732    169.17    119.34  --
3061.93/766.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3061.93/766.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3063.93/767.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.1M T:  2.10
3063.93/767.28	c Calc non-exist non-lernt bins v-fix:     0 done:  19337 time:  0.04 s
3063.93/767.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3063.93/767.30	c Subs w/ non-existent bins:      0 time:  0.08 s
3064.33/767.39	c bin-w-bin subsume rem            0 bins  time:  0.03 s
3064.73/767.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3064.73/767.41	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
3077.91/770.75	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.01
3077.91/770.80	c lits-rem:         2  cl-subs:     3514  v-elim:    294  v-fix:    0  time: 13.54 s
3077.91/770.80	c learnt bin added due to v-elim: 0
3078.33/770.80	c vivif2 --  cl tried    83166 cl shrink        0 lits rem          0 time: 0.02
3078.33/770.82	c vivif2 --  cl tried    52479 cl shrink        0 lits rem          0 time: 0.07
3078.33/770.88	c asymm  cl-useful: 0/17950/83166 lits-rem:0 time: 0.25
3078.33/770.89	c calculated reachability. Time: 0.00
3078.33/770.89	c  N dy  8391   1210623     19337     83166         4     52479    253159   1262972    169.17    119.34  --
3116.66/780.40	c  N dy  8532   1230742     19337     83166         4     72594    253159   4794696    163.21    119.31  --
3159.80/791.23	c  N dy  8671   1250801     19337     83166         4     92653    253159   8362222    181.82    119.33  --
3203.34/802.18	c  N dy  8812   1270926     19337     83166         4     60782    253159   2128765    185.76    119.34  --
3244.89/812.54	c  N dy  8951   1290969     19337     83166         4     80823    253159   5712909    175.89    119.35  --
3290.83/824.07	c  N dy  9091   1310993     19337     83166         4    100846    253159   9209386    177.73    119.33  --
3332.77/834.55	c  N dy  9231   1331105     19337     83166         4     67961    253159   3237172    171.71    119.37  --
3375.92/845.39	c  N dy  9372   1351200     19337     83166         4     88055    253159   6740303    181.28    119.34  --
3423.85/857.36	c  N dy  9512   1371278     19337     83166         4     54136    253159    527247    169.92    119.32  --
3464.60/867.58	c  N dy  9652   1391336     19337     83166         4     74189    253159   4091677    177.91    119.32  --
3509.36/878.78	c  N dy  9791   1411368     19337     83166         4     94215    253159   7685967    175.74    119.34  --
3556.87/890.63	c  N dy  9932   1431460     19337     83166         4     59315    253159   1255061    162.68    119.35  --
3596.42/900.57	c  N dy 10072   1451462     19337     83166         4     79314    253159   4774137    176.66    119.34  --
3641.18/911.78	c  N dy 10212   1471478     19337     83166         4     99325    253159   8368038    179.58    119.37  --
3684.30/922.56	c  N dy 10353   1491562     19337     83166         4     63417    253159   1811459    181.63    119.34  --
3722.25/932.08	c  N dy 10493   1511636     19337     83166         4     83486    253159   5382296    181.20    119.36  --
3765.79/942.94	c  N dy 10634   1531714     19337     83166         4    103559    253159   8925739    184.98    119.36  --
3807.76/953.42	c  N dy 10772   1551723     19337     83166         4     66572    253159   2236081    171.47    119.39  --
3848.48/963.64	c  N dy 10913   1571790     19337     83166         4     86638    253159   5805649    184.76    119.39  --
3894.02/975.05	c  N dy 11053   1591792     19337     83166         4    106639    253159   9380952    196.18    119.41  --
3937.96/986.08	c  N dy 11193   1611854     19337     83166         4     68709    253159   2447858    178.03    119.42  --
3980.70/996.77	c  N dy 11333   1631953     19337     83166         4     88802    253159   6020611    180.59    119.44  --
4029.04/1008.89	c  N dy 11473   1652020     19337     83166         4    108866    253159   9593701    169.29    119.45  --
4074.18/1020.12	c  N dy 11613   1672118     19337     83166         4     69972    253159   2511869    177.00    119.48  --
4116.92/1030.80	c  N dy 11753   1692167     19337     83166         4     90018    253159   6024175    185.16    119.47  --
4164.08/1042.68	c  S st 11883   1710624     19337     83166         4    108474    253159   9226970    183.69    119.46  --
4165.65/1043.08	c  S st 11883   1711128     19337     83166         4    108978    253159   9290776    183.69    119.46  --
4166.05/1043.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
4166.05/1043.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4170.85/1044.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 15.0M T:  5.14
4171.25/1044.40	c Calc non-exist non-lernt bins v-fix:     0 done:  19337 time:  0.04 s
4171.25/1044.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4171.25/1044.48	c Subs w/ non-existent bins:      0 time:  0.32 s
4173.64/1045.03	c bin-w-bin subsume rem            0 bins  time:  0.03 s
4173.64/1045.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4173.64/1045.05	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 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-3172578-1304076457/watcher-3172578-1304076457 -o /tmp/evaluation-result-3172578-1304076457/solver-3172578-1304076457 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172578-1304076457.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.48 7.96 7.99 2/174 31658
/proc/meminfo: memFree=24404068/32951124 swapFree=67111524/67111528
[pid=31658] ppid=31656 vsize=24076 CPUtime=0 cores=1,3,5,7
/proc/31658/stat : 31658 (techdemo) R 31656 31658 30965 0 -1 4202496 1294 0 0 0 0 0 0 0 21 0 1 0 519243439 24653824 1233 33554432000 4194304 4797429 140736802620160 18446744073709551615 4365441 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31658/statm: 6019 1235 341 148 0 948 0

[startup+0.0886809 s]
/proc/loadavg: 7.48 7.96 7.99 2/174 31658
/proc/meminfo: memFree=24404068/32951124 swapFree=67111524/67111528
[pid=31658] ppid=31656 vsize=90944 CPUtime=0.08 cores=1,3,5,7
/proc/31658/stat : 31658 (techdemo) R 31656 31658 30965 0 -1 4202496 12691 0 0 0 7 1 0 0 21 0 1 0 519243439 93126656 9361 33554432000 4194304 4797429 140736802620160 18446744073709551615 212687336133 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31658/statm: 22736 9361 348 148 0 17665 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 90944

[startup+0.100685 s]
/proc/loadavg: 7.48 7.96 7.99 2/174 31658
/proc/meminfo: memFree=24404068/32951124 swapFree=67111524/67111528
[pid=31658] ppid=31656 vsize=92576 CPUtime=0.09 cores=1,3,5,7
/proc/31658/stat : 31658 (techdemo) R 31656 31658 30965 0 -1 4202496 13198 0 0 0 8 1 0 0 21 0 1 0 519243439 94797824 9848 33554432000 4194304 4797429 140736802620160 18446744073709551615 212687333533 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31658/statm: 23144 9852 348 148 0 18073 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 92576

[startup+0.30061 s]
/proc/loadavg: 7.48 7.96 7.99 2/174 31658
/proc/meminfo: memFree=24404068/32951124 swapFree=67111524/67111528
[pid=31658] ppid=31656 vsize=699172 CPUtime=0.48 cores=1,3,5,7
/proc/31658/stat : 31658 (techdemo) R 31656 31658 30965 0 -1 4202496 18830 0 0 0 46 2 0 0 23 0 4 0 519243439 715952128 15253 33554432000 4194304 4797429 140736802620160 18446744073709551615 4620756 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31658/statm: 174793 15261 376 148 0 169722 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 699172

[startup+1.4554 s]
/proc/loadavg: 7.48 7.96 7.99 2/174 31658
/proc/meminfo: memFree=24404068/32951124 swapFree=67111524/67111528
[pid=31658] ppid=31656 vsize=810496 CPUtime=5.08 cores=1,3,5,7
/proc/31658/stat : 31658 (techdemo) R 31656 31658 30965 0 -1 4202496 30221 0 0 0 495 13 0 0 19 0 4 0 519243439 829947904 24904 33554432000 4194304 4797429 140736802620160 18446744073709551615 4351579 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31658/statm: 202624 24904 412 148 0 197553 0
Current children cumulated CPU time (s) 5.08
Current children cumulated vsize (KiB) 810496

[startup+1.50039 s]
/proc/loadavg: 7.48 7.96 7.99 2/174 31658
/proc/meminfo: memFree=24404068/32951124 swapFree=67111524/67111528
[pid=31658] ppid=31656 vsize=810496 CPUtime=5.26 cores=1,3,5,7
/proc/31658/stat : 31658 (techdemo) R 31656 31658 30965 0 -1 4202496 30329 0 0 0 513 13 0 0 19 0 4 0 519243439 829947904 25012 33554432000 4194304 4797429 140736802620160 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31658/statm: 202624 25012 412 148 0 197553 0
Current children cumulated CPU time (s) 5.26
Current children cumulated vsize (KiB) 810496

[startup+3.1071 s]
/proc/loadavg: 7.52 7.96 7.99 9/184 31671
/proc/meminfo: memFree=24187244/32951124 swapFree=67111524/67111528
[pid=31658] ppid=31656 vsize=814100 CPUtime=11.68 cores=1,3,5,7
/proc/31658/stat : 31658 (techdemo) R 31656 31658 30965 0 -1 4202496 34862 0 0 0 1153 15 0 0 23 0 4 0 519243439 833638400 29522 33554432000 4194304 4797429 140736802620160 18446744073709551615 212687371966 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31658/statm: 203525 29522 413 148 0 198454 0
[pid=31658/tid=31669] ppid=31656 vsize=814100 CPUtime=2.85 cores=1,3,5,7
/proc/31658/task/31669/stat : 31669 (techdemo) R 31656 31658 30965 0 -1 4202560 4436 0 0 0 282 3 0 0 22 0 4 0 519243463 833638400 29522 33554432000 4194304 4797429 140736802620160 18446744073709551615 4424536 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31658/tid=31670] ppid=31656 vsize=814100 CPUtime=2.86 cores=1,3,5,7
/proc/31658/task/31670/stat : 31670 (techdemo) R 31656 31658 30965 0 -1 4202560 4280 0 0 0 283 3 0 0 22 0 4 0 519243463 833638400 29522 33554432000 4194304 4797429 140736802620160 18446744073709551615 4259014 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31658/tid=31671] ppid=31656 vsize=814100 CPUtime=2.84 cores=1,3,5,7
/proc/31658/task/31671/stat : 31671 (techdemo) R 31656 31658 30965 0 -1 4202560 4565 0 0 0 283 1 0 0 22 0 4 0 519243463 833638400 29522 33554432000 4194304 4797429 140736802620160 18446744073709551615 4341204 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.68
Current children cumulated vsize (KiB) 814100

[startup+6.30052 s]
/proc/loadavg: 7.52 7.96 7.99 9/184 31671
/proc/meminfo: memFree=24115640/32951124 swapFree=67111524/67111528
[pid=31658] ppid=31656 vsize=823620 CPUtime=24.42 cores=1,3,5,7
/proc/31658/stat : 31658 (techdemo) R 31656 31658 30965 0 -1 4202496 46106 0 0 0 2416 26 0 0 20 0 4 0 519243439 843386880 40750 33554432000 4194304 4797429 140736802620160 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31658/statm: 205905 40750 416 148 0 200834 0
[pid=31658/tid=31669] ppid=31656 vsize=823620 CPUtime=6.03 cores=1,3,5,7
/proc/31658/task/31669/stat : 31669 (techdemo) R 31656 31658 30965 0 -1 4202560 7250 0 0 0 596 7 0 0 20 0 4 0 519243463 843386880 40750 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31658/tid=31670] ppid=31656 vsize=823620 CPUtime=6.04 cores=1,3,5,7
/proc/31658/task/31670/stat : 31670 (techdemo) R 31656 31658 30965 0 -1 4202560 7358 0 0 0 597 7 0 0 20 0 4 0 519243463 843386880 40750 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31658/tid=31671] ppid=31656 vsize=823620 CPUtime=6.03 cores=1,3,5,7
/proc/31658/task/31671/stat : 31671 (techdemo) R 31656 31658 30965 0 -1 4202560 7874 0 0 0 599 4 0 0 20 0 4 0 519243463 843386880 40750 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.42
Current children cumulated vsize (KiB) 823620

[startup+12.7004 s]
/proc/loadavg: 7.56 7.96 7.99 9/184 31671
/proc/meminfo: memFree=24076624/32951124 swapFree=67111524/67111528
[pid=31658] ppid=31656 vsize=833496 CPUtime=49.97 cores=1,3,5,7
/proc/31658/stat : 31658 (techdemo) R 31656 31658 30965 0 -1 4202496 53938 0 0 0 4968 29 0 0 25 0 4 0 519243439 853499904 44690 33554432000 4194304 4797429 140736802620160 18446744073709551615 4524493 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31658/statm: 208374 44690 419 148 0 203303 0
[pid=31658/tid=31669] ppid=31656 vsize=833496 CPUtime=12.42 cores=1,3,5,7
/proc/31658/task/31669/stat : 31669 (techdemo) R 31656 31658 30965 0 -1 4202560 7602 0 0 0 1235 7 0 0 25 0 4 0 519243463 853499904 44690 33554432000 4194304 4797429 140736802620160 18446744073709551615 4567910 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31658/tid=31670] ppid=31656 vsize=833496 CPUtime=12.44 cores=1,3,5,7
/proc/31658/task/31670/stat : 31670 (techdemo) R 31656 31658 30965 0 -1 4202560 7729 0 0 0 1237 7 0 0 25 0 4 0 519243463 853499904 44690 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31658/tid=31671] ppid=31656 vsize=833496 CPUtime=12.39 cores=1,3,5,7
/proc/31658/task/31671/stat : 31671 (techdemo) R 31656 31658 30965 0 -1 4202560 8368 0 0 0 1235 4 0 0 25 0 4 0 519243463 853499904 44690 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (KiB) 833496

[startup+25.501 s]
/proc/loadavg: 7.72 7.98 7.99 9/184 31672
/proc/meminfo: memFree=24040160/32951124 swapFree=67111524/67111528
[pid=31658] ppid=31656 vsize=839260 CPUtime=101.09 cores=1,3,5,7
/proc/31658/stat : 31658 (techdemo) R 31656 31658 30965 0 -1 4202496 62336 0 0 0 10076 33 0 0 25 0 4 0 519243439 859402240 47777 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31658/statm: 209815 47777 419 148 0 204744 0
[pid=31658/tid=31669] ppid=31656 vsize=839260 CPUtime=25.23 cores=1,3,5,7
/proc/31658/task/31669/stat : 31669 (techdemo) R 31656 31658 30965 0 -1 4202560 8425 0 0 0 2515 8 0 0 25 0 4 0 519243463 859402240 47777 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31658/tid=31670] ppid=31656 vsize=839260 CPUtime=25.24 cores=1,3,5,7
/proc/31658/task/31670/stat : 31670 (techdemo) R 31656 31658 30965 0 -1 4202560 8948 0 0 0 2516 8 0 0 25 0 4 0 519243463 859402240 47777 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31658/tid=31671] ppid=31656 vsize=839260 CPUtime=25.12 cores=1,3,5,7
/proc/31658/task/31671/stat : 31671 (techdemo) R 31656 31658 30965 0 -1 4202560 9863 0 0 0 2507 5 0 0 25 0 4 0 519243463 859402240 47777 33554432000 4194304 4797429 140736802620160 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.09
Current children cumulated vsize (KiB) 839260

[startup+51.1004 s]
/proc/loadavg: 7.82 7.98 7.99 9/184 31672
/proc/meminfo: memFree=24009612/32951124 swapFree=67111524/67111528
[pid=31658] ppid=31656 vsize=852216 CPUtime=203.36 cores=1,3,5,7
/proc/31658/stat : 31658 (techdemo) R 31656 31658 30965 0 -1 4202496 80224 0 0 0 20294 42 0 0 25 0 4 0 519243439 872669184 54763 33554432000 4194304 4797429 140736802620160 18446744073709551615 4358590 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31658/statm: 213054 54763 420 148 0 207983 0
[pid=31658/tid=31669] ppid=31656 vsize=852216 CPUtime=50.82 cores=1,3,5,7
/proc/31658/task/31669/stat : 31669 (techdemo) R 31656 31658 30965 0 -1 4202560 10119 0 0 0 5074 8 0 0 25 0 4 0 519243463 872669184 54763 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31658/tid=31670] ppid=31656 vsize=852216 CPUtime=50.84 cores=1,3,5,7
/proc/31658/task/31670/stat : 31670 (techdemo) R 31656 31658 30965 0 -1 4202560 11155 0 0 0 5076 8 0 0 25 0 4 0 519243463 872669184 54763 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31658/tid=31671] ppid=31656 vsize=852216 CPUtime=50.59 cores=1,3,5,7
/proc/31658/task/31671/stat : 31671 (techdemo) R 31656 31658 30965 0 -1 4202560 11811 0 0 0 5053 6 0 0 25 0 4 0 519243463 872669184 54763 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.36
Current children cumulated vsize (KiB) 852216

[startup+102.301 s]
/proc/loadavg: 7.97 8.00 8.00 9/184 31674
/proc/meminfo: memFree=23940996/32951124 swapFree=67111524/67111528
[pid=31658] ppid=31656 vsize=873412 CPUtime=407.89 cores=1,3,5,7
/proc/31658/stat : 31658 (techdemo) R 31656 31658 30965 0 -1 4202496 108334 0 0 0 40731 58 0 0 25 0 4 0 519243439 894373888 60406 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568105 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31658/statm: 218353 60406 420 148 0 213282 0
[pid=31658/tid=31669] ppid=31656 vsize=873412 CPUtime=102.03 cores=1,3,5,7
/proc/31658/task/31669/stat : 31669 (techdemo) R 31656 31658 30965 0 -1 4202560 14045 0 0 0 10192 11 0 0 25 0 4 0 519243463 894373888 60406 33554432000 4194304 4797429 140736802620160 18446744073709551615 4387760 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31658/tid=31670] ppid=31656 vsize=873412 CPUtime=102.04 cores=1,3,5,7
/proc/31658/task/31670/stat : 31670 (techdemo) R 31656 31658 30965 0 -1 4202560 14909 0 0 0 10194 10 0 0 25 0 4 0 519243463 894373888 60406 33554432000 4194304 4797429 140736802620160 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31658/tid=31671] ppid=31656 vsize=873412 CPUtime=101.5 cores=1,3,5,7
/proc/31658/task/31671/stat : 31671 (techdemo) R 31656 31658 30965 0 -1 4202560 16083 0 0 0 10143 7 0 0 25 0 4 0 519243463 894373888 60406 33554432000 4194304 4797429 140736802620160 18446744073709551615 4567765 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.89
Current children cumulated vsize (KiB) 873412

[startup+162.301 s]
/proc/loadavg: 8.03 8.01 8.00 9/184 31675
/proc/meminfo: memFree=23915548/32951124 swapFree=67111524/67111528
[pid=31658] ppid=31656 vsize=886936 CPUtime=647.56 cores=1,3,5,7
/proc/31658/stat : 31658 (techdemo) R 31656 31658 30965 0 -1 4202496 140671 0 0 0 64682 74 0 0 25 0 4 0 519243439 908222464 63895 33554432000 4194304 4797429 140736802620160 18446744073709551615 4424556 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31658/statm: 221734 63895 420 148 0 216663 0
[pid=31658/tid=31669] ppid=31656 vsize=886936 CPUtime=162.02 cores=1,3,5,7
/proc/31658/task/31669/stat : 31669 (techdemo) R 31656 31658 30965 0 -1 4202560 17707 0 0 0 16190 12 0 0 25 0 4 0 519243463 908222464 63895 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31658/tid=31670] ppid=31656 vsize=886936 CPUtime=162.04 cores=1,3,5,7
/proc/31658/task/31670/stat : 31670 (techdemo) R 31656 31658 30965 0 -1 4202560 18838 0 0 0 16193 11 0 0 25 0 4 0 519243463 908222464 63895 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31658/tid=31671] ppid=31656 vsize=886936 CPUtime=161.18 cores=1,3,5,7
/proc/31658/task/31671/stat : 31671 (techdemo) R 31656 31658 30965 0 -1 4202560 20304 0 0 0 16109 9 0 0 25 0 4 0 519243463 908222464 63895 33554432000 4194304 4797429 140736802620160 18446744073709551615 4509104 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 647.56
Current children cumulated vsize (KiB) 886936

[startup+222.301 s]
/proc/loadavg: 8.01 8.00 8.00 9/184 31677
/proc/meminfo: memFree=23875596/32951124 swapFree=67111524/67111528
[pid=31658] ppid=31656 vsize=894040 CPUtime=887.24 cores=1,3,5,7
/proc/31658/stat : 31658 (techdemo) R 31656 31658 30965 0 -1 4202496 174503 0 0 0 88632 92 0 0 25 0 4 0 519243439 915496960 70965 33554432000 4194304 4797429 140736802620160 18446744073709551615 4387378 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31658/statm: 223510 70965 420 148 0 218439 0
[pid=31658/tid=31669] ppid=31656 vsize=894040 CPUtime=222.03 cores=1,3,5,7
/proc/31658/task/31669/stat : 31669 (techdemo) R 31656 31658 30965 0 -1 4202560 19838 0 0 0 22189 14 0 0 25 0 4 0 519243463 915496960 70965 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31658/tid=31670] ppid=31656 vsize=894040 CPUtime=222.04 cores=1,3,5,7
/proc/31658/task/31670/stat : 31670 (techdemo) R 31656 31658 30965 0 -1 4202560 21232 0 0 0 22192 12 0 0 25 0 4 0 519243463 915496960 70965 33554432000 4194304 4797429 140736802620160 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31658/tid=31671] ppid=31656 vsize=894040 CPUtime=220.86 cores=1,3,5,7
/proc/31658/task/31671/stat : 31671 (techdemo) R 31656 31658 30965 0 -1 4202560 22865 0 0 0 22075 11 0 0 25 0 4 0 519243463 915496960 70965 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 887.24
Current children cumulated vsize (KiB) 894040

[startup+282.301 s]
/proc/loadavg: 8.00 8.00 8.00 9/184 31678
/proc/meminfo: memFree=23855724/32951124 swapFree=67111524/67111528
[pid=31658] ppid=31656 vsize=901792 CPUtime=1126.92 cores=1,3,5,7
/proc/31658/stat : 31658 (techdemo) R 31656 31658 30965 0 -1 4202496 212370 0 0 0 112581 111 0 0 25 0 4 0 519243439 923435008 68660 33554432000 4194304 4797429 140736802620160 18446744073709551615 4258736 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31658/statm: 225448 68660 420 148 0 220377 0
[pid=31658/tid=31669] ppid=31656 vsize=901792 CPUtime=282.03 cores=1,3,5,7

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

[pid=31658] ppid=31656 vsize=939340 CPUtime=2804.68 cores=1,3,5,7
/proc/31658/stat : 31658 (techdemo) R 31656 31658 30965 0 -1 4202496 374893 0 0 0 280263 205 0 0 25 0 4 0 519243439 961884160 92143 33554432000 4194304 4797429 140736802620160 18446744073709551615 4331577 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31658/statm: 234835 92143 420 148 0 229764 0
[pid=31658/tid=31669] ppid=31656 vsize=939340 CPUtime=702.04 cores=1,3,5,7
/proc/31658/task/31669/stat : 31669 (techdemo) R 31656 31658 30965 0 -1 4202560 35590 0 0 0 70183 21 0 0 25 0 4 0 519243463 961884160 92143 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31658/tid=31670] ppid=31656 vsize=939340 CPUtime=702.06 cores=1,3,5,7
/proc/31658/task/31670/stat : 31670 (techdemo) R 31656 31658 30965 0 -1 4202560 37029 0 0 0 70185 21 0 0 25 0 4 0 519243463 961884160 92143 33554432000 4194304 4797429 140736802620160 18446744073709551615 4495473 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31658/tid=31671] ppid=31656 vsize=939340 CPUtime=698.25 cores=1,3,5,7
/proc/31658/task/31671/stat : 31671 (techdemo) R 31656 31658 30965 0 -1 4202560 40343 0 0 0 69807 18 0 0 25 0 4 0 519243463 961884160 92143 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2804.68
Current children cumulated vsize (KiB) 939340

[startup+762.301 s]
/proc/loadavg: 8.07 8.03 8.00 9/184 31691
/proc/meminfo: memFree=23728704/32951124 swapFree=67111524/67111528
[pid=31658] ppid=31656 vsize=944216 CPUtime=3044.35 cores=1,3,5,7
/proc/31658/stat : 31658 (techdemo) R 31656 31658 30965 0 -1 4202496 407312 0 0 0 304211 224 0 0 25 0 4 0 519243439 966877184 91969 33554432000 4194304 4797429 140736802620160 18446744073709551615 4404772 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31658/statm: 236054 91969 420 148 0 230983 0
[pid=31658/tid=31669] ppid=31656 vsize=944216 CPUtime=762.04 cores=1,3,5,7
/proc/31658/task/31669/stat : 31669 (techdemo) R 31656 31658 30965 0 -1 4202560 38852 0 0 0 76181 23 0 0 25 0 4 0 519243463 966877184 91969 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31658/tid=31670] ppid=31656 vsize=944216 CPUtime=762.06 cores=1,3,5,7
/proc/31658/task/31670/stat : 31670 (techdemo) R 31656 31658 30965 0 -1 4202560 39745 0 0 0 76184 22 0 0 25 0 4 0 519243463 966877184 91969 33554432000 4194304 4797429 140736802620160 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31658/tid=31671] ppid=31656 vsize=944216 CPUtime=757.92 cores=1,3,5,7
/proc/31658/task/31671/stat : 31671 (techdemo) R 31656 31658 30965 0 -1 4202560 43515 0 0 0 75773 19 0 0 25 0 4 0 519243463 966877184 91969 33554432000 4194304 4797429 140736802620160 18446744073709551615 4523866 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.35
Current children cumulated vsize (KiB) 944216

[startup+822.301 s]
/proc/loadavg: 8.12 8.05 8.01 9/184 31693
/proc/meminfo: memFree=23682560/32951124 swapFree=67111524/67111528
[pid=31658] ppid=31656 vsize=948456 CPUtime=3284.04 cores=1,3,5,7
/proc/31658/stat : 31658 (techdemo) R 31656 31658 30965 0 -1 4202496 432232 0 0 0 328165 239 0 0 25 0 4 0 519243439 971218944 95831 33554432000 4194304 4797429 140736802620160 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31658/statm: 237114 95831 420 148 0 232043 0
[pid=31658/tid=31669] ppid=31656 vsize=948456 CPUtime=822.04 cores=1,3,5,7
/proc/31658/task/31669/stat : 31669 (techdemo) R 31656 31658 30965 0 -1 4202560 40095 0 0 0 82181 23 0 0 25 0 4 0 519243463 971218944 95831 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31658/tid=31670] ppid=31656 vsize=948456 CPUtime=822.06 cores=1,3,5,7
/proc/31658/task/31670/stat : 31670 (techdemo) R 31656 31658 30965 0 -1 4202560 41714 0 0 0 82183 23 0 0 25 0 4 0 519243463 971218944 95831 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31658/tid=31671] ppid=31656 vsize=948456 CPUtime=817.6 cores=1,3,5,7
/proc/31658/task/31671/stat : 31671 (techdemo) R 31656 31658 30965 0 -1 4202560 44465 0 0 0 81740 20 0 0 25 0 4 0 519243463 971218944 95831 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.04
Current children cumulated vsize (KiB) 948456

[startup+882.301 s]
/proc/loadavg: 8.21 8.09 8.02 9/184 31695
/proc/meminfo: memFree=23662456/32951124 swapFree=67111524/67111528
[pid=31658] ppid=31656 vsize=950520 CPUtime=3523.71 cores=1,3,5,7
/proc/31658/stat : 31658 (techdemo) R 31656 31658 30965 0 -1 4202496 456315 0 0 0 352115 256 0 0 25 0 4 0 519243439 973332480 98660 33554432000 4194304 4797429 140736802620160 18446744073709551615 4425918 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31658/statm: 237630 98660 420 148 0 232559 0
[pid=31658/tid=31669] ppid=31656 vsize=950520 CPUtime=882.04 cores=1,3,5,7
/proc/31658/task/31669/stat : 31669 (techdemo) R 31656 31658 30965 0 -1 4202560 40946 0 0 0 88180 24 0 0 25 0 4 0 519243463 973332480 98660 33554432000 4194304 4797429 140736802620160 18446744073709551615 4240961 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31658/tid=31670] ppid=31656 vsize=950520 CPUtime=882.06 cores=1,3,5,7
/proc/31658/task/31670/stat : 31670 (techdemo) R 31656 31658 30965 0 -1 4202560 42582 0 0 0 88183 23 0 0 25 0 4 0 519243463 973332480 98660 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31658/tid=31671] ppid=31656 vsize=950520 CPUtime=877.27 cores=1,3,5,7
/proc/31658/task/31671/stat : 31671 (techdemo) R 31656 31658 30965 0 -1 4202560 45234 0 0 0 87707 20 0 0 25 0 4 0 519243463 973332480 98660 33554432000 4194304 4797429 140736802620160 18446744073709551615 4567800 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3523.71
Current children cumulated vsize (KiB) 950520

[startup+942.301 s]
/proc/loadavg: 8.20 8.10 8.02 9/184 31696
/proc/meminfo: memFree=23673576/32951124 swapFree=67111524/67111528
[pid=31658] ppid=31656 vsize=954924 CPUtime=3763.4 cores=1,3,5,7
/proc/31658/stat : 31658 (techdemo) R 31656 31658 30965 0 -1 4202496 486819 0 0 0 376067 273 0 0 25 0 4 0 519243439 977842176 93822 33554432000 4194304 4797429 140736802620160 18446744073709551615 4424452 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31658/statm: 238731 93822 420 148 0 233660 0
[pid=31658/tid=31669] ppid=31656 vsize=954924 CPUtime=942.04 cores=1,3,5,7
/proc/31658/task/31669/stat : 31669 (techdemo) R 31656 31658 30965 0 -1 4202560 43725 0 0 0 94179 25 0 0 25 0 4 0 519243463 977842176 93822 33554432000 4194304 4797429 140736802620160 18446744073709551615 4528060 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31658/tid=31670] ppid=31656 vsize=954924 CPUtime=942.06 cores=1,3,5,7
/proc/31658/task/31670/stat : 31670 (techdemo) R 31656 31658 30965 0 -1 4202560 44636 0 0 0 94182 24 0 0 25 0 4 0 519243463 977842176 93822 33554432000 4194304 4797429 140736802620160 18446744073709551615 4645207 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31658/tid=31671] ppid=31656 vsize=954924 CPUtime=936.95 cores=1,3,5,7
/proc/31658/task/31671/stat : 31671 (techdemo) R 31656 31658 30965 0 -1 4202560 48016 0 0 0 93674 21 0 0 25 0 4 0 519243463 977842176 93822 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.4
Current children cumulated vsize (KiB) 954924

[startup+1002.3 s]
/proc/loadavg: 8.19 8.11 8.03 9/184 31698
/proc/meminfo: memFree=23640076/32951124 swapFree=67111524/67111528
[pid=31658] ppid=31656 vsize=954976 CPUtime=4003.07 cores=1,3,5,7
/proc/31658/stat : 31658 (techdemo) R 31656 31658 30965 0 -1 4202496 513337 0 0 0 400016 291 0 0 25 0 4 0 519243439 977895424 97470 33554432000 4194304 4797429 140736802620160 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31658/statm: 238744 97470 420 148 0 233673 0
[pid=31658/tid=31669] ppid=31656 vsize=954976 CPUtime=1002.05 cores=1,3,5,7
/proc/31658/task/31669/stat : 31669 (techdemo) R 31656 31658 30965 0 -1 4202560 45280 0 0 0 100179 26 0 0 25 0 4 0 519243463 977895424 97470 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31658/tid=31670] ppid=31656 vsize=954976 CPUtime=1002.06 cores=1,3,5,7
/proc/31658/task/31670/stat : 31670 (techdemo) R 31656 31658 30965 0 -1 4202560 46519 0 0 0 100181 25 0 0 25 0 4 0 519243463 977895424 97470 33554432000 4194304 4797429 140736802620160 18446744073709551615 4642069 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31658/tid=31671] ppid=31656 vsize=954976 CPUtime=996.62 cores=1,3,5,7
/proc/31658/task/31671/stat : 31671 (techdemo) R 31656 31658 30965 0 -1 4202560 49267 0 0 0 99640 22 0 0 25 0 4 0 519243463 977895424 97470 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.07
Current children cumulated vsize (KiB) 954976

[startup+1062.3 s]
/proc/loadavg: 8.11 8.10 8.03 9/184 31699
/proc/meminfo: memFree=23606932/32951124 swapFree=67111524/67111528
[pid=31658] ppid=31656 vsize=955656 CPUtime=4242.77 cores=1,3,5,7
/proc/31658/stat : 31658 (techdemo) R 31656 31658 30965 0 -1 4202496 531135 0 0 0 423975 302 0 0 25 0 4 0 519243439 978591744 103422 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31658/statm: 238914 103422 420 148 0 233843 0
[pid=31658/tid=31669] ppid=31656 vsize=955656 CPUtime=1062.05 cores=1,3,5,7
/proc/31658/task/31669/stat : 31669 (techdemo) R 31656 31658 30965 0 -1 4202560 46101 0 0 0 106179 26 0 0 25 0 4 0 519243463 978591744 103422 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31658/tid=31670] ppid=31656 vsize=955656 CPUtime=1062.08 cores=1,3,5,7
/proc/31658/task/31670/stat : 31670 (techdemo) R 31656 31658 30965 0 -1 4202560 47245 0 0 0 106182 26 0 0 25 0 4 0 519243463 978591744 103422 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568153 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31658/tid=31671] ppid=31656 vsize=955656 CPUtime=1056.3 cores=1,3,5,7
/proc/31658/task/31671/stat : 31671 (techdemo) R 31656 31658 30965 0 -1 4202560 50176 0 0 0 105608 22 0 0 25 0 4 0 519243463 978591744 103422 33554432000 4194304 4797429 140736802620160 18446744073709551615 4501999 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4242.77
Current children cumulated vsize (KiB) 955656

[startup+1122.3 s]
/proc/loadavg: 8.12 8.11 8.03 9/184 31701
/proc/meminfo: memFree=23609648/32951124 swapFree=67111524/67111528
[pid=31658] ppid=31656 vsize=958684 CPUtime=4482.44 cores=1,3,5,7
/proc/31658/stat : 31658 (techdemo) R 31656 31658 30965 0 -1 4202496 533324 0 0 0 447940 304 0 0 25 0 4 0 519243439 981692416 105543 33554432000 4194304 4797429 140736802620160 18446744073709551615 4567905 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31658/statm: 239671 105543 420 148 0 234600 0
[pid=31658/tid=31669] ppid=31656 vsize=958684 CPUtime=1122.05 cores=1,3,5,7
/proc/31658/task/31669/stat : 31669 (techdemo) R 31656 31658 30965 0 -1 4202560 46967 0 0 0 112178 27 0 0 25 0 4 0 519243463 981692416 105543 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31658/tid=31670] ppid=31656 vsize=958684 CPUtime=1122.07 cores=1,3,5,7
/proc/31658/task/31670/stat : 31670 (techdemo) R 31656 31658 30965 0 -1 4202560 48113 0 0 0 112181 26 0 0 25 0 4 0 519243463 981692416 105543 33554432000 4194304 4797429 140736802620160 18446744073709551615 4356150 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31658/tid=31671] ppid=31656 vsize=958684 CPUtime=1115.97 cores=1,3,5,7
/proc/31658/task/31671/stat : 31671 (techdemo) R 31656 31658 30965 0 -1 4202560 50631 0 0 0 111575 22 0 0 25 0 4 0 519243463 981692416 105543 33554432000 4194304 4797429 140736802620160 18446744073709551615 4567894 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.44
Current children cumulated vsize (KiB) 958684

[startup+1182.31 s]
/proc/loadavg: 8.08 8.10 8.03 9/184 31703
/proc/meminfo: memFree=23622512/32951124 swapFree=67111524/67111528
[pid=31658] ppid=31656 vsize=984896 CPUtime=4722.13 cores=1,3,5,7
/proc/31658/stat : 31658 (techdemo) R 31656 31658 30965 0 -1 4202496 545080 0 0 0 471905 308 0 0 25 0 4 0 519243439 1008533504 103403 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31658/statm: 246224 103403 420 148 0 241153 0
[pid=31658/tid=31669] ppid=31656 vsize=984896 CPUtime=1182.05 cores=1,3,5,7
/proc/31658/task/31669/stat : 31669 (techdemo) R 31656 31658 30965 0 -1 4202560 50765 0 0 0 118177 28 0 0 25 0 4 0 519243463 1008533504 103403 33554432000 4194304 4797429 140736802620160 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31658/tid=31670] ppid=31656 vsize=984896 CPUtime=1182.08 cores=1,3,5,7
/proc/31658/task/31670/stat : 31670 (techdemo) R 31656 31658 30965 0 -1 4202560 51630 0 0 0 118180 28 0 0 25 0 4 0 519243463 1008533504 103403 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31658/tid=31671] ppid=31656 vsize=984896 CPUtime=1175.64 cores=1,3,5,7
/proc/31658/task/31671/stat : 31671 (techdemo) R 31656 31658 30965 0 -1 4202560 55072 0 0 0 117541 23 0 0 25 0 4 0 519243463 1008533504 103403 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.13
Current children cumulated vsize (KiB) 984896



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.06 8.10 8.03 9/184 31703
/proc/meminfo: memFree=23628828/32951124 swapFree=67111524/67111528
[pid=31658] ppid=31656 vsize=984896 CPUtime=4800.02 cores=1,3,5,7
/proc/31658/stat : 31658 (techdemo) R 31656 31658 30965 0 -1 4202496 546777 0 0 0 479693 309 0 0 25 0 4 0 519243439 1008533504 105082 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31658/statm: 246224 105082 420 148 0 241153 0
[pid=31658/tid=31669] ppid=31656 vsize=984896 CPUtime=1201.56 cores=1,3,5,7
/proc/31658/task/31669/stat : 31669 (techdemo) R 31656 31658 30965 0 -1 4202560 51377 0 0 0 120127 29 0 0 25 0 4 0 519243463 1008533504 105082 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31658/tid=31670] ppid=31656 vsize=984896 CPUtime=1201.57 cores=1,3,5,7
/proc/31658/task/31670/stat : 31670 (techdemo) R 31656 31658 30965 0 -1 4202560 52298 0 0 0 120129 28 0 0 25 0 4 0 519243463 1008533504 105082 33554432000 4194304 4797429 140736802620160 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31658/tid=31671] ppid=31656 vsize=984896 CPUtime=1195.04 cores=1,3,5,7
/proc/31658/task/31671/stat : 31671 (techdemo) R 31656 31658 30965 0 -1 4202560 55489 0 0 0 119480 24 0 0 25 0 4 0 519243463 1008533504 105082 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.02
Current children cumulated vsize (KiB) 984896

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

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

[startup+1201.8 s]
/proc/loadavg: 8.06 8.10 8.03 9/184 31703
/proc/meminfo: memFree=23628828/32951124 swapFree=67111524/67111528
[pid=31658] ppid=31656 vsize=984896 CPUtime=4800.02 cores=1,3,5,7
/proc/31658/stat : 31658 (techdemo) R 31656 31658 30965 0 -1 4202496 546777 0 0 0 479693 309 0 0 25 0 4 0 519243439 1008533504 105082 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31658/statm: 246224 105082 420 148 0 241153 0
[pid=31658/tid=31669] ppid=31656 vsize=984896 CPUtime=1201.56 cores=1,3,5,7
/proc/31658/task/31669/stat : 31669 (techdemo) R 31656 31658 30965 0 -1 4202560 51377 0 0 0 120127 29 0 0 25 0 4 0 519243463 1008533504 105082 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31658/tid=31670] ppid=31656 vsize=984896 CPUtime=1201.57 cores=1,3,5,7
/proc/31658/task/31670/stat : 31670 (techdemo) R 31656 31658 30965 0 -1 4202560 52298 0 0 0 120129 28 0 0 25 0 4 0 519243463 1008533504 105082 33554432000 4194304 4797429 140736802620160 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31658/tid=31671] ppid=31656 vsize=984896 CPUtime=1195.04 cores=1,3,5,7
/proc/31658/task/31671/stat : 31671 (techdemo) R 31656 31658 30965 0 -1 4202560 55489 0 0 0 119480 24 0 0 25 0 4 0 519243463 1008533504 105082 33554432000 4194304 4797429 140736802620160 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.02
Current children cumulated vsize (KiB) 984896

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.83
CPU time (s): 4800.07
CPU user time (s): 4796.96
CPU system time (s): 3.11653
CPU usage (%): 399.396
Max. virtual memory (cumulated for all children) (KiB): 1063340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.96
system time used= 3.11653
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 546777
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= 14172
involuntary context switches= 34328

runsolver used 1.82872 second user time and 4.74328 second system time

The end

Launcher Data 

Begin job on node139 at 2011-04-29 13:27:37
IDJOB=3172578
IDBENCH=82596
IDSOLVER=1584
FILE ID=node139/3172578-1304076457
RUNJOBID= node139-1304076457-31645
PBS_JOBID= 13170485
Free space on /tmp= 72552 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v20000-c84000-S357264423-067-UNKNOWN.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3172578-1304076457/watcher-3172578-1304076457 -o /tmp/evaluation-result-3172578-1304076457/solver-3172578-1304076457 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3172578-1304076457.cnf

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

MD5SUM BENCH= 425b4c5e5535f7d6b9d17ca8feb0ac3e
RANDOM SEED=2140753238

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24404224 kB
Buffers:       2037504 kB
Cached:        5924196 kB
SwapCached:          4 kB
Active:         913672 kB
Inactive:      7115020 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24404224 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            9720 kB
Writeback:          64 kB
AnonPages:       66588 kB
Mapped:          14524 kB
Slab:           453472 kB
PageTables:       4520 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   188508 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= 72536 MiB
End job on node139 at 2011-04-29 13:47:41