Trace number 3286618

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat TechDemo-Alpha-mt? (TO) 4800.35 1202.58

General information on the benchmark

Nameapplication/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-TPP-21-step11.cnf
MD5SUM00d93f117a3253605ad3ac6a153ec61f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark234.365
Satisfiable
(Un)Satisfiability was proved
Number of variables99736
Number of clauses783991
Sum of the clauses size1708562
Maximum clause length91
Minimum clause length1
Number of clauses of size 1139
Number of clauses of size 2756759
Number of clauses of size 37636
Number of clauses of size 411357
Number of clauses of size 5745
Number of clauses of size over 57355

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-3286618-1304042814.cnf'
0.00/0.00	c -- header says num vars:          99736
0.00/0.00	c -- header says num clauses:      783991
0.99/1.02	c -- clauses added:            0 learnts,       783991 normals,            0 xors
0.99/1.02	c -- vars added      99736
0.99/1.02	c Parsing time:  0.93 s
0.99/1.02	c  N st     0         0     99736     27093    756759         0   1708423         0   no data   no data  --
1.71/1.20	c asymm  cl-useful: 180/375/26954 lits-rem:4007 time: 0.69
18.08/5.38	c Flit:  2026 Blit:  35858 bXBeca:    0 bXProp: 1026 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 16.63
18.50/5.41	c Cleaning up after failed var search:     0.11 s 
19.63/5.75	c Calc non-exist non-lernt bins v-fix:     0 done:  28741 time:  1.14 s
19.63/5.75	c Cache  BProp: 0 Set: 0 BXProp: 50 T: 0.01
19.63/5.75	c Subs w/ non-existent bins:      0 time:  0.00 s
19.63/5.77	c Replacing     1077 vars Replaced    21616 lits Time:     0.08 s 
20.00/5.81	c bin-w-bin subsume rem          976 bins  time:  0.06 s
20.00/5.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.08 s
20.37/5.95	c Removed useless bin:     102  fixed:     0  bprops:  10.00M  time:  0.39 s
20.77/6.01	c lits-rem:        32  cl-subs:      119  v-elim:  17624  v-fix:    0  time:  0.23 s
20.77/6.01	c learnt bin added due to v-elim: 0
20.77/6.02	c Finding binary XORs  T:     0.06 s  found:     130
20.77/6.04	c Replacing      130 vars Replaced     2038 lits Time:     0.08 s 
20.77/6.07	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
20.77/6.07	c Calc default polars -  time:   0.03 s pos:    6522 undec:   67248 neg:   25966
20.77/6.07	c =========================================================================================
20.77/6.07	c types(t): F = full restart, N = normal restart
20.77/6.07	c types(t): S = simplification begin/end, E = solution found
20.77/6.07	c restart types(rt): st = static, dy = dynamic
20.77/6.07	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
20.77/6.07	c  B st     0         0     35120     17601    203920         0    492047         0   no data   no data  --
23.18/6.65	c Decided on dynamic restart strategy
25.57/7.28	c  N dy    20      4121     35108     17601    204045      3792    492047    222737     59.61     15.44  --
31.16/8.68	c  N dy    49      8173     35100     17601    204093      5335    492047    270302     73.33     15.71  --
37.54/10.27	c  N dy    78     12268     35091     17601    204873      5310    493165    156682     68.67     15.86  --
43.93/11.87	c  N dy   106     16347     34904     17601    204940      9165    493165    522950     92.32     15.67  --
50.32/13.49	c  N dy   135     20454     34896     17601    204978      7706    493165    274769     88.94     15.99  --
57.92/15.37	c  N dy   163     24510     34886     17601    205019     11581    493165    635193     97.18     16.47  --
65.08/17.15	c  N dy   191     28556     34882     17601    205063      8949    493165    314766     91.92     16.36  --
67.89/17.83	c  S st   202     30000     34851     17601    205079     10337    493165    433777     95.57     16.44  --
69.09/18.17	c  S st   202     30505     34850     17601    205138     10776    493165    449927     95.57     16.44  --
69.09/18.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
69.09/18.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
97.45/25.22	c Flit:  1249 Blit:     75 bXBeca:    0 bXProp:   83 Bin: 143690 BRemL:   4170 BRemN:   1216 CBin:       0 P: 60.0M T: 27.96
97.45/25.24	c Cleaning up after failed var search:     0.06 s 
99.03/25.66	c Calc non-exist non-lernt bins v-fix:     0 done:  28189 time:  1.68 s
99.03/25.67	c Cache  BProp: 94 Set: 19 BXProp: 131 T: 0.03
99.43/25.71	c Subs w/ non-existent bins:    127 time:  0.17 s
99.43/25.76	c Replacing      214 vars Replaced    17281 lits Time:     0.19 s 
99.83/25.83	c bin-w-bin subsume rem         5422 bins  time:  0.16 s
101.43/26.29	c subs with bin:     1258  lits-rem:     30626  v-fix:    0  time:  1.85 s
101.85/26.38	c Removed useless bin:    5810  fixed:     0  bprops:   5.83M  time:  0.33 s
103.82/26.86	c lits-rem:      2126  cl-subs:     4662  v-elim:   3529  v-fix:    0  time:  1.91 s
103.82/26.86	c learnt bin added due to v-elim: 0
103.82/26.87	c vivif2 --  cl tried    16416 cl shrink      700 lits rem       1298 time: 0.05
103.82/26.89	c vivif2 --  cl tried     5061 cl shrink     3272 lits rem      20681 time: 0.09
104.62/27.07	c asymm  cl-useful: 9/1130/16035 lits-rem:30 time: 0.71
105.02/27.15	c calculated reachability. Time: 0.29
105.02/27.15	c  N dy   202     30505     31070     16033    302716      4644    412897    370755     95.57     16.44  --
105.02/27.15	c  F st   202     30505     31070     16033    302716      4644    412897    370755     95.57     16.44  --
109.81/28.32	c Decided on static restart strategy
114.21/29.45	c  N dy   221     34548     31066     16033    302758      8549    412897    600240     57.58     16.20  --
124.21/31.96	c Finding binary XORs  T:     1.08 s  found:     172
126.99/32.60	c  N dy   248     38597     30711     15860    454582     15497    409452   1130246     57.54     16.09  --
138.18/35.46	c  N dy   275     42648     30709     15860    454601     10629    409452    769550     50.99     15.77  --
146.17/37.43	c  S st   297     45757     30699     15860    454618     13645    409452    940623     65.00     15.84  --
147.75/37.82	c  S st   297     46259     30699     15860    454630     14133    409452    959926     65.00     15.84  --
147.75/37.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
147.75/37.85	c Cache  BProp: 90 Set: 0 BXProp: 0 T: 0.02
165.32/42.23	c Flit:    53 Blit:     22 bXBeca:    0 bXProp:    9 Bin:  12146 BRemL:  16077 BRemN:    364 CBin:       0 P: 60.0M T: 17.45
166.92/42.67	c Calc non-exist non-lernt bins v-fix:     0 done:  28140 time:  1.76 s
166.92/42.68	c Cache  BProp: 112 Set: 0 BXProp: 0 T: 0.05
167.33/42.76	c Subs w/ non-existent bins:   1731 time:  0.31 s
167.75/42.81	c Replacing      181 vars Replaced    16601 lits Time:     0.19 s 
167.75/42.89	c bin-w-bin subsume rem         3298 bins  time:  0.24 s
168.93/43.12	c subs with bin:      442  lits-rem:      1934  v-fix:    0  time:  0.90 s
168.93/43.17	c Removed useless bin:    2671  fixed:     0  bprops:   3.31M  time:  0.23 s
170.93/43.69	c lits-rem:      1016  cl-subs:     3255  v-elim:   2426  v-fix:    0  time:  2.06 s
170.93/43.69	c learnt bin added due to v-elim: 0
171.33/43.71	c vivif2 --  cl tried    14623 cl shrink      140 lits rem        141 time: 0.10
171.33/43.77	c vivif2 --  cl tried     9290 cl shrink     3463 lits rem      12743 time: 0.21
172.14/43.97	c asymm  cl-useful: 2/631/14520 lits-rem:2 time: 0.80
172.54/44.07	c calculated reachability. Time: 0.36
172.54/44.07	c  N dy   297     46259     29318     14520    436677      9198    385243    841397     65.00     15.84  --
183.30/46.76	c  N dy   325     50365     29318     14520    436697     13218    385243   1093394     67.60     15.80  --
194.11/49.47	c  N dy   353     54486     29312     14520    436720     17229    385243   1352530     67.40     16.00  --
203.67/51.86	c  N dy   381     58602     29310     14520    436741     12448    385243    951701     45.67     15.94  --
212.86/54.17	c  N dy   408     62607     29310     14520    436753     16376    385243   1204702     72.50     15.92  --
223.65/56.86	c  N dy   436     66728     29308     14520    436774     10640    385243    809206     63.62     15.87  --
230.44/58.53	c  S st   455     69388     29308     14520    540784     13751    386335   1188215     69.02     15.89  --
231.63/58.89	c  S st   455     69889     29308     14520    540792     14241    386335   1209644     69.02     15.89  --
232.03/58.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
232.03/58.92	c Cache  BProp: 93 Set: 0 BXProp: 0 T: 0.05
249.61/63.31	c Flit:     9 Blit:     10 bXBeca:    0 bXProp:   14 Bin:   2918 BRemL:  17028 BRemN:    330 CBin:       0 P: 60.0M T: 17.51
251.22/63.76	c Calc non-exist non-lernt bins v-fix:     0 done:  28470 time:  1.76 s
251.22/63.77	c Cache  BProp: 103 Set: 0 BXProp: 20 T: 0.06
251.62/63.86	c Subs w/ non-existent bins:    189 time:  0.38 s
252.00/63.91	c Replacing       34 vars Replaced     4821 lits Time:     0.19 s 
252.40/64.01	c bin-w-bin subsume rem          798 bins  time:  0.28 s
253.60/64.31	c subs with bin:      159  lits-rem:      2246  v-fix:    0  time:  1.22 s
253.60/64.36	c Removed useless bin:     410  fixed:     0  bprops:   2.28M  time:  0.19 s
260.41/66.06	c ORs :  30377 avg-s: 12.6 cl-sh: 37071 l-rem:  73248 b-add:    203 v-rep:   0 cl-rem: 22 avg s: 3.0 T:    3.73
271.98/68.93	c Added 51 vars  tried: 80000 time: 11.45
271.98/68.95	c ORs :     51 avg-s:  0.0 cl-sh:  4054 l-rem:   4054 b-add:    102 v-rep:   0 cl-rem: 3 avg s: 3.3 T:   11.52
271.98/68.99	c lits-rem:      1079  cl-subs:     1169  v-elim:   1462  v-fix:    0  time: 18.47 s
271.98/68.99	c learnt bin added due to v-elim: 0
272.38/69.01	c vivif2 --  cl tried    14365 cl shrink       55 lits rem        461 time: 0.10
272.38/69.09	c vivif2 --  cl tried    12494 cl shrink     2387 lits rem       7161 time: 0.32
273.20/69.29	c asymm  cl-useful: 0/956/14342 lits-rem:0 time: 0.78
273.97/69.40	c calculated reachability. Time: 0.40
273.97/69.40	c  N dy   455     69889     28892     14342    518993     12451    378163   1015058     69.02     15.89  --
273.97/69.40	c  F st   455     69889     28892     14342    518993     12451    378163   1015058     69.02     15.89  --
279.56/70.88	c Decided on static restart strategy
281.17/71.27	c Finding binary XORs  T:     1.49 s  found:       6
289.55/73.39	c  N dy   478     74447     28889     14342    518993     16795    378113   1190712     38.50     15.54  --
305.13/77.23	c  N dy   511     79275     28888     14342    519016     21505    378113   1386917     41.84     15.30  --
319.51/80.86	c  N dy   546     84422     28883     14342    519028     15644    378113   1090569     44.37     15.10  --
335.10/84.77	c  N dy   583     89821     28882     14342    519044     20907    378113   1279250     27.24     14.87  --
350.66/88.64	c  N dy   624     95667     28878     14342    519056     14877    378113   1018725     43.95     14.75  --
355.86/89.98	c Finding binary XORs  T:     1.44 s  found:      42
369.44/93.35	c  N dy   667    101856     28736     14227    569918     20312    374740   1339035     39.18     14.59  --
378.23/95.51	c  S st   688    104833     28735     14227    569925     23211    374740   1452432     47.65     14.58  --
379.83/95.94	c  S st   688    105336     28735     14227    569937     23700    374740   1469840     47.65     14.58  --
379.83/95.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
379.83/95.98	c Cache  BProp: 102 Set: 0 BXProp: 0 T: 0.05
395.81/99.94	c Flit:    20 Blit:      0 bXBeca:    0 bXProp:    0 Bin:   5727 BRemL:   4901 BRemN:    147 CBin:       0 P: 60.0M T: 15.85
397.40/100.38	c Calc non-exist non-lernt bins v-fix:     0 done:  28510 time:  1.71 s
397.40/100.39	c Cache  BProp: 102 Set: 0 BXProp: 0 T: 0.05
398.20/100.55	c Subs w/ non-existent bins:     38 time:  0.64 s
398.60/100.60	c Replacing       48 vars Replaced     8577 lits Time:     0.20 s 
399.00/100.71	c bin-w-bin subsume rem         1797 bins  time:  0.31 s
400.61/101.19	c subs with bin:      123  lits-rem:      2468  v-fix:    0  time:  1.93 s
401.02/101.23	c Removed useless bin:     157  fixed:     0  bprops:   1.79M  time:  0.17 s
412.18/104.05	c ORs :  29993 avg-s: 12.1 cl-sh:    52 l-rem:     68 b-add:     15 v-rep:   0 cl-rem: 0 avg s: nan T:    3.30
412.18/104.08	c lits-rem:       998  cl-subs:     7229  v-elim:   1375  v-fix:    0  time: 11.36 s
412.18/104.08	c learnt bin added due to v-elim: 0
412.58/104.11	c vivif2 --  cl tried    14216 cl shrink       58 lits rem         58 time: 0.10
412.98/104.21	c vivif2 --  cl tried    16169 cl shrink     2300 lits rem       3909 time: 0.44
413.79/104.41	c asymm  cl-useful: 1/598/14158 lits-rem:1 time: 0.76
414.19/104.52	c calculated reachability. Time: 0.39
414.19/104.52	c  N dy   688    105336     28508     14158    566185     16151    372364   1188963     47.65     14.58  --
434.55/109.67	c  N dy   734    112132     28508     14158    566212     22791    372364   1482134     40.55     14.28  --
454.52/114.65	c  N dy   783    119302     28498     14158    566236     17064    372364   1200077     44.79     14.03  --
476.08/120.10	c  N dy   835    126954     28491     14158    566261     24449    372364   1472054     34.43     13.80  --
492.47/124.19	c Finding binary XORs  T:     1.48 s  found:      18
501.26/126.38	c  N dy   891    135145     28442     14125    592668     17888    370872   1254253     31.70     13.61  --
526.82/132.71	c  N dy   952    143887     28440     14125    592681     26441    370872   1569328     37.43     13.52  --
553.99/139.50	c  N dy  1015    153084     28435     14125    592700     20782    370872   1315271     37.42     13.42  --
568.36/143.11	c  S st  1050    158004     28433     14125    592705     25604    370872   1498684     43.08     13.38  --
569.96/143.57	c  S st  1050    158506     28433     14125    592706     26104    370872   1511177     43.08     13.38  --
570.36/143.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
570.36/143.61	c Cache  BProp: 102 Set: 0 BXProp: 0 T: 0.06
585.94/147.52	c Flit:    13 Blit:      0 bXBeca:    0 bXProp:    4 Bin:   8043 BRemL:   6206 BRemN:     98 CBin:       0 P: 60.0M T: 15.60
587.54/147.95	c Calc non-exist non-lernt bins v-fix:     0 done:  28415 time:  1.71 s
587.54/147.96	c Cache  BProp: 101 Set: 0 BXProp: 0 T: 0.06
588.34/148.14	c Subs w/ non-existent bins:     13 time:  0.72 s
588.74/148.20	c Replacing       22 vars Replaced     7651 lits Time:     0.22 s 
589.14/148.31	c bin-w-bin subsume rem          914 bins  time:  0.32 s
590.74/148.76	c subs with bin:       66  lits-rem:       726  v-fix:    0  time:  1.79 s
591.14/148.80	c Removed useless bin:      51  fixed:     0  bprops:   1.61M  time:  0.16 s
601.92/151.58	c ORs :  29822 avg-s: 12.0 cl-sh:   295 l-rem:    308 b-add:      8 v-rep:   0 cl-rem: 1 avg s: 4.0 T:    3.33
602.32/151.61	c lits-rem:       953  cl-subs:     2080  v-elim:   1220  v-fix:    0  time: 11.24 s
602.32/151.61	c learnt bin added due to v-elim: 0
602.32/151.64	c vivif2 --  cl tried    14133 cl shrink       17 lits rem         29 time: 0.10
602.74/151.79	c vivif2 --  cl tried    23152 cl shrink     1590 lits rem       2280 time: 0.61
603.51/151.97	c asymm  cl-useful: 0/505/14121 lits-rem:0 time: 0.70
603.91/152.08	c calculated reachability. Time: 0.40
603.91/152.08	c  N dy  1050    158506     28355     14121    590797     23137    369411   1428529     43.08     13.38  --
637.89/160.51	c  N dy  1119    168650     28332     14121    607730     17437    369489   1204907     30.19     13.14  --
670.63/168.77	c  N dy  1193    179490     28326     14121    607751     28058    369489   1613771     36.57     13.05  --
681.41/171.40	c Finding binary XORs  T:     1.53 s  found:       8
708.97/178.33	c  N dy  1272    191086     28319     14100    605438     22139    368546   1363181     30.28     12.96  --
747.74/188.06	c  N dy  1356    203366     28315     14100    619706     34209    368622   1838216     40.00     12.86  --
787.28/197.97	c  N dy  1446    216375     28239     14100    625494     29402    368670   1616534     31.39     12.82  --
829.61/208.50	c  N dy  1541    230203     28237     14100    625519     24316    368670   1371118     40.49     12.71  --
851.57/214.02	c  S st  1593    237759     28235     14100    625525     31718    368670   1635465     35.03     12.69  --
853.19/214.47	c  S st  1593    238262     28235     14100    625528     32217    368670   1649771     35.03     12.69  --
853.19/214.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
853.59/214.51	c Cache  BProp: 100 Set: 0 BXProp: 0 T: 0.06
869.15/218.40	c Flit:     4 Blit:      2 bXBeca:    0 bXProp:   15 Bin:   4380 BRemL:  31656 BRemN:    153 CBin:       0 P: 60.0M T: 15.53
870.77/218.83	c Calc non-exist non-lernt bins v-fix:     0 done:  28229 time:  1.73 s
870.77/218.85	c Cache  BProp: 101 Set: 0 BXProp: 3 T: 0.06
871.55/219.08	c Subs w/ non-existent bins:     25 time:  0.93 s
871.95/219.14	c Replacing       26 vars Replaced     4902 lits Time:     0.20 s 
872.35/219.25	c bin-w-bin subsume rem          479 bins  time:  0.32 s
874.35/219.73	c subs with bin:      241  lits-rem:      2198  v-fix:    0  time:  1.91 s
874.35/219.77	c Removed useless bin:      61  fixed:     0  bprops:   1.49M  time:  0.16 s
887.93/223.10	c ORs :  29507 avg-s: 11.9 cl-sh:   487 l-rem:    513 b-add:     16 v-rep:   0 cl-rem: 2 avg s: 3.0 T:    3.31
887.93/223.13	c lits-rem:      1508  cl-subs:     2664  v-elim:   1216  v-fix:    0  time: 13.43 s
887.93/223.13	c learnt bin added due to v-elim: 0
887.93/223.16	c vivif2 --  cl tried    14083 cl shrink       26 lits rem         43 time: 0.11
888.75/223.38	c vivif2 --  cl tried    28642 cl shrink     3739 lits rem       6654 time: 0.87
889.52/223.56	c asymm  cl-useful: 0/675/14072 lits-rem:0 time: 0.71
889.92/223.67	c calculated reachability. Time: 0.40
889.92/223.67	c  N dy  1593    238262     28125     14072    590588     28612    365567   1488851     35.03     12.69  --
905.10/227.45	c Finding binary XORs  T:     1.52 s  found:      10
939.06/235.99	c  N dy  1697    253508     28084     14060    598803     23944    364890   1277363     32.28     12.49  --
990.59/248.87	c  N dy  1808    269725     28075     14060    606194     39793    364942   1849520     38.38     12.35  --
1046.11/262.75	c  N dy  1926    286968     28041     14060    616956     36162    365002   1696379     39.18     12.24  --
1105.63/277.65	c  N dy  2051    305321     28040     14060    616975     32625    365002   1568083     37.37     12.24  --
1124.41/282.30	c Finding binary XORs  T:     1.55 s  found:      23
1173.15/294.59	c  N dy  2184    324864     28016     14019    619364     27930    363464   1414216     41.52     12.23  --
1245.03/312.52	c  N dy  2321    344923     28012     14019    627212     24087    363516   1242578     38.44     12.23  --
1286.59/322.90	c  S st  2407    357395     28003     14019    635787     36329    363634   1665592     29.02     12.18  --
1288.20/323.33	c  S st  2407    357899     28003     14019    635787     36830    363634   1677495     29.02     12.18  --
1288.20/323.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
1288.20/323.37	c Cache  BProp: 99 Set: 1 BXProp: 0 T: 0.06
1303.76/327.28	c Flit:     5 Blit:      0 bXBeca:    0 bXProp:    2 Bin:   2258 BRemL:   6691 BRemN:    258 CBin:       0 P: 60.0M T: 15.63
1305.78/327.72	c Calc non-exist non-lernt bins v-fix:     0 done:  27994 time:  1.73 s
1305.78/327.74	c Cache  BProp: 99 Set: 0 BXProp: 4 T: 0.07
1306.96/328.01	c Subs w/ non-existent bins:     33 time:  1.08 s
1306.96/328.07	c Replacing       39 vars Replaced    16015 lits Time:     0.26 s 
1307.36/328.19	c bin-w-bin subsume rem         1039 bins  time:  0.35 s
1309.36/328.63	c subs with bin:      452  lits-rem:      2932  v-fix:    0  time:  1.74 s
1309.36/328.67	c Removed useless bin:     115  fixed:     0  bprops:   1.28M  time:  0.16 s
1322.94/332.00	c ORs :  29351 avg-s: 11.9 cl-sh:   811 l-rem:    964 b-add:      9 v-rep:   0 cl-rem: 0 avg s: nan T:    3.40
1335.72/335.23	c Added 47 vars  tried: 80000 time: 12.87
1335.72/335.25	c ORs :     47 avg-s:  0.0 cl-sh:  4113 l-rem:   4113 b-add:     94 v-rep:   0 cl-rem: 6 avg s: 4.0 T:   12.94
1335.72/335.28	c lits-rem:      1966  cl-subs:     2608  v-elim:   1282  v-fix:    0  time: 26.43 s
1335.72/335.28	c learnt bin added due to v-elim: 0
1336.12/335.31	c vivif2 --  cl tried    14068 cl shrink       35 lits rem        312 time: 0.11
1336.94/335.57	c vivif2 --  cl tried    33480 cl shrink     3732 lits rem       6392 time: 1.03
1337.71/335.74	c asymm  cl-useful: 1/800/14065 lits-rem:1 time: 0.69
1338.11/335.86	c calculated reachability. Time: 0.41
1338.11/335.86	c  N dy  2407    357899     27865     14065    626493     33426    362044   1582671     29.02     12.18  --
1344.11/337.33	c Finding binary XORs  T:     1.56 s  found:       4
1411.63/354.25	c  N dy  2545    378039     27839     14063    641431     28645    361972   1408153     31.32     12.06  --
1484.31/372.42	c  N dy  2682    398090     27824     14063    641467     48154    361972   2046961     31.86     12.00  --
1545.44/387.73	c Finding binary XORs  T:     1.57 s  found:      11
1556.64/390.57	c  N dy  2819    418153     27802     14035    648650     41625    360610   1866893     38.61     11.99  --
1630.94/409.18	c  N dy  2956    438276     27791     14035    653861     34857    360614   1599515     33.27     11.98  --
1709.22/428.71	c  N dy  3092    458342     27782     14035    660495     54602    360694   2280711     27.94     11.99  --
1781.52/446.82	c  N dy  3229    478434     27765     14035    664253     46799    360730   2017057     34.40     11.99  --
1811.50/454.38	c Finding binary XORs  T:     1.57 s  found:      12
1860.61/466.66	c  N dy  3366    498548     27755     14012    662690     37573    359485   1673498     32.82     12.00  --
1940.90/486.79	c  N dy  3502    518627     27752     14012    666761     57220    359507   2338488     30.73     12.01  --
2008.83/503.71	c  S st  3627    536849     27735     14012    675523     45780    359623   1959366     33.73     12.02  --
2010.81/504.22	c  S st  3627    537352     27735     14012    675528     46273    359623   1972648     33.73     12.02  --
2010.81/504.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
2010.81/504.27	c Cache  BProp: 99 Set: 0 BXProp: 0 T: 0.06
2026.41/508.20	c Flit:     8 Blit:      0 bXBeca:    0 bXProp:    4 Bin:   1672 BRemL:  11842 BRemN:    278 CBin:       0 P: 60.0M T: 15.72
2028.38/508.64	c Calc non-exist non-lernt bins v-fix:     0 done:  27720 time:  1.74 s
2028.38/508.66	c Cache  BProp: 99 Set: 0 BXProp: 5 T: 0.07
2029.98/509.01	c Subs w/ non-existent bins:     71 time:  1.41 s
2029.98/509.09	c Replacing       36 vars Replaced    16478 lits Time:     0.31 s 
2030.80/509.22	c bin-w-bin subsume rem         1171 bins  time:  0.37 s
2033.18/509.85	c subs with bin:      503  lits-rem:      3470  v-fix:    0  time:  2.50 s
2033.18/509.88	c Removed useless bin:      73  fixed:     0  bprops:   1.15M  time:  0.16 s
2047.56/513.44	c ORs :  29038 avg-s: 11.6 cl-sh:   132 l-rem:    245 b-add:     18 v-rep:   0 cl-rem: 2 avg s: 7.0 T:    3.44
2047.56/513.48	c lits-rem:      2397  cl-subs:     3036  v-elim:   1195  v-fix:    0  time: 14.36 s
2047.56/513.48	c learnt bin added due to v-elim: 0
2047.96/513.51	c vivif2 --  cl tried    14011 cl shrink       45 lits rem        236 time: 0.12
2049.15/513.86	c vivif2 --  cl tried    42441 cl shrink     4939 lits rem       7249 time: 1.38
2049.95/514.04	c asymm  cl-useful: 0/466/14000 lits-rem:0 time: 0.73
2050.35/514.16	c calculated reachability. Time: 0.41
2050.35/514.16	c  N dy  3627    537352     27590     14000    660516     42404    357474   1850656     33.73     12.02  --
2050.35/514.16	c  F st  3627    537352     27590     14000    660516     42404    357474   1850656     33.73     12.02  --
2058.34/516.11	c Decided on static restart strategy
2087.92/523.56	c Finding binary XORs  T:     1.57 s  found:       1
2135.04/535.36	c  N dy  3756    557381     27575     13998    664548     31613    357215   1444246     32.71     11.99  --
2210.53/554.20	c  N dy  3893    577527     27563     13998    671190     51349    357217   2085234     40.86     11.96  --
2288.42/573.71	c  N dy  4030    597588     27554     13998    674447     39670    357271   1700391     30.04     11.95  --
2369.91/594.16	c  N dy  4166    617716     27545     13998    680574     59424    357455   2347357     34.51     11.94  --
2392.29/599.78	c Finding binary XORs  T:     1.55 s  found:      13
2450.60/614.35	c  N dy  4303    637803     27535     13977    678202     46370    356257   1885262     32.36     11.92  --
2536.10/635.76	c  N dy  4439    657908     27499     13977    686811     66074    356345   2515487     30.73     11.90  --
2613.19/655.09	c  N dy  4575    677995     27484     13977    692255     52401    356391   2055469     31.80     11.87  --
2697.87/676.27	c  N dy  4711    698045     27479     13977    694539     37763    356405   1609889     32.70     11.86  --
2729.02/684.02	c Finding binary XORs  T:     1.58 s  found:       7
2778.18/696.34	c  N dy  4847    718123     27470     13944    694837     56982    355159   2258707     34.32     11.86  --
2864.84/718.08	c  N dy  4983    738175     27457     13944    697445     41319    355163   1699330     35.27     11.86  --
2947.53/738.79	c  N dy  5119    758191     27448     13944    705984     60964    355313   2329241     36.60     11.86  --
3015.46/755.78	c Finding binary XORs  T:     1.59 s  found:       6
3036.61/761.05	c  N dy  5256    778297     27442     13925    705822     44181    354400   1789765     32.57     11.85  --
3124.91/783.10	c  N dy  5392    798371     27431     13925    708117     63825    354424   2395584     31.28     11.85  --
3161.23/792.23	c  S st  5444    806029     27429     13925    710424     71285    354428   2634343     29.39     11.85  --
3163.63/792.89	c  S st  5444    806530     27429     13925    710425     71784    354428   2646175     29.39     11.85  --
3164.03/792.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
3164.03/792.94	c Cache  BProp: 111 Set: 0 BXProp: 0 T: 0.06
3180.41/797.07	c Flit:     7 Blit:      0 bXBeca:    0 bXProp:    1 Bin:    895 BRemL:  14756 BRemN:    362 CBin:       0 P: 60.2M T: 16.50
3182.03/797.49	c Calc non-exist non-lernt bins v-fix:     0 done:  27420 time:  1.68 s
3182.43/797.51	c Cache  BProp: 111 Set: 0 BXProp: 0 T: 0.06
3184.41/798.09	c Subs w/ non-existent bins:     26 time:  2.33 s
3184.81/798.18	c Replacing       28 vars Replaced    10588 lits Time:     0.32 s 
3185.60/798.33	c bin-w-bin subsume rem         1528 bins  time:  0.40 s
3189.20/799.28	c subs with bin:      637  lits-rem:      5951  v-fix:    0  time:  3.77 s
3189.60/799.32	c Removed useless bin:      86  fixed:     0  bprops:   1.10M  time:  0.16 s
3201.18/802.27	c ORs :  28828 avg-s: 11.5 cl-sh:  1701 l-rem:   3516 b-add:     31 v-rep:   0 cl-rem: 5 avg s: 4.0 T:    3.60
3211.97/804.93	c Added 8 vars  tried: 80000 time: 10.60
3211.97/804.94	c ORs :      8 avg-s:  0.0 cl-sh:  1362 l-rem:   1362 b-add:     16 v-rep:   0 cl-rem: 2 avg s: 4.0 T:   10.63
3211.97/804.99	c lits-rem:      1101  cl-subs:     6126  v-elim:   1259  v-fix:    0  time: 22.65 s
3211.97/804.99	c learnt bin added due to v-elim: 0
3212.37/805.02	c vivif2 --  cl tried    13929 cl shrink       42 lits rem        135 time: 0.11
3214.76/805.60	c vivif2 --  cl tried    64778 cl shrink     5263 lits rem      10939 time: 2.33
3215.16/805.77	c asymm  cl-useful: 1/353/13920 lits-rem:1 time: 0.69
3215.56/805.89	c calculated reachability. Time: 0.41
3215.96/805.90	c  N dy  5444    806530     27233     13920    691129     64690    352531   2457238     29.39     11.85  --
3285.87/823.41	c  N dy  5580    826657     27220     13920    697356     47381    352549   1865431     27.57     11.84  --
3357.79/841.44	c  N dy  5716    846683     27201     13920    699626     67067    352635   2535204     30.02     11.86  --
3385.33/848.30	c Finding binary XORs  T:     1.56 s  found:       5
3426.87/858.77	c  N dy  5851    866732     27197     13896    701034     48553    351890   1887843     29.74     11.91  --
3493.59/875.49	c  N dy  5985    886741     27196     13896    703788     68202    351902   2603034     25.38     11.97  --
3560.69/892.27	c  N dy  6120    906796     27196     13896    706727     48696    351904   1887571     40.84     12.00  --
3631.40/909.94	c  N dy  6255    926887     27189     13896    710363     68501    351932   2560430     31.87     12.03  --
3705.69/928.56	c  N dy  6389    946909     27189     13896    712101     47973    351936   1882936     33.76     12.11  --
3757.22/941.47	c Finding binary XORs  T:     1.57 s  found:       3
3780.39/947.26	c  N dy  6524    967053     27188     13893    715132     67817    351702   2594737     32.87     12.17  --
3853.90/965.65	c  N dy  6657    987065     27177     13893    717649     46095    351702   1754178     29.20     12.22  --
3924.61/983.36	c  N dy  6792   1007185     27170     13893    722161     65903    351730   2402797     34.66     12.25  --
3998.09/1001.78	c  N dy  6926   1027190     27170     13893    722169     43258    351730   1659154     35.07     12.28  --
4063.60/1018.10	c  N dy  7060   1047225     27164     13893    728568     63010    351780   2371555     29.91     12.33  --
4141.90/1037.79	c  N dy  7193   1067344     27162     13893    728570     82738    351780   3042620     37.66     12.38  --
4147.90/1039.25	c Finding binary XORs  T:     1.60 s  found:       5
4214.21/1055.88	c  N dy  7327   1087494     27159     13881    731268     59198    351148   2206880     29.79     12.40  --
4288.90/1074.58	c  N dy  7459   1107503     27159     13881    731269     78878    351148   2937461     39.57     12.45  --
4365.99/1093.87	c  N dy  7592   1127625     27152     13881    737307     54329    351158   1996891     32.88     12.49  --
4435.89/1111.36	c  N dy  7725   1147633     27152     13881    738991     73972    351158   2726609     33.54     12.53  --
4514.99/1131.13	c Finding binary XORs  T:     1.60 s  found:       4
4519.39/1132.27	c  N dy  7858   1167698     27146     13876    740411     48445    350781   1789715     27.48     12.56  --
4592.92/1150.63	c  N dy  7993   1187812     27145     13876    742426     68256    350783   2473453     26.83     12.58  --
4678.39/1172.05	c  N dy  8127   1207911     27141     13876    745998     87819    350811   3125689     29.61     12.60  --
4687.58/1174.30	c  S st  8140   1209795     27141     13876    745999     89675    350811   3182483     30.16     12.60  --
4689.98/1174.99	c  S st  8140   1210295     27141     13876    746001     90171    350811   3194868     30.16     12.60  --
4690.38/1175.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
4690.38/1175.04	c Cache  BProp: 121 Set: 0 BXProp: 0 T: 0.07
4707.17/1179.21	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:    3 Bin:   1129 BRemL:  23388 BRemN:    194 CBin:       0 P: 60.1M T: 16.64
4708.75/1179.66	c Calc non-exist non-lernt bins v-fix:     0 done:  27139 time:  1.82 s
4708.75/1179.68	c Cache  BProp: 121 Set: 0 BXProp: 0 T: 0.08
4711.94/1180.49	c Subs w/ non-existent bins:     52 time:  3.21 s
4712.74/1180.60	c Replacing       20 vars Replaced    12527 lits Time:     0.43 s 
4713.15/1180.78	c bin-w-bin subsume rem         1305 bins  time:  0.43 s
4718.75/1182.12	c subs with bin:      933  lits-rem:      6192  v-fix:    0  time:  5.34 s
4718.75/1182.16	c Removed useless bin:      86  fixed:     0  bprops:   1.10M  time:  0.16 s
4732.73/1185.63	c ORs :  28559 avg-s: 11.5 cl-sh:  1130 l-rem:   1177 b-add:     16 v-rep:   0 cl-rem: 5 avg s: 3.2 T:    4.00
4743.52/1188.31	c Added 27 vars  tried: 80000 time: 10.64
4743.52/1188.33	c ORs :     27 avg-s:  0.0 cl-sh:  3410 l-rem:   3410 b-add:     54 v-rep:   0 cl-rem: 1 avg s: 3.0 T:   10.74
4743.52/1188.40	c lits-rem:       336  cl-subs:     8934  v-elim:   1156  v-fix:    0  time: 24.91 s
4743.52/1188.40	c learnt bin added due to v-elim: 0
4743.92/1188.43	c vivif2 --  cl tried    13875 cl shrink       35 lits rem        129 time: 0.12
4747.11/1189.28	c vivif2 --  cl tried    80314 cl shrink    10584 lits rem      15613 time: 3.40
4747.91/1189.47	c asymm  cl-useful: 2/369/13858 lits-rem:2 time: 0.76
4748.71/1189.60	c calculated reachability. Time: 0.44
4748.71/1189.60	c  N dy  8140   1210295     27053     13858    720317     80284    349305   2830530     30.16     12.60  --

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-3286618-1304042814/watcher-3286618-1304042814 -o /tmp/evaluation-result-3286618-1304042814/solver-3286618-1304042814 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3286618-1304042814.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: 6.31 6.60 7.34 5/180 27876
/proc/meminfo: memFree=23427176/32951124 swapFree=67111524/67111528
[pid=27876] ppid=27874 vsize=24212 CPUtime=0 cores=0,2,4,6
/proc/27876/stat : 27876 (techdemo) R 27874 27876 26705 0 -1 4202496 1333 0 0 0 0 0 0 0 23 0 1 0 515879180 24793088 1272 33554432000 4194304 4797429 140736796376816 18446744073709551615 4367912 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/27876/statm: 6053 1273 341 148 0 982 0

