Trace number 3173015

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.34 1201.72

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v60-c5340-S113771637-026.UNKNOWN.cnf
MD5SUM7f4758baa378252dd3709cff507a5405
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark370.78
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-3173015-1304124595.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.45/0.13	c asymm  cl-useful: 0/1893/5340 lits-rem:0 time: 0.44
0.45/0.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.01
0.45/0.13	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
0.45/0.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.45/0.13	c Subs w/ non-existent bins:      0 time:  0.00 s
1.15/0.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.15/0.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1.15/0.36	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1.15/0.36	c lits-rem:         0  cl-subs:        0  v-elim:     40  v-fix:    0  time:  0.05 s
1.15/0.36	c learnt bin added due to v-elim: 0
1.15/0.36	c Finding binary XORs  T:     0.00 s  found:       0
1.15/0.36	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
1.15/0.36	c calculated reachability. Time: 0.00
1.15/0.36	c Calc default polars -  time:   0.00 s pos:      25 undec:       3 neg:      32
1.15/0.36	c =========================================================================================
1.15/0.36	c types(t): F = full restart, N = normal restart
1.15/0.36	c types(t): S = simplification begin/end, E = solution found
1.15/0.36	c restart types(rt): st = static, dy = dynamic
1.15/0.36	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
1.15/0.36	c  B st     0         0        60      5340         0         0     37380         0   no data   no data  --
3.14/0.83	c Decided on static restart strategy
3.14/0.83	c  N dy    19      4026        60      5340         0      3582     37380     77607     21.84     19.02  --
3.14/0.83	c  N dy    46      8063        60      5340         0      4958     37380    100268     21.36     19.02  --
3.14/0.83	c  N dy    73     12115        60      5340         0      4789     37380     87532     21.78     18.98  --
3.94/1.03	c  N dy   100     16116        60      5340         0      8397     37380    164471     21.55     18.96  --
5.13/1.33	c  N dy   127     20162        60      5340         0      6985     37380    124530     22.03     18.96  --
5.93/1.50	c  N dy   154     24214        60      5340         0     10617     37380    201696     21.74     18.95  --
7.14/1.80	c  N dy   182     28361        60      5340         0      8239     37380    140675     21.87     18.96  --
7.54/1.92	c  S st   194     30000        60      5340         0      9717     37380    172301     21.37     18.96  --
7.54/1.96	c  S st   194     30503        60      5340         0     10186     37380    182261     21.37     18.96  --
7.54/1.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.54/1.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.54/1.98	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.98	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
7.54/1.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.54/1.98	c Subs w/ non-existent bins:      0 time:  0.00 s
7.54/1.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.54/1.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.54/1.99	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
9.93/2.56	c lits-rem:      1337  cl-subs:     1327  v-elim:     60  v-fix:    0  time:  2.28 s
9.93/2.56	c learnt bin added due to v-elim: 0
9.93/2.56	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
9.93/2.56	c vivif2 --  cl tried     8859 cl shrink        0 lits rem          0 time: 0.00
10.73/2.71	c asymm  cl-useful: 0/2066/5340 lits-rem:0 time: 0.60
10.73/2.71	c calculated reachability. Time: 0.00
10.73/2.71	c  N dy   194     30503        60      5340         0      8859     37380    155165     21.37     18.96  --
10.73/2.71	c  F st   194     30503        60      5340         0      8859     37380    155165     21.37     18.96  --
11.13/2.86	c Decided on static restart strategy
11.93/3.02	c  N dy   213     34520        60      5340         0     12447     37380    232218     22.02     18.95  --
13.14/3.33	c  N dy   240     38541        60      5340         0      9031     37380    148458     21.40     18.96  --
14.32/3.63	c  N dy   267     42574        60      5340         0     12666     37380    226491     22.06     18.97  --
15.52/3.93	c  S st   289     45755        60      5340         0     15522     37380    287689     21.57     18.98  --
15.52/3.98	c  S st   289     46259        60      5340         0     15987     37380    298035     21.57     18.98  --
15.52/3.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.52/3.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.92/4.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.2M T:  0.16
15.92/4.03	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
15.92/4.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.92/4.03	c Subs w/ non-existent bins:      0 time:  0.01 s
15.92/4.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.92/4.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.92/4.03	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
19.12/4.81	c lits-rem:      2304  cl-subs:     2207  v-elim:     60  v-fix:    0  time:  3.10 s
19.12/4.81	c learnt bin added due to v-elim: 0
19.12/4.81	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
19.12/4.81	c vivif2 --  cl tried    13780 cl shrink        0 lits rem          0 time: 0.01
19.52/4.98	c asymm  cl-useful: 0/1332/5340 lits-rem:0 time: 0.66
19.52/4.98	c calculated reachability. Time: 0.00
19.52/4.98	c  N dy   289     46259        60      5340         0     13780     37380    247583     21.57     18.98  --
21.12/5.33	c  N dy   316     50308        60      5340         0      9494     37380    148467     21.97     18.99  --
22.33/5.65	c  N dy   343     54367        60      5340         0     13150     37380    227492     21.84     19.00  --
23.91/6.01	c  N dy   370     58374        60      5340         0     16769     37380    304361     21.06     18.99  --
25.11/6.37	c  N dy   397     62427        60      5340         0     11478     37380    179213     21.73     19.00  --
26.73/6.72	c  N dy   424     66491        60      5340         0     15119     37380    256507     21.34     18.99  --
27.91/7.03	c  S st   444     69388        60      5340         0     17705     37380    311820     21.64     18.99  --
27.91/7.09	c  S st   444     69889        60      5340         0     18172     37380    321914     21.64     18.99  --
27.91/7.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.91/7.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
28.31/7.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.2M T:  0.22
28.31/7.15	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
28.31/7.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
28.31/7.15	c Subs w/ non-existent bins:      0 time:  0.01 s
28.31/7.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.31/7.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.31/7.15	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
31.50/7.92	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.52/8.93	c Added 1 vars  tried: 16020 time: 4.06
35.52/8.94	c ORs :      1 avg-s:  0.0 cl-sh:  1652 l-rem:   1652 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:    4.11
35.52/8.95	c lits-rem:      1687  cl-subs:     2298  v-elim:     60  v-fix:    0  time:  7.17 s
35.52/8.95	c learnt bin added due to v-elim: 0
35.52/8.95	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
35.52/8.95	c vivif2 --  cl tried    15874 cl shrink        0 lits rem          0 time: 0.01
36.30/9.12	c asymm  cl-useful: 0/1804/5341 lits-rem:0 time: 0.65
36.30/9.12	c calculated reachability. Time: 0.00
36.30/9.12	c  N dy   444     69889        61      5341         2     15874     37369    269477     21.64     18.99  --
36.30/9.12	c  F st   444     69889        61      5341         2     15874     37369    269477     21.64     18.99  --
37.10/9.32	c Decided on static restart strategy
37.90/9.57	c  N dy   466     74355        61      5341         2     10176     37369    143203     21.66     18.98  --
39.51/9.97	c  N dy   498     79155        61      5341         2     14503     37369    236439     21.69     18.99  --
41.49/10.47	c  N dy   532     84228        61      5341         2     19054     37369    333349     21.29     18.98  --
43.90/11.03	c  N dy   568     89619        61      5341         2     13193     37369    195007     21.00     18.97  --
45.88/11.58	c  N dy   607     95381        61      5341         2     18394     37369    305113     21.29     18.95  --
49.08/12.30	c  N dy   648    101484        61      5341         2     12229     37369    163891     21.48     18.96  --
50.27/12.62	c  S st   671    104833        61      5341         2     15220     37369    227897     21.57     18.96  --
50.27/12.68	c  S st   671    105335        61      5341         2     15683     37369    237920     21.57     18.96  --
50.27/12.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
50.27/12.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
50.68/12.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.6M T:  0.21
50.68/12.74	c Calc non-exist non-lernt bins v-fix:     0 done:     61 time:  0.00 s
50.68/12.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
50.68/12.74	c Subs w/ non-existent bins:      0 time:  0.00 s
50.68/12.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
50.68/12.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.68/12.74	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
53.10/13.37	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.10/13.37	c lits-rem:       996  cl-subs:     1200  v-elim:     60  v-fix:    0  time:  2.52 s
53.10/13.37	c learnt bin added due to v-elim: 0
53.10/13.37	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
53.10/13.38	c vivif2 --  cl tried    14483 cl shrink        0 lits rem          0 time: 0.01
53.87/13.53	c asymm  cl-useful: 0/1359/5341 lits-rem:0 time: 0.61
53.87/13.53	c calculated reachability. Time: 0.00
53.87/13.53	c  N dy   671    105335        61      5341         2     14483     37369    213998     21.57     18.96  --
56.67/14.25	c  N dy   717    112171        61      5341         2     20617     37369    345489     21.36     18.97  --
60.26/15.12	c  N dy   765    119337        61      5341         2     14554     37369    206111     21.62     18.97  --
63.46/15.96	c  N dy   817    127081        61      5341         2     21498     37369    353432     21.47     18.96  --
67.45/16.99	c  N dy   872    135236        61      5341         2     15405     37369    214857     21.95     18.97  --
71.44/17.99	c  N dy   930    143902        61      5341         2     23204     37369    380582     21.28     18.95  --
76.64/19.21	c  N dy   992    153110        61      5341         2     17105     37369    237774     20.92     18.94  --
78.64/19.78	c  S st  1025    158003        61      5341         2     21509     37369    331574     22.00     18.93  --
79.05/19.86	c  S st  1025    158508        61      5341         2     21971     37369    341738     22.00     18.93  --
79.05/19.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
79.05/19.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
79.46/19.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.6M T:  0.34
79.46/19.94	c Calc non-exist non-lernt bins v-fix:     0 done:     61 time:  0.00 s
79.46/19.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
79.46/19.95	c Subs w/ non-existent bins:      0 time:  0.01 s
79.46/19.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
79.46/19.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.46/19.95	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
82.63/20.74	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.63/20.75	c lits-rem:      1165  cl-subs:     2053  v-elim:     60  v-fix:    0  time:  3.18 s
82.63/20.75	c learnt bin added due to v-elim: 0
82.63/20.75	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
82.63/20.75	c vivif2 --  cl tried    19918 cl shrink        0 lits rem          0 time: 0.01
83.45/20.91	c asymm  cl-useful: 0/1039/5341 lits-rem:0 time: 0.64
83.45/20.91	c calculated reachability. Time: 0.00
83.45/20.91	c  N dy  1025    158508        61      5341         2     19918     37369    300315     22.00     18.93  --
88.62/22.29	c  N dy  1093    168690        61      5341         2     29076     37369    496098     21.41     18.94  --
94.21/23.64	c  N dy  1166    179587        61      5341         2     23780     37369    371960     21.34     18.93  --
101.02/25.36	c  N dy  1244    191184        61      5341         2     18015     37369    237148     21.57     18.93  --
107.40/26.99	c  N dy  1327    203538        61      5341         2     29094     37369    474402     22.74     18.94  --
114.98/28.86	c  N dy  1415    216622        61      5341         2     23782     37369    349453     21.30     18.94  --
124.17/31.11	c  N dy  1509    230583        65      5341        14     18358     37389    225602     21.66     18.94  --
127.79/32.03	c  S st  1558    237766        65      5341        14     24768     37389    363220     21.77     18.94  --
128.17/32.12	c  S st  1558    238267        65      5341        14     25235     37389    373322     21.77     18.94  --
128.17/32.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
128.17/32.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
128.57/32.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.4M T:  0.44
128.57/32.23	c Calc non-exist non-lernt bins v-fix:     0 done:     65 time:  0.00 s
128.57/32.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
128.57/32.23	c Subs w/ non-existent bins:      0 time:  0.01 s
128.57/32.24	c Replacing        1 vars Replaced     1755 lits Time:     0.04 s 
128.57/32.25	c bin-w-bin subsume rem            2 bins  time:  0.00 s
128.57/32.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
128.57/32.25	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
132.97/33.30	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.97/33.30	c lits-rem:      1179  cl-subs:     2256  v-elim:     60  v-fix:    0  time:  4.22 s
132.97/33.30	c learnt bin added due to v-elim: 0
132.97/33.30	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
132.97/33.31	c vivif2 --  cl tried    22979 cl shrink        0 lits rem          0 time: 0.02
133.37/33.47	c asymm  cl-useful: 0/908/5341 lits-rem:0 time: 0.64
133.37/33.47	c calculated reachability. Time: 0.00
133.37/33.47	c  N dy  1558    238267        64      5341         8     22979     37381    328984     21.77     18.94  --
143.35/35.99	c  N dy  1661    253571        64      5341         8     36790     37381    623728     22.50     18.92  --
153.34/38.46	c  N dy  1770    269824        64      5341         8     32724     37381    522206     21.90     18.89  --
164.92/41.38	c  N dy  1887    287188        64      5341         8     28676     37381    422737     21.50     18.87  --
178.50/44.73	c  N dy  2011    305562        64      5341         8     24543     37381    322962     22.21     18.84  --
192.89/48.32	c  N dy  2143    325134        64      5341         8     42238     37381    701343     21.27     18.81  --
206.48/51.80	c  N dy  2278    345217        64      5341         8     38645     37381    612687     21.84     18.80  --
216.05/54.17	c  S st  2361    357400        68      5341        28     27102     37409    355575     21.69     18.80  --
216.45/54.26	c  S st  2361    357903        68      5341        28     27566     37409    365825     21.69     18.80  --
216.45/54.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
216.45/54.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
216.85/54.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  9.3M T:  0.53
216.85/54.40	c Calc non-exist non-lernt bins v-fix:     0 done:     68 time:  0.00 s
216.85/54.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
217.25/54.40	c Subs w/ non-existent bins:      0 time:  0.01 s
217.25/54.40	c Replacing        3 vars Replaced      415 lits Time:     0.01 s 
217.25/54.41	c bin-w-bin subsume rem            6 bins  time:  0.00 s
217.25/54.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
217.25/54.41	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
220.84/55.37	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.84/55.38	c lits-rem:       680  cl-subs:     1729  v-elim:     60  v-fix:    0  time:  3.86 s
220.84/55.38	c learnt bin added due to v-elim: 0
220.84/55.38	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
220.84/55.38	c vivif2 --  cl tried    25837 cl shrink        0 lits rem          0 time: 0.02
221.64/55.54	c asymm  cl-useful: 0/1126/5341 lits-rem:0 time: 0.63
221.64/55.54	c calculated reachability. Time: 0.00
221.64/55.54	c  N dy  2361    357903        65      5341        10     25837     37385    335994     21.69     18.80  --
236.82/59.36	c  N dy  2496    377932        65      5341        10     44002     37385    724287     21.33     18.78  --
252.40/63.20	c  N dy  2631    397964        65      5341        10     38761     37385    595910     21.93     18.75  --
371.44/93.10	c  N dy  2687    536854        65      5341        10     32305     37385    408823     19.95     17.98  --
371.84/93.11	c  S st  2687    536854        65      5341        10     32305     37385    408823     19.95     17.98  --
372.24/93.22	c  S st  2687    537358        69      5341        26     32780     37409    419048     19.95     17.98  --
372.24/93.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
372.24/93.23	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
372.64/93.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 11.8M T:  0.64
372.64/93.39	c Calc non-exist non-lernt bins v-fix:     0 done:     69 time:  0.00 s
372.64/93.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
372.64/93.39	c Subs w/ non-existent bins:      0 time:  0.02 s
372.64/93.39	c Replacing        2 vars Replaced      115 lits Time:     0.01 s 
373.04/93.40	c bin-w-bin subsume rem            4 bins  time:  0.00 s
373.04/93.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
373.04/93.40	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
377.43/94.60	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
398.20/99.78	c Added 1 vars  tried: 80000 time: 20.69
398.60/99.81	c ORs :      1 avg-s:  0.0 cl-sh:  2945 l-rem:   2945 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   20.83
398.60/99.82	c lits-rem:      1087  cl-subs:     2540  v-elim:     60  v-fix:    0  time: 25.64 s
398.60/99.82	c learnt bin added due to v-elim: 0
398.60/99.82	c vivif2 --  cl tried     5342 cl shrink        0 lits rem          0 time: 0.00
398.60/99.83	c vivif2 --  cl tried    30240 cl shrink        0 lits rem          0 time: 0.02
399.01/99.98	c asymm  cl-useful: 0/1004/5342 lits-rem:0 time: 0.62
399.01/99.98	c calculated reachability. Time: 0.00
399.01/99.98	c  N dy  2687    537358        68      5342        16     30240     37378    376372     19.95     17.98  --
399.01/99.98	c  F st  2687    537358        68      5342        16     30240     37378    376372     19.95     17.98  --
400.61/100.31	c Decided on static restart strategy
415.39/104.07	c  N dy  2815    557506        68      5342        16     48485     37378    768238     21.09     18.00  --
434.17/108.70	c  N dy  2950    577545        68      5342        16     38362     37378    538453     22.00     18.02  --
455.33/114.01	c  N dy  3085    597546        68      5342        16     56593     37378    929174     21.39     18.03  --
474.10/118.79	c  N dy  3221    617631        68      5342        16     45146     37378    668857     21.79     18.05  --
674.24/168.88	c  N dy  3313    806038        72      5342        24     52656     37394    778991     21.01     17.26  --
674.64/168.92	c  S st  3313    806038        72      5342        24     52656     37394    778991     21.01     17.26  --
675.04/169.08	c  S st  3313    806540        76      5342        44     53141     37422    789707     21.01     17.26  --
675.04/169.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
675.04/169.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
676.65/169.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 19.8M T:  1.35
676.65/169.42	c Calc non-exist non-lernt bins v-fix:     0 done:     76 time:  0.00 s
676.65/169.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
676.65/169.43	c Subs w/ non-existent bins:      0 time:  0.04 s
676.65/169.44	c Replacing        3 vars Replaced     1057 lits Time:     0.05 s 
676.65/169.46	c bin-w-bin subsume rem            6 bins  time:  0.00 s
676.65/169.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
676.65/169.46	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
689.84/172.76	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.03
689.84/172.78	c lits-rem:      2618  cl-subs:     4939  v-elim:     60  v-fix:    0  time: 13.25 s
689.84/172.78	c learnt bin added due to v-elim: 0
689.84/172.78	c vivif2 --  cl tried     5342 cl shrink        0 lits rem          0 time: 0.00
689.84/172.79	c vivif2 --  cl tried    48202 cl shrink        0 lits rem          0 time: 0.04
690.24/172.87	c asymm  cl-useful: 0/331/5342 lits-rem:0 time: 0.34
690.24/172.88	c calculated reachability. Time: 0.00
690.24/172.88	c  N dy  3313    806540        73      5342        26     48202     37398    699393     21.01     17.26  --
1216.32/304.56	c  N dy  3425   1209810        74      5342        28     64210     37402    963472     21.81     16.40  --
1216.72/304.60	c  S st  3425   1209810        74      5342        28     64210     37402    963472     21.81     16.40  --
1217.53/304.81	c  S st  3425   1210316        74      5342        28     64682     37402    973968     21.81     16.40  --
1217.53/304.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1217.53/304.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1219.11/305.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 26.1M T:  1.89
1219.11/305.29	c Calc non-exist non-lernt bins v-fix:     0 done:     74 time:  0.01 s
1219.11/305.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1219.51/305.30	c Subs w/ non-existent bins:      0 time:  0.04 s
1219.51/305.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1219.51/305.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1219.51/305.32	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1237.49/309.83	c ORs :      2 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 24.0 T:    0.06
1291.83/323.49	c Added 1 vars  tried: 80000 time: 54.59
1293.41/323.88	c ORs :      1 avg-s:  0.0 cl-sh: 12646 l-rem:  12646 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   56.11
1293.41/323.89	c lits-rem:      2197  cl-subs:     5467  v-elim:     60  v-fix:    0  time: 74.17 s
1293.41/323.89	c learnt bin added due to v-elim: 0
1293.41/323.89	c vivif2 --  cl tried     5343 cl shrink        0 lits rem          0 time: 0.00
1293.81/323.91	c vivif2 --  cl tried    59214 cl shrink        0 lits rem          0 time: 0.05
1294.21/324.00	c asymm  cl-useful: 0/290/5343 lits-rem:0 time: 0.36
1294.21/324.00	c calculated reachability. Time: 0.00
1294.21/324.00	c  N dy  3425   1210316        75      5343        30     59214     37393    862745     21.81     16.40  --
2119.90/530.74	c  N dy  3552   1710316        75      5343        30     89499     37393   1421710     21.59     15.78  --
2119.90/530.80	c  S st  3552   1710316        75      5343        30     89499     37393   1421710     21.59     15.78  --
2121.50/531.15	c  S st  3552   1710820        79      5343        40     89962     37409   1431723     21.59     15.78  --
2121.50/531.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2121.50/531.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2124.69/531.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 38.6M T:  3.03
2124.69/531.92	c Calc non-exist non-lernt bins v-fix:     0 done:     79 time:  0.01 s
2124.69/531.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2124.69/531.94	c Subs w/ non-existent bins:      0 time:  0.06 s
2124.69/531.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2124.69/531.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2124.69/531.97	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2155.45/539.66	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.16
2155.45/539.69	c lits-rem:      1095  cl-subs:     8210  v-elim:     60  v-fix:    0  time: 30.82 s
2155.45/539.69	c learnt bin added due to v-elim: 0
2155.45/539.69	c vivif2 --  cl tried     5343 cl shrink        0 lits rem          0 time: 0.00
2155.85/539.71	c vivif2 --  cl tried    81752 cl shrink        0 lits rem          0 time: 0.08
2156.25/539.81	c asymm  cl-useful: 0/192/5343 lits-rem:0 time: 0.41
2156.25/539.81	c calculated reachability. Time: 0.00
2156.25/539.81	c  N dy  3552   1710820        79      5343        40     81752     37409   1284722     21.59     15.78  --
3116.15/780.16	c  N dy  3556   2210821        79      5343        40     93942     37409   1382487     18.62     15.66  --
3116.54/780.22	c  S st  3556   2210821        79      5343        40     93942     37409   1382487     18.62     15.66  --
3116.54/780.22	c Finding binary XORs  T:     0.00 s  found:       0
3117.75/780.56	c  S st  3556   2211323        82      5343        48     94414     37421   1393121     18.62     15.66  --
3117.75/780.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3117.75/780.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3120.94/781.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 43.8M T:  3.16
3120.94/781.36	c Calc non-exist non-lernt bins v-fix:     0 done:     82 time:  0.01 s
3120.94/781.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3120.94/781.38	c Subs w/ non-existent bins:      0 time:  0.07 s
3121.34/781.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3121.34/781.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3121.34/781.41	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3163.29/791.94	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
3163.29/791.97	c lits-rem:      1439  cl-subs:    14803  v-elim:     60  v-fix:    0  time: 42.20 s
3163.29/791.97	c learnt bin added due to v-elim: 0
3163.29/791.97	c vivif2 --  cl tried     5343 cl shrink        0 lits rem          0 time: 0.00
3163.29/791.99	c vivif2 --  cl tried    79611 cl shrink        0 lits rem          0 time: 0.07
3163.71/792.10	c asymm  cl-useful: 0/145/5343 lits-rem:0 time: 0.43
3163.71/792.10	c calculated reachability. Time: 0.00
3163.71/792.10	c  N dy  3556   2211323        82      5343        48     79611     37421   1143771     18.62     15.66  --
4245.84/1062.90	c  N dy  3578   2711326        82      5343        48    102130     37421   1507813     19.26     15.64  --
4245.84/1062.96	c  S st  3578   2711326        82      5343        48    102130     37421   1507813     19.26     15.64  --
4247.44/1063.37	c  S st  3578   2711827        82      5343        48    102595     37421   1518122     19.26     15.64  --
4247.44/1063.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4247.44/1063.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4251.03/1064.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 48.9M T:  3.61
4251.03/1064.29	c Calc non-exist non-lernt bins v-fix:     0 done:     82 time:  0.01 s
4251.03/1064.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4251.43/1064.31	c Subs w/ non-existent bins:      0 time:  0.08 s
4251.43/1064.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4251.43/1064.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4251.43/1064.34	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
4300.16/1076.54	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.22
4391.24/1099.39	c Added 1 vars  tried: 80000 time: 91.27
4393.24/1099.87	c ORs :      1 avg-s:  0.0 cl-sh: 13550 l-rem:  13550 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   93.17
4393.64/1099.90	c lits-rem:      3611  cl-subs:    15455  v-elim:     60  v-fix:    0  time: 142.04 s
4393.64/1099.90	c learnt bin added due to v-elim: 0
4393.64/1099.90	c vivif2 --  cl tried     5344 cl shrink        0 lits rem          0 time: 0.00
4393.64/1099.92	c vivif2 --  cl tried    87140 cl shrink        1 lits rem          1 time: 0.08
4394.06/1100.03	c asymm  cl-useful: 0/155/5344 lits-rem:0 time: 0.43
4394.06/1100.03	c calculated reachability. Time: 0.00
4394.06/1100.03	c  N dy  3578   2711827        83      5344        50     87140     37409   1251244     19.26     15.64  --
4394.06/1100.03	c  F st  3578   2711827        83      5344        50     87140     37409   1251244     19.26     15.64  --
4399.23/1101.31	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-3173015-1304124595/watcher-3173015-1304124595 -o /tmp/evaluation-result-3173015-1304124595/solver-3173015-1304124595 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3173015-1304124595.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.63 7.99 7.92 6/180 24493
/proc/meminfo: memFree=30761228/32951124 swapFree=67111464/67111528
[pid=24493] ppid=24491 vsize=50012 CPUtime=0 cores=1,3,5,7
/proc/24493/stat : 24493 (techdemo) R 24491 24493 24324 0 -1 4202496 632 0 0 0 0 0 0 0 25 0 1 0 602690045 51212288 563 33554432000 4194304 4797429 140734169042176 18446744073709551615 4431839 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/24493/statm: 12503 567 347 148 0 7432 0

