Trace number 3172829

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 1201.72

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v60-c5340-S1556216475-025.UNKNOWN.cnf
MD5SUM4227d784a99fd8c0304137876add0b08
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark398.758
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of clauses5340
Sum of the clauses size37380
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 55340

Solver Data 

0.00/0.01	c Outputting solution to console
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c Using 4 thread(s)
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3172829-1304103978.cnf'
0.00/0.01	c -- header says num vars:             60
0.00/0.01	c -- header says num clauses:        5340
0.00/0.02	c -- clauses added:            0 learnts,         5340 normals,            0 xors
0.00/0.02	c -- vars added         60
0.00/0.02	c Parsing time:  0.01 s
0.00/0.02	c  N st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.31/0.13	c asymm  cl-useful: 0/1900/5340 lits-rem:0 time: 0.43
0.31/0.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.01
0.31/0.13	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
0.31/0.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.31/0.13	c Subs w/ non-existent bins:      0 time:  0.00 s
0.31/0.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.31/0.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.31/0.13	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
0.31/0.15	c lits-rem:         0  cl-subs:        0  v-elim:     40  v-fix:    0  time:  0.04 s
0.31/0.15	c learnt bin added due to v-elim: 0
0.31/0.15	c Finding binary XORs  T:     0.00 s  found:       0
0.31/0.15	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.31/0.15	c calculated reachability. Time: 0.00
0.31/0.15	c Calc default polars -  time:   0.00 s pos:      25 undec:       1 neg:      34
0.31/0.15	c =========================================================================================
0.31/0.15	c types(t): F = full restart, N = normal restart
0.31/0.15	c types(t): S = simplification begin/end, E = solution found
0.31/0.15	c restart types(rt): st = static, dy = dynamic
0.31/0.15	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.31/0.15	c  B st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.71/0.23	c Decided on static restart strategy
1.11/0.32	c  N dy    19      4046        60      5340         0      3627     37380     77298     20.79     18.66  --
1.91/0.52	c  N dy    46      8110        60      5340         0      5016     37380    100575     21.50     18.72  --
2.70/0.75	c  N dy    73     12130        60      5340         0      4817     37380     88029     21.87     18.75  --
3.50/0.99	c  N dy   101     16243        60      5340         0      8527     37380    167750     21.94     18.85  --
4.70/1.25	c  N dy   128     20246        60      5340         0      7101     37380    126630     21.70     18.87  --
5.90/1.53	c  N dy   155     24263        60      5340         0     10752     37380    204548     21.55     18.87  --
7.09/1.82	c  N dy   182     28305        60      5340         0      8246     37380    140700     21.76     18.86  --
7.49/1.94	c  S st   194     30000        60      5340         0      9766     37380    172958     21.41     18.86  --
7.49/1.99	c  S st   194     30502        60      5340         0     10225     37380    182789     21.41     18.86  --
7.49/1.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.49/1.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.89/2.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.0M T:  0.08
7.89/2.01	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
7.89/2.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.89/2.01	c Subs w/ non-existent bins:      0 time:  0.00 s
7.89/2.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.89/2.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.89/2.01	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
9.89/2.59	c lits-rem:      1292  cl-subs:     1284  v-elim:     60  v-fix:    0  time:  2.30 s
9.89/2.59	c learnt bin added due to v-elim: 0
9.89/2.59	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
9.89/2.59	c vivif2 --  cl tried     8941 cl shrink        0 lits rem          0 time: 0.00
10.69/2.74	c asymm  cl-useful: 0/2018/5340 lits-rem:0 time: 0.60
10.69/2.74	c calculated reachability. Time: 0.00
10.69/2.74	c  N dy   194     30502        60      5340         0      8941     37380    156698     21.41     18.86  --
10.69/2.74	c  F st   194     30502        60      5340         0      8941     37380    156698     21.41     18.86  --
11.09/2.89	c Decided on static restart strategy
11.89/3.04	c  N dy   213     34550        60      5340         0     12556     37380    233230     21.25     18.84  --
13.11/3.36	c  N dy   240     38577        60      5340         0      9102     37380    150154     21.32     18.85  --
14.28/3.67	c  N dy   268     42714        60      5340         0     12786     37380    229084     21.62     18.87  --
15.48/3.95	c  S st   289     45753        60      5340         0     15504     37380    287215     21.09     18.87  --
15.88/4.01	c  S st   289     46259        60      5340         0     15965     37380    297178     21.09     18.87  --
15.88/4.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.88/4.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.88/4.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.1M T:  0.16
15.88/4.05	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
15.88/4.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.88/4.06	c Subs w/ non-existent bins:      0 time:  0.01 s
15.88/4.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.88/4.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.88/4.06	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
18.68/4.72	c lits-rem:      1733  cl-subs:     2073  v-elim:     60  v-fix:    0  time:  2.64 s
18.68/4.72	c learnt bin added due to v-elim: 0
18.68/4.72	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
18.68/4.73	c vivif2 --  cl tried    13892 cl shrink        0 lits rem          0 time: 0.01
19.08/4.88	c asymm  cl-useful: 0/1422/5340 lits-rem:0 time: 0.61
19.08/4.88	c calculated reachability. Time: 0.00
19.08/4.88	c  N dy   289     46259        60      5340         0     13892     37380    250500     21.09     18.87  --
20.68/5.24	c  N dy   317     50391        60      5340         0      9701     37380    153314     21.16     18.89  --
21.90/5.55	c  N dy   344     54393        60      5340         0     13278     37380    229879     21.50     18.90  --
23.47/5.92	c  N dy   371     58410        60      5340         0     16887     37380    307047     21.55     18.90  --
24.67/6.27	c  N dy   398     62429        60      5340         0     11623     37380    182662     21.70     18.89  --
26.29/6.63	c  N dy   425     66510        60      5340         0     15265     37380    260402     21.58     18.90  --
27.47/6.93	c  S st   445     69389        60      5340         0     17830     37380    315091     21.17     18.90  --
27.47/6.99	c  S st   445     69889        60      5340         0     18296     37380    325329     21.17     18.90  --
27.47/6.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.47/6.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.87/7.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.1M T:  0.22
27.87/7.05	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
27.87/7.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.87/7.05	c Subs w/ non-existent bins:      0 time:  0.01 s
27.87/7.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.87/7.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.87/7.06	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
31.06/7.81	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.00
35.08/8.86	c Added 1 vars  tried: 16020 time: 4.20
35.08/8.86	c ORs :      1 avg-s:  0.0 cl-sh:  1117 l-rem:   1117 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:    4.23
35.08/8.87	c lits-rem:      1914  cl-subs:     2275  v-elim:     60  v-fix:    0  time:  7.24 s
35.08/8.87	c learnt bin added due to v-elim: 0
35.08/8.87	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
35.08/8.87	c vivif2 --  cl tried    16021 cl shrink        0 lits rem          0 time: 0.01
35.86/9.04	c asymm  cl-useful: 0/1542/5341 lits-rem:0 time: 0.68
35.86/9.04	c calculated reachability. Time: 0.00
35.86/9.04	c  N dy   445     69889        61      5341         2     16021     37367    274091     21.17     18.90  --
35.86/9.04	c  F st   445     69889        61      5341         2     16021     37367    274091     21.17     18.90  --
36.66/9.24	c Decided on static restart strategy
37.86/9.50	c  N dy   468     74492        61      5341         2     10460     37367    149441     21.19     18.89  --
39.47/9.92	c  N dy   501     79381        61      5341         2     14846     37367    243020     21.43     18.89  --
41.45/10.44	c  N dy   535     84469        61      5341         2     19407     37367    340261     21.40     18.89  --
43.47/11.00	c  N dy   572     89992        61      5341         2     13677     37367    206303     22.12     18.89  --
45.85/11.58	c  N dy   611     95797        61      5341         2     18934     37367    318053     21.48     18.88  --
49.04/12.30	c  N dy   653    102064        61      5341         2     12936     37367    179592     21.85     18.89  --
49.84/12.57	c  S st   672    104833        61      5341         2     15425     37367    232776     21.71     18.89  --
50.24/12.63	c  S st   672    105338        61      5341         2     15887     37367    242902     21.71     18.89  --
50.24/12.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
50.24/12.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
50.24/12.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.6M T:  0.21
50.24/12.68	c Calc non-exist non-lernt bins v-fix:     0 done:     61 time:  0.00 s
50.24/12.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
50.24/12.68	c Subs w/ non-existent bins:      0 time:  0.00 s
50.24/12.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
50.24/12.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.24/12.69	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
53.03/13.31	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
53.03/13.31	c lits-rem:       988  cl-subs:     1300  v-elim:     60  v-fix:    0  time:  2.50 s
53.03/13.31	c learnt bin added due to v-elim: 0
53.03/13.31	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
53.03/13.31	c vivif2 --  cl tried    14587 cl shrink        0 lits rem          0 time: 0.01
53.43/13.47	c asymm  cl-useful: 0/1503/5341 lits-rem:0 time: 0.61
53.43/13.47	c calculated reachability. Time: 0.00
53.43/13.47	c  N dy   672    105338        61      5341         2     14587     37367    216787     21.71     18.89  --
56.23/14.18	c  N dy   718    112197        61      5341         2     20749     37367    349268     21.84     18.91  --
59.83/15.05	c  N dy   767    119487        61      5341         2     14781     37367    209430     21.36     18.89  --
63.02/15.87	c  N dy   819    127200        61      5341         2     21723     37367    358292     21.89     18.90  --
67.42/16.90	c  N dy   873    135334        61      5341         2     15588     37367    218929     21.70     18.89  --
71.01/17.89	c  N dy   932    144082        61      5341         2     23435     37367    386431     21.70     18.89  --
75.81/19.09	c  N dy   994    153340        61      5341         2     17372     37367    245421     21.79     18.91  --
78.21/19.64	c  S st  1026    158007        61      5341         2     21538     37367    334062     21.73     18.90  --
78.62/19.72	c  S st  1026    158508        61      5341         2     22006     37367    344319     21.73     18.90  --
78.62/19.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
78.62/19.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
78.62/19.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.6M T:  0.33
78.62/19.80	c Calc non-exist non-lernt bins v-fix:     0 done:     61 time:  0.00 s
78.62/19.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
79.02/19.80	c Subs w/ non-existent bins:      0 time:  0.01 s
79.02/19.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
79.02/19.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.02/19.81	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
82.20/20.69	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
82.20/20.69	c lits-rem:      1252  cl-subs:     2094  v-elim:     60  v-fix:    0  time:  3.53 s
82.20/20.69	c learnt bin added due to v-elim: 0
82.20/20.69	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
82.60/20.70	c vivif2 --  cl tried    19912 cl shrink        0 lits rem          0 time: 0.01
83.01/20.85	c asymm  cl-useful: 0/1132/5341 lits-rem:0 time: 0.61
83.01/20.85	c calculated reachability. Time: 0.00
83.01/20.85	c  N dy  1026    158508        61      5341         2     19912     37367    301124     21.73     18.90  --
88.58/22.23	c  N dy  1094    168655        61      5341         2     28977     37367    496125     21.88     18.91  --
93.77/23.58	c  N dy  1166    179449        61      5341         2     23544     37367    366148     21.79     18.91  --
100.59/25.27	c  N dy  1243    190933        61      5341         2     17788     37367    232135     21.45     18.91  --
107.36/26.91	c  N dy  1325    203176        61      5341         2     28825     37367    467062     21.20     18.90  --
114.55/28.79	c  N dy  1412    216187        61      5341         2     23466     37367    343793     21.33     18.90  --
123.74/31.07	c  N dy  1506    230098        65      5341        10     17999     37383    217121     21.17     18.91  --
127.74/32.06	c  S st  1558    237763        65      5341        10     24871     37383    364125     22.35     18.91  --
128.14/32.14	c  S st  1558    238264        65      5341        10     25336     37383    374229     22.35     18.91  --
128.14/32.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
128.14/32.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
128.54/32.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.5M T:  0.44
128.54/32.26	c Calc non-exist non-lernt bins v-fix:     0 done:     65 time:  0.00 s
128.54/32.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
128.54/32.26	c Subs w/ non-existent bins:      0 time:  0.01 s
128.54/32.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
128.54/32.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
128.54/32.27	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
132.53/33.24	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
132.53/33.24	c lits-rem:      1161  cl-subs:     2266  v-elim:     60  v-fix:    0  time:  3.89 s
132.53/33.24	c learnt bin added due to v-elim: 0
132.53/33.24	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
132.53/33.25	c vivif2 --  cl tried    23070 cl shrink        0 lits rem          0 time: 0.01
133.33/33.41	c asymm  cl-useful: 0/904/5341 lits-rem:0 time: 0.64
133.33/33.41	c calculated reachability. Time: 0.00
133.33/33.41	c  N dy  1558    238264        65      5341        10     23070     37383    330622     22.35     18.91  --
143.31/35.94	c  N dy  1661    253584        65      5341        10     36899     37383    625191     21.80     18.87  --
152.90/38.39	c  N dy  1771    269823        65      5341        10     32754     37383    523003     21.70     18.85  --
164.48/41.28	c  N dy  1888    287175        65      5341        10     28677     37383    423095     21.46     18.82  --
177.67/44.58	c  N dy  2012    305552        65      5341        10     24559     37383    322541     21.39     18.80  --
192.05/48.14	c  N dy  2144    325100        65      5341        10     42241     37383    700335     21.74     18.77  --
206.05/51.66	c  N dy  2280    345247        65      5341        10     38862     37383    617066     22.20     18.74  --
215.61/54.02	c  S st  2363    357396        69      5341        23     27238     37403    357171     21.53     18.73  --
216.01/54.12	c  S st  2363    357900        69      5341        23     27705     37403    367448     21.53     18.73  --
216.01/54.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
216.01/54.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
216.41/54.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      1 BRemL:      0 BRemN:      0 CBin:       0 P:  9.2M T:  0.50
216.41/54.24	c Calc non-exist non-lernt bins v-fix:     0 done:     69 time:  0.00 s
216.41/54.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
216.41/54.25	c Subs w/ non-existent bins:      0 time:  0.01 s
216.41/54.26	c Replacing        2 vars Replaced     1196 lits Time:     0.03 s 
216.41/54.26	c bin-w-bin subsume rem            4 bins  time:  0.00 s
216.41/54.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
216.41/54.26	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
220.81/55.31	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
220.81/55.31	c lits-rem:       891  cl-subs:     1931  v-elim:     60  v-fix:    0  time:  4.20 s
220.81/55.31	c learnt bin added due to v-elim: 0
220.81/55.31	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
220.81/55.32	c vivif2 --  cl tried    25774 cl shrink        0 lits rem          0 time: 0.02
221.21/55.47	c asymm  cl-useful: 0/1044/5341 lits-rem:0 time: 0.64
221.21/55.48	c calculated reachability. Time: 0.00
221.21/55.48	c  N dy  2363    357900        67      5341        14     25774     37391    333596     21.53     18.73  --
366.22/91.70	c  N dy  2427    536851        67      5341        14     32335     37391    426420     20.04     17.82  --
366.22/91.72	c  S st  2427    536851        67      5341        14     32335     37391    426420     20.04     17.82  --
366.62/91.83	c  S st  2427    537354        71      5341        38     32802     37423    436709     20.04     17.82  --
366.62/91.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
366.62/91.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
367.42/92.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 11.6M T:  0.67
367.42/92.00	c Calc non-exist non-lernt bins v-fix:     0 done:     71 time:  0.00 s
367.42/92.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
367.42/92.01	c Subs w/ non-existent bins:      0 time:  0.02 s
367.42/92.01	c Replacing        4 vars Replaced      547 lits Time:     0.02 s 
367.42/92.02	c bin-w-bin subsume rem            8 bins  time:  0.00 s
367.42/92.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
367.42/92.02	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
373.03/93.49	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
395.77/99.17	c Added 1 vars  tried: 80000 time: 22.69
396.17/99.21	c ORs :      1 avg-s:  0.0 cl-sh:  3397 l-rem:   3397 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   22.85
396.17/99.22	c lits-rem:      1574  cl-subs:     1707  v-elim:     60  v-fix:    0  time: 28.75 s
396.17/99.22	c learnt bin added due to v-elim: 0
396.17/99.22	c vivif2 --  cl tried     5342 cl shrink        0 lits rem          0 time: 0.00
396.17/99.22	c vivif2 --  cl tried    31095 cl shrink        0 lits rem          0 time: 0.02
396.57/99.38	c asymm  cl-useful: 0/1047/5342 lits-rem:0 time: 0.63
396.57/99.38	c calculated reachability. Time: 0.00
396.57/99.38	c  N dy  2427    537354        68      5342        16     31095     37374    400244     20.04     17.82  --
396.57/99.38	c  F st  2427    537354        68      5342        16     31095     37374    400244     20.04     17.82  --
398.17/99.79	c Decided on static restart strategy
413.75/103.63	c  N dy  2555    557492        68      5342        16     49463     37374    795573     21.42     17.84  --
432.12/108.27	c  N dy  2691    577589        68      5342        16     39202     37374    558603     21.75     17.85  --
452.52/113.37	c  N dy  2827    597604        68      5342        16     57456     37374    951941     21.39     17.86  --
470.87/118.00	c  N dy  2963    617709        72      5342        28     46004     37394    690835     21.67     17.87  --
664.62/166.43	c  N dy  2997    806033        72      5342        28     52195     37394    745515     18.23     17.30  --
664.62/166.46	c  S st  2997    806033        72      5342        28     52195     37394    745515     18.23     17.30  --
665.42/166.63	c  S st  2997    806538        76      5342        40     52663     37414    755636     18.23     17.30  --
665.42/166.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
665.42/166.63	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
666.62/166.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 19.6M T:  1.25
666.62/166.94	c Calc non-exist non-lernt bins v-fix:     0 done:     76 time:  0.00 s
666.62/166.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
666.62/166.95	c Subs w/ non-existent bins:      0 time:  0.04 s
666.62/166.96	c Replacing        2 vars Replaced       39 lits Time:     0.01 s 
666.62/166.97	c bin-w-bin subsume rem            4 bins  time:  0.00 s
666.62/166.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
666.62/166.97	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
679.39/170.12	c ORs :      2 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 24.0 T:    0.06
679.39/170.13	c lits-rem:      1614  cl-subs:     9041  v-elim:     60  v-fix:    0  time: 12.63 s
679.39/170.13	c learnt bin added due to v-elim: 0
679.39/170.13	c vivif2 --  cl tried     5342 cl shrink        0 lits rem          0 time: 0.00
679.39/170.14	c vivif2 --  cl tried    43621 cl shrink        0 lits rem          0 time: 0.04
679.79/170.23	c asymm  cl-useful: 0/262/5342 lits-rem:0 time: 0.37
679.79/170.24	c calculated reachability. Time: 0.00
679.79/170.24	c  N dy  2997    806538        74      5342        28     43621     37398    600836     18.23     17.30  --
702.99/176.09	c  N dy  3133    826637        75      5342        30     61842     37402    993050     21.72     17.31  --
725.34/181.62	c  N dy  3269    846681        75      5342        30     45894     37402    646557     21.45     17.33  --
1198.70/300.20	c  N dy  3345   1209807        75      5342        30     61459     37402    911850     21.73     16.53  --
1199.12/300.24	c  S st  3345   1209807        75      5342        30     61459     37402    911850     21.73     16.53  --
1199.90/300.46	c  S st  3345   1210311        75      5342        30     61919     37402    921854     21.73     16.53  --
1199.90/300.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1199.90/300.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1201.90/300.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 25.3M T:  1.76
1201.90/300.90	c Calc non-exist non-lernt bins v-fix:     0 done:     75 time:  0.00 s
1201.90/300.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1201.90/300.91	c Subs w/ non-existent bins:      0 time:  0.05 s
1201.90/300.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1201.90/300.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1201.90/300.93	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1215.08/304.26	c ORs :      2 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.06
1266.21/317.10	c Added 1 vars  tried: 80000 time: 51.28
1267.81/317.46	c ORs :      1 avg-s:  0.0 cl-sh: 12058 l-rem:  12058 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   52.72
1267.81/317.47	c lits-rem:      1332  cl-subs:     4562  v-elim:     60  v-fix:    0  time: 66.08 s
1267.81/317.47	c learnt bin added due to v-elim: 0
1267.81/317.47	c vivif2 --  cl tried     5343 cl shrink        0 lits rem          0 time: 0.00
1267.81/317.49	c vivif2 --  cl tried    57357 cl shrink        0 lits rem          0 time: 0.05
1268.21/317.58	c asymm  cl-useful: 0/284/5343 lits-rem:0 time: 0.36
1268.21/317.58	c calculated reachability. Time: 0.00
1268.21/317.58	c  N dy  3345   1210311        76      5343        32     57357     37385    821773     21.73     16.53  --
2039.18/510.55	c  N dy  3354   1710311        76      5343        32     85052     37385   1295427     21.44     16.05  --
2039.58/510.60	c  S st  3354   1710311        76      5343        32     85052     37385   1295427     21.44     16.05  --
2040.78/510.91	c  S st  3354   1710815        76      5343        32     85521     37385   1305833     21.44     16.05  --
2040.78/510.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2040.78/510.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2043.20/511.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 33.3M T:  2.42
2043.20/511.52	c Calc non-exist non-lernt bins v-fix:     0 done:     76 time:  0.01 s
2043.20/511.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2043.20/511.54	c Subs w/ non-existent bins:      0 time:  0.06 s
2043.20/511.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2043.20/511.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2043.20/511.57	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2073.14/519.03	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.13
2073.14/519.06	c lits-rem:       950  cl-subs:    10367  v-elim:     60  v-fix:    0  time: 29.93 s
2073.14/519.06	c learnt bin added due to v-elim: 0
2073.14/519.06	c vivif2 --  cl tried     5343 cl shrink        0 lits rem          0 time: 0.00
2073.14/519.08	c vivif2 --  cl tried    75154 cl shrink        0 lits rem          0 time: 0.07
2073.55/519.18	c asymm  cl-useful: 0/178/5343 lits-rem:0 time: 0.41
2073.55/519.18	c calculated reachability. Time: 0.00
2073.55/519.18	c  N dy  3354   1710815        76      5343        32     75154     37385   1125728     21.44     16.05  --
3047.03/762.85	c  N dy  3355   2210815        76      5343        32     90072     37385   1273989     18.26     15.86  --
3047.43/762.90	c  S st  3355   2210815        76      5343        32     90072     37385   1273989     18.26     15.86  --
3047.43/762.90	c Finding binary XORs  T:     0.00 s  found:       0
3048.63/763.23	c  S st  3355   2211316        79      5343        39     90546     37397   1284045     18.26     15.86  --
3048.63/763.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3048.63/763.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3051.43/763.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 41.9M T:  2.90
3051.43/763.96	c Calc non-exist non-lernt bins v-fix:     0 done:     79 time:  0.01 s
3051.43/763.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3051.43/763.98	c Subs w/ non-existent bins:      0 time:  0.06 s
3051.83/764.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3051.83/764.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3051.83/764.00	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3090.98/773.81	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.20
3090.98/773.83	c lits-rem:      3877  cl-subs:    15287  v-elim:     60  v-fix:    0  time: 39.25 s
3090.98/773.83	c learnt bin added due to v-elim: 0
3090.98/773.83	c vivif2 --  cl tried     5343 cl shrink        0 lits rem          0 time: 0.00
3090.98/773.85	c vivif2 --  cl tried    75259 cl shrink        0 lits rem          0 time: 0.07
3091.38/773.95	c asymm  cl-useful: 0/176/5343 lits-rem:0 time: 0.39
3091.38/773.95	c calculated reachability. Time: 0.00
3091.38/773.95	c  N dy  3355   2211316        79      5343        39     75259     37397   1032060     18.26     15.86  --
4225.86/1057.95	c  N dy  3366   2711317        79      5343        39    100069     37397   1533656     21.58     15.57  --
4226.26/1058.01	c  S st  3366   2711317        79      5343        39    100069     37397   1533656     21.58     15.57  --
4227.46/1058.39	c  S st  3366   2711820        80      5343        41    100540     37401   1543951     21.58     15.57  --
4227.86/1058.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4227.86/1058.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4231.47/1059.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 49.4M T:  3.81
4231.47/1059.36	c Calc non-exist non-lernt bins v-fix:     0 done:     80 time:  0.01 s
4231.47/1059.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4231.47/1059.38	c Subs w/ non-existent bins:      0 time:  0.08 s
4231.85/1059.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4231.85/1059.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4231.85/1059.41	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
4272.60/1069.65	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 23.0 T:    0.20
4272.60/1069.68	c lits-rem:      4877  cl-subs:     7946  v-elim:     60  v-fix:    0  time: 41.01 s
4272.60/1069.68	c learnt bin added due to v-elim: 0
4272.60/1069.68	c vivif2 --  cl tried     5343 cl shrink        0 lits rem          0 time: 0.00
4273.00/1069.70	c vivif2 --  cl tried    92592 cl shrink        0 lits rem          0 time: 0.09
4273.40/1069.82	c asymm  cl-useful: 0/106/5343 lits-rem:0 time: 0.46
4273.40/1069.82	c calculated reachability. Time: 0.00
4273.40/1069.82	c  N dy  3366   2711820        80      5343        41     92592     37401   1392707     21.58     15.57  --
4273.40/1069.82	c  F st  3366   2711820        80      5343        41     92592     37401   1392707     21.58     15.57  --
4277.79/1070.94	c Decided on static restart strategy

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-3172829-1304103978/watcher-3172829-1304103978 -o /tmp/evaluation-result-3172829-1304103978/solver-3172829-1304103978 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172829-1304103978.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: 2.81 3.64 4.91 4/176 5987
/proc/meminfo: memFree=30283748/32950928 swapFree=67054472/67111528
[pid=5986] ppid=5983 vsize=20556 CPUtime=0 cores=1,3,5,7
/proc/5986/stat : 5986 (techdemo) D 5983 5986 5950 0 -1 4194304 118 0 0 0 0 0 0 0 19 0 1 0 600628461 21049344 73 33554432000 4194304 4797429 140734566473664 18446744073709551615 260900474467 0 0 4096 0 18446744071562234166 0 0 17 5 0 0 0
/proc/5986/statm: 5139 73 54 148 0 55 0

