Trace number 3291448

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.21 1202.02

General information on the benchmark

NameSAT03/industrial/li/li-exam/
li-exam-61.shuffled-as.sat03-366.cnf
MD5SUM3be662940f394fa876137a905247d755
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables28147
Number of clauses108436
Sum of the clauses size373110
Maximum clause length166
Minimum clause length1
Number of clauses of size 114
Number of clauses of size 218786
Number of clauses of size 351588
Number of clauses of size 437440
Number of clauses of size 53
Number of clauses of size over 5605

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-3291448-1304179273.cnf'
0.00/0.00	c -- header says num vars:          28147
0.00/0.00	c -- header says num clauses:      108436
0.29/0.30	c -- clauses added:            0 learnts,       108436 normals,            0 xors
0.29/0.30	c -- vars added      28147
0.29/0.30	c Parsing time:  0.28 s
0.29/0.32	c  N st     0         0     28147     89613     18786         0    372979         0   no data   no data  --
1.03/0.59	c asymm  cl-useful: 7166/89582/89582 lits-rem:16191 time: 1.04
2.23/0.86	c Flit:   111 Blit:      1 bXBeca:    0 bXProp: 4680 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.9M T:  1.01
2.23/0.86	c Cleaning up after failed var search:     0.00 s 
2.23/0.89	c Calc non-exist non-lernt bins v-fix:     0 done:  27893 time:  0.11 s
2.23/0.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
2.63/0.91	c Subs w/ non-existent bins:   3378 time:  0.06 s
2.63/0.94	c Replacing     4680 vars Replaced    74980 lits Time:     0.13 s 
3.02/1.01	c bin-w-bin subsume rem          606 bins  time:  0.02 s
3.02/1.03	c subs with bin:      886  lits-rem:      4114  v-fix:    0  time:  0.06 s
3.02/1.04	c Removed useless bin:       0  fixed:    82  bprops:   0.17M  time:  0.05 s
4.57/1.45	c lits-rem:       308  cl-subs:      824  v-elim:   5035  v-fix:    0  time:  1.60 s
4.57/1.45	c learnt bin added due to v-elim: 0
4.57/1.46	c Finding binary XORs  T:     0.05 s  found:       0
4.98/1.53	c Finding non-binary XORs:     0.24 s (found:    7378, avg size: 3.4)
4.98/1.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4.98/1.54	c calculated reachability. Time: 0.01
4.98/1.55	c Calc default polars -  time:   0.02 s pos:    5334 undec:    6952 neg:   15861
4.98/1.55	c =========================================================================================
4.98/1.55	c types(t): F = full restart, N = normal restart
4.98/1.55	c types(t): S = simplification begin/end, E = solution found
4.98/1.55	c restart types(rt): st = static, dy = dynamic
4.98/1.55	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
4.98/1.55	c  B st     0         0     21774     38932     10338         0    226572         0   no data   no data  --
6.97/2.05	c Decided on static restart strategy
9.37/2.64	c  N dy    25      4093     21721     38932     11085      3298    226572     14342      3.88      3.04  --
16.17/4.40	c  N dy    64      8190     21705     38932     14132     12333    229930     48446      4.24      3.12  --
25.36/6.64	c  N dy   102     12248     21683     38932     16412     21777    231920     85570      4.48      3.23  --
36.52/9.48	c  N dy   140     16345     21667     38932     16559     25695    231920    112166      8.76      3.41  --
38.55/9.97	c Finding binary XORs  T:     0.05 s  found:       0
46.51/11.97	c  N dy   175     20449     21609     38233     34184     23993    231841    123783     38.44      4.08  --
54.11/13.89	c  N dy   206     24507     21609     38233     34260     28052    231921    305554     56.36      4.87  --
62.49/15.95	c  N dy   236     28602     21609     38233     34260     32079    231921    583375     67.54      5.68  --
65.28/16.62	c  S st   247     30000     21609     38233     34260     33454    231921    688566     79.86      5.96  --
66.09/16.86	c  S st   247     30504     21609     38233     34275     33997    231937    696057     79.86      5.96  --
66.09/16.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
66.09/16.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
68.49/17.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:     95 BRemL:   4242 BRemN:    156 CBin:       0 P:  6.5M T:  2.41
68.90/17.50	c Calc non-exist non-lernt bins v-fix:     0 done:  21607 time:  0.08 s
68.90/17.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
68.90/17.54	c Subs w/ non-existent bins:  12954 time:  0.14 s
68.90/17.56	c Replacing        1 vars Replaced       20 lits Time:     0.09 s 
69.30/17.61	c bin-w-bin subsume rem         1410 bins  time:  0.03 s
69.68/17.76	c subs with bin:     7822  lits-rem:      2361  v-fix:    0  time:  0.59 s
69.68/17.77	c Removed useless bin:     271  fixed:     0  bprops:   0.21M  time:  0.06 s
79.66/20.21	c lits-rem:       375  cl-subs:     7115  v-elim:    589  v-fix:    0  time:  9.75 s
79.66/20.21	c learnt bin added due to v-elim: 0
79.66/20.22	c vivif2 --  cl tried    28163 cl shrink       12 lits rem         12 time: 0.04
79.66/20.23	c vivif2 --  cl tried    17219 cl shrink      401 lits rem        760 time: 0.03
80.06/20.39	c asymm  cl-useful: 186/28151/28151 lits-rem:572 time: 0.63
80.46/20.40	c calculated reachability. Time: 0.02
80.46/20.40	c  N dy   247     30504     21017     27965     26675     17216    204721    152810     79.86      5.96  --
80.46/20.40	c  F st   247     30504     21017     27965     26675     17216    204721    152810     79.86      5.96  --
84.47/21.44	c Decided on static restart strategy
88.06/22.35	c  N dy   267     34546     21017     27965     26675     21171    204721    452207     64.93      7.09  --
92.05/23.38	c Finding binary XORs  T:     0.07 s  found:       0
97.25/24.67	c  N dy   295     38588     21017     27965     26675     25166    204721    812424     91.29      8.04  --
107.23/27.15	c  N dy   323     42694     21017     27965     26675     29217    204721   1201120     87.86      8.88  --
116.03/29.40	c  S st   345     45757     21017     27965     26675     32215    204721   1467612     91.55      9.25  --
117.64/29.70	c  S st   345     46265     21017     27965     26675     32719    204721   1473422     91.55      9.25  --
117.64/29.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
117.64/29.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
121.63/30.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      9 BRemN:      1 CBin:       0 P: 10.1M T:  4.32
122.04/30.83	c Calc non-exist non-lernt bins v-fix:     0 done:  21017 time:  0.10 s
122.04/30.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
122.04/30.87	c Subs w/ non-existent bins:     49 time:  0.15 s
122.41/30.94	c bin-w-bin subsume rem         1026 bins  time:  0.03 s
123.61/31.23	c subs with bin:      353  lits-rem:         0  v-fix:    0  time:  1.18 s
123.61/31.24	c Removed useless bin:       3  fixed:     0  bprops:   0.21M  time:  0.05 s
130.42/32.98	c lits-rem:       600  cl-subs:     1820  v-elim:      3  v-fix:    0  time:  6.94 s
130.42/32.98	c learnt bin added due to v-elim: 0
130.42/32.99	c vivif2 --  cl tried    27561 cl shrink        3 lits rem          3 time: 0.04
130.82/33.03	c vivif2 --  cl tried    30903 cl shrink        0 lits rem          0 time: 0.14
131.59/33.24	c asymm  cl-useful: 0/15346/27558 lits-rem:0 time: 0.87
131.59/33.25	c calculated reachability. Time: 0.02
131.59/33.26	c  N dy   345     46265     21014     27558     25636     30903    203224   1317181     91.55      9.25  --
142.79/36.01	c  N dy   374     50396     21014     27558     25636     34992    203224   1716352     94.34      9.98  --
152.79/38.58	c  N dy   402     54397     21014     27558     25636     20353    203224    337229    131.53     10.38  --
160.36/40.46	c  N dy   430     58408     21014     27558     25636     24310    203224    733097    117.66     10.80  --
170.37/42.98	c  N dy   458     62540     21014     27558     25636     28389    203224   1166899    103.16     11.20  --
180.74/45.58	c  N dy   485     66566     21014     27558     25636     32336    203224   1625396    130.24     11.57  --
188.33/47.44	c  S st   505     69398     21014     27558     25636     35119    203224   1907622    112.84     11.69  --
189.93/47.83	c  S st   505     69899     21014     27558     25636     35616    203224   1913747    112.84     11.69  --
189.93/47.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
189.93/47.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
195.52/49.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 11.8M T:  5.54
195.52/49.26	c Calc non-exist non-lernt bins v-fix:     0 done:  21014 time:  0.10 s
195.52/49.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
195.92/49.31	c Subs w/ non-existent bins:      0 time:  0.18 s
195.92/49.38	c bin-w-bin subsume rem            3 bins  time:  0.02 s
197.51/49.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.60 s
197.51/49.79	c Removed useless bin:       0  fixed:     0  bprops:   0.21M  time:  0.05 s
207.10/52.17	c ORs :   5640 avg-s:  2.0 cl-sh:  1908 l-rem:   1939 b-add:   1744 v-rep:   0 cl-rem: 7 avg s: 22.4 T:    1.83
213.91/53.83	c Added 51 vars  tried: 80000 time: 6.65
214.32/53.91	c ORs :     51 avg-s:  0.0 cl-sh: 13585 l-rem:  13585 b-add:    102 v-rep:   0 cl-rem: 1 avg s: 8.0 T:    6.97
214.32/53.96	c lits-rem:      2012  cl-subs:     2094  v-elim:      0  v-fix:    0  time: 16.62 s
214.32/53.96	c learnt bin added due to v-elim: 0
214.32/53.97	c vivif2 --  cl tried    26238 cl shrink        0 lits rem          0 time: 0.04
214.69/54.01	c vivif2 --  cl tried    33141 cl shrink       17 lits rem         17 time: 0.18
215.09/54.12	c asymm  cl-useful: 0/10892/26238 lits-rem:0 time: 0.43
215.09/54.13	c calculated reachability. Time: 0.02
215.09/54.13	c  N dy   505     69899     21065     26238     27479     33141    202171   1679104    112.84     11.69  --
215.09/54.13	c  F st   505     69899     21065     26238     27479     33141    202171   1679104    112.84     11.69  --
220.28/55.46	c Decided on static restart strategy
227.87/57.35	c  N dy   528     74476     21065     26238     27479     37649    202171   2162615    135.03     12.01  --
239.46/60.23	c  N dy   562     79336     21065     26238     27479     22327    202171    332580     93.04     12.29  --
251.04/63.18	c  N dy   597     84492     21065     26238     27479     27404    202171    891259    112.56     12.52  --
265.02/66.64	c  N dy   634     89903     21065     26238     27479     32724    202171   1474804    108.45     12.84  --
280.23/70.48	c  N dy   674     95677     21065     26238     27485     38414    202171   2062121    123.98     13.10  --
297.80/74.85	c  N dy   716    101800     21065     26238     27485     23073    202171    323412    111.76     13.31  --
304.57/76.53	c  S st   737    104848     21065     26238     27486     26072    202171    662564    130.34     13.42  --
305.77/76.85	c  S st   737    105350     21065     26238     27486     26572    202171    674016    130.34     13.42  --
305.77/76.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
305.77/76.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
308.96/77.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      3 BRemN:      0 CBin:       0 P:  8.7M T:  2.97
308.96/77.64	c Calc non-exist non-lernt bins v-fix:     0 done:  21065 time:  0.10 s
308.96/77.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
308.96/77.66	c Subs w/ non-existent bins:      1 time:  0.09 s
309.36/77.70	c bin-w-bin subsume rem         1743 bins  time:  0.03 s
309.76/77.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.50 s
309.76/77.84	c Removed useless bin:       0  fixed:     0  bprops:   0.22M  time:  0.05 s
322.55/81.01	c ORs :   5689 avg-s:  2.0 cl-sh:    25 l-rem:     25 b-add:     25 v-rep:   0 cl-rem: 0 avg s: nan T:    1.16
322.55/81.03	c lits-rem:      1787  cl-subs:     1579  v-elim:     28  v-fix:    0  time: 12.76 s
322.55/81.03	c learnt bin added due to v-elim: 0
322.55/81.04	c vivif2 --  cl tried    26249 cl shrink       41 lits rem         49 time: 0.04
322.55/81.06	c vivif2 --  cl tried    25001 cl shrink        0 lits rem          0 time: 0.06
323.35/81.22	c asymm  cl-useful: 6/16831/26223 lits-rem:60 time: 0.65
323.35/81.23	c calculated reachability. Time: 0.02
323.35/81.23	c  N dy   737    105350     21037     26223     25763     25001    205866    464339    130.34     13.42  --
338.53/85.02	c  N dy   784    112152     21037     26223     25763     31728    205866   1177079    107.17     13.60  --
358.11/89.99	c  N dy   833    119340     21037     26223     25763     38823    205866   2047083    128.63     13.84  --
379.68/95.36	c  N dy   886    127047     21037     26223     25763     23906    205866    311220     98.43     14.03  --
399.65/100.32	c  N dy   943    135238     21045     26223     25779     32011    205898   1220798    119.25     14.16  --
423.22/106.23	c  N dy  1003    143939     21045     26223     25779     40611    205898   2201060    107.56     14.34  --
449.99/112.99	c  N dy  1067    153269     21045     26223     25779     26209    205898    445023    114.02     14.48  --
457.97/114.99	c Finding binary XORs  T:     0.07 s  found:       0
461.56/115.88	c  S st  1100    158026     21045     26223     25779     30911    205898    975218    104.14     14.52  --
463.17/116.23	c  S st  1100    158528     21045     26223     25779     31411    205898    983322    104.14     14.52  --
463.17/116.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
463.17/116.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
467.56/117.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      1 CBin:       0 P: 11.7M T:  4.28
467.56/117.34	c Calc non-exist non-lernt bins v-fix:     0 done:  21045 time:  0.10 s
467.56/117.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
467.56/117.37	c Subs w/ non-existent bins:     12 time:  0.11 s
467.96/117.42	c bin-w-bin subsume rem           51 bins  time:  0.02 s
468.36/117.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.66 s
468.36/117.60	c Removed useless bin:       0  fixed:     0  bprops:   0.22M  time:  0.05 s
475.95/119.48	c ORs :   5681 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    1.34
476.35/119.50	c lits-rem:      1688  cl-subs:      930  v-elim:      8  v-fix:    0  time:  7.61 s
476.35/119.50	c learnt bin added due to v-elim: 0
476.35/119.51	c vivif2 --  cl tried    26221 cl shrink        0 lits rem          0 time: 0.04
476.35/119.54	c vivif2 --  cl tried    30481 cl shrink        0 lits rem          0 time: 0.10
476.75/119.63	c asymm  cl-useful: 0/9390/26221 lits-rem:0 time: 0.36
476.75/119.64	c calculated reachability. Time: 0.02
476.75/119.64	c  N dy  1100    158528     21037     26221     25719     30481    207754    906853    104.14     14.52  --
505.11/126.70	c  N dy  1170    168766     21037     26221     25719     40597    207754   2121534    147.08     14.75  --
537.88/134.97	c  N dy  1244    179637     21040     26221     25726     26689    207766    411653    110.66     14.88  --
568.24/142.53	c  N dy  1323    191148     21040     26221     25726     38063    207766   1733272    115.14     15.00  --
608.99/152.74	c  N dy  1407    203493     21040     26221     25726     50236    207766   3249730    112.57     15.13  --
642.55/161.14	c  N dy  1496    216501     21040     26221     25726     37429    207766   1536215    118.90     15.24  --
682.50/171.13	c  N dy  1592    230457     21040     26221     25726     51174    207766   3091073    123.35     15.36  --
704.47/176.60	c  S st  1643    237792     21040     26221     25726     31775    207766    832348    115.17     15.42  --
705.27/176.88	c  S st  1643    238292     21040     26221     25726     32271    207766    838714    115.17     15.42  --
705.27/176.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
705.27/176.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
708.87/177.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 11.3M T:  3.49
708.87/177.79	c Calc non-exist non-lernt bins v-fix:     0 done:  21040 time:  0.10 s
708.87/177.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
709.27/177.82	c Subs w/ non-existent bins:      0 time:  0.10 s
709.27/177.86	c bin-w-bin subsume rem            0 bins  time:  0.02 s
710.07/178.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.58 s
710.07/178.01	c Removed useless bin:       0  fixed:     0  bprops:   0.22M  time:  0.04 s
725.24/181.89	c ORs :   5681 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 28.0 T:    1.30
728.84/182.73	c Added 51 vars  tried: 80000 time: 3.34
728.84/182.75	c ORs :     51 avg-s:  0.0 cl-sh:  4361 l-rem:   4361 b-add:    102 v-rep:   0 cl-rem: 0 avg s: nan T:    3.43
728.84/182.77	c lits-rem:      3116  cl-subs:      777  v-elim:      0  v-fix:    0  time: 19.02 s
728.84/182.77	c learnt bin added due to v-elim: 0
728.84/182.78	c vivif2 --  cl tried    26272 cl shrink        0 lits rem          0 time: 0.04
729.24/182.80	c vivif2 --  cl tried    31493 cl shrink        0 lits rem          0 time: 0.09
729.64/182.96	c asymm  cl-useful: 0/15747/26272 lits-rem:0 time: 0.62
729.64/182.97	c calculated reachability. Time: 0.02
729.64/182.97	c  N dy  1643    238292     21091     26272     25828     31493    208120    764773    115.17     15.42  --
773.11/193.81	c  N dy  1748    253546     21091     26272     25828     46579    208120   2643744    158.38     15.58  --
822.14/206.29	c  N dy  1859    269851     21091     26272     25829     35042    208120   1086787    113.87     15.72  --
873.04/219.08	c  N dy  1977    287111     21091     26272     25829     52088    208120   3226172    127.43     15.88  --
924.59/231.94	c  N dy  2102    305477     21093     26272     25833     41590    208128   1781385    118.41     15.97  --
986.11/247.36	c  N dy  2234    324999     21093     26272     25833     31241    208128    485470    143.05     16.13  --
1045.63/262.22	c  N dy  2369    345021     21095     26272     25837     51035    208136   3106163    178.60     16.23  --
1086.39/272.47	c  S st  2453    357439     21095     26272     25837     32674    208136    557899    143.73     16.33  --
1087.60/272.74	c  S st  2453    357944     21095     26272     25837     33175    208136    568447    143.73     16.33  --
1087.60/272.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1087.60/272.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
1090.38/273.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      1 BRemN:      0 CBin:       0 P: 11.5M T:  2.83
1090.38/273.49	c Calc non-exist non-lernt bins v-fix:     0 done:  21095 time:  0.10 s
1090.38/273.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
1090.78/273.51	c Subs w/ non-existent bins:      0 time:  0.08 s
1090.78/273.54	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1091.18/273.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.36 s
1091.18/273.65	c Removed useless bin:       0  fixed:     0  bprops:   0.22M  time:  0.05 s
1104.36/276.96	c ORs :   5732 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 7.0 T:    1.18
1104.36/276.98	c lits-rem:      2313  cl-subs:      523  v-elim:      0  v-fix:    0  time: 13.32 s
1104.36/276.98	c learnt bin added due to v-elim: 0
1104.36/276.99	c vivif2 --  cl tried    26272 cl shrink        0 lits rem          0 time: 0.04
1104.76/277.01	c vivif2 --  cl tried    32651 cl shrink        0 lits rem          0 time: 0.06
1104.76/277.08	c asymm  cl-useful: 0/10525/26272 lits-rem:0 time: 0.28
1104.76/277.09	c calculated reachability. Time: 0.02
1104.76/277.09	c  N dy  2453    357944     21095     26272     25836     32651    208136    535771    143.73     16.33  --
1162.31/291.44	c  N dy  2590    378014     21096     26272     25838     52501    208140   3103690    109.62     16.44  --
1223.02/306.63	c  N dy  2728    398047     21096     26272     25838     40693    208140   1364167    110.08     16.50  --
1286.13/322.45	c  N dy  2865    418154     21096     26272     25838     60559    208140   3891737    129.35     16.58  --
1345.25/337.23	c  N dy  3002    438249     21096     26272     25838     47773    208140   2133257    111.54     16.61  --
1415.97/354.97	c  N dy  3138    458358     21096     26272     25838     34064    208140    385323    128.05     16.73  --
1471.89/368.95	c  N dy  3275    478486     21096     26272     25838     53946    208140   2949594    122.67     16.78  --
1538.22/385.53	c  N dy  3411    498517     21096     26272     25838     39163    208140    908750    139.80     16.88  --
1598.93/400.79	c  N dy  3548    518609     21096     26272     25838     59018    208140   3459877    131.76     16.95  --
1661.66/416.47	c  S st  3673    536916     21096     26272     25838     41523    208140   1114116    111.98     16.97  --
1662.86/416.77	c  S st  3673    537417     21096     26272     25838     42022    208140   1120538    111.98     16.97  --
1662.86/416.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1662.86/416.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
1668.07/418.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 16.9M T:  5.14
1668.45/418.10	c Calc non-exist non-lernt bins v-fix:     0 done:  21096 time:  0.10 s
1668.45/418.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
1668.45/418.13	c Subs w/ non-existent bins:      0 time:  0.13 s
1668.45/418.18	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1669.65/418.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.90 s
1669.65/418.42	c Removed useless bin:       0  fixed:     0  bprops:   0.22M  time:  0.05 s
1678.04/420.57	c ORs :   5732 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    1.39
1681.63/421.45	c Added 18 vars  tried: 80000 time: 3.52
1681.63/421.46	c ORs :     18 avg-s:  0.0 cl-sh:  2518 l-rem:   2518 b-add:     36 v-rep:   0 cl-rem: 0 avg s: nan T:    3.57
1681.63/421.49	c lits-rem:      1752  cl-subs:     1016  v-elim:      0  v-fix:    0  time: 12.26 s
1681.63/421.49	c learnt bin added due to v-elim: 0
1682.03/421.50	c vivif2 --  cl tried    26290 cl shrink        0 lits rem          0 time: 0.04
1682.03/421.53	c vivif2 --  cl tried    41006 cl shrink        0 lits rem          0 time: 0.12
1682.83/421.72	c asymm  cl-useful: 0/12556/26290 lits-rem:0 time: 0.75
1682.83/421.73	c calculated reachability. Time: 0.02
1682.83/421.73	c  N dy  3673    537417     21114     26290     25874     41006    208252   1039145    111.98     16.97  --
1682.83/421.73	c  F st  3673    537417     21114     26290     25874     41006    208252   1039145    111.98     16.97  --
1688.83/423.28	c Decided on static restart strategy
1742.38/436.63	c  N dy  3801    557531     21114     26290     25874     60927    208252   3897109    160.84     17.10  --
1807.08/452.81	c  N dy  3939    577644     21114     26290     25880     44209    208252   1220399    115.20     17.14  --
1872.19/469.12	c  N dy  4076    597772     21114     26290     25880     64122    208252   4002562    117.25     17.20  --
1937.32/485.45	c  N dy  4212    617797     21117     26290     25886     46377    208264   1450385    148.36     17.28  --
2002.82/501.88	c  N dy  4350    637892     21117     26290     25886     66277    208264   4165930    141.95     17.34  --
2070.35/518.75	c  N dy  4484    657984     21117     26290     25886     47553    208264   1597309    142.79     17.38  --
2133.89/534.67	c  N dy  4620    677985     21117     26290     25886     67333    208264   4254820    148.24     17.44  --
2201.78/551.69	c  N dy  4756    698084     21117     26290     25886     47641    208264   1508453    158.04     17.47  --
2267.30/568.01	c  N dy  4892    718188     21117     26290     25886     67483    208264   4144066    141.42     17.54  --
2338.81/585.99	c  N dy  5030    738300     21117     26290     25886     46828    208264   1252210    132.52     17.57  --
2403.13/602.06	c  N dy  5166    758368     21117     26290     25886     66682    208264   4044427    126.93     17.64  --
2476.26/620.33	c  N dy  5303    778513     21117     26290     25886     45073    208264    887242    150.20     17.68  --
2537.36/635.66	c  N dy  5440    798616     21117     26290     25886     64942    208264   3568912    164.63     17.73  --
2568.95/643.51	c  S st  5491    806127     21117     26290     25886     72361    208264   4651703    156.66     17.73  --
2572.13/644.38	c  S st  5491    806629     21117     26290     25886     72858    208264   4661981    156.66     17.73  --
2572.13/644.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
2572.53/644.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
2588.50/648.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      2 BRemN:      0 CBin:       0 P: 38.3M T: 16.27
2588.50/648.49	c Calc non-exist non-lernt bins v-fix:     0 done:  21117 time:  0.10 s
2588.90/648.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
2588.90/648.59	c Subs w/ non-existent bins:      0 time:  0.39 s
2589.70/648.76	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2594.10/649.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.30 s
2594.10/649.85	c Removed useless bin:       0  fixed:     0  bprops:   0.22M  time:  0.05 s
2740.33/686.44	c ORs :   5750 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 3 avg s: 55.7 T:    3.15
2745.90/687.86	c Added 51 vars  tried: 80000 time: 5.67
2746.30/687.96	c ORs :     51 avg-s:  0.0 cl-sh: 12749 l-rem:  12749 b-add:    102 v-rep:   0 cl-rem: 1 avg s: 7.0 T:    6.08
2746.70/688.04	c lits-rem:        53  cl-subs:     3322  v-elim:      0  v-fix:    0  time: 152.55 s
2746.70/688.04	c learnt bin added due to v-elim: 0
2746.70/688.05	c vivif2 --  cl tried    26341 cl shrink        0 lits rem          0 time: 0.04
2747.10/688.16	c vivif2 --  cl tried    69532 cl shrink        0 lits rem          0 time: 0.45
2748.30/688.42	c asymm  cl-useful: 0/9570/26341 lits-rem:0 time: 1.03
2748.30/688.43	c calculated reachability. Time: 0.02
2748.30/688.43	c  N dy  5491    806629     21168     26341     25986     69532    208619   4286575    156.66     17.73  --
2797.05/700.62	c  N dy  5630    826639     21168     26341     25987     46834    208619   1048008    149.53     17.69  --
2846.97/713.11	c  N dy  5766    846761     21168     26341     25987     66748    208619   3673291    128.30     17.68  --
2900.51/726.59	c  N dy  5901    866845     21168     26341     25989     86592    208619   6356912    173.82     17.68  --
2942.85/737.17	c  N dy  6038    886902     21168     26341     25989     62872    208619   2575392     93.19     17.72  --
2993.99/749.93	c  N dy  6173    906919     21168     26341     25989     82651    208619   5335863    135.64     17.74  --
3039.93/761.42	c  N dy  6298    927012     21168     26341     25989     58002    208619   2523783    161.23     17.76  --
3091.48/774.35	c  N dy  6429    947117     21168     26341     25989     77905    208619   6291264    227.55     17.88  --
3144.62/787.63	c  N dy  6561    967149     21168     26341     25989     52281    208619   1816570    272.57     17.97  --
3188.16/798.58	c  N dy  6693    987213     21168     26341     25989     72152    208619   5267612    145.59     18.08  --
3250.86/814.23	c  N dy  6828   1007308     21172     26341     25998     92072    208635   8390454    128.33     18.08  --
3305.19/827.85	c  N dy  6961   1027310     21172     26341     25998     65367    208635   3613677    121.17     18.08  --
3357.93/841.09	c  N dy  7094   1047414     21172     26341     25998     85228    208635   6925449    154.24     18.13  --
3423.05/857.37	c  N dy  7231   1067527     21172     26341     25998     57659    208635   2292556    163.75     18.11  --
3488.16/873.68	c  N dy  7366   1087605     21172     26341     25998     77553    208635   6135251    241.90     18.12  --
3549.29/888.96	c  N dy  7502   1107647     21172     26341     25998     48916    208635    628342    183.29     18.15  --
3598.84/901.34	c  N dy  7637   1127662     21172     26341     25998     68752    208635   4285998    227.85     18.18  --
3647.17/913.42	c  N dy  7765   1147694     21172     26341     25998     88610    208635   7597371    248.94     18.26  --
3694.71/925.38	c  N dy  7899   1167779     21172     26341     25998     58982    208635   2281605    253.92     18.34  --
3756.23/940.79	c  N dy  8031   1187785     21172     26341     25998     78819    208635   6646571    227.05     18.38  --
3824.95/957.97	c  N dy  8166   1207909     21172     26341     25998     98605    208635   9602170    131.67     18.39  --
3834.94/960.49	c  S st  8180   1209946     21172     26341     25998    100627    208635   9962586    201.06     18.39  --
3837.33/961.00	c  S st  8180   1210452     21172     26341     25998     50671    208635    607734    201.06     18.39  --
3837.33/961.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3837.33/961.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
3840.53/961.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      3 BRemN:      0 CBin:       0 P: 19.3M T:  3.48
3840.93/961.91	c Calc non-exist non-lernt bins v-fix:     0 done:  21172 time:  0.10 s
3840.93/961.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
3840.93/961.94	c Subs w/ non-existent bins:      0 time:  0.10 s
3840.93/961.98	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3841.33/962.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.21 s
3841.33/962.04	c Removed useless bin:       0  fixed:     0  bprops:   0.22M  time:  0.05 s
3853.71/965.13	c ORs :   5801 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    1.15
3866.90/968.48	c Added 1 vars  tried: 80000 time: 13.38
3866.90/968.48	c ORs :      1 avg-s:  0.0 cl-sh:   150 l-rem:    150 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   13.38
3867.30/968.51	c lits-rem:      2010  cl-subs:     1028  v-elim:      0  v-fix:    0  time: 25.81 s
3867.30/968.51	c learnt bin added due to v-elim: 0
3867.30/968.51	c vivif2 --  cl tried    26342 cl shrink        0 lits rem          0 time: 0.04
3867.30/968.54	c vivif2 --  cl tried    49643 cl shrink        1 lits rem          1 time: 0.09
3867.30/968.57	c asymm  cl-useful: 0/4216/26342 lits-rem:0 time: 0.13
3867.30/968.58	c calculated reachability. Time: 0.02
3867.30/968.58	c  N dy  8180   1210452     21173     26342     25997     49643    208642    593787    201.06     18.39  --
3921.63/982.14	c  N dy  8314   1230456     21173     26342     25997     69343    208642   2750530     81.17     18.33  --
3987.97/998.79	c  N dy  8452   1250555     21173     26342     25998     89111    208642   4328119     84.28     18.26  --
4050.67/1014.46	c  N dy  8593   1270662     21173     26342     25998     57652    208642   1107128     47.27     18.20  --
4099.41/1026.61	c  N dy  8738   1290690     21173     26342     25998     77433    208642   2466197    123.73     18.13  --
4150.97/1039.53	c  N dy  8882   1310746     21173     26342     25998     97186    208642   3820347     89.40     18.08  --
4202.09/1052.33	c  N dy  9024   1330829     21173     26342     25998     64682    208642   1453695    100.89     18.02  --
4253.23/1065.13	c  N dy  9165   1350965     21173     26342     25998     84540    208642   3102902    133.29     17.96  --
4319.55/1081.79	c  N dy  9304   1371083     21174     26342     26000    104343    208646   5481271    162.91     17.97  --
4367.09/1093.60	c  N dy  9448   1391137     21174     26342     26000     70912    208646   1713385     71.37     17.90  --
4421.42/1107.24	c  N dy  9590   1411171     21174     26342     26000     90709    208646   3338689     74.92     17.85  --
4488.96/1124.11	c  N dy  9730   1431276     21174     26342     26000     56248    208646    814700     61.25     17.82  --
4536.48/1136.00	c  N dy  9872   1451359     21174     26342     26000     76081    208646   2254447     82.09     17.76  --
4598.40/1151.56	c  N dy 10015   1471471     21174     26342     26000     95992    208646   3995258     80.10     17.72  --
4659.53/1166.87	c  N dy 10157   1491553     21174     26342     26000     60528    208646    974950     40.56     17.70  --
4706.27/1178.55	c  N dy 10300   1511639     21174     26342     26000     80436    208646   2308351     66.39     17.65  --
4766.59/1193.68	c  N dy 10441   1531749     21174     26342     26000    100280    208646   3907038     27.05     17.61  --

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-3291448-1304179273/watcher-3291448-1304179273 -o /tmp/evaluation-result-3291448-1304179273/solver-3291448-1304179273 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3291448-1304179273.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.44 7.95 7.97 2/177 10332
/proc/meminfo: memFree=24320360/32951124 swapFree=67111524/67111528
[pid=10332] ppid=10330 vsize=24216 CPUtime=0 cores=1,3,5,7
/proc/10332/stat : 10332 (techdemo) R 10330 10332 10191 0 -1 4202496 1313 0 0 0 0 0 0 0 25 0 1 0 529525016 24797184 1252 33554432000 4194304 4797429 140735304082608 18446744073709551615 212687336133 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/10332/statm: 6054 1259 341 148 0 983 0