[startup+0.127603 s]
/proc/loadavg: 7.63 7.99 7.92 6/180 24493
/proc/meminfo: memFree=30761228/32951124 swapFree=67111464/67111528
[pid=24493] ppid=24491 vsize=458000 CPUtime=0.45 cores=1,3,5,7
/proc/24493/stat : 24493 (techdemo) D 24491 24493 24324 0 -1 4202496 1326 0 0 0 45 0 0 0 18 0 4 0 602690045 468992000 1186 33554432000 4194304 4797429 140734169042176 18446744073709551615 260020056773 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24493/statm: 114500 1186 378 148 0 109429 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 458000

[startup+0.227936 s]
/proc/loadavg: 7.63 7.99 7.92 6/180 24493
/proc/meminfo: memFree=30761228/32951124 swapFree=67111464/67111528
[pid=24493] ppid=24491 vsize=609204 CPUtime=0.85 cores=1,3,5,7
/proc/24493/stat : 24493 (techdemo) R 24491 24493 24324 0 -1 4202496 2195 0 0 0 85 0 0 0 18 0 4 0 602690045 623824896 1909 33554432000 4194304 4797429 140734169042176 18446744073709551615 4425019 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24493/statm: 152301 1909 408 148 0 147230 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 609204

[startup+0.300924 s]
/proc/loadavg: 7.63 7.99 7.92 6/180 24493
/proc/meminfo: memFree=30761228/32951124 swapFree=67111464/67111528
[pid=24493] ppid=24491 vsize=609764 CPUtime=1.15 cores=1,3,5,7
/proc/24493/stat : 24493 (techdemo) R 24491 24493 24324 0 -1 4202496 2481 0 0 0 115 0 0 0 18 0 4 0 602690045 624398336 2191 33554432000 4194304 4797429 140734169042176 18446744073709551615 4352250 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24493/statm: 152441 2191 408 148 0 147370 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 609764

