Trace number 3172873

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.43 1201.62

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v60-c5340-S1720200795-004.UNKNOWN.cnf
MD5SUM3db6bd99841631bff4d8c3d33ccc1047
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark371.116
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-3172873-1304109353.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.05/0.12	c asymm  cl-useful: 0/1907/5340 lits-rem:0 time: 0.43
0.45/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.45/0.12	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
0.45/0.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.45/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.14	c lits-rem:         0  cl-subs:        0  v-elim:     40  v-fix:    0  time:  0.04 s
0.45/0.14	c learnt bin added due to v-elim: 0
0.45/0.14	c Finding binary XORs  T:     0.00 s  found:       0
0.45/0.14	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.45/0.14	c calculated reachability. Time: 0.00
0.45/0.14	c Calc default polars -  time:   0.00 s pos:      27 undec:       0 neg:      33
0.45/0.14	c =========================================================================================
0.45/0.14	c types(t): F = full restart, N = normal restart
0.45/0.14	c types(t): S = simplification begin/end, E = solution found
0.45/0.14	c restart types(rt): st = static, dy = dynamic
0.45/0.14	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.45/0.14	c  B st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.74/0.22	c Decided on static restart strategy
1.14/0.31	c  N dy    19      4006        60      5340         0      3600     37380     75470     21.26     18.17  --
1.94/0.51	c  N dy    46      8037        60      5340         0      4981     37380    100017     21.19     18.54  --
2.74/0.74	c  N dy    73     12088        60      5340         0      4773     37380     87113     21.66     18.59  --
3.54/0.98	c  N dy   100     16146        60      5340         0      8424     37380    164740     21.11     18.68  --
4.74/1.24	c  N dy   127     20158        60      5340         0      6986     37380    123922     21.48     18.68  --
5.94/1.51	c  N dy   154     24186        60      5340         0     10585     37380    201013     21.69     18.74  --
7.13/1.81	c  N dy   182     28331        60      5340         0      8195     37380    139645     21.38     18.77  --
7.53/1.94	c  S st   194     30000        60      5340         0      9679     37380    171247     21.68     18.78  --
7.53/1.98	c  S st   194     30502        60      5340         0     10139     37380    181306     21.68     18.78  --
7.53/1.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.53/1.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.94/2.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.0M T:  0.08
7.94/2.00	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
7.94/2.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.94/2.00	c Subs w/ non-existent bins:      0 time:  0.01 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.93/2.57	c lits-rem:      1424  cl-subs:     1281  v-elim:     60  v-fix:    0  time:  2.26 s
9.93/2.57	c learnt bin added due to v-elim: 0
9.93/2.57	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
9.93/2.57	c vivif2 --  cl tried     8858 cl shrink        0 lits rem          0 time: 0.00
10.73/2.73	c asymm  cl-useful: 0/1865/5340 lits-rem:0 time: 0.63
10.73/2.73	c calculated reachability. Time: 0.00
10.73/2.73	c  N dy   194     30502        60      5340         0      8858     37380    154888     21.68     18.78  --
10.73/2.73	c  F st   194     30502        60      5340         0      8858     37380    154888     21.68     18.78  --
11.13/2.88	c Decided on static restart strategy
11.94/3.02	c  N dy   213     34515        60      5340         0     12434     37380    230337     21.37     18.76  --
13.16/3.33	c  N dy   240     38552        60      5340         0      9065     37380    149059     21.81     18.76  --
14.33/3.64	c  N dy   267     42561        60      5340         0     12660     37380    226069     21.47     18.78  --
15.53/3.94	c  S st   289     45753        60      5340         0     15520     37380    286927     21.16     18.78  --
15.53/3.99	c  S st   289     46256        60      5340         0     15992     37380    297118     21.16     18.78  --
15.53/3.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.53/3.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.93/4.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.1M T:  0.16
15.93/4.03	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
15.93/4.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.93/4.03	c Subs w/ non-existent bins:      0 time:  0.01 s
15.93/4.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.93/4.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.93/4.04	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
19.12/4.82	c lits-rem:      2040  cl-subs:     2112  v-elim:     60  v-fix:    0  time:  3.11 s
19.12/4.82	c learnt bin added due to v-elim: 0
19.12/4.82	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
19.12/4.82	c vivif2 --  cl tried    13880 cl shrink        0 lits rem          0 time: 0.01
19.52/4.98	c asymm  cl-useful: 0/1568/5340 lits-rem:0 time: 0.62
19.52/4.98	c calculated reachability. Time: 0.00
19.52/4.98	c  N dy   289     46256        60      5340         0     13880     37380    249796     21.16     18.78  --
21.12/5.32	c  N dy   317     50392        60      5340         0      9690     37380    152711     21.71     18.80  --
22.32/5.63	c  N dy   344     54414        60      5340         0     13276     37380    229553     21.32     18.83  --
23.91/6.00	c  N dy   371     58421        60      5340         0     16863     37380    305574     21.11     18.83  --
25.11/6.35	c  N dy   398     62427        60      5340         0     11579     37380    182465     21.85     18.85  --
26.71/6.70	c  N dy   425     66455        60      5340         0     15171     37380    259332     21.43     18.86  --
27.51/6.99	c  S st   445     69384        60      5340         0     17816     37380    315925     21.49     18.87  --
27.91/7.06	c  S st   445     69890        60      5340         0     18287     37380    326223     21.49     18.87  --
27.91/7.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.91/7.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
28.31/7.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.1M T:  0.21
28.31/7.11	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
28.31/7.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
28.31/7.11	c Subs w/ non-existent bins:      0 time:  0.01 s
28.31/7.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.31/7.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.31/7.12	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
31.11/7.85	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.13/8.89	c Added 1 vars  tried: 16020 time: 4.13
35.51/8.90	c ORs :      1 avg-s:  0.0 cl-sh:  1462 l-rem:   1462 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:    4.17
35.51/8.90	c lits-rem:      1841  cl-subs:     2307  v-elim:     60  v-fix:    0  time:  7.12 s
35.51/8.90	c learnt bin added due to v-elim: 0
35.51/8.90	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
35.51/8.91	c vivif2 --  cl tried    15980 cl shrink        0 lits rem          0 time: 0.01
35.91/9.07	c asymm  cl-useful: 0/1603/5341 lits-rem:0 time: 0.67
35.91/9.07	c calculated reachability. Time: 0.00
35.91/9.07	c  N dy   445     69890        61      5341         2     15980     37366    273793     21.49     18.87  --
35.91/9.07	c  F st   445     69890        61      5341         2     15980     37366    273793     21.49     18.87  --
36.71/9.28	c Decided on static restart strategy
37.91/9.54	c  N dy   468     74437        61      5341         2     10363     37366    147665     21.27     18.86  --
39.52/9.94	c  N dy   500     79208        61      5341         2     14634     37366    239518     21.66     18.87  --
41.50/10.47	c  N dy   535     84397        61      5341         2     19282     37366    338395     20.89     18.87  --
43.91/11.04	c  N dy   572     89928        61      5341         2     13566     37366    204540     21.32     18.87  --
46.29/11.60	c  N dy   611     95707        61      5341         2     18737     37366    315066     21.57     18.88  --
49.08/12.30	c  N dy   652    101825        61      5341         2     12604     37366    173491     21.79     18.90  --
49.88/12.59	c  S st   673    104835        61      5341         2     15290     37366    230979     21.36     18.91  --
50.28/12.65	c  S st   673    105341        61      5341         2     15754     37366    241288     21.36     18.91  --
50.28/12.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
50.28/12.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
50.68/12.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.6M T:  0.22
50.68/12.70	c Calc non-exist non-lernt bins v-fix:     0 done:     61 time:  0.00 s
50.68/12.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
50.68/12.70	c Subs w/ non-existent bins:      0 time:  0.00 s
50.68/12.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
50.68/12.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.68/12.71	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
53.08/13.33	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.08/13.33	c lits-rem:       876  cl-subs:     1192  v-elim:     60  v-fix:    0  time:  2.50 s
53.08/13.33	c learnt bin added due to v-elim: 0
53.08/13.33	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
53.08/13.34	c vivif2 --  cl tried    14562 cl shrink        0 lits rem          0 time: 0.01
53.48/13.49	c asymm  cl-useful: 0/1456/5341 lits-rem:0 time: 0.62
53.48/13.49	c calculated reachability. Time: 0.00
53.48/13.49	c  N dy   673    105341        61      5341         2     14562     37366    217008     21.36     18.91  --
56.70/14.21	c  N dy   719    112198        61      5341         2     20719     37366    348543     21.96     18.91  --
59.88/15.07	c  N dy   768    119486        61      5341         2     14814     37366    211539     21.26     18.92  --
63.07/15.89	c  N dy   819    127130        61      5341         2     21646     37366    358176     21.13     18.92  --
67.07/16.89	c  N dy   874    135339        61      5341         2     15586     37366    219570     21.01     18.93  --
71.06/17.89	c  N dy   933    144088        61      5341         2     23456     37366    387630     21.45     18.92  --
76.25/19.10	c  N dy   995    153286        61      5341         2     17341     37366    244075     21.64     18.92  --
78.25/19.65	c  S st  1027    158011        61      5341         2     21611     37366    335421     21.34     18.92  --
78.67/19.72	c  S st  1027    158515        61      5341         2     22084     37366    345836     21.34     18.92  --
78.67/19.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
78.67/19.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
79.07/19.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.5M T:  0.33
79.07/19.81	c Calc non-exist non-lernt bins v-fix:     0 done:     61 time:  0.00 s
79.07/19.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
79.07/19.81	c Subs w/ non-existent bins:      0 time:  0.01 s
79.07/19.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
79.07/19.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.07/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:      1062  cl-subs:     2079  v-elim:     60  v-fix:    0  time:  3.25 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    20005 cl shrink        0 lits rem          0 time: 0.01
82.65/20.79	c asymm  cl-useful: 0/1062/5341 lits-rem:0 time: 0.64
82.65/20.79	c calculated reachability. Time: 0.00
82.65/20.79	c  N dy  1027    158515        61      5341         2     20005     37366    303329     21.34     18.92  --
88.23/22.17	c  N dy  1095    168634        61      5341         2     29097     37366    499039     21.58     18.93  --
93.84/23.53	c  N dy  1168    179525        61      5341         2     23701     37366    369784     21.49     18.92  --
100.24/25.19	c  N dy  1245    191034        61      5341         2     17919     37366    236320     21.76     18.94  --
107.02/26.83	c  N dy  1328    203345        61      5341         2     28970     37366    472253     21.36     18.94  --
114.23/28.68	c  N dy  1415    216363        61      5341         2     23662     37366    348659     21.96     18.94  --
123.40/30.94	c  N dy  1509    230183        65      5341        10     18122     37382    220534     21.98     18.93  --
127.42/31.95	c  S st  1561    237772        65      5341        10     24957     37382    365903     21.59     18.93  --
127.79/32.03	c  S st  1561    238276        65      5341        10     25419     37382    376118     21.59     18.93  --
127.79/32.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
127.79/32.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
128.19/32.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.5M T:  0.44
128.19/32.15	c Calc non-exist non-lernt bins v-fix:     0 done:     65 time:  0.00 s
128.19/32.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
128.19/32.15	c Subs w/ non-existent bins:      0 time:  0.01 s
128.19/32.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
128.19/32.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
128.19/32.15	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
132.18/33.14	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.18/33.14	c lits-rem:      1131  cl-subs:     2274  v-elim:     60  v-fix:    0  time:  3.95 s
132.18/33.14	c learnt bin added due to v-elim: 0
132.18/33.14	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
132.18/33.15	c vivif2 --  cl tried    23145 cl shrink        0 lits rem          0 time: 0.01
132.98/33.31	c asymm  cl-useful: 0/892/5341 lits-rem:0 time: 0.64
132.98/33.31	c calculated reachability. Time: 0.00
132.98/33.31	c  N dy  1561    238276        65      5341        10     23145     37382    331737     21.59     18.93  --
211.29/52.92	c  N dy  1644    357415        65      5341        10     26351     37382    354539     19.15     17.75  --
211.29/52.93	c  S st  1644    357415        65      5341        10     26351     37382    354539     19.15     17.75  --
211.69/53.02	c  S st  1644    357920        69      5341        23     26816     37402    364531     19.15     17.75  --
211.69/53.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
211.69/53.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
212.09/53.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      1 BRemL:      0 BRemN:      0 CBin:       0 P:  9.0M T:  0.51
212.09/53.15	c Calc non-exist non-lernt bins v-fix:     0 done:     69 time:  0.00 s
212.09/53.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
212.09/53.16	c Subs w/ non-existent bins:      0 time:  0.02 s
212.09/53.16	c Replacing        2 vars Replaced      974 lits Time:     0.03 s 
212.09/53.17	c bin-w-bin subsume rem            4 bins  time:  0.00 s
212.09/53.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
212.09/53.17	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
216.09/54.13	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
216.09/54.14	c lits-rem:      1242  cl-subs:     2228  v-elim:     60  v-fix:    0  time:  3.88 s
216.09/54.14	c learnt bin added due to v-elim: 0
216.09/54.14	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
216.09/54.15	c vivif2 --  cl tried    24588 cl shrink        0 lits rem          0 time: 0.01
216.89/54.30	c asymm  cl-useful: 0/1310/5341 lits-rem:0 time: 0.61
216.89/54.30	c calculated reachability. Time: 0.00
216.89/54.30	c  N dy  1644    357920        67      5341        14     24588     37390    328617     19.15     17.75  --
231.27/57.96	c  N dy  1779    377993        67      5341        14     42652     37390    716517     21.22     17.79  --
246.46/61.72	c  N dy  1915    398117        67      5341        14     37985     37390    602075     22.16     17.82  --
262.43/65.73	c  N dy  2051    418265        67      5341        14     32100     37390    464733     22.03     17.85  --
363.92/91.19	c  N dy  2120    536880        67      5341        14     32315     37390    418158     20.32     17.45  --
364.33/91.20	c  S st  2120    536880        67      5341        14     32315     37390    418158     20.32     17.45  --
364.74/91.31	c  S st  2120    537383        70      5341        32     32779     37414    427984     20.32     17.45  --
364.74/91.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
364.74/91.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
365.11/91.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 11.7M T:  0.66
365.11/91.48	c Calc non-exist non-lernt bins v-fix:     0 done:     70 time:  0.00 s
365.11/91.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
365.11/91.49	c Subs w/ non-existent bins:      0 time:  0.02 s
365.11/91.49	c Replacing        3 vars Replaced      321 lits Time:     0.02 s 
365.51/91.50	c bin-w-bin subsume rem            6 bins  time:  0.00 s
365.51/91.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
365.51/91.50	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
370.71/92.81	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
391.88/98.11	c Added 1 vars  tried: 80000 time: 21.16
391.88/98.15	c ORs :      1 avg-s:  0.0 cl-sh:  2865 l-rem:   2865 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   21.32
391.88/98.15	c lits-rem:       888  cl-subs:     2462  v-elim:     60  v-fix:    0  time: 26.58 s
391.88/98.15	c learnt bin added due to v-elim: 0
391.88/98.15	c vivif2 --  cl tried     5342 cl shrink        0 lits rem          0 time: 0.00
391.88/98.16	c vivif2 --  cl tried    30317 cl shrink        0 lits rem          0 time: 0.02
392.68/98.31	c asymm  cl-useful: 0/895/5342 lits-rem:0 time: 0.62
392.68/98.31	c calculated reachability. Time: 0.00
392.68/98.31	c  N dy  2120    537383        68      5342        16     30317     37379    385466     20.32     17.45  --
392.68/98.31	c  F st  2120    537383        68      5342        16     30317     37379    385466     20.32     17.45  --
393.88/98.66	c Decided on static restart strategy
408.69/102.36	c  N dy  2247    557448        68      5342        16     48514     37379    776260     21.71     17.48  --
427.05/106.96	c  N dy  2383    577519        68      5342        16     38183     37379    539819     21.97     17.51  --
447.42/112.07	c  N dy  2518    597545        68      5342        16     56289     37379    929720     21.55     17.54  --
465.82/116.65	c  N dy  2653    617564        72      5342        24     44866     37395    669683     21.55     17.57  --
487.80/122.18	c  N dy  2788    637659        72      5342        24     32376     37395    387122     21.53     17.59  --
658.38/164.88	c  N dy  2821    806074        72      5342        24     52526     37395    791888     21.72     17.19  --
658.80/164.92	c  S st  2821    806074        72      5342        24     52526     37395    791888     21.72     17.19  --
659.19/165.09	c  S st  2821    806577        75      5342        34     52995     37411    802360     21.72     17.19  --
659.19/165.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
659.19/165.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
660.77/165.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 19.1M T:  1.28
660.77/165.41	c Calc non-exist non-lernt bins v-fix:     0 done:     75 time:  0.00 s
660.77/165.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
660.77/165.42	c Subs w/ non-existent bins:      0 time:  0.04 s
660.77/165.45	c Replacing        1 vars Replaced     1544 lits Time:     0.10 s 
660.77/165.46	c bin-w-bin subsume rem            2 bins  time:  0.00 s
660.77/165.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
660.77/165.46	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
674.75/168.94	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
674.75/168.96	c lits-rem:      1805  cl-subs:     4849  v-elim:     60  v-fix:    0  time: 13.95 s
674.75/168.96	c learnt bin added due to v-elim: 0
674.75/168.96	c vivif2 --  cl tried     5342 cl shrink        0 lits rem          0 time: 0.00
674.75/168.97	c vivif2 --  cl tried    48146 cl shrink        0 lits rem          0 time: 0.04
675.15/169.05	c asymm  cl-useful: 0/315/5342 lits-rem:0 time: 0.35
675.15/169.06	c calculated reachability. Time: 0.00
675.15/169.06	c  N dy  2821    806577        74      5342        28     48146     37403    716106     21.72     17.19  --
1181.77/295.83	c  N dy  2824   1209865        74      5342        28     63146     37403    943185     21.59     16.03  --
1181.77/295.87	c  S st  2824   1209865        74      5342        28     63146     37403    943185     21.59     16.03  --
1182.55/296.08	c  S st  2824   1210367        76      5342        32     63612     37411    953426     21.59     16.03  --
1182.55/296.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1182.55/296.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1184.54/296.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 25.8M T:  1.94
1184.54/296.57	c Calc non-exist non-lernt bins v-fix:     0 done:     76 time:  0.01 s
1184.54/296.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1184.54/296.59	c Subs w/ non-existent bins:      0 time:  0.05 s
1184.94/296.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1184.94/296.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1184.94/296.61	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1204.14/301.46	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.05
1256.46/314.58	c Added 1 vars  tried: 80000 time: 52.37
1258.04/314.97	c ORs :      1 avg-s:  0.0 cl-sh: 13387 l-rem:  13387 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   53.94
1258.04/314.99	c lits-rem:      5463  cl-subs:     6265  v-elim:     60  v-fix:    0  time: 73.42 s
1258.04/314.99	c learnt bin added due to v-elim: 0
1258.04/314.99	c vivif2 --  cl tried     5343 cl shrink        0 lits rem          0 time: 0.00
1258.44/315.00	c vivif2 --  cl tried    57347 cl shrink        0 lits rem          0 time: 0.05
1258.44/315.09	c asymm  cl-useful: 0/289/5343 lits-rem:0 time: 0.36
1258.44/315.09	c calculated reachability. Time: 0.00
1258.44/315.09	c  N dy  2824   1210367        77      5343        34     57347     37397    826609     21.59     16.03  --
2053.07/513.97	c  N dy  2829   1710368        77      5343        34     84822     37397   1238726     18.82     15.77  --
2053.47/514.01	c  S st  2829   1710368        77      5343        34     84822     37397   1238726     18.82     15.77  --
2054.67/514.32	c  S st  2829   1710873        77      5343        34     85299     37397   1249447     18.82     15.77  --
2054.67/514.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2054.67/514.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2057.06/514.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 34.4M T:  2.45
2057.06/514.94	c Calc non-exist non-lernt bins v-fix:     0 done:     77 time:  0.01 s
2057.06/514.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2057.06/514.96	c Subs w/ non-existent bins:      0 time:  0.06 s
2057.06/514.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2057.06/514.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2057.06/514.98	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2090.24/523.22	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.11
2090.24/523.24	c lits-rem:       628  cl-subs:    17126  v-elim:     60  v-fix:    0  time: 33.00 s
2090.24/523.24	c learnt bin added due to v-elim: 0
2090.24/523.24	c vivif2 --  cl tried     5343 cl shrink        0 lits rem          0 time: 0.00
2090.24/523.26	c vivif2 --  cl tried    68173 cl shrink        0 lits rem          0 time: 0.06
2090.64/523.36	c asymm  cl-useful: 0/207/5343 lits-rem:0 time: 0.41
2090.64/523.36	c calculated reachability. Time: 0.00
2090.64/523.36	c  N dy  2829   1710873        77      5343        34     68173     37397    972771     18.82     15.77  --
2971.51/743.83	c  N dy  2884   2210873        77      5343        34     84502     37397   1205899     18.80     15.61  --
2971.51/743.88	c  S st  2884   2210873        77      5343        34     84502     37397   1205899     18.80     15.61  --
2971.51/743.88	c Finding binary XORs  T:     0.00 s  found:       0
2972.71/744.18	c  S st  2884   2211375        78      5343        36     84981     37401   1216241     18.80     15.61  --
2972.71/744.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2972.71/744.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2975.51/744.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 38.6M T:  2.81
2975.51/744.89	c Calc non-exist non-lernt bins v-fix:     0 done:     78 time:  0.01 s
2975.51/744.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2975.91/744.90	c Subs w/ non-existent bins:      0 time:  0.06 s
2975.91/744.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2975.91/744.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2975.91/744.93	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3011.07/753.72	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.15
3011.07/753.75	c lits-rem:      4253  cl-subs:    12024  v-elim:     60  v-fix:    0  time: 35.22 s
3011.07/753.75	c learnt bin added due to v-elim: 0
3011.07/753.75	c vivif2 --  cl tried     5343 cl shrink        0 lits rem          0 time: 0.00
3011.07/753.76	c vivif2 --  cl tried    72957 cl shrink        1 lits rem          2 time: 0.07
3011.47/753.87	c asymm  cl-useful: 0/169/5343 lits-rem:0 time: 0.43
3011.47/753.88	c calculated reachability. Time: 0.00
3011.47/753.88	c  N dy  2884   2211375        78      5343        36     72957     37401   1017975     18.80     15.61  --
4076.91/1020.58	c  N dy  2953   2711376        78      5343        36     96485     37401   1412921     21.30     15.56  --
4077.31/1020.65	c  S st  2953   2711376        78      5343        36     96485     37401   1412921     21.30     15.56  --
4078.90/1021.00	c  S st  2953   2711880        78      5343        36     96961     37401   1423487     21.30     15.56  --
4078.90/1021.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4078.90/1021.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4082.12/1021.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 46.9M T:  3.41
4082.12/1021.86	c Calc non-exist non-lernt bins v-fix:     0 done:     78 time:  0.01 s
4082.12/1021.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4082.12/1021.88	c Subs w/ non-existent bins:      0 time:  0.07 s
4082.52/1021.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4082.52/1021.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4082.52/1021.91	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
4129.24/1033.69	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.19
4205.94/1052.84	c Added 1 vars  tried: 80000 time: 76.46
4207.54/1053.28	c ORs :      1 avg-s:  0.0 cl-sh: 12639 l-rem:  12639 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   78.23
4207.94/1053.31	c lits-rem:      3757  cl-subs:    13077  v-elim:     60  v-fix:    0  time: 125.41 s
4207.94/1053.31	c learnt bin added due to v-elim: 0
4207.94/1053.31	c vivif2 --  cl tried     5344 cl shrink        0 lits rem          0 time: 0.00
4207.94/1053.33	c vivif2 --  cl tried    83884 cl shrink        1 lits rem          2 time: 0.08
4208.34/1053.43	c asymm  cl-useful: 0/150/5344 lits-rem:0 time: 0.43
4208.34/1053.44	c calculated reachability. Time: 0.00
4208.34/1053.44	c  N dy  2953   2711880        79      5344        38     83884     37385   1182716     21.30     15.56  --
4208.34/1053.44	c  F st  2953   2711880        79      5344        38     83884     37385   1182716     21.30     15.56  --
4212.73/1054.54	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-3172873-1304109353/watcher-3172873-1304109353 -o /tmp/evaluation-result-3172873-1304109353/solver-3172873-1304109353 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172873-1304109353.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.49 7.95 7.96 7/180 3588
/proc/meminfo: memFree=30890776/32951124 swapFree=67105204/67111528
[pid=3588] ppid=3586 vsize=50140 CPUtime=0 cores=0,2,4,6
/proc/3588/stat : 3588 (techdemo) R 3586 3588 3436 0 -1 4202496 653 0 0 0 0 0 0 0 25 0 1 0 503351214 51343360 585 33554432000 4194304 4797429 140735652422496 18446744073709551615 220815897285 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/3588/statm: 12535 585 347 148 0 7464 0

