Trace number 3251459

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

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m42-q663-n40-p15-s72490337.cnf
MD5SUMab8e40d31c79e7a71114e3126a46874f
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.38479
Satisfiable
(Un)Satisfiability was proved
Number of variables1649
Number of clauses256038
Sum of the clauses size513645
Maximum clause length42
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2255998
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 540

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-3251459-1304183823.cnf'
0.00/0.00	c -- header says num vars:           1649
0.00/0.00	c -- header says num clauses:      256038
0.09/0.19	c -- clauses added:            0 learnts,       256038 normals,            0 xors
0.09/0.19	c -- vars added       1649
0.09/0.19	c Parsing time:  0.18 s
0.09/0.19	c  N st     0         0      1649        40    255998         0    513645         0   no data   no data  --
0.09/0.19	c asymm  cl-useful: 0/40/40 lits-rem:0 time: 0.00
0.22/0.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.4M T:  0.26
0.22/0.41	c Calc non-exist non-lernt bins v-fix:     0 done:   1649 time:  0.10 s
0.22/0.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.22/0.41	c Subs w/ non-existent bins:      0 time:  0.00 s
0.22/0.41	c bin-w-bin subsume rem            0 bins  time:  0.16 s
0.22/0.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.14 s
0.22/0.41	c Removed useless bin:       0  fixed:     0  bprops:   1.03M  time:  0.10 s
1.20/1.09	c lits-rem:       344  cl-subs:        0  v-elim:   1058  v-fix:    0  time:  0.22 s
1.20/1.09	c learnt bin added due to v-elim: 0
1.20/1.09	c Finding binary XORs  T:     0.02 s  found:       0
1.20/1.09	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
1.20/1.09	c calculated reachability. Time: 0.01
1.20/1.09	c Calc default polars -  time:   0.01 s pos:       0 undec:      40 neg:    1609
1.20/1.09	c =========================================================================================
1.20/1.09	c types(t): F = full restart, N = normal restart
1.20/1.09	c types(t): S = simplification begin/end, E = solution found
1.20/1.09	c restart types(rt): st = static, dy = dynamic
1.20/1.09	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
1.20/1.09	c  B st     0         0      1609      4465    249924         0    713882         0   no data   no data  --
1.20/1.09	c Decided on static restart strategy
3.80/1.19	c  N dy    21      4128      1609      4465    249924      4021    713880    569716     92.28     27.19  --
5.83/1.64	c  N dy    51      8236      1609      4465    249924      5587    713880    442827     90.10     21.65  --
7.80/2.15	c  N dy    81     12355      1609      4465    249924      5456    713880    347314     59.23     19.82  --
10.22/2.70	c  N dy   110     16446      1609      4465    249924      9441    713879    678171    100.21     19.22  --
12.20/3.23	c  N dy   140     20536      1609      4465    249924      7945    713879    484961     55.04     18.43  --
14.61/3.81	c  N dy   169     24646      1609      4465    249924     11939    713879    823498     68.59     18.10  --
16.59/4.32	c  N dy   199     28781      1609      4465    249924      9309    713879    578064     92.62     17.79  --
17.39/4.54	c  S st   208     30000      1609      4465    249924     10488    713879    695841    102.00     18.12  --
17.79/4.60	c  S st   208     30500      1609      4465    249924     10979    713871    754947    102.00     18.12  --
17.79/4.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
17.79/4.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.80/6.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 34.7M T:  6.24
24.18/6.20	c Calc non-exist non-lernt bins v-fix:     0 done:   1609 time:  0.11 s
24.18/6.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
24.18/6.22	c Subs w/ non-existent bins:      0 time:  0.08 s
24.18/6.28	c bin-w-bin subsume rem            0 bins  time:  0.16 s
29.37/7.57	c subs with bin:        0  lits-rem:      1815  v-fix:    0  time:  5.14 s
29.37/7.60	c Removed useless bin:       0  fixed:     0  bprops:   1.01M  time:  0.10 s
38.96/9.90	c lits-rem:      1987  cl-subs:     1350  v-elim:   1609  v-fix:    0  time:  9.22 s
38.96/9.90	c learnt bin added due to v-elim: 0
38.96/9.92	c vivif2 --  cl tried     4465 cl shrink     3352 lits rem      32940 time: 0.04
38.96/9.93	c vivif2 --  cl tried     9629 cl shrink        0 lits rem          0 time: 0.07
39.36/10.09	c asymm  cl-useful: 0/1034/4465 lits-rem:0 time: 0.63
39.36/10.10	c calculated reachability. Time: 0.00
39.36/10.10	c  N dy   208     30500      1609      4465    249924      9629    675839    644894    102.00     18.12  --
39.36/10.10	c  F st   208     30500      1609      4465    249924      9629    675839    644894    102.00     18.12  --
40.97/10.43	c Decided on static restart strategy
42.56/10.82	c  N dy   228     34594      1609      4465    249924     13602    675839   1062403    100.96     18.51  --
45.37/11.53	c  N dy   256     38643      1609      4465    249924      9879    675839    636098     88.22     18.38  --
48.55/12.33	c  N dy   284     42706      1609      4465    249924     13839    675839   1004836    106.20     18.44  --
50.94/12.95	c  S st   305     45750      1609      4465    249924     16792    675839   1293834     97.29     18.47  --
51.34/13.02	c  S st   305     46252      1609      4465    249924     17294    675839   1354664     97.29     18.47  --
51.34/13.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
51.34/13.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
58.13/14.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 43.9M T:  7.09
58.55/14.83	c Calc non-exist non-lernt bins v-fix:     0 done:   1609 time:  0.11 s
58.55/14.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
58.55/14.86	c Subs w/ non-existent bins:      0 time:  0.14 s
58.95/14.93	c bin-w-bin subsume rem            0 bins  time:  0.17 s
64.13/16.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.25 s
64.13/16.27	c Removed useless bin:       0  fixed:     0  bprops:   1.01M  time:  0.10 s
72.51/18.35	c lits-rem:       439  cl-subs:     1417  v-elim:   1609  v-fix:    0  time:  8.29 s
72.51/18.35	c learnt bin added due to v-elim: 0
72.51/18.35	c vivif2 --  cl tried     4465 cl shrink        0 lits rem          0 time: 0.01
72.51/18.38	c vivif2 --  cl tried    15877 cl shrink        0 lits rem          0 time: 0.11
73.31/18.53	c asymm  cl-useful: 0/586/4465 lits-rem:0 time: 0.62
73.31/18.54	c calculated reachability. Time: 0.00
73.31/18.54	c  N dy   305     46252      1609      4465    249924     15877    675839   1205248     97.29     18.47  --
75.71/19.15	c  N dy   334     50379      1609      4465    249924     11222    675839    752400     79.25     18.41  --
78.10/19.75	c  N dy   363     54463      1609      4465    249924     15199    675839   1129966     82.86     18.32  --
80.52/20.34	c  N dy   391     58492      1609      4465    249924     19120    675839   1418631     72.25     18.05  --
82.90/20.94	c  N dy   420     62602      1609      4465    249924     13453    675839    913999     90.73     17.84  --
85.32/21.56	c  N dy   449     66734      1609      4465    249924     17464    675839   1282215     89.98     17.81  --
87.29/22.02	c  S st   468     69378      1609      4465    249924     20034    675839   1502555     91.97     17.71  --
87.29/22.10	c  S st   468     69880      1609      4465    249924     20529    675839   1565120     91.97     17.71  --
87.69/22.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
87.69/22.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
97.28/24.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  9.76
97.28/24.58	c Calc non-exist non-lernt bins v-fix:     0 done:   1609 time:  0.11 s
97.28/24.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
97.68/24.61	c Subs w/ non-existent bins:      0 time:  0.16 s
97.68/24.69	c bin-w-bin subsume rem            0 bins  time:  0.16 s
103.27/26.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.41 s
103.27/26.07	c Removed useless bin:       0  fixed:     0  bprops:   1.01M  time:  0.09 s
112.46/28.39	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.22
126.04/31.79	c Added 17 vars  tried: 80000 time: 13.59
126.44/31.89	c ORs :     17 avg-s:  0.0 cl-sh: 21188 l-rem:  21188 b-add:     34 v-rep:   0 cl-rem: 0 avg s: nan T:   14.00
126.84/31.91	c lits-rem:       126  cl-subs:     1612  v-elim:   1609  v-fix:    0  time: 23.34 s
126.84/31.91	c learnt bin added due to v-elim: 0
126.84/31.91	c vivif2 --  cl tried     4482 cl shrink        0 lits rem          0 time: 0.01
126.84/31.95	c vivif2 --  cl tried    18917 cl shrink        0 lits rem          0 time: 0.14
127.64/32.11	c asymm  cl-useful: 0/462/4482 lits-rem:0 time: 0.63
127.64/32.11	c calculated reachability. Time: 0.00
127.64/32.11	c  N dy   468     69880      1626      4482    249958     18917    674913   1386624     91.97     17.71  --
127.64/32.11	c  F st   468     69880      1626      4482    249958     18917    674913   1386624     91.97     17.71  --
129.26/32.57	c Decided on static restart strategy
130.84/32.97	c  N dy   491     74431      1626      4482    249976     12573    674913   1018488    276.34     19.03  --
136.03/34.25	c  N dy   523     79203      1626      4482    249990     17047    674913   2138385    247.56     21.87  --
143.62/36.13	c  N dy   558     84344      1626      4482    250000     21956    674913   3095317    295.75     23.92  --
149.61/37.65	c  N dy   595     89833      1626      4482    250001     15650    674913   1817152    401.77     26.34  --
158.40/39.80	c  N dy   634     95590      1626      4482    250004     21041    674913   3176216    263.42     29.21  --
167.99/42.23	c  N dy   676    101771      1626      4482    250012     14570    674913   1297369    276.32     30.61  --
171.18/43.09	c  S st   697    104821      1626      4482    250013     17464    674913   1956553    176.14     31.72  --
171.58/43.19	c  S st   697    105321      1626      4482    250013     17962    674913   2013293    176.14     31.72  --
171.99/43.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
171.99/43.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
191.55/48.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:   2241 BRemL:     35 BRemN:      0 CBin:       0 P: 60.0M T: 19.60
191.55/48.14	c Calc non-exist non-lernt bins v-fix:     0 done:   1626 time:  0.11 s
191.55/48.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
191.55/48.17	c Subs w/ non-existent bins:      0 time:  0.14 s
191.96/48.25	c bin-w-bin subsume rem            0 bins  time:  0.16 s
197.55/49.62	c subs with bin:        0  lits-rem:       589  v-fix:    0  time:  5.45 s
197.55/49.64	c Removed useless bin:       0  fixed:     0  bprops:   0.63M  time:  0.07 s
211.53/53.13	c ORs :     36 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 14 avg s: 3.0 T:    0.26
211.53/53.15	c lits-rem:       301  cl-subs:     3397  v-elim:   3012  v-fix:    0  time: 14.05 s
211.53/53.15	c learnt bin added due to v-elim: 0
211.53/53.16	c vivif2 --  cl tried     6027 cl shrink      647 lits rem        648 time: 0.02
211.93/53.20	c vivif2 --  cl tried    14565 cl shrink      754 lits rem       7024 time: 0.17
212.74/53.42	c asymm  cl-useful: 0/602/5380 lits-rem:0 time: 0.88
212.74/53.43	c calculated reachability. Time: 0.01
212.74/53.43	c  N dy   697    105321      1621      5380    251269     14565    675812   1417177    176.14     31.72  --
220.72/55.41	c  N dy   743    112049      1621      5380    251269     20946    675812   2876589    326.99     33.33  --
231.10/58.09	c  N dy   793    119292      1621      5380    251269     14662    675812   1138331    229.49     34.87  --
239.49/60.12	c  N dy   845    126908      1621      5380    251269     21910    675812   2759117    239.58     35.89  --
253.07/63.56	c  N dy   900    135081      1621      5380    251269     15444    675812   1124347    228.09     37.63  --
266.25/66.80	c  N dy   958    143849      1621      5380    251269     23771    675812   3243383    262.96     39.61  --
286.63/71.97	c  N dy  1019    153031      1621      5380    251269     17269    675812   1413582    243.00     41.24  --
293.02/73.56	c  S st  1052    157981      1621      5380    251269     21908    675812   2365918    252.14     41.56  --
293.42/73.67	c  S st  1052    158481      1621      5380    251269     22408    675812   2421069    252.14     41.56  --
293.42/73.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
293.42/73.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
319.38/80.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:    648 CBin:       0 P: 60.0M T: 25.89
319.38/80.19	c Calc non-exist non-lernt bins v-fix:     0 done:   1621 time:  0.11 s
319.38/80.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
319.78/80.23	c Subs w/ non-existent bins:      0 time:  0.16 s
320.18/80.32	c bin-w-bin subsume rem          645 bins  time:  0.16 s
326.18/81.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.27 s
326.60/81.90	c Removed useless bin:       0  fixed:     0  bprops:   0.72M  time:  0.07 s
342.15/85.84	c ORs :     36 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.27
342.15/85.86	c lits-rem:      1283  cl-subs:     2689  v-elim:   1599  v-fix:    0  time: 15.80 s
342.15/85.86	c learnt bin added due to v-elim: 0
342.15/85.86	c vivif2 --  cl tried     5380 cl shrink        0 lits rem          0 time: 0.01
342.56/85.90	c vivif2 --  cl tried    19719 cl shrink        0 lits rem          0 time: 0.14
343.35/86.17	c asymm  cl-useful: 0/579/5380 lits-rem:0 time: 1.07
343.35/86.17	c calculated reachability. Time: 0.01
343.35/86.17	c  N dy  1052    158481      1621      5380    249976     19719    674515   1852684    252.14     41.56  --
360.93/90.56	c  N dy  1120    168639      1689      5380    257882     34818    679063   3962865    225.47     42.90  --
377.71/94.72	c  N dy  1193    179436      1689      5380    257882     26187    679063   2810456    340.31     44.15  --
396.49/99.40	c  N dy  1271    190985      1689      5380    257882     18804    679063    881613    247.30     45.22  --
410.08/102.88	c  N dy  1353    203194      1689      5380    257882     30323    679063   3519246    226.75     45.38  --
430.44/107.91	c  N dy  1439    216168      1689      5380    257882     23983    679063   2114822    222.69     46.41  --
452.01/113.34	c  N dy  1532    230024      1689      5380    260009     39416    680323   5369280    169.08     47.55  --
459.59/115.23	c  S st  1586    237722      1689      5380    260009     26389    680323   2059715    244.48     47.21  --
459.99/115.35	c  S st  1586    238222      1689      5380    260009     26889    680323   2104288    244.48     47.21  --
459.99/115.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
459.99/115.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
483.97/121.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bin:     20 BRemL:    141 BRemN:     60 CBin:       0 P: 60.0M T: 23.86
483.97/121.37	c Calc non-exist non-lernt bins v-fix:     0 done:   1689 time:  0.12 s
483.97/121.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
484.37/121.42	c Subs w/ non-existent bins:   2786 time:  0.20 s
484.37/121.43	c Replacing        5 vars Replaced       80 lits Time:     0.05 s 
484.79/121.51	c bin-w-bin subsume rem         2715 bins  time:  0.17 s
490.36/122.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.78 s
490.36/122.97	c Removed useless bin:    1204  fixed:     0  bprops:   0.43M  time:  0.06 s
503.95/126.37	c ORs :     36 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 10 avg s: 3.0 T:    0.35
503.95/126.39	c lits-rem:      1735  cl-subs:     2092  v-elim:   1599  v-fix:    0  time: 13.64 s
503.95/126.39	c learnt bin added due to v-elim: 0
503.95/126.39	c vivif2 --  cl tried     5380 cl shrink        0 lits rem          0 time: 0.02
504.35/126.42	c vivif2 --  cl tried    22001 cl shrink       26 lits rem         33 time: 0.14
505.95/126.84	c asymm  cl-useful: 0/283/5380 lits-rem:0 time: 1.65
505.95/126.85	c calculated reachability. Time: 0.01
505.95/126.85	c  N dy  1586    238222      1684      5380    255921     21979    677775   1605632    244.48     47.21  --
525.91/131.89	c  N dy  1690    253542      1684      5380    255921     36526    677775   4985717    360.29     47.82  --
545.89/136.84	c  N dy  1799    269782      1684      5380    255921     32676    677775   4148659    349.23     47.48  --
574.25/143.98	c  N dy  1916    287151      1684      5380    255921     28763    677775   2801522    197.28     47.55  --
601.01/150.64	c  N dy  2039    305527      1756      5380    263949     26785    681377   1474260    227.34     47.12  --
631.78/158.37	c  N dy  2169    325092      1756      5380    263949     45186    681377   5065532    246.35     47.24  --
674.92/169.13	c  N dy  2300    345230      1756      5380    263949     40405    681377   4610602    262.97     47.98  --
697.28/174.71	c  S st  2380    357333      1756      5380    263949     27658    681377   1733463    355.94     47.79  --
697.68/174.81	c  S st  2380    357835      1756      5380    263949     28159    681377   1786038    355.94     47.79  --
697.68/174.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
697.68/174.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
718.45/180.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:   1652 BRemL:    348 BRemN:   4093 CBin:       0 P: 60.0M T: 20.73
718.45/180.04	c Calc non-exist non-lernt bins v-fix:     0 done:   1756 time:  0.13 s
718.45/180.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
718.45/180.09	c Subs w/ non-existent bins:   1657 time:  0.20 s
718.86/180.10	c Replacing        3 vars Replaced       43 lits Time:     0.04 s 
718.86/180.18	c bin-w-bin subsume rem         1612 bins  time:  0.17 s
724.85/181.62	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  5.74 s
724.85/181.63	c Removed useless bin:     216  fixed:     0  bprops:   0.35M  time:  0.06 s
735.26/184.20	c ORs :     36 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 4 avg s: 3.0 T:    0.25
735.26/184.22	c lits-rem:       496  cl-subs:     1475  v-elim:   1599  v-fix:    0  time: 10.35 s
735.26/184.22	c learnt bin added due to v-elim: 0
735.26/184.23	c vivif2 --  cl tried     5380 cl shrink        0 lits rem          0 time: 0.02
735.26/184.26	c vivif2 --  cl tried    25023 cl shrink       39 lits rem         88 time: 0.14
736.44/184.54	c asymm  cl-useful: 0/216/5380 lits-rem:0 time: 1.10
736.44/184.55	c calculated reachability. Time: 0.01
736.44/184.55	c  N dy  2380    357835      1753      5380    259355     24994    672747   1464580    355.94     47.79  --
767.19/192.22	c  N dy  2514    377867      1753      5380    259375     44911    672753   5522112    177.93     48.21  --
801.16/200.80	c  N dy  2648    397913      1753      5380    259375     39522    672753   4121353    190.81     48.39  --
841.49/210.86	c  N dy  2782    418022      1753      5380    259375     33118    672753   2545065    268.93     48.54  --
887.04/222.26	c  N dy  2915    438046      1753      5380    259375     51946    672753   7147691    228.15     49.33  --
922.58/231.12	c  N dy  3049    458205      1827      5380    266466     48155    674909   5091775    196.77     49.78  --
965.33/241.81	c  N dy  3184    478289      1827      5380    266468     37843    674909   2852253    195.43     50.29  --
1004.08/251.50	c  N dy  3316    498303      1827      5380    266468     56770    674909   6993761    296.35     50.57  --
1046.43/262.15	c  N dy  3447    518312      1827      5380    268751     46712    675181   5386995    242.81     51.11  --
1109.17/277.83	c  S st  3568    536754      1827      5380    268778     34292    675185   2104560    275.65     51.83  --
1109.54/277.92	c  S st  3568    537255      1827      5380    268778     34791    675185   2156731    275.65     51.83  --
1109.54/277.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1109.54/277.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1131.14/283.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:      0 BRemL:    659 BRemN:   2834 CBin:       0 P: 60.0M T: 21.65
1131.14/283.38	c Calc non-exist non-lernt bins v-fix:     0 done:   1827 time:  0.13 s
1131.14/283.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1131.51/283.44	c Subs w/ non-existent bins:   1079 time:  0.24 s
1131.51/283.50	c Replacing        3 vars Replaced     4303 lits Time:     0.21 s 
1131.91/283.58	c bin-w-bin subsume rem         1035 bins  time:  0.18 s
1137.50/284.93	c subs with bin:        7  lits-rem:         1  v-fix:    0  time:  5.37 s
1137.50/284.94	c Removed useless bin:     282  fixed:     0  bprops:   0.34M  time:  0.05 s
1151.89/288.54	c ORs :     36 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 12 avg s: 3.0 T:    0.39
1164.27/291.69	c Added 19 vars  tried: 80000 time: 12.60
1164.67/291.77	c ORs :     19 avg-s:  0.0 cl-sh: 15044 l-rem:  15044 b-add:     39 v-rep:   0 cl-rem: 18 avg s: 3.0 T:   12.90
1164.67/291.79	c lits-rem:      1338  cl-subs:     1849  v-elim:   1598  v-fix:    0  time: 27.37 s
1164.67/291.79	c learnt bin added due to v-elim: 0
1164.67/291.79	c vivif2 --  cl tried     5399 cl shrink        0 lits rem          0 time: 0.02
1165.07/291.84	c vivif2 --  cl tried    31825 cl shrink      313 lits rem        314 time: 0.18
1165.89/292.08	c asymm  cl-useful: 0/186/5399 lits-rem:0 time: 0.95
1165.89/292.09	c calculated reachability. Time: 0.01
1165.89/292.09	c  N dy  3568    537255      1843      5399    264309     31514    668008   1697961    275.65     51.83  --
1165.89/292.09	c  F st  3568    537255      1843      5399    264309     31514    668008   1697961    275.65     51.83  --
1168.26/292.67	c Decided on static restart strategy
1170.68/293.24	c Finding binary XORs  T:     0.03 s  found:       0
1201.03/300.88	c  N dy  3693    557368      1843      5399    264310     50758    668008   5443363    180.61     51.19  --
1249.37/312.91	c  N dy  3825    577440      1843      5399    264310     40022    668008   3126232    237.33     50.84  --
1286.11/322.15	c  N dy  3958    597526      1843      5399    264311     59292    668008   7353296    218.54     51.18  --
1318.07/330.17	c  N dy  4093    617629      1843      5399    264315     47253    668008   4613759    280.23     51.11  --
1368.02/342.64	c  N dy  4227    637766      1881      5399    268973     35198    669506   1672858    191.75     50.72  --
1396.36/349.78	c  N dy  4360    657778      1881      5399    268996     54366    669506   5239880    181.16     50.46  --
1431.52/358.57	c  N dy  4495    677905      1881      5399    268996     39692    669506   2360884    139.16     50.49  --
1465.47/367.09	c  N dy  4628    697921      1881      5399    268996     58841    669506   6115124    208.61     49.97  --
1517.01/379.99	c  N dy  4760    717975      1881      5399    269921     43344    669506   3083487    223.22     49.60  --
1563.36/391.56	c  N dy  4893    738101      1927      5399    273924     64700    671052   7007068    284.26     49.41  --
1598.51/400.39	c  N dy  5027    758117      1927      5399    273924     47386    671052   3390946    177.70     49.12  --
1636.48/409.88	c  N dy  5160    778169      1927      5399    273924     66637    671052   7163885    220.49     48.82  --
1675.21/419.52	c  N dy  5292    798191      1927      5399    275277     48863    671052   3551588    263.24     48.55  --
1687.59/422.63	c  S st  5344    805882      1939      5399    277357     56353    671100   4959593    202.53     48.50  --
1688.39/422.80	c  S st  5344    806384      1939      5399    277357     56855    671100   5008281    202.53     48.50  --
1688.39/422.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1688.39/422.81	c Cache  BProp: 0 Set: 0 BXProp: 2 T: 0.00
1716.35/429.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:     13 BRemL:   1201 BRemN:   1771 CBin:       0 P: 60.0M T: 27.99
1716.35/429.86	c Calc non-exist non-lernt bins v-fix:     0 done:   1939 time:  0.13 s
1716.35/429.86	c Cache  BProp: 0 Set: 0 BXProp: 4 T: 0.00
1716.76/429.97	c Subs w/ non-existent bins:   1353 time:  0.45 s
1717.16/430.03	c Replacing        7 vars Replaced     3678 lits Time:     0.24 s 
1717.55/430.18	c bin-w-bin subsume rem         1598 bins  time:  0.19 s
1723.96/431.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.26 s
1723.96/431.76	c Removed useless bin:     151  fixed:     0  bprops:   0.31M  time:  0.05 s
1814.22/454.38	c ORs :     73 avg-s:  2.0 cl-sh:    19 l-rem:     19 b-add:      0 v-rep:   0 cl-rem: 22 avg s: 3.0 T:    0.47
1833.82/459.29	c Added 20 vars  tried: 80000 time: 19.61
1834.60/459.47	c ORs :     20 avg-s:  0.0 cl-sh: 24694 l-rem:  24694 b-add:     40 v-rep:   0 cl-rem: 48 avg s: 3.0 T:   20.31
1835.00/459.51	c lits-rem:       669  cl-subs:     9033  v-elim:   2909  v-fix:    0  time: 110.83 s
1835.00/459.51	c learnt bin added due to v-elim: 0
1835.00/459.52	c vivif2 --  cl tried     7797 cl shrink      840 lits rem        841 time: 0.03
1835.40/459.61	c vivif2 --  cl tried    46428 cl shrink     1375 lits rem       2160 time: 0.37
1836.60/459.91	c asymm  cl-useful: 0/152/6957 lits-rem:0 time: 1.22
1836.60/459.92	c calculated reachability. Time: 0.01
1836.60/459.92	c  N dy  5344    806384      1945      6957    271009     46414    667870   3315160    202.53     48.50  --
1876.95/470.07	c  N dy  5477    826431      1945      6957    271020     65815    667870   7594734    250.97     48.07  --
1917.32/480.14	c  N dy  5608    846554      1945      6957    271026     48129    667870   3782268    215.56     47.75  --
1966.06/492.39	c  N dy  5739    866619      1945      6957    271026     67497    667870   7978067    268.48     47.30  --
2010.37/503.45	c  N dy  5873    886772      1945      6957    271028     48585    667870   4099881    244.39     46.98  --
2059.91/515.84	c  N dy  6006    906883      1966      6957    274859     68012    667958   8786804    250.90     46.63  --
2133.82/534.35	c  N dy  6136    926952      1966      6957    274978     47930    667958   4076452    262.00     46.33  --
2195.34/549.72	c  N dy  6270    947063      1966      6957    275428     67310    667958   8589547    328.79     46.17  --
2274.45/569.53	c  N dy  6399    967130      1990      6957    277532     46152    668066   3078961    201.31     45.99  --
2311.60/578.82	c  N dy  6534    987239      1990      6957    277532     65559    668066   7020449    173.58     45.75  --
2369.94/593.43	c  N dy  6668   1007358      1990      6957    277532     43575    668066   2170653    174.45     45.61  --
2407.88/602.90	c  N dy  6799   1027398      1992      6957    277750     62917    668074   6315849    215.78     45.30  --
2458.24/615.53	c  N dy  6931   1047513      1992      6957    277750     82341    668074  10049975    162.28     45.08  --
2494.97/624.80	c  N dy  7064   1067561      1992      6957    277750     59300    668074   5375691    235.80     44.90  --
2549.29/638.31	c  N dy  7196   1087663      1992      6957    277755     78585    668074  10222459    260.10     44.68  --
2605.62/652.44	c  N dy  7330   1107807      1992      6957    277757     54607    668074   4187266    249.44     44.51  --
2656.35/665.15	c  N dy  7464   1127927      1992      6957    277757     74083    668074   8286903    186.68     44.48  --
2719.07/680.85	c  N dy  7596   1147950      1992      6957    277757     48986    668074   2980411    239.34     44.35  --
2771.41/693.99	c  N dy  7729   1168073      1992      6957    277757     68352    668074   6937531    192.50     44.21  --
2878.87/720.80	c  N dy  7857   1188106      1992      6957    277757     87682    668074  10897586    195.99     44.12  --
2926.80/732.86	c  N dy  7989   1208222      1992      6957    277757     61794    668074   5647153    224.83     43.89  --
2931.20/733.95	c  S st  7998   1209576      1992      6957    277757     63098    668074   5891566    167.54     43.87  --
2932.42/734.23	c  S st  7998   1210077      1992      6957    277757     63596    668074   5951720    167.54     43.87  --
2932.42/734.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
2932.42/734.25	c Cache  BProp: 0 Set: 0 BXProp: 2 T: 0.00
2960.35/741.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:      0 BRemL:    835 BRemN:   3072 CBin:       0 P: 60.0M T: 28.11
2960.75/741.32	c Calc non-exist non-lernt bins v-fix:     0 done:   1992 time:  0.14 s
2960.75/741.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2961.15/741.45	c Subs w/ non-existent bins:      0 time:  0.52 s
2961.55/741.55	c Replacing        5 vars Replaced     6905 lits Time:     0.37 s 
2962.36/741.71	c bin-w-bin subsume rem          800 bins  time:  0.18 s
2968.35/743.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.20 s
2968.35/743.27	c Removed useless bin:       8  fixed:     0  bprops:   0.30M  time:  0.05 s
3078.60/770.84	c ORs :    122 avg-s:  2.0 cl-sh:     2 l-rem:      2 b-add:      0 v-rep:   0 cl-rem: 11 avg s: 3.0 T:    0.77
3099.79/776.19	c Added 21 vars  tried: 80000 time: 21.35
3100.97/776.49	c ORs :     21 avg-s:  0.0 cl-sh: 30378 l-rem:  30378 b-add:     42 v-rep:   0 cl-rem: 37 avg s: 3.9 T:   22.55
3101.37/776.54	c lits-rem:       978  cl-subs:     7606  v-elim:   2516  v-fix:    0  time: 132.90 s
3101.37/776.54	c learnt bin added due to v-elim: 0
3101.37/776.55	c vivif2 --  cl tried     8240 cl shrink      321 lits rem        321 time: 0.03
3101.77/776.66	c vivif2 --  cl tried    55964 cl shrink      792 lits rem       1449 time: 0.45
3102.97/776.96	c asymm  cl-useful: 0/141/7919 lits-rem:0 time: 1.20
3102.97/776.97	c calculated reachability. Time: 0.01
3102.97/776.97	c  N dy  7998   1210077      2004      7919    272016     55964    662285   4498802    167.54     43.87  --
3141.72/786.62	c  N dy  8133   1230095      2004      7919    272051     75206    662285   9205674    256.31     43.69  --
3224.01/807.25	c  N dy  8264   1250154      2004      7919    272063     48405    662285   2995079    344.22     43.77  --
3283.54/822.10	c  N dy  8395   1270272      2004      7919    273999     67888    662285   7629422    377.21     43.53  --
3342.66/836.96	c  N dy  8528   1290325      2026      7919    275354     87375    662373  13340678    277.26     43.31  --
3383.01/847.02	c  N dy  8661   1310357      2026      7919    275355     59478    662373   5482395    246.38     43.18  --
3450.53/863.98	c  N dy  8794   1330474      2026      7919    275356     78952    662373  11008365    308.63     42.98  --
3573.16/894.66	c  N dy  8927   1350551      2029      7919    275846     50062    662385   2764744    149.65     42.75  --
3623.49/907.27	c  N dy  9062   1370615      2029      7919    275846     69487    662385   6150184    123.68     42.53  --
3679.84/921.32	c  N dy  9195   1390693      2029      7919    275855     88866    662385   9658913    282.12     42.28  --
3762.12/941.97	c  N dy  9328   1410724      2032      7919    275943     58985    662397   5255828    187.81     42.06  --
3810.45/954.06	c  N dy  9462   1430825      2032      7919    275943     78407    662397   9334751    204.70     41.91  --
3879.96/971.40	c  N dy  9595   1450933      2032      7919    275943     97829    662397  14604055    312.35     41.68  --
3927.50/983.34	c  N dy  9730   1471065      2032      7919    275985     67172    662397   6265355    235.71     41.50  --
3927.90/983.44	c Finding binary XORs  T:     0.03 s  found:       0
4000.23/1001.53	c  N dy  9861   1491136      2032      7919    275985     86594    662397  11447777    262.11     41.35  --
4103.67/1027.43	c  N dy  9992   1511284      2032      7919    275985     54718    662397   3798281    289.92     41.16  --
4165.99/1043.04	c  N dy 10124   1531385      2032      7919    275985     74086    662397   9280052    197.22     41.00  --
4240.70/1061.76	c  N dy 10255   1551412      2032      7919    275985     93440    662397  13989702    339.29     40.85  --
4293.82/1075.09	c  N dy 10389   1571486      2032      7919    275985     60525    662397   4957726    234.58     40.69  --
4366.13/1093.18	c  N dy 10521   1591519      2032      7919    275985     79835    662397   9204858    257.63     40.54  --
4452.02/1114.65	c  N dy 10654   1611648      2032      7919    275985     99247    662397  14482526    257.08     40.51  --
4521.93/1132.12	c  N dy 10785   1631765      2032      7919    275985     65593    662397   6526208    463.45     40.41  --
4600.63/1151.87	c  N dy 10917   1651793      2032      7919    275985     84894    662397  11701900    260.70     40.32  --
4692.10/1174.75	c  N dy 11051   1671859      2032      7919    275985    104469    662397  16258755    283.71     40.16  --
4760.83/1191.96	c  N dy 11183   1691958      2032      7919    275985     69798    662397   7092961    221.91     39.99  --

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 8.09 7.93 7.40 6/180 5984
/proc/meminfo: memFree=24724244/32950928 swapFree=67111464/67111528
[pid=5984] ppid=5982 vsize=52100 CPUtime=0 cores=1,3,5,7
/proc/5984/stat : 5984 (techdemo) R 5982 5984 5302 0 -1 4202496 1229 0 0 0 0 0 0 0 18 0 1 0 529978990 53350400 1164 33554432000 4194304 4797429 140735412238480 18446744073709551615 4367622 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5984/statm: 13025 1173 347 148 0 7954 0

[startup+0.081354 s]
/proc/loadavg: 8.09 7.93 7.40 6/180 5984
/proc/meminfo: memFree=24724244/32950928 swapFree=67111464/67111528
[pid=5984] ppid=5982 vsize=61244 CPUtime=0.07 cores=1,3,5,7
/proc/5984/stat : 5984 (techdemo) R 5982 5984 5302 0 -1 4202496 3568 0 0 0 7 0 0 0 18 0 1 0 529978990 62713856 3503 33554432000 4194304 4797429 140735412238480 18446744073709551615 4432816 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5984/statm: 15311 3503 348 148 0 10240 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 61244

[startup+0.100343 s]
/proc/loadavg: 8.09 7.93 7.40 6/180 5984
/proc/meminfo: memFree=24724244/32950928 swapFree=67111464/67111528
[pid=5984] ppid=5982 vsize=63092 CPUtime=0.09 cores=1,3,5,7
/proc/5984/stat : 5984 (techdemo) R 5982 5984 5302 0 -1 4202496 4015 0 0 0 9 0 0 0 18 0 1 0 529978990 64606208 3950 33554432000 4194304 4797429 140735412238480 18446744073709551615 254500352709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5984/statm: 15773 3952 348 148 0 10702 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 63092

[startup+0.405395 s]
/proc/loadavg: 8.09 7.93 7.40 6/180 5984
/proc/meminfo: memFree=24724244/32950928 swapFree=67111464/67111528
[pid=5984] ppid=5982 vsize=698040 CPUtime=1.2 cores=1,3,5,7
/proc/5984/stat : 5984 (techdemo) R 5982 5984 5302 0 -1 4202496 12041 0 0 0 118 2 0 0 19 0 4 0 529978990 714792960 11929 33554432000 4194304 4797429 140735412238480 18446744073709551615 4493296 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5984/statm: 174801 14424 411 148 0 169730 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 698040

[startup+1.09807 s]
/proc/loadavg: 8.09 7.93 7.40 6/180 5984
/proc/meminfo: memFree=24724244/32950928 swapFree=67111464/67111528
[pid=5984] ppid=5982 vsize=702640 CPUtime=3.8 cores=1,3,5,7
/proc/5984/stat : 5984 (techdemo) R 5982 5984 5302 0 -1 4202496 15626 0 0 0 377 3 0 0 20 0 4 0 529978990 719503360 14298 33554432000 4194304 4797429 140735412238480 18446744073709551615 254500388504 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5984/statm: 175660 14298 411 148 0 170589 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 702640

[startup+1.50099 s]
/proc/loadavg: 8.09 7.93 7.40 6/180 5984
/proc/meminfo: memFree=24724244/32950928 swapFree=67111464/67111528
[pid=5984] ppid=5982 vsize=707024 CPUtime=5.41 cores=1,3,5,7
/proc/5984/stat : 5984 (techdemo) R 5982 5984 5302 0 -1 4202496 17722 0 0 0 537 4 0 0 21 0 4 0 529978990 723992576 14668 33554432000 4194304 4797429 140735412238480 18446744073709551615 4424987 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5984/statm: 176756 14668 412 148 0 171685 0
Current children cumulated CPU time (s) 5.41
Current children cumulated vsize (KiB) 707024

[startup+3.10068 s]
/proc/loadavg: 8.08 7.93 7.40 9/184 5988
/proc/meminfo: memFree=24652976/32950928 swapFree=67111464/67111528
[pid=5984] ppid=5982 vsize=709988 CPUtime=11.8 cores=1,3,5,7
/proc/5984/stat : 5984 (techdemo) R 5982 5984 5302 0 -1 4202496 21952 0 0 0 1175 5 0 0 25 0 4 0 529978990 727027712 16969 33554432000 4194304 4797429 140735412238480 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5984/statm: 177497 16969 415 148 0 172426 0
[pid=5984/tid=5986] ppid=5982 vsize=709988 CPUtime=2.89 cores=1,3,5,7
/proc/5984/task/5986/stat : 5986 (techdemo) R 5982 5984 5302 0 -1 4202560 3126 0 0 0 289 0 0 0 25 0 4 0 529979010 727027712 16969 33554432000 4194304 4797429 140735412238480 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5984/tid=5987] ppid=5982 vsize=709988 CPUtime=2.88 cores=1,3,5,7
/proc/5984/task/5987/stat : 5987 (techdemo) R 5982 5984 5302 0 -1 4202560 3312 0 0 0 287 1 0 0 24 0 4 0 529979010 727027712 16969 33554432000 4194304 4797429 140735412238480 18446744073709551615 4428984 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5984/tid=5988] ppid=5982 vsize=709988 CPUtime=2.9 cores=1,3,5,7
/proc/5984/task/5988/stat : 5988 (techdemo) R 5982 5984 5302 0 -1 4202560 3391 0 0 0 289 1 0 0 24 0 4 0 529979010 727027712 16969 33554432000 4194304 4797429 140735412238480 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.8
Current children cumulated vsize (KiB) 709988

[startup+6.30103 s]
/proc/loadavg: 8.08 7.93 7.40 9/184 5988
/proc/meminfo: memFree=24627060/32950928 swapFree=67111464/67111528
[pid=5984] ppid=5982 vsize=714908 CPUtime=24.58 cores=1,3,5,7
/proc/5984/stat : 5984 (techdemo) R 5982 5984 5302 0 -1 4202496 27706 0 0 0 2452 6 0 0 25 0 4 0 529978990 732065792 21564 33554432000 4194304 4797429 140735412238480 18446744073709551615 4520291 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5984/statm: 178727 21564 415 148 0 173656 0
[pid=5984/tid=5986] ppid=5982 vsize=714908 CPUtime=6.1 cores=1,3,5,7
/proc/5984/task/5986/stat : 5986 (techdemo) R 5982 5984 5302 0 -1 4202560 4235 0 0 0 609 1 0 0 25 0 4 0 529979010 732065792 21564 33554432000 4194304 4797429 140735412238480 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5984/tid=5987] ppid=5982 vsize=714908 CPUtime=6.06 cores=1,3,5,7
/proc/5984/task/5987/stat : 5987 (techdemo) R 5982 5984 5302 0 -1 4202560 4191 0 0 0 605 1 0 0 25 0 4 0 529979010 732065792 21564 33554432000 4194304 4797429 140735412238480 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5984/tid=5988] ppid=5982 vsize=714908 CPUtime=6.1 cores=1,3,5,7
/proc/5984/task/5988/stat : 5988 (techdemo) R 5982 5984 5302 0 -1 4202560 4283 0 0 0 609 1 0 0 25 0 4 0 529979010 732065792 21564 33554432000 4194304 4797429 140735412238480 18446744073709551615 4524495 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.58
Current children cumulated vsize (KiB) 714908

[startup+12.7068 s]
/proc/loadavg: 8.07 7.93 7.41 9/184 5989
/proc/meminfo: memFree=24492800/32950928 swapFree=67111464/67111528
[pid=5984] ppid=5982 vsize=716460 CPUtime=50.17 cores=1,3,5,7
/proc/5984/stat : 5984 (techdemo) R 5982 5984 5302 0 -1 4202496 32138 0 0 0 5010 7 0 0 25 0 4 0 529978990 733655040 23099 33554432000 4194304 4797429 140735412238480 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5984/statm: 179115 23099 416 148 0 174044 0
[pid=5984/tid=5986] ppid=5982 vsize=716460 CPUtime=12.5 cores=1,3,5,7
/proc/5984/task/5986/stat : 5986 (techdemo) R 5982 5984 5302 0 -1 4202560 5312 0 0 0 1249 1 0 0 25 0 4 0 529979010 733655040 23099 33554432000 4194304 4797429 140735412238480 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5984/tid=5987] ppid=5982 vsize=716460 CPUtime=12.43 cores=1,3,5,7
/proc/5984/task/5987/stat : 5987 (techdemo) R 5982 5984 5302 0 -1 4202560 4652 0 0 0 1242 1 0 0 25 0 4 0 529979010 733655040 23099 33554432000 4194304 4797429 140735412238480 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5984/tid=5988] ppid=5982 vsize=716460 CPUtime=12.5 cores=1,3,5,7
/proc/5984/task/5988/stat : 5988 (techdemo) R 5982 5984 5302 0 -1 4202560 4803 0 0 0 1249 1 0 0 25 0 4 0 529979010 733655040 23099 33554432000 4194304 4797429 140735412238480 18446744073709551615 4524092 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.17
Current children cumulated vsize (KiB) 716460

[startup+25.5002 s]
/proc/loadavg: 8.06 7.93 7.41 9/184 5989
/proc/meminfo: memFree=24433660/32950928 swapFree=67111464/67111528
[pid=5984] ppid=5982 vsize=720156 CPUtime=101.27 cores=1,3,5,7
/proc/5984/stat : 5984 (techdemo) R 5982 5984 5302 0 -1 4202496 40235 0 0 0 10118 9 0 0 25 0 4 0 529978990 737439744 25688 33554432000 4194304 4797429 140735412238480 18446744073709551615 4520392 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5984/statm: 180039 25688 418 148 0 174968 0
[pid=5984/tid=5986] ppid=5982 vsize=720156 CPUtime=25.29 cores=1,3,5,7
/proc/5984/task/5986/stat : 5986 (techdemo) R 5982 5984 5302 0 -1 4202560 5921 0 0 0 2528 1 0 0 25 0 4 0 529979010 737439744 25688 33554432000 4194304 4797429 140735412238480 18446744073709551615 4425057 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5984/tid=5987] ppid=5982 vsize=720156 CPUtime=25.17 cores=1,3,5,7
/proc/5984/task/5987/stat : 5987 (techdemo) R 5982 5984 5302 0 -1 4202560 5798 0 0 0 2515 2 0 0 25 0 4 0 529979010 737439744 25688 33554432000 4194304 4797429 140735412238480 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5984/tid=5988] ppid=5982 vsize=720156 CPUtime=25.29 cores=1,3,5,7
/proc/5984/task/5988/stat : 5988 (techdemo) R 5982 5984 5302 0 -1 4202560 5818 0 0 0 2528 1 0 0 25 0 4 0 529979010 737439744 25688 33554432000 4194304 4797429 140735412238480 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.27
Current children cumulated vsize (KiB) 720156

[startup+51.1011 s]
/proc/loadavg: 8.04 7.94 7.43 9/184 5990
/proc/meminfo: memFree=24216476/32950928 swapFree=67111464/67111528
[pid=5984] ppid=5982 vsize=725288 CPUtime=203.56 cores=1,3,5,7
/proc/5984/stat : 5984 (techdemo) R 5982 5984 5302 0 -1 4202496 57891 0 0 0 20341 15 0 0 25 0 4 0 529978990 742694912 31953 33554432000 4194304 4797429 140735412238480 18446744073709551615 4524596 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5984/statm: 181322 31953 419 148 0 176251 0
[pid=5984/tid=5986] ppid=5982 vsize=725288 CPUtime=50.91 cores=1,3,5,7
/proc/5984/task/5986/stat : 5986 (techdemo) R 5982 5984 5302 0 -1 4202560 7893 0 0 0 5089 2 0 0 25 0 4 0 529979010 742694912 31953 33554432000 4194304 4797429 140735412238480 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5984/tid=5987] ppid=5982 vsize=725288 CPUtime=50.63 cores=1,3,5,7
/proc/5984/task/5987/stat : 5987 (techdemo) R 5982 5984 5302 0 -1 4202560 7363 0 0 0 5060 3 0 0 25 0 4 0 529979010 742694912 31953 33554432000 4194304 4797429 140735412238480 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5984/tid=5988] ppid=5982 vsize=725288 CPUtime=50.9 cores=1,3,5,7
/proc/5984/task/5988/stat : 5988 (techdemo) R 5982 5984 5302 0 -1 4202560 7292 0 0 0 5088 2 0 0 25 0 4 0 529979010 742694912 31953 33554432000 4194304 4797429 140735412238480 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.56
Current children cumulated vsize (KiB) 725288

[startup+102.301 s]
/proc/loadavg: 8.08 7.96 7.46 9/184 5991
/proc/meminfo: memFree=23931420/32950928 swapFree=67111464/67111528
[pid=5984] ppid=5982 vsize=732340 CPUtime=408.07 cores=1,3,5,7
/proc/5984/stat : 5984 (techdemo) R 5982 5984 5302 0 -1 4202496 96223 0 0 0 40782 25 0 0 25 0 4 0 529978990 749916160 38434 33554432000 4194304 4797429 140735412238480 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5984/statm: 183085 38434 421 148 0 178014 0
[pid=5984/tid=5986] ppid=5982 vsize=732340 CPUtime=102.1 cores=1,3,5,7
/proc/5984/task/5986/stat : 5986 (techdemo) R 5982 5984 5302 0 -1 4202560 9882 0 0 0 10208 2 0 0 25 0 4 0 529979010 749916160 38434 33554432000 4194304 4797429 140735412238480 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5984/tid=5987] ppid=5982 vsize=732340 CPUtime=101.54 cores=1,3,5,7
/proc/5984/task/5987/stat : 5987 (techdemo) R 5982 5984 5302 0 -1 4202560 10304 0 0 0 10151 3 0 0 25 0 4 0 529979010 749916160 38434 33554432000 4194304 4797429 140735412238480 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5984/tid=5988] ppid=5982 vsize=732340 CPUtime=102.1 cores=1,3,5,7
/proc/5984/task/5988/stat : 5988 (techdemo) R 5982 5984 5302 0 -1 4202560 10760 0 0 0 10206 4 0 0 25 0 4 0 529979010 749916160 38434 33554432000 4194304 4797429 140735412238480 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.07
Current children cumulated vsize (KiB) 732340

[startup+162.307 s]
/proc/loadavg: 8.03 7.97 7.49 9/184 5993
/proc/meminfo: memFree=23731836/32950928 swapFree=67111464/67111528
[pid=5984] ppid=5982 vsize=738968 CPUtime=647.77 cores=1,3,5,7
/proc/5984/stat : 5984 (techdemo) R 5982 5984 5302 0 -1 4202496 139460 0 0 0 64737 40 0 0 25 0 4 0 529978990 756703232 41783 33554432000 4194304 4797429 140735412238480 18446744073709551615 4425054 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5984/statm: 184742 41783 421 148 0 179671 0
[pid=5984/tid=5986] ppid=5982 vsize=738968 CPUtime=162.11 cores=1,3,5,7
/proc/5984/task/5986/stat : 5986 (techdemo) R 5982 5984 5302 0 -1 4202560 12714 0 0 0 16208 3 0 0 25 0 4 0 529979010 756703232 41783 33554432000 4194304 4797429 140735412238480 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5984/tid=5987] ppid=5982 vsize=738968 CPUtime=161.22 cores=1,3,5,7
/proc/5984/task/5987/stat : 5987 (techdemo) R 5982 5984 5302 0 -1 4202560 12261 0 0 0 16118 4 0 0 25 0 4 0 529979010 756703232 41783 33554432000 4194304 4797429 140735412238480 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5984/tid=5988] ppid=5982 vsize=738968 CPUtime=162.11 cores=1,3,5,7
/proc/5984/task/5988/stat : 5988 (techdemo) R 5982 5984 5302 0 -1 4202560 13423 0 0 0 16206 5 0 0 25 0 4 0 529979010 756703232 41783 33554432000 4194304 4797429 140735412238480 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 647.77
Current children cumulated vsize (KiB) 738968

[startup+222.301 s]
/proc/loadavg: 8.07 7.99 7.53 9/184 5994
/proc/meminfo: memFree=23538596/32950928 swapFree=67111464/67111528
[pid=5984] ppid=5982 vsize=742796 CPUtime=887.44 cores=1,3,5,7
/proc/5984/stat : 5984 (techdemo) R 5982 5984 5302 0 -1 4202496 172683 0 0 0 88693 51 0 0 25 0 4 0 529978990 760623104 48780 33554432000 4194304 4797429 140735412238480 18446744073709551615 4424987 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5984/statm: 185699 48780 421 148 0 180628 0
[pid=5984/tid=5986] ppid=5982 vsize=742796 CPUtime=222.11 cores=1,3,5,7
/proc/5984/task/5986/stat : 5986 (techdemo) R 5982 5984 5302 0 -1 4202560 16149 0 0 0 22207 4 0 0 25 0 4 0 529979010 760623104 48780 33554432000 4194304 4797429 140735412238480 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5984/tid=5987] ppid=5982 vsize=742796 CPUtime=220.9 cores=1,3,5,7
/proc/5984/task/5987/stat : 5987 (techdemo) R 5982 5984 5302 0 -1 4202560 14762 0 0 0 22085 5 0 0 25 0 4 0 529979010 760623104 48780 33554432000 4194304 4797429 140735412238480 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5984/tid=5988] ppid=5982 vsize=742796 CPUtime=222.1 cores=1,3,5,7
/proc/5984/task/5988/stat : 5988 (techdemo) R 5982 5984 5302 0 -1 4202560 14760 0 0 0 22205 5 0 0 25 0 4 0 529979010 760623104 48780 33554432000 4194304 4797429 140735412238480 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 887.44
Current children cumulated vsize (KiB) 742796

[startup+282.301 s]
/proc/loadavg: 8.08 8.00 7.56 9/184 5996
/proc/meminfo: memFree=23407248/32950928 swapFree=67111464/67111528
[pid=5984] ppid=5982 vsize=742476 CPUtime=1127.12 cores=1,3,5,7
/proc/5984/stat : 5984 (techdemo) R 5982 5984 5302 0 -1 4202496 206454 0 0 0 112650 62 0 0 25 0 4 0 529978990 760295424 46433 33554432000 4194304 4797429 140735412238480 18446744073709551615 4429165 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5984/statm: 185619 46433 421 148 0 180548 0
[pid=5984/tid=5986] ppid=5982 vsize=742476 CPUtime=282.11 cores=1,3,5,7

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

[pid=5984] ppid=5982 vsize=819020 CPUtime=2565.27 cores=1,3,5,7
/proc/5984/stat : 5984 (techdemo) R 5982 5984 5302 0 -1 4202496 383166 0 0 0 256392 135 0 0 25 0 4 0 529978990 838676480 65812 33554432000 4194304 4797429 140735412238480 18446744073709551615 4344503 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5984/statm: 204755 65812 422 148 0 199684 0
[pid=5984/tid=5986] ppid=5982 vsize=819020 CPUtime=642.12 cores=1,3,5,7
/proc/5984/task/5986/stat : 5986 (techdemo) R 5982 5984 5302 0 -1 4202560 29621 0 0 0 64203 9 0 0 25 0 4 0 529979010 838676480 65812 33554432000 4194304 4797429 140735412238480 18446744073709551615 4520284 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5984/tid=5987] ppid=5982 vsize=819020 CPUtime=638.68 cores=1,3,5,7
/proc/5984/task/5987/stat : 5987 (techdemo) R 5982 5984 5302 0 -1 4202560 28496 0 0 0 63855 13 0 0 25 0 4 0 529979010 838676480 65812 33554432000 4194304 4797429 140735412238480 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5984/tid=5988] ppid=5982 vsize=819020 CPUtime=642.12 cores=1,3,5,7
/proc/5984/task/5988/stat : 5988 (techdemo) R 5982 5984 5302 0 -1 4202560 27263 0 0 0 64202 10 0 0 25 0 4 0 529979010 838676480 65812 33554432000 4194304 4797429 140735412238480 18446744073709551615 4427299 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2565.27
Current children cumulated vsize (KiB) 819020

[startup+702.301 s]
/proc/loadavg: 4.02 5.09 6.33 5/175 6025
/proc/meminfo: memFree=30305540/32950928 swapFree=67111464/67111528
[pid=5984] ppid=5982 vsize=820804 CPUtime=2804.98 cores=1,3,5,7
/proc/5984/stat : 5984 (techdemo) R 5982 5984 5302 0 -1 4202496 409611 0 0 0 280352 146 0 0 25 0 4 0 529978990 840503296 65627 33554432000 4194304 4797429 140735412238480 18446744073709551615 4425057 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5984/statm: 205201 65627 422 148 0 200130 0
[pid=5984/tid=5986] ppid=5982 vsize=820804 CPUtime=702.13 cores=1,3,5,7
/proc/5984/task/5986/stat : 5986 (techdemo) R 5982 5984 5302 0 -1 4202560 31109 0 0 0 70202 11 0 0 25 0 4 0 529979010 840503296 65627 33554432000 4194304 4797429 140735412238480 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5984/tid=5987] ppid=5982 vsize=820804 CPUtime=698.37 cores=1,3,5,7
/proc/5984/task/5987/stat : 5987 (techdemo) R 5982 5984 5302 0 -1 4202560 29988 0 0 0 69824 13 0 0 25 0 4 0 529979010 840503296 65627 33554432000 4194304 4797429 140735412238480 18446744073709551615 4415756 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5984/tid=5988] ppid=5982 vsize=820804 CPUtime=702.12 cores=1,3,5,7
/proc/5984/task/5988/stat : 5988 (techdemo) R 5982 5984 5302 0 -1 4202560 28906 0 0 0 70202 10 0 0 25 0 4 0 529979010 840503296 65627 33554432000 4194304 4797429 140735412238480 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2804.98
Current children cumulated vsize (KiB) 820804

[startup+762.301 s]
/proc/loadavg: 4.06 4.90 6.19 5/175 6026
/proc/meminfo: memFree=30313064/32950928 swapFree=67111464/67111528
[pid=5984] ppid=5982 vsize=822828 CPUtime=3044.65 cores=1,3,5,7
/proc/5984/stat : 5984 (techdemo) R 5982 5984 5302 0 -1 4202496 426819 0 0 0 304311 154 0 0 25 0 4 0 529978990 842575872 63721 33554432000 4194304 4797429 140735412238480 18446744073709551615 4568098 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5984/statm: 205707 63721 422 148 0 200636 0
[pid=5984/tid=5986] ppid=5982 vsize=822828 CPUtime=762.13 cores=1,3,5,7
/proc/5984/task/5986/stat : 5986 (techdemo) R 5982 5984 5302 0 -1 4202560 33159 0 0 0 76201 12 0 0 25 0 4 0 529979010 842575872 63721 33554432000 4194304 4797429 140735412238480 18446744073709551615 4346376 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5984/tid=5987] ppid=5982 vsize=822828 CPUtime=758.04 cores=1,3,5,7
/proc/5984/task/5987/stat : 5987 (techdemo) R 5982 5984 5302 0 -1 4202560 32035 0 0 0 75790 14 0 0 25 0 4 0 529979010 842575872 63721 33554432000 4194304 4797429 140735412238480 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5984/tid=5988] ppid=5982 vsize=822828 CPUtime=762.12 cores=1,3,5,7
/proc/5984/task/5988/stat : 5988 (techdemo) R 5982 5984 5302 0 -1 4202560 30675 0 0 0 76200 12 0 0 25 0 4 0 529979010 842575872 63721 33554432000 4194304 4797429 140735412238480 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3044.65
Current children cumulated vsize (KiB) 822828

[startup+822.307 s]
/proc/loadavg: 4.07 4.75 6.05 5/175 6028
/proc/meminfo: memFree=30289220/32950928 swapFree=67111464/67111528
[pid=5984] ppid=5982 vsize=823352 CPUtime=3284.36 cores=1,3,5,7
/proc/5984/stat : 5984 (techdemo) R 5982 5984 5302 0 -1 4202496 448519 0 0 0 328271 165 0 0 25 0 4 0 529978990 843112448 69766 33554432000 4194304 4797429 140735412238480 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5984/statm: 205838 69766 422 148 0 200767 0
[pid=5984/tid=5986] ppid=5982 vsize=823352 CPUtime=822.14 cores=1,3,5,7
/proc/5984/task/5986/stat : 5986 (techdemo) R 5982 5984 5302 0 -1 4202560 34251 0 0 0 82201 13 0 0 25 0 4 0 529979010 843112448 69766 33554432000 4194304 4797429 140735412238480 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5984/tid=5987] ppid=5982 vsize=823352 CPUtime=817.72 cores=1,3,5,7
/proc/5984/task/5987/stat : 5987 (techdemo) R 5982 5984 5302 0 -1 4202560 33334 0 0 0 81758 14 0 0 25 0 4 0 529979010 843112448 69766 33554432000 4194304 4797429 140735412238480 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5984/tid=5988] ppid=5982 vsize=823352 CPUtime=822.13 cores=1,3,5,7
/proc/5984/task/5988/stat : 5988 (techdemo) R 5982 5984 5302 0 -1 4202560 31947 0 0 0 82200 13 0 0 25 0 4 0 529979010 843112448 69766 33554432000 4194304 4797429 140735412238480 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.36
Current children cumulated vsize (KiB) 823352

[startup+882.301 s]
/proc/loadavg: 4.02 4.61 5.92 5/175 6030
/proc/meminfo: memFree=30267844/32950928 swapFree=67111464/67111528
[pid=5984] ppid=5982 vsize=827428 CPUtime=3524.02 cores=1,3,5,7
/proc/5984/stat : 5984 (techdemo) R 5982 5984 5302 0 -1 4202496 477201 0 0 0 352225 177 0 0 25 0 4 0 529978990 847286272 75202 33554432000 4194304 4797429 140735412238480 18446744073709551615 4425057 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5984/statm: 206857 75202 422 148 0 201786 0
[pid=5984/tid=5986] ppid=5982 vsize=827428 CPUtime=882.13 cores=1,3,5,7
/proc/5984/task/5986/stat : 5986 (techdemo) R 5982 5984 5302 0 -1 4202560 36515 0 0 0 88200 13 0 0 25 0 4 0 529979010 847286272 75202 33554432000 4194304 4797429 140735412238480 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5984/tid=5987] ppid=5982 vsize=827428 CPUtime=877.4 cores=1,3,5,7
/proc/5984/task/5987/stat : 5987 (techdemo) R 5982 5984 5302 0 -1 4202560 35410 0 0 0 87725 15 0 0 25 0 4 0 529979010 847286272 75202 33554432000 4194304 4797429 140735412238480 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5984/tid=5988] ppid=5982 vsize=827428 CPUtime=882.12 cores=1,3,5,7
/proc/5984/task/5988/stat : 5988 (techdemo) R 5982 5984 5302 0 -1 4202560 33882 0 0 0 88199 13 0 0 25 0 4 0 529979010 847286272 75202 33554432000 4194304 4797429 140735412238480 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.02
Current children cumulated vsize (KiB) 827428

[startup+942.301 s]
/proc/loadavg: 4.01 4.50 5.80 5/175 6031
/proc/meminfo: memFree=30284032/32950928 swapFree=67111464/67111528
[pid=5984] ppid=5982 vsize=829648 CPUtime=3763.72 cores=1,3,5,7
/proc/5984/stat : 5984 (techdemo) R 5982 5984 5302 0 -1 4202496 499921 0 0 0 376183 189 0 0 25 0 4 0 529978990 849559552 71060 33554432000 4194304 4797429 140735412238480 18446744073709551615 4351629 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5984/statm: 207412 71060 422 148 0 202341 0
[pid=5984/tid=5986] ppid=5982 vsize=829648 CPUtime=942.13 cores=1,3,5,7
/proc/5984/task/5986/stat : 5986 (techdemo) R 5982 5984 5302 0 -1 4202560 37618 0 0 0 94200 13 0 0 25 0 4 0 529979010 849559552 71060 33554432000 4194304 4797429 140735412238480 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5984/tid=5987] ppid=5982 vsize=829648 CPUtime=937.08 cores=1,3,5,7
/proc/5984/task/5987/stat : 5987 (techdemo) R 5982 5984 5302 0 -1 4202560 36688 0 0 0 93692 16 0 0 25 0 4 0 529979010 849559552 71060 33554432000 4194304 4797429 140735412238480 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5984/tid=5988] ppid=5982 vsize=829648 CPUtime=942.13 cores=1,3,5,7
/proc/5984/task/5988/stat : 5988 (techdemo) R 5982 5984 5302 0 -1 4202560 35111 0 0 0 94199 14 0 0 25 0 4 0 529979010 849559552 71060 33554432000 4194304 4797429 140735412238480 18446744073709551615 4238940 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3763.72
Current children cumulated vsize (KiB) 829648

[startup+1002.3 s]
/proc/loadavg: 4.05 4.42 5.69 5/175 6033
/proc/meminfo: memFree=30267132/32950928 swapFree=67111464/67111528
[pid=5984] ppid=5982 vsize=831300 CPUtime=4003.4 cores=1,3,5,7
/proc/5984/stat : 5984 (techdemo) R 5982 5984 5302 0 -1 4202496 528477 0 0 0 400138 202 0 0 25 0 4 0 529978990 851251200 75589 33554432000 4194304 4797429 140735412238480 18446744073709551615 4425054 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5984/statm: 207825 75589 422 148 0 202754 0
[pid=5984/tid=5986] ppid=5982 vsize=831300 CPUtime=1002.14 cores=1,3,5,7
/proc/5984/task/5986/stat : 5986 (techdemo) R 5982 5984 5302 0 -1 4202560 39673 0 0 0 100200 14 0 0 25 0 4 0 529979010 851251200 75589 33554432000 4194304 4797429 140735412238480 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5984/tid=5987] ppid=5982 vsize=831300 CPUtime=996.77 cores=1,3,5,7
/proc/5984/task/5987/stat : 5987 (techdemo) R 5982 5984 5302 0 -1 4202560 38654 0 0 0 99660 17 0 0 25 0 4 0 529979010 851251200 75589 33554432000 4194304 4797429 140735412238480 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5984/tid=5988] ppid=5982 vsize=831300 CPUtime=1002.13 cores=1,3,5,7
/proc/5984/task/5988/stat : 5988 (techdemo) R 5982 5984 5302 0 -1 4202560 37411 0 0 0 100199 14 0 0 25 0 4 0 529979010 851251200 75589 33554432000 4194304 4797429 140735412238480 18446744073709551615 4520284 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.4
Current children cumulated vsize (KiB) 831300

[startup+1062.3 s]
/proc/loadavg: 4.06 4.35 5.59 5/175 6035
/proc/meminfo: memFree=30240436/32950928 swapFree=67111464/67111528
[pid=5984] ppid=5982 vsize=831712 CPUtime=4243.09 cores=1,3,5,7
/proc/5984/stat : 5984 (techdemo) R 5982 5984 5302 0 -1 4202496 551194 0 0 0 424096 213 0 0 25 0 4 0 529978990 851673088 82010 33554432000 4194304 4797429 140735412238480 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5984/statm: 207928 82010 422 148 0 202857 0
[pid=5984/tid=5986] ppid=5982 vsize=831712 CPUtime=1062.14 cores=1,3,5,7
/proc/5984/task/5986/stat : 5986 (techdemo) R 5982 5984 5302 0 -1 4202560 40769 0 0 0 106200 14 0 0 25 0 4 0 529979010 851673088 82010 33554432000 4194304 4797429 140735412238480 18446744073709551615 4427384 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5984/tid=5987] ppid=5982 vsize=831712 CPUtime=1056.45 cores=1,3,5,7
/proc/5984/task/5987/stat : 5987 (techdemo) R 5982 5984 5302 0 -1 4202560 39788 0 0 0 105627 18 0 0 25 0 4 0 529979010 851673088 82010 33554432000 4194304 4797429 140735412238480 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5984/tid=5988] ppid=5982 vsize=831712 CPUtime=1062.13 cores=1,3,5,7
/proc/5984/task/5988/stat : 5988 (techdemo) R 5982 5984 5302 0 -1 4202560 38647 0 0 0 106198 15 0 0 25 0 4 0 529979010 851673088 82010 33554432000 4194304 4797429 140735412238480 18446744073709551615 4430179 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.09
Current children cumulated vsize (KiB) 831712

[startup+1122.3 s]
/proc/loadavg: 4.06 4.30 5.49 5/175 6036
/proc/meminfo: memFree=30244388/32950928 swapFree=67111464/67111528
[pid=5984] ppid=5982 vsize=835460 CPUtime=4482.78 cores=1,3,5,7
/proc/5984/stat : 5984 (techdemo) R 5982 5984 5302 0 -1 4202496 576548 0 0 0 448054 224 0 0 25 0 4 0 529978990 855511040 81167 33554432000 4194304 4797429 140735412238480 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5984/statm: 208865 81167 422 148 0 203794 0
[pid=5984/tid=5986] ppid=5982 vsize=835460 CPUtime=1122.14 cores=1,3,5,7
/proc/5984/task/5986/stat : 5986 (techdemo) R 5982 5984 5302 0 -1 4202560 42804 0 0 0 112199 15 0 0 25 0 4 0 529979010 855511040 81167 33554432000 4194304 4797429 140735412238480 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5984/tid=5987] ppid=5982 vsize=835460 CPUtime=1116.13 cores=1,3,5,7
/proc/5984/task/5987/stat : 5987 (techdemo) R 5982 5984 5302 0 -1 4202560 41768 0 0 0 111595 18 0 0 25 0 4 0 529979010 855511040 81167 33554432000 4194304 4797429 140735412238480 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5984/tid=5988] ppid=5982 vsize=835460 CPUtime=1122.14 cores=1,3,5,7
/proc/5984/task/5988/stat : 5988 (techdemo) R 5982 5984 5302 0 -1 4202560 40221 0 0 0 112198 16 0 0 25 0 4 0 529979010 855511040 81167 33554432000 4194304 4797429 140735412238480 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4482.78
Current children cumulated vsize (KiB) 835460

[startup+1182.3 s]
/proc/loadavg: 4.05 4.26 5.40 5/175 6038
/proc/meminfo: memFree=30271520/32950928 swapFree=67111464/67111528
[pid=5984] ppid=5982 vsize=836128 CPUtime=4722.47 cores=1,3,5,7
/proc/5984/stat : 5984 (techdemo) R 5982 5984 5302 0 -1 4202496 603720 0 0 0 472013 234 0 0 25 0 4 0 529978990 856195072 74480 33554432000 4194304 4797429 140735412238480 18446744073709551615 4341187 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5984/statm: 209032 74480 422 148 0 203961 0
[pid=5984/tid=5986] ppid=5982 vsize=836128 CPUtime=1182.15 cores=1,3,5,7
/proc/5984/task/5986/stat : 5986 (techdemo) R 5982 5984 5302 0 -1 4202560 44349 0 0 0 118199 16 0 0 25 0 4 0 529979010 856195072 74480 33554432000 4194304 4797429 140735412238480 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5984/tid=5987] ppid=5982 vsize=836128 CPUtime=1175.81 cores=1,3,5,7
/proc/5984/task/5987/stat : 5987 (techdemo) R 5982 5984 5302 0 -1 4202560 43538 0 0 0 117562 19 0 0 25 0 4 0 529979010 856195072 74480 33554432000 4194304 4797429 140735412238480 18446744073709551615 4423712 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5984/tid=5988] ppid=5982 vsize=836128 CPUtime=1182.14 cores=1,3,5,7
/proc/5984/task/5988/stat : 5988 (techdemo) R 5982 5984 5302 0 -1 4202560 41666 0 0 0 118198 16 0 0 25 0 4 0 529979010 856195072 74480 33554432000 4194304 4797429 140735412238480 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.47
Current children cumulated vsize (KiB) 836128



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.81 s]
/proc/loadavg: 4.10 4.26 5.37 5/175 6038
/proc/meminfo: memFree=30245720/32950928 swapFree=67111464/67111528
[pid=5984] ppid=5982 vsize=836128 CPUtime=4800.4 cores=1,3,5,7
/proc/5984/stat : 5984 (techdemo) R 5982 5984 5302 0 -1 4202496 609846 0 0 0 479803 237 0 0 25 0 4 0 529978990 856195072 80570 33554432000 4194304 4797429 140735412238480 18446744073709551615 4425045 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5984/statm: 209032 80570 422 148 0 203961 0
[pid=5984/tid=5986] ppid=5982 vsize=836128 CPUtime=1201.66 cores=1,3,5,7
/proc/5984/task/5986/stat : 5986 (techdemo) R 5982 5984 5302 0 -1 4202560 44717 0 0 0 120150 16 0 0 25 0 4 0 529979010 856195072 80570 33554432000 4194304 4797429 140735412238480 18446744073709551615 4642194 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5984/tid=5987] ppid=5982 vsize=836128 CPUtime=1195.21 cores=1,3,5,7
/proc/5984/task/5987/stat : 5987 (techdemo) R 5982 5984 5302 0 -1 4202560 43796 0 0 0 119502 19 0 0 25 0 4 0 529979010 856195072 80570 33554432000 4194304 4797429 140735412238480 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5984/tid=5988] ppid=5982 vsize=836128 CPUtime=1201.65 cores=1,3,5,7
/proc/5984/task/5988/stat : 5988 (techdemo) R 5982 5984 5302 0 -1 4202560 41853 0 0 0 120149 16 0 0 25 0 4 0 529979010 856195072 80570 33554432000 4194304 4797429 140735412238480 18446744073709551615 4526328 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 836128

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.83
CPU time (s): 4800.44
CPU user time (s): 4798.05
CPU system time (s): 2.39164
CPU usage (%): 399.427
Max. virtual memory (cumulated for all children) (KiB): 955396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.05
system time used= 2.39164
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 609847
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= 800
involuntary context switches= 30546

runsolver used 1.73873 second user time and 4.74228 second system time

The end

Launcher Data 

Begin job on node149 at 2011-04-30 19:17:03
IDJOB=3251459
IDBENCH=88223
IDSOLVER=1584
FILE ID=node149/3251459-1304183823
RUNJOBID= node149-1304182928-5906
PBS_JOBID= 13172449
Free space on /tmp= 73236 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m42-q663-n40-p15-s72490337.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3251459-1304183823/watcher-3251459-1304183823 -o /tmp/evaluation-result-3251459-1304183823/solver-3251459-1304183823 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3251459-1304183823.cnf

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

MD5SUM BENCH= ab8e40d31c79e7a71114e3126a46874f
RANDOM SEED=867081838

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24724524 kB
Buffers:        518340 kB
Cached:        1514980 kB
SwapCached:         60 kB
Active:        6028052 kB
Inactive:      1810304 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24724524 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:           10936 kB
Writeback:           0 kB
AnonPages:     5804768 kB
Mapped:          15608 kB
Slab:           312380 kB
PageTables:      17948 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  7374824 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= 73316 MiB
End job on node149 at 2011-04-30 19:37:07