Trace number 3173034

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.12 1201.42

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v60-c5340-S1831136826-075.UNKNOWN.cnf
MD5SUM1e7a565e93334fc4a75fcaa13a0d446a
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark363.699
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.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-3173034-1304125264.cnf'
0.00/0.00	c -- header says num vars:             60
0.00/0.00	c -- header says num clauses:        5340
0.00/0.01	c -- clauses added:            0 learnts,         5340 normals,            0 xors
0.00/0.01	c -- vars added         60
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.00/0.12	c asymm  cl-useful: 0/1896/5340 lits-rem:0 time: 0.43
0.00/0.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.01
0.00/0.12	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
0.00/0.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.00/0.12	c Subs w/ non-existent bins:      0 time:  0.00 s
0.45/0.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.45/0.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.45/0.12	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
0.45/0.69	c lits-rem:         0  cl-subs:        0  v-elim:     40  v-fix:    0  time:  0.04 s
0.45/0.69	c learnt bin added due to v-elim: 0
0.45/0.69	c Finding binary XORs  T:     0.00 s  found:       0
0.45/0.69	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.45/0.69	c calculated reachability. Time: 0.00
0.45/0.69	c Calc default polars -  time:   0.00 s pos:      32 undec:       0 neg:      28
0.45/0.69	c =========================================================================================
0.45/0.69	c types(t): F = full restart, N = normal restart
0.45/0.69	c types(t): S = simplification begin/end, E = solution found
0.45/0.69	c restart types(rt): st = static, dy = dynamic
0.45/0.69	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.45/0.69	c  B st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.45/0.69	c Decided on static restart strategy
0.45/0.69	c  N dy    20      4146        60      5340         0      3723     37380     80783     21.62     19.13  --
0.45/0.69	c  N dy    47      8174        60      5340         0      5062     37380    102547     21.63     19.00  --
0.45/0.82	c  N dy    74     12208        60      5340         0      4864     37380     88850     21.41     18.87  --
3.69/1.02	c  N dy   101     16228        60      5340         0      8457     37380    165428     21.31     18.89  --
4.89/1.32	c  N dy   128     20252        60      5340         0      7048     37380    125821     21.79     18.88  --
5.95/1.53	c  N dy   155     24331        60      5340         0     10690     37380    203788     21.44     18.91  --
7.16/1.82	c  N dy   182     28394        60      5340         0      8230     37380    141247     21.57     18.89  --
7.54/1.93	c  S st   193     30000        60      5340         0      9696     37380    172637     21.72     18.89  --
7.54/1.97	c  S st   193     30501        60      5340         0     10157     37380    182871     21.72     18.89  --
7.54/1.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.54/1.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.54/1.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.0M T:  0.08
7.54/1.99	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
7.54/1.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.94/2.00	c Subs w/ non-existent bins:      0 time:  0.00 s
7.94/2.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.94/2.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.94/2.00	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
9.95/2.56	c lits-rem:      1356  cl-subs:     1260  v-elim:     60  v-fix:    0  time:  2.23 s
9.95/2.56	c learnt bin added due to v-elim: 0
9.95/2.56	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
9.95/2.56	c vivif2 --  cl tried     8897 cl shrink        0 lits rem          0 time: 0.00
10.75/2.71	c asymm  cl-useful: 0/1947/5340 lits-rem:0 time: 0.61
10.75/2.71	c calculated reachability. Time: 0.00
10.75/2.71	c  N dy   193     30501        60      5340         0      8897     37380    156788     21.72     18.89  --
10.75/2.71	c  F st   193     30501        60      5340         0      8897     37380    156788     21.72     18.89  --
11.16/2.85	c Decided on static restart strategy
11.94/3.00	c  N dy   212     34512        60      5340         0     12499     37380    234953     21.85     18.91  --
13.14/3.31	c  N dy   239     38543        60      5340         0      9085     37380    150196     21.31     18.91  --
14.34/3.62	c  N dy   267     42687        60      5340         0     12798     37380    229093     20.97     18.90  --
15.14/3.90	c  S st   288     45751        60      5340         0     15540     37380    286781     21.38     18.89  --
15.56/3.96	c  S st   288     46255        60      5340         0     16002     37380    296942     21.38     18.89  --
15.56/3.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.56/3.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.56/4.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.1M T:  0.16
15.56/4.00	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
15.56/4.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.96/4.00	c Subs w/ non-existent bins:      0 time:  0.01 s
15.96/4.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.96/4.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.96/4.01	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
18.73/4.76	c lits-rem:      2015  cl-subs:     2122  v-elim:     60  v-fix:    0  time:  3.01 s
18.73/4.76	c learnt bin added due to v-elim: 0
18.73/4.76	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
18.73/4.76	c vivif2 --  cl tried    13880 cl shrink        0 lits rem          0 time: 0.00
19.53/4.92	c asymm  cl-useful: 0/1422/5340 lits-rem:0 time: 0.63
19.53/4.92	c calculated reachability. Time: 0.00
19.53/4.92	c  N dy   288     46255        60      5340         0     13880     37380    249065     21.38     18.89  --
20.73/5.28	c  N dy   316     50390        60      5340         0      9666     37380    152861     21.57     18.92  --
22.33/5.60	c  N dy   343     54461        60      5340         0     13294     37380    231028     21.80     18.94  --
23.53/5.96	c  N dy   370     58480        60      5340         0     16896     37380    308286     21.62     18.94  --
25.12/6.31	c  N dy   397     62498        60      5340         0     11670     37380    184189     21.52     18.94  --
26.32/6.67	c  N dy   424     66543        60      5340         0     15298     37380    261842     21.64     18.94  --
27.52/6.96	c  S st   443     69383        60      5340         0     17849     37380    315965     21.50     18.94  --
27.92/7.02	c  S st   443     69885        60      5340         0     18303     37380    326050     21.50     18.94  --
27.92/7.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.92/7.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.92/7.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.2M T:  0.22
27.92/7.08	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
27.92/7.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.92/7.08	c Subs w/ non-existent bins:      0 time:  0.01 s
27.92/7.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.92/7.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.92/7.08	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
30.72/7.79	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.11/8.82	c Added 1 vars  tried: 16020 time: 4.12
35.11/8.83	c ORs :      1 avg-s:  0.0 cl-sh:  1401 l-rem:   1401 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:    4.17
35.11/8.84	c lits-rem:      1751  cl-subs:     2332  v-elim:     60  v-fix:    0  time:  7.00 s
35.11/8.84	c learnt bin added due to v-elim: 0
35.11/8.84	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
35.11/8.84	c vivif2 --  cl tried    15971 cl shrink        0 lits rem          0 time: 0.01
35.91/9.00	c asymm  cl-useful: 0/1658/5341 lits-rem:0 time: 0.66
35.91/9.00	c calculated reachability. Time: 0.00
35.91/9.00	c  N dy   443     69885        61      5341         2     15971     37365    273074     21.50     18.94  --
35.91/9.01	c  F st   443     69885        61      5341         2     15971     37365    273074     21.50     18.94  --
36.71/9.21	c Decided on static restart strategy
37.53/9.47	c  N dy   466     74482        61      5341         2     10378     37365    147228     21.32     18.92  --
39.11/9.88	c  N dy   498     79248        61      5341         2     14663     37365    238485     21.29     18.91  --
41.10/10.38	c  N dy   532     84310        61      5341         2     19248     37365    336212     21.25     18.91  --
43.50/10.93	c  N dy   568     89704        61      5341         2     13374     37365    199669     21.75     18.92  --
45.90/11.50	c  N dy   607     95559        61      5341         2     18622     37365    312081     21.65     18.93  --
48.70/12.22	c  N dy   649    101801        61      5341         2     12618     37365    172705     21.34     18.92  --
49.90/12.52	c  S st   670    104831        61      5341         2     15341     37365    230615     21.73     18.92  --
49.90/12.58	c  S st   670    105335        61      5341         2     15798     37365    240541     21.73     18.92  --
49.90/12.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.90/12.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
50.30/12.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.5M T:  0.21
50.30/12.64	c Calc non-exist non-lernt bins v-fix:     0 done:     61 time:  0.00 s
50.30/12.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
50.30/12.64	c Subs w/ non-existent bins:      0 time:  0.01 s
50.30/12.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
50.30/12.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.30/12.64	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
52.69/13.26	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
52.69/13.27	c lits-rem:       952  cl-subs:     1226  v-elim:     60  v-fix:    0  time:  2.49 s
52.69/13.27	c learnt bin added due to v-elim: 0
52.69/13.27	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
52.69/13.27	c vivif2 --  cl tried    14572 cl shrink        0 lits rem          0 time: 0.01
53.49/13.42	c asymm  cl-useful: 0/1472/5341 lits-rem:0 time: 0.62
53.49/13.42	c calculated reachability. Time: 0.00
53.49/13.42	c  N dy   670    105335        61      5341         2     14572     37365    216041     21.73     18.92  --
56.29/14.15	c  N dy   715    112105        61      5341         2     20636     37365    344815     21.61     18.92  --
59.90/15.01	c  N dy   764    119396        61      5341         2     14702     37365    208943     21.59     18.91  --
63.08/15.84	c  N dy   816    127162        61      5341         2     21714     37365    359127     21.56     18.91  --
67.07/16.89	c  N dy   871    135367        61      5341         2     15617     37365    219026     21.77     18.91  --
71.47/17.90	c  N dy   930    144147        61      5341         2     23485     37365    387414     21.86     18.92  --
76.27/19.11	c  N dy   993    153477        61      5341         2     17504     37365    246908     21.71     18.92  --
78.26/19.64	c  S st  1024    158002        61      5341         2     21568     37365    333533     21.55     18.92  --
78.66/19.71	c  S st  1024    158505        61      5341         2     22036     37365    343677     21.55     18.92  --
78.66/19.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
78.66/19.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
79.06/19.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.6M T:  0.34
79.06/19.80	c Calc non-exist non-lernt bins v-fix:     0 done:     61 time:  0.00 s
79.06/19.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
79.06/19.80	c Subs w/ non-existent bins:      0 time:  0.01 s
79.06/19.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
79.06/19.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.06/19.81	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
82.25/20.62	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
82.25/20.63	c lits-rem:      1181  cl-subs:     2121  v-elim:     60  v-fix:    0  time:  3.28 s
82.25/20.63	c learnt bin added due to v-elim: 0
82.25/20.63	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
82.25/20.63	c vivif2 --  cl tried    19915 cl shrink        0 lits rem          0 time: 0.01
82.65/20.79	c asymm  cl-useful: 0/1000/5341 lits-rem:0 time: 0.66
82.65/20.79	c calculated reachability. Time: 0.00
82.65/20.79	c  N dy  1024    158505        61      5341         2     19915     37365    300347     21.55     18.92  --
88.24/22.18	c  N dy  1092    168695        61      5341         2     29045     37365    494743     21.33     18.91  --
93.84/23.53	c  N dy  1165    179567        61      5341         2     23614     37365    366979     21.58     18.91  --
100.64/25.23	c  N dy  1242    191081        61      5341         2     17886     37365    234445     21.46     18.90  --
107.03/26.88	c  N dy  1324    203297        61      5341         2     28817     37365    467249     21.73     18.90  --
114.62/28.74	c  N dy  1411    216298        61      5341         2     23498     37365    344026     21.14     18.91  --
123.81/31.00	c  N dy  1504    230214        65      5341        10     18053     37381    218253     21.64     18.91  --
127.40/31.98	c  S st  1555    237758        65      5341        10     24851     37381    362540     21.63     18.90  --
127.80/32.06	c  S st  1555    238262        65      5341        10     25308     37381    372306     21.63     18.90  --
127.80/32.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
127.80/32.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
128.20/32.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.4M T:  0.44
128.20/32.17	c Calc non-exist non-lernt bins v-fix:     0 done:     65 time:  0.00 s
128.20/32.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
128.20/32.18	c Subs w/ non-existent bins:      0 time:  0.01 s
128.20/32.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
128.20/32.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
128.20/32.18	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
132.20/33.12	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.20/33.12	c lits-rem:       900  cl-subs:     2222  v-elim:     60  v-fix:    0  time:  3.75 s
132.20/33.12	c learnt bin added due to v-elim: 0
132.20/33.12	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
132.20/33.13	c vivif2 --  cl tried    23086 cl shrink        0 lits rem          0 time: 0.01
132.60/33.29	c asymm  cl-useful: 0/898/5341 lits-rem:0 time: 0.65
132.60/33.29	c calculated reachability. Time: 0.00
132.60/33.29	c  N dy  1555    238262        65      5341        10     23086     37381    329256     21.63     18.90  --
143.00/35.82	c  N dy  1658    253493        65      5341        10     36873     37381    622245     21.50     18.86  --
152.57/38.26	c  N dy  1768    269726        65      5341        10     32802     37381    524388     21.86     18.83  --
163.76/41.09	c  N dy  1884    286944        65      5341        10     28501     37381    418775     21.71     18.81  --
177.35/44.40	c  N dy  2008    305341        65      5341        10     24447     37381    319253     21.61     18.78  --
191.35/47.97	c  N dy  2140    324834        65      5341        10     42117     37381    695981     21.09     18.76  --
205.31/51.47	c  N dy  2275    344840        65      5341        10     38611     37381    610669     21.66     18.74  --
215.31/53.91	c  S st  2360    357394        69      5341        26     27332     37405    358893     21.81     18.73  --
215.71/54.00	c  S st  2360    357895        69      5341        26     27800     37405    369297     21.81     18.73  --
215.71/54.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
215.71/54.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
216.11/54.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  9.3M T:  0.52
216.11/54.13	c Calc non-exist non-lernt bins v-fix:     0 done:     69 time:  0.00 s
216.11/54.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
216.11/54.13	c Subs w/ non-existent bins:      0 time:  0.01 s
216.11/54.14	c Replacing        2 vars Replaced     1433 lits Time:     0.03 s 
216.11/54.15	c bin-w-bin subsume rem            4 bins  time:  0.00 s
216.11/54.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
216.11/54.15	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
220.10/55.16	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.10/55.17	c lits-rem:       797  cl-subs:     1789  v-elim:     60  v-fix:    0  time:  4.06 s
220.10/55.17	c learnt bin added due to v-elim: 0
220.10/55.17	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
220.10/55.17	c vivif2 --  cl tried    26011 cl shrink        0 lits rem          0 time: 0.02
220.90/55.33	c asymm  cl-useful: 0/1158/5341 lits-rem:0 time: 0.62
220.90/55.33	c calculated reachability. Time: 0.00
220.90/55.33	c  N dy  2360    357895        67      5341        14     26011     37389    338255     21.81     18.73  --
236.48/59.23	c  N dy  2497    377997        67      5341        14     44301     37389    729783     21.52     18.71  --
252.06/63.12	c  N dy  2633    398094        67      5341        14     39105     37389    603776     21.82     18.69  --
268.84/67.39	c  N dy  2769    418192        67      5341        14     32885     37389    459174     22.26     18.67  --
288.04/72.13	c  N dy  2904    438218        67      5341        14     25622     37389    291702     21.90     18.65  --
303.60/76.09	c  N dy  3040    458250        67      5341        14     43917     37389    686345     21.89     18.63  --
322.38/80.76	c  N dy  3175    478297        67      5341        14     35769     37389    499711     21.51     18.62  --
341.55/85.52	c  N dy  3310    498371        71      5341        35     54147     37417    896610     21.77     18.61  --
358.35/89.76	c  N dy  3446    518477        71      5341        37     45164     37419    694106     21.49     18.60  --
375.93/94.16	c  S st  3464    536844        71      5341        37     33380     37419    421881     19.68     18.54  --
376.34/94.28	c  S st  3464    537348        71      5341        37     33844     37419    431976     19.68     18.54  --
376.34/94.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
376.34/94.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
377.11/94.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 12.4M T:  0.69
377.11/94.45	c Calc non-exist non-lernt bins v-fix:     0 done:     71 time:  0.00 s
377.11/94.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
377.11/94.46	c Subs w/ non-existent bins:      0 time:  0.02 s
377.11/94.46	c Replacing        4 vars Replaced      570 lits Time:     0.02 s 
377.11/94.47	c bin-w-bin subsume rem            8 bins  time:  0.00 s
377.11/94.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
377.11/94.47	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
382.31/95.72	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 21.0 T:    0.02
403.88/101.19	c Added 1 vars  tried: 80000 time: 21.84
404.28/101.22	c ORs :      1 avg-s:  0.0 cl-sh:  2523 l-rem:   2523 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   21.96
404.28/101.23	c lits-rem:       784  cl-subs:     2695  v-elim:     60  v-fix:    0  time: 27.00 s
404.28/101.23	c learnt bin added due to v-elim: 0
404.28/101.23	c vivif2 --  cl tried     5342 cl shrink        0 lits rem          0 time: 0.00
404.28/101.23	c vivif2 --  cl tried    31148 cl shrink        0 lits rem          0 time: 0.02
404.68/101.39	c asymm  cl-useful: 0/817/5342 lits-rem:0 time: 0.64
404.68/101.39	c calculated reachability. Time: 0.00
404.68/101.40	c  N dy  3464    537348        68      5342        16     31148     37377    385536     19.68     18.54  --
404.68/101.40	c  F st  3464    537348        68      5342        16     31148     37377    385536     19.68     18.54  --
406.28/101.76	c Decided on static restart strategy
422.27/105.73	c  N dy  3592    557382        68      5342        16     49489     37377    781365     21.71     18.54  --
441.86/110.69	c  N dy  3728    577475        68      5342        16     38806     37377    533831     22.01     18.53  --
463.42/116.02	c  N dy  3865    597590        70      5342        20     57189     37385    925989     21.34     18.52  --
674.80/168.91	c  N dy  3876    806022        70      5342        20     52038     37385    749886     20.45     17.78  --
674.80/168.94	c  S st  3876    806022        70      5342        20     52038     37385    749886     20.45     17.78  --
675.58/169.10	c  S st  3876    806526        74      5342        28     52519     37401    760321     20.45     17.78  --
675.58/169.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
675.58/169.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
676.78/169.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 20.1M T:  1.24
676.78/169.41	c Calc non-exist non-lernt bins v-fix:     0 done:     74 time:  0.00 s
676.78/169.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
676.78/169.42	c Subs w/ non-existent bins:      0 time:  0.04 s
676.78/169.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
676.78/169.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
676.78/169.44	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
688.38/172.30	c ORs :      2 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 18.0 T:    0.05
688.38/172.32	c lits-rem:       775  cl-subs:     6739  v-elim:     60  v-fix:    0  time: 11.50 s
688.38/172.32	c learnt bin added due to v-elim: 0
688.38/172.32	c vivif2 --  cl tried     5342 cl shrink        0 lits rem          0 time: 0.00
688.38/172.33	c vivif2 --  cl tried    45779 cl shrink        0 lits rem          0 time: 0.04
688.76/172.41	c asymm  cl-useful: 0/276/5342 lits-rem:0 time: 0.33
688.76/172.41	c calculated reachability. Time: 0.00
688.76/172.41	c  N dy  3876    806526        74      5342        28     45779     37401    642792     20.45     17.78  --
1189.01/297.60	c  N dy  3935   1209790        74      5342        28     61718     37401    908081     21.51     16.77  --
1189.01/297.64	c  S st  3935   1209790        74      5342        28     61718     37401    908081     21.51     16.77  --
1189.79/297.85	c  S st  3935   1210292        76      5342        32     62189     37409    918509     21.51     16.77  --
1189.79/297.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1189.79/297.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1191.79/298.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 25.7M T:  1.82
1191.79/298.31	c Calc non-exist non-lernt bins v-fix:     0 done:     76 time:  0.00 s
1191.79/298.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1191.79/298.32	c Subs w/ non-existent bins:      0 time:  0.04 s
1191.79/298.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1191.79/298.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1191.79/298.34	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1206.99/302.15	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.08
1257.71/314.83	c Added 1 vars  tried: 80000 time: 50.64
1258.91/315.13	c ORs :      1 avg-s:  0.0 cl-sh: 11368 l-rem:  11368 b-add:      3 v-rep:   0 cl-rem: 0 avg s: nan T:   51.83
1258.91/315.15	c lits-rem:      5854  cl-subs:     4708  v-elim:     60  v-fix:    0  time: 67.13 s
1258.91/315.15	c learnt bin added due to v-elim: 0
1258.91/315.15	c vivif2 --  cl tried     5343 cl shrink        0 lits rem          0 time: 0.00
1258.91/315.16	c vivif2 --  cl tried    57480 cl shrink        0 lits rem          0 time: 0.05
1259.32/315.25	c asymm  cl-useful: 0/269/5343 lits-rem:0 time: 0.35
1259.32/315.25	c calculated reachability. Time: 0.00
1259.32/315.25	c  N dy  3935   1210292        77      5343        35     57480     37398    819400     21.51     16.77  --
2061.99/516.15	c  N dy  3968   1710292        77      5343        36     87927     37398   1393065     21.76     15.81  --
2062.39/516.21	c  S st  3968   1710292        77      5343        36     87927     37398   1393065     21.76     15.81  --
2063.61/516.52	c  S st  3968   1710794        77      5343        36     88394     37398   1403451     21.76     15.81  --
2063.61/516.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2063.61/516.53	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
2066.38/517.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 37.9M T:  2.97
2066.38/517.27	c Calc non-exist non-lernt bins v-fix:     0 done:     77 time:  0.01 s
2066.38/517.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2066.38/517.29	c Subs w/ non-existent bins:      0 time:  0.06 s
2066.78/517.30	c Replacing        1 vars Replaced      235 lits Time:     0.07 s 
2066.78/517.33	c bin-w-bin subsume rem            2 bins  time:  0.00 s
2066.78/517.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2066.78/517.33	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2096.35/524.74	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 26.0 T:    0.16
2096.35/524.77	c lits-rem:       672  cl-subs:     8326  v-elim:     60  v-fix:    0  time: 29.71 s
2096.35/524.77	c learnt bin added due to v-elim: 0
2096.35/524.77	c vivif2 --  cl tried     5343 cl shrink        0 lits rem          0 time: 0.00
2096.35/524.79	c vivif2 --  cl tried    80067 cl shrink        0 lits rem          0 time: 0.07
2096.75/524.89	c asymm  cl-useful: 0/163/5343 lits-rem:0 time: 0.42
2097.15/524.90	c calculated reachability. Time: 0.00
2097.15/524.90	c  N dy  3968   1710794        76      5343        32     80067     37394   1253517     21.76     15.81  --
3086.42/772.58	c  N dy  4024   2210794        76      5343        32     96383     37394   1502678     21.72     15.37  --
3086.82/772.65	c  S st  4024   2210794        76      5343        32     96383     37394   1502678     21.72     15.37  --
3086.82/772.65	c Finding binary XORs  T:     0.00 s  found:       0
3088.41/773.02	c  S st  4024   2211294        80      5343        40     96858     37410   1513070     21.72     15.37  --
3088.41/773.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3088.41/773.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3091.61/773.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 44.0M T:  3.32
3091.61/773.86	c Calc non-exist non-lernt bins v-fix:     0 done:     80 time:  0.01 s
3091.61/773.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3091.61/773.88	c Subs w/ non-existent bins:      0 time:  0.08 s
3092.03/773.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3092.03/773.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3092.03/773.91	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3131.17/783.74	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 23.0 T:    0.18
3131.17/783.77	c lits-rem:      7726  cl-subs:     7576  v-elim:     60  v-fix:    0  time: 39.40 s
3131.17/783.77	c learnt bin added due to v-elim: 0
3131.17/783.78	c vivif2 --  cl tried     5343 cl shrink        0 lits rem          0 time: 0.00
3131.17/783.80	c vivif2 --  cl tried    89281 cl shrink        0 lits rem          0 time: 0.09
3131.99/783.90	c asymm  cl-useful: 0/168/5343 lits-rem:0 time: 0.42
3131.99/783.91	c calculated reachability. Time: 0.00
3131.99/783.91	c  N dy  4024   2211294        80      5343        40     89281     37410   1380730     21.72     15.37  --
4235.13/1060.06	c  N dy  4037   2711294        80      5343        40    111566     37410   1826932     21.89     15.08  --
4235.51/1060.14	c  S st  4037   2711294        80      5343        40    111566     37410   1826932     21.89     15.08  --
4237.11/1060.55	c  S st  4037   2711798        84      5343        48    112051     37426   1837323     21.89     15.08  --
4237.11/1060.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4237.11/1060.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4241.90/1061.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 56.4M T:  4.57
4241.90/1061.71	c Calc non-exist non-lernt bins v-fix:     0 done:     84 time:  0.01 s
4241.90/1061.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4241.90/1061.73	c Subs w/ non-existent bins:      0 time:  0.10 s
4241.90/1061.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4241.90/1061.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4241.90/1061.77	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
4298.24/1075.84	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 23.0 T:    0.32
4298.24/1075.88	c lits-rem:     10623  cl-subs:     9007  v-elim:     60  v-fix:    0  time: 56.37 s
4298.24/1075.88	c learnt bin added due to v-elim: 0
4298.24/1075.88	c vivif2 --  cl tried     5343 cl shrink        0 lits rem          0 time: 0.00
4298.64/1075.91	c vivif2 --  cl tried   103043 cl shrink        1 lits rem          2 time: 0.11
4299.04/1076.02	c asymm  cl-useful: 0/132/5343 lits-rem:0 time: 0.47
4299.04/1076.03	c calculated reachability. Time: 0.00
4299.04/1076.03	c  N dy  4037   2711798        84      5343        48    103043     37426   1657264     21.89     15.08  --
4299.04/1076.03	c  F st  4037   2711798        84      5343        48    103043     37426   1657264     21.89     15.08  --
4305.05/1077.51	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-3173034-1304125264/watcher-3173034-1304125264 -o /tmp/evaluation-result-3173034-1304125264/solver-3173034-1304125264 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3173034-1304125264.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.41 7.91 7.96 5/180 5265
/proc/meminfo: memFree=30715192/32951124 swapFree=67110188/67111528
[pid=5265] ppid=5263 vsize=50012 CPUtime=0 cores=0,2,4,6
/proc/5265/stat : 5265 (techdemo) R 5263 5265 4339 0 -1 4202496 648 0 0 0 0 0 0 0 25 0 1 0 524127164 51212288 579 33554432000 4194304 4797429 140737160218976 18446744073709551615 222921437893 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5265/statm: 12536 580 347 148 0 7465 0