[startup+0.069658 s]
/proc/loadavg: 2.81 3.64 4.91 4/176 5987
/proc/meminfo: memFree=30283748/32950928 swapFree=67054472/67111528
[pid=5986] ppid=5983 vsize=147512 CPUtime=0.19 cores=1,3,5,7
/proc/5986/stat : 5986 (techdemo) R 5983 5986 5950 0 -1 4202496 1146 0 1 0 19 0 0 0 20 0 4 0 600628461 151052288 1046 33554432000 4194304 4797429 140734566473664 18446744073709551615 4428895 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5986/statm: 36878 1046 371 148 0 31807 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 147512

[startup+0.100652 s]
/proc/loadavg: 2.81 3.64 4.91 4/176 5987
/proc/meminfo: memFree=30283748/32950928 swapFree=67054472/67111528
[pid=5986] ppid=5983 vsize=147644 CPUtime=0.31 cores=1,3,5,7
/proc/5986/stat : 5986 (techdemo) R 5983 5986 5950 0 -1 4202496 1156 0 1 0 31 0 0 0 20 0 4 0 600628461 151187456 1056 33554432000 4194304 4797429 140734566473664 18446744073709551615 4430142 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5986/statm: 36911 1056 371 148 0 31840 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 147644

[startup+0.300616 s]
/proc/loadavg: 2.81 3.64 4.91 4/176 5987
/proc/meminfo: memFree=30283748/32950928 swapFree=67054472/67111528
[pid=5986] ppid=5983 vsize=609772 CPUtime=1.11 cores=1,3,5,7
/proc/5986/stat : 5986 (techdemo) R 5983 5986 5950 0 -1 4202496 2456 0 1 0 111 0 0 0 20 0 4 0 600628461 624406528 2149 33554432000 4194304 4797429 140734566473664 18446744073709551615 4396359 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5986/statm: 152443 2149 408 148 0 147372 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 609772