[startup+0.700852 s]
/proc/loadavg: 7.63 7.99 7.92 6/180 24493
/proc/meminfo: memFree=30761228/32951124 swapFree=67111464/67111528
[pid=24493] ppid=24491 vsize=613688 CPUtime=2.74 cores=1,3,5,7
/proc/24493/stat : 24493 (techdemo) R 24491 24493 24324 0 -1 4202496 4593 0 0 0 274 0 0 0 18 0 4 0 602690045 628416512 3435 33554432000 4194304 4797429 140734169042176 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24493/statm: 153422 3435 413 148 0 148351 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 613688

[startup+1.5007 s]
/proc/loadavg: 7.63 7.99 7.92 9/184 24497
/proc/meminfo: memFree=30745448/32951124 swapFree=67111464/67111528
[pid=24493] ppid=24491 vsize=615068 CPUtime=5.93 cores=1,3,5,7
/proc/24493/stat : 24493 (techdemo) R 24491 24493 24324 0 -1 4202496 5695 0 0 0 593 0 0 0 20 0 4 0 602690045 629829632 4255 33554432000 4194304 4797429 140734169042176 18446744073709551615 4424617 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24493/statm: 153767 4255 414 148 0 148696 0
[pid=24493/tid=24495] ppid=24491 vsize=615068 CPUtime=1.47 cores=1,3,5,7
/proc/24493/task/24495/stat : 24495 (techdemo) R 24491 24493 24324 0 -1 4202560 1020 0 0 0 147 0 0 0 25 0 4 0 602690046 629829632 4255 33554432000 4194304 4797429 140734169042176 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24493/tid=24496] ppid=24491 vsize=615068 CPUtime=1.48 cores=1,3,5,7
/proc/24493/task/24496/stat : 24496 (techdemo) R 24491 24493 24324 0 -1 4202560 1091 0 0 0 148 0 0 0 20 0 4 0 602690046 629829632 4255 33554432000 4194304 4797429 140734169042176 18446744073709551615 4424659 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24493/tid=24497] ppid=24491 vsize=615068 CPUtime=1.47 cores=1,3,5,7
/proc/24493/task/24497/stat : 24497 (techdemo) R 24491 24493 24324 0 -1 4202560 1089 0 0 0 147 0 0 0 20 0 4 0 602690046 629829632 4255 33554432000 4194304 4797429 140734169042176 18446744073709551615 4389370 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 615068