[startup+0.0533831 s]
/proc/loadavg: 7.44 7.95 7.97 2/177 10332
/proc/meminfo: memFree=24320360/32951124 swapFree=67111524/67111528
[pid=10332] ppid=10330 vsize=89708 CPUtime=0.04 cores=1,3,5,7
/proc/10332/stat : 10332 (techdemo) R 10330 10332 10191 0 -1 4202496 12544 0 0 0 3 1 0 0 25 0 1 0 529525016 91860992 9302 33554432000 4194304 4797429 140735304082608 18446744073709551615 4366925 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/10332/statm: 22427 9311 348 148 0 17356 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 89708

[startup+0.100373 s]
/proc/loadavg: 7.44 7.95 7.97 2/177 10332
/proc/meminfo: memFree=24320360/32951124 swapFree=67111524/67111528
[pid=10332] ppid=10330 vsize=97176 CPUtime=0.09 cores=1,3,5,7
/proc/10332/stat : 10332 (techdemo) R 10330 10332 10191 0 -1 4202496 15126 0 0 0 8 1 0 0 25 0 1 0 529525016 99508224 11818 33554432000 4194304 4797429 140735304082608 18446744073709551615 4408377 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/10332/statm: 24294 11819 350 148 0 19223 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 97176

[startup+0.300335 s]
/proc/loadavg: 7.44 7.95 7.97 2/177 10332
/proc/meminfo: memFree=24320360/32951124 swapFree=67111524/67111528
[pid=10332] ppid=10330 vsize=110724 CPUtime=0.29 cores=1,3,5,7
/proc/10332/stat : 10332 (techdemo) R 10330 10332 10191 0 -1 4202496 20242 0 0 0 27 2 0 0 25 0 1 0 529525016 113381376 16646 33554432000 4194304 4797429 140735304082608 18446744073709551615 212687336133 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/10332/statm: 27681 16646 350 148 0 22610 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 110724