[startup+0.099413 s]
/proc/loadavg: 6.31 6.60 7.34 5/180 27876
/proc/meminfo: memFree=23427176/32951124 swapFree=67111524/67111528
[pid=27876] ppid=27874 vsize=101588 CPUtime=0.09 cores=0,2,4,6
/proc/27876/stat : 27876 (techdemo) R 27874 27876 26705 0 -1 4202496 23682 0 0 0 6 3 0 0 23 0 1 0 515879180 104026112 16826 33554432000 4194304 4797429 140736796376816 18446744073709551615 212687372757 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/27876/statm: 25397 16826 347 148 0 20326 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 101588

[startup+0.100412 s]
/proc/loadavg: 6.31 6.60 7.34 5/180 27876
/proc/meminfo: memFree=23427176/32951124 swapFree=67111524/67111528
[pid=27876] ppid=27874 vsize=105548 CPUtime=0.09 cores=0,2,4,6
/proc/27876/stat : 27876 (techdemo) R 27874 27876 26705 0 -1 4202496 23864 0 0 0 6 3 0 0 23 0 1 0 515879180 108081152 17008 33554432000 4194304 4797429 140736796376816 18446744073709551615 212687372466 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/27876/statm: 26387 17010 347 148 0 21316 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 105548

[startup+0.300377 s]
/proc/loadavg: 6.31 6.60 7.34 5/180 27876
/proc/meminfo: memFree=23427176/32951124 swapFree=67111524/67111528
[pid=27876] ppid=27874 vsize=205156 CPUtime=0.29 cores=0,2,4,6
/proc/27876/stat : 27876 (techdemo) R 27874 27876 26705 0 -1 4202496 44111 0 0 0 24 5 0 0 25 0 1 0 515879180 210079744 29935 33554432000 4194304 4797429 140736796376816 18446744073709551615 212687336133 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/27876/statm: 51322 29936 350 148 0 46251 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 205156