[startup+0.027498 s]
/proc/loadavg: 7.49 7.95 7.96 7/180 3588
/proc/meminfo: memFree=30890776/32951124 swapFree=67105204/67111528
[pid=3588] ppid=3586 vsize=147368 CPUtime=0.05 cores=0,2,4,6
/proc/3588/stat : 3588 (techdemo) R 3586 3588 3436 0 -1 4202496 1113 0 0 0 5 0 0 0 25 0 4 0 503351214 150904832 1019 33554432000 4194304 4797429 140735652422496 18446744073709551615 4430091 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3588/statm: 36842 1019 372 148 0 31771 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 147368

[startup+0.126775 s]
/proc/loadavg: 7.49 7.95 7.96 7/180 3588
/proc/meminfo: memFree=30890776/32951124 swapFree=67105204/67111528
[pid=3588] ppid=3586 vsize=549692 CPUtime=0.45 cores=0,2,4,6
/proc/3588/stat : 3588 (techdemo) R 3586 3588 3436 0 -1 4202496 1438 0 0 0 45 0 0 0 25 0 4 0 503351214 562884608 1197 33554432000 4194304 4797429 140735652422496 18446744073709551615 4429759 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3588/statm: 137423 1197 379 148 0 132352 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 549692

[startup+0.300449 s]
/proc/loadavg: 7.49 7.95 7.96 7/180 3588
/proc/meminfo: memFree=30890776/32951124 swapFree=67105204/67111528
[pid=3588] ppid=3586 vsize=609796 CPUtime=1.14 cores=0,2,4,6
/proc/3588/stat : 3588 (techdemo) R 3586 3588 3436 0 -1 4202496 2494 0 0 0 114 0 0 0 25 0 4 0 503351214 624431104 2190 33554432000 4194304 4797429 140735652422496 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3588/statm: 152449 2190 408 148 0 147378 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 609796