[startup+0.700226 s]
/proc/loadavg: 7.44 7.95 7.97 2/177 10332
/proc/meminfo: memFree=24320360/32951124 swapFree=67111524/67111528
[pid=10332] ppid=10330 vsize=751608 CPUtime=1.83 cores=1,3,5,7
/proc/10332/stat : 10332 (techdemo) R 10330 10332 10191 0 -1 4202496 26960 0 0 0 174 9 0 0 18 0 4 0 529525016 769646592 21261 33554432000 4194304 4797429 140735304082608 18446744073709551615 4241145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10332/statm: 187902 21262 384 148 0 182831 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 751608

[startup+1.50108 s]
/proc/loadavg: 7.44 7.95 7.97 8/184 10339
/proc/meminfo: memFree=24182912/32951124 swapFree=67111524/67111528
[pid=10332] ppid=10330 vsize=835044 CPUtime=4.98 cores=1,3,5,7
/proc/10332/stat : 10332 (techdemo) R 10330 10332 10191 0 -1 4202496 38861 0 0 0 476 22 0 0 18 0 4 0 529525016 855085056 33035 33554432000 4194304 4797429 140735304082608 18446744073709551615 4450193 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10332/statm: 208761 33035 447 148 0 203690 0
[pid=10332/tid=10337] ppid=10330 vsize=835044 CPUtime=1.15 cores=1,3,5,7
/proc/10332/task/10337/stat : 10337 (techdemo) R 10330 10332 10191 0 -1 4202560 4292 0 0 0 111 4 0 0 18 0 4 0 529525047 855085056 33035 33554432000 4194304 4797429 140735304082608 18446744073709551615 4345494 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10332/tid=10338] ppid=10330 vsize=835044 CPUtime=1.16 cores=1,3,5,7
/proc/10332/task/10338/stat : 10338 (techdemo) R 10330 10332 10191 0 -1 4202560 4741 0 0 0 111 5 0 0 18 0 4 0 529525047 855085056 33035 33554432000 4194304 4797429 140735304082608 18446744073709551615 4358455 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10332/tid=10339] ppid=10330 vsize=835044 CPUtime=1.16 cores=1,3,5,7
/proc/10332/task/10339/stat : 10339 (techdemo) R 10330 10332 10191 0 -1 4202560 4179 0 0 0 111 5 0 0 18 0 4 0 529525047 855085056 33035 33554432000 4194304 4797429 140735304082608 18446744073709551615 4344778 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.98
Current children cumulated vsize (KiB) 835044