[startup+3.10041 s]
/proc/loadavg: 7.63 7.99 7.92 9/184 24497
/proc/meminfo: memFree=30741456/32951124 swapFree=67111464/67111528
[pid=24493] ppid=24491 vsize=618704 CPUtime=12.33 cores=1,3,5,7
/proc/24493/stat : 24493 (techdemo) R 24491 24493 24324 0 -1 4202496 7478 0 0 0 1232 1 0 0 25 0 4 0 602690045 633552896 4965 33554432000 4194304 4797429 140734169042176 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24493/statm: 154676 4965 416 148 0 149605 0
[pid=24493/tid=24495] ppid=24491 vsize=618704 CPUtime=3.07 cores=1,3,5,7
/proc/24493/task/24495/stat : 24495 (techdemo) R 24491 24493 24324 0 -1 4202560 1328 0 0 0 307 0 0 0 25 0 4 0 602690046 633552896 4965 33554432000 4194304 4797429 140734169042176 18446744073709551615 4523986 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24493/tid=24496] ppid=24491 vsize=618704 CPUtime=3.08 cores=1,3,5,7
/proc/24493/task/24496/stat : 24496 (techdemo) R 24491 24493 24324 0 -1 4202560 1391 0 0 0 308 0 0 0 25 0 4 0 602690046 633552896 4965 33554432000 4194304 4797429 140734169042176 18446744073709551615 4568019 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24493/tid=24497] ppid=24491 vsize=618704 CPUtime=3.07 cores=1,3,5,7
/proc/24493/task/24497/stat : 24497 (techdemo) R 24491 24493 24324 0 -1 4202560 1415 0 0 0 307 0 0 0 25 0 4 0 602690046 633552896 4965 33554432000 4194304 4797429 140734169042176 18446744073709551615 4524374 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 618704