[startup+0.700303 s]
/proc/loadavg: 6.31 6.60 7.34 5/180 27876
/proc/meminfo: memFree=23427176/32951124 swapFree=67111524/67111528
[pid=27876] ppid=27874 vsize=238552 CPUtime=0.69 cores=0,2,4,6
/proc/27876/stat : 27876 (techdemo) R 27874 27876 26705 0 -1 4202496 55511 0 0 0 62 7 0 0 25 0 1 0 515879180 244277248 41310 33554432000 4194304 4797429 140736796376816 18446744073709551615 212687336133 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/27876/statm: 59638 41310 350 148 0 54567 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 238552

[startup+1.50012 s]
/proc/loadavg: 6.31 6.60 7.34 6/181 27877
/proc/meminfo: memFree=23222736/32951124 swapFree=67111524/67111528
[pid=27876] ppid=27874 vsize=904212 CPUtime=2.9 cores=0,2,4,6
/proc/27876/stat : 27876 (techdemo) R 27874 27876 26705 0 -1 4202496 70560 0 0 0 280 10 0 0 18 0 4 0 515879180 925913088 55313 33554432000 4194304 4797429 140736796376816 18446744073709551615 4428910 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27876/statm: 226053 55313 384 148 0 220982 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 904212

[startup+3.10083 s]
/proc/loadavg: 6.45 6.62 7.34 9/184 27880
/proc/meminfo: memFree=23205228/32951124 swapFree=67111524/67111528
[pid=27876] ppid=27874 vsize=905668 CPUtime=9.29 cores=0,2,4,6
/proc/27876/stat : 27876 (techdemo) R 27874 27876 26705 0 -1 4202496 70891 0 0 0 919 10 0 0 21 0 4 0 515879180 927404032 55644 33554432000 4194304 4797429 140736796376816 18446744073709551615 4428011 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27876/statm: 226417 55644 385 148 0 221346 0
[pid=27876/tid=27878] ppid=27874 vsize=905668 CPUtime=2.06 cores=0,2,4,6
/proc/27876/task/27878/stat : 27878 (techdemo) R 27874 27876 26705 0 -1 4202560 998 0 0 0 206 0 0 0 21 0 4 0 515879283 927404032 55644 33554432000 4194304 4797429 140736796376816 18446744073709551615 4427228 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27876/tid=27879] ppid=27874 vsize=905668 CPUtime=2.06 cores=0,2,4,6
/proc/27876/task/27879/stat : 27879 (techdemo) R 27874 27876 26705 0 -1 4202560 1347 0 0 0 206 0 0 0 21 0 4 0 515879283 927404032 55644 33554432000 4194304 4797429 140736796376816 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27876/tid=27880] ppid=27874 vsize=905668 CPUtime=2.06 cores=0,2,4,6
/proc/27876/task/27880/stat : 27880 (techdemo) R 27874 27876 26705 0 -1 4202560 1185 0 0 0 206 0 0 0 20 0 4 0 515879283 927404032 55644 33554432000 4194304 4797429 140736796376816 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 9.29
Current children cumulated vsize (KiB) 905668

