Trace number 3291402

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.15 1201.84

General information on the benchmark

NameSAT03/industrial/goldberg/hard_eq_check/
k2mul.miter.shuffled-as.sat03-355.cnf
MD5SUM77e0700cbaeeb3d63a4820608fc84761
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark45.3381
Satisfiable
(Un)Satisfiability was proved
Number of variables11680
Number of clauses74581
Sum of the clauses size252050
Maximum clause length86
Minimum clause length1
Number of clauses of size 14
Number of clauses of size 217176
Number of clauses of size 334696
Number of clauses of size 40
Number of clauses of size 522704
Number of clauses of size over 51

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-3291402-1304179273.cnf'
0.00/0.00	c -- header says num vars:          11680
0.00/0.00	c -- header says num clauses:       74581
0.09/0.16	c -- clauses added:            0 learnts,        74581 normals,            0 xors
0.09/0.16	c -- vars added      11680
0.09/0.16	c Parsing time:  0.15 s
0.09/0.17	c  N st     0         0     11680     57394     17177         0    252027         0   no data   no data  --
0.09/0.45	c asymm  cl-useful: 7/1571/57393 lits-rem:7 time: 1.10
4.81/1.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 25.0M T:  3.59
4.81/1.41	c Calc non-exist non-lernt bins v-fix:     0 done:  11674 time:  0.21 s
4.81/1.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.28/1.45	c Subs w/ non-existent bins:      0 time:  0.17 s
5.28/1.48	c bin-w-bin subsume rem            0 bins  time:  0.02 s
5.28/1.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
5.47/1.52	c Removed useless bin:       0  fixed:     0  bprops:   1.94M  time:  0.13 s
5.88/1.65	c lits-rem:         2  cl-subs:        4  v-elim:   1098  v-fix:    0  time:  0.50 s
5.88/1.65	c learnt bin added due to v-elim: 0
5.88/1.66	c Finding binary XORs  T:     0.07 s  found:       0
6.28/1.73	c Finding non-binary XORs:     0.25 s (found:       9, avg size: 3.0)
6.28/1.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
6.28/1.74	c calculated reachability. Time: 0.02
6.28/1.75	c Calc default polars -  time:   0.02 s pos:    5667 undec:     241 neg:    5772
6.28/1.75	c =========================================================================================
6.28/1.75	c types(t): F = full restart, N = normal restart
6.28/1.75	c types(t): S = simplification begin/end, E = solution found
6.28/1.75	c restart types(rt): st = static, dy = dynamic
6.28/1.75	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
6.28/1.75	c  B st     0         0     11526     57420     17031         0    253614         0   no data   no data  --
8.26/2.24	c Decided on dynamic restart strategy
10.67/2.82	c  N dy    23      4058     11526     57420     17103      3929    253606     48693     13.70      4.73  --
15.07/3.91	c  N dy    50      8141     11520     57420     17359      7848    253600    138929     16.33      5.71  --
19.06/5.00	c  N dy    81     12201     11520     57420     17410      7188    253592     58691     17.63      5.77  --
23.85/6.13	c  N dy   103     16658     11515     57420     17541     11518    253591    232676     57.94      6.53  --
27.85/7.19	c  N dy   121     20799     11512     57420     17593      8092    253590     46727     30.46      6.92  --
31.83/8.13	c  N dy   144     24805     11511     57420     17638     12012    253589    153026     34.49      6.98  --
35.81/9.10	c  N dy   163     28849     11509     57420     17688     15947    253588    303036     29.18      7.11  --
37.03/9.42	c  S st   168     30003     11509     57420     17702     17076    253588    357961     49.59      7.20  --
37.80/9.62	c  S st   168     30504     11508     57420     17734     17542    253588    364646     49.59      7.20  --
37.80/9.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
37.80/9.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
46.99/11.92	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:   43 Bin:  14267 BRemL:    701 BRemN:      9 CBin:       0 P: 34.4M T:  9.15
46.99/11.98	c Calc non-exist non-lernt bins v-fix:     0 done:  11506 time:  0.22 s
46.99/11.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
47.39/12.04	c Subs w/ non-existent bins:     72 time:  0.24 s
47.39/12.06	c Replacing       44 vars Replaced     6491 lits Time:     0.10 s 
47.79/12.10	c bin-w-bin subsume rem           84 bins  time:  0.03 s
48.19/12.21	c subs with bin:      582  lits-rem:      2014  v-fix:    0  time:  0.45 s
48.19/12.23	c Removed useless bin:      26  fixed:     0  bprops:   0.99M  time:  0.08 s
53.78/13.63	c lits-rem:      1080  cl-subs:     2622  v-elim:    849  v-fix:    0  time:  5.60 s
53.78/13.63	c learnt bin added due to v-elim: 0
53.78/13.67	c vivif2 --  cl tried    56504 cl shrink       61 lits rem         66 time: 0.14
53.78/13.69	c vivif2 --  cl tried    14937 cl shrink      314 lits rem        381 time: 0.07
55.79/14.10	c asymm  cl-useful: 67/865/56498 lits-rem:67 time: 1.66
55.79/14.10	c Added XOR as norm:8
55.79/14.11	c calculated reachability. Time: 0.02
55.79/14.11	c  N dy   168     30504     11435     56530     29491     14937    249161    202954     49.59      7.20  --
55.79/14.11	c  F st   168     30504     11435     56530     29491     14937    249161    202954     49.59      7.20  --
58.60/14.82	c Decided on dynamic restart strategy
60.58/15.35	c  N dy   183     34559     11424     56530     52798      9742    249229    116203     33.01      7.37  --
64.97/16.45	c  N dy   205     38862     11420     56530     52833     13962    249229    257484     39.16      7.42  --
69.76/17.68	c  N dy   225     42920     11419     56530     52857     17946    249229    413725     36.80      7.58  --
70.56/17.85	c Finding binary XORs  T:     0.08 s  found:      50
72.96/18.46	c  S st   236     45756     11419     56414     49721     20637    248720    547587     58.52      7.70  --
73.76/18.69	c  S st   236     46258     11419     56414     49739     21115    248720    560976     58.52      7.70  --
74.16/18.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
74.16/18.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
84.95/21.40	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:    1 Bin:   9628 BRemL:   4586 BRemN:      5 CBin:       0 P: 42.8M T: 10.78
84.95/21.46	c Calc non-exist non-lernt bins v-fix:     0 done:  11417 time:  0.23 s
84.95/21.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
85.36/21.54	c Subs w/ non-existent bins:     94 time:  0.31 s
85.36/21.57	c Replacing       51 vars Replaced     2540 lits Time:     0.09 s 
85.73/21.60	c bin-w-bin subsume rem          132 bins  time:  0.04 s
86.53/21.86	c subs with bin:      351  lits-rem:      1439  v-fix:    0  time:  1.01 s
86.53/21.87	c Removed useless bin:      13  fixed:     0  bprops:   0.58M  time:  0.05 s
94.15/23.75	c lits-rem:       659  cl-subs:     2076  v-elim:    909  v-fix:    0  time:  7.49 s
94.15/23.75	c learnt bin added due to v-elim: 0
94.15/23.79	c vivif2 --  cl tried    55906 cl shrink       87 lits rem         93 time: 0.16
94.53/23.82	c vivif2 --  cl tried    19113 cl shrink      741 lits rem       1229 time: 0.14
95.73/24.10	c asymm  cl-useful: 10/419/55905 lits-rem:10 time: 1.11
95.73/24.11	c calculated reachability. Time: 0.03
95.73/24.11	c  N dy   236     46258     11333     55905     51062     19110    246519    446747     58.52      7.70  --
100.12/25.29	c  N dy   250     50418     11324     55905     87147     12614    246685    279262     85.27      7.82  --
105.71/26.68	c  N dy   266     55216     11312     55905     87171     17331    246685    540059     79.92      7.78  --
111.72/28.11	c  N dy   271     59228     11312     55905     87179     21314    246685   1158256     65.16      7.92  --
116.89/29.40	c  N dy   289     63469     11309     55905     87207     13258    246685    240215     51.88      7.99  --
121.28/30.58	c  N dy   309     67717     11308     55905     87231     17443    246685    424572     53.80      8.03  --
123.69/31.15	c  S st   320     69387     11308     55905     87237     19076    246685    475245     31.33      8.02  --
124.91/31.42	c  S st   320     69887     11308     55905     87263     19548    246685    482091     31.33      8.02  --
124.91/31.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
124.91/31.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
145.66/36.67	c Flit:     5 Blit:      0 bXBeca:    0 bXProp:   65 Bin:  23356 BRemL:  10989 BRemN:     39 CBin:       0 P: 56.9M T: 20.95
146.06/36.73	c Calc non-exist non-lernt bins v-fix:     0 done:  11302 time:  0.24 s
146.06/36.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.02
146.47/36.81	c Subs w/ non-existent bins:    264 time:  0.30 s
146.47/36.84	c Replacing       65 vars Replaced     9236 lits Time:     0.11 s 
146.47/36.88	c bin-w-bin subsume rem          156 bins  time:  0.07 s
147.25/37.09	c subs with bin:      623  lits-rem:      1652  v-fix:    0  time:  0.83 s
147.65/37.10	c Removed useless bin:      64  fixed:     0  bprops:   0.47M  time:  0.05 s
151.64/38.15	c ORs :     52 avg-s:  3.4 cl-sh:    47 l-rem:    112 b-add:     38 v-rep:   0 cl-rem: 0 avg s: nan T:    0.14
157.64/39.60	c Added 2 vars  tried: 80000 time: 5.79
157.64/39.60	c ORs :      2 avg-s:  0.0 cl-sh:   111 l-rem:    111 b-add:      4 v-rep:   0 cl-rem: 6 avg s: 3.0 T:    5.79
157.64/39.62	c lits-rem:       497  cl-subs:     2225  v-elim:   1007  v-fix:    0  time: 10.04 s
157.64/39.62	c learnt bin added due to v-elim: 0
157.64/39.66	c vivif2 --  cl tried    55002 cl shrink      125 lits rem        130 time: 0.18
157.64/39.69	c vivif2 --  cl tried    17266 cl shrink      431 lits rem        881 time: 0.11
158.83/39.90	c asymm  cl-useful: 38/447/54993 lits-rem:38 time: 0.85
158.83/39.91	c calculated reachability. Time: 0.03
158.83/39.91	c  N dy   320     69887     11158     54993     85983     17263    243005    342402     31.33      8.02  --
158.83/39.91	c  F st   320     69887     11158     54993     85983     17263    243005    342402     31.33      8.02  --
160.83/40.46	c Decided on dynamic restart strategy
164.05/41.29	c  N dy   338     74357     11154     54993    135888     22313    243257    649781     57.35      8.08  --
170.42/42.80	c  N dy   354     79211     11132     54993    135896     13627    243257    285170     83.53      8.11  --
175.61/44.11	c  N dy   373     84345     11131     54993    135905     18719    243257    546871     80.96      8.19  --
182.40/45.84	c  N dy   392     89830     11131     54993    135923     24152    243257    890647     52.89      8.25  --
189.60/47.61	c Finding binary XORs  T:     0.11 s  found:      63
190.81/47.97	c  N dy   418     95710     11131     54812    132827     15448    242468    308278     28.14      8.27  --
197.98/49.79	c  N dy   442    101976     11131     54812    132843     21645    242468    615727     46.56      8.28  --
201.98/50.77	c  S st   447    104831     11130     54812    132854     24458    242468    959252     96.30      8.30  --
203.18/51.06	c  S st   447    105333     11130     54812    132874     24934    242468    969538     96.30      8.30  --
203.18/51.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
203.18/51.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
223.54/56.19	c Flit:     9 Blit:      0 bXBeca:    0 bXProp:    6 Bin:  17409 BRemL:  13285 BRemN:     40 CBin:       0 P: 60.0M T: 20.42
223.94/56.25	c Calc non-exist non-lernt bins v-fix:     0 done:  11120 time:  0.25 s
223.94/56.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.02
224.35/56.38	c Subs w/ non-existent bins:    294 time:  0.49 s
224.75/56.42	c Replacing       69 vars Replaced     6869 lits Time:     0.17 s 
224.75/56.48	c bin-w-bin subsume rem          239 bins  time:  0.10 s
228.34/57.31	c subs with bin:      704  lits-rem:      2287  v-fix:    0  time:  3.30 s
228.34/57.32	c Removed useless bin:      81  fixed:     0  bprops:   0.31M  time:  0.05 s
241.52/60.68	c ORs :     91 avg-s:  3.4 cl-sh:    51 l-rem:    140 b-add:     25 v-rep:   0 cl-rem: 0 avg s: nan T:    0.14
241.91/60.70	c lits-rem:      1304  cl-subs:     3575  v-elim:   1101  v-fix:    0  time: 13.52 s
241.91/60.70	c learnt bin added due to v-elim: 0
241.91/60.75	c vivif2 --  cl tried    53981 cl shrink      157 lits rem        177 time: 0.19
242.31/60.81	c vivif2 --  cl tried    21229 cl shrink      844 lits rem       1505 time: 0.22
243.13/61.02	c asymm  cl-useful: 23/378/53965 lits-rem:27 time: 0.83
243.13/61.03	c calculated reachability. Time: 0.04
243.13/61.03	c  N dy   447    105333     10951     53964    112264     21226    239127    566041     96.30      8.30  --
251.51/63.17	c  N dy   469    112085     10934     53964    161835     28588    239347   1171388     47.55      8.41  --
260.70/65.42	c  N dy   485    119477     10930     53964    161853     20280    239346    688623    145.11      8.47  --
274.67/68.99	c  N dy   494    128720     10929     53964    161865     29449    239346   1944036    139.35      8.52  --
285.45/71.68	c  N dy   514    137176     10919     53964    161888     21302    239346    685897     77.97      8.57  --
298.64/74.95	c  N dy   526    147209     10919     53964    161903     31239    239346   1650485     75.27      8.61  --
307.02/77.01	c Finding binary XORs  T:     0.12 s  found:      85
311.43/78.15	c  N dy   535    157055     10919     53720    161128     23494    238369    865028    105.45      8.77  --
312.63/78.48	c  S st   537    157999     10919     53720    161129     24430    238369    933491     77.62      8.77  --
313.84/78.75	c  S st   537    158501     10918     53720    161139     24919    238369    944360     77.62      8.77  --
313.84/78.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
313.84/78.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.02
335.81/84.25	c Flit:     2 Blit:      1 bXBeca:    0 bXProp:    5 Bin:  16389 BRemL:  13111 BRemN:     39 CBin:       0 P: 60.0M T: 21.93
336.19/84.32	c Calc non-exist non-lernt bins v-fix:     0 done:  10914 time:  0.26 s
336.19/84.32	c Cache  BProp: 1 Set: 0 BXProp: 0 T: 0.02
336.59/84.45	c Subs w/ non-existent bins:    317 time:  0.51 s
336.59/84.49	c Replacing       90 vars Replaced     9158 lits Time:     0.14 s 
336.99/84.55	c bin-w-bin subsume rem         2777 bins  time:  0.14 s
340.20/85.34	c subs with bin:      786  lits-rem:      3037  v-fix:    0  time:  3.15 s
340.20/85.35	c Removed useless bin:      92  fixed:     0  bprops:   0.27M  time:  0.04 s
349.77/87.75	c ORs :    155 avg-s:  3.4 cl-sh:    56 l-rem:    150 b-add:     31 v-rep:   0 cl-rem: 0 avg s: nan T:    0.15
349.77/87.77	c lits-rem:       615  cl-subs:     3309  v-elim:   1070  v-fix:    0  time:  9.64 s
349.77/87.77	c learnt bin added due to v-elim: 0
350.16/87.82	c vivif2 --  cl tried    52708 cl shrink      185 lits rem        205 time: 0.20
350.16/87.88	c vivif2 --  cl tried    21638 cl shrink     1270 lits rem       3120 time: 0.25
351.36/88.11	c asymm  cl-useful: 36/391/52691 lits-rem:36 time: 0.89
351.36/88.12	c calculated reachability. Time: 0.04
351.36/88.12	c  N dy   537    158501     10717     52691    144904     21627    234008    651342     77.62      8.77  --
371.73/93.24	c  N dy   547    171604     10718     52691    189649     35429    234308   2408465    323.79      8.75  --
386.92/97.06	c  N dy   568    182578     10708     52691    210659     27779    234476   1349510     72.23      8.73  --
404.89/101.52	c  N dy   594    194801     10680     52691    210676     20212    234476    510942     63.73      8.80  --
422.47/105.90	c  N dy   616    207995     10680     52691    210694     33237    234476   1314190     70.72      8.82  --
430.06/107.80	c Finding binary XORs  T:     0.14 s  found:     126
430.06/107.84	c Replacing      126 vars Replaced    13672 lits Time:     0.18 s 
441.63/110.71	c  N dy   631    221475     10554     52404    198505     25779    232963    910566     71.28      8.88  --
461.61/115.77	c  N dy   651    236419     10550     52404    223130     41169    233129   1837292     37.12      8.92  --
464.01/116.31	c  S st   654    237751     10548     52404    223132     42494    233129   1954812     89.99      8.92  --
464.81/116.56	c  S st   654    238256     10548     52404    223138     42991    233129   1972844     89.99      8.92  --
464.81/116.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
464.81/116.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.02
493.99/123.89	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:   33 Bin:  19363 BRemL:  23135 BRemN:     61 CBin:       0 P: 60.0M T: 29.20
494.36/123.96	c Calc non-exist non-lernt bins v-fix:     0 done:  10541 time:  0.27 s
494.36/123.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.02
495.16/124.18	c Subs w/ non-existent bins:    407 time:  0.89 s
495.56/124.24	c Replacing       33 vars Replaced     7337 lits Time:     0.23 s 
495.96/124.34	c bin-w-bin subsume rem         1917 bins  time:  0.16 s
501.96/125.81	c subs with bin:     1817  lits-rem:      8731  v-fix:    0  time:  5.86 s
501.96/125.82	c Removed useless bin:      61  fixed:     0  bprops:   0.17M  time:  0.04 s
511.16/128.15	c ORs :    208 avg-s:  3.5 cl-sh:   158 l-rem:    443 b-add:     44 v-rep:   0 cl-rem: 3 avg s: 3.0 T:    0.17
511.16/128.17	c lits-rem:      1829  cl-subs:     9982  v-elim:   1125  v-fix:    0  time:  9.38 s
511.16/128.17	c learnt bin added due to v-elim: 0
511.56/128.23	c vivif2 --  cl tried    51163 cl shrink      362 lits rem        407 time: 0.22
511.94/128.35	c vivif2 --  cl tried    32089 cl shrink     3433 lits rem       8342 time: 0.48
513.14/128.62	c asymm  cl-useful: 19/307/51056 lits-rem:19 time: 1.09
513.14/128.64	c calculated reachability. Time: 0.04
513.14/128.64	c  N dy   654    238256     10397     51056    194982     32034    227153   1010271     89.99      8.92  --
536.71/134.51	c  N dy   674    254093     10365     51056    245879     27030    227735    878425     82.51      9.04  --
566.27/141.94	c  N dy   698    271800     10355     51056    245896     44614    227735   2768168    219.69      9.25  --
569.86/142.80	c Finding binary XORs  T:     0.16 s  found:      99
616.20/154.49	c  N dy   714    296557     10354     50775    231442     46140    226568   4450279    192.78      9.44  --
651.35/163.28	c  N dy   736    315617     10304     50775    324776     43149    227438   2160885     70.04      9.45  --
677.72/169.89	c Finding binary XORs  T:     0.16 s  found:     163
678.13/169.96	c Replacing      262 vars Replaced    41184 lits Time:     0.27 s 
679.31/170.28	c  N dy   779    335620     10039     50394    311533     36817    224990   1555052     65.79      9.52  --
710.47/178.06	c  N dy   800    355654     10039     50394    311554     30837    224989    983908     40.19      9.60  --
713.29/178.70	c  S st   805    357384     10039     50394    311560     32545    224988   1120878    115.11      9.62  --
714.07/178.92	c  S st   805    357887     10039     50394    311569     33035    224988   1140707    115.11      9.62  --
714.07/178.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
714.07/178.94	c Cache  BProp: 1 Set: 0 BXProp: 0 T: 0.02
746.02/186.91	c Flit:    20 Blit:      1 bXBeca:    0 bXProp:   13 Bin:  15507 BRemL:  29339 BRemN:     48 CBin:       0 P: 60.0M T: 31.84
746.02/186.98	c Calc non-exist non-lernt bins v-fix:     0 done:  10016 time:  0.28 s
746.02/186.99	c Cache  BProp: 2 Set: 0 BXProp: 0 T: 0.02
746.82/187.13	c Subs w/ non-existent bins:    774 time:  0.58 s
746.82/187.17	c Replacing       13 vars Replaced     1083 lits Time:     0.13 s 
747.22/187.26	c bin-w-bin subsume rem         6777 bins  time:  0.24 s
750.81/188.19	c subs with bin:     1626  lits-rem:      3574  v-fix:    0  time:  3.71 s
751.21/188.20	c Removed useless bin:     146  fixed:     0  bprops:   0.18M  time:  0.05 s
759.99/190.45	c ORs :    228 avg-s:  3.5 cl-sh:    27 l-rem:     58 b-add:     18 v-rep:   0 cl-rem: 0 avg s: nan T:    0.18
759.99/190.47	c lits-rem:       810  cl-subs:     8311  v-elim:   1463  v-fix:    0  time:  9.07 s
759.99/190.47	c learnt bin added due to v-elim: 0
760.39/190.53	c vivif2 --  cl tried    48113 cl shrink      303 lits rem        384 time: 0.25
760.39/190.58	c vivif2 --  cl tried    24912 cl shrink      955 lits rem       1809 time: 0.20
761.61/190.83	c asymm  cl-useful: 35/365/48087 lits-rem:35 time: 0.97
761.61/190.85	c calculated reachability. Time: 0.05
761.61/190.85	c  N dy   805    357887      9738     48087    226117     24896    214842    608208    115.11      9.62  --
790.35/198.08	c  N dy   825    378549      9724     48087    310109     47674    215545   2554057     98.88      9.59  --
822.31/206.08	c  N dy   845    401187      9713     48087    310115     42575    215545   1879223     98.07      9.59  --
828.70/207.65	c Finding binary XORs  T:     0.19 s  found:     155
829.10/207.73	c Replacing      155 vars Replaced    33457 lits Time:     0.34 s 
853.88/213.92	c  N dy   856    421584      9556     47899    322037     34266    214562   1334681     87.83      9.70  --
887.02/222.20	c  N dy   867    442156      9536     47899    354146     55290    214740   2996534     54.11      9.80  --
917.38/229.84	c  N dy   887    462416      9530     47899    354153     46097    214740   2333998     64.51      9.81  --
945.74/236.91	c Finding binary XORs  T:     0.17 s  found:     152
945.74/236.94	c Replacing      152 vars Replaced    23681 lits Time:     0.12 s 
950.55/238.12	c  N dy   907    482896      9368     47690    361218     36142    213451   1166590     67.74      9.83  --
983.69/246.49	c  N dy   918    503433      9367     47690    361222     56465    213451   2648363     77.38      9.85  --
1014.45/254.13	c  N dy   933    523534      9357     47690    389157     47374    213726   1800202     70.77      9.92  --
1038.43/260.10	c  S st   943    536831      9353     47690    415783     62220    214006   2824702     89.27      9.91  --
1039.21/260.39	c  S st   943    537336      9352     47690    415784     62721    214006   2844322     89.27      9.91  --
1039.61/260.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1039.61/260.41	c Cache  BProp: 2 Set: 0 BXProp: 3 T: 0.02
1076.76/269.71	c Flit:     7 Blit:      2 bXBeca:    0 bXProp:  134 Bin:  12920 BRemL:  43144 BRemN:     68 CBin:       0 P: 60.1M T: 37.15
1076.76/269.79	c Calc non-exist non-lernt bins v-fix:     0 done:   9326 time:  0.29 s
1076.76/269.79	c Cache  BProp: 4 Set: 0 BXProp: 0 T: 0.02
1078.76/270.20	c Subs w/ non-existent bins:   1294 time:  1.61 s
1079.16/270.33	c Replacing      137 vars Replaced    29798 lits Time:     0.54 s 
1079.96/270.52	c bin-w-bin subsume rem        18085 bins  time:  0.44 s
1085.95/272.02	c subs with bin:      586  lits-rem:      6283  v-fix:    0  time:  6.02 s
1085.95/272.04	c Removed useless bin:      46  fixed:     0  bprops:   0.16M  time:  0.05 s
1100.35/275.63	c ORs :    312 avg-s:  3.6 cl-sh:   285 l-rem:    814 b-add:     64 v-rep:   0 cl-rem: 3 avg s: 3.0 T:    0.21
1105.12/276.85	c Added 1 vars  tried: 80000 time: 4.88
1105.12/276.85	c ORs :      1 avg-s:  0.0 cl-sh:   178 l-rem:    178 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:    4.88
1105.12/276.88	c lits-rem:      2667  cl-subs:    21045  v-elim:   1296  v-fix:    0  time: 19.36 s
1105.12/276.88	c learnt bin added due to v-elim: 0
1105.52/276.95	c vivif2 --  cl tried    44871 cl shrink      554 lits rem        662 time: 0.25
1106.32/277.14	c vivif2 --  cl tried    42383 cl shrink     5608 lits rem      10866 time: 0.77
1107.12/277.39	c asymm  cl-useful: 24/207/44681 lits-rem:24 time: 1.00
1107.52/277.41	c calculated reachability. Time: 0.04
1107.52/277.41	c  N dy   943    537336      9033     44681    308848     42241    200516   1377155     89.27      9.91  --
1107.52/277.41	c  F st   943    537336      9033     44681    308848     42241    200516   1377155     89.27      9.91  --
1110.31/278.17	c Decided on static restart strategy
1639.19/410.52	c  N dy   950    806004      9030     44681    308899     65887    200516   2447422     52.02     10.91  --
1639.59/410.63	c  S st   950    806004      9030     44681    308899     65887    200516   2447422     52.02     10.91  --
1640.41/410.80	c Finding binary XORs  T:     0.21 s  found:     536
1640.81/410.97	c Replacing      536 vars Replaced   147157 lits Time:     0.66 s 
1642.79/411.44	c  S st   950    806507      8379     44027    440005     74086    197913   2716627     52.02     10.91  --
1642.79/411.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1642.79/411.46	c Cache  BProp: 4 Set: 0 BXProp: 0 T: 0.02
1676.34/419.83	c Flit:     7 Blit:      3 bXBeca:    0 bXProp:   12 Bin:   9654 BRemL:  42387 BRemN:     58 CBin:       0 P: 60.0M T: 33.41
1676.34/419.89	c Calc non-exist non-lernt bins v-fix:     0 done:   8369 time:  0.24 s
1676.34/419.89	c Cache  BProp: 7 Set: 0 BXProp: 0 T: 0.02
1678.34/420.36	c Subs w/ non-existent bins:    833 time:  1.87 s
1678.74/420.45	c Replacing       12 vars Replaced    17409 lits Time:     0.35 s 
1679.53/420.66	c bin-w-bin subsume rem        27994 bins  time:  0.60 s
1685.53/422.19	c subs with bin:     1420  lits-rem:     41965  v-fix:    0  time:  6.08 s
1685.93/422.20	c Removed useless bin:      88  fixed:     0  bprops:   0.13M  time:  0.05 s
1699.91/425.74	c ORs :    348 avg-s:  3.6 cl-sh:   133 l-rem:    373 b-add:     40 v-rep:   0 cl-rem: 1 avg s: 3.0 T:    0.22
1699.91/425.77	c lits-rem:      3937  cl-subs:    25809  v-elim:   1505  v-fix:    0  time: 14.27 s
1699.91/425.77	c learnt bin added due to v-elim: 0
1700.31/425.84	c vivif2 --  cl tried    40573 cl shrink      421 lits rem        495 time: 0.25
1701.11/426.06	c vivif2 --  cl tried    49904 cl shrink     7565 lits rem      13474 time: 0.91
1701.92/426.27	c asymm  cl-useful: 15/136/40495 lits-rem:15 time: 0.83
1701.92/426.30	c calculated reachability. Time: 0.05
1701.92/426.30	c  N dy   950    806507      8113     40495    302475     49841    182786   1420587     52.02     10.91  --
2431.72/608.95	c  N dy   951   1209760      8105     40495    319384     59788    183111   1614430     31.28     12.06  --
2432.10/609.00	c  S st   951   1209760      8105     40495    319384     59788    183111   1614430     31.28     12.06  --
2432.50/609.15	c Finding binary XORs  T:     0.22 s  found:     574
2433.30/609.30	c Replacing      574 vars Replaced   138681 lits Time:     0.58 s 
2434.10/609.56	c  S st   951   1210261      7491     40223    394943     70861    181706   1807793     31.28     12.06  --
2434.10/609.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2434.10/609.58	c Cache  BProp: 8 Set: 0 BXProp: 0 T: 0.02
2461.26/616.36	c Flit:     3 Blit:      2 bXBeca:    0 bXProp:    4 Bin:   6101 BRemL:  44789 BRemN:     55 CBin:       0 P: 60.0M T: 27.10
2461.66/616.41	c Calc non-exist non-lernt bins v-fix:     0 done:   7486 time:  0.19 s
2461.66/616.42	c Cache  BProp: 10 Set: 0 BXProp: 0 T: 0.02
2462.86/616.73	c Subs w/ non-existent bins:    542 time:  1.22 s
2462.86/616.77	c Replacing        4 vars Replaced     1539 lits Time:     0.16 s 
2463.66/616.95	c bin-w-bin subsume rem        34217 bins  time:  0.59 s
2469.65/618.43	c subs with bin:     2228  lits-rem:     20444  v-fix:    0  time:  5.90 s
2469.65/618.45	c Removed useless bin:      73  fixed:     0  bprops:   0.09M  time:  0.05 s
2475.26/619.90	c ORs :    406 avg-s:  3.6 cl-sh:   118 l-rem:    328 b-add:     35 v-rep:   0 cl-rem: 2 avg s: 3.0 T:    0.21
2475.66/619.92	c lits-rem:      2563  cl-subs:    24241  v-elim:   1336  v-fix:    0  time:  5.90 s
2475.66/619.92	c learnt bin added due to v-elim: 0
2475.66/619.98	c vivif2 --  cl tried    36729 cl shrink      168 lits rem        181 time: 0.24
2476.44/620.13	c vivif2 --  cl tried    47607 cl shrink     1948 lits rem       3153 time: 0.57
2477.24/620.31	c asymm  cl-useful: 9/150/36715 lits-rem:9 time: 0.73
2477.24/620.33	c calculated reachability. Time: 0.04
2477.24/620.33	c  N dy   951   1210261      7337     36715    271357     47587    166559   1071017     31.28     12.06  --
3012.11/754.25	c Finding binary XORs  T:     0.21 s  found:     327
3012.51/754.37	c Replacing      327 vars Replaced    68241 lits Time:     0.48 s 
3363.25/842.15	c  N dy   952   1710261      6994     36636    292178     69803    166131   1746747     51.41     12.32  --
3363.63/842.21	c  S st   952   1710261      6994     36636    292178     69803    166131   1746747     51.41     12.32  --
3364.43/842.49	c  S st   952   1710765      6982     36636    311909     73118    167297   1813954     51.41     12.32  --
3364.82/842.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3364.82/842.51	c Cache  BProp: 9 Set: 0 BXProp: 15 T: 0.02
3386.39/847.96	c Flit:     4 Blit:      1 bXBeca:    0 bXProp:  173 Bin:   8845 BRemL:  45047 BRemN:    131 CBin:       0 P: 60.0M T: 21.76
3386.79/848.00	c Calc non-exist non-lernt bins v-fix:     0 done:   6977 time:  0.18 s
3386.79/848.01	c Cache  BProp: 10 Set: 0 BXProp: 1 T: 0.02
3387.99/848.35	c Subs w/ non-existent bins:   1143 time:  1.39 s
3388.79/848.52	c Replacing      189 vars Replaced    55913 lits Time:     0.68 s 
3389.21/848.67	c bin-w-bin subsume rem        18392 bins  time:  0.40 s
3394.38/849.91	c subs with bin:     1216  lits-rem:      7881  v-fix:    0  time:  4.97 s
3394.38/849.92	c Removed useless bin:      22  fixed:     0  bprops:   0.06M  time:  0.04 s
3401.58/851.78	c ORs :    443 avg-s:  3.7 cl-sh:   136 l-rem:    403 b-add:     21 v-rep:   0 cl-rem: 0 avg s: nan T:    0.20
3406.38/852.99	c Added 3 vars  tried: 80000 time: 4.81
3406.38/852.99	c ORs :      3 avg-s:  0.0 cl-sh:   355 l-rem:    355 b-add:      6 v-rep:   0 cl-rem: 0 avg s: nan T:    4.81
3406.79/853.01	c lits-rem:      3270  cl-subs:    18678  v-elim:   1279  v-fix:    0  time: 12.35 s
3406.79/853.01	c learnt bin added due to v-elim: 0
3406.79/853.07	c vivif2 --  cl tried    33878 cl shrink       97 lits rem        106 time: 0.22
3407.57/853.25	c vivif2 --  cl tried    54933 cl shrink     1505 lits rem       1991 time: 0.71
3408.37/853.43	c asymm  cl-useful: 7/121/33876 lits-rem:7 time: 0.72
3408.37/853.45	c calculated reachability. Time: 0.04
3408.37/853.45	c  N dy   952   1710765      6698     33876    230125     54929    153851   1215777     51.41     12.32  --
3986.38/998.10	c Finding binary XORs  T:     0.21 s  found:     263
3986.79/998.23	c Replacing      263 vars Replaced    53195 lits Time:     0.51 s 
4264.79/1067.81	c  N dy   953   2210765      6425     33822    252891     71298    153621   1371752     42.66     12.40  --
4264.79/1067.85	c  S st   953   2210765      6425     33822    252891     71298    153621   1371752     42.66     12.40  --
4265.99/1068.13	c  S st   953   2211270      6422     33822    266918     72896    154103   1422151     42.66     12.40  --
4265.99/1068.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
4265.99/1068.14	c Cache  BProp: 48 Set: 6 BXProp: 10 T: 0.02
4285.99/1073.14	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:  133 Bin:  11757 BRemL:  41015 BRemN:     52 CBin:       0 P: 60.0M T: 19.95
4285.99/1073.17	c Calc non-exist non-lernt bins v-fix:     0 done:   6413 time:  0.14 s
4285.99/1073.18	c Cache  BProp: 18 Set: 0 BXProp: 12 T: 0.02
4287.57/1073.50	c Subs w/ non-existent bins:   1171 time:  1.28 s
4287.97/1073.61	c Replacing      142 vars Replaced    38768 lits Time:     0.42 s 
4287.97/1073.70	c bin-w-bin subsume rem        10130 bins  time:  0.22 s
4291.56/1074.53	c subs with bin:     3627  lits-rem:     12837  v-fix:    0  time:  3.31 s
4291.56/1074.54	c Removed useless bin:      18  fixed:     0  bprops:   0.05M  time:  0.04 s
4297.15/1075.97	c ORs :    435 avg-s:  3.6 cl-sh:    39 l-rem:    106 b-add:      9 v-rep:   0 cl-rem: 4 avg s: 4.0 T:    0.18
4297.55/1076.00	c lits-rem:      5414  cl-subs:    14024  v-elim:   1239  v-fix:    0  time:  5.84 s
4297.55/1076.00	c learnt bin added due to v-elim: 0
4297.55/1076.05	c vivif2 --  cl tried    31131 cl shrink      252 lits rem        272 time: 0.21
4298.35/1076.23	c vivif2 --  cl tried    56773 cl shrink     2932 lits rem       3704 time: 0.70
4299.17/1076.40	c asymm  cl-useful: 12/105/31115 lits-rem:13 time: 0.71
4299.17/1076.42	c calculated reachability. Time: 0.04
4299.17/1076.42	c  N dy   953   2211270      6185     31115    211285     56740    141603   1002771     42.66     12.40  --

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

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

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