[startup+0.123063 s]
/proc/loadavg: 7.41 7.91 7.96 5/180 5265
/proc/meminfo: memFree=30715192/32951124 swapFree=67110188/67111528
[pid=5265] ppid=5263 vsize=608348 CPUtime=0.45 cores=0,2,4,6
/proc/5265/stat : 5265 (techdemo) R 5263 5265 4339 0 -1 4202496 1508 0 0 0 45 0 0 0 18 0 4 0 524127164 622948352 1223 33554432000 4194304 4797429 140737160218976 18446744073709551615 222921882143 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5265/statm: 152087 1235 384 148 0 147016 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 608348

[startup+0.204678 s]
/proc/loadavg: 7.41 7.91 7.96 5/180 5265
/proc/meminfo: memFree=30715192/32951124 swapFree=67110188/67111528
[pid=5265] ppid=5263 vsize=615640 CPUtime=3.29 cores=0,2,4,6
/proc/5265/stat : 5265 (techdemo) R 5263 5265 4339 0 -1 4202496 5057 0 0 0 329 0 0 0 19 0 4 0 524127164 630415360 3902 33554432000 4194304 4797429 140737160218976 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5265/statm: 153910 3902 413 148 0 148839 0
Current children cumulated CPU time (s) 3.29
Current children cumulated vsize (KiB) 615640