[startup+6.30024 s]
/proc/loadavg: 6.45 6.62 7.34 9/184 27880
/proc/meminfo: memFree=23205096/32951124 swapFree=67111524/67111528
[pid=27876] ppid=27874 vsize=959472 CPUtime=21.96 cores=0,2,4,6
/proc/27876/stat : 27876 (techdemo) R 27874 27876 26705 0 -1 4202496 124944 0 0 0 2164 32 0 0 18 0 4 0 515879180 982499328 108877 33554432000 4194304 4797429 140736796376816 18446744073709551615 4331610 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27876/statm: 239868 108877 413 148 0 234797 0
[pid=27876/tid=27878] ppid=27874 vsize=959472 CPUtime=5.23 cores=0,2,4,6
/proc/27876/task/27878/stat : 27878 (techdemo) R 27874 27876 26705 0 -1 4202560 15976 0 0 0 516 7 0 0 18 0 4 0 515879283 982499328 108877 33554432000 4194304 4797429 140736796376816 18446744073709551615 4342068 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27876/tid=27879] ppid=27874 vsize=959472 CPUtime=5.23 cores=0,2,4,6
/proc/27876/task/27879/stat : 27879 (techdemo) R 27874 27876 26705 0 -1 4202560 15072 0 0 0 517 6 0 0 18 0 4 0 515879283 982499328 108877 33554432000 4194304 4797429 140736796376816 18446744073709551615 4425966 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27876/tid=27880] ppid=27874 vsize=959472 CPUtime=5.2 cores=0,2,4,6
/proc/27876/task/27880/stat : 27880 (techdemo) R 27874 27876 26705 0 -1 4202560 16112 0 0 0 513 7 0 0 18 0 4 0 515879283 982499328 108877 33554432000 4194304 4797429 140736796376816 18446744073709551615 4425918 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 21.96
Current children cumulated vsize (KiB) 959472