[startup+0.700377 s]
/proc/loadavg: 7.49 7.95 7.96 7/180 3588
/proc/meminfo: memFree=30890776/32951124 swapFree=67105204/67111528
[pid=3588] ppid=3586 vsize=614980 CPUtime=2.74 cores=0,2,4,6
/proc/3588/stat : 3588 (techdemo) R 3586 3588 3436 0 -1 4202496 4959 0 0 0 274 0 0 0 25 0 4 0 503351214 629739520 3809 33554432000 4194304 4797429 140735652422496 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3588/statm: 153745 3809 413 148 0 148674 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 614980

[startup+1.50023 s]
/proc/loadavg: 7.49 7.95 7.96 10/184 3592
/proc/meminfo: memFree=30866940/32951124 swapFree=67105204/67111528
[pid=3588] ppid=3586 vsize=616140 CPUtime=5.94 cores=0,2,4,6
/proc/3588/stat : 3588 (techdemo) R 3586 3588 3436 0 -1 4202496 5710 0 0 0 594 0 0 0 25 0 4 0 503351214 630927360 4279 33554432000 4194304 4797429 140735652422496 18446744073709551615 4387768 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3588/statm: 154035 4279 414 148 0 148964 0
[pid=3588/tid=3590] ppid=3586 vsize=616140 CPUtime=1.48 cores=0,2,4,6
/proc/3588/task/3590/stat : 3590 (techdemo) R 3586 3588 3436 0 -1 4202560 1048 0 0 0 148 0 0 0 25 0 4 0 503351215 630927360 4279 33554432000 4194304 4797429 140735652422496 18446744073709551615 4387654 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3588/tid=3591] ppid=3586 vsize=616140 CPUtime=1.48 cores=0,2,4,6
/proc/3588/task/3591/stat : 3591 (techdemo) R 3586 3588 3436 0 -1 4202560 1105 0 0 0 148 0 0 0 25 0 4 0 503351215 630927360 4279 33554432000 4194304 4797429 140735652422496 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3588/tid=3592] ppid=3586 vsize=616140 CPUtime=1.47 cores=0,2,4,6
/proc/3588/task/3592/stat : 3592 (techdemo) R 3586 3588 3436 0 -1 4202560 1012 0 0 0 147 0 0 0 25 0 4 0 503351215 630927360 4284 33554432000 4194304 4797429 140735652422496 18446744073709551615 4424614 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 616140