[startup+3.10079 s]
/proc/loadavg: 7.44 7.95 7.97 10/184 10339
/proc/meminfo: memFree=24120040/32951124 swapFree=67111524/67111528
[pid=10332] ppid=10330 vsize=835312 CPUtime=11.37 cores=1,3,5,7
/proc/10332/stat : 10332 (techdemo) R 10330 10332 10191 0 -1 4202496 40632 0 0 0 1115 22 0 0 20 0 4 0 529525016 855359488 34637 33554432000 4194304 4797429 140735304082608 18446744073709551615 4424338 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10332/statm: 208828 34637 447 148 0 203757 0
[pid=10332/tid=10337] ppid=10330 vsize=835312 CPUtime=2.74 cores=1,3,5,7
/proc/10332/task/10337/stat : 10337 (techdemo) R 10330 10332 10191 0 -1 4202560 4766 0 0 0 270 4 0 0 20 0 4 0 529525047 855359488 34637 33554432000 4194304 4797429 140735304082608 18446744073709551615 4258789 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10332/tid=10338] ppid=10330 vsize=835312 CPUtime=2.76 cores=1,3,5,7
/proc/10332/task/10338/stat : 10338 (techdemo) R 10330 10332 10191 0 -1 4202560 5312 0 0 0 271 5 0 0 20 0 4 0 529525047 855359488 34637 33554432000 4194304 4797429 140735304082608 18446744073709551615 4387460 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10332/tid=10339] ppid=10330 vsize=835312 CPUtime=2.75 cores=1,3,5,7
/proc/10332/task/10339/stat : 10339 (techdemo) R 10330 10332 10191 0 -1 4202560 4641 0 0 0 270 5 0 0 20 0 4 0 529525047 855359488 34637 33554432000 4194304 4797429 140735304082608 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.37
Current children cumulated vsize (KiB) 835312