[startup+12.7011 s]
/proc/loadavg: 6.76 6.68 7.35 9/184 27880
/proc/meminfo: memFree=22914804/32951124 swapFree=67111524/67111528
[pid=27876] ppid=27874 vsize=1147008 CPUtime=47.53 cores=0,2,4,6
/proc/27876/stat : 27876 (techdemo) R 27874 27876 26705 0 -1 4202496 150234 0 0 0 4715 38 0 0 25 0 4 0 515879180 1174536192 129786 33554432000 4194304 4797429 140736796376816 18446744073709551615 4415763 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27876/statm: 286752 129786 418 148 0 281681 0
[pid=27876/tid=27878] ppid=27874 vsize=1147008 CPUtime=11.63 cores=0,2,4,6
/proc/27876/task/27878/stat : 27878 (techdemo) R 27874 27876 26705 0 -1 4202560 22033 0 0 0 1154 9 0 0 25 0 4 0 515879283 1174536192 129786 33554432000 4194304 4797429 140736796376816 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27876/tid=27879] ppid=27874 vsize=1147008 CPUtime=11.63 cores=0,2,4,6
/proc/27876/task/27879/stat : 27879 (techdemo) R 27874 27876 26705 0 -1 4202560 22032 0 0 0 1156 7 0 0 25 0 4 0 515879283 1174536192 129786 33554432000 4194304 4797429 140736796376816 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27876/tid=27880] ppid=27874 vsize=1147008 CPUtime=11.57 cores=0,2,4,6
/proc/27876/task/27880/stat : 27880 (techdemo) R 27874 27876 26705 0 -1 4202560 23628 0 0 0 1148 9 0 0 25 0 4 0 515879283 1174536192 129786 33554432000 4194304 4797429 140736796376816 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 47.53
Current children cumulated vsize (KiB) 1147008

[startup+25.5007 s]
/proc/loadavg: 6.95 6.72 7.36 9/184 27881
/proc/meminfo: memFree=22501360/32951124 swapFree=67111524/67111528
[pid=27876] ppid=27874 vsize=1514652 CPUtime=98.63 cores=0,2,4,6
/proc/27876/stat : 27876 (techdemo) R 27874 27876 26705 0 -1 4202496 245500 0 0 0 9802 61 0 0 25 0 4 0 515879180 1551003648 223907 33554432000 4194304 4797429 140736796376816 18446744073709551615 212687336481 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27876/statm: 378663 223907 419 148 0 373592 0
[pid=27876/tid=27878] ppid=27874 vsize=1514652 CPUtime=24.42 cores=0,2,4,6
/proc/27876/task/27878/stat : 27878 (techdemo) R 27874 27876 26705 0 -1 4202560 46919 0 0 0 2428 14 0 0 25 0 4 0 515879283 1551003648 223907 33554432000 4194304 4797429 140736796376816 18446744073709551615 4425054 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27876/tid=27879] ppid=27874 vsize=1514652 CPUtime=24.43 cores=0,2,4,6
/proc/27876/task/27879/stat : 27879 (techdemo) R 27874 27876 26705 0 -1 4202560 45942 0 0 0 2430 13 0 0 25 0 4 0 515879283 1551003648 223907 33554432000 4194304 4797429 140736796376816 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27876/tid=27880] ppid=27874 vsize=1514652 CPUtime=24.29 cores=0,2,4,6
/proc/27876/task/27880/stat : 27880 (techdemo) R 27874 27876 26705 0 -1 4202560 47807 0 0 0 2414 15 0 0 25 0 4 0 515879283 1551003648 223907 33554432000 4194304 4797429 140736796376816 18446744073709551615 4687059 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 98.63
Current children cumulated vsize (KiB) 1514652