[startup+3.10093 s]
/proc/loadavg: 7.49 7.95 7.96 9/184 3593
/proc/meminfo: memFree=30858012/32951124 swapFree=67105204/67111528
[pid=3588] ppid=3586 vsize=617816 CPUtime=12.34 cores=0,2,4,6
/proc/3588/stat : 3588 (techdemo) R 3586 3588 3436 0 -1 4202496 7460 0 0 0 1233 1 0 0 25 0 4 0 503351214 632643584 4955 33554432000 4194304 4797429 140735652422496 18446744073709551615 4424868 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3588/statm: 154454 4955 416 148 0 149383 0
[pid=3588/tid=3590] ppid=3586 vsize=617816 CPUtime=3.08 cores=0,2,4,6
/proc/3588/task/3590/stat : 3590 (techdemo) R 3586 3588 3436 0 -1 4202560 1319 0 0 0 308 0 0 0 25 0 4 0 503351215 632643584 4955 33554432000 4194304 4797429 140735652422496 18446744073709551615 4524288 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3588/tid=3591] ppid=3586 vsize=617816 CPUtime=3.08 cores=0,2,4,6
/proc/3588/task/3591/stat : 3591 (techdemo) R 3586 3588 3436 0 -1 4202560 1409 0 0 0 308 0 0 0 25 0 4 0 503351215 632643584 4955 33554432000 4194304 4797429 140735652422496 18446744073709551615 4524002 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3588/tid=3592] ppid=3586 vsize=617816 CPUtime=3.07 cores=0,2,4,6
/proc/3588/task/3592/stat : 3592 (techdemo) R 3586 3588 3436 0 -1 4202560 1314 0 0 0 307 0 0 0 25 0 4 0 503351215 632643584 4955 33554432000 4194304 4797429 140735652422496 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 617816

[startup+6.30034 s]
/proc/loadavg: 7.53 7.96 7.96 9/184 3593
/proc/meminfo: memFree=30847912/32951124 swapFree=67105204/67111528
[pid=3588] ppid=3586 vsize=621044 CPUtime=25.11 cores=0,2,4,6
/proc/3588/stat : 3588 (techdemo) R 3586 3588 3436 0 -1 4202496 10260 0 0 0 2510 1 0 0 25 0 4 0 503351214 635949056 5914 33554432000 4194304 4797429 140735652422496 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3588/statm: 155261 5914 416 148 0 150190 0
[pid=3588/tid=3590] ppid=3586 vsize=621044 CPUtime=6.27 cores=0,2,4,6
/proc/3588/task/3590/stat : 3590 (techdemo) R 3586 3588 3436 0 -1 4202560 1565 0 0 0 627 0 0 0 25 0 4 0 503351215 635949056 5914 33554432000 4194304 4797429 140735652422496 18446744073709551615 4425019 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3588/tid=3591] ppid=3586 vsize=621044 CPUtime=6.28 cores=0,2,4,6
/proc/3588/task/3591/stat : 3591 (techdemo) R 3586 3588 3436 0 -1 4202560 1832 0 0 0 628 0 0 0 25 0 4 0 503351215 635949056 5914 33554432000 4194304 4797429 140735652422496 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3588/tid=3592] ppid=3586 vsize=621044 CPUtime=6.26 cores=0,2,4,6
/proc/3588/task/3592/stat : 3592 (techdemo) R 3586 3588 3436 0 -1 4202560 1754 0 0 0 626 0 0 0 25 0 4 0 503351215 635949056 5914 33554432000 4194304 4797429 140735652422496 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 621044