[startup+0 s]
/proc/loadavg: 7.44 7.95 7.97 2/174 10326
/proc/meminfo: memFree=24349788/32951124 swapFree=67111524/67111528
[pid=10326] ppid=10324 vsize=24216 CPUtime=0 cores=0,2,4,6
/proc/10326/stat : 10326 (techdemo) R 10324 10326 10191 0 -1 4202496 1344 0 0 0 0 0 0 0 25 0 1 0 529525008 24797184 1285 33554432000 4194304 4797429 140734301244352 18446744073709551615 4367789 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/10326/statm: 6094 1290 341 148 0 1023 0

[startup+0.0794131 s]
/proc/loadavg: 7.44 7.95 7.97 2/174 10326
/proc/meminfo: memFree=24349788/32951124 swapFree=67111524/67111528
[pid=10326] ppid=10324 vsize=73964 CPUtime=0.06 cores=0,2,4,6
/proc/10326/stat : 10326 (techdemo) R 10324 10326 10191 0 -1 4202496 7888 0 0 0 6 0 0 0 25 0 1 0 529525008 75739136 6375 33554432000 4194304 4797429 140734301244352 18446744073709551615 212687372043 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/10326/statm: 18491 6376 350 148 0 13420 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 73964

[startup+0.100408 s]
/proc/loadavg: 7.44 7.95 7.97 2/174 10326
/proc/meminfo: memFree=24349788/32951124 swapFree=67111524/67111528
[pid=10326] ppid=10324 vsize=75644 CPUtime=0.09 cores=0,2,4,6
/proc/10326/stat : 10326 (techdemo) R 10324 10326 10191 0 -1 4202496 8523 0 0 0 8 1 0 0 25 0 1 0 529525008 77459456 6994 33554432000 4194304 4797429 140734301244352 18446744073709551615 4432312 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/10326/statm: 18911 6995 350 148 0 13840 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 75644