[startup+0.700545 s]
/proc/loadavg: 2.81 3.64 4.91 4/176 5987
/proc/meminfo: memFree=30283748/32950928 swapFree=67054472/67111528
[pid=5986] ppid=5983 vsize=613680 CPUtime=2.7 cores=1,3,5,7
/proc/5986/stat : 5986 (techdemo) R 5983 5986 5950 0 -1 4202496 4308 0 1 0 270 0 0 0 21 0 4 0 600628461 628408320 3150 33554432000 4194304 4797429 140734566473664 18446744073709551615 4354783 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5986/statm: 153420 3150 412 148 0 148349 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 613680

[startup+1.5004 s]
/proc/loadavg: 2.81 3.64 4.91 10/184 5995
/proc/meminfo: memFree=30256592/32950928 swapFree=67054472/67111528
[pid=5986] ppid=5983 vsize=615624 CPUtime=5.9 cores=1,3,5,7
/proc/5986/stat : 5986 (techdemo) R 5983 5986 5950 0 -1 4202496 5713 0 1 0 590 0 0 0 23 0 4 0 600628461 630398976 4271 33554432000 4194304 4797429 140734566473664 18446744073709551615 4424882 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5986/statm: 153906 4271 414 148 0 148835 0
[pid=5986/tid=5993] ppid=5983 vsize=615624 CPUtime=1.47 cores=1,3,5,7
/proc/5986/task/5993/stat : 5993 (techdemo) R 5983 5986 5950 0 -1 4202560 1074 0 0 0 147 0 0 0 25 0 4 0 600628463 630398976 4271 33554432000 4194304 4797429 140734566473664 18446744073709551615 4422906 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5986/tid=5994] ppid=5983 vsize=615624 CPUtime=1.46 cores=1,3,5,7
/proc/5986/task/5994/stat : 5994 (techdemo) R 5983 5986 5950 0 -1 4202560 971 0 0 0 146 0 0 0 25 0 4 0 600628463 630398976 4271 33554432000 4194304 4797429 140734566473664 18446744073709551615 4426061 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5986/tid=5995] ppid=5983 vsize=615624 CPUtime=1.47 cores=1,3,5,7
/proc/5986/task/5995/stat : 5995 (techdemo) R 5983 5986 5950 0 -1 4202560 1158 0 0 0 147 0 0 0 25 0 4 0 600628463 630398976 4271 33554432000 4194304 4797429 140734566473664 18446744073709551615 4424603 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 615624