[startup+0.936423 s]
/proc/loadavg: 7.41 7.91 7.96 5/180 5265
/proc/meminfo: memFree=30715192/32951124 swapFree=67110188/67111528
[pid=5265] ppid=5263 vsize=615640 CPUtime=3.69 cores=0,2,4,6
/proc/5265/stat : 5265 (techdemo) R 5263 5265 4339 0 -1 4202496 5104 0 0 0 369 0 0 0 19 0 4 0 524127164 630415360 3949 33554432000 4194304 4797429 140737160218976 18446744073709551615 4388659 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5265/statm: 153910 3949 413 148 0 148839 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 615640

[startup+1.0364 s]
/proc/loadavg: 7.41 7.91 7.96 5/180 5265
/proc/meminfo: memFree=30715192/32951124 swapFree=67110188/67111528
[pid=5265] ppid=5263 vsize=615860 CPUtime=4.09 cores=0,2,4,6
/proc/5265/stat : 5265 (techdemo) R 5263 5265 4339 0 -1 4202496 5171 0 0 0 409 0 0 0 19 0 4 0 524127164 630640640 4014 33554432000 4194304 4797429 140737160218976 18446744073709551615 4424868 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5265/statm: 153965 4014 413 148 0 148894 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 615860

[startup+1.50032 s]
/proc/loadavg: 7.41 7.91 7.96 5/180 5265
/proc/meminfo: memFree=30715192/32951124 swapFree=67110188/67111528
[pid=5265] ppid=5263 vsize=616384 CPUtime=5.95 cores=0,2,4,6
/proc/5265/stat : 5265 (techdemo) R 5263 5265 4339 0 -1 4202496 5679 0 0 0 595 0 0 0 20 0 4 0 524127164 631177216 4252 33554432000 4194304 4797429 140737160218976 18446744073709551615 4425633 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5265/statm: 154096 4252 414 148 0 149025 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 616384