[startup+0.986179 s]
/proc/loadavg: 7.44 7.95 7.97 2/174 10326
/proc/meminfo: memFree=24349788/32951124 swapFree=67111524/67111528
[pid=10326] ppid=10324 vsize=719504 CPUtime=3.4 cores=0,2,4,6
/proc/10326/stat : 10326 (techdemo) R 10324 10326 10191 0 -1 4202496 19049 0 0 0 336 4 0 0 19 0 4 0 529525008 736772096 16101 33554432000 4194304 4797429 140734301244352 18446744073709551615 4427889 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10326/statm: 179876 16101 383 148 0 174805 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 719504

[startup+1.08616 s]
/proc/loadavg: 7.44 7.95 7.97 2/174 10326
/proc/meminfo: memFree=24349788/32951124 swapFree=67111524/67111528
[pid=10326] ppid=10324 vsize=719504 CPUtime=3.8 cores=0,2,4,6
/proc/10326/stat : 10326 (techdemo) R 10324 10326 10191 0 -1 4202496 19058 0 0 0 376 4 0 0 19 0 4 0 529525008 736772096 16110 33554432000 4194304 4797429 140734301244352 18446744073709551615 4427320 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10326/statm: 179876 16110 383 148 0 174805 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 719504

[startup+1.50109 s]
/proc/loadavg: 7.44 7.95 7.97 2/174 10326
/proc/meminfo: memFree=24349788/32951124 swapFree=67111524/67111528
[pid=10326] ppid=10324 vsize=722132 CPUtime=5.47 cores=0,2,4,6
/proc/10326/stat : 10326 (techdemo) R 10324 10326 10191 0 -1 4202496 21810 0 0 0 542 5 0 0 19 0 4 0 529525008 739463168 18862 33554432000 4194304 4797429 140734301244352 18446744073709551615 4365300 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10326/statm: 180533 18862 393 148 0 175462 0
Current children cumulated CPU time (s) 5.47
Current children cumulated vsize (KiB) 722132