[startup+51.1011 s]
/proc/loadavg: 7.31 6.82 7.37 9/184 27881
/proc/meminfo: memFree=22362392/32951124 swapFree=67111524/67111528
[pid=27876] ppid=27874 vsize=1643540 CPUtime=200.88 cores=0,2,4,6
/proc/27876/stat : 27876 (techdemo) R 27874 27876 26705 0 -1 4202496 282236 0 0 0 20017 71 0 0 25 0 4 0 515879180 1682984960 251837 33554432000 4194304 4797429 140736796376816 18446744073709551615 4424170 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27876/statm: 410885 251837 421 148 0 405814 0
[pid=27876/tid=27878] ppid=27874 vsize=1643540 CPUtime=50.03 cores=0,2,4,6
/proc/27876/task/27878/stat : 27878 (techdemo) R 27874 27876 26705 0 -1 4202560 55562 0 0 0 4986 17 0 0 25 0 4 0 515879283 1682984960 251837 33554432000 4194304 4797429 140736796376816 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27876/tid=27879] ppid=27874 vsize=1643540 CPUtime=50.02 cores=0,2,4,6
/proc/27876/task/27879/stat : 27879 (techdemo) R 27874 27876 26705 0 -1 4202560 55939 0 0 0 4986 16 0 0 25 0 4 0 515879283 1682984960 251837 33554432000 4194304 4797429 140736796376816 18446744073709551615 4241649 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27876/tid=27880] ppid=27874 vsize=1643540 CPUtime=49.74 cores=0,2,4,6
/proc/27876/task/27880/stat : 27880 (techdemo) R 27874 27876 26705 0 -1 4202560 54576 0 0 0 4958 16 0 0 25 0 4 0 515879283 1682984960 251837 33554432000 4194304 4797429 140736796376816 18446744073709551615 4427317 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 200.88
Current children cumulated vsize (KiB) 1643540

[startup+102.307 s]
/proc/loadavg: 7.72 7.02 7.41 9/184 27883
/proc/meminfo: memFree=22260896/32951124 swapFree=67111524/67111528
[pid=27876] ppid=27874 vsize=1699420 CPUtime=405.41 cores=0,2,4,6
/proc/27876/stat : 27876 (techdemo) R 27874 27876 26705 0 -1 4202496 310866 0 0 0 40462 79 0 0 25 0 4 0 515879180 1740206080 272930 33554432000 4194304 4797429 140736796376816 18446744073709551615 4528213 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27876/statm: 424855 272930 422 148 0 419784 0
[pid=27876/tid=27878] ppid=27874 vsize=1699420 CPUtime=101.23 cores=0,2,4,6
/proc/27876/task/27878/stat : 27878 (techdemo) R 27874 27876 26705 0 -1 4202560 59387 0 0 0 10105 18 0 0 25 0 4 0 515879283 1740206080 272930 33554432000 4194304 4797429 140736796376816 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27876/tid=27879] ppid=27874 vsize=1699420 CPUtime=100.98 cores=0,2,4,6
/proc/27876/task/27879/stat : 27879 (techdemo) R 27874 27876 26705 0 -1 4202560 62484 0 0 0 10081 17 0 0 25 0 4 0 515879283 1740206080 272930 33554432000 4194304 4797429 140736796376816 18446744073709551615 212687340389 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27876/tid=27880] ppid=27874 vsize=1699420 CPUtime=100.91 cores=0,2,4,6
/proc/27876/task/27880/stat : 27880 (techdemo) R 27874 27876 26705 0 -1 4202560 59134 0 0 0 10074 17 0 0 25 0 4 0 515879283 1740206080 272930 33554432000 4194304 4797429 140736796376816 18446744073709551615 4423635 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 405.41
Current children cumulated vsize (KiB) 1699420

[startup+162.301 s]
/proc/loadavg: 8.03 7.23 7.45 9/184 27884
/proc/meminfo: memFree=22214248/32951124 swapFree=67111524/67111528
[pid=27876] ppid=27874 vsize=1716052 CPUtime=645.06 cores=0,2,4,6
/proc/27876/stat : 27876 (techdemo) R 27874 27876 26705 0 -1 4202496 326172 0 0 0 64422 84 0 0 25 0 4 0 515879180 1757237248 279674 33554432000 4194304 4797429 140736796376816 18446744073709551615 4422886 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27876/statm: 429013 279674 422 148 0 423942 0
[pid=27876/tid=27878] ppid=27874 vsize=1716052 CPUtime=161.21 cores=0,2,4,6
/proc/27876/task/27878/stat : 27878 (techdemo) R 27874 27876 26705 0 -1 4202560 63066 0 0 0 16103 18 0 0 25 0 4 0 515879283 1757237248 279674 33554432000 4194304 4797429 140736796376816 18446744073709551615 4427384 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27876/tid=27879] ppid=27874 vsize=1716052 CPUtime=160.66 cores=0,2,4,6
/proc/27876/task/27879/stat : 27879 (techdemo) R 27874 27876 26705 0 -1 4202560 66170 0 0 0 16047 19 0 0 25 0 4 0 515879283 1757237248 279674 33554432000 4194304 4797429 140736796376816 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27876/tid=27880] ppid=27874 vsize=1716052 CPUtime=160.9 cores=0,2,4,6
/proc/27876/task/27880/stat : 27880 (techdemo) R 27874 27876 26705 0 -1 4202560 61386 0 0 0 16073 17 0 0 25 0 4 0 515879283 1757237248 279674 33554432000 4194304 4797429 140736796376816 18446744073709551615 4427317 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 645.06
Current children cumulated vsize (KiB) 1716052

[startup+222.301 s]
/proc/loadavg: 8.13 7.40 7.49 9/184 27886
/proc/meminfo: memFree=22177764/32951124 swapFree=67111524/67111528
[pid=27876] ppid=27874 vsize=1736764 CPUtime=884.73 cores=0,2,4,6
/proc/27876/stat : 27876 (techdemo) R 27874 27876 26705 0 -1 4202496 340666 0 0 0 88384 89 0 0 25 0 4 0 515879180 1778446336 286586 33554432000 4194304 4797429 140736796376816 18446744073709551615 4531994 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27876/statm: 434191 286586 422 148 0 429120 0
[pid=27876/tid=27878] ppid=27874 vsize=1736764 CPUtime=221.22 cores=0,2,4,6
/proc/27876/task/27878/stat : 27878 (techdemo) R 27874 27876 26705 0 -1 4202560 66093 0 0 0 22103 19 0 0 25 0 4 0 515879283 1778446336 286586 33554432000 4194304 4797429 140736796376816 18446744073709551615 4427384 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27876/tid=27879] ppid=27874 vsize=1736764 CPUtime=220.33 cores=0,2,4,6
/proc/27876/task/27879/stat : 27879 (techdemo) R 27874 27876 26705 0 -1 4202560 69372 0 0 0 22013 20 0 0 25 0 4 0 515879283 1778446336 286586 33554432000 4194304 4797429 140736796376816 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27876/tid=27880] ppid=27874 vsize=1736764 CPUtime=220.91 cores=0,2,4,6
/proc/27876/task/27880/stat : 27880 (techdemo) R 27874 27876 26705 0 -1 4202560 64714 0 0 0 22072 19 0 0 25 0 4 0 515879283 1778446336 286586 33554432000 4194304 4797429 140736796376816 18446744073709551615 4531999 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 884.73
Current children cumulated vsize (KiB) 1736764

[startup+282.301 s]
/proc/loadavg: 8.16 7.54 7.53 9/184 27887
/proc/meminfo: memFree=22164224/32951124 swapFree=67111524/67111528
[pid=27876] ppid=27874 vsize=1746200 CPUtime=1124.41 cores=0,2,4,6
/proc/27876/stat : 27876 (techdemo) R 27874 27876 26705 0 -1 4202496 352675 0 0 0 112348 93 0 0 25 0 4 0 515879180 1788108800 290394 33554432000 4194304 4797429 140736796376816 18446744073709551615 4638469 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27876/statm: 436550 290394 422 148 0 431479 0
[pid=27876/tid=27878] ppid=27874 vsize=1746200 CPUtime=281.22 cores=0,2,4,6

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

[pid=27876] ppid=27874 vsize=1784272 CPUtime=2802.12 cores=0,2,4,6
/proc/27876/stat : 27876 (techdemo) R 27874 27876 26705 0 -1 4202496 422204 0 0 0 280096 116 0 0 25 0 4 0 515879180 1827094528 304588 33554432000 4194304 4797429 140736796376816 18446744073709551615 4424652 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27876/statm: 446068 304588 422 148 0 440997 0
[pid=27876/tid=27878] ppid=27874 vsize=1784272 CPUtime=700.38 cores=0,2,4,6
/proc/27876/task/27878/stat : 27878 (techdemo) R 27874 27876 26705 0 -1 4202560 84219 0 0 0 70015 23 0 0 25 0 4 0 515879283 1827094528 304588 33554432000 4194304 4797429 140736796376816 18446744073709551615 4524360 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27876/tid=27879] ppid=27874 vsize=1784272 CPUtime=698.58 cores=0,2,4,6
/proc/27876/task/27879/stat : 27879 (techdemo) R 27874 27876 26705 0 -1 4202560 87425 0 0 0 69833 25 0 0 25 0 4 0 515879283 1827094528 304588 33554432000 4194304 4797429 140736796376816 18446744073709551615 4522053 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27876/tid=27880] ppid=27874 vsize=1784272 CPUtime=700.92 cores=0,2,4,6
/proc/27876/task/27880/stat : 27880 (techdemo) R 27874 27876 26705 0 -1 4202560 81096 0 0 0 70069 23 0 0 25 0 4 0 515879283 1827094528 304588 33554432000 4194304 4797429 140736796376816 18446744073709551615 4427384 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2802.12
Current children cumulated vsize (KiB) 1784272