[startup+6.30082 s]
/proc/loadavg: 7.66 7.99 7.92 9/184 24497
/proc/meminfo: memFree=30732652/32951124 swapFree=67111464/67111528
[pid=24493] ppid=24491 vsize=622216 CPUtime=25.11 cores=1,3,5,7
/proc/24493/stat : 24493 (techdemo) R 24491 24493 24324 0 -1 4202496 10005 0 0 0 2510 1 0 0 25 0 4 0 602690045 637149184 5980 33554432000 4194304 4797429 140734169042176 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24493/statm: 155554 5980 416 148 0 150483 0
[pid=24493/tid=24495] ppid=24491 vsize=622216 CPUtime=6.27 cores=1,3,5,7
/proc/24493/task/24495/stat : 24495 (techdemo) R 24491 24493 24324 0 -1 4202560 1566 0 0 0 627 0 0 0 25 0 4 0 602690046 637149184 5980 33554432000 4194304 4797429 140734169042176 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24493/tid=24496] ppid=24491 vsize=622216 CPUtime=6.28 cores=1,3,5,7
/proc/24493/task/24496/stat : 24496 (techdemo) R 24491 24493 24324 0 -1 4202560 1566 0 0 0 628 0 0 0 25 0 4 0 602690046 637149184 5980 33554432000 4194304 4797429 140734169042176 18446744073709551615 4387372 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24493/tid=24497] ppid=24491 vsize=622216 CPUtime=6.25 cores=1,3,5,7
/proc/24493/task/24497/stat : 24497 (techdemo) R 24491 24493 24324 0 -1 4202560 1773 0 0 0 625 0 0 0 25 0 4 0 602690046 637149184 5980 33554432000 4194304 4797429 140734169042176 18446744073709551615 4426361 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 622216

[startup+12.7006 s]
/proc/loadavg: 7.76 8.01 7.93 9/184 24497
/proc/meminfo: memFree=30724336/32951124 swapFree=67111464/67111528
[pid=24493] ppid=24491 vsize=626172 CPUtime=50.68 cores=1,3,5,7
/proc/24493/stat : 24493 (techdemo) R 24491 24493 24324 0 -1 4202496 14072 0 0 0 5065 3 0 0 25 0 4 0 602690045 641200128 6938 33554432000 4194304 4797429 140734169042176 18446744073709551615 4429174 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24493/statm: 156543 6938 419 148 0 151472 0
[pid=24493/tid=24495] ppid=24491 vsize=626172 CPUtime=12.67 cores=1,3,5,7
/proc/24493/task/24495/stat : 24495 (techdemo) R 24491 24493 24324 0 -1 4202560 2219 0 0 0 1267 0 0 0 25 0 4 0 602690046 641200128 6938 33554432000 4194304 4797429 140734169042176 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24493/tid=24496] ppid=24491 vsize=626172 CPUtime=12.67 cores=1,3,5,7
/proc/24493/task/24496/stat : 24496 (techdemo) R 24491 24493 24324 0 -1 4202560 2278 0 0 0 1267 0 0 0 25 0 4 0 602690046 641200128 6938 33554432000 4194304 4797429 140734169042176 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24493/tid=24497] ppid=24491 vsize=626172 CPUtime=12.61 cores=1,3,5,7
/proc/24493/task/24497/stat : 24497 (techdemo) R 24491 24493 24324 0 -1 4202560 2318 0 0 0 1261 0 0 0 25 0 4 0 602690046 641200128 6938 33554432000 4194304 4797429 140734169042176 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 626172

[startup+25.5003 s]
/proc/loadavg: 7.89 8.02 7.93 9/184 24497
/proc/meminfo: memFree=30713540/32951124 swapFree=67111464/67111528
[pid=24493] ppid=24491 vsize=629240 CPUtime=101.8 cores=1,3,5,7
/proc/24493/stat : 24493 (techdemo) R 24491 24493 24324 0 -1 4202496 21712 0 0 0 10175 5 0 0 25 0 4 0 602690045 644341760 8580 33554432000 4194304 4797429 140734169042176 18446744073709551615 4425828 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24493/statm: 157310 8580 421 148 0 152239 0
[pid=24493/tid=24495] ppid=24491 vsize=629240 CPUtime=25.47 cores=1,3,5,7
/proc/24493/task/24495/stat : 24495 (techdemo) R 24491 24493 24324 0 -1 4202560 4621 0 0 0 2547 0 0 0 25 0 4 0 602690046 644341760 8580 33554432000 4194304 4797429 140734169042176 18446744073709551615 4533645 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24493/tid=24496] ppid=24491 vsize=629240 CPUtime=25.47 cores=1,3,5,7
/proc/24493/task/24496/stat : 24496 (techdemo) R 24491 24493 24324 0 -1 4202560 2962 0 0 0 2547 0 0 0 25 0 4 0 602690046 644341760 8580 33554432000 4194304 4797429 140734169042176 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24493/tid=24497] ppid=24491 vsize=629240 CPUtime=25.33 cores=1,3,5,7
/proc/24493/task/24497/stat : 24497 (techdemo) R 24491 24493 24324 0 -1 4202560 3055 0 0 0 2533 0 0 0 25 0 4 0 602690046 644341760 8580 33554432000 4194304 4797429 140734169042176 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 629240

[startup+51.1006 s]
/proc/loadavg: 7.93 8.02 7.93 9/184 24498
/proc/meminfo: memFree=30692568/32951124 swapFree=67111464/67111528
[pid=24493] ppid=24491 vsize=636844 CPUtime=204.06 cores=1,3,5,7
/proc/24493/stat : 24493 (techdemo) R 24491 24493 24324 0 -1 4202496 32774 0 0 0 20398 8 0 0 25 0 4 0 602690045 652128256 11154 33554432000 4194304 4797429 140734169042176 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24493/statm: 159211 11154 421 148 0 154140 0
[pid=24493/tid=24495] ppid=24491 vsize=636844 CPUtime=51.07 cores=1,3,5,7
/proc/24493/task/24495/stat : 24495 (techdemo) R 24491 24493 24324 0 -1 4202560 6566 0 0 0 5106 1 0 0 25 0 4 0 602690046 652128256 11154 33554432000 4194304 4797429 140734169042176 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24493/tid=24496] ppid=24491 vsize=636844 CPUtime=51.07 cores=1,3,5,7
/proc/24493/task/24496/stat : 24496 (techdemo) R 24491 24493 24324 0 -1 4202560 5632 0 0 0 5107 0 0 0 25 0 4 0 602690046 652128256 11154 33554432000 4194304 4797429 140734169042176 18446744073709551615 4495648 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24493/tid=24497] ppid=24491 vsize=636844 CPUtime=50.8 cores=1,3,5,7
/proc/24493/task/24497/stat : 24497 (techdemo) R 24491 24493 24324 0 -1 4202560 4325 0 0 0 5079 1 0 0 25 0 4 0 602690046 652128256 11154 33554432000 4194304 4797429 140734169042176 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.06
Current children cumulated vsize (KiB) 636844

[startup+102.301 s]
/proc/loadavg: 8.07 8.04 7.94 9/184 24499
/proc/meminfo: memFree=30675104/32951124 swapFree=67111464/67111528
[pid=24493] ppid=24491 vsize=645624 CPUtime=408.62 cores=1,3,5,7
/proc/24493/stat : 24493 (techdemo) R 24491 24493 24324 0 -1 4202496 48793 0 0 0 40848 14 0 0 25 0 4 0 602690045 661118976 13363 33554432000 4194304 4797429 140734169042176 18446744073709551615 4424725 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24493/statm: 161406 13363 421 148 0 156335 0
[pid=24493/tid=24495] ppid=24491 vsize=645624 CPUtime=102.28 cores=1,3,5,7
/proc/24493/task/24495/stat : 24495 (techdemo) R 24491 24493 24324 0 -1 4202560 8760 0 0 0 10226 2 0 0 25 0 4 0 602690046 661118976 13363 33554432000 4194304 4797429 140734169042176 18446744073709551615 4426348 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24493/tid=24496] ppid=24491 vsize=645624 CPUtime=102.28 cores=1,3,5,7
/proc/24493/task/24496/stat : 24496 (techdemo) R 24491 24493 24324 0 -1 4202560 7796 0 0 0 10227 1 0 0 25 0 4 0 602690046 661118976 13363 33554432000 4194304 4797429 140734169042176 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24493/tid=24497] ppid=24491 vsize=645624 CPUtime=101.73 cores=1,3,5,7
/proc/24493/task/24497/stat : 24497 (techdemo) R 24491 24493 24324 0 -1 4202560 7236 0 0 0 10171 2 0 0 25 0 4 0 602690046 661118976 13363 33554432000 4194304 4797429 140734169042176 18446744073709551615 4430142 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 645624