[startup+3.1008 s]
/proc/loadavg: 7.44 7.95 7.97 9/184 10339
/proc/meminfo: memFree=24119048/32951124 swapFree=67111524/67111528
[pid=10326] ppid=10324 vsize=730168 CPUtime=11.84 cores=0,2,4,6
/proc/10326/stat : 10326 (techdemo) R 10324 10326 10191 0 -1 4202496 25467 0 0 0 1179 5 0 0 24 0 4 0 529525008 747692032 22408 33554432000 4194304 4797429 140734301244352 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10326/statm: 182542 22408 415 148 0 177471 0
[pid=10326/tid=10334] ppid=10324 vsize=730168 CPUtime=2.91 cores=0,2,4,6
/proc/10326/task/10334/stat : 10334 (techdemo) R 10324 10326 10191 0 -1 4202560 3671 0 0 0 291 0 0 0 23 0 4 0 529525025 747692032 22408 33554432000 4194304 4797429 140734301244352 18446744073709551615 4424374 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10326/tid=10335] ppid=10324 vsize=730168 CPUtime=2.9 cores=0,2,4,6
/proc/10326/task/10335/stat : 10335 (techdemo) R 10324 10326 10191 0 -1 4202560 3745 0 0 0 290 0 0 0 24 0 4 0 529525025 747692032 22408 33554432000 4194304 4797429 140734301244352 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10326/tid=10336] ppid=10324 vsize=730168 CPUtime=2.91 cores=0,2,4,6
/proc/10326/task/10336/stat : 10336 (techdemo) R 10324 10326 10191 0 -1 4202560 3656 0 0 0 290 1 0 0 24 0 4 0 529525025 747692032 22408 33554432000 4194304 4797429 140734301244352 18446744073709551615 4424335 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.84
Current children cumulated vsize (KiB) 730168