[startup+3.10106 s]
/proc/loadavg: 7.41 7.91 7.96 9/184 5269
/proc/meminfo: memFree=30694340/32951124 swapFree=67110188/67111528
[pid=5265] ppid=5263 vsize=618552 CPUtime=12.34 cores=0,2,4,6
/proc/5265/stat : 5265 (techdemo) R 5263 5265 4339 0 -1 4202496 7474 0 0 0 1233 1 0 0 25 0 4 0 524127164 633397248 4977 33554432000 4194304 4797429 140737160218976 18446744073709551615 4424987 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5265/statm: 154638 4977 416 148 0 149567 0
[pid=5265/tid=5267] ppid=5263 vsize=618552 CPUtime=3.08 cores=0,2,4,6
/proc/5265/task/5267/stat : 5267 (techdemo) R 5263 5265 4339 0 -1 4202560 1400 0 0 0 308 0 0 0 25 0 4 0 524127165 633397248 4977 33554432000 4194304 4797429 140737160218976 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5265/tid=5268] ppid=5263 vsize=618552 CPUtime=3.07 cores=0,2,4,6
/proc/5265/task/5268/stat : 5268 (techdemo) R 5263 5265 4339 0 -1 4202560 1349 0 0 0 307 0 0 0 25 0 4 0 524127165 633397248 4977 33554432000 4194304 4797429 140737160218976 18446744073709551615 4524374 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5265/tid=5269] ppid=5263 vsize=618552 CPUtime=3.08 cores=0,2,4,6
/proc/5265/task/5269/stat : 5269 (techdemo) R 5263 5265 4339 0 -1 4202560 1420 0 0 0 308 0 0 0 25 0 4 0 524127165 633397248 4977 33554432000 4194304 4797429 140737160218976 18446744073709551615 4523986 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 618552

[startup+6.30045 s]
/proc/loadavg: 7.46 7.91 7.96 9/184 5299
/proc/meminfo: memFree=30687420/32951124 swapFree=67110188/67111528
[pid=5265] ppid=5263 vsize=621608 CPUtime=25.12 cores=0,2,4,6
/proc/5265/stat : 5265 (techdemo) R 5263 5265 4339 0 -1 4202496 10084 0 0 0 2511 1 0 0 25 0 4 0 524127164 636526592 6078 33554432000 4194304 4797429 140737160218976 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5265/statm: 155402 6078 416 148 0 150331 0
[pid=5265/tid=5267] ppid=5263 vsize=621608 CPUtime=6.28 cores=0,2,4,6
/proc/5265/task/5267/stat : 5267 (techdemo) R 5263 5265 4339 0 -1 4202560 1791 0 0 0 628 0 0 0 25 0 4 0 524127165 636526592 6078 33554432000 4194304 4797429 140737160218976 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5265/tid=5268] ppid=5263 vsize=621608 CPUtime=6.26 cores=0,2,4,6
/proc/5265/task/5268/stat : 5268 (techdemo) R 5263 5265 4339 0 -1 4202560 1550 0 0 0 626 0 0 0 25 0 4 0 524127165 636526592 6078 33554432000 4194304 4797429 140737160218976 18446744073709551615 4424699 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5265/tid=5269] ppid=5263 vsize=621608 CPUtime=6.28 cores=0,2,4,6
/proc/5265/task/5269/stat : 5269 (techdemo) R 5263 5265 4339 0 -1 4202560 1655 0 0 0 628 0 0 0 25 0 4 0 524127165 636526592 6078 33554432000 4194304 4797429 140737160218976 18446744073709551615 4345256 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 621608

[startup+12.7003 s]
/proc/loadavg: 7.50 7.91 7.96 9/184 5299
/proc/meminfo: memFree=30677860/32951124 swapFree=67110188/67111528
[pid=5265] ppid=5263 vsize=625464 CPUtime=50.71 cores=0,2,4,6
/proc/5265/stat : 5265 (techdemo) R 5263 5265 4339 0 -1 4202496 14215 0 0 0 5069 2 0 0 25 0 4 0 524127164 640475136 7066 33554432000 4194304 4797429 140737160218976 18446744073709551615 4506608 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5265/statm: 156366 7066 419 148 0 151295 0
[pid=5265/tid=5267] ppid=5263 vsize=625464 CPUtime=12.68 cores=0,2,4,6
/proc/5265/task/5267/stat : 5267 (techdemo) R 5263 5265 4339 0 -1 4202560 2318 0 0 0 1268 0 0 0 25 0 4 0 524127165 640475136 7066 33554432000 4194304 4797429 140737160218976 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5265/tid=5268] ppid=5263 vsize=625464 CPUtime=12.63 cores=0,2,4,6
/proc/5265/task/5268/stat : 5268 (techdemo) R 5263 5265 4339 0 -1 4202560 2183 0 0 0 1263 0 0 0 25 0 4 0 524127165 640475136 7066 33554432000 4194304 4797429 140737160218976 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5265/tid=5269] ppid=5263 vsize=625464 CPUtime=12.68 cores=0,2,4,6
/proc/5265/task/5269/stat : 5269 (techdemo) R 5263 5265 4339 0 -1 4202560 2379 0 0 0 1268 0 0 0 25 0 4 0 524127165 640475136 7066 33554432000 4194304 4797429 140737160218976 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 625464

[startup+25.5009 s]
/proc/loadavg: 7.68 7.93 7.96 9/184 5299
/proc/meminfo: memFree=30662560/32951124 swapFree=67110188/67111528
[pid=5265] ppid=5263 vsize=629052 CPUtime=101.84 cores=0,2,4,6
/proc/5265/stat : 5265 (techdemo) R 5263 5265 4339 0 -1 4202496 21844 0 0 0 10180 4 0 0 25 0 4 0 524127164 644149248 8671 33554432000 4194304 4797429 140737160218976 18446744073709551615 4424617 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5265/statm: 157263 8671 419 148 0 152192 0
[pid=5265/tid=5267] ppid=5263 vsize=629052 CPUtime=25.47 cores=0,2,4,6
/proc/5265/task/5267/stat : 5267 (techdemo) R 5263 5265 4339 0 -1 4202560 4689 0 0 0 2547 0 0 0 25 0 4 0 524127165 644149248 8671 33554432000 4194304 4797429 140737160218976 18446744073709551615 4495559 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5265/tid=5268] ppid=5263 vsize=629052 CPUtime=25.37 cores=0,2,4,6
/proc/5265/task/5268/stat : 5268 (techdemo) R 5263 5265 4339 0 -1 4202560 2888 0 0 0 2537 0 0 0 25 0 4 0 524127165 644149248 8671 33554432000 4194304 4797429 140737160218976 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5265/tid=5269] ppid=5263 vsize=629052 CPUtime=25.47 cores=0,2,4,6
/proc/5265/task/5269/stat : 5269 (techdemo) R 5263 5265 4339 0 -1 4202560 3147 0 0 0 2547 0 0 0 25 0 4 0 524127165 644149248 8671 33554432000 4194304 4797429 140737160218976 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 629052

[startup+51.1003 s]
/proc/loadavg: 7.86 7.96 7.97 9/184 5300
/proc/meminfo: memFree=30643376/32951124 swapFree=67110188/67111528
[pid=5265] ppid=5263 vsize=635232 CPUtime=204.11 cores=0,2,4,6
/proc/5265/stat : 5265 (techdemo) R 5263 5265 4339 0 -1 4202496 33513 0 0 0 20405 6 0 0 25 0 4 0 524127164 650477568 10567 33554432000 4194304 4797429 140737160218976 18446744073709551615 4423072 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5265/statm: 158808 10567 421 148 0 153737 0
[pid=5265/tid=5267] ppid=5263 vsize=635232 CPUtime=51.08 cores=0,2,4,6
/proc/5265/task/5267/stat : 5267 (techdemo) R 5263 5265 4339 0 -1 4202560 6598 0 0 0 5107 1 0 0 25 0 4 0 524127165 650477568 10567 33554432000 4194304 4797429 140737160218976 18446744073709551615 4430142 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5265/tid=5268] ppid=5263 vsize=635232 CPUtime=50.85 cores=0,2,4,6
/proc/5265/task/5268/stat : 5268 (techdemo) R 5263 5265 4339 0 -1 4202560 6099 0 0 0 5085 0 0 0 25 0 4 0 524127165 650477568 10567 33554432000 4194304 4797429 140737160218976 18446744073709551615 4351618 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5265/tid=5269] ppid=5263 vsize=635232 CPUtime=51.08 cores=0,2,4,6
/proc/5265/task/5269/stat : 5269 (techdemo) R 5263 5265 4339 0 -1 4202560 4462 0 0 0 5107 1 0 0 25 0 4 0 524127165 650477568 10567 33554432000 4194304 4797429 140737160218976 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 635232

[startup+102.301 s]
/proc/loadavg: 8.06 7.99 7.98 10/184 5301
/proc/meminfo: memFree=30624452/32951124 swapFree=67110188/67111528
[pid=5265] ppid=5263 vsize=647536 CPUtime=408.68 cores=0,2,4,6
/proc/5265/stat : 5265 (techdemo) R 5263 5265 4339 0 -1 4202496 48171 0 0 0 40858 10 0 0 25 0 4 0 524127164 663076864 13360 33554432000 4194304 4797429 140737160218976 18446744073709551615 4424617 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5265/statm: 161884 13360 421 148 0 156813 0
[pid=5265/tid=5267] ppid=5263 vsize=647536 CPUtime=102.28 cores=0,2,4,6
/proc/5265/task/5267/stat : 5267 (techdemo) R 5263 5265 4339 0 -1 4202560 8392 0 0 0 10227 1 0 0 25 0 4 0 524127165 663076864 13360 33554432000 4194304 4797429 140737160218976 18446744073709551615 4523986 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5265/tid=5268] ppid=5263 vsize=647536 CPUtime=101.82 cores=0,2,4,6
/proc/5265/task/5268/stat : 5268 (techdemo) R 5263 5265 4339 0 -1 4202560 8131 0 0 0 10181 1 0 0 25 0 4 0 524127165 663076864 13360 33554432000 4194304 4797429 140737160218976 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5265/tid=5269] ppid=5263 vsize=647536 CPUtime=102.27 cores=0,2,4,6
/proc/5265/task/5269/stat : 5269 (techdemo) R 5263 5265 4339 0 -1 4202560 6733 0 0 0 10226 1 0 0 25 0 4 0 524127165 663076864 13360 33554432000 4194304 4797429 140737160218976 18446744073709551615 4429121 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.68
Current children cumulated vsize (KiB) 647536

[startup+162.301 s]
/proc/loadavg: 8.09 8.01 7.98 9/184 5303
/proc/meminfo: memFree=30606688/32951124 swapFree=67110188/67111528
[pid=5265] ppid=5263 vsize=648948 CPUtime=648.42 cores=0,2,4,6
/proc/5265/stat : 5265 (techdemo) R 5263 5265 4339 0 -1 4202496 61463 0 0 0 64827 15 0 0 25 0 4 0 524127164 664522752 15586 33554432000 4194304 4797429 140737160218976 18446744073709551615 4425918 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5265/statm: 162237 15586 421 148 0 157166 0
[pid=5265/tid=5267] ppid=5263 vsize=648948 CPUtime=162.28 cores=0,2,4,6
/proc/5265/task/5267/stat : 5267 (techdemo) R 5263 5265 4339 0 -1 4202560 9807 0 0 0 16226 2 0 0 25 0 4 0 524127165 664522752 15586 33554432000 4194304 4797429 140737160218976 18446744073709551615 4524064 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5265/tid=5268] ppid=5263 vsize=648948 CPUtime=161.55 cores=0,2,4,6
/proc/5265/task/5268/stat : 5268 (techdemo) R 5263 5265 4339 0 -1 4202560 9861 0 0 0 16153 2 0 0 25 0 4 0 524127165 664522752 15586 33554432000 4194304 4797429 140737160218976 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5265/tid=5269] ppid=5263 vsize=648948 CPUtime=162.28 cores=0,2,4,6
/proc/5265/task/5269/stat : 5269 (techdemo) R 5263 5265 4339 0 -1 4202560 8267 0 0 0 16226 2 0 0 25 0 4 0 524127165 664522752 15586 33554432000 4194304 4797429 140737160218976 18446744073709551615 4491072 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 648.42
Current children cumulated vsize (KiB) 648948

[startup+222.301 s]
/proc/loadavg: 8.35 8.11 8.02 9/184 5308
/proc/meminfo: memFree=30591888/32951124 swapFree=67110188/67111528
[pid=5265] ppid=5263 vsize=654676 CPUtime=888.14 cores=0,2,4,6
/proc/5265/stat : 5265 (techdemo) R 5263 5265 4339 0 -1 4202496 74807 0 0 0 88794 20 0 0 25 0 4 0 524127164 670388224 17591 33554432000 4194304 4797429 140737160218976 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5265/statm: 163669 17591 421 148 0 158598 0
[pid=5265/tid=5267] ppid=5263 vsize=654676 CPUtime=222.27 cores=0,2,4,6
/proc/5265/task/5267/stat : 5267 (techdemo) R 5263 5265 4339 0 -1 4202560 11272 0 0 0 22225 2 0 0 25 0 4 0 524127165 670388224 17591 33554432000 4194304 4797429 140737160218976 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5265/tid=5268] ppid=5263 vsize=654676 CPUtime=221.27 cores=0,2,4,6
/proc/5265/task/5268/stat : 5268 (techdemo) R 5263 5265 4339 0 -1 4202560 11662 0 0 0 22124 3 0 0 25 0 4 0 524127165 670388224 17591 33554432000 4194304 4797429 140737160218976 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5265/tid=5269] ppid=5263 vsize=654676 CPUtime=222.27 cores=0,2,4,6
/proc/5265/task/5269/stat : 5269 (techdemo) R 5263 5265 4339 0 -1 4202560 9923 0 0 0 22225 2 0 0 25 0 4 0 524127165 670388224 17591 33554432000 4194304 4797429 140737160218976 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 888.14
Current children cumulated vsize (KiB) 654676

[startup+282.306 s]
/proc/loadavg: 8.13 8.08 8.01 9/184 5309
/proc/meminfo: memFree=30582172/32951124 swapFree=67110188/67111528
[pid=5265] ppid=5263 vsize=657464 CPUtime=1127.88 cores=0,2,4,6
/proc/5265/stat : 5265 (techdemo) R 5263 5265 4339 0 -1 4202496 86318 0 0 0 112764 24 0 0 25 0 4 0 524127164 673243136 18313 33554432000 4194304 4797429 140737160218976 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5265/statm: 164366 18313 421 148 0 159295 0
[pid=5265/tid=5267] ppid=5263 vsize=657464 CPUtime=282.28 cores=0,2,4,6

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

[pid=5265] ppid=5263 vsize=683600 CPUtime=2805.94 cores=0,2,4,6
/proc/5265/stat : 5265 (techdemo) R 5263 5265 4339 0 -1 4202496 149922 0 0 0 280546 48 0 0 25 0 4 0 524127164 700006400 27122 33554432000 4194304 4797429 140737160218976 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5265/statm: 170900 27122 421 148 0 165829 0
[pid=5265/tid=5267] ppid=5263 vsize=683600 CPUtime=702.29 cores=0,2,4,6
/proc/5265/task/5267/stat : 5267 (techdemo) R 5263 5265 4339 0 -1 4202560 21592 0 0 0 70222 7 0 0 25 0 4 0 524127165 700006400 27122 33554432000 4194304 4797429 140737160218976 18446744073709551615 4524360 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5265/tid=5268] ppid=5263 vsize=683600 CPUtime=699.08 cores=0,2,4,6
/proc/5265/task/5268/stat : 5268 (techdemo) R 5263 5265 4339 0 -1 4202560 21753 0 0 0 69901 7 0 0 25 0 4 0 524127165 700006400 27122 33554432000 4194304 4797429 140737160218976 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5265/tid=5269] ppid=5263 vsize=683600 CPUtime=702.29 cores=0,2,4,6
/proc/5265/task/5269/stat : 5269 (techdemo) R 5263 5265 4339 0 -1 4202560 19740 0 0 0 70222 7 0 0 25 0 4 0 524127165 700006400 27122 33554432000 4194304 4797429 140737160218976 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.94
Current children cumulated vsize (KiB) 683600

[startup+762.3 s]
/proc/loadavg: 8.10 8.08 8.01 9/184 5322
/proc/meminfo: memFree=30504928/32951124 swapFree=67110188/67111528
[pid=5265] ppid=5263 vsize=683864 CPUtime=3045.66 cores=0,2,4,6
/proc/5265/stat : 5265 (techdemo) R 5263 5265 4339 0 -1 4202496 157142 0 0 0 304514 52 0 0 25 0 4 0 524127164 700276736 27470 33554432000 4194304 4797429 140737160218976 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5265/statm: 170966 27470 421 148 0 165895 0
[pid=5265/tid=5267] ppid=5263 vsize=683864 CPUtime=762.29 cores=0,2,4,6
/proc/5265/task/5267/stat : 5267 (techdemo) R 5263 5265 4339 0 -1 4202560 22611 0 0 0 76221 8 0 0 25 0 4 0 524127165 700276736 27470 33554432000 4194304 4797429 140737160218976 18446744073709551615 4642224 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5265/tid=5268] ppid=5263 vsize=683864 CPUtime=758.81 cores=0,2,4,6
/proc/5265/task/5268/stat : 5268 (techdemo) R 5263 5265 4339 0 -1 4202560 22725 0 0 0 75873 8 0 0 25 0 4 0 524127165 700276736 27470 33554432000 4194304 4797429 140737160218976 18446744073709551615 4524288 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5265/tid=5269] ppid=5263 vsize=683864 CPUtime=762.29 cores=0,2,4,6
/proc/5265/task/5269/stat : 5269 (techdemo) R 5263 5265 4339 0 -1 4202560 20287 0 0 0 76222 7 0 0 25 0 4 0 524127165 700276736 27470 33554432000 4194304 4797429 140737160218976 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.66
Current children cumulated vsize (KiB) 683864

[startup+822.3 s]
/proc/loadavg: 8.11 8.09 8.02 9/184 5324
/proc/meminfo: memFree=30490864/32951124 swapFree=67110188/67111528
[pid=5265] ppid=5263 vsize=687864 CPUtime=3285.41 cores=0,2,4,6
/proc/5265/stat : 5265 (techdemo) R 5263 5265 4339 0 -1 4202496 163983 0 0 0 328487 54 0 0 25 0 4 0 524127164 704372736 29170 33554432000 4194304 4797429 140737160218976 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5265/statm: 171966 29170 431 148 0 166895 0
[pid=5265/tid=5267] ppid=5263 vsize=687864 CPUtime=822.31 cores=0,2,4,6
/proc/5265/task/5267/stat : 5267 (techdemo) R 5263 5265 4339 0 -1 4202560 23540 0 0 0 82222 9 0 0 25 0 4 0 524127165 704372736 29170 33554432000 4194304 4797429 140737160218976 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5265/tid=5268] ppid=5263 vsize=687864 CPUtime=818.54 cores=0,2,4,6
/proc/5265/task/5268/stat : 5268 (techdemo) R 5263 5265 4339 0 -1 4202560 23336 0 0 0 81846 8 0 0 25 0 4 0 524127165 704372736 29170 33554432000 4194304 4797429 140737160218976 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5265/tid=5269] ppid=5263 vsize=687864 CPUtime=822.3 cores=0,2,4,6
/proc/5265/task/5269/stat : 5269 (techdemo) R 5263 5265 4339 0 -1 4202560 21459 0 0 0 82222 8 0 0 25 0 4 0 524127165 704372736 29170 33554432000 4194304 4797429 140737160218976 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3285.41
Current children cumulated vsize (KiB) 687864

[startup+882.3 s]
/proc/loadavg: 8.12 8.10 8.02 9/184 5325
/proc/meminfo: memFree=30491200/32951124 swapFree=67110188/67111528
[pid=5265] ppid=5263 vsize=692232 CPUtime=3525.11 cores=0,2,4,6
/proc/5265/stat : 5265 (techdemo) R 5263 5265 4339 0 -1 4202496 171648 0 0 0 352454 57 0 0 25 0 4 0 524127164 708845568 29705 33554432000 4194304 4797429 140737160218976 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5265/statm: 173058 29705 431 148 0 167987 0
[pid=5265/tid=5267] ppid=5263 vsize=692232 CPUtime=882.3 cores=0,2,4,6
/proc/5265/task/5267/stat : 5267 (techdemo) R 5263 5265 4339 0 -1 4202560 24134 0 0 0 88221 9 0 0 25 0 4 0 524127165 708845568 29705 33554432000 4194304 4797429 140737160218976 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5265/tid=5268] ppid=5263 vsize=692232 CPUtime=878.26 cores=0,2,4,6
/proc/5265/task/5268/stat : 5268 (techdemo) R 5263 5265 4339 0 -1 4202560 24333 0 0 0 87818 8 0 0 25 0 4 0 524127165 708845568 29705 33554432000 4194304 4797429 140737160218976 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5265/tid=5269] ppid=5263 vsize=692232 CPUtime=882.29 cores=0,2,4,6
/proc/5265/task/5269/stat : 5269 (techdemo) R 5263 5265 4339 0 -1 4202560 22499 0 0 0 88221 8 0 0 25 0 4 0 524127165 708845568 29705 33554432000 4194304 4797429 140737160218976 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3525.11
Current children cumulated vsize (KiB) 692232

[startup+942.306 s]
/proc/loadavg: 8.08 8.09 8.02 9/184 5327
/proc/meminfo: memFree=30482224/32951124 swapFree=67110188/67111528
[pid=5265] ppid=5263 vsize=692476 CPUtime=3764.87 cores=0,2,4,6
/proc/5265/stat : 5265 (techdemo) R 5263 5265 4339 0 -1 4202496 178651 0 0 0 376426 61 0 0 25 0 4 0 524127164 709095424 30669 33554432000 4194304 4797429 140737160218976 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5265/statm: 173119 30669 431 148 0 168048 0
[pid=5265/tid=5267] ppid=5263 vsize=692476 CPUtime=942.3 cores=0,2,4,6
/proc/5265/task/5267/stat : 5267 (techdemo) R 5263 5265 4339 0 -1 4202560 25133 0 0 0 94221 9 0 0 25 0 4 0 524127165 709095424 30669 33554432000 4194304 4797429 140737160218976 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5265/tid=5268] ppid=5263 vsize=692476 CPUtime=937.99 cores=0,2,4,6
/proc/5265/task/5268/stat : 5268 (techdemo) R 5263 5265 4339 0 -1 4202560 25514 0 0 0 93790 9 0 0 25 0 4 0 524127165 709095424 30669 33554432000 4194304 4797429 140737160218976 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5265/tid=5269] ppid=5263 vsize=692476 CPUtime=942.3 cores=0,2,4,6
/proc/5265/task/5269/stat : 5269 (techdemo) R 5263 5265 4339 0 -1 4202560 23462 0 0 0 94222 8 0 0 25 0 4 0 524127165 709095424 30669 33554432000 4194304 4797429 140737160218976 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.87
Current children cumulated vsize (KiB) 692476

[startup+1002.3 s]
/proc/loadavg: 8.14 8.10 8.03 9/184 5328
/proc/meminfo: memFree=30480448/32951124 swapFree=67110188/67111528
[pid=5265] ppid=5263 vsize=693996 CPUtime=4004.57 cores=0,2,4,6
/proc/5265/stat : 5265 (techdemo) R 5263 5265 4339 0 -1 4202496 185636 0 0 0 400392 65 0 0 25 0 4 0 524127164 710651904 30963 33554432000 4194304 4797429 140737160218976 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5265/statm: 173499 30963 422 148 0 168428 0
[pid=5265/tid=5267] ppid=5263 vsize=693996 CPUtime=1002.3 cores=0,2,4,6
/proc/5265/task/5267/stat : 5267 (techdemo) R 5263 5265 4339 0 -1 4202560 26218 0 0 0 100220 10 0 0 25 0 4 0 524127165 710651904 30963 33554432000 4194304 4797429 140737160218976 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5265/tid=5268] ppid=5263 vsize=693996 CPUtime=997.71 cores=0,2,4,6
/proc/5265/task/5268/stat : 5268 (techdemo) R 5263 5265 4339 0 -1 4202560 26218 0 0 0 99761 10 0 0 25 0 4 0 524127165 710651904 30963 33554432000 4194304 4797429 140737160218976 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5265/tid=5269] ppid=5263 vsize=693996 CPUtime=1002.3 cores=0,2,4,6
/proc/5265/task/5269/stat : 5269 (techdemo) R 5263 5265 4339 0 -1 4202560 23989 0 0 0 100221 9 0 0 25 0 4 0 524127165 710651904 30963 33554432000 4194304 4797429 140737160218976 18446744073709551615 4524288 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4004.57
Current children cumulated vsize (KiB) 693996

[startup+1062.3 s]
/proc/loadavg: 8.16 8.11 8.03 9/184 5330
/proc/meminfo: memFree=30470856/32951124 swapFree=67110188/67111528
[pid=5265] ppid=5263 vsize=697488 CPUtime=4244.29 cores=0,2,4,6
/proc/5265/stat : 5265 (techdemo) R 5263 5265 4339 0 -1 4202496 192585 0 0 0 424360 69 0 0 25 0 4 0 524127164 714227712 32721 33554432000 4194304 4797429 140737160218976 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5265/statm: 174372 32721 422 148 0 169301 0
[pid=5265/tid=5267] ppid=5263 vsize=697488 CPUtime=1062.3 cores=0,2,4,6
/proc/5265/task/5267/stat : 5267 (techdemo) R 5263 5265 4339 0 -1 4202560 26709 0 0 0 106220 10 0 0 25 0 4 0 524127165 714227712 32721 33554432000 4194304 4797429 140737160218976 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5265/tid=5268] ppid=5263 vsize=697488 CPUtime=1057.44 cores=0,2,4,6
/proc/5265/task/5268/stat : 5268 (techdemo) R 5263 5265 4339 0 -1 4202560 27281 0 0 0 105734 10 0 0 25 0 4 0 524127165 714227712 32721 33554432000 4194304 4797429 140737160218976 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5265/tid=5269] ppid=5263 vsize=697488 CPUtime=1062.3 cores=0,2,4,6
/proc/5265/task/5269/stat : 5269 (techdemo) R 5263 5265 4339 0 -1 4202560 25316 0 0 0 106220 10 0 0 25 0 4 0 524127165 714227712 32721 33554432000 4194304 4797429 140737160218976 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4244.29
Current children cumulated vsize (KiB) 697488

[startup+1122.3 s]
/proc/loadavg: 8.12 8.11 8.03 9/184 5332
/proc/meminfo: memFree=30462876/32951124 swapFree=67110188/67111528
[pid=5265] ppid=5263 vsize=698520 CPUtime=4484.02 cores=0,2,4,6
/proc/5265/stat : 5265 (techdemo) R 5263 5265 4339 0 -1 4202496 199160 0 0 0 448331 71 0 0 25 0 4 0 524127164 715284480 32785 33554432000 4194304 4797429 140737160218976 18446744073709551615 4423089 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5265/statm: 174630 32785 422 148 0 169559 0
[pid=5265/tid=5267] ppid=5263 vsize=698520 CPUtime=1122.3 cores=0,2,4,6
/proc/5265/task/5267/stat : 5267 (techdemo) R 5263 5265 4339 0 -1 4202560 27795 0 0 0 112219 11 0 0 25 0 4 0 524127165 715284480 32785 33554432000 4194304 4797429 140737160218976 18446744073709551615 4429150 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5265/tid=5268] ppid=5263 vsize=698520 CPUtime=1117.17 cores=0,2,4,6
/proc/5265/task/5268/stat : 5268 (techdemo) R 5263 5265 4339 0 -1 4202560 28252 0 0 0 111706 11 0 0 25 0 4 0 524127165 715284480 32785 33554432000 4194304 4797429 140737160218976 18446744073709551615 4509681 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5265/tid=5269] ppid=5263 vsize=698520 CPUtime=1122.3 cores=0,2,4,6
/proc/5265/task/5269/stat : 5269 (techdemo) R 5263 5265 4339 0 -1 4202560 26288 0 0 0 112220 10 0 0 25 0 4 0 524127165 715284480 32785 33554432000 4194304 4797429 140737160218976 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4484.02
Current children cumulated vsize (KiB) 698520

[startup+1182.3 s]
/proc/loadavg: 8.14 8.12 8.04 9/184 5333
/proc/meminfo: memFree=30451436/32951124 swapFree=67110188/67111528
[pid=5265] ppid=5263 vsize=699424 CPUtime=4723.75 cores=0,2,4,6
/proc/5265/stat : 5265 (techdemo) R 5263 5265 4339 0 -1 4202496 204413 0 0 0 472300 75 0 0 25 0 4 0 524127164 716210176 34732 33554432000 4194304 4797429 140737160218976 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5265/statm: 174856 34732 422 148 0 169785 0
[pid=5265/tid=5267] ppid=5263 vsize=699424 CPUtime=1182.3 cores=0,2,4,6
/proc/5265/task/5267/stat : 5267 (techdemo) R 5263 5265 4339 0 -1 4202560 28336 0 0 0 118219 11 0 0 25 0 4 0 524127165 716210176 34732 33554432000 4194304 4797429 140737160218976 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5265/tid=5268] ppid=5263 vsize=699424 CPUtime=1176.89 cores=0,2,4,6
/proc/5265/task/5268/stat : 5268 (techdemo) R 5263 5265 4339 0 -1 4202560 28741 0 0 0 117678 11 0 0 25 0 4 0 524127165 716210176 34732 33554432000 4194304 4797429 140737160218976 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5265/tid=5269] ppid=5263 vsize=699424 CPUtime=1182.3 cores=0,2,4,6
/proc/5265/task/5269/stat : 5269 (techdemo) R 5263 5265 4339 0 -1 4202560 26814 0 0 0 118219 11 0 0 25 0 4 0 524127165 716210176 34732 33554432000 4194304 4797429 140737160218976 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4723.75
Current children cumulated vsize (KiB) 699424



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.4 s]
/proc/loadavg: 8.10 8.11 8.03 9/184 5334
/proc/meminfo: memFree=30456632/32951124 swapFree=67110188/67111528
[pid=5265] ppid=5263 vsize=700520 CPUtime=4800.08 cores=0,2,4,6
/proc/5265/stat : 5265 (techdemo) R 5263 5265 4339 0 -1 4202496 207733 0 0 0 479933 75 0 0 25 0 4 0 524127164 717332480 34169 33554432000 4194304 4797429 140737160218976 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5265/statm: 175130 34169 422 148 0 170059 0
[pid=5265/tid=5267] ppid=5263 vsize=700520 CPUtime=1201.42 cores=0,2,4,6
/proc/5265/task/5267/stat : 5267 (techdemo) R 5263 5265 4339 0 -1 4202560 29139 0 0 0 120130 12 0 0 25 0 4 0 524127165 717332480 34169 33554432000 4194304 4797429 140737160218976 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5265/tid=5268] ppid=5263 vsize=700520 CPUtime=1195.91 cores=0,2,4,6
/proc/5265/task/5268/stat : 5268 (techdemo) R 5263 5265 4339 0 -1 4202560 28881 0 0 0 119580 11 0 0 25 0 4 0 524127165 717332480 34169 33554432000 4194304 4797429 140737160218976 18446744073709551615 4567894 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5265/tid=5269] ppid=5263 vsize=700520 CPUtime=1201.41 cores=0,2,4,6
/proc/5265/task/5269/stat : 5269 (techdemo) R 5263 5265 4339 0 -1 4202560 26915 0 0 0 120130 11 0 0 25 0 4 0 524127165 717332480 34169 33554432000 4194304 4797429 140737160218976 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.08
Current children cumulated vsize (KiB) 700520

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

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

[startup+1201.4 s]
/proc/loadavg: 8.10 8.11 8.03 9/184 5334
/proc/meminfo: memFree=30456632/32951124 swapFree=67110188/67111528
[pid=5265] ppid=5263 vsize=700520 CPUtime=4800.08 cores=0,2,4,6
/proc/5265/stat : 5265 (techdemo) R 5263 5265 4339 0 -1 4202496 207733 0 0 0 479933 75 0 0 25 0 4 0 524127164 717332480 34169 33554432000 4194304 4797429 140737160218976 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5265/statm: 175130 34169 422 148 0 170059 0
[pid=5265/tid=5267] ppid=5263 vsize=700520 CPUtime=1201.42 cores=0,2,4,6
/proc/5265/task/5267/stat : 5267 (techdemo) R 5263 5265 4339 0 -1 4202560 29139 0 0 0 120130 12 0 0 25 0 4 0 524127165 717332480 34169 33554432000 4194304 4797429 140737160218976 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5265/tid=5268] ppid=5263 vsize=700520 CPUtime=1195.91 cores=0,2,4,6
/proc/5265/task/5268/stat : 5268 (techdemo) R 5263 5265 4339 0 -1 4202560 28881 0 0 0 119580 11 0 0 25 0 4 0 524127165 717332480 34169 33554432000 4194304 4797429 140737160218976 18446744073709551615 4567894 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5265/tid=5269] ppid=5263 vsize=700520 CPUtime=1201.41 cores=0,2,4,6
/proc/5265/task/5269/stat : 5269 (techdemo) R 5263 5265 4339 0 -1 4202560 26915 0 0 0 120130 11 0 0 25 0 4 0 524127165 717332480 34169 33554432000 4194304 4797429 140737160218976 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.08
Current children cumulated vsize (KiB) 700520

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.42
CPU time (s): 4800.12
CPU user time (s): 4799.35
CPU system time (s): 0.765883
CPU usage (%): 399.537
Max. virtual memory (cumulated for all children) (KiB): 791984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.35
system time used= 0.765883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207734
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= 575
involuntary context switches= 25203

runsolver used 1.55676 second user time and 3.9684 second system time

The end

Launcher Data 

Begin job on node109 at 2011-04-30 03:01:04
IDJOB=3173034
IDBENCH=83052
IDSOLVER=1584
FILE ID=node109/3173034-1304125264
RUNJOBID= node109-1304125260-5203
PBS_JOBID= 13170719
Free space on /tmp= 72376 MiB

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

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

MD5SUM BENCH= 1e7a565e93334fc4a75fcaa13a0d446a
RANDOM SEED=336530859

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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.809
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.809
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.809
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.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30715472 kB
Buffers:        756176 kB
Cached:        1010344 kB
SwapCached:        712 kB
Active:         177352 kB
Inactive:      1669772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30715472 kB
SwapTotal:    67111528 kB
SwapFree:     67110188 kB
Dirty:           16128 kB
Writeback:           0 kB
AnonPages:       79056 kB
Mapped:          15584 kB
Slab:           325600 kB
PageTables:       4584 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   674936 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= 72368 MiB
End job on node109 at 2011-04-30 03:21:08