[startup+762.306 s]
/proc/loadavg: 8.07 7.96 7.74 9/184 27900
/proc/meminfo: memFree=22071340/32951124 swapFree=67111524/67111528
[pid=27876] ppid=27874 vsize=1854476 CPUtime=3041.82 cores=0,2,4,6
/proc/27876/stat : 27876 (techdemo) R 27874 27876 26705 0 -1 4202496 430617 0 0 0 304063 119 0 0 25 0 4 0 515879180 1898983424 305038 33554432000 4194304 4797429 140736796376816 18446744073709551615 4423730 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27876/statm: 463619 305038 422 148 0 458548 0
[pid=27876/tid=27878] ppid=27874 vsize=1854476 CPUtime=760.06 cores=0,2,4,6
/proc/27876/task/27878/stat : 27878 (techdemo) R 27874 27876 26705 0 -1 4202560 86025 0 0 0 75982 24 0 0 25 0 4 0 515879283 1898983424 305038 33554432000 4194304 4797429 140736796376816 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27876/tid=27879] ppid=27874 vsize=1854476 CPUtime=758.58 cores=0,2,4,6
/proc/27876/task/27879/stat : 27879 (techdemo) R 27874 27876 26705 0 -1 4202560 88452 0 0 0 75833 25 0 0 25 0 4 0 515879283 1898983424 305038 33554432000 4194304 4797429 140736796376816 18446744073709551615 4428011 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27876/tid=27880] ppid=27874 vsize=1854476 CPUtime=760.93 cores=0,2,4,6
/proc/27876/task/27880/stat : 27880 (techdemo) R 27874 27876 26705 0 -1 4202560 83548 0 0 0 76070 23 0 0 25 0 4 0 515879283 1898983424 305038 33554432000 4194304 4797429 140736796376816 18446744073709551615 4226098 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3041.82
Current children cumulated vsize (KiB) 1854476

[startup+822.301 s]
/proc/loadavg: 8.09 7.98 7.76 9/184 27902
/proc/meminfo: memFree=22052340/32951124 swapFree=67111524/67111528
[pid=27876] ppid=27874 vsize=1867460 CPUtime=3281.48 cores=0,2,4,6
/proc/27876/stat : 27876 (techdemo) R 27874 27876 26705 0 -1 4202496 441146 0 0 0 328026 122 0 0 25 0 4 0 515879180 1912279040 309177 33554432000 4194304 4797429 140736796376816 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27876/statm: 466865 309177 422 148 0 461794 0
[pid=27876/tid=27878] ppid=27874 vsize=1867460 CPUtime=819.73 cores=0,2,4,6
/proc/27876/task/27878/stat : 27878 (techdemo) R 27874 27876 26705 0 -1 4202560 87961 0 0 0 81949 24 0 0 25 0 4 0 515879283 1912279040 309177 33554432000 4194304 4797429 140736796376816 18446744073709551615 4424977 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27876/tid=27879] ppid=27874 vsize=1867460 CPUtime=818.58 cores=0,2,4,6
/proc/27876/task/27879/stat : 27879 (techdemo) R 27874 27876 26705 0 -1 4202560 90327 0 0 0 81832 26 0 0 25 0 4 0 515879283 1912279040 309177 33554432000 4194304 4797429 140736796376816 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27876/tid=27880] ppid=27874 vsize=1867460 CPUtime=820.93 cores=0,2,4,6
/proc/27876/task/27880/stat : 27880 (techdemo) R 27874 27876 26705 0 -1 4202560 85981 0 0 0 82069 24 0 0 25 0 4 0 515879283 1912279040 309177 33554432000 4194304 4797429 140736796376816 18446744073709551615 4428025 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3281.48
Current children cumulated vsize (KiB) 1867460

[startup+882.301 s]
/proc/loadavg: 8.09 8.00 7.78 9/184 27903
/proc/meminfo: memFree=22046740/32951124 swapFree=67111524/67111528
[pid=27876] ppid=27874 vsize=1868984 CPUtime=3521.14 cores=0,2,4,6
/proc/27876/stat : 27876 (techdemo) R 27874 27876 26705 0 -1 4202496 448023 0 0 0 351990 124 0 0 25 0 4 0 515879180 1913839616 311026 33554432000 4194304 4797429 140736796376816 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27876/statm: 467246 311026 422 148 0 462175 0
[pid=27876/tid=27878] ppid=27874 vsize=1868984 CPUtime=879.41 cores=0,2,4,6
/proc/27876/task/27878/stat : 27878 (techdemo) R 27874 27876 26705 0 -1 4202560 88758 0 0 0 87916 25 0 0 25 0 4 0 515879283 1913839616 311026 33554432000 4194304 4797429 140736796376816 18446744073709551615 4509357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27876/tid=27879] ppid=27874 vsize=1868984 CPUtime=878.58 cores=0,2,4,6
/proc/27876/task/27879/stat : 27879 (techdemo) R 27874 27876 26705 0 -1 4202560 91793 0 0 0 87832 26 0 0 25 0 4 0 515879283 1913839616 311026 33554432000 4194304 4797429 140736796376816 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27876/tid=27880] ppid=27874 vsize=1868984 CPUtime=880.93 cores=0,2,4,6
/proc/27876/task/27880/stat : 27880 (techdemo) R 27874 27876 26705 0 -1 4202560 87536 0 0 0 88069 24 0 0 25 0 4 0 515879283 1913839616 311026 33554432000 4194304 4797429 140736796376816 18446744073709551615 4430038 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3521.14
Current children cumulated vsize (KiB) 1868984

[startup+942.301 s]
/proc/loadavg: 8.16 8.03 7.80 9/184 27905
/proc/meminfo: memFree=22040636/32951124 swapFree=67111524/67111528
[pid=27876] ppid=27874 vsize=1870844 CPUtime=3760.82 cores=0,2,4,6
/proc/27876/stat : 27876 (techdemo) R 27874 27876 26705 0 -1 4202496 457816 0 0 0 375955 127 0 0 25 0 4 0 515879180 1915744256 311528 33554432000 4194304 4797429 140736796376816 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27876/statm: 467711 311528 422 148 0 462640 0
[pid=27876/tid=27878] ppid=27874 vsize=1870844 CPUtime=939.08 cores=0,2,4,6
/proc/27876/task/27878/stat : 27878 (techdemo) R 27874 27876 26705 0 -1 4202560 91337 0 0 0 93883 25 0 0 25 0 4 0 515879283 1915744256 311528 33554432000 4194304 4797429 140736796376816 18446744073709551615 4428396 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27876/tid=27879] ppid=27874 vsize=1870844 CPUtime=938.58 cores=0,2,4,6
/proc/27876/task/27879/stat : 27879 (techdemo) R 27874 27876 26705 0 -1 4202560 93818 0 0 0 93832 26 0 0 25 0 4 0 515879283 1915744256 311528 33554432000 4194304 4797429 140736796376816 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27876/tid=27880] ppid=27874 vsize=1870844 CPUtime=940.92 cores=0,2,4,6
/proc/27876/task/27880/stat : 27880 (techdemo) R 27874 27876 26705 0 -1 4202560 88897 0 0 0 94068 24 0 0 25 0 4 0 515879283 1915744256 311528 33554432000 4194304 4797429 140736796376816 18446744073709551615 4241721 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3760.82
Current children cumulated vsize (KiB) 1870844

[startup+1002.3 s]
/proc/loadavg: 8.18 8.05 7.82 9/184 27907
/proc/meminfo: memFree=22025108/32951124 swapFree=67111524/67111528
[pid=27876] ppid=27874 vsize=1874808 CPUtime=4000.49 cores=0,2,4,6
/proc/27876/stat : 27876 (techdemo) R 27874 27876 26705 0 -1 4202496 467588 0 0 0 399918 131 0 0 25 0 4 0 515879180 1919803392 312452 33554432000 4194304 4797429 140736796376816 18446744073709551615 4425966 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27876/statm: 468702 312452 422 148 0 463631 0
[pid=27876/tid=27878] ppid=27874 vsize=1874808 CPUtime=998.75 cores=0,2,4,6
/proc/27876/task/27878/stat : 27878 (techdemo) R 27874 27876 26705 0 -1 4202560 92728 0 0 0 99849 26 0 0 25 0 4 0 515879283 1919803392 312452 33554432000 4194304 4797429 140736796376816 18446744073709551615 4531964 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27876/tid=27879] ppid=27874 vsize=1874808 CPUtime=998.59 cores=0,2,4,6
/proc/27876/task/27879/stat : 27879 (techdemo) R 27874 27876 26705 0 -1 4202560 96302 0 0 0 99832 27 0 0 25 0 4 0 515879283 1919803392 312452 33554432000 4194304 4797429 140736796376816 18446744073709551615 4531952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27876/tid=27880] ppid=27874 vsize=1874808 CPUtime=1000.93 cores=0,2,4,6
/proc/27876/task/27880/stat : 27880 (techdemo) R 27874 27876 26705 0 -1 4202560 91012 0 0 0 100068 25 0 0 25 0 4 0 515879283 1919803392 312452 33554432000 4194304 4797429 140736796376816 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4000.49
Current children cumulated vsize (KiB) 1874808