[startup+6.30022 s]
/proc/loadavg: 7.48 7.95 7.97 9/184 10339
/proc/meminfo: memFree=24094680/32951124 swapFree=67111524/67111528
[pid=10326] ppid=10324 vsize=736296 CPUtime=24.62 cores=0,2,4,6
/proc/10326/stat : 10326 (techdemo) R 10324 10326 10191 0 -1 4202496 30020 0 0 0 2455 7 0 0 25 0 4 0 529525008 753967104 24992 33554432000 4194304 4797429 140734301244352 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10326/statm: 184074 24992 419 148 0 179003 0
[pid=10326/tid=10334] ppid=10324 vsize=736296 CPUtime=6.11 cores=0,2,4,6
/proc/10326/task/10334/stat : 10334 (techdemo) R 10324 10326 10191 0 -1 4202560 4821 0 0 0 610 1 0 0 25 0 4 0 529525025 753967104 24992 33554432000 4194304 4797429 140734301244352 18446744073709551615 4491756 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10326/tid=10335] ppid=10324 vsize=736296 CPUtime=6.08 cores=0,2,4,6
/proc/10326/task/10335/stat : 10335 (techdemo) R 10324 10326 10191 0 -1 4202560 5400 0 0 0 607 1 0 0 25 0 4 0 529525025 753967104 24992 33554432000 4194304 4797429 140734301244352 18446744073709551615 4427984 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10326/tid=10336] ppid=10324 vsize=736296 CPUtime=6.11 cores=0,2,4,6
/proc/10326/task/10336/stat : 10336 (techdemo) R 10324 10326 10191 0 -1 4202560 4441 0 0 0 610 1 0 0 25 0 4 0 529525025 753967104 24992 33554432000 4194304 4797429 140734301244352 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.62
Current children cumulated vsize (KiB) 736296

[startup+12.707 s]
/proc/loadavg: 7.52 7.95 7.97 9/184 10339
/proc/meminfo: memFree=24067804/32951124 swapFree=67111524/67111528
[pid=10326] ppid=10324 vsize=743440 CPUtime=50.21 cores=0,2,4,6
/proc/10326/stat : 10326 (techdemo) R 10324 10326 10191 0 -1 4202496 35220 0 0 0 5012 9 0 0 25 0 4 0 529525008 761282560 28383 33554432000 4194304 4797429 140734301244352 18446744073709551615 4524464 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10326/statm: 185860 28383 424 148 0 180789 0
[pid=10326/tid=10334] ppid=10324 vsize=743440 CPUtime=12.51 cores=0,2,4,6
/proc/10326/task/10334/stat : 10334 (techdemo) R 10324 10326 10191 0 -1 4202560 5342 0 0 0 1250 1 0 0 25 0 4 0 529525025 761282560 28383 33554432000 4194304 4797429 140734301244352 18446744073709551615 4424328 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10326/tid=10335] ppid=10324 vsize=743440 CPUtime=12.45 cores=0,2,4,6
/proc/10326/task/10335/stat : 10335 (techdemo) R 10324 10326 10191 0 -1 4202560 6593 0 0 0 1244 1 0 0 25 0 4 0 529525025 761282560 28383 33554432000 4194304 4797429 140734301244352 18446744073709551615 4245571 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10326/tid=10336] ppid=10324 vsize=743440 CPUtime=12.52 cores=0,2,4,6
/proc/10326/task/10336/stat : 10336 (techdemo) R 10324 10326 10191 0 -1 4202560 5011 0 0 0 1251 1 0 0 25 0 4 0 529525025 761282560 28383 33554432000 4194304 4797429 140734301244352 18446744073709551615 4373003 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.21
Current children cumulated vsize (KiB) 743440

[startup+25.5007 s]
/proc/loadavg: 7.63 7.95 7.97 9/184 10339
/proc/meminfo: memFree=24047260/32951124 swapFree=67111524/67111528
[pid=10326] ppid=10324 vsize=758380 CPUtime=101.32 cores=0,2,4,6
/proc/10326/stat : 10326 (techdemo) R 10324 10326 10191 0 -1 4202496 41948 0 0 0 10121 11 0 0 25 0 4 0 529525008 776581120 32460 33554432000 4194304 4797429 140734301244352 18446744073709551615 4351624 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10326/statm: 189595 32460 422 148 0 184524 0
[pid=10326/tid=10334] ppid=10324 vsize=758380 CPUtime=25.31 cores=0,2,4,6
/proc/10326/task/10334/stat : 10334 (techdemo) R 10324 10326 10191 0 -1 4202560 6795 0 0 0 2529 2 0 0 25 0 4 0 529525025 776581120 32460 33554432000 4194304 4797429 140734301244352 18446744073709551615 4231920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10326/tid=10335] ppid=10324 vsize=758380 CPUtime=25.18 cores=0,2,4,6
/proc/10326/task/10335/stat : 10335 (techdemo) R 10324 10326 10191 0 -1 4202560 7978 0 0 0 2516 2 0 0 25 0 4 0 529525025 776581120 32460 33554432000 4194304 4797429 140734301244352 18446744073709551615 4332833 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10326/tid=10336] ppid=10324 vsize=758380 CPUtime=25.31 cores=0,2,4,6
/proc/10326/task/10336/stat : 10336 (techdemo) R 10324 10326 10191 0 -1 4202560 5746 0 0 0 2530 1 0 0 25 0 4 0 529525025 776581120 32460 33554432000 4194304 4797429 140734301244352 18446744073709551615 4346332 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 758380