[startup+162.301 s]
/proc/loadavg: 8.06 8.05 7.95 9/184 24501
/proc/meminfo: memFree=30658180/32951124 swapFree=67111464/67111528
[pid=24493] ppid=24491 vsize=647252 CPUtime=648.27 cores=1,3,5,7
/proc/24493/stat : 24493 (techdemo) R 24491 24493 24324 0 -1 4202496 62367 0 0 0 64808 19 0 0 25 0 4 0 602690045 662786048 14922 33554432000 4194304 4797429 140734169042176 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24493/statm: 161813 14922 421 148 0 156742 0
[pid=24493/tid=24495] ppid=24491 vsize=647252 CPUtime=162.28 cores=1,3,5,7
/proc/24493/task/24495/stat : 24495 (techdemo) R 24491 24493 24324 0 -1 4202560 10194 0 0 0 16226 2 0 0 25 0 4 0 602690046 662786048 14922 33554432000 4194304 4797429 140734169042176 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24493/tid=24496] ppid=24491 vsize=647252 CPUtime=162.27 cores=1,3,5,7
/proc/24493/task/24496/stat : 24496 (techdemo) R 24491 24493 24324 0 -1 4202560 9901 0 0 0 16225 2 0 0 25 0 4 0 602690046 662786048 14922 33554432000 4194304 4797429 140734169042176 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24493/tid=24497] ppid=24491 vsize=647252 CPUtime=161.4 cores=1,3,5,7
/proc/24493/task/24497/stat : 24497 (techdemo) R 24491 24493 24324 0 -1 4202560 8823 0 0 0 16137 3 0 0 25 0 4 0 602690046 662786048 14922 33554432000 4194304 4797429 140734169042176 18446744073709551615 4429150 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 648.27
Current children cumulated vsize (KiB) 647252

[startup+222.307 s]
/proc/loadavg: 8.12 8.07 7.96 9/184 24503
/proc/meminfo: memFree=30642100/32951124 swapFree=67111464/67111528
[pid=24493] ppid=24491 vsize=656552 CPUtime=887.97 cores=1,3,5,7
/proc/24493/stat : 24493 (techdemo) R 24491 24493 24324 0 -1 4202496 75870 0 0 0 88773 24 0 0 25 0 4 0 602690045 672309248 17104 33554432000 4194304 4797429 140734169042176 18446744073709551615 4422906 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24493/statm: 164138 17104 421 148 0 159067 0
[pid=24493/tid=24495] ppid=24491 vsize=656552 CPUtime=222.28 cores=1,3,5,7
/proc/24493/task/24495/stat : 24495 (techdemo) R 24491 24493 24324 0 -1 4202560 11838 0 0 0 22226 2 0 0 25 0 4 0 602690046 672309248 17104 33554432000 4194304 4797429 140734169042176 18446744073709551615 4424868 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24493/tid=24496] ppid=24491 vsize=656552 CPUtime=222.27 cores=1,3,5,7
/proc/24493/task/24496/stat : 24496 (techdemo) R 24491 24493 24324 0 -1 4202560 11490 0 0 0 22225 2 0 0 25 0 4 0 602690046 672309248 17104 33554432000 4194304 4797429 140734169042176 18446744073709551615 4430051 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24493/tid=24497] ppid=24491 vsize=656552 CPUtime=221.08 cores=1,3,5,7
/proc/24493/task/24497/stat : 24497 (techdemo) R 24491 24493 24324 0 -1 4202560 10474 0 0 0 22104 4 0 0 25 0 4 0 602690046 672309248 17104 33554432000 4194304 4797429 140734169042176 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 887.97
Current children cumulated vsize (KiB) 656552

[startup+282.301 s]

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

[pid=24493] ppid=24491 vsize=683140 CPUtime=2565.7 cores=1,3,5,7
/proc/24493/stat : 24493 (techdemo) R 24491 24493 24324 0 -1 4202496 142651 0 0 0 256513 57 0 0 25 0 4 0 602690045 699535360 25886 33554432000 4194304 4797429 140734169042176 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24493/statm: 170785 25886 421 148 0 165714 0
[pid=24493/tid=24495] ppid=24491 vsize=683140 CPUtime=642.29 cores=1,3,5,7
/proc/24493/task/24495/stat : 24495 (techdemo) R 24491 24493 24324 0 -1 4202560 20520 0 0 0 64222 7 0 0 25 0 4 0 602690046 699535360 25886 33554432000 4194304 4797429 140734169042176 18446744073709551615 4523968 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24493/tid=24496] ppid=24491 vsize=683140 CPUtime=642.27 cores=1,3,5,7
/proc/24493/task/24496/stat : 24496 (techdemo) R 24491 24493 24324 0 -1 4202560 20708 0 0 0 64219 8 0 0 25 0 4 0 602690046 699535360 25886 33554432000 4194304 4797429 140734169042176 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24493/tid=24497] ppid=24491 vsize=683140 CPUtime=638.8 cores=1,3,5,7
/proc/24493/task/24497/stat : 24497 (techdemo) R 24491 24493 24324 0 -1 4202560 19564 0 0 0 63871 9 0 0 25 0 4 0 602690046 699535360 25886 33554432000 4194304 4797429 140734169042176 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.7
Current children cumulated vsize (KiB) 683140

[startup+702.301 s]
/proc/loadavg: 8.04 8.05 8.00 9/184 24524
/proc/meminfo: memFree=30555156/32951124 swapFree=67111464/67111528
[pid=24493] ppid=24491 vsize=685628 CPUtime=2805.36 cores=1,3,5,7
/proc/24493/stat : 24493 (techdemo) R 24491 24493 24324 0 -1 4202496 150481 0 0 0 280476 60 0 0 25 0 4 0 602690045 702083072 26250 33554432000 4194304 4797429 140734169042176 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24493/statm: 171407 26250 421 148 0 166336 0
[pid=24493/tid=24495] ppid=24491 vsize=685628 CPUtime=702.29 cores=1,3,5,7
/proc/24493/task/24495/stat : 24495 (techdemo) R 24491 24493 24324 0 -1 4202560 21561 0 0 0 70222 7 0 0 25 0 4 0 602690046 702083072 26250 33554432000 4194304 4797429 140734169042176 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24493/tid=24496] ppid=24491 vsize=685628 CPUtime=702.25 cores=1,3,5,7
/proc/24493/task/24496/stat : 24496 (techdemo) R 24491 24493 24324 0 -1 4202560 21769 0 0 0 70217 8 0 0 25 0 4 0 602690046 702083072 26250 33554432000 4194304 4797429 140734169042176 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24493/tid=24497] ppid=24491 vsize=685628 CPUtime=698.47 cores=1,3,5,7
/proc/24493/task/24497/stat : 24497 (techdemo) R 24491 24493 24324 0 -1 4202560 20628 0 0 0 69838 9 0 0 25 0 4 0 602690046 702083072 26250 33554432000 4194304 4797429 140734169042176 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.36
Current children cumulated vsize (KiB) 685628

[startup+762.301 s]
/proc/loadavg: 8.07 8.06 8.00 9/184 24526
/proc/meminfo: memFree=30549016/32951124 swapFree=67111464/67111528
[pid=24493] ppid=24491 vsize=687404 CPUtime=3045.06 cores=1,3,5,7
/proc/24493/stat : 24493 (techdemo) R 24491 24493 24324 0 -1 4202496 156496 0 0 0 304441 65 0 0 25 0 4 0 602690045 703901696 28029 33554432000 4194304 4797429 140734169042176 18446744073709551615 4345112 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24493/statm: 171851 28029 421 148 0 166780 0
[pid=24493/tid=24495] ppid=24491 vsize=687404 CPUtime=762.3 cores=1,3,5,7
/proc/24493/task/24495/stat : 24495 (techdemo) R 24491 24493 24324 0 -1 4202560 22497 0 0 0 76222 8 0 0 25 0 4 0 602690046 703901696 28029 33554432000 4194304 4797429 140734169042176 18446744073709551615 4429150 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24493/tid=24496] ppid=24491 vsize=687404 CPUtime=762.26 cores=1,3,5,7
/proc/24493/task/24496/stat : 24496 (techdemo) R 24491 24493 24324 0 -1 4202560 22785 0 0 0 76217 9 0 0 25 0 4 0 602690046 703901696 28029 33554432000 4194304 4797429 140734169042176 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24493/tid=24497] ppid=24491 vsize=687404 CPUtime=758.15 cores=1,3,5,7
/proc/24493/task/24497/stat : 24497 (techdemo) R 24491 24493 24324 0 -1 4202560 21261 0 0 0 75805 10 0 0 25 0 4 0 602690046 703901696 28029 33554432000 4194304 4797429 140734169042176 18446744073709551615 4568011 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.06
Current children cumulated vsize (KiB) 687404

[startup+822.3 s]
/proc/loadavg: 8.07 8.06 8.00 9/184 24528
/proc/meminfo: memFree=30542768/32951124 swapFree=67111464/67111528
[pid=24493] ppid=24491 vsize=691552 CPUtime=3284.72 cores=1,3,5,7
/proc/24493/stat : 24493 (techdemo) R 24491 24493 24324 0 -1 4202496 163154 0 0 0 328404 68 0 0 25 0 4 0 602690045 708149248 29061 33554432000 4194304 4797429 140734169042176 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24493/statm: 172888 29061 421 148 0 167817 0
[pid=24493/tid=24495] ppid=24491 vsize=691552 CPUtime=822.3 cores=1,3,5,7
/proc/24493/task/24495/stat : 24495 (techdemo) R 24491 24493 24324 0 -1 4202560 23081 0 0 0 82222 8 0 0 25 0 4 0 602690046 708149248 29061 33554432000 4194304 4797429 140734169042176 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24493/tid=24496] ppid=24491 vsize=691552 CPUtime=822.26 cores=1,3,5,7
/proc/24493/task/24496/stat : 24496 (techdemo) R 24491 24493 24324 0 -1 4202560 23390 0 0 0 82216 10 0 0 25 0 4 0 602690046 708149248 29061 33554432000 4194304 4797429 140734169042176 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24493/tid=24497] ppid=24491 vsize=691552 CPUtime=817.81 cores=1,3,5,7
/proc/24493/task/24497/stat : 24497 (techdemo) R 24491 24493 24324 0 -1 4202560 22259 0 0 0 81771 10 0 0 25 0 4 0 602690046 708149248 29061 33554432000 4194304 4797429 140734169042176 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.72
Current children cumulated vsize (KiB) 691552

[startup+882.306 s]
/proc/loadavg: 8.07 8.06 8.00 9/184 24529
/proc/meminfo: memFree=30531900/32951124 swapFree=67111464/67111528
[pid=24493] ppid=24491 vsize=692708 CPUtime=3524.42 cores=1,3,5,7
/proc/24493/stat : 24493 (techdemo) R 24491 24493 24324 0 -1 4202496 169824 0 0 0 352369 73 0 0 25 0 4 0 602690045 709332992 30088 33554432000 4194304 4797429 140734169042176 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24493/statm: 173177 30088 421 148 0 168106 0
[pid=24493/tid=24495] ppid=24491 vsize=692708 CPUtime=882.31 cores=1,3,5,7
/proc/24493/task/24495/stat : 24495 (techdemo) R 24491 24493 24324 0 -1 4202560 24069 0 0 0 88222 9 0 0 25 0 4 0 602690046 709332992 30088 33554432000 4194304 4797429 140734169042176 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24493/tid=24496] ppid=24491 vsize=692708 CPUtime=882.27 cores=1,3,5,7
/proc/24493/task/24496/stat : 24496 (techdemo) R 24491 24493 24324 0 -1 4202560 24431 0 0 0 88216 11 0 0 25 0 4 0 602690046 709332992 30088 33554432000 4194304 4797429 140734169042176 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24493/tid=24497] ppid=24491 vsize=692708 CPUtime=877.5 cores=1,3,5,7
/proc/24493/task/24497/stat : 24497 (techdemo) R 24491 24493 24324 0 -1 4202560 23391 0 0 0 87739 11 0 0 25 0 4 0 602690046 709332992 30088 33554432000 4194304 4797429 140734169042176 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.42
Current children cumulated vsize (KiB) 692708

[startup+942.3 s]
/proc/loadavg: 8.09 8.06 8.00 9/184 24531
/proc/meminfo: memFree=30535216/32951124 swapFree=67111464/67111528
[pid=24493] ppid=24491 vsize=698184 CPUtime=3764.07 cores=1,3,5,7
/proc/24493/stat : 24493 (techdemo) R 24491 24493 24324 0 -1 4202496 177673 0 0 0 376331 76 0 0 25 0 4 0 602690045 714940416 29979 33554432000 4194304 4797429 140734169042176 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24493/statm: 174546 29979 421 148 0 169475 0
[pid=24493/tid=24495] ppid=24491 vsize=698184 CPUtime=942.3 cores=1,3,5,7
/proc/24493/task/24495/stat : 24495 (techdemo) R 24491 24493 24324 0 -1 4202560 25344 0 0 0 94221 9 0 0 25 0 4 0 602690046 714940416 29979 33554432000 4194304 4797429 140734169042176 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24493/tid=24496] ppid=24491 vsize=698184 CPUtime=942.26 cores=1,3,5,7
/proc/24493/task/24496/stat : 24496 (techdemo) R 24491 24493 24324 0 -1 4202560 25461 0 0 0 94215 11 0 0 25 0 4 0 602690046 714940416 29979 33554432000 4194304 4797429 140734169042176 18446744073709551615 4491055 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24493/tid=24497] ppid=24491 vsize=698184 CPUtime=937.16 cores=1,3,5,7
/proc/24493/task/24497/stat : 24497 (techdemo) R 24491 24493 24324 0 -1 4202560 24378 0 0 0 93705 11 0 0 25 0 4 0 602690046 714940416 29979 33554432000 4194304 4797429 140734169042176 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.07
Current children cumulated vsize (KiB) 698184

[startup+1002.3 s]
/proc/loadavg: 8.09 8.06 8.00 9/184 24532
/proc/meminfo: memFree=30520656/32951124 swapFree=67111464/67111528
[pid=24493] ppid=24491 vsize=700520 CPUtime=4003.76 cores=1,3,5,7
/proc/24493/stat : 24493 (techdemo) R 24491 24493 24324 0 -1 4202496 183737 0 0 0 400296 80 0 0 25 0 4 0 602690045 717332480 31350 33554432000 4194304 4797429 140734169042176 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24493/statm: 175130 31350 421 148 0 170059 0
[pid=24493/tid=24495] ppid=24491 vsize=700520 CPUtime=1002.3 cores=1,3,5,7
/proc/24493/task/24495/stat : 24495 (techdemo) R 24491 24493 24324 0 -1 4202560 25860 0 0 0 100221 9 0 0 25 0 4 0 602690046 717332480 31350 33554432000 4194304 4797429 140734169042176 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24493/tid=24496] ppid=24491 vsize=700520 CPUtime=1002.26 cores=1,3,5,7
/proc/24493/task/24496/stat : 24496 (techdemo) R 24491 24493 24324 0 -1 4202560 26110 0 0 0 100214 12 0 0 25 0 4 0 602690046 717332480 31350 33554432000 4194304 4797429 140734169042176 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24493/tid=24497] ppid=24491 vsize=700520 CPUtime=996.84 cores=1,3,5,7
/proc/24493/task/24497/stat : 24497 (techdemo) R 24491 24493 24324 0 -1 4202560 24900 0 0 0 99672 12 0 0 25 0 4 0 602690046 717332480 31350 33554432000 4194304 4797429 140734169042176 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.76
Current children cumulated vsize (KiB) 700520

[startup+1062.3 s]
/proc/loadavg: 8.07 8.06 8.00 9/184 24534
/proc/meminfo: memFree=30512932/32951124 swapFree=67111464/67111528
[pid=24493] ppid=24491 vsize=700732 CPUtime=4243.44 cores=1,3,5,7
/proc/24493/stat : 24493 (techdemo) R 24491 24493 24324 0 -1 4202496 190387 0 0 0 424260 84 0 0 25 0 4 0 602690045 717549568 32031 33554432000 4194304 4797429 140734169042176 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24493/statm: 175183 32031 421 148 0 170112 0
[pid=24493/tid=24495] ppid=24491 vsize=700732 CPUtime=1062.3 cores=1,3,5,7
/proc/24493/task/24495/stat : 24495 (techdemo) R 24491 24493 24324 0 -1 4202560 26949 0 0 0 106220 10 0 0 25 0 4 0 602690046 717549568 32031 33554432000 4194304 4797429 140734169042176 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24493/tid=24496] ppid=24491 vsize=700732 CPUtime=1062.26 cores=1,3,5,7
/proc/24493/task/24496/stat : 24496 (techdemo) R 24491 24493 24324 0 -1 4202560 27134 0 0 0 106213 13 0 0 25 0 4 0 602690046 717549568 32031 33554432000 4194304 4797429 140734169042176 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24493/tid=24497] ppid=24491 vsize=700732 CPUtime=1056.52 cores=1,3,5,7
/proc/24493/task/24497/stat : 24497 (techdemo) R 24491 24493 24324 0 -1 4202560 25909 0 0 0 105640 12 0 0 25 0 4 0 602690046 717549568 32031 33554432000 4194304 4797429 140734169042176 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.44
Current children cumulated vsize (KiB) 700732

[startup+1122.3 s]
/proc/loadavg: 8.11 8.08 8.01 9/184 24536
/proc/meminfo: memFree=30510208/32951124 swapFree=67111464/67111528
[pid=24493] ppid=24491 vsize=702164 CPUtime=4483.12 cores=1,3,5,7
/proc/24493/stat : 24493 (techdemo) R 24491 24493 24324 0 -1 4202496 194610 0 0 0 448226 86 0 0 25 0 4 0 602690045 719015936 32543 33554432000 4194304 4797429 140734169042176 18446744073709551615 4351624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24493/statm: 175541 32543 426 148 0 170470 0
[pid=24493/tid=24495] ppid=24491 vsize=702164 CPUtime=1122.31 cores=1,3,5,7
/proc/24493/task/24495/stat : 24495 (techdemo) R 24491 24493 24324 0 -1 4202560 27853 0 0 0 112220 11 0 0 25 0 4 0 602690046 719015936 32543 33554432000 4194304 4797429 140734169042176 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24493/tid=24496] ppid=24491 vsize=702164 CPUtime=1122.26 cores=1,3,5,7
/proc/24493/task/24496/stat : 24496 (techdemo) R 24491 24493 24324 0 -1 4202560 28273 0 0 0 112213 13 0 0 25 0 4 0 602690046 719015936 32543 33554432000 4194304 4797429 140734169042176 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24493/tid=24497] ppid=24491 vsize=702164 CPUtime=1116.19 cores=1,3,5,7
/proc/24493/task/24497/stat : 24497 (techdemo) R 24491 24493 24324 0 -1 4202560 26840 0 0 0 111606 13 0 0 25 0 4 0 602690046 719015936 32543 33554432000 4194304 4797429 140734169042176 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.12
Current children cumulated vsize (KiB) 702164

[startup+1182.3 s]
/proc/loadavg: 8.07 8.08 8.01 9/184 24537
/proc/meminfo: memFree=30503320/32951124 swapFree=67111464/67111528
[pid=24493] ppid=24491 vsize=704392 CPUtime=4722.8 cores=1,3,5,7
/proc/24493/stat : 24493 (techdemo) R 24491 24493 24324 0 -1 4202496 201124 0 0 0 472192 88 0 0 25 0 4 0 602690045 721297408 33418 33554432000 4194304 4797429 140734169042176 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24493/statm: 176098 33418 426 148 0 171027 0
[pid=24493/tid=24495] ppid=24491 vsize=704392 CPUtime=1182.31 cores=1,3,5,7
/proc/24493/task/24495/stat : 24495 (techdemo) R 24491 24493 24324 0 -1 4202560 28327 0 0 0 118220 11 0 0 25 0 4 0 602690046 721297408 33418 33554432000 4194304 4797429 140734169042176 18446744073709551615 4642210 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24493/tid=24496] ppid=24491 vsize=704392 CPUtime=1182.26 cores=1,3,5,7
/proc/24493/task/24496/stat : 24496 (techdemo) R 24491 24493 24324 0 -1 4202560 28751 0 0 0 118212 14 0 0 25 0 4 0 602690046 721297408 33418 33554432000 4194304 4797429 140734169042176 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24493/tid=24497] ppid=24491 vsize=704392 CPUtime=1175.87 cores=1,3,5,7
/proc/24493/task/24497/stat : 24497 (techdemo) R 24491 24493 24324 0 -1 4202560 27397 0 0 0 117574 13 0 0 25 0 4 0 602690046 721297408 33418 33554432000 4194304 4797429 140734169042176 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.8
Current children cumulated vsize (KiB) 704392



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 7.82 8.02 7.99 9/184 24569
/proc/meminfo: memFree=30628484/32951124 swapFree=67111464/67111528
[pid=24493] ppid=24491 vsize=704444 CPUtime=4800.3 cores=1,3,5,7
/proc/24493/stat : 24493 (techdemo) R 24491 24493 24324 0 -1 4202496 202794 0 0 0 479941 89 0 0 25 0 4 0 602690045 721350656 33787 33554432000 4194304 4797429 140734169042176 18446744073709551615 4423072 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24493/statm: 176111 33787 426 148 0 171040 0
[pid=24493/tid=24495] ppid=24491 vsize=704444 CPUtime=1201.72 cores=1,3,5,7
/proc/24493/task/24495/stat : 24495 (techdemo) R 24491 24493 24324 0 -1 4202560 28992 0 0 0 120160 12 0 0 25 0 4 0 602690046 721350656 33787 33554432000 4194304 4797429 140734169042176 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24493/tid=24496] ppid=24491 vsize=704444 CPUtime=1201.67 cores=1,3,5,7
/proc/24493/task/24496/stat : 24496 (techdemo) R 24491 24493 24324 0 -1 4202560 28934 0 0 0 120153 14 0 0 25 0 4 0 602690046 721350656 33787 33554432000 4194304 4797429 140734169042176 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24493/tid=24497] ppid=24491 vsize=704444 CPUtime=1195.16 cores=1,3,5,7
/proc/24493/task/24497/stat : 24497 (techdemo) R 24491 24493 24324 0 -1 4202560 27537 0 0 0 119503 13 0 0 25 0 4 0 602690046 721350656 33787 33554432000 4194304 4797429 140734169042176 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 704444

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.72
CPU time (s): 4800.34
CPU user time (s): 4799.44
CPU system time (s): 0.905862
CPU usage (%): 399.457
Max. virtual memory (cumulated for all children) (KiB): 786468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.44
system time used= 0.905862
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202795
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= 235
involuntary context switches= 35771

runsolver used 1.9867 second user time and 4.5833 second system time

The end

Launcher Data

Begin job on node110 at 2011-04-30 02:49:55
IDJOB=3173015
IDBENCH=83033
IDSOLVER=1584
FILE ID=node110/3173015-1304124595
RUNJOBID= node110-1304123382-24343
PBS_JOBID= 13170753
Free space on /tmp= 72832 MiB

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

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

MD5SUM BENCH= 7f4758baa378252dd3709cff507a5405
RANDOM SEED=2114350082

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30761508 kB
Buffers:        934532 kB
Cached:         757184 kB
SwapCached:         64 kB
Active:         179252 kB
Inactive:      1605000 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30761508 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:           16056 kB
Writeback:           0 kB
AnonPages:       92848 kB
Mapped:          15608 kB
Slab:           342308 kB
PageTables:       4464 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   689496 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= 72824 MiB
End job on node110 at 2011-04-30 03:09:58