[startup+1062.3 s]
/proc/loadavg: 8.11 8.06 7.83 9/184 27908
/proc/meminfo: memFree=22025336/32951124 swapFree=67111524/67111528
[pid=27876] ppid=27874 vsize=1876516 CPUtime=4240.17 cores=0,2,4,6
/proc/27876/stat : 27876 (techdemo) R 27874 27876 26705 0 -1 4202496 475640 0 0 0 423881 136 0 0 25 0 4 0 515879180 1921552384 313376 33554432000 4194304 4797429 140736796376816 18446744073709551615 4352606 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27876/statm: 469129 313376 422 148 0 464058 0
[pid=27876/tid=27878] ppid=27874 vsize=1876516 CPUtime=1058.44 cores=0,2,4,6
/proc/27876/task/27878/stat : 27878 (techdemo) R 27874 27876 26705 0 -1 4202560 94628 0 0 0 105817 27 0 0 25 0 4 0 515879283 1921552384 313376 33554432000 4194304 4797429 140736796376816 18446744073709551615 4430094 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27876/tid=27879] ppid=27874 vsize=1876516 CPUtime=1058.58 cores=0,2,4,6
/proc/27876/task/27879/stat : 27879 (techdemo) R 27874 27876 26705 0 -1 4202560 97473 0 0 0 105831 27 0 0 25 0 4 0 515879283 1921552384 313376 33554432000 4194304 4797429 140736796376816 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27876/tid=27880] ppid=27874 vsize=1876516 CPUtime=1060.93 cores=0,2,4,6
/proc/27876/task/27880/stat : 27880 (techdemo) R 27874 27876 26705 0 -1 4202560 92764 0 0 0 106067 26 0 0 25 0 4 0 515879283 1921552384 313376 33554432000 4194304 4797429 140736796376816 18446744073709551615 4346677 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4240.17
Current children cumulated vsize (KiB) 1876516

[startup+1122.3 s]
/proc/loadavg: 8.08 8.06 7.84 9/184 27910
/proc/meminfo: memFree=22017132/32951124 swapFree=67111524/67111528
[pid=27876] ppid=27874 vsize=1877452 CPUtime=4479.84 cores=0,2,4,6
/proc/27876/stat : 27876 (techdemo) R 27874 27876 26705 0 -1 4202496 484375 0 0 0 447844 140 0 0 25 0 4 0 515879180 1922510848 314737 33554432000 4194304 4797429 140736796376816 18446744073709551615 4423098 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27876/statm: 469363 314737 422 148 0 464292 0
[pid=27876/tid=27878] ppid=27874 vsize=1877452 CPUtime=1118.1 cores=0,2,4,6
/proc/27876/task/27878/stat : 27878 (techdemo) R 27874 27876 26705 0 -1 4202560 96857 0 0 0 111783 27 0 0 25 0 4 0 515879283 1922510848 314737 33554432000 4194304 4797429 140736796376816 18446744073709551615 4346677 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27876/tid=27879] ppid=27874 vsize=1877452 CPUtime=1118.58 cores=0,2,4,6
/proc/27876/task/27879/stat : 27879 (techdemo) R 27874 27876 26705 0 -1 4202560 99071 0 0 0 111830 28 0 0 25 0 4 0 515879283 1922510848 314737 33554432000 4194304 4797429 140736796376816 18446744073709551615 4240892 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27876/tid=27880] ppid=27874 vsize=1877452 CPUtime=1120.94 cores=0,2,4,6
/proc/27876/task/27880/stat : 27880 (techdemo) R 27874 27876 26705 0 -1 4202560 94538 0 0 0 112067 27 0 0 25 0 4 0 515879283 1922510848 314737 33554432000 4194304 4797429 140736796376816 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4479.84
Current children cumulated vsize (KiB) 1877452

[startup+1182.3 s]
/proc/loadavg: 5.91 7.49 7.66 5/175 27929
/proc/meminfo: memFree=23197848/32951124 swapFree=67111524/67111528
[pid=27876] ppid=27874 vsize=1887648 CPUtime=4719.55 cores=0,2,4,6
/proc/27876/stat : 27876 (techdemo) R 27874 27876 26705 0 -1 4202496 495215 0 0 0 471811 144 0 0 25 0 4 0 515879180 1932951552 317904 33554432000 4194304 4797429 140736796376816 18446744073709551615 4568062 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27876/statm: 471912 317904 428 148 0 466841 0
[pid=27876/tid=27878] ppid=27874 vsize=1887648 CPUtime=1177.82 cores=0,2,4,6
/proc/27876/task/27878/stat : 27878 (techdemo) R 27874 27876 26705 0 -1 4202560 99630 0 0 0 117754 28 0 0 25 0 4 0 515879283 1932951552 317904 33554432000 4194304 4797429 140736796376816 18446744073709551615 4428767 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27876/tid=27879] ppid=27874 vsize=1887648 CPUtime=1178.59 cores=0,2,4,6
/proc/27876/task/27879/stat : 27879 (techdemo) R 27874 27876 26705 0 -1 4202560 101407 0 0 0 117830 29 0 0 25 0 4 0 515879283 1932951552 317904 33554432000 4194304 4797429 140736796376816 18446744073709551615 4428396 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27876/tid=27880] ppid=27874 vsize=1887648 CPUtime=1180.93 cores=0,2,4,6
/proc/27876/task/27880/stat : 27880 (techdemo) R 27874 27876 26705 0 -1 4202560 96438 0 0 0 118066 27 0 0 25 0 4 0 515879283 1932951552 317904 33554432000 4194304 4797429 140736796376816 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4719.55
Current children cumulated vsize (KiB) 1887648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.5 s]
/proc/loadavg: 5.37 7.26 7.58 5/175 27930
/proc/meminfo: memFree=23189028/32951124 swapFree=67111524/67111528
[pid=27876] ppid=27874 vsize=1890460 CPUtime=4800.26 cores=0,2,4,6
/proc/27876/stat : 27876 (techdemo) R 27874 27876 26705 0 -1 4202496 497715 0 0 0 479881 145 0 0 25 0 4 0 515879180 1935831040 319534 33554432000 4194304 4797429 140736796376816 18446744073709551615 4341187 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27876/statm: 472615 319534 422 148 0 467544 0
[pid=27876/tid=27878] ppid=27874 vsize=1890460 CPUtime=1197.92 cores=0,2,4,6
/proc/27876/task/27878/stat : 27878 (techdemo) R 27874 27876 26705 0 -1 4202560 100110 0 0 0 119764 28 0 0 25 0 4 0 515879283 1935831040 319534 33554432000 4194304 4797429 140736796376816 18446744073709551615 4643040 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27876/tid=27879] ppid=27874 vsize=1890460 CPUtime=1198.79 cores=0,2,4,6
/proc/27876/task/27879/stat : 27879 (techdemo) R 27874 27876 26705 0 -1 4202560 101855 0 0 0 119850 29 0 0 25 0 4 0 515879283 1935831040 319534 33554432000 4194304 4797429 140736796376816 18446744073709551615 4429143 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27876/tid=27880] ppid=27874 vsize=1890460 CPUtime=1201.13 cores=0,2,4,6
/proc/27876/task/27880/stat : 27880 (techdemo) R 27874 27876 26705 0 -1 4202560 96932 0 0 0 120086 27 0 0 25 0 4 0 515879283 1935831040 319534 33554432000 4194304 4797429 140736796376816 18446744073709551615 4643558 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 1890460

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

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

[startup+1202.5 s]
/proc/loadavg: 5.37 7.26 7.58 5/175 27930
/proc/meminfo: memFree=23189028/32951124 swapFree=67111524/67111528
[pid=27876] ppid=27874 vsize=1890460 CPUtime=4800.26 cores=0,2,4,6
/proc/27876/stat : 27876 (techdemo) R 27874 27876 26705 0 -1 4202496 497715 0 0 0 479881 145 0 0 25 0 4 0 515879180 1935831040 319534 33554432000 4194304 4797429 140736796376816 18446744073709551615 4341187 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27876/statm: 472615 319534 422 148 0 467544 0
[pid=27876/tid=27878] ppid=27874 vsize=1890460 CPUtime=1197.92 cores=0,2,4,6
/proc/27876/task/27878/stat : 27878 (techdemo) R 27874 27876 26705 0 -1 4202560 100110 0 0 0 119764 28 0 0 25 0 4 0 515879283 1935831040 319534 33554432000 4194304 4797429 140736796376816 18446744073709551615 4643040 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27876/tid=27879] ppid=27874 vsize=1890460 CPUtime=1198.79 cores=0,2,4,6
/proc/27876/task/27879/stat : 27879 (techdemo) R 27874 27876 26705 0 -1 4202560 101855 0 0 0 119850 29 0 0 25 0 4 0 515879283 1935831040 319534 33554432000 4194304 4797429 140736796376816 18446744073709551615 4429143 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27876/tid=27880] ppid=27874 vsize=1890460 CPUtime=1201.13 cores=0,2,4,6
/proc/27876/task/27880/stat : 27880 (techdemo) R 27874 27876 26705 0 -1 4202560 96932 0 0 0 120086 27 0 0 25 0 4 0 515879283 1935831040 319534 33554432000 4194304 4797429 140736796376816 18446744073709551615 4643558 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 1890460

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.58
CPU time (s): 4800.35
CPU user time (s): 4798.84
CPU system time (s): 1.51477
CPU usage (%): 399.173
Max. virtual memory (cumulated for all children) (KiB): 1983276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.84
system time used= 1.51477
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 497715
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= 18185
involuntary context switches= 24095

runsolver used 1.91971 second user time and 4.5813 second system time

The end

Launcher Data 

Begin job on node139 at 2011-04-29 04:06:54
IDJOB=3286618
IDBENCH=82431
IDSOLVER=1584
FILE ID=node139/3286618-1304042814
RUNJOBID= node139-1304042750-27821
PBS_JOBID= 13170367
Free space on /tmp= 72528 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-TPP-21-step11.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3286618-1304042814/watcher-3286618-1304042814 -o /tmp/evaluation-result-3286618-1304042814/solver-3286618-1304042814 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3286618-1304042814.cnf

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

MD5SUM BENCH= 00d93f117a3253605ad3ac6a153ec61f
RANDOM SEED=591684942

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:      23427456 kB
Buffers:       2020440 kB
Cached:        5890904 kB
SwapCached:          4 kB
Active:        1804812 kB
Inactive:      7199936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23427456 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           20064 kB
Writeback:         228 kB
AnonPages:     1093516 kB
Mapped:          15624 kB
Slab:           452872 kB
PageTables:       6920 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1750208 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= 72532 MiB
End job on node139 at 2011-04-29 04:26:59