[startup+51.1011 s]
/proc/loadavg: 7.75 7.96 7.97 9/184 10340
/proc/meminfo: memFree=24014204/32951124 swapFree=67111524/67111528
[pid=10326] ppid=10324 vsize=769004 CPUtime=203.59 cores=0,2,4,6
/proc/10326/stat : 10326 (techdemo) R 10324 10326 10191 0 -1 4202496 55581 0 0 0 20344 15 0 0 25 0 4 0 529525008 787460096 36957 33554432000 4194304 4797429 140734301244352 18446744073709551615 4235901 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10326/statm: 192251 36957 423 148 0 187180 0
[pid=10326/tid=10334] ppid=10324 vsize=769004 CPUtime=50.91 cores=0,2,4,6
/proc/10326/task/10334/stat : 10334 (techdemo) R 10324 10326 10191 0 -1 4202560 8949 0 0 0 5089 2 0 0 25 0 4 0 529525025 787460096 36957 33554432000 4194304 4797429 140734301244352 18446744073709551615 4235897 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10326/tid=10335] ppid=10324 vsize=769004 CPUtime=50.64 cores=0,2,4,6
/proc/10326/task/10335/stat : 10335 (techdemo) R 10324 10326 10191 0 -1 4202560 9996 0 0 0 5062 2 0 0 25 0 4 0 529525025 787460096 36957 33554432000 4194304 4797429 140734301244352 18446744073709551615 4491086 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10326/tid=10336] ppid=10324 vsize=769004 CPUtime=50.92 cores=0,2,4,6
/proc/10326/task/10336/stat : 10336 (techdemo) R 10324 10326 10191 0 -1 4202560 8495 0 0 0 5090 2 0 0 25 0 4 0 529525025 787460096 36957 33554432000 4194304 4797429 140734301244352 18446744073709551615 212687699863 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.59
Current children cumulated vsize (KiB) 769004

[startup+102.301 s]
/proc/loadavg: 7.94 7.97 7.98 9/184 10341
/proc/meminfo: memFree=23959608/32951124 swapFree=67111524/67111528
[pid=10326] ppid=10324 vsize=800544 CPUtime=408.08 cores=0,2,4,6
/proc/10326/stat : 10326 (techdemo) R 10324 10326 10191 0 -1 4202496 90033 0 0 0 40783 25 0 0 25 0 4 0 529525008 819757056 46524 33554432000 4194304 4797429 140734301244352 18446744073709551615 4423684 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10326/statm: 200136 46524 423 148 0 195065 0
[pid=10326/tid=10334] ppid=10324 vsize=800544 CPUtime=102.1 cores=0,2,4,6
/proc/10326/task/10334/stat : 10334 (techdemo) R 10324 10326 10191 0 -1 4202560 17053 0 0 0 10206 4 0 0 25 0 4 0 529525025 819757056 46524 33554432000 4194304 4797429 140734301244352 18446744073709551615 4642194 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10326/tid=10335] ppid=10324 vsize=800544 CPUtime=101.75 cores=0,2,4,6
/proc/10326/task/10335/stat : 10335 (techdemo) R 10324 10326 10191 0 -1 4202560 17273 0 0 0 10171 4 0 0 25 0 4 0 529525025 819757056 46524 33554432000 4194304 4797429 140734301244352 18446744073709551615 4427271 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10326/tid=10336] ppid=10324 vsize=800544 CPUtime=101.91 cores=0,2,4,6
/proc/10326/task/10336/stat : 10336 (techdemo) R 10324 10326 10191 0 -1 4202560 13006 0 0 0 10188 3 0 0 25 0 4 0 529525025 819757056 46524 33554432000 4194304 4797429 140734301244352 18446744073709551615 4427396 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.08
Current children cumulated vsize (KiB) 800544

[startup+162.307 s]
/proc/loadavg: 8.06 8.00 7.99 9/184 10343
/proc/meminfo: memFree=23898448/32951124 swapFree=67111524/67111528
[pid=10326] ppid=10324 vsize=837480 CPUtime=647.77 cores=0,2,4,6
/proc/10326/stat : 10326 (techdemo) R 10324 10326 10191 0 -1 4202496 127825 0 0 0 64742 35 0 0 25 0 4 0 529525008 857579520 59871 33554432000 4194304 4797429 140734301244352 18446744073709551615 4395263 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10326/statm: 209370 59871 423 148 0 204299 0
[pid=10326/tid=10334] ppid=10324 vsize=837480 CPUtime=162.11 cores=0,2,4,6
/proc/10326/task/10334/stat : 10334 (techdemo) R 10324 10326 10191 0 -1 4202560 22171 0 0 0 16205 6 0 0 25 0 4 0 529525025 857579520 59871 33554432000 4194304 4797429 140734301244352 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10326/tid=10335] ppid=10324 vsize=837480 CPUtime=161.76 cores=0,2,4,6
/proc/10326/task/10335/stat : 10335 (techdemo) R 10324 10326 10191 0 -1 4202560 25016 0 0 0 16170 6 0 0 25 0 4 0 529525025 857579520 59871 33554432000 4194304 4797429 140734301244352 18446744073709551615 4428580 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10326/tid=10336] ppid=10324 vsize=837480 CPUtime=161.59 cores=0,2,4,6
/proc/10326/task/10336/stat : 10336 (techdemo) R 10324 10326 10191 0 -1 4202560 19690 0 0 0 16155 4 0 0 25 0 4 0 529525025 857579520 59871 33554432000 4194304 4797429 140734301244352 18446744073709551615 4428020 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 647.77
Current children cumulated vsize (KiB) 837480

[startup+222.301 s]
/proc/loadavg: 8.37 8.09 8.02 9/184 10348
/proc/meminfo: memFree=23855092/32951124 swapFree=67111524/67111528
[pid=10326] ppid=10324 vsize=859824 CPUtime=887.42 cores=0,2,4,6
/proc/10326/stat : 10326 (techdemo) R 10324 10326 10191 0 -1 4202496 165518 0 0 0 88697 45 0 0 25 0 4 0 529525008 880459776 68247 33554432000 4194304 4797429 140734301244352 18446744073709551615 4423072 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10326/statm: 214956 68247 423 148 0 209885 0
[pid=10326/tid=10334] ppid=10324 vsize=859824 CPUtime=222.1 cores=0,2,4,6
/proc/10326/task/10334/stat : 10334 (techdemo) R 10324 10326 10191 0 -1 4202560 28811 0 0 0 22203 7 0 0 25 0 4 0 529525025 880459776 68247 33554432000 4194304 4797429 140734301244352 18446744073709551615 4428635 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10326/tid=10335] ppid=10324 vsize=859824 CPUtime=221.76 cores=0,2,4,6
/proc/10326/task/10335/stat : 10335 (techdemo) R 10324 10326 10191 0 -1 4202560 32147 0 0 0 22168 8 0 0 25 0 4 0 529525025 880459776 68247 33554432000 4194304 4797429 140734301244352 18446744073709551615 212687336133 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10326/tid=10336] ppid=10324 vsize=859824 CPUtime=221.26 cores=0,2,4,6
/proc/10326/task/10336/stat : 10336 (techdemo) R 10324 10326 10191 0 -1 4202560 27828 0 0 0 22120 6 0 0 25 0 4 0 529525025 880459776 68247 33554432000 4194304 4797429 140734301244352 18446744073709551615 4427959 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 887.42
Current children cumulated vsize (KiB) 859824

[startup+282.301 s]
/proc/loadavg: 8.17 8.09 8.02 9/184 10349
/proc/meminfo: memFree=23826128/32951124 swapFree=67111524/67111528
[pid=10326] ppid=10324 vsize=879764 CPUtime=1127.09 cores=0,2,4,6
/proc/10326/stat : 10326 (techdemo) R 10324 10326 10191 0 -1 4202496 190282 0 0 0 112658 51 0 0 25 0 4 0 529525008 900878336 76594 33554432000 4194304 4797429 140734301244352 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10326/statm: 219941 76594 423 148 0 214870 0
[pid=10326/tid=10334] ppid=10324 vsize=879764 CPUtime=282.09 cores=0,2,4,6

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

[pid=10326] ppid=10324 vsize=930244 CPUtime=2565.12 cores=0,2,4,6
/proc/10326/stat : 10326 (techdemo) R 10324 10326 10191 0 -1 4202496 272300 0 0 0 256430 82 0 0 25 0 4 0 529525008 952569856 93152 33554432000 4194304 4797429 140734301244352 18446744073709551615 4425030 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10326/statm: 232561 93152 423 148 0 227490 0
[pid=10326/tid=10334] ppid=10324 vsize=930244 CPUtime=642.06 cores=0,2,4,6
/proc/10326/task/10334/stat : 10334 (techdemo) R 10324 10326 10191 0 -1 4202560 41186 0 0 0 64195 11 0 0 25 0 4 0 529525025 952569856 93152 33554432000 4194304 4797429 140734301244352 18446744073709551615 4346799 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10326/tid=10335] ppid=10324 vsize=930244 CPUtime=641.75 cores=0,2,4,6
/proc/10326/task/10335/stat : 10335 (techdemo) R 10324 10326 10191 0 -1 4202560 45729 0 0 0 64163 12 0 0 25 0 4 0 529525025 952569856 93152 33554432000 4194304 4797429 140734301244352 18446744073709551615 4642204 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10326/tid=10336] ppid=10324 vsize=930244 CPUtime=638.98 cores=0,2,4,6
/proc/10326/task/10336/stat : 10336 (techdemo) R 10324 10326 10191 0 -1 4202560 42339 0 0 0 63888 10 0 0 25 0 4 0 529525025 952569856 93152 33554432000 4194304 4797429 140734301244352 18446744073709551615 4425030 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2565.12
Current children cumulated vsize (KiB) 930244