[startup+12.7002 s]
/proc/loadavg: 7.57 7.96 7.96 9/184 3593
/proc/meminfo: memFree=30835428/32951124 swapFree=67105204/67111528
[pid=3588] ppid=3586 vsize=624924 CPUtime=50.68 cores=0,2,4,6
/proc/3588/stat : 3588 (techdemo) R 3586 3588 3436 0 -1 4202496 14238 0 0 0 5066 2 0 0 25 0 4 0 503351214 639922176 7055 33554432000 4194304 4797429 140735652422496 18446744073709551615 4429139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3588/statm: 156231 7055 419 148 0 151160 0
[pid=3588/tid=3590] ppid=3586 vsize=624924 CPUtime=12.67 cores=0,2,4,6
/proc/3588/task/3590/stat : 3590 (techdemo) R 3586 3588 3436 0 -1 4202560 2277 0 0 0 1267 0 0 0 25 0 4 0 503351215 639922176 7055 33554432000 4194304 4797429 140735652422496 18446744073709551615 4424846 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3588/tid=3591] ppid=3586 vsize=624924 CPUtime=12.67 cores=0,2,4,6
/proc/3588/task/3591/stat : 3591 (techdemo) R 3586 3588 3436 0 -1 4202560 2334 0 0 0 1267 0 0 0 25 0 4 0 503351215 639922176 7055 33554432000 4194304 4797429 140735652422496 18446744073709551615 4523986 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3588/tid=3592] ppid=3586 vsize=624924 CPUtime=12.63 cores=0,2,4,6
/proc/3588/task/3592/stat : 3592 (techdemo) R 3586 3588 3436 0 -1 4202560 2235 0 0 0 1263 0 0 0 25 0 4 0 503351215 639922176 7055 33554432000 4194304 4797429 140735652422496 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 624924

[startup+25.5008 s]
/proc/loadavg: 7.66 7.96 7.96 9/184 3593
/proc/meminfo: memFree=30822276/32951124 swapFree=67105204/67111528
[pid=3588] ppid=3586 vsize=631816 CPUtime=101.83 cores=0,2,4,6
/proc/3588/stat : 3588 (techdemo) R 3586 3588 3436 0 -1 4202496 20307 0 0 0 10179 4 0 0 25 0 4 0 503351214 646979584 9230 33554432000 4194304 4797429 140735652422496 18446744073709551615 4351768 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3588/statm: 157954 9230 419 148 0 152883 0
[pid=3588/tid=3590] ppid=3586 vsize=631816 CPUtime=25.47 cores=0,2,4,6
/proc/3588/task/3590/stat : 3590 (techdemo) R 3586 3588 3436 0 -1 4202560 3702 0 0 0 2546 1 0 0 25 0 4 0 503351215 646979584 9230 33554432000 4194304 4797429 140735652422496 18446744073709551615 4495525 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3588/tid=3591] ppid=3586 vsize=631816 CPUtime=25.47 cores=0,2,4,6
/proc/3588/task/3591/stat : 3591 (techdemo) R 3586 3588 3436 0 -1 4202560 2928 0 0 0 2547 0 0 0 25 0 4 0 503351215 646979584 9230 33554432000 4194304 4797429 140735652422496 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3588/tid=3592] ppid=3586 vsize=631816 CPUtime=25.36 cores=0,2,4,6
/proc/3588/task/3592/stat : 3592 (techdemo) R 3586 3588 3436 0 -1 4202560 2821 0 0 0 2536 0 0 0 25 0 4 0 503351215 646979584 9230 33554432000 4194304 4797429 140735652422496 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 631816

[startup+51.1011 s]
/proc/loadavg: 7.78 7.96 7.96 9/184 3594
/proc/meminfo: memFree=30808344/32951124 swapFree=67105204/67111528
[pid=3588] ppid=3586 vsize=636100 CPUtime=204.1 cores=0,2,4,6
/proc/3588/stat : 3588 (techdemo) R 3586 3588 3436 0 -1 4202496 32514 0 0 0 20404 6 0 0 25 0 4 0 503351214 651366400 10615 33554432000 4194304 4797429 140735652422496 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3588/statm: 159025 10615 421 148 0 153954 0
[pid=3588/tid=3590] ppid=3586 vsize=636100 CPUtime=51.07 cores=0,2,4,6
/proc/3588/task/3590/stat : 3590 (techdemo) R 3586 3588 3436 0 -1 4202560 5751 0 0 0 5106 1 0 0 25 0 4 0 503351215 651366400 10615 33554432000 4194304 4797429 140735652422496 18446744073709551615 4430000 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3588/tid=3591] ppid=3586 vsize=636100 CPUtime=51.08 cores=0,2,4,6
/proc/3588/task/3591/stat : 3591 (techdemo) R 3586 3588 3436 0 -1 4202560 6284 0 0 0 5107 1 0 0 25 0 4 0 503351215 651366400 10615 33554432000 4194304 4797429 140735652422496 18446744073709551615 4523996 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3588/tid=3592] ppid=3586 vsize=636100 CPUtime=50.84 cores=0,2,4,6
/proc/3588/task/3592/stat : 3592 (techdemo) R 3586 3588 3436 0 -1 4202560 4106 0 0 0 5084 0 0 0 25 0 4 0 503351215 651366400 10615 33554432000 4194304 4797429 140735652422496 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 636100

[startup+102.307 s]
/proc/loadavg: 7.98 7.98 7.96 9/184 3595
/proc/meminfo: memFree=30789096/32951124 swapFree=67105204/67111528
[pid=3588] ppid=3586 vsize=641596 CPUtime=408.69 cores=0,2,4,6
/proc/3588/stat : 3588 (techdemo) R 3586 3588 3436 0 -1 4202496 48696 0 0 0 40858 11 0 0 25 0 4 0 503351214 656994304 12991 33554432000 4194304 4797429 140735652422496 18446744073709551615 4424850 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3588/statm: 160399 12991 427 148 0 155328 0
[pid=3588/tid=3590] ppid=3586 vsize=641596 CPUtime=102.27 cores=0,2,4,6
/proc/3588/task/3590/stat : 3590 (techdemo) R 3586 3588 3436 0 -1 4202560 7853 0 0 0 10226 1 0 0 25 0 4 0 503351215 656994304 12991 33554432000 4194304 4797429 140735652422496 18446744073709551615 4567883 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3588/tid=3591] ppid=3586 vsize=641596 CPUtime=102.28 cores=0,2,4,6
/proc/3588/task/3591/stat : 3591 (techdemo) R 3586 3588 3436 0 -1 4202560 8409 0 0 0 10227 1 0 0 25 0 4 0 503351215 656994304 12991 33554432000 4194304 4797429 140735652422496 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3588/tid=3592] ppid=3586 vsize=641596 CPUtime=101.8 cores=0,2,4,6
/proc/3588/task/3592/stat : 3592 (techdemo) R 3586 3588 3436 0 -1 4202560 6924 0 0 0 10179 1 0 0 25 0 4 0 503351215 656994304 12991 33554432000 4194304 4797429 140735652422496 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.69
Current children cumulated vsize (KiB) 641596