[startup+6.30021 s]
/proc/loadavg: 7.48 7.95 7.97 9/184 10339
/proc/meminfo: memFree=24101068/32951124 swapFree=67111524/67111528
[pid=10332] ppid=10330 vsize=839684 CPUtime=24.15 cores=1,3,5,7
/proc/10332/stat : 10332 (techdemo) R 10330 10332 10191 0 -1 4202496 45700 0 0 0 2390 25 0 0 25 0 4 0 529525016 859836416 38683 33554432000 4194304 4797429 140735304082608 18446744073709551615 4354988 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10332/statm: 209921 38683 420 148 0 204850 0
[pid=10332/tid=10337] ppid=10330 vsize=839684 CPUtime=5.92 cores=1,3,5,7
/proc/10332/task/10337/stat : 10337 (techdemo) R 10330 10332 10191 0 -1 4202560 5754 0 0 0 587 5 0 0 25 0 4 0 529525047 859836416 38683 33554432000 4194304 4797429 140735304082608 18446744073709551615 4519694 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10332/tid=10338] ppid=10330 vsize=839684 CPUtime=5.95 cores=1,3,5,7
/proc/10332/task/10338/stat : 10338 (techdemo) R 10330 10332 10191 0 -1 4202560 6592 0 0 0 590 5 0 0 25 0 4 0 529525047 859836416 38683 33554432000 4194304 4797429 140735304082608 18446744073709551615 4427567 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10332/tid=10339] ppid=10330 vsize=839684 CPUtime=5.95 cores=1,3,5,7
/proc/10332/task/10339/stat : 10339 (techdemo) R 10330 10332 10191 0 -1 4202560 7326 0 0 0 589 6 0 0 25 0 4 0 529525047 859836416 38683 33554432000 4194304 4797429 140735304082608 18446744073709551615 4258789 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.15
Current children cumulated vsize (KiB) 839684

[startup+12.701 s]
/proc/loadavg: 7.52 7.95 7.97 9/184 10339
/proc/meminfo: memFree=24069540/32951124 swapFree=67111524/67111528
[pid=10332] ppid=10330 vsize=843692 CPUtime=49.71 cores=1,3,5,7
/proc/10332/stat : 10332 (techdemo) R 10330 10332 10191 0 -1 4202496 57620 0 0 0 4944 27 0 0 25 0 4 0 529525016 863940608 41072 33554432000 4194304 4797429 140735304082608 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10332/statm: 210923 41072 422 148 0 205852 0
[pid=10332/tid=10337] ppid=10330 vsize=843692 CPUtime=12.29 cores=1,3,5,7
/proc/10332/task/10337/stat : 10337 (techdemo) R 10330 10332 10191 0 -1 4202560 14021 0 0 0 1223 6 0 0 25 0 4 0 529525047 863940608 41072 33554432000 4194304 4797429 140735304082608 18446744073709551615 4331610 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10332/tid=10338] ppid=10330 vsize=843692 CPUtime=12.35 cores=1,3,5,7
/proc/10332/task/10338/stat : 10338 (techdemo) R 10330 10332 10191 0 -1 4202560 8313 0 0 0 1229 6 0 0 25 0 4 0 529525047 863940608 41072 33554432000 4194304 4797429 140735304082608 18446744073709551615 4424170 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10332/tid=10339] ppid=10330 vsize=843692 CPUtime=12.36 cores=1,3,5,7
/proc/10332/task/10339/stat : 10339 (techdemo) R 10330 10332 10191 0 -1 4202560 8357 0 0 0 1229 7 0 0 25 0 4 0 529525047 863940608 41072 33554432000 4194304 4797429 140735304082608 18446744073709551615 4226023 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 49.71
Current children cumulated vsize (KiB) 843692

[startup+25.5007 s]
/proc/loadavg: 7.63 7.95 7.97 9/184 10339
/proc/meminfo: memFree=24045400/32951124 swapFree=67111524/67111528
[pid=10332] ppid=10330 vsize=845504 CPUtime=100.84 cores=1,3,5,7
/proc/10332/stat : 10332 (techdemo) R 10330 10332 10191 0 -1 4202496 68812 0 0 0 10053 31 0 0 25 0 4 0 529525016 865796096 42537 33554432000 4194304 4797429 140735304082608 18446744073709551615 4259008 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10332/statm: 211376 42537 422 148 0 206305 0
[pid=10332/tid=10337] ppid=10330 vsize=845504 CPUtime=25.02 cores=1,3,5,7
/proc/10332/task/10337/stat : 10337 (techdemo) R 10330 10332 10191 0 -1 4202560 17053 0 0 0 2495 7 0 0 25 0 4 0 529525047 865796096 42537 33554432000 4194304 4797429 140735304082608 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10332/tid=10338] ppid=10330 vsize=845504 CPUtime=25.16 cores=1,3,5,7
/proc/10332/task/10338/stat : 10338 (techdemo) R 10330 10332 10191 0 -1 4202560 12297 0 0 0 2508 8 0 0 25 0 4 0 529525047 865796096 42537 33554432000 4194304 4797429 140735304082608 18446744073709551615 4429754 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10332/tid=10339] ppid=10330 vsize=845504 CPUtime=25.15 cores=1,3,5,7
/proc/10332/task/10339/stat : 10339 (techdemo) R 10330 10332 10191 0 -1 4202560 10089 0 0 0 2508 7 0 0 25 0 4 0 529525047 865796096 42537 33554432000 4194304 4797429 140735304082608 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 100.84
Current children cumulated vsize (KiB) 845504

[startup+51.101 s]
/proc/loadavg: 7.75 7.96 7.97 9/184 10340
/proc/meminfo: memFree=24014328/32951124 swapFree=67111524/67111528
[pid=10332] ppid=10330 vsize=853268 CPUtime=203.11 cores=1,3,5,7
/proc/10332/stat : 10332 (techdemo) R 10330 10332 10191 0 -1 4202496 90957 0 0 0 20274 37 0 0 25 0 4 0 529525016 873746432 45846 33554432000 4194304 4797429 140735304082608 18446744073709551615 4568105 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10332/statm: 213317 45846 422 148 0 208246 0
[pid=10332/tid=10337] ppid=10330 vsize=853268 CPUtime=50.48 cores=1,3,5,7
/proc/10332/task/10337/stat : 10337 (techdemo) R 10330 10332 10191 0 -1 4202560 25437 0 0 0 5040 8 0 0 25 0 4 0 529525047 873746432 45846 33554432000 4194304 4797429 140735304082608 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10332/tid=10338] ppid=10330 vsize=853268 CPUtime=50.75 cores=1,3,5,7
/proc/10332/task/10338/stat : 10338 (techdemo) R 10330 10332 10191 0 -1 4202560 16537 0 0 0 5067 8 0 0 25 0 4 0 529525047 873746432 45846 33554432000 4194304 4797429 140735304082608 18446744073709551615 4427379 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10332/tid=10339] ppid=10330 vsize=853268 CPUtime=50.76 cores=1,3,5,7
/proc/10332/task/10339/stat : 10339 (techdemo) R 10330 10332 10191 0 -1 4202560 15299 0 0 0 5067 9 0 0 25 0 4 0 529525047 873746432 45846 33554432000 4194304 4797429 140735304082608 18446744073709551615 4358614 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.11
Current children cumulated vsize (KiB) 853268