[startup+702.3 s]
/proc/loadavg: 8.12 8.09 8.03 9/184 10360
/proc/meminfo: memFree=23730772/32951124 swapFree=67111524/67111528
[pid=10326] ppid=10324 vsize=936472 CPUtime=2804.81 cores=0,2,4,6
/proc/10326/stat : 10326 (techdemo) R 10324 10326 10191 0 -1 4202496 285001 0 0 0 280394 87 0 0 25 0 4 0 529525008 958947328 93281 33554432000 4194304 4797429 140734301244352 18446744073709551615 4424324 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10326/statm: 234118 93281 423 148 0 229047 0
[pid=10326/tid=10334] ppid=10324 vsize=936472 CPUtime=702.07 cores=0,2,4,6
/proc/10326/task/10334/stat : 10334 (techdemo) R 10324 10326 10191 0 -1 4202560 42268 0 0 0 70195 12 0 0 25 0 4 0 529525025 958947328 93281 33554432000 4194304 4797429 140734301244352 18446744073709551615 4427379 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10326/tid=10335] ppid=10324 vsize=936472 CPUtime=701.75 cores=0,2,4,6
/proc/10326/task/10335/stat : 10335 (techdemo) R 10324 10326 10191 0 -1 4202560 46807 0 0 0 70163 12 0 0 25 0 4 0 529525025 958947328 93281 33554432000 4194304 4797429 140734301244352 18446744073709551615 4428987 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10326/tid=10336] ppid=10324 vsize=936472 CPUtime=698.67 cores=0,2,4,6
/proc/10326/task/10336/stat : 10336 (techdemo) R 10324 10326 10191 0 -1 4202560 43517 0 0 0 69856 11 0 0 25 0 4 0 529525025 958947328 93281 33554432000 4194304 4797429 140734301244352 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2804.81
Current children cumulated vsize (KiB) 936472

[startup+762.3 s]
/proc/loadavg: 8.10 8.08 8.03 9/184 10362
/proc/meminfo: memFree=23726160/32951124 swapFree=67111524/67111528
[pid=10326] ppid=10324 vsize=937208 CPUtime=3044.47 cores=0,2,4,6
/proc/10326/stat : 10326 (techdemo) R 10324 10326 10191 0 -1 4202496 297200 0 0 0 304355 92 0 0 25 0 4 0 529525008 959700992 91934 33554432000 4194304 4797429 140734301244352 18446744073709551615 4424610 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10326/statm: 234302 91934 423 148 0 229231 0
[pid=10326/tid=10334] ppid=10324 vsize=937208 CPUtime=762.07 cores=0,2,4,6
/proc/10326/task/10334/stat : 10334 (techdemo) R 10324 10326 10191 0 -1 4202560 43102 0 0 0 76195 12 0 0 25 0 4 0 529525025 959700992 91934 33554432000 4194304 4797429 140734301244352 18446744073709551615 4346332 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10326/tid=10335] ppid=10324 vsize=937208 CPUtime=761.75 cores=0,2,4,6
/proc/10326/task/10335/stat : 10335 (techdemo) R 10324 10326 10191 0 -1 4202560 47549 0 0 0 76162 13 0 0 25 0 4 0 529525025 959700992 91934 33554432000 4194304 4797429 140734301244352 18446744073709551615 4428604 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10326/tid=10336] ppid=10324 vsize=937208 CPUtime=758.34 cores=0,2,4,6
/proc/10326/task/10336/stat : 10336 (techdemo) R 10324 10326 10191 0 -1 4202560 44241 0 0 0 75823 11 0 0 25 0 4 0 529525025 959700992 91934 33554432000 4194304 4797429 140734301244352 18446744073709551615 4428755 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.47
Current children cumulated vsize (KiB) 937208

[startup+822.307 s]
/proc/loadavg: 8.13 8.10 8.03 9/184 10364
/proc/meminfo: memFree=23712632/32951124 swapFree=67111524/67111528
[pid=10326] ppid=10324 vsize=940760 CPUtime=3284.16 cores=0,2,4,6
/proc/10326/stat : 10326 (techdemo) R 10324 10326 10191 0 -1 4202496 307865 0 0 0 328317 99 0 0 25 0 4 0 529525008 963338240 94985 33554432000 4194304 4797429 140734301244352 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10326/statm: 235190 94985 423 148 0 230119 0
[pid=10326/tid=10334] ppid=10324 vsize=940760 CPUtime=822.06 cores=0,2,4,6
/proc/10326/task/10334/stat : 10334 (techdemo) R 10324 10326 10191 0 -1 4202560 43817 0 0 0 82194 12 0 0 25 0 4 0 529525025 963338240 94985 33554432000 4194304 4797429 140734301244352 18446744073709551615 4424383 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10326/tid=10335] ppid=10324 vsize=940760 CPUtime=821.75 cores=0,2,4,6
/proc/10326/task/10335/stat : 10335 (techdemo) R 10324 10326 10191 0 -1 4202560 48225 0 0 0 82162 13 0 0 25 0 4 0 529525025 963338240 94985 33554432000 4194304 4797429 140734301244352 18446744073709551615 4428558 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10326/tid=10336] ppid=10324 vsize=940760 CPUtime=818.01 cores=0,2,4,6
/proc/10326/task/10336/stat : 10336 (techdemo) R 10324 10326 10191 0 -1 4202560 44847 0 0 0 81790 11 0 0 25 0 4 0 529525025 963338240 94985 33554432000 4194304 4797429 140734301244352 18446744073709551615 4429087 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.16
Current children cumulated vsize (KiB) 940760

[startup+882.301 s]
/proc/loadavg: 8.14 8.11 8.04 9/184 10365
/proc/meminfo: memFree=23688804/32951124 swapFree=67111524/67111528
[pid=10326] ppid=10324 vsize=941740 CPUtime=3523.81 cores=0,2,4,6
/proc/10326/stat : 10326 (techdemo) R 10324 10326 10191 0 -1 4202496 319270 0 0 0 352278 103 0 0 25 0 4 0 529525008 964341760 94687 33554432000 4194304 4797429 140734301244352 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10326/statm: 235435 94687 423 148 0 230364 0
[pid=10326/tid=10334] ppid=10324 vsize=941740 CPUtime=882.05 cores=0,2,4,6
/proc/10326/task/10334/stat : 10334 (techdemo) R 10324 10326 10191 0 -1 4202560 44894 0 0 0 88193 12 0 0 25 0 4 0 529525025 964341760 94687 33554432000 4194304 4797429 140734301244352 18446744073709551615 4428526 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10326/tid=10335] ppid=10324 vsize=941740 CPUtime=881.75 cores=0,2,4,6
/proc/10326/task/10335/stat : 10335 (techdemo) R 10324 10326 10191 0 -1 4202560 49472 0 0 0 88161 14 0 0 25 0 4 0 529525025 964341760 94687 33554432000 4194304 4797429 140734301244352 18446744073709551615 4647995 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10326/tid=10336] ppid=10324 vsize=941740 CPUtime=877.69 cores=0,2,4,6
/proc/10326/task/10336/stat : 10336 (techdemo) R 10324 10326 10191 0 -1 4202560 45776 0 0 0 87757 12 0 0 25 0 4 0 529525025 964341760 94687 33554432000 4194304 4797429 140734301244352 18446744073709551615 4346421 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3523.81
Current children cumulated vsize (KiB) 941740

[startup+942.301 s]
/proc/loadavg: 8.14 8.11 8.04 9/184 10367
/proc/meminfo: memFree=23676012/32951124 swapFree=67111524/67111528
[pid=10326] ppid=10324 vsize=950588 CPUtime=3763.48 cores=0,2,4,6
/proc/10326/stat : 10326 (techdemo) R 10324 10326 10191 0 -1 4202496 331447 0 0 0 376241 107 0 0 25 0 4 0 529525008 973402112 98194 33554432000 4194304 4797429 140734301244352 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10326/statm: 237647 98194 423 148 0 232576 0
[pid=10326/tid=10334] ppid=10324 vsize=950588 CPUtime=942.05 cores=0,2,4,6
/proc/10326/task/10334/stat : 10334 (techdemo) R 10324 10326 10191 0 -1 4202560 46288 0 0 0 94192 13 0 0 25 0 4 0 529525025 973402112 98194 33554432000 4194304 4797429 140734301244352 18446744073709551615 4428352 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10326/tid=10335] ppid=10324 vsize=950588 CPUtime=941.75 cores=0,2,4,6
/proc/10326/task/10335/stat : 10335 (techdemo) R 10324 10326 10191 0 -1 4202560 50706 0 0 0 94161 14 0 0 25 0 4 0 529525025 973402112 98194 33554432000 4194304 4797429 140734301244352 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10326/tid=10336] ppid=10324 vsize=950588 CPUtime=937.36 cores=0,2,4,6
/proc/10326/task/10336/stat : 10336 (techdemo) R 10324 10326 10191 0 -1 4202560 46456 0 0 0 93724 12 0 0 25 0 4 0 529525025 973402112 98194 33554432000 4194304 4797429 140734301244352 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.48
Current children cumulated vsize (KiB) 950588