[startup+162.301 s]
/proc/loadavg: 8.12 8.01 7.97 9/184 3597
/proc/meminfo: memFree=30773680/32951124 swapFree=67105204/67111528
[pid=3588] ppid=3586 vsize=646960 CPUtime=648.39 cores=0,2,4,6
/proc/3588/stat : 3588 (techdemo) R 3586 3588 3436 0 -1 4202496 63682 0 0 0 64823 16 0 0 25 0 4 0 503351214 662487040 14780 33554432000 4194304 4797429 140735652422496 18446744073709551615 4424779 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3588/statm: 161740 14780 425 148 0 156669 0
[pid=3588/tid=3590] ppid=3586 vsize=646960 CPUtime=162.27 cores=0,2,4,6
/proc/3588/task/3590/stat : 3590 (techdemo) R 3586 3588 3436 0 -1 4202560 9492 0 0 0 16225 2 0 0 25 0 4 0 503351215 662487040 14780 33554432000 4194304 4797429 140735652422496 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3588/tid=3591] ppid=3586 vsize=646960 CPUtime=162.28 cores=0,2,4,6
/proc/3588/task/3591/stat : 3591 (techdemo) R 3586 3588 3436 0 -1 4202560 9973 0 0 0 16226 2 0 0 25 0 4 0 503351215 662487040 14780 33554432000 4194304 4797429 140735652422496 18446744073709551615 4430056 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3588/tid=3592] ppid=3586 vsize=646960 CPUtime=161.51 cores=0,2,4,6
/proc/3588/task/3592/stat : 3592 (techdemo) R 3586 3588 3436 0 -1 4202560 8606 0 0 0 16150 1 0 0 25 0 4 0 503351215 662487040 14780 33554432000 4194304 4797429 140735652422496 18446744073709551615 4523986 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 648.39
Current children cumulated vsize (KiB) 646960

[startup+222.301 s]
/proc/loadavg: 8.04 8.01 7.97 9/184 3598
/proc/meminfo: memFree=30751948/32951124 swapFree=67105204/67111528
[pid=3588] ppid=3586 vsize=653840 CPUtime=888.1 cores=0,2,4,6
/proc/3588/stat : 3588 (techdemo) R 3586 3588 3436 0 -1 4202496 76574 0 0 0 88791 19 0 0 25 0 4 0 503351214 669532160 17732 33554432000 4194304 4797429 140735652422496 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3588/statm: 163460 17732 430 148 0 158389 0
[pid=3588/tid=3590] ppid=3586 vsize=653840 CPUtime=222.28 cores=0,2,4,6
/proc/3588/task/3590/stat : 3590 (techdemo) R 3586 3588 3436 0 -1 4202560 11057 0 0 0 22225 3 0 0 25 0 4 0 503351215 669532160 17732 33554432000 4194304 4797429 140735652422496 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3588/tid=3591] ppid=3586 vsize=653840 CPUtime=222.28 cores=0,2,4,6
/proc/3588/task/3591/stat : 3591 (techdemo) R 3586 3588 3436 0 -1 4202560 11653 0 0 0 22225 3 0 0 25 0 4 0 503351215 669532160 17732 33554432000 4194304 4797429 140735652422496 18446744073709551615 4523996 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3588/tid=3592] ppid=3586 vsize=653840 CPUtime=221.23 cores=0,2,4,6
/proc/3588/task/3592/stat : 3592 (techdemo) R 3586 3588 3436 0 -1 4202560 10205 0 0 0 22121 2 0 0 25 0 4 0 503351215 669532160 17732 33554432000 4194304 4797429 140735652422496 18446744073709551615 4429087 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 888.1
Current children cumulated vsize (KiB) 653840

[startup+282.3 s]

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

[pid=3588] ppid=3586 vsize=679968 CPUtime=2566.05 cores=0,2,4,6
/proc/3588/stat : 3588 (techdemo) R 3586 3588 3436 0 -1 4202496 144513 0 0 0 256559 46 0 0 25 0 4 0 503351214 696287232 25286 33554432000 4194304 4797429 140735652422496 18446744073709551615 4424614 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3588/statm: 169992 25286 422 148 0 164921 0
[pid=3588/tid=3590] ppid=3586 vsize=679968 CPUtime=642.3 cores=0,2,4,6
/proc/3588/task/3590/stat : 3590 (techdemo) R 3586 3588 3436 0 -1 4202560 20119 0 0 0 64222 8 0 0 25 0 4 0 503351215 696287232 25286 33554432000 4194304 4797429 140735652422496 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3588/tid=3591] ppid=3586 vsize=679968 CPUtime=642.3 cores=0,2,4,6
/proc/3588/task/3591/stat : 3591 (techdemo) R 3586 3588 3436 0 -1 4202560 20714 0 0 0 64223 7 0 0 25 0 4 0 503351215 696287232 25286 33554432000 4194304 4797429 140735652422496 18446744073709551615 4429143 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3588/tid=3592] ppid=3586 vsize=679968 CPUtime=639.11 cores=0,2,4,6
/proc/3588/task/3592/stat : 3592 (techdemo) R 3586 3588 3436 0 -1 4202560 19182 0 0 0 63906 5 0 0 25 0 4 0 503351215 696287232 25286 33554432000 4194304 4797429 140735652422496 18446744073709551615 4422918 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2566.05
Current children cumulated vsize (KiB) 679968

[startup+702.301 s]
/proc/loadavg: 8.14 8.08 8.01 9/184 3611
/proc/meminfo: memFree=30675804/32951124 swapFree=67105204/67111528
[pid=3588] ppid=3586 vsize=681132 CPUtime=2805.72 cores=0,2,4,6
/proc/3588/stat : 3588 (techdemo) R 3586 3588 3436 0 -1 4202496 152360 0 0 0 280524 48 0 0 25 0 4 0 503351214 697479168 25863 33554432000 4194304 4797429 140735652422496 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3588/statm: 170283 25863 421 148 0 165212 0
[pid=3588/tid=3590] ppid=3586 vsize=681132 CPUtime=702.29 cores=0,2,4,6
/proc/3588/task/3590/stat : 3590 (techdemo) R 3586 3588 3436 0 -1 4202560 21112 0 0 0 70221 8 0 0 25 0 4 0 503351215 697479168 25863 33554432000 4194304 4797429 140735652422496 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3588/tid=3591] ppid=3586 vsize=681132 CPUtime=702.29 cores=0,2,4,6
/proc/3588/task/3591/stat : 3591 (techdemo) R 3586 3588 3436 0 -1 4202560 21674 0 0 0 70222 7 0 0 25 0 4 0 503351215 697479168 25863 33554432000 4194304 4797429 140735652422496 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3588/tid=3592] ppid=3586 vsize=681132 CPUtime=698.81 cores=0,2,4,6
/proc/3588/task/3592/stat : 3592 (techdemo) R 3586 3588 3436 0 -1 4202560 20131 0 0 0 69875 6 0 0 25 0 4 0 503351215 697479168 25863 33554432000 4194304 4797429 140735652422496 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.72
Current children cumulated vsize (KiB) 681132

[startup+762.307 s]
/proc/loadavg: 8.12 8.08 8.01 9/184 3613
/proc/meminfo: memFree=30666600/32951124 swapFree=67105204/67111528
[pid=3588] ppid=3586 vsize=681828 CPUtime=3045.44 cores=0,2,4,6
/proc/3588/stat : 3588 (techdemo) R 3586 3588 3436 0 -1 4202496 158548 0 0 0 304493 51 0 0 25 0 4 0 503351214 698191872 27517 33554432000 4194304 4797429 140735652422496 18446744073709551615 4424835 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3588/statm: 170457 27517 421 148 0 165386 0
[pid=3588/tid=3590] ppid=3586 vsize=681828 CPUtime=762.3 cores=0,2,4,6
/proc/3588/task/3590/stat : 3590 (techdemo) R 3586 3588 3436 0 -1 4202560 22206 0 0 0 76221 9 0 0 25 0 4 0 503351215 698191872 27517 33554432000 4194304 4797429 140735652422496 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3588/tid=3591] ppid=3586 vsize=681828 CPUtime=762.3 cores=0,2,4,6
/proc/3588/task/3591/stat : 3591 (techdemo) R 3586 3588 3436 0 -1 4202560 22625 0 0 0 76222 8 0 0 25 0 4 0 503351215 698191872 27517 33554432000 4194304 4797429 140735652422496 18446744073709551615 4430004 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3588/tid=3592] ppid=3586 vsize=681828 CPUtime=758.49 cores=0,2,4,6
/proc/3588/task/3592/stat : 3592 (techdemo) R 3586 3588 3436 0 -1 4202560 20762 0 0 0 75843 6 0 0 25 0 4 0 503351215 698191872 27517 33554432000 4194304 4797429 140735652422496 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.44
Current children cumulated vsize (KiB) 681828