[startup+102.307 s]
/proc/loadavg: 7.94 7.97 7.98 9/184 10341
/proc/meminfo: memFree=23958864/32951124 swapFree=67111524/67111528
[pid=10332] ppid=10330 vsize=864124 CPUtime=407.66 cores=1,3,5,7
/proc/10332/stat : 10332 (techdemo) R 10330 10332 10191 0 -1 4202496 119251 0 0 0 40721 45 0 0 25 0 4 0 529525016 884862976 49979 33554432000 4194304 4797429 140735304082608 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10332/statm: 216031 49979 423 148 0 210960 0
[pid=10332/tid=10337] ppid=10330 vsize=864124 CPUtime=101.66 cores=1,3,5,7
/proc/10332/task/10337/stat : 10337 (techdemo) R 10330 10332 10191 0 -1 4202560 30581 0 0 0 10156 10 0 0 25 0 4 0 529525047 884862976 49979 33554432000 4194304 4797429 140735304082608 18446744073709551615 4238661 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10332/tid=10338] ppid=10330 vsize=864124 CPUtime=101.72 cores=1,3,5,7
/proc/10332/task/10338/stat : 10338 (techdemo) R 10330 10332 10191 0 -1 4202560 18932 0 0 0 10163 9 0 0 25 0 4 0 529525047 884862976 49979 33554432000 4194304 4797429 140735304082608 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10332/tid=10339] ppid=10330 vsize=864124 CPUtime=101.97 cores=1,3,5,7
/proc/10332/task/10339/stat : 10339 (techdemo) R 10330 10332 10191 0 -1 4202560 22570 0 0 0 10186 11 0 0 25 0 4 0 529525047 884862976 49979 33554432000 4194304 4797429 140735304082608 18446744073709551615 4521947 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 407.66
Current children cumulated vsize (KiB) 864124

[startup+162.301 s]
/proc/loadavg: 8.06 8.00 7.99 9/184 10343
/proc/meminfo: memFree=23899444/32951124 swapFree=67111524/67111528
[pid=10332] ppid=10330 vsize=869064 CPUtime=647.34 cores=1,3,5,7
/proc/10332/stat : 10332 (techdemo) R 10330 10332 10191 0 -1 4202496 137191 0 0 0 64682 52 0 0 25 0 4 0 529525016 889921536 51400 33554432000 4194304 4797429 140735304082608 18446744073709551615 4424622 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10332/statm: 217266 51400 423 148 0 212195 0
[pid=10332/tid=10337] ppid=10330 vsize=869064 CPUtime=161.65 cores=1,3,5,7
/proc/10332/task/10337/stat : 10337 (techdemo) R 10330 10332 10191 0 -1 4202560 33397 0 0 0 16154 11 0 0 25 0 4 0 529525047 889921536 51400 33554432000 4194304 4797429 140735304082608 18446744073709551615 4424320 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10332/tid=10338] ppid=10330 vsize=869064 CPUtime=161.42 cores=1,3,5,7
/proc/10332/task/10338/stat : 10338 (techdemo) R 10330 10332 10191 0 -1 4202560 21630 0 0 0 16132 10 0 0 25 0 4 0 529525047 889921536 51400 33554432000 4194304 4797429 140735304082608 18446744073709551615 4427571 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10332/tid=10339] ppid=10330 vsize=869064 CPUtime=161.96 cores=1,3,5,7
/proc/10332/task/10339/stat : 10339 (techdemo) R 10330 10332 10191 0 -1 4202560 24114 0 0 0 16185 11 0 0 25 0 4 0 529525047 889921536 51400 33554432000 4194304 4797429 140735304082608 18446744073709551615 4559048 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 647.34
Current children cumulated vsize (KiB) 869064

[startup+222.301 s]
/proc/loadavg: 8.37 8.09 8.02 9/184 10348
/proc/meminfo: memFree=23854348/32951124 swapFree=67111524/67111528
[pid=10332] ppid=10330 vsize=873684 CPUtime=886.23 cores=1,3,5,7
/proc/10332/stat : 10332 (techdemo) R 10330 10332 10191 0 -1 4202496 153756 0 0 0 88563 60 0 0 25 0 4 0 529525016 894652416 54214 33554432000 4194304 4797429 140735304082608 18446744073709551615 4424383 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10332/statm: 218421 54214 423 148 0 213350 0
[pid=10332/tid=10337] ppid=10330 vsize=873684 CPUtime=221.65 cores=1,3,5,7
/proc/10332/task/10337/stat : 10337 (techdemo) R 10330 10332 10191 0 -1 4202560 34517 0 0 0 22154 11 0 0 25 0 4 0 529525047 894652416 54214 33554432000 4194304 4797429 140735304082608 18446744073709551615 4509450 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10332/tid=10338] ppid=10330 vsize=873684 CPUtime=220.3 cores=1,3,5,7
/proc/10332/task/10338/stat : 10338 (techdemo) R 10330 10332 10191 0 -1 4202560 23457 0 0 0 22019 11 0 0 25 0 4 0 529525047 894652416 54214 33554432000 4194304 4797429 140735304082608 18446744073709551615 4427396 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10332/tid=10339] ppid=10330 vsize=873684 CPUtime=221.97 cores=1,3,5,7
/proc/10332/task/10339/stat : 10339 (techdemo) R 10330 10332 10191 0 -1 4202560 27812 0 0 0 22184 13 0 0 25 0 4 0 529525047 894652416 54214 33554432000 4194304 4797429 140735304082608 18446744073709551615 4428583 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 886.23
Current children cumulated vsize (KiB) 873684

[startup+282.301 s]

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

[pid=10332] ppid=10330 vsize=889228 CPUtime=2564.15 cores=1,3,5,7
/proc/10332/stat : 10332 (techdemo) R 10330 10332 10191 0 -1 4202496 270674 0 0 0 256310 105 0 0 25 0 4 0 529525016 910569472 60541 33554432000 4194304 4797429 140735304082608 18446744073709551615 4424970 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10332/statm: 222307 60541 423 148 0 217236 0
[pid=10332/tid=10337] ppid=10330 vsize=889228 CPUtime=641.67 cores=1,3,5,7
/proc/10332/task/10337/stat : 10337 (techdemo) R 10330 10332 10191 0 -1 4202560 51566 0 0 0 64152 15 0 0 25 0 4 0 529525047 910569472 60541 33554432000 4194304 4797429 140735304082608 18446744073709551615 4354716 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10332/tid=10338] ppid=10330 vsize=889228 CPUtime=638.18 cores=1,3,5,7
/proc/10332/task/10338/stat : 10338 (techdemo) R 10330 10332 10191 0 -1 4202560 36831 0 0 0 63802 16 0 0 25 0 4 0 529525047 910569472 60541 33554432000 4194304 4797429 140735304082608 18446744073709551615 4358614 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10332/tid=10339] ppid=10330 vsize=889228 CPUtime=641.98 cores=1,3,5,7
/proc/10332/task/10339/stat : 10339 (techdemo) R 10330 10332 10191 0 -1 4202560 35858 0 0 0 64183 15 0 0 25 0 4 0 529525047 910569472 60541 33554432000 4194304 4797429 140735304082608 18446744073709551615 4245650 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2564.15
Current children cumulated vsize (KiB) 889228

[startup+702.3 s]
/proc/loadavg: 8.12 8.09 8.03 9/184 10360
/proc/meminfo: memFree=23731640/32951124 swapFree=67111524/67111528
[pid=10332] ppid=10330 vsize=900368 CPUtime=2803.82 cores=1,3,5,7
/proc/10332/stat : 10332 (techdemo) R 10330 10332 10191 0 -1 4202496 288530 0 0 0 280273 109 0 0 25 0 4 0 529525016 921976832 60253 33554432000 4194304 4797429 140735304082608 18446744073709551615 4423191 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10332/statm: 225092 60253 423 148 0 220021 0
[pid=10332/tid=10337] ppid=10330 vsize=900368 CPUtime=701.66 cores=1,3,5,7
/proc/10332/task/10337/stat : 10337 (techdemo) R 10330 10332 10191 0 -1 4202560 54071 0 0 0 70150 16 0 0 25 0 4 0 529525047 921976832 60254 33554432000 4194304 4797429 140735304082608 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10332/tid=10338] ppid=10330 vsize=900368 CPUtime=697.86 cores=1,3,5,7
/proc/10332/task/10338/stat : 10338 (techdemo) R 10330 10332 10191 0 -1 4202560 38719 0 0 0 69770 16 0 0 25 0 4 0 529525047 921976832 60254 33554432000 4194304 4797429 140735304082608 18446744073709551615 4428576 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10332/tid=10339] ppid=10330 vsize=900368 CPUtime=701.98 cores=1,3,5,7
/proc/10332/task/10339/stat : 10339 (techdemo) R 10330 10332 10191 0 -1 4202560 44318 0 0 0 70182 16 0 0 25 0 4 0 529525047 921976832 60254 33554432000 4194304 4797429 140735304082608 18446744073709551615 212687371921 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2803.82
Current children cumulated vsize (KiB) 900368