[startup+1002.3 s]
/proc/loadavg: 8.09 8.11 8.04 9/184 10368
/proc/meminfo: memFree=23679340/32951124 swapFree=67111524/67111528
[pid=10326] ppid=10324 vsize=951744 CPUtime=4003.15 cores=0,2,4,6
/proc/10326/stat : 10326 (techdemo) R 10324 10326 10191 0 -1 4202496 342801 0 0 0 400204 111 0 0 25 0 4 0 529525008 974585856 99171 33554432000 4194304 4797429 140734301244352 18446744073709551615 4413859 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10326/statm: 237936 99172 423 148 0 232865 0
[pid=10326/tid=10334] ppid=10324 vsize=951744 CPUtime=1002.04 cores=0,2,4,6
/proc/10326/task/10334/stat : 10334 (techdemo) R 10324 10326 10191 0 -1 4202560 46857 0 0 0 100191 13 0 0 25 0 4 0 529525025 974585856 99172 33554432000 4194304 4797429 140734301244352 18446744073709551615 4520016 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10326/tid=10335] ppid=10324 vsize=951744 CPUtime=1001.74 cores=0,2,4,6
/proc/10326/task/10335/stat : 10335 (techdemo) R 10324 10326 10191 0 -1 4202560 51855 0 0 0 100160 14 0 0 25 0 4 0 529525025 974585856 99172 33554432000 4194304 4797429 140734301244352 18446744073709551615 4428041 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10326/tid=10336] ppid=10324 vsize=951744 CPUtime=997.04 cores=0,2,4,6
/proc/10326/task/10336/stat : 10336 (techdemo) R 10324 10326 10191 0 -1 4202560 47370 0 0 0 99692 12 0 0 25 0 4 0 529525025 974585856 99172 33554432000 4194304 4797429 140734301244352 18446744073709551615 4428405 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.15
Current children cumulated vsize (KiB) 951744

[startup+1062.3 s]
/proc/loadavg: 8.07 8.10 8.04 9/184 10370
/proc/meminfo: memFree=23675476/32951124 swapFree=67111524/67111528
[pid=10326] ppid=10324 vsize=954284 CPUtime=4242.82 cores=0,2,4,6
/proc/10326/stat : 10326 (techdemo) R 10324 10326 10191 0 -1 4202496 352489 0 0 0 424167 115 0 0 25 0 4 0 529525008 977186816 101387 33554432000 4194304 4797429 140734301244352 18446744073709551615 4422918 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10326/statm: 238571 101387 423 148 0 233500 0
[pid=10326/tid=10334] ppid=10324 vsize=954284 CPUtime=1062.04 cores=0,2,4,6
/proc/10326/task/10334/stat : 10334 (techdemo) R 10324 10326 10191 0 -1 4202560 47406 0 0 0 106191 13 0 0 25 0 4 0 529525025 977186816 101387 33554432000 4194304 4797429 140734301244352 18446744073709551615 4647854 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10326/tid=10335] ppid=10324 vsize=954284 CPUtime=1061.75 cores=0,2,4,6
/proc/10326/task/10335/stat : 10335 (techdemo) R 10324 10326 10191 0 -1 4202560 52584 0 0 0 106160 15 0 0 25 0 4 0 529525025 977186816 101387 33554432000 4194304 4797429 140734301244352 18446744073709551615 4427384 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10326/tid=10336] ppid=10324 vsize=954284 CPUtime=1056.71 cores=0,2,4,6
/proc/10326/task/10336/stat : 10336 (techdemo) R 10324 10326 10191 0 -1 4202560 48055 0 0 0 105659 12 0 0 25 0 4 0 529525025 977186816 101387 33554432000 4194304 4797429 140734301244352 18446744073709551615 4428836 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4242.82
Current children cumulated vsize (KiB) 954284

[startup+1122.3 s]
/proc/loadavg: 8.06 8.09 8.04 9/184 10372
/proc/meminfo: memFree=23660084/32951124 swapFree=67111524/67111528
[pid=10326] ppid=10324 vsize=960228 CPUtime=4482.5 cores=0,2,4,6
/proc/10326/stat : 10326 (techdemo) R 10324 10326 10191 0 -1 4202496 365113 0 0 0 448130 120 0 0 25 0 4 0 529525008 983273472 102439 33554432000 4194304 4797429 140734301244352 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10326/statm: 240057 102439 423 148 0 234986 0
[pid=10326/tid=10334] ppid=10324 vsize=960228 CPUtime=1122.04 cores=0,2,4,6
/proc/10326/task/10334/stat : 10334 (techdemo) R 10324 10326 10191 0 -1 4202560 48845 0 0 0 112190 14 0 0 25 0 4 0 529525025 983273472 102439 33554432000 4194304 4797429 140734301244352 18446744073709551615 4346439 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10326/tid=10335] ppid=10324 vsize=960228 CPUtime=1121.75 cores=0,2,4,6
/proc/10326/task/10335/stat : 10335 (techdemo) R 10324 10326 10191 0 -1 4202560 53702 0 0 0 112160 15 0 0 25 0 4 0 529525025 983273472 102439 33554432000 4194304 4797429 140734301244352 18446744073709551615 4520334 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10326/tid=10336] ppid=10324 vsize=960228 CPUtime=1116.39 cores=0,2,4,6
/proc/10326/task/10336/stat : 10336 (techdemo) R 10324 10326 10191 0 -1 4202560 48754 0 0 0 111626 13 0 0 25 0 4 0 529525025 983273472 102439 33554432000 4194304 4797429 140734301244352 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4482.5
Current children cumulated vsize (KiB) 960228

[startup+1182.3 s]
/proc/loadavg: 8.06 8.09 8.04 9/184 10373
/proc/meminfo: memFree=23662308/32951124 swapFree=67111524/67111528
[pid=10326] ppid=10324 vsize=961732 CPUtime=4722.16 cores=0,2,4,6
/proc/10326/stat : 10326 (techdemo) R 10324 10326 10191 0 -1 4202496 376152 0 0 0 472092 124 0 0 25 0 4 0 529525008 984813568 103466 33554432000 4194304 4797429 140734301244352 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10326/statm: 240433 103466 423 148 0 235362 0
[pid=10326/tid=10334] ppid=10324 vsize=961732 CPUtime=1182.03 cores=0,2,4,6
/proc/10326/task/10334/stat : 10334 (techdemo) R 10324 10326 10191 0 -1 4202560 49429 0 0 0 118189 14 0 0 25 0 4 0 529525025 984813568 103466 33554432000 4194304 4797429 140734301244352 18446744073709551615 4430115 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10326/tid=10335] ppid=10324 vsize=961732 CPUtime=1181.75 cores=0,2,4,6
/proc/10326/task/10335/stat : 10335 (techdemo) R 10324 10326 10191 0 -1 4202560 54370 0 0 0 118160 15 0 0 25 0 4 0 529525025 984813568 103466 33554432000 4194304 4797429 140734301244352 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10326/tid=10336] ppid=10324 vsize=961732 CPUtime=1176.06 cores=0,2,4,6
/proc/10326/task/10336/stat : 10336 (techdemo) R 10324 10326 10191 0 -1 4202560 49724 0 0 0 117593 13 0 0 25 0 4 0 529525025 984813568 103466 33554432000 4194304 4797429 140734301244352 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.16
Current children cumulated vsize (KiB) 961732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.81 s]
/proc/loadavg: 8.10 8.10 8.04 9/184 10374
/proc/meminfo: memFree=23646424/32951124 swapFree=67111524/67111528
[pid=10326] ppid=10324 vsize=962492 CPUtime=4800.09 cores=0,2,4,6
/proc/10326/stat : 10326 (techdemo) R 10324 10326 10191 0 -1 4202496 379292 0 0 0 479884 125 0 0 25 0 4 0 529525008 985591808 105022 33554432000 4194304 4797429 140734301244352 18446744073709551615 4351529 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10326/statm: 240623 105022 423 148 0 235552 0
[pid=10326/tid=10334] ppid=10324 vsize=962492 CPUtime=1201.54 cores=0,2,4,6
/proc/10326/task/10334/stat : 10334 (techdemo) R 10324 10326 10191 0 -1 4202560 50214 0 0 0 120140 14 0 0 25 0 4 0 529525025 985591808 105022 33554432000 4194304 4797429 140734301244352 18446744073709551615 4427408 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10326/tid=10335] ppid=10324 vsize=962492 CPUtime=1201.26 cores=0,2,4,6
/proc/10326/task/10335/stat : 10335 (techdemo) R 10324 10326 10191 0 -1 4202560 54575 0 0 0 120111 15 0 0 25 0 4 0 529525025 985591808 105022 33554432000 4194304 4797429 140734301244352 18446744073709551615 4331522 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10326/tid=10336] ppid=10324 vsize=962492 CPUtime=1195.45 cores=0,2,4,6
/proc/10326/task/10336/stat : 10336 (techdemo) R 10324 10326 10191 0 -1 4202560 49882 0 0 0 119532 13 0 0 25 0 4 0 529525025 985591808 105022 33554432000 4194304 4797429 140734301244352 18446744073709551615 4428594 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.09
Current children cumulated vsize (KiB) 962492

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): 1201.84
CPU time (s): 4800.15
CPU user time (s): 4798.87
CPU system time (s): 1.27781
CPU usage (%): 399.4
Max. virtual memory (cumulated for all children) (KiB): 1046084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.87
system time used= 1.2778
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 379294
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= 5088
involuntary context switches= 23479

runsolver used 1.9977 second user time and 4.5773 second system time

The end

Launcher Data 

Begin job on node139 at 2011-04-30 18:01:13
IDJOB=3291402
IDBENCH=84215
IDSOLVER=1584
FILE ID=node139/3291402-1304179273
RUNJOBID= node139-1304178069-10209
PBS_JOBID= 13172444
Free space on /tmp= 72900 MiB

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

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

MD5SUM BENCH= 77e0700cbaeeb3d63a4820608fc84761
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:      24350076 kB
Buffers:       2064732 kB
Cached:        5950196 kB
SwapCached:          4 kB
Active:        1032764 kB
Inactive:      7049128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24350076 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           11000 kB
Writeback:          56 kB
AnonPages:       66256 kB
Mapped:          14520 kB
Slab:           455204 kB
PageTables:       4444 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   193100 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= 72880 MiB
End job on node139 at 2011-04-30 18:21:17