[startup+822.301 s]
/proc/loadavg: 8.11 8.08 8.01 9/184 3614
/proc/meminfo: memFree=30656644/32951124 swapFree=67105204/67111528
[pid=3588] ppid=3586 vsize=682676 CPUtime=3285.12 cores=0,2,4,6
/proc/3588/stat : 3588 (techdemo) R 3586 3588 3436 0 -1 4202496 165690 0 0 0 328458 54 0 0 25 0 4 0 503351214 699060224 27959 33554432000 4194304 4797429 140735652422496 18446744073709551615 4426365 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3588/statm: 170669 27959 421 148 0 165598 0
[pid=3588/tid=3590] ppid=3586 vsize=682676 CPUtime=822.29 cores=0,2,4,6
/proc/3588/task/3590/stat : 3590 (techdemo) R 3586 3588 3436 0 -1 4202560 22854 0 0 0 82220 9 0 0 25 0 4 0 503351215 699060224 27959 33554432000 4194304 4797429 140735652422496 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3588/tid=3591] ppid=3586 vsize=682676 CPUtime=822.3 cores=0,2,4,6
/proc/3588/task/3591/stat : 3591 (techdemo) R 3586 3588 3436 0 -1 4202560 23304 0 0 0 82222 8 0 0 25 0 4 0 503351215 699060224 27959 33554432000 4194304 4797429 140735652422496 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3588/tid=3592] ppid=3586 vsize=682676 CPUtime=818.18 cores=0,2,4,6
/proc/3588/task/3592/stat : 3592 (techdemo) R 3586 3588 3436 0 -1 4202560 21863 0 0 0 81811 7 0 0 25 0 4 0 503351215 699060224 27959 33554432000 4194304 4797429 140735652422496 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3285.12
Current children cumulated vsize (KiB) 682676

[startup+882.301 s]
/proc/loadavg: 8.07 8.07 8.01 9/184 3616
/proc/meminfo: memFree=30655244/32951124 swapFree=67105204/67111528
[pid=3588] ppid=3586 vsize=685436 CPUtime=3524.81 cores=0,2,4,6
/proc/3588/stat : 3588 (techdemo) R 3586 3588 3436 0 -1 4202496 172956 0 0 0 352424 57 0 0 25 0 4 0 503351214 701886464 28826 33554432000 4194304 4797429 140735652422496 18446744073709551615 4425064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3588/statm: 171359 28826 421 148 0 166288 0
[pid=3588/tid=3590] ppid=3586 vsize=685436 CPUtime=882.3 cores=0,2,4,6
/proc/3588/task/3590/stat : 3590 (techdemo) R 3586 3588 3436 0 -1 4202560 23971 0 0 0 88220 10 0 0 25 0 4 0 503351215 701886464 28826 33554432000 4194304 4797429 140735652422496 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3588/tid=3591] ppid=3586 vsize=685436 CPUtime=882.29 cores=0,2,4,6
/proc/3588/task/3591/stat : 3591 (techdemo) R 3586 3588 3436 0 -1 4202560 24494 0 0 0 88221 8 0 0 25 0 4 0 503351215 701886464 28826 33554432000 4194304 4797429 140735652422496 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3588/tid=3592] ppid=3586 vsize=685436 CPUtime=877.87 cores=0,2,4,6
/proc/3588/task/3592/stat : 3592 (techdemo) R 3586 3588 3436 0 -1 4202560 22956 0 0 0 87780 7 0 0 25 0 4 0 503351215 701886464 28826 33554432000 4194304 4797429 140735652422496 18446744073709551615 4523994 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.81
Current children cumulated vsize (KiB) 685436

[startup+942.301 s]
/proc/loadavg: 8.02 8.06 8.00 9/184 3618
/proc/meminfo: memFree=30650148/32951124 swapFree=67105204/67111528
[pid=3588] ppid=3586 vsize=688552 CPUtime=3764.5 cores=0,2,4,6
/proc/3588/stat : 3588 (techdemo) R 3586 3588 3436 0 -1 4202496 181327 0 0 0 376390 60 0 0 25 0 4 0 503351214 705077248 28824 33554432000 4194304 4797429 140735652422496 18446744073709551615 4424735 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3588/statm: 172138 28824 421 148 0 167067 0
[pid=3588/tid=3590] ppid=3586 vsize=688552 CPUtime=942.29 cores=0,2,4,6
/proc/3588/task/3590/stat : 3590 (techdemo) R 3586 3588 3436 0 -1 4202560 25247 0 0 0 94219 10 0 0 25 0 4 0 503351215 705077248 28824 33554432000 4194304 4797429 140735652422496 18446744073709551615 4428984 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3588/tid=3591] ppid=3586 vsize=688552 CPUtime=942.3 cores=0,2,4,6
/proc/3588/task/3591/stat : 3591 (techdemo) R 3586 3588 3436 0 -1 4202560 25693 0 0 0 94221 9 0 0 25 0 4 0 503351215 705077248 28824 33554432000 4194304 4797429 140735652422496 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3588/tid=3592] ppid=3586 vsize=688552 CPUtime=937.56 cores=0,2,4,6
/proc/3588/task/3592/stat : 3592 (techdemo) R 3586 3588 3436 0 -1 4202560 23926 0 0 0 93748 8 0 0 25 0 4 0 503351215 705077248 28824 33554432000 4194304 4797429 140735652422496 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.5
Current children cumulated vsize (KiB) 688552

[startup+1002.3 s]
/proc/loadavg: 8.07 8.06 8.00 9/184 3619
/proc/meminfo: memFree=30642932/32951124 swapFree=67105204/67111528
[pid=3588] ppid=3586 vsize=688632 CPUtime=4004.19 cores=0,2,4,6
/proc/3588/stat : 3588 (techdemo) R 3586 3588 3436 0 -1 4202496 186649 0 0 0 400356 63 0 0 25 0 4 0 503351214 705159168 31258 33554432000 4194304 4797429 140735652422496 18446744073709551615 4331944 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3588/statm: 172158 31258 421 148 0 167087 0
[pid=3588/tid=3590] ppid=3586 vsize=688632 CPUtime=1002.3 cores=0,2,4,6
/proc/3588/task/3590/stat : 3590 (techdemo) R 3586 3588 3436 0 -1 4202560 26019 0 0 0 100219 11 0 0 25 0 4 0 503351215 705159168 31258 33554432000 4194304 4797429 140735652422496 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3588/tid=3591] ppid=3586 vsize=688632 CPUtime=1002.3 cores=0,2,4,6
/proc/3588/task/3591/stat : 3591 (techdemo) R 3586 3588 3436 0 -1 4202560 26260 0 0 0 100221 9 0 0 25 0 4 0 503351215 705159168 31258 33554432000 4194304 4797429 140735652422496 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3588/tid=3592] ppid=3586 vsize=688632 CPUtime=997.25 cores=0,2,4,6
/proc/3588/task/3592/stat : 3592 (techdemo) R 3586 3588 3436 0 -1 4202560 24521 0 0 0 99716 9 0 0 25 0 4 0 503351215 705159168 31258 33554432000 4194304 4797429 140735652422496 18446744073709551615 4425633 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4004.19
Current children cumulated vsize (KiB) 688632

[startup+1062.3 s]
/proc/loadavg: 8.20 8.09 8.01 9/184 3621
/proc/meminfo: memFree=30634720/32951124 swapFree=67105204/67111528
[pid=3588] ppid=3586 vsize=693836 CPUtime=4243.89 cores=0,2,4,6
/proc/3588/stat : 3588 (techdemo) R 3586 3588 3436 0 -1 4202496 193396 0 0 0 424323 66 0 0 25 0 4 0 503351214 710488064 31769 33554432000 4194304 4797429 140735652422496 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3588/statm: 173459 31769 421 148 0 168388 0
[pid=3588/tid=3590] ppid=3586 vsize=693836 CPUtime=1062.3 cores=0,2,4,6
/proc/3588/task/3590/stat : 3590 (techdemo) R 3586 3588 3436 0 -1 4202560 27024 0 0 0 106219 11 0 0 25 0 4 0 503351215 710488064 31769 33554432000 4194304 4797429 140735652422496 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3588/tid=3591] ppid=3586 vsize=693836 CPUtime=1062.31 cores=0,2,4,6
/proc/3588/task/3591/stat : 3591 (techdemo) R 3586 3588 3436 0 -1 4202560 27398 0 0 0 106221 10 0 0 25 0 4 0 503351215 710488064 31769 33554432000 4194304 4797429 140735652422496 18446744073709551615 4648186 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3588/tid=3592] ppid=3586 vsize=693836 CPUtime=1056.93 cores=0,2,4,6
/proc/3588/task/3592/stat : 3592 (techdemo) R 3586 3588 3436 0 -1 4202560 25846 0 0 0 105684 9 0 0 25 0 4 0 503351215 710488064 31769 33554432000 4194304 4797429 140735652422496 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.89
Current children cumulated vsize (KiB) 693836

[startup+1122.3 s]
/proc/loadavg: 8.23 8.12 8.02 9/184 3622
/proc/meminfo: memFree=30625376/32951124 swapFree=67105204/67111528
[pid=3588] ppid=3586 vsize=694376 CPUtime=4483.58 cores=0,2,4,6
/proc/3588/stat : 3588 (techdemo) R 3586 3588 3436 0 -1 4202496 199434 0 0 0 448289 69 0 0 25 0 4 0 503351214 711041024 32264 33554432000 4194304 4797429 140735652422496 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3588/statm: 173594 32264 421 148 0 168523 0
[pid=3588/tid=3590] ppid=3586 vsize=694376 CPUtime=1122.3 cores=0,2,4,6
/proc/3588/task/3590/stat : 3590 (techdemo) R 3586 3588 3436 0 -1 4202560 28110 0 0 0 112219 11 0 0 25 0 4 0 503351215 711041024 32264 33554432000 4194304 4797429 140735652422496 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3588/tid=3591] ppid=3586 vsize=694376 CPUtime=1122.3 cores=0,2,4,6
/proc/3588/task/3591/stat : 3591 (techdemo) R 3586 3588 3436 0 -1 4202560 28302 0 0 0 112220 10 0 0 25 0 4 0 503351215 711041024 32264 33554432000 4194304 4797429 140735652422496 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3588/tid=3592] ppid=3586 vsize=694376 CPUtime=1116.62 cores=0,2,4,6
/proc/3588/task/3592/stat : 3592 (techdemo) R 3586 3588 3436 0 -1 4202560 26222 0 0 0 111652 10 0 0 25 0 4 0 503351215 711041024 32264 33554432000 4194304 4797429 140735652422496 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.58
Current children cumulated vsize (KiB) 694376

[startup+1182.3 s]
/proc/loadavg: 8.08 8.10 8.02 9/184 3624
/proc/meminfo: memFree=30628700/32951124 swapFree=67105204/67111528
[pid=3588] ppid=3586 vsize=697796 CPUtime=4723.27 cores=0,2,4,6
/proc/3588/stat : 3588 (techdemo) R 3586 3588 3436 0 -1 4202496 206236 0 0 0 472256 71 0 0 25 0 4 0 503351214 714543104 32586 33554432000 4194304 4797429 140735652422496 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3588/statm: 174449 32586 421 148 0 169378 0
[pid=3588/tid=3590] ppid=3586 vsize=697796 CPUtime=1182.3 cores=0,2,4,6
/proc/3588/task/3590/stat : 3590 (techdemo) R 3586 3588 3436 0 -1 4202560 28592 0 0 0 118219 11 0 0 25 0 4 0 503351215 714543104 32586 33554432000 4194304 4797429 140735652422496 18446744073709551615 4567988 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3588/tid=3591] ppid=3586 vsize=697796 CPUtime=1182.3 cores=0,2,4,6
/proc/3588/task/3591/stat : 3591 (techdemo) R 3586 3588 3436 0 -1 4202560 28849 0 0 0 118220 10 0 0 25 0 4 0 503351215 714543104 32586 33554432000 4194304 4797429 140735652422496 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3588/tid=3592] ppid=3586 vsize=697796 CPUtime=1176.3 cores=0,2,4,6
/proc/3588/task/3592/stat : 3592 (techdemo) R 3586 3588 3436 0 -1 4202560 27260 0 0 0 117620 10 0 0 25 0 4 0 503351215 714543104 32586 33554432000 4194304 4797429 140735652422496 18446744073709551615 4430103 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4723.27
Current children cumulated vsize (KiB) 697796



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 8.06 8.09 8.02 5/180 3626
/proc/meminfo: memFree=30759176/32951124 swapFree=67105204/67111528
[pid=3588] ppid=3586 vsize=697796 CPUtime=4800.39 cores=0,2,4,6
/proc/3588/stat : 3588 (techdemo) R 3586 3588 3436 0 -1 4202496 207268 0 0 0 479967 72 0 0 25 0 4 0 503351214 714543104 33574 33554432000 4194304 4797429 140735652422496 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3588/statm: 174449 33574 421 148 0 169378 0
[pid=3588/tid=3590] ppid=3586 vsize=697796 CPUtime=1201.61 cores=0,2,4,6
/proc/3588/task/3590/stat : 3590 (techdemo) R 3586 3588 3436 0 -1 4202560 28698 0 0 0 120150 11 0 0 25 0 4 0 503351215 714543104 33574 33554432000 4194304 4797429 140735652422496 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3588/tid=3591] ppid=3586 vsize=697796 CPUtime=1201.62 cores=0,2,4,6
/proc/3588/task/3591/stat : 3591 (techdemo) R 3586 3588 3436 0 -1 4202560 28952 0 0 0 120151 11 0 0 25 0 4 0 503351215 714543104 33574 33554432000 4194304 4797429 140735652422496 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3588/tid=3592] ppid=3586 vsize=697796 CPUtime=1195.5 cores=0,2,4,6
/proc/3588/task/3592/stat : 3592 (techdemo) R 3586 3588 3436 0 -1 4202560 27397 0 0 0 119540 10 0 0 25 0 4 0 503351215 714543104 33574 33554432000 4194304 4797429 140735652422496 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 697796

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.62
CPU time (s): 4800.43
CPU user time (s): 4799.7
CPU system time (s): 0.728889
CPU usage (%): 399.497
Max. virtual memory (cumulated for all children) (KiB): 805692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.7
system time used= 0.728889
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207268
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= 293
involuntary context switches= 21655

runsolver used 1.91971 second user time and 4.07838 second system time

The end

Launcher Data 

Begin job on node147 at 2011-04-29 22:35:53
IDJOB=3172873
IDBENCH=82891
IDSOLVER=1584
FILE ID=node147/3172873-1304109353
RUNJOBID= node147-1304108149-3456
PBS_JOBID= 13170669
Free space on /tmp= 72652 MiB

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

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

MD5SUM BENCH= 3db6bd99841631bff4d8c3d33ccc1047
RANDOM SEED=31874198

node147.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.836
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.67
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.836
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.836
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.82
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.836
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.836
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.836
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.76
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.836
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.836
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:     32951124 kB
MemFree:      30890932 kB
Buffers:        285404 kB
Cached:        1384980 kB
SwapCached:       3064 kB
Active:         158892 kB
Inactive:      1577364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30890932 kB
SwapTotal:    67111528 kB
SwapFree:     67105204 kB
Dirty:           15548 kB
Writeback:           0 kB
AnonPages:       64668 kB
Mapped:          15376 kB
Slab:           260828 kB
PageTables:       4296 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   663884 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= 72652 MiB
End job on node147 at 2011-04-29 22:55:57