[startup+762.307 s]
/proc/loadavg: 8.10 8.08 8.03 9/184 10362
/proc/meminfo: memFree=23725292/32951124 swapFree=67111524/67111528
[pid=10332] ppid=10330 vsize=902504 CPUtime=3043.54 cores=1,3,5,7
/proc/10332/stat : 10332 (techdemo) R 10330 10332 10191 0 -1 4202496 305777 0 0 0 304238 116 0 0 25 0 4 0 529525016 924164096 62866 33554432000 4194304 4797429 140735304082608 18446744073709551615 4423635 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10332/statm: 225626 62866 423 148 0 220555 0
[pid=10332/tid=10337] ppid=10330 vsize=902504 CPUtime=761.67 cores=1,3,5,7
/proc/10332/task/10337/stat : 10337 (techdemo) R 10330 10332 10191 0 -1 4202560 54990 0 0 0 76150 17 0 0 25 0 4 0 529525047 924164096 62866 33554432000 4194304 4797429 140735304082608 18446744073709551615 4425625 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10332/tid=10338] ppid=10330 vsize=902504 CPUtime=757.55 cores=1,3,5,7
/proc/10332/task/10338/stat : 10338 (techdemo) R 10330 10332 10191 0 -1 4202560 39201 0 0 0 75739 16 0 0 25 0 4 0 529525047 924164096 62866 33554432000 4194304 4797429 140735304082608 18446744073709551615 4226023 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10332/tid=10339] ppid=10330 vsize=902504 CPUtime=761.98 cores=1,3,5,7
/proc/10332/task/10339/stat : 10339 (techdemo) R 10330 10332 10191 0 -1 4202560 45331 0 0 0 76182 16 0 0 25 0 4 0 529525047 924164096 62866 33554432000 4194304 4797429 140735304082608 18446744073709551615 4611600 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3043.54
Current children cumulated vsize (KiB) 902504

[startup+822.301 s]
/proc/loadavg: 8.13 8.10 8.03 9/184 10364
/proc/meminfo: memFree=23713504/32951124 swapFree=67111524/67111528
[pid=10332] ppid=10330 vsize=905260 CPUtime=3283.22 cores=1,3,5,7
/proc/10332/stat : 10332 (techdemo) R 10330 10332 10191 0 -1 4202496 326524 0 0 0 328196 126 0 0 25 0 4 0 529525016 926986240 63307 33554432000 4194304 4797429 140735304082608 18446744073709551615 4424987 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10332/statm: 226315 63307 423 148 0 221244 0
[pid=10332/tid=10337] ppid=10330 vsize=905260 CPUtime=821.67 cores=1,3,5,7
/proc/10332/task/10337/stat : 10337 (techdemo) R 10330 10332 10191 0 -1 4202560 55434 0 0 0 82150 17 0 0 25 0 4 0 529525047 926986240 63307 33554432000 4194304 4797429 140735304082608 18446744073709551615 4428600 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10332/tid=10338] ppid=10330 vsize=905260 CPUtime=817.24 cores=1,3,5,7
/proc/10332/task/10338/stat : 10338 (techdemo) R 10330 10332 10191 0 -1 4202560 40300 0 0 0 81706 18 0 0 25 0 4 0 529525047 926986240 63307 33554432000 4194304 4797429 140735304082608 18446744073709551615 4428632 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10332/tid=10339] ppid=10330 vsize=905260 CPUtime=821.98 cores=1,3,5,7
/proc/10332/task/10339/stat : 10339 (techdemo) R 10330 10332 10191 0 -1 4202560 46337 0 0 0 82182 16 0 0 25 0 4 0 529525047 926986240 63307 33554432000 4194304 4797429 140735304082608 18446744073709551615 4346308 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3283.22
Current children cumulated vsize (KiB) 905260

[startup+882.301 s]
/proc/loadavg: 8.14 8.11 8.04 9/184 10365
/proc/meminfo: memFree=23688180/32951124 swapFree=67111524/67111528
[pid=10332] ppid=10330 vsize=907240 CPUtime=3522.92 cores=1,3,5,7
/proc/10332/stat : 10332 (techdemo) R 10330 10332 10191 0 -1 4202496 342970 0 0 0 352158 134 0 0 25 0 4 0 529525016 929013760 69651 33554432000 4194304 4797429 140735304082608 18446744073709551615 4331610 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10332/statm: 226810 69651 423 148 0 221739 0
[pid=10332/tid=10337] ppid=10330 vsize=907240 CPUtime=881.67 cores=1,3,5,7
/proc/10332/task/10337/stat : 10337 (techdemo) R 10330 10332 10191 0 -1 4202560 56788 0 0 0 88149 18 0 0 25 0 4 0 529525047 929013760 69651 33554432000 4194304 4797429 140735304082608 18446744073709551615 4346248 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10332/tid=10338] ppid=10330 vsize=907240 CPUtime=876.94 cores=1,3,5,7
/proc/10332/task/10338/stat : 10338 (techdemo) R 10330 10332 10191 0 -1 4202560 40723 0 0 0 87676 18 0 0 25 0 4 0 529525047 929013760 69651 33554432000 4194304 4797429 140735304082608 18446744073709551615 4428558 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10332/tid=10339] ppid=10330 vsize=907240 CPUtime=881.98 cores=1,3,5,7
/proc/10332/task/10339/stat : 10339 (techdemo) R 10330 10332 10191 0 -1 4202560 46800 0 0 0 88181 17 0 0 25 0 4 0 529525047 929013760 69651 33554432000 4194304 4797429 140735304082608 18446744073709551615 4524692 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3522.92
Current children cumulated vsize (KiB) 907240

[startup+942.301 s]
/proc/loadavg: 8.14 8.11 8.04 9/184 10367
/proc/meminfo: memFree=23676880/32951124 swapFree=67111524/67111528
[pid=10332] ppid=10330 vsize=907524 CPUtime=3762.63 cores=1,3,5,7
/proc/10332/stat : 10332 (techdemo) R 10330 10332 10191 0 -1 4202496 366738 0 0 0 376120 143 0 0 25 0 4 0 529525016 929304576 69128 33554432000 4194304 4797429 140735304082608 18446744073709551615 4415811 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10332/statm: 226881 69128 423 148 0 221810 0
[pid=10332/tid=10337] ppid=10330 vsize=907524 CPUtime=941.66 cores=1,3,5,7
/proc/10332/task/10337/stat : 10337 (techdemo) R 10330 10332 10191 0 -1 4202560 57725 0 0 0 94148 18 0 0 25 0 4 0 529525047 929304576 69128 33554432000 4194304 4797429 140735304082608 18446744073709551615 4429751 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10332/tid=10338] ppid=10330 vsize=907524 CPUtime=936.64 cores=1,3,5,7
/proc/10332/task/10338/stat : 10338 (techdemo) R 10330 10332 10191 0 -1 4202560 41657 0 0 0 93645 19 0 0 25 0 4 0 529525047 929304576 69128 33554432000 4194304 4797429 140735304082608 18446744073709551615 4428576 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10332/tid=10339] ppid=10330 vsize=907524 CPUtime=941.99 cores=1,3,5,7
/proc/10332/task/10339/stat : 10339 (techdemo) R 10330 10332 10191 0 -1 4202560 49812 0 0 0 94181 18 0 0 25 0 4 0 529525047 929304576 69128 33554432000 4194304 4797429 140735304082608 18446744073709551615 4258789 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3762.63
Current children cumulated vsize (KiB) 907524

[startup+1002.3 s]
/proc/loadavg: 8.09 8.11 8.04 9/184 10368
/proc/meminfo: memFree=23678844/32951124 swapFree=67111524/67111528
[pid=10332] ppid=10330 vsize=910192 CPUtime=4002.33 cores=1,3,5,7
/proc/10332/stat : 10332 (techdemo) R 10330 10332 10191 0 -1 4202496 381586 0 0 0 400084 149 0 0 25 0 4 0 529525016 932036608 67287 33554432000 4194304 4797429 140735304082608 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10332/statm: 227548 67287 423 148 0 222477 0
[pid=10332/tid=10337] ppid=10330 vsize=910192 CPUtime=1001.67 cores=1,3,5,7
/proc/10332/task/10337/stat : 10337 (techdemo) R 10330 10332 10191 0 -1 4202560 58839 0 0 0 100148 19 0 0 25 0 4 0 529525047 932036608 67287 33554432000 4194304 4797429 140735304082608 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10332/tid=10338] ppid=10330 vsize=910192 CPUtime=996.34 cores=1,3,5,7
/proc/10332/task/10338/stat : 10338 (techdemo) R 10330 10332 10191 0 -1 4202560 42828 0 0 0 99615 19 0 0 25 0 4 0 529525047 932036608 67287 33554432000 4194304 4797429 140735304082608 18446744073709551615 4424422 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10332/tid=10339] ppid=10330 vsize=910192 CPUtime=1001.98 cores=1,3,5,7
/proc/10332/task/10339/stat : 10339 (techdemo) R 10330 10332 10191 0 -1 4202560 54090 0 0 0 100180 18 0 0 25 0 4 0 529525047 932036608 67287 33554432000 4194304 4797429 140735304082608 18446744073709551615 4428517 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4002.33
Current children cumulated vsize (KiB) 910192

[startup+1062.3 s]
/proc/loadavg: 8.07 8.10 8.04 9/184 10370
/proc/meminfo: memFree=23675972/32951124 swapFree=67111524/67111528
[pid=10332] ppid=10330 vsize=912188 CPUtime=4242.05 cores=1,3,5,7
/proc/10332/stat : 10332 (techdemo) R 10330 10332 10191 0 -1 4202496 400689 0 0 0 424049 156 0 0 25 0 4 0 529525016 934080512 66127 33554432000 4194304 4797429 140735304082608 18446744073709551615 4425649 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10332/statm: 228047 66127 423 148 0 222976 0
[pid=10332/tid=10337] ppid=10330 vsize=912188 CPUtime=1061.67 cores=1,3,5,7
/proc/10332/task/10337/stat : 10337 (techdemo) R 10330 10332 10191 0 -1 4202560 59341 0 0 0 106148 19 0 0 25 0 4 0 529525047 934080512 66127 33554432000 4194304 4797429 140735304082608 18446744073709551615 4428981 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10332/tid=10338] ppid=10330 vsize=912188 CPUtime=1056.05 cores=1,3,5,7
/proc/10332/task/10338/stat : 10338 (techdemo) R 10330 10332 10191 0 -1 4202560 43252 0 0 0 105585 20 0 0 25 0 4 0 529525047 934080512 66127 33554432000 4194304 4797429 140735304082608 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10332/tid=10339] ppid=10330 vsize=912188 CPUtime=1061.99 cores=1,3,5,7
/proc/10332/task/10339/stat : 10339 (techdemo) R 10330 10332 10191 0 -1 4202560 63088 0 0 0 106179 20 0 0 25 0 4 0 529525047 934080512 66127 33554432000 4194304 4797429 140735304082608 18446744073709551615 4647959 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4242.05
Current children cumulated vsize (KiB) 912188

[startup+1122.3 s]
/proc/loadavg: 8.06 8.09 8.04 9/184 10372
/proc/meminfo: memFree=23659340/32951124 swapFree=67111524/67111528
[pid=10332] ppid=10330 vsize=913436 CPUtime=4481.74 cores=1,3,5,7
/proc/10332/stat : 10332 (techdemo) R 10330 10332 10191 0 -1 4202496 411170 0 0 0 448013 161 0 0 25 0 4 0 529525016 935358464 69107 33554432000 4194304 4797429 140735304082608 18446744073709551615 4423697 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10332/statm: 228359 69107 423 148 0 223288 0
[pid=10332/tid=10337] ppid=10330 vsize=913436 CPUtime=1121.67 cores=1,3,5,7
/proc/10332/task/10337/stat : 10337 (techdemo) R 10330 10332 10191 0 -1 4202560 60466 0 0 0 112147 20 0 0 25 0 4 0 529525047 935358464 69107 33554432000 4194304 4797429 140735304082608 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10332/tid=10338] ppid=10330 vsize=913436 CPUtime=1115.75 cores=1,3,5,7
/proc/10332/task/10338/stat : 10338 (techdemo) R 10330 10332 10191 0 -1 4202560 43629 0 0 0 111554 21 0 0 25 0 4 0 529525047 935358464 69107 33554432000 4194304 4797429 140735304082608 18446744073709551615 4281340 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10332/tid=10339] ppid=10330 vsize=913436 CPUtime=1121.99 cores=1,3,5,7
/proc/10332/task/10339/stat : 10339 (techdemo) R 10330 10332 10191 0 -1 4202560 63475 0 0 0 112179 20 0 0 25 0 4 0 529525047 935358464 69107 33554432000 4194304 4797429 140735304082608 18446744073709551615 4428524 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4481.74
Current children cumulated vsize (KiB) 913436

[startup+1182.3 s]
/proc/loadavg: 8.06 8.09 8.04 9/184 10373
/proc/meminfo: memFree=23663300/32951124 swapFree=67111524/67111528
[pid=10332] ppid=10330 vsize=915180 CPUtime=4721.45 cores=1,3,5,7
/proc/10332/stat : 10332 (techdemo) R 10330 10332 10191 0 -1 4202496 423258 0 0 0 471979 166 0 0 25 0 4 0 529525016 937144320 67272 33554432000 4194304 4797429 140735304082608 18446744073709551615 4341204 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10332/statm: 228795 67272 423 148 0 223724 0
[pid=10332/tid=10337] ppid=10330 vsize=915180 CPUtime=1181.67 cores=1,3,5,7
/proc/10332/task/10337/stat : 10337 (techdemo) R 10330 10332 10191 0 -1 4202560 60874 0 0 0 118147 20 0 0 25 0 4 0 529525047 937144320 67272 33554432000 4194304 4797429 140735304082608 18446744073709551615 4341002 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10332/tid=10338] ppid=10330 vsize=915180 CPUtime=1175.44 cores=1,3,5,7
/proc/10332/task/10338/stat : 10338 (techdemo) R 10330 10332 10191 0 -1 4202560 44871 0 0 0 117523 21 0 0 25 0 4 0 529525047 937144320 67272 33554432000 4194304 4797429 140735304082608 18446744073709551615 4389825 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10332/tid=10339] ppid=10330 vsize=915180 CPUtime=1181.99 cores=1,3,5,7
/proc/10332/task/10339/stat : 10339 (techdemo) R 10330 10332 10191 0 -1 4202560 64493 0 0 0 118178 21 0 0 25 0 4 0 529525047 937144320 67272 33554432000 4194304 4797429 140735304082608 18446744073709551615 4427299 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4721.45
Current children cumulated vsize (KiB) 915180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202 s]
/proc/loadavg: 8.10 8.10 8.04 5/179 10375
/proc/meminfo: memFree=24063972/32951124 swapFree=67111524/67111528
[pid=10332] ppid=10330 vsize=915752 CPUtime=4800.16 cores=1,3,5,7
/proc/10332/stat : 10332 (techdemo) R 10330 10332 10191 0 -1 4202496 425733 0 0 0 479849 167 0 0 25 0 4 0 529525016 937730048 69591 33554432000 4194304 4797429 140735304082608 18446744073709551615 4422982 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10332/statm: 228938 69591 423 148 0 223867 0
[pid=10332/tid=10337] ppid=10330 vsize=915752 CPUtime=1201.38 cores=1,3,5,7
/proc/10332/task/10337/stat : 10337 (techdemo) R 10330 10332 10191 0 -1 4202560 60975 0 0 0 120118 20 0 0 25 0 4 0 529525047 937730048 69591 33554432000 4194304 4797429 140735304082608 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10332/tid=10338] ppid=10330 vsize=915752 CPUtime=1195.04 cores=1,3,5,7
/proc/10332/task/10338/stat : 10338 (techdemo) R 10330 10332 10191 0 -1 4202560 45048 0 0 0 119482 22 0 0 25 0 4 0 529525047 937730048 69591 33554432000 4194304 4797429 140735304082608 18446744073709551615 4425054 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10332/tid=10339] ppid=10330 vsize=915752 CPUtime=1201.7 cores=1,3,5,7
/proc/10332/task/10339/stat : 10339 (techdemo) R 10330 10332 10191 0 -1 4202560 64623 0 0 0 120149 21 0 0 25 0 4 0 529525047 937730048 69591 33554432000 4194304 4797429 140735304082608 18446744073709551615 4428576 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 915752

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.02
CPU time (s): 4800.21
CPU user time (s): 4798.52
CPU system time (s): 1.69174
CPU usage (%): 399.344
Max. virtual memory (cumulated for all children) (KiB): 1025112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.52
system time used= 1.69174
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 425734
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= 14814
involuntary context switches= 32317

runsolver used 1.9577 second user time and 4.20936 second system time

The end

Launcher Data 

Begin job on node139 at 2011-04-30 18:01:13
IDJOB=3291448
IDBENCH=84223
IDSOLVER=1584
FILE ID=node139/3291448-1304179273
RUNJOBID= node139-1304178069-10210
PBS_JOBID= 13172444
Free space on /tmp= 72888 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT03/industrial/li/li-exam/li-exam-61.shuffled-as.sat03-366.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3291448-1304179273/watcher-3291448-1304179273 -o /tmp/evaluation-result-3291448-1304179273/solver-3291448-1304179273 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3291448-1304179273.cnf

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

MD5SUM BENCH= 3be662940f394fa876137a905247d755
RANDOM SEED=570088215

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:      24320780 kB
Buffers:       2064744 kB
Cached:        5958720 kB
SwapCached:          4 kB
Active:        1063340 kB
Inactive:      7047416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24320780 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           19536 kB
Writeback:          56 kB
AnonPages:       86820 kB
Mapped:          14908 kB
Slab:           455204 kB
PageTables:       4832 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   261876 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= 72884 MiB
End job on node139 at 2011-04-30 18:21:17