[startup+3.1011 s]
/proc/loadavg: 3.23 3.72 4.92 10/184 5995
/proc/meminfo: memFree=30248656/32950928 swapFree=67054472/67111528
[pid=5986] ppid=5983 vsize=618556 CPUtime=12.29 cores=1,3,5,7
/proc/5986/stat : 5986 (techdemo) R 5983 5986 5950 0 -1 4202496 7519 0 1 0 1229 0 0 0 25 0 4 0 600628461 633401344 5003 33554432000 4194304 4797429 140734566473664 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5986/statm: 154639 5003 416 148 0 149568 0
[pid=5986/tid=5993] ppid=5983 vsize=618556 CPUtime=3.07 cores=1,3,5,7
/proc/5986/task/5993/stat : 5993 (techdemo) R 5983 5986 5950 0 -1 4202560 1357 0 0 0 307 0 0 0 25 0 4 0 600628463 633401344 5003 33554432000 4194304 4797429 140734566473664 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5986/tid=5994] ppid=5983 vsize=618556 CPUtime=3.05 cores=1,3,5,7
/proc/5986/task/5994/stat : 5994 (techdemo) R 5983 5986 5950 0 -1 4202560 1316 0 0 0 305 0 0 0 25 0 4 0 600628463 633401344 5003 33554432000 4194304 4797429 140734566473664 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5986/tid=5995] ppid=5983 vsize=618556 CPUtime=3.07 cores=1,3,5,7
/proc/5986/task/5995/stat : 5995 (techdemo) R 5983 5986 5950 0 -1 4202560 1502 0 0 0 307 0 0 0 25 0 4 0 600628463 633401344 5003 33554432000 4194304 4797429 140734566473664 18446744073709551615 4523968 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 618556

[startup+6.30052 s]
/proc/loadavg: 3.23 3.72 4.92 10/184 5995
/proc/meminfo: memFree=30240360/32950928 swapFree=67054472/67111528
[pid=5986] ppid=5983 vsize=622160 CPUtime=25.07 cores=1,3,5,7
/proc/5986/stat : 5986 (techdemo) R 5983 5986 5950 0 -1 4202496 9852 0 1 0 2506 1 0 0 25 0 4 0 600628461 637091840 6123 33554432000 4194304 4797429 140734566473664 18446744073709551615 4424965 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5986/statm: 155540 6123 416 148 0 150469 0
[pid=5986/tid=5993] ppid=5983 vsize=622160 CPUtime=6.27 cores=1,3,5,7
/proc/5986/task/5993/stat : 5993 (techdemo) R 5983 5986 5950 0 -1 4202560 1584 0 0 0 627 0 0 0 25 0 4 0 600628463 637091840 6123 33554432000 4194304 4797429 140734566473664 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5986/tid=5994] ppid=5983 vsize=622160 CPUtime=6.23 cores=1,3,5,7
/proc/5986/task/5994/stat : 5994 (techdemo) R 5983 5986 5950 0 -1 4202560 1532 0 0 0 623 0 0 0 25 0 4 0 600628463 637091840 6123 33554432000 4194304 4797429 140734566473664 18446744073709551615 4430094 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5986/tid=5995] ppid=5983 vsize=622160 CPUtime=6.27 cores=1,3,5,7
/proc/5986/task/5995/stat : 5995 (techdemo) R 5983 5986 5950 0 -1 4202560 1666 0 0 0 627 0 0 0 25 0 4 0 600628463 637091840 6123 33554432000 4194304 4797429 140734566473664 18446744073709551615 4429143 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 622160

[startup+12.7003 s]
/proc/loadavg: 4.11 3.89 4.97 10/184 5995
/proc/meminfo: memFree=30229892/32950928 swapFree=67054472/67111528
[pid=5986] ppid=5983 vsize=626448 CPUtime=50.64 cores=1,3,5,7
/proc/5986/stat : 5986 (techdemo) R 5983 5986 5950 0 -1 4202496 14092 0 1 0 5062 2 0 0 25 0 4 0 600628461 641482752 6961 33554432000 4194304 4797429 140734566473664 18446744073709551615 4506576 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5986/statm: 156612 6961 419 148 0 151541 0
[pid=5986/tid=5993] ppid=5983 vsize=626448 CPUtime=12.67 cores=1,3,5,7
/proc/5986/task/5993/stat : 5993 (techdemo) R 5983 5986 5950 0 -1 4202560 2303 0 0 0 1267 0 0 0 25 0 4 0 600628463 641482752 6961 33554432000 4194304 4797429 140734566473664 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5986/tid=5994] ppid=5983 vsize=626448 CPUtime=12.6 cores=1,3,5,7
/proc/5986/task/5994/stat : 5994 (techdemo) R 5983 5986 5950 0 -1 4202560 2219 0 0 0 1260 0 0 0 25 0 4 0 600628463 641482752 6961 33554432000 4194304 4797429 140734566473664 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5986/tid=5995] ppid=5983 vsize=626448 CPUtime=12.67 cores=1,3,5,7
/proc/5986/task/5995/stat : 5995 (techdemo) R 5983 5986 5950 0 -1 4202560 2360 0 0 0 1267 0 0 0 25 0 4 0 600628463 641482752 6961 33554432000 4194304 4797429 140734566473664 18446744073709551615 4430056 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 626448

[startup+25.501 s]
/proc/loadavg: 4.79 4.04 5.00 10/184 5995
/proc/meminfo: memFree=30220276/32950928 swapFree=67054472/67111528
[pid=5986] ppid=5983 vsize=632616 CPUtime=101.77 cores=1,3,5,7
/proc/5986/stat : 5986 (techdemo) R 5983 5986 5950 0 -1 4202496 20223 0 1 0 10173 4 0 0 25 0 4 0 600628461 647798784 9152 33554432000 4194304 4797429 140734566473664 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5986/statm: 158154 9152 419 148 0 153083 0
[pid=5986/tid=5993] ppid=5983 vsize=632616 CPUtime=25.46 cores=1,3,5,7
/proc/5986/task/5993/stat : 5993 (techdemo) R 5983 5986 5950 0 -1 4202560 3658 0 0 0 2546 0 0 0 25 0 4 0 600628463 647798784 9152 33554432000 4194304 4797429 140734566473664 18446744073709551615 4495525 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5986/tid=5994] ppid=5983 vsize=632616 CPUtime=25.32 cores=1,3,5,7
/proc/5986/task/5994/stat : 5994 (techdemo) R 5983 5986 5950 0 -1 4202560 2803 0 0 0 2532 0 0 0 25 0 4 0 600628463 647798784 9152 33554432000 4194304 4797429 140734566473664 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5986/tid=5995] ppid=5983 vsize=632616 CPUtime=25.46 cores=1,3,5,7
/proc/5986/task/5995/stat : 5995 (techdemo) R 5983 5986 5950 0 -1 4202560 3096 0 0 0 2546 0 0 0 25 0 4 0 600628463 647798784 9152 33554432000 4194304 4797429 140734566473664 18446744073709551615 4425064 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 632616

[startup+51.1003 s]
/proc/loadavg: 5.88 4.36 5.08 10/184 5996
/proc/meminfo: memFree=30204036/32950928 swapFree=67054472/67111528
[pid=5986] ppid=5983 vsize=636308 CPUtime=204.03 cores=1,3,5,7
/proc/5986/stat : 5986 (techdemo) R 5983 5986 5950 0 -1 4202496 30438 0 1 0 20396 7 0 0 25 0 4 0 600628461 651579392 10674 33554432000 4194304 4797429 140734566473664 18446744073709551615 4404796 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5986/statm: 159077 10674 421 148 0 154006 0
[pid=5986/tid=5993] ppid=5983 vsize=636308 CPUtime=51.07 cores=1,3,5,7
/proc/5986/task/5993/stat : 5993 (techdemo) R 5983 5986 5950 0 -1 4202560 5060 0 0 0 5106 1 0 0 25 0 4 0 600628463 651579392 10674 33554432000 4194304 4797429 140734566473664 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5986/tid=5994] ppid=5983 vsize=636308 CPUtime=50.79 cores=1,3,5,7
/proc/5986/task/5994/stat : 5994 (techdemo) R 5983 5986 5950 0 -1 4202560 4729 0 0 0 5078 1 0 0 25 0 4 0 600628463 651579392 10674 33554432000 4194304 4797429 140734566473664 18446744073709551615 4495525 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5986/tid=5995] ppid=5983 vsize=636308 CPUtime=51.07 cores=1,3,5,7
/proc/5986/task/5995/stat : 5995 (techdemo) R 5983 5986 5950 0 -1 4202560 4568 0 0 0 5106 1 0 0 25 0 4 0 600628463 651579392 10674 33554432000 4194304 4797429 140734566473664 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.03
Current children cumulated vsize (KiB) 636308

[startup+102.307 s]
/proc/loadavg: 7.24 5.00 5.26 10/184 5997
/proc/meminfo: memFree=30186256/32950928 swapFree=67054472/67111528
[pid=5986] ppid=5983 vsize=644764 CPUtime=408.58 cores=1,3,5,7
/proc/5986/stat : 5986 (techdemo) R 5983 5986 5950 0 -1 4202496 45310 0 1 0 40846 12 0 0 25 0 4 0 600628461 660238336 13124 33554432000 4194304 4797429 140734566473664 18446744073709551615 4424622 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5986/statm: 161191 13124 424 148 0 156120 0
[pid=5986/tid=5993] ppid=5983 vsize=644764 CPUtime=102.27 cores=1,3,5,7
/proc/5986/task/5993/stat : 5993 (techdemo) R 5983 5986 5950 0 -1 4202560 6968 0 0 0 10226 1 0 0 25 0 4 0 600628463 660238336 13124 33554432000 4194304 4797429 140734566473664 18446744073709551615 4425196 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5986/tid=5994] ppid=5983 vsize=644764 CPUtime=101.71 cores=1,3,5,7
/proc/5986/task/5994/stat : 5994 (techdemo) R 5983 5986 5950 0 -1 4202560 7040 0 0 0 10169 2 0 0 25 0 4 0 600628463 660238336 13124 33554432000 4194304 4797429 140734566473664 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5986/tid=5995] ppid=5983 vsize=644764 CPUtime=102.27 cores=1,3,5,7
/proc/5986/task/5995/stat : 5995 (techdemo) R 5983 5986 5950 0 -1 4202560 6569 0 0 0 10226 1 0 0 25 0 4 0 600628463 660238336 13124 33554432000 4194304 4797429 140734566473664 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.58
Current children cumulated vsize (KiB) 644764

[startup+162.301 s]
/proc/loadavg: 7.79 5.57 5.44 10/184 5999
/proc/meminfo: memFree=30171204/32950928 swapFree=67054472/67111528
[pid=5986] ppid=5983 vsize=647940 CPUtime=648.24 cores=1,3,5,7
/proc/5986/stat : 5986 (techdemo) R 5983 5986 5950 0 -1 4202496 59556 0 1 0 64807 17 0 0 25 0 4 0 600628461 663490560 15014 33554432000 4194304 4797429 140734566473664 18446744073709551615 4424859 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5986/statm: 161985 15014 424 148 0 156914 0
[pid=5986/tid=5993] ppid=5983 vsize=647940 CPUtime=162.27 cores=1,3,5,7
/proc/5986/task/5993/stat : 5993 (techdemo) R 5983 5986 5950 0 -1 4202560 8509 0 0 0 16225 2 0 0 25 0 4 0 600628463 663490560 15014 33554432000 4194304 4797429 140734566473664 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5986/tid=5994] ppid=5983 vsize=647940 CPUtime=161.38 cores=1,3,5,7
/proc/5986/task/5994/stat : 5994 (techdemo) R 5983 5986 5950 0 -1 4202560 8625 0 0 0 16136 2 0 0 25 0 4 0 600628463 663490560 15014 33554432000 4194304 4797429 140734566473664 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5986/tid=5995] ppid=5983 vsize=647940 CPUtime=162.27 cores=1,3,5,7
/proc/5986/task/5995/stat : 5995 (techdemo) R 5983 5986 5950 0 -1 4202560 8234 0 0 0 16225 2 0 0 25 0 4 0 600628463 663490560 15014 33554432000 4194304 4797429 140734566473664 18446744073709551615 4425633 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 648.24
Current children cumulated vsize (KiB) 647940

[startup+222.301 s]
/proc/loadavg: 7.99 6.04 5.60 10/184 6001
/proc/meminfo: memFree=30156156/32950928 swapFree=67054472/67111528
[pid=5986] ppid=5983 vsize=655612 CPUtime=887.92 cores=1,3,5,7
/proc/5986/stat : 5986 (techdemo) R 5983 5986 5950 0 -1 4202496 72357 0 1 0 88768 24 0 0 25 0 4 0 600628461 671346688 17249 33554432000 4194304 4797429 140734566473664 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5986/statm: 163903 17249 421 148 0 158832 0
[pid=5986/tid=5993] ppid=5983 vsize=655612 CPUtime=222.27 cores=1,3,5,7
/proc/5986/task/5993/stat : 5993 (techdemo) R 5983 5986 5950 0 -1 4202560 10090 0 0 0 22225 2 0 0 25 0 4 0 600628463 671346688 17249 33554432000 4194304 4797429 140734566473664 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5986/tid=5994] ppid=5983 vsize=655612 CPUtime=221.05 cores=1,3,5,7
/proc/5986/task/5994/stat : 5994 (techdemo) R 5983 5986 5950 0 -1 4202560 10311 0 0 0 22102 3 0 0 25 0 4 0 600628463 671346688 17249 33554432000 4194304 4797429 140734566473664 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5986/tid=5995] ppid=5983 vsize=655612 CPUtime=222.27 cores=1,3,5,7
/proc/5986/task/5995/stat : 5995 (techdemo) R 5983 5986 5950 0 -1 4202560 9809 0 0 0 22224 3 0 0 25 0 4 0 600628463 671346688 17249 33554432000 4194304 4797429 140734566473664 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 887.92
Current children cumulated vsize (KiB) 655612

[startup+282.301 s]

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

[pid=5986] ppid=5983 vsize=684780 CPUtime=2805.36 cores=1,3,5,7
/proc/5986/stat : 5986 (techdemo) R 5983 5986 5950 0 -1 4202496 147035 0 1 0 280475 61 0 0 25 0 4 0 600628461 701214720 26509 33554432000 4194304 4797429 140734566473664 18446744073709551615 4424963 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5986/statm: 171195 26509 427 148 0 166124 0
[pid=5986/tid=5993] ppid=5983 vsize=684780 CPUtime=702.28 cores=1,3,5,7
/proc/5986/task/5993/stat : 5993 (techdemo) R 5983 5986 5950 0 -1 4202560 20271 0 0 0 70219 9 0 0 25 0 4 0 600628463 701214720 26509 33554432000 4194304 4797429 140734566473664 18446744073709551615 4573728 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5986/tid=5994] ppid=5983 vsize=684780 CPUtime=698.46 cores=1,3,5,7
/proc/5986/task/5994/stat : 5994 (techdemo) R 5983 5986 5950 0 -1 4202560 20710 0 0 0 69836 10 0 0 25 0 4 0 600628463 701214720 26509 33554432000 4194304 4797429 140734566473664 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5986/tid=5995] ppid=5983 vsize=684780 CPUtime=702.28 cores=1,3,5,7
/proc/5986/task/5995/stat : 5995 (techdemo) R 5983 5986 5950 0 -1 4202560 19841 0 0 0 70221 7 0 0 25 0 4 0 600628463 701214720 26509 33554432000 4194304 4797429 140734566473664 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.36
Current children cumulated vsize (KiB) 684780

[startup+762.307 s]
/proc/loadavg: 8.12 7.74 6.68 10/184 6015
/proc/meminfo: memFree=30077392/32950928 swapFree=67054472/67111528
[pid=5986] ppid=5983 vsize=685896 CPUtime=3045.06 cores=1,3,5,7
/proc/5986/stat : 5986 (techdemo) R 5983 5986 5950 0 -1 4202496 154230 0 1 0 304442 64 0 0 25 0 4 0 600628461 702357504 26991 33554432000 4194304 4797429 140734566473664 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5986/statm: 171474 26991 427 148 0 166403 0
[pid=5986/tid=5993] ppid=5983 vsize=685896 CPUtime=762.28 cores=1,3,5,7
/proc/5986/task/5993/stat : 5993 (techdemo) R 5983 5986 5950 0 -1 4202560 21357 0 0 0 76219 9 0 0 25 0 4 0 600628463 702357504 26991 33554432000 4194304 4797429 140734566473664 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5986/tid=5994] ppid=5983 vsize=685896 CPUtime=758.13 cores=1,3,5,7
/proc/5986/task/5994/stat : 5994 (techdemo) R 5983 5986 5950 0 -1 4202560 21757 0 0 0 75803 10 0 0 25 0 4 0 600628463 702357504 26991 33554432000 4194304 4797429 140734566473664 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5986/tid=5995] ppid=5983 vsize=685896 CPUtime=762.3 cores=1,3,5,7
/proc/5986/task/5995/stat : 5995 (techdemo) R 5983 5986 5950 0 -1 4202560 20445 0 0 0 76222 8 0 0 25 0 4 0 600628463 702357504 26991 33554432000 4194304 4797429 140734566473664 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3045.06
Current children cumulated vsize (KiB) 685896

[startup+822.301 s]
/proc/loadavg: 8.13 7.81 6.77 10/184 6017
/proc/meminfo: memFree=30067180/32950928 swapFree=67054472/67111528
[pid=5986] ppid=5983 vsize=688692 CPUtime=3284.73 cores=1,3,5,7
/proc/5986/stat : 5986 (techdemo) R 5983 5986 5950 0 -1 4202496 160514 0 1 0 328405 68 0 0 25 0 4 0 600628461 705220608 29276 33554432000 4194304 4797429 140734566473664 18446744073709551615 4424779 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5986/statm: 172173 29276 427 148 0 167102 0
[pid=5986/tid=5993] ppid=5983 vsize=688692 CPUtime=822.29 cores=1,3,5,7
/proc/5986/task/5993/stat : 5993 (techdemo) R 5983 5986 5950 0 -1 4202560 21996 0 0 0 82219 10 0 0 25 0 4 0 600628463 705220608 29276 33554432000 4194304 4797429 140734566473664 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5986/tid=5994] ppid=5983 vsize=688692 CPUtime=817.81 cores=1,3,5,7
/proc/5986/task/5994/stat : 5994 (techdemo) R 5983 5986 5950 0 -1 4202560 22393 0 0 0 81770 11 0 0 25 0 4 0 600628463 705220608 29276 33554432000 4194304 4797429 140734566473664 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5986/tid=5995] ppid=5983 vsize=688692 CPUtime=822.29 cores=1,3,5,7
/proc/5986/task/5995/stat : 5995 (techdemo) R 5983 5986 5950 0 -1 4202560 21472 0 0 0 82221 8 0 0 25 0 4 0 600628463 705220608 29276 33554432000 4194304 4797429 140734566473664 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.73
Current children cumulated vsize (KiB) 688692

[startup+882.301 s]
/proc/loadavg: 8.05 7.84 6.84 10/184 6018
/proc/meminfo: memFree=30068980/32950928 swapFree=67054472/67111528
[pid=5986] ppid=5983 vsize=691884 CPUtime=3524.4 cores=1,3,5,7
/proc/5986/stat : 5986 (techdemo) R 5983 5986 5950 0 -1 4202496 168922 0 1 0 352368 72 0 0 25 0 4 0 600628461 708489216 28982 33554432000 4194304 4797429 140734566473664 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5986/statm: 172971 28982 427 148 0 167900 0
[pid=5986/tid=5993] ppid=5983 vsize=691884 CPUtime=882.28 cores=1,3,5,7
/proc/5986/task/5993/stat : 5993 (techdemo) R 5983 5986 5950 0 -1 4202560 23047 0 0 0 88218 10 0 0 25 0 4 0 600628463 708489216 28982 33554432000 4194304 4797429 140734566473664 18446744073709551615 4424725 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5986/tid=5994] ppid=5983 vsize=691884 CPUtime=877.48 cores=1,3,5,7
/proc/5986/task/5994/stat : 5994 (techdemo) R 5983 5986 5950 0 -1 4202560 23635 0 0 0 87737 11 0 0 25 0 4 0 600628463 708489216 28982 33554432000 4194304 4797429 140734566473664 18446744073709551615 4528077 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5986/tid=5995] ppid=5983 vsize=691884 CPUtime=882.29 cores=1,3,5,7
/proc/5986/task/5995/stat : 5995 (techdemo) R 5983 5986 5950 0 -1 4202560 22562 0 0 0 88221 8 0 0 25 0 4 0 600628463 708489216 28982 33554432000 4194304 4797429 140734566473664 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.4
Current children cumulated vsize (KiB) 691884

[startup+942.301 s]
/proc/loadavg: 8.06 7.88 6.92 10/184 6020
/proc/meminfo: memFree=30065192/32950928 swapFree=67054472/67111528
[pid=5986] ppid=5983 vsize=693876 CPUtime=3764.09 cores=1,3,5,7
/proc/5986/stat : 5986 (techdemo) R 5983 5986 5950 0 -1 4202496 175708 0 1 0 376333 76 0 0 25 0 4 0 600628461 710529024 29858 33554432000 4194304 4797429 140734566473664 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5986/statm: 173469 29858 427 148 0 168398 0
[pid=5986/tid=5993] ppid=5983 vsize=693876 CPUtime=942.29 cores=1,3,5,7
/proc/5986/task/5993/stat : 5993 (techdemo) R 5983 5986 5950 0 -1 4202560 24026 0 0 0 94218 11 0 0 25 0 4 0 600628463 710529024 29858 33554432000 4194304 4797429 140734566473664 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5986/tid=5994] ppid=5983 vsize=693876 CPUtime=937.16 cores=1,3,5,7
/proc/5986/task/5994/stat : 5994 (techdemo) R 5983 5986 5950 0 -1 4202560 24718 0 0 0 93704 12 0 0 25 0 4 0 600628463 710529024 29858 33554432000 4194304 4797429 140734566473664 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5986/tid=5995] ppid=5983 vsize=693876 CPUtime=942.29 cores=1,3,5,7
/proc/5986/task/5995/stat : 5995 (techdemo) R 5983 5986 5950 0 -1 4202560 23682 0 0 0 94220 9 0 0 25 0 4 0 600628463 710529024 29858 33554432000 4194304 4797429 140734566473664 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3764.09
Current children cumulated vsize (KiB) 693876

[startup+1002.3 s]
/proc/loadavg: 8.10 7.93 6.99 10/184 6021
/proc/meminfo: memFree=30051864/32950928 swapFree=67054472/67111528
[pid=5986] ppid=5983 vsize=698084 CPUtime=4003.76 cores=1,3,5,7
/proc/5986/stat : 5986 (techdemo) R 5983 5986 5950 0 -1 4202496 182691 0 1 0 400297 79 0 0 25 0 4 0 600628461 714838016 30823 33554432000 4194304 4797429 140734566473664 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5986/statm: 174521 30823 427 148 0 169450 0
[pid=5986/tid=5993] ppid=5983 vsize=698084 CPUtime=1002.28 cores=1,3,5,7
/proc/5986/task/5993/stat : 5993 (techdemo) R 5983 5986 5950 0 -1 4202560 25192 0 0 0 100217 11 0 0 25 0 4 0 600628463 714838016 30823 33554432000 4194304 4797429 140734566473664 18446744073709551615 4428895 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5986/tid=5994] ppid=5983 vsize=698084 CPUtime=996.83 cores=1,3,5,7
/proc/5986/task/5994/stat : 5994 (techdemo) R 5983 5986 5950 0 -1 4202560 25217 0 0 0 99671 12 0 0 25 0 4 0 600628463 714838016 30823 33554432000 4194304 4797429 140734566473664 18446744073709551615 4428966 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5986/tid=5995] ppid=5983 vsize=698084 CPUtime=1002.29 cores=1,3,5,7
/proc/5986/task/5995/stat : 5995 (techdemo) R 5983 5986 5950 0 -1 4202560 24224 0 0 0 100220 9 0 0 25 0 4 0 600628463 714838016 30823 33554432000 4194304 4797429 140734566473664 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.76
Current children cumulated vsize (KiB) 698084

[startup+1062.3 s]
/proc/loadavg: 8.11 7.97 7.06 10/184 6023
/proc/meminfo: memFree=30045128/32950928 swapFree=67054472/67111528
[pid=5986] ppid=5983 vsize=698616 CPUtime=4243.45 cores=1,3,5,7
/proc/5986/stat : 5986 (techdemo) R 5983 5986 5950 0 -1 4202496 188988 0 1 0 424261 84 0 0 25 0 4 0 600628461 715382784 31919 33554432000 4194304 4797429 140734566473664 18446744073709551615 4524374 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5986/statm: 174654 31919 427 148 0 169583 0
[pid=5986/tid=5993] ppid=5983 vsize=698616 CPUtime=1062.29 cores=1,3,5,7
/proc/5986/task/5993/stat : 5993 (techdemo) R 5983 5986 5950 0 -1 4202560 25727 0 0 0 106217 12 0 0 25 0 4 0 600628463 715382784 31919 33554432000 4194304 4797429 140734566473664 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5986/tid=5994] ppid=5983 vsize=698616 CPUtime=1056.51 cores=1,3,5,7
/proc/5986/task/5994/stat : 5994 (techdemo) R 5983 5986 5950 0 -1 4202560 26302 0 0 0 105638 13 0 0 25 0 4 0 600628463 715382784 31919 33554432000 4194304 4797429 140734566473664 18446744073709551615 4425907 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5986/tid=5995] ppid=5983 vsize=698616 CPUtime=1062.3 cores=1,3,5,7
/proc/5986/task/5995/stat : 5995 (techdemo) R 5983 5986 5950 0 -1 4202560 25222 0 0 0 106220 10 0 0 25 0 4 0 600628463 715382784 31919 33554432000 4194304 4797429 140734566473664 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.45
Current children cumulated vsize (KiB) 698616

[startup+1122.3 s]
/proc/loadavg: 8.11 8.00 7.13 10/184 6025
/proc/meminfo: memFree=30040364/32950928 swapFree=67054472/67111528
[pid=5986] ppid=5983 vsize=703716 CPUtime=4483.12 cores=1,3,5,7
/proc/5986/stat : 5986 (techdemo) R 5983 5986 5950 0 -1 4202496 195086 0 1 0 448225 87 0 0 25 0 4 0 600628461 720605184 32800 33554432000 4194304 4797429 140734566473664 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5986/statm: 175929 32800 427 148 0 170858 0
[pid=5986/tid=5993] ppid=5983 vsize=703716 CPUtime=1122.29 cores=1,3,5,7
/proc/5986/task/5993/stat : 5993 (techdemo) R 5983 5986 5950 0 -1 4202560 26761 0 0 0 112217 12 0 0 25 0 4 0 600628463 720605184 32800 33554432000 4194304 4797429 140734566473664 18446744073709551615 4647912 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5986/tid=5994] ppid=5983 vsize=703716 CPUtime=1116.18 cores=1,3,5,7
/proc/5986/task/5994/stat : 5994 (techdemo) R 5983 5986 5950 0 -1 4202560 27171 0 0 0 111605 13 0 0 25 0 4 0 600628463 720605184 32800 33554432000 4194304 4797429 140734566473664 18446744073709551615 4424975 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5986/tid=5995] ppid=5983 vsize=703716 CPUtime=1122.3 cores=1,3,5,7
/proc/5986/task/5995/stat : 5995 (techdemo) R 5983 5986 5950 0 -1 4202560 25600 0 0 0 112220 10 0 0 25 0 4 0 600628463 720605184 32800 33554432000 4194304 4797429 140734566473664 18446744073709551615 4568058 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4483.12
Current children cumulated vsize (KiB) 703716

[startup+1182.3 s]
/proc/loadavg: 8.11 8.03 7.19 10/184 6026
/proc/meminfo: memFree=30030268/32950928 swapFree=67054472/67111528
[pid=5986] ppid=5983 vsize=704876 CPUtime=4722.8 cores=1,3,5,7
/proc/5986/stat : 5986 (techdemo) R 5983 5986 5950 0 -1 4202496 200711 0 1 0 472190 90 0 0 25 0 4 0 600628461 721793024 34573 33554432000 4194304 4797429 140734566473664 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5986/statm: 176219 34573 425 148 0 171148 0
[pid=5986/tid=5993] ppid=5983 vsize=704876 CPUtime=1182.29 cores=1,3,5,7
/proc/5986/task/5993/stat : 5993 (techdemo) R 5983 5986 5950 0 -1 4202560 27212 0 0 0 118217 12 0 0 25 0 4 0 600628463 721793024 34573 33554432000 4194304 4797429 140734566473664 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5986/tid=5994] ppid=5983 vsize=704876 CPUtime=1175.87 cores=1,3,5,7
/proc/5986/task/5994/stat : 5994 (techdemo) R 5983 5986 5950 0 -1 4202560 27657 0 0 0 117573 14 0 0 25 0 4 0 600628463 721793024 34573 33554432000 4194304 4797429 140734566473664 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5986/tid=5995] ppid=5983 vsize=704876 CPUtime=1182.3 cores=1,3,5,7
/proc/5986/task/5995/stat : 5995 (techdemo) R 5983 5986 5950 0 -1 4202560 26659 0 0 0 118219 11 0 0 25 0 4 0 600628463 721793024 34573 33554432000 4194304 4797429 140734566473664 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.8
Current children cumulated vsize (KiB) 704876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.19 8.05 7.22 10/184 6027
/proc/meminfo: memFree=30032860/32950928 swapFree=67054472/67111528
[pid=5986] ppid=5983 vsize=705004 CPUtime=4800.31 cores=1,3,5,7
/proc/5986/stat : 5986 (techdemo) R 5983 5986 5950 0 -1 4202496 203691 0 1 0 479940 91 0 0 25 0 4 0 600628461 721924096 33552 33554432000 4194304 4797429 140734566473664 18446744073709551615 4425844 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5986/statm: 176251 33552 425 148 0 171180 0
[pid=5986/tid=5993] ppid=5983 vsize=705004 CPUtime=1201.69 cores=1,3,5,7
/proc/5986/task/5993/stat : 5993 (techdemo) R 5983 5986 5950 0 -1 4202560 27783 0 0 0 120157 12 0 0 25 0 4 0 600628463 721924096 33552 33554432000 4194304 4797429 140734566473664 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5986/tid=5994] ppid=5983 vsize=705004 CPUtime=1195.16 cores=1,3,5,7
/proc/5986/task/5994/stat : 5994 (techdemo) R 5983 5986 5950 0 -1 4202560 27788 0 0 0 119502 14 0 0 25 0 4 0 600628463 721924096 33552 33554432000 4194304 4797429 140734566473664 18446744073709551615 4425966 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5986/tid=5995] ppid=5983 vsize=705004 CPUtime=1201.71 cores=1,3,5,7
/proc/5986/task/5995/stat : 5995 (techdemo) R 5983 5986 5950 0 -1 4202560 26781 0 0 0 120160 11 0 0 25 0 4 0 600628463 721924096 33552 33554432000 4194304 4797429 140734566473664 18446744073709551615 4424768 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 705004

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

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

[startup+1201.7 s]
/proc/loadavg: 8.19 8.05 7.22 10/184 6027
/proc/meminfo: memFree=30032860/32950928 swapFree=67054472/67111528
[pid=5986] ppid=5983 vsize=705004 CPUtime=4800.31 cores=1,3,5,7
/proc/5986/stat : 5986 (techdemo) R 5983 5986 5950 0 -1 4202496 203691 0 1 0 479940 91 0 0 25 0 4 0 600628461 721924096 33552 33554432000 4194304 4797429 140734566473664 18446744073709551615 4425844 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5986/statm: 176251 33552 425 148 0 171180 0
[pid=5986/tid=5993] ppid=5983 vsize=705004 CPUtime=1201.69 cores=1,3,5,7
/proc/5986/task/5993/stat : 5993 (techdemo) R 5983 5986 5950 0 -1 4202560 27783 0 0 0 120157 12 0 0 25 0 4 0 600628463 721924096 33552 33554432000 4194304 4797429 140734566473664 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5986/tid=5994] ppid=5983 vsize=705004 CPUtime=1195.16 cores=1,3,5,7
/proc/5986/task/5994/stat : 5994 (techdemo) R 5983 5986 5950 0 -1 4202560 27788 0 0 0 119502 14 0 0 25 0 4 0 600628463 721924096 33552 33554432000 4194304 4797429 140734566473664 18446744073709551615 4425966 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5986/tid=5995] ppid=5983 vsize=705004 CPUtime=1201.71 cores=1,3,5,7
/proc/5986/task/5995/stat : 5995 (techdemo) R 5983 5986 5950 0 -1 4202560 26781 0 0 0 120160 11 0 0 25 0 4 0 600628463 721924096 33552 33554432000 4194304 4797429 140734566473664 18446744073709551615 4424768 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 705004

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.72
CPU time (s): 4800.35
CPU user time (s): 4799.42
CPU system time (s): 0.923859
CPU usage (%): 399.457
Max. virtual memory (cumulated for all children) (KiB): 801164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.42
system time used= 0.923859
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203692
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 493
involuntary context switches= 48081

runsolver used 1.79673 second user time and 4.75928 second system time

The end

Launcher Data 

Begin job on node116 at 2011-04-29 21:06:18
IDJOB=3172829
IDBENCH=82847
IDSOLVER=1584
FILE ID=node116/3172829-1304103978
RUNJOBID= node116-1304103977-5969
PBS_JOBID= 13170643
Free space on /tmp= 72516 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v60-c5340-S1556216475-025.UNKNOWN.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3172829-1304103978/watcher-3172829-1304103978 -o /tmp/evaluation-result-3172829-1304103978/solver-3172829-1304103978 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3172829-1304103978.cnf

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

MD5SUM BENCH= 4227d784a99fd8c0304137876add0b08
RANDOM SEED=991377043

node116.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.826
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.65
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.826
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	: 5226.15
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.826
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.75
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.826
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.826
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.77
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.826
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.826
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.75
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.826
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:      30284240 kB
Buffers:        973112 kB
Cached:        1333248 kB
SwapCached:       9272 kB
Active:          52756 kB
Inactive:      2271696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30284240 kB
SwapTotal:    67111528 kB
SwapFree:     67054472 kB
Dirty:           15600 kB
Writeback:           0 kB
AnonPages:       16232 kB
Mapped:          12140 kB
Slab:           275872 kB
PageTables:       4888 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   189676 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= 72500 MiB
End job on node116 at 2011-04-29 21:26:22