Trace number 3172820

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

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v60-c5340-S642174893-006.UNKNOWN.cnf
MD5SUM6df48a49b3cf6574a0f4cdf651f82d66
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark378.243
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-3172820-1304103463.cnf'
0.00/0.00	c -- header says num vars:             60
0.00/0.00	c -- header says num clauses:        5340
0.00/0.01	c -- clauses added:            0 learnts,         5340 normals,            0 xors
0.00/0.01	c -- vars added         60
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.00/0.13	c asymm  cl-useful: 0/1897/5340 lits-rem:0 time: 0.43
0.00/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.00/0.13	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
0.00/0.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.00/0.13	c Subs w/ non-existent bins:      0 time:  0.00 s
0.45/0.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.45/0.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.45/0.13	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.05 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:      32 undec:       3 neg:      25
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.45/0.22	c Decided on static restart strategy
0.45/0.31	c  N dy    19      4021        60      5340         0      3640     37380     78002     21.49     18.76  --
0.45/0.52	c  N dy    47      8164        60      5340         0      5080     37380    102814     22.41     19.00  --
2.74/0.75	c  N dy    74     12181        60      5340         0      4870     37380     88787     21.46     19.02  --
3.54/0.99	c  N dy   101     16225        60      5340         0      8488     37380    166074     21.76     19.03  --
4.74/1.25	c  N dy   128     20250        60      5340         0      7062     37380    125085     21.19     19.01  --
5.96/1.53	c  N dy   156     24375        60      5340         0     10804     37380    204898     21.39     18.96  --
7.13/1.81	c  N dy   183     28416        60      5340         0      8298     37380    141554     21.83     18.95  --
7.53/1.93	c  S st   194     30000        60      5340         0      9724     37380    171991     21.82     18.94  --
7.53/1.97	c  S st   194     30501        60      5340         0     10184     37380    182048     21.82     18.94  --
7.53/1.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.53/1.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.53/1.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.0M T:  0.08
7.53/1.99	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
7.53/1.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.53/1.99	c Subs w/ non-existent bins:      0 time:  0.00 s
7.53/2.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.53/2.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.53/2.00	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
9.94/2.60	c lits-rem:      1326  cl-subs:     1301  v-elim:     60  v-fix:    0  time:  2.40 s
9.94/2.60	c learnt bin added due to v-elim: 0
9.94/2.60	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
9.94/2.60	c vivif2 --  cl tried     8883 cl shrink        0 lits rem          0 time: 0.00
10.76/2.75	c asymm  cl-useful: 0/2174/5340 lits-rem:0 time: 0.59
10.76/2.75	c calculated reachability. Time: 0.00
10.76/2.75	c  N dy   194     30501        60      5340         0      8883     37380    155572     21.82     18.94  --
10.76/2.75	c  F st   194     30501        60      5340         0      8883     37380    155572     21.82     18.94  --
11.14/2.88	c Decided on static restart strategy
11.94/3.03	c  N dy   213     34531        60      5340         0     12487     37380    232839     21.41     18.92  --
13.14/3.35	c  N dy   240     38567        60      5340         0      9070     37380    148362     21.39     18.89  --
14.33/3.67	c  N dy   267     42600        60      5340         0     12681     37380    225650     21.32     18.91  --
15.53/3.95	c  S st   289     45751        60      5340         0     15521     37380    286415     21.52     18.91  --
15.93/4.01	c  S st   289     46258        60      5340         0     15994     37380    296775     21.52     18.91  --
15.93/4.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.93/4.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.93/4.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.1M T:  0.16
15.93/4.05	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
15.93/4.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.93/4.05	c Subs w/ non-existent bins:      0 time:  0.01 s
15.93/4.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.93/4.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.93/4.06	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
19.14/4.86	c lits-rem:      1961  cl-subs:     2134  v-elim:     60  v-fix:    0  time:  3.21 s
19.14/4.86	c learnt bin added due to v-elim: 0
19.14/4.86	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
19.14/4.87	c vivif2 --  cl tried    13860 cl shrink        0 lits rem          0 time: 0.01
19.92/5.02	c asymm  cl-useful: 0/1269/5340 lits-rem:0 time: 0.61
19.92/5.02	c calculated reachability. Time: 0.00
19.92/5.02	c  N dy   289     46258        60      5340         0     13860     37380    248888     21.52     18.91  --
21.12/5.39	c  N dy   317     50376        60      5340         0      9657     37380    151162     20.85     18.90  --
22.72/5.71	c  N dy   345     54512        60      5340         0     13399     37380    230479     20.95     18.89  --
23.94/6.09	c  N dy   372     58528        60      5340         0     16994     37380    307931     22.17     18.91  --
25.51/6.43	c  N dy   399     62544        60      5340         0     11723     37380    184932     21.80     18.93  --
26.71/6.78	c  N dy   426     66560        60      5340         0     15329     37380    262565     21.85     18.94  --
27.93/7.08	c  S st   446     69389        60      5340         0     17865     37380    316291     21.51     18.93  --
28.33/7.14	c  S st   446     69891        60      5340         0     18317     37380    326345     21.51     18.93  --
28.33/7.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.33/7.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
28.71/7.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.2M T:  0.22
28.71/7.20	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
28.71/7.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
28.71/7.20	c Subs w/ non-existent bins:      0 time:  0.01 s
28.71/7.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.71/7.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.71/7.21	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
31.91/8.05	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
36.30/9.11	c Added 1 vars  tried: 16020 time: 4.21
36.30/9.12	c ORs :      1 avg-s:  0.0 cl-sh:  1181 l-rem:   1181 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:    4.25
36.30/9.12	c lits-rem:      1921  cl-subs:     2278  v-elim:     60  v-fix:    0  time:  7.67 s
36.30/9.12	c learnt bin added due to v-elim: 0
36.30/9.12	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
36.30/9.13	c vivif2 --  cl tried    16039 cl shrink        0 lits rem          0 time: 0.01
36.71/9.29	c asymm  cl-useful: 0/1988/5341 lits-rem:0 time: 0.63
36.71/9.29	c calculated reachability. Time: 0.00
36.71/9.29	c  N dy   446     69891        61      5341         2     16039     37366    274472     21.51     18.93  --
36.71/9.29	c  F st   446     69891        61      5341         2     16039     37366    274472     21.51     18.93  --
37.89/9.51	c Decided on static restart strategy
38.69/9.77	c  N dy   469     74460        61      5341         2     10411     37366    148370     21.81     18.92  --
40.29/10.19	c  N dy   502     79352        61      5341         2     14820     37366    242404     21.86     18.92  --
42.69/10.70	c  N dy   537     84508        61      5341         2     19413     37366    340111     21.24     18.92  --
44.68/11.24	c  N dy   573     89904        61      5341         2     13553     37366    202716     21.10     18.93  --
47.08/11.81	c  N dy   612     95666        61      5341         2     18737     37366    314098     21.98     18.94  --
49.90/12.52	c  N dy   653    101775        61      5341         2     12591     37366    171749     21.45     18.94  --
51.08/12.80	c  S st   674    104836        61      5341         2     15325     37366    230466     21.62     18.94  --
51.08/12.86	c  S st   674    105340        61      5341         2     15791     37366    240586     21.62     18.94  --
51.08/12.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
51.08/12.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.48/12.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.6M T:  0.21
51.48/12.92	c Calc non-exist non-lernt bins v-fix:     0 done:     61 time:  0.00 s
51.48/12.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.48/12.92	c Subs w/ non-existent bins:      0 time:  0.01 s
51.48/12.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
51.48/12.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.48/12.92	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
53.88/13.56	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.88/13.56	c lits-rem:       981  cl-subs:     1264  v-elim:     60  v-fix:    0  time:  2.55 s
53.88/13.56	c learnt bin added due to v-elim: 0
53.88/13.56	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
53.88/13.56	c vivif2 --  cl tried    14527 cl shrink        0 lits rem          0 time: 0.01
54.70/13.72	c asymm  cl-useful: 0/1286/5341 lits-rem:0 time: 0.62
54.70/13.72	c calculated reachability. Time: 0.00
54.70/13.72	c  N dy   674    105340        61      5341         2     14527     37366    215070     21.62     18.94  --
57.48/14.44	c  N dy   720    112193        61      5341         2     20691     37366    347887     21.85     18.95  --
60.67/15.29	c  N dy   769    119469        61      5341         2     14758     37366    210045     21.70     18.96  --
64.26/16.11	c  N dy   820    127109        61      5341         2     21616     37366    357361     21.49     18.97  --
68.26/17.14	c  N dy   875    135317        61      5341         2     15554     37366    216984     21.22     18.96  --
72.28/18.15	c  N dy   934    144063        61      5341         2     23372     37366    384622     21.64     18.96  --
77.04/19.35	c  N dy   996    153316        61      5341         2     17312     37366    242726     22.15     18.96  --
79.44/19.92	c  S st  1028    158012        61      5341         2     21502     37366    331525     21.31     18.95  --
79.44/19.99	c  S st  1028    158517        61      5341         2     21965     37366    341615     21.31     18.95  --
79.44/19.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
79.44/19.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
79.84/20.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.6M T:  0.34
79.84/20.08	c Calc non-exist non-lernt bins v-fix:     0 done:     61 time:  0.00 s
79.84/20.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
79.84/20.08	c Subs w/ non-existent bins:      0 time:  0.01 s
79.84/20.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
79.84/20.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.84/20.08	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
83.43/20.91	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
83.43/20.92	c lits-rem:      1202  cl-subs:     2202  v-elim:     60  v-fix:    0  time:  3.34 s
83.43/20.92	c learnt bin added due to v-elim: 0
83.43/20.92	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
83.43/20.92	c vivif2 --  cl tried    19763 cl shrink        0 lits rem          0 time: 0.01
83.83/21.08	c asymm  cl-useful: 0/1092/5341 lits-rem:0 time: 0.63
83.83/21.08	c calculated reachability. Time: 0.00
83.83/21.08	c  N dy  1028    158517        61      5341         2     19763     37366    297167     21.31     18.95  --
89.45/22.40	c  N dy  1096    168673        61      5341         2     28859     37366    491567     21.24     18.95  --
94.62/23.75	c  N dy  1169    179519        61      5341         2     23502     37366    365576     21.36     18.95  --
101.42/25.41	c  N dy  1246    190975        61      5341         2     17707     37366    231336     21.57     18.95  --
107.80/27.02	c  N dy  1328    203194        61      5341         2     28728     37366    467690     21.66     18.95  --
115.00/28.87	c  N dy  1415    216217        61      5341         2     23348     37366    341502     21.48     18.95  --
123.78/31.03	c  N dy  1509    230147        65      5341        10     35816     37382    606374     21.80     18.94  --
127.77/32.07	c  S st  1561    237777        65      5341        10     24722     37382    361281     21.89     18.95  --
128.17/32.16	c  S st  1561    238283        65      5341        10     25205     37382    371815     21.89     18.95  --
128.17/32.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
128.17/32.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
128.57/32.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.4M T:  0.43
128.57/32.27	c Calc non-exist non-lernt bins v-fix:     0 done:     65 time:  0.00 s
128.57/32.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
128.57/32.27	c Subs w/ non-existent bins:      0 time:  0.01 s
128.57/32.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
128.57/32.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
128.57/32.28	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
132.97/33.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
132.97/33.37	c lits-rem:      1321  cl-subs:     2284  v-elim:     60  v-fix:    0  time:  4.38 s
132.97/33.37	c learnt bin added due to v-elim: 0
132.97/33.37	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
132.97/33.38	c vivif2 --  cl tried    22921 cl shrink        0 lits rem          0 time: 0.01
133.78/33.54	c asymm  cl-useful: 0/834/5341 lits-rem:0 time: 0.63
133.78/33.54	c calculated reachability. Time: 0.00
133.78/33.54	c  N dy  1561    238283        65      5341        10     22921     37382    326955     21.89     18.95  --
143.35/35.95	c  N dy  1664    253489        65      5341        10     36654     37382    621843     21.23     18.92  --
153.34/38.45	c  N dy  1773    269682        65      5341        10     32458     37382    518122     21.78     18.90  --
164.55/41.25	c  N dy  1889    286963        65      5341        10     28303     37382    415110     21.84     18.86  --
178.11/44.60	c  N dy  2014    305397        65      5341        10     24261     37382    317088     21.86     18.84  --
192.09/48.11	c  N dy  2146    324942        65      5341        10     41948     37382    694672     21.66     18.82  --
206.09/51.62	c  N dy  2281    345006        65      5341        10     38470     37382    606424     21.29     18.79  --
216.08/54.10	c  S st  2365    357425        69      5341        26     27106     37406    353337     20.91     18.77  --
216.48/54.20	c  S st  2365    357925        69      5341        26     27554     37406    362967     20.91     18.77  --
216.48/54.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
216.48/54.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
216.89/54.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  9.2M T:  0.51
216.89/54.33	c Calc non-exist non-lernt bins v-fix:     0 done:     69 time:  0.00 s
216.89/54.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
216.89/54.33	c Subs w/ non-existent bins:      0 time:  0.01 s
216.89/54.34	c Replacing        2 vars Replaced     1932 lits Time:     0.04 s 
216.89/54.35	c bin-w-bin subsume rem            4 bins  time:  0.00 s
216.89/54.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
216.89/54.35	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
220.87/55.35	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.87/55.36	c lits-rem:       696  cl-subs:     1842  v-elim:     60  v-fix:    0  time:  4.03 s
220.87/55.36	c learnt bin added due to v-elim: 0
220.87/55.36	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
220.87/55.36	c vivif2 --  cl tried    25712 cl shrink        0 lits rem          0 time: 0.01
221.69/55.51	c asymm  cl-useful: 0/1300/5341 lits-rem:0 time: 0.61
221.69/55.51	c calculated reachability. Time: 0.00
221.69/55.51	c  N dy  2365    357925        67      5341        14     25712     37390    331600     20.91     18.77  --
237.25/59.40	c  N dy  2501    378042        67      5341        14     43957     37390    721920     21.54     18.75  --
252.05/63.19	c  N dy  2636    398069        67      5341        14     38660     37390    596165     21.73     18.74  --
269.22/67.46	c  N dy  2772    418194        67      5341        14     32438     37390    449015     21.27     18.72  --
287.21/71.94	c  N dy  2908    438269        67      5341        14     50565     37390    838639     21.91     18.71  --
303.18/75.93	c  N dy  3043    458276        67      5341        14     43409     37390    674772     21.70     18.70  --
321.15/80.42	c  N dy  3178    478348        67      5341        14     35351     37390    493237     21.89     18.69  --
340.35/85.24	c  N dy  3313    498376        67      5341        14     53576     37390    883428     21.58     18.68  --
372.70/93.36	c  N dy  3366    536888        71      5341        27     33257     37410    430675     22.25     18.54  --
372.70/93.38	c  S st  3366    536888        71      5341        27     33257     37410    430675     22.25     18.54  --
373.10/93.48	c  S st  3366    537391        71      5341        29     33718     37412    441008     22.25     18.54  --
373.10/93.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
373.10/93.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
373.90/93.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 12.3M T:  0.69
373.90/93.66	c Calc non-exist non-lernt bins v-fix:     0 done:     71 time:  0.00 s
373.90/93.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
373.90/93.66	c Subs w/ non-existent bins:      0 time:  0.02 s
373.90/93.66	c Replacing        2 vars Replaced      202 lits Time:     0.01 s 
373.90/93.67	c bin-w-bin subsume rem            4 bins  time:  0.00 s
373.90/93.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
373.90/93.67	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
377.89/94.69	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
401.48/100.51	c Added 1 vars  tried: 80000 time: 23.24
401.48/100.54	c ORs :      1 avg-s:  0.0 cl-sh:  3110 l-rem:   3110 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   23.37
401.48/100.55	c lits-rem:      1044  cl-subs:     1958  v-elim:     60  v-fix:    0  time: 27.48 s
401.48/100.55	c learnt bin added due to v-elim: 0
401.48/100.55	c vivif2 --  cl tried     5342 cl shrink        0 lits rem          0 time: 0.00
401.48/100.56	c vivif2 --  cl tried    31760 cl shrink        0 lits rem          0 time: 0.02
402.26/100.72	c asymm  cl-useful: 0/799/5342 lits-rem:0 time: 0.65
402.26/100.72	c calculated reachability. Time: 0.00
402.26/100.72	c  N dy  3366    537391        70      5342        20     31760     37385    406563     22.25     18.54  --
402.26/100.72	c  F st  3366    537391        70      5342        20     31760     37385    406563     22.25     18.54  --
403.46/101.09	c Decided on static restart strategy
419.46/105.02	c  N dy  3494    557502        70      5342        20     49977     37385    799194     21.68     18.54  --
438.23/109.80	c  N dy  3629    577601        70      5342        20     39296     37385    549533     22.08     18.53  --
459.80/115.19	c  N dy  3764    597644        70      5342        20     57444     37385    942397     21.53     18.53  --
478.98/119.95	c  N dy  3899    617728        73      5342        34     45759     37405    674582     21.25     18.53  --
501.75/125.65	c  N dy  4034    637837        73      5342        34     33158     37405    391979     21.71     18.53  --
679.95/170.28	c  N dy  4110    806088        73      5342        34     52721     37405    787162     21.77     17.79  --
680.35/170.32	c  S st  4110    806088        73      5342        34     52721     37405    787162     21.77     17.79  --
680.75/170.49	c  S st  4110    806591        77      5342        42     53203     37421    797642     21.77     17.79  --
681.15/170.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
681.15/170.50	c Cache  BProp: 0 Set: 0 BXProp: 2 T: 0.00
682.35/170.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 20.3M T:  1.37
682.35/170.84	c Calc non-exist non-lernt bins v-fix:     0 done:     77 time:  0.01 s
682.35/170.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
682.35/170.85	c Subs w/ non-existent bins:      0 time:  0.04 s
682.35/170.85	c Replacing        2 vars Replaced      152 lits Time:     0.02 s 
682.35/170.87	c bin-w-bin subsume rem            4 bins  time:  0.00 s
682.35/170.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
682.35/170.87	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
693.53/173.65	c ORs :      2 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 22.0 T:    0.06
693.53/173.67	c lits-rem:      1659  cl-subs:     4984  v-elim:     60  v-fix:    0  time: 11.19 s
693.53/173.67	c learnt bin added due to v-elim: 0
693.53/173.67	c vivif2 --  cl tried     5342 cl shrink        0 lits rem          0 time: 0.00
693.53/173.68	c vivif2 --  cl tried    48218 cl shrink        0 lits rem          0 time: 0.04
693.93/173.77	c asymm  cl-useful: 0/311/5342 lits-rem:0 time: 0.36
693.93/173.77	c calculated reachability. Time: 0.00
693.93/173.77	c  N dy  4110    806591        75      5342        30     48218     37405    702834     21.77     17.79  --
1205.76/301.89	c  N dy  4117   1209886        75      5342        30     62433     37405    884854     18.95     16.90  --
1206.16/301.93	c  S st  4117   1209886        75      5342        30     62433     37405    884854     18.95     16.90  --
1206.94/302.14	c  S st  4117   1210392        77      5342        36     62911     37413    895176     18.95     16.90  --
1206.94/302.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1206.94/302.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1208.54/302.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 24.1M T:  1.61
1208.54/302.55	c Calc non-exist non-lernt bins v-fix:     0 done:     77 time:  0.00 s
1208.54/302.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1208.54/302.56	c Subs w/ non-existent bins:      0 time:  0.04 s
1208.54/302.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1208.54/302.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1208.54/302.57	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1225.33/306.75	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
1274.47/319.01	c Added 1 vars  tried: 80000 time: 48.99
1275.28/319.23	c ORs :      1 avg-s:  0.0 cl-sh:  8608 l-rem:   8608 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   49.86
1275.28/319.24	c lits-rem:       645  cl-subs:     9322  v-elim:     60  v-fix:    0  time: 66.59 s
1275.28/319.24	c learnt bin added due to v-elim: 0
1275.28/319.25	c vivif2 --  cl tried     5343 cl shrink        0 lits rem          0 time: 0.00
1275.28/319.26	c vivif2 --  cl tried    53589 cl shrink        0 lits rem          0 time: 0.04
1275.68/319.35	c asymm  cl-useful: 0/303/5343 lits-rem:0 time: 0.36
1275.68/319.35	c calculated reachability. Time: 0.00
1275.68/319.35	c  N dy  4117   1210392        78      5343        38     53589     37398    739082     18.95     16.90  --
2042.41/511.26	c  N dy  4187   1710393        78      5343        38     84830     37398   1328644     22.15     16.35  --
2042.81/511.31	c  S st  4187   1710393        78      5343        38     84830     37398   1328644     22.15     16.35  --
2044.01/511.61	c  S st  4187   1710898        79      5343        40     85301     37402   1338692     22.15     16.35  --
2044.01/511.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2044.01/511.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2046.80/512.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 35.4M T:  2.73
2046.80/512.30	c Calc non-exist non-lernt bins v-fix:     0 done:     79 time:  0.01 s
2046.80/512.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2046.80/512.32	c Subs w/ non-existent bins:      0 time:  0.06 s
2046.80/512.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2046.80/512.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2046.80/512.34	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2075.57/519.59	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
2075.98/519.62	c lits-rem:      1888  cl-subs:     8020  v-elim:     60  v-fix:    0  time: 29.07 s
2075.98/519.62	c learnt bin added due to v-elim: 0
2075.98/519.62	c vivif2 --  cl tried     5343 cl shrink        0 lits rem          0 time: 0.00
2075.98/519.64	c vivif2 --  cl tried    77281 cl shrink        1 lits rem          1 time: 0.07
2076.39/519.74	c asymm  cl-useful: 0/162/5343 lits-rem:0 time: 0.42
2076.39/519.75	c calculated reachability. Time: 0.00
2076.39/519.75	c  N dy  4187   1710898        79      5343        40     77281     37402   1191302     22.15     16.35  --
2995.31/749.73	c  N dy  4268   2210900        80      5343        42     90334     37406   1322194     19.48     16.18  --
2995.31/749.78	c  S st  4268   2210900        80      5343        42     90334     37406   1322194     19.48     16.18  --
2995.31/749.78	c Finding binary XORs  T:     0.00 s  found:       0
2996.91/750.11	c  S st  4268   2211407        80      5343        42     90807     37406   1332832     19.48     16.18  --
2996.91/750.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2996.91/750.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2999.71/750.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 41.3M T:  2.94
2999.71/750.86	c Calc non-exist non-lernt bins v-fix:     0 done:     80 time:  0.01 s
2999.71/750.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2999.71/750.88	c Subs w/ non-existent bins:      0 time:  0.07 s
3000.11/750.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3000.11/750.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3000.11/750.90	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3038.49/760.53	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.20
3115.98/779.95	c Added 1 vars  tried: 80000 time: 77.56
3117.59/780.40	c ORs :      1 avg-s:  0.0 cl-sh: 13195 l-rem:  13195 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   79.36
3117.99/780.42	c lits-rem:      2061  cl-subs:    13924  v-elim:     60  v-fix:    0  time: 117.94 s
3117.99/780.42	c learnt bin added due to v-elim: 0
3117.99/780.42	c vivif2 --  cl tried     5344 cl shrink        0 lits rem          0 time: 0.00
3117.99/780.44	c vivif2 --  cl tried    76883 cl shrink        0 lits rem          0 time: 0.07
3118.37/780.54	c asymm  cl-useful: 0/176/5344 lits-rem:0 time: 0.40
3118.37/780.54	c calculated reachability. Time: 0.00
3118.37/780.54	c  N dy  4268   2211407        81      5344        44     76883     37391   1075951     19.48     16.18  --
4189.96/1048.71	c  N dy  4290   2711408        81      5344        44    100247     37391   1485013     19.96     16.06  --
4189.96/1048.78	c  S st  4290   2711408        81      5344        44    100247     37391   1485013     19.96     16.06  --
4191.54/1049.15	c  S st  4290   2711913        81      5344        44    100719     37391   1495500     19.96     16.06  --
4191.54/1049.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4191.54/1049.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4195.13/1050.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 49.1M T:  3.62
4195.13/1050.06	c Calc non-exist non-lernt bins v-fix:     0 done:     81 time:  0.01 s
4195.13/1050.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4195.13/1050.08	c Subs w/ non-existent bins:      0 time:  0.08 s
4195.53/1050.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4195.53/1050.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4195.53/1050.11	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
4238.70/1060.94	c ORs :      4 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.28
4238.70/1060.97	c lits-rem:      2220  cl-subs:    13226  v-elim:     60  v-fix:    0  time: 43.36 s
4238.70/1060.97	c learnt bin added due to v-elim: 0
4238.70/1060.97	c vivif2 --  cl tried     5344 cl shrink        0 lits rem          0 time: 0.00
4238.70/1060.99	c vivif2 --  cl tried    87493 cl shrink        0 lits rem          0 time: 0.08
4239.08/1061.09	c asymm  cl-useful: 0/167/5344 lits-rem:0 time: 0.41
4239.08/1061.10	c calculated reachability. Time: 0.00
4239.08/1061.10	c  N dy  4290   2711913        81      5344        44     87493     37391   1255157     19.96     16.06  --
4239.08/1061.10	c  F st  4290   2711913        81      5344        44     87493     37391   1255157     19.96     16.06  --
4244.27/1062.37	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-3172820-1304103463/watcher-3172820-1304103463 -o /tmp/evaluation-result-3172820-1304103463/solver-3172820-1304103463 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172820-1304103463.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: 5.29 7.33 7.79 5/176 25990
/proc/meminfo: memFree=29737748/32950928 swapFree=67111364/67111528
[pid=25988] ppid=25985 vsize=50012 CPUtime=0 cores=0,2,4,6
/proc/25988/stat : 25988 (techdemo) R 25985 25988 25177 0 -1 4202496 642 0 0 0 0 0 0 0 18 0 1 0 600576972 51212288 573 33554432000 4194304 4797429 140735455726512 18446744073709551615 256415088151 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/25988/statm: 12503 573 347 148 0 7432 0

[startup+0.127472 s]
/proc/loadavg: 5.29 7.33 7.79 5/176 25990
/proc/meminfo: memFree=29737748/32950928 swapFree=67111364/67111528
[pid=25988] ppid=25985 vsize=644072 CPUtime=0.45 cores=0,2,4,6
/proc/25988/stat : 25988 (techdemo) D 25985 25988 25177 0 -1 4202496 1284 0 0 0 45 0 0 0 18 0 4 0 600576972 659529728 1144 33554432000 4194304 4797429 140735455726512 18446744073709551615 256415434842 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25988/statm: 157312 1148 379 148 0 152241 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 644072

[startup+0.623743 s]
/proc/loadavg: 5.29 7.33 7.79 5/176 25990
/proc/meminfo: memFree=29737748/32950928 swapFree=67111364/67111528
[pid=25988] ppid=25985 vsize=677452 CPUtime=2.43 cores=0,2,4,6
/proc/25988/stat : 25988 (techdemo) R 25985 25988 25177 0 -1 4202496 3901 0 0 0 243 0 0 0 18 0 4 0 600576972 693710848 2964 33554432000 4194304 4797429 140735455726512 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25988/statm: 169363 2964 409 148 0 164292 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 677452

[startup+0.700216 s]
/proc/loadavg: 5.29 7.33 7.79 5/176 25990
/proc/meminfo: memFree=29737748/32950928 swapFree=67111364/67111528
[pid=25988] ppid=25985 vsize=679280 CPUtime=2.74 cores=0,2,4,6
/proc/25988/stat : 25988 (techdemo) R 25985 25988 25177 0 -1 4202496 4785 0 0 0 273 1 0 0 18 0 4 0 600576972 695582720 3621 33554432000 4194304 4797429 140735455726512 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25988/statm: 169820 3640 413 148 0 164749 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 679280

[startup+0.800198 s]
/proc/loadavg: 5.29 7.33 7.79 5/176 25990
/proc/meminfo: memFree=29737748/32950928 swapFree=67111364/67111528
[pid=25988] ppid=25985 vsize=679280 CPUtime=3.14 cores=0,2,4,6
/proc/25988/stat : 25988 (techdemo) R 25985 25988 25177 0 -1 4202496 5160 0 0 0 313 1 0 0 18 0 4 0 600576972 695582720 3996 33554432000 4194304 4797429 140735455726512 18446744073709551615 4424617 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25988/statm: 169820 3996 413 148 0 164749 0
Current children cumulated CPU time (s) 3.14
Current children cumulated vsize (KiB) 679280

[startup+1.50106 s]
/proc/loadavg: 5.59 7.35 7.79 10/184 25998
/proc/meminfo: memFree=29708796/32950928 swapFree=67111364/67111528
[pid=25988] ppid=25985 vsize=680252 CPUtime=5.96 cores=0,2,4,6
/proc/25988/stat : 25988 (techdemo) R 25985 25988 25177 0 -1 4202496 5842 0 0 0 595 1 0 0 20 0 4 0 600576972 696578048 4396 33554432000 4194304 4797429 140735455726512 18446744073709551615 4424865 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25988/statm: 170063 4396 414 148 0 164992 0
[pid=25988/tid=25996] ppid=25985 vsize=680252 CPUtime=1.48 cores=0,2,4,6
/proc/25988/task/25996/stat : 25996 (techdemo) R 25985 25988 25177 0 -1 4202560 1130 0 0 0 148 0 0 0 23 0 4 0 600576974 696578048 4397 33554432000 4194304 4797429 140735455726512 18446744073709551615 4424855 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25988/tid=25997] ppid=25985 vsize=680252 CPUtime=1.48 cores=0,2,4,6
/proc/25988/task/25997/stat : 25997 (techdemo) R 25985 25988 25177 0 -1 4202560 1159 0 0 0 148 0 0 0 20 0 4 0 600576974 696578048 4397 33554432000 4194304 4797429 140735455726512 18446744073709551615 256415088395 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25988/tid=25998] ppid=25985 vsize=680252 CPUtime=1.48 cores=0,2,4,6
/proc/25988/task/25998/stat : 25998 (techdemo) R 25985 25988 25177 0 -1 4202560 1078 0 0 0 148 0 0 0 20 0 4 0 600576974 696578048 4397 33554432000 4194304 4797429 140735455726512 18446744073709551615 4351618 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 680252

[startup+3.10076 s]
/proc/loadavg: 5.59 7.35 7.79 10/184 25998
/proc/meminfo: memFree=29701232/32950928 swapFree=67111364/67111528
[pid=25988] ppid=25985 vsize=682804 CPUtime=12.34 cores=0,2,4,6
/proc/25988/stat : 25988 (techdemo) R 25985 25988 25177 0 -1 4202496 7522 0 0 0 1232 2 0 0 25 0 4 0 600576972 699191296 5005 33554432000 4194304 4797429 140735455726512 18446744073709551615 4424868 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25988/statm: 170701 5005 416 148 0 165630 0
[pid=25988/tid=25996] ppid=25985 vsize=682804 CPUtime=3.07 cores=0,2,4,6
/proc/25988/task/25996/stat : 25996 (techdemo) R 25985 25988 25177 0 -1 4202560 1471 0 0 0 307 0 0 0 25 0 4 0 600576974 699191296 5005 33554432000 4194304 4797429 140735455726512 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25988/tid=25997] ppid=25985 vsize=682804 CPUtime=3.08 cores=0,2,4,6
/proc/25988/task/25997/stat : 25997 (techdemo) R 25985 25988 25177 0 -1 4202560 1434 0 0 0 308 0 0 0 25 0 4 0 600576974 699191296 5005 33554432000 4194304 4797429 140735455726512 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25988/tid=25998] ppid=25985 vsize=682804 CPUtime=3.07 cores=0,2,4,6
/proc/25988/task/25998/stat : 25998 (techdemo) R 25985 25988 25177 0 -1 4202560 1360 0 0 0 307 0 0 0 25 0 4 0 600576974 699191296 5005 33554432000 4194304 4797429 140735455726512 18446744073709551615 4568009 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) 682804

[startup+6.30116 s]
/proc/loadavg: 5.78 7.36 7.79 9/184 25998
/proc/meminfo: memFree=29691852/32950928 swapFree=67111364/67111528
[pid=25988] ppid=25985 vsize=685908 CPUtime=25.11 cores=0,2,4,6
/proc/25988/stat : 25988 (techdemo) R 25985 25988 25177 0 -1 4202496 10092 0 0 0 2509 2 0 0 25 0 4 0 600576972 702369792 6066 33554432000 4194304 4797429 140735455726512 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25988/statm: 171477 6066 416 148 0 166406 0
[pid=25988/tid=25996] ppid=25985 vsize=685908 CPUtime=6.27 cores=0,2,4,6
/proc/25988/task/25996/stat : 25996 (techdemo) R 25985 25988 25177 0 -1 4202560 1863 0 0 0 627 0 0 0 25 0 4 0 600576974 702369792 6066 33554432000 4194304 4797429 140735455726512 18446744073709551615 4424865 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25988/tid=25997] ppid=25985 vsize=685908 CPUtime=6.28 cores=0,2,4,6
/proc/25988/task/25997/stat : 25997 (techdemo) R 25985 25988 25177 0 -1 4202560 1628 0 0 0 628 0 0 0 25 0 4 0 600576974 702369792 6066 33554432000 4194304 4797429 140735455726512 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25988/tid=25998] ppid=25985 vsize=685908 CPUtime=6.25 cores=0,2,4,6
/proc/25988/task/25998/stat : 25998 (techdemo) R 25985 25988 25177 0 -1 4202560 1554 0 0 0 625 0 0 0 25 0 4 0 600576974 702369792 6066 33554432000 4194304 4797429 140735455726512 18446744073709551615 4429171 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) 685908

[startup+12.701 s]
/proc/loadavg: 5.96 7.37 7.80 10/184 25998
/proc/meminfo: memFree=29682680/32950928 swapFree=67111364/67111528
[pid=25988] ppid=25985 vsize=689904 CPUtime=50.68 cores=0,2,4,6
/proc/25988/stat : 25988 (techdemo) R 25985 25988 25177 0 -1 4202496 14318 0 0 0 5066 2 0 0 25 0 4 0 600576972 706461696 7072 33554432000 4194304 4797429 140735455726512 18446744073709551615 4426379 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25988/statm: 172476 7072 419 148 0 167405 0
[pid=25988/tid=25996] ppid=25985 vsize=689904 CPUtime=12.67 cores=0,2,4,6
/proc/25988/task/25996/stat : 25996 (techdemo) R 25985 25988 25177 0 -1 4202560 2435 0 0 0 1267 0 0 0 25 0 4 0 600576974 706461696 7072 33554432000 4194304 4797429 140735455726512 18446744073709551615 4424965 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25988/tid=25997] ppid=25985 vsize=689904 CPUtime=12.68 cores=0,2,4,6
/proc/25988/task/25997/stat : 25997 (techdemo) R 25985 25988 25177 0 -1 4202560 2335 0 0 0 1268 0 0 0 25 0 4 0 600576974 706461696 7072 33554432000 4194304 4797429 140735455726512 18446744073709551615 4424960 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25988/tid=25998] ppid=25985 vsize=689904 CPUtime=12.62 cores=0,2,4,6
/proc/25988/task/25998/stat : 25998 (techdemo) R 25985 25988 25177 0 -1 4202560 2262 0 0 0 1262 0 0 0 25 0 4 0 600576974 706461696 7072 33554432000 4194304 4797429 140735455726512 18446744073709551615 4429087 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) 689904

[startup+25.5005 s]
/proc/loadavg: 6.27 7.39 7.80 9/184 26028
/proc/meminfo: memFree=29685152/32950928 swapFree=67111364/67111528
[pid=25988] ppid=25985 vsize=695280 CPUtime=101.82 cores=0,2,4,6
/proc/25988/stat : 25988 (techdemo) R 25985 25988 25177 0 -1 4202496 20881 0 0 0 10178 4 0 0 25 0 4 0 600576972 711966720 9073 33554432000 4194304 4797429 140735455726512 18446744073709551615 4422933 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25988/statm: 173820 9073 419 148 0 168749 0
[pid=25988/tid=25996] ppid=25985 vsize=695280 CPUtime=25.47 cores=0,2,4,6
/proc/25988/task/25996/stat : 25996 (techdemo) R 25985 25988 25177 0 -1 4202560 4373 0 0 0 2547 0 0 0 25 0 4 0 600576974 711966720 9073 33554432000 4194304 4797429 140735455726512 18446744073709551615 4495559 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25988/tid=25997] ppid=25985 vsize=695280 CPUtime=25.48 cores=0,2,4,6
/proc/25988/task/25997/stat : 25997 (techdemo) R 25985 25988 25177 0 -1 4202560 2939 0 0 0 2548 0 0 0 25 0 4 0 600576974 711966720 9073 33554432000 4194304 4797429 140735455726512 18446744073709551615 4414368 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25988/tid=25998] ppid=25985 vsize=695280 CPUtime=25.35 cores=0,2,4,6
/proc/25988/task/25998/stat : 25998 (techdemo) R 25985 25988 25177 0 -1 4202560 3011 0 0 0 2535 0 0 0 25 0 4 0 600576974 711966720 9073 33554432000 4194304 4797429 140735455726512 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 695280

[startup+51.1068 s]
/proc/loadavg: 5.59 7.13 7.70 5/175 26046
/proc/meminfo: memFree=29702924/32950928 swapFree=67111364/67111528
[pid=25988] ppid=25985 vsize=697476 CPUtime=204.11 cores=0,2,4,6
/proc/25988/stat : 25988 (techdemo) R 25985 25988 25177 0 -1 4202496 32499 0 0 0 20403 8 0 0 25 0 4 0 600576972 714215424 10718 33554432000 4194304 4797429 140735455726512 18446744073709551615 4423089 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25988/statm: 174369 10719 421 148 0 169298 0
[pid=25988/tid=25996] ppid=25985 vsize=697476 CPUtime=51.08 cores=0,2,4,6
/proc/25988/task/25996/stat : 25996 (techdemo) R 25985 25988 25177 0 -1 4202560 5843 0 0 0 5107 1 0 0 25 0 4 0 600576974 714215424 10719 33554432000 4194304 4797429 140735455726512 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25988/tid=25997] ppid=25985 vsize=697476 CPUtime=51.08 cores=0,2,4,6
/proc/25988/task/25997/stat : 25997 (techdemo) R 25985 25988 25177 0 -1 4202560 5934 0 0 0 5108 0 0 0 25 0 4 0 600576974 714215424 10719 33554432000 4194304 4797429 140735455726512 18446744073709551615 4495473 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25988/tid=25998] ppid=25985 vsize=697476 CPUtime=50.83 cores=0,2,4,6
/proc/25988/task/25998/stat : 25998 (techdemo) R 25985 25988 25177 0 -1 4202560 4452 0 0 0 5082 1 0 0 25 0 4 0 600576974 714215424 10719 33554432000 4194304 4797429 140735455726512 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 697476

[startup+102.301 s]
/proc/loadavg: 4.72 6.66 7.51 5/175 26048
/proc/meminfo: memFree=29691852/32950928 swapFree=67111364/67111528
[pid=25988] ppid=25985 vsize=708568 CPUtime=408.66 cores=0,2,4,6
/proc/25988/stat : 25988 (techdemo) R 25985 25988 25177 0 -1 4202496 48421 0 0 0 40851 15 0 0 25 0 4 0 600576972 725573632 13553 33554432000 4194304 4797429 140735455726512 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25988/statm: 177142 13553 424 148 0 172071 0
[pid=25988/tid=25996] ppid=25985 vsize=708568 CPUtime=102.27 cores=0,2,4,6
/proc/25988/task/25996/stat : 25996 (techdemo) R 25985 25988 25177 0 -1 4202560 7657 0 0 0 10226 1 0 0 25 0 4 0 600576974 725573632 13553 33554432000 4194304 4797429 140735455726512 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25988/tid=25997] ppid=25985 vsize=708568 CPUtime=102.28 cores=0,2,4,6
/proc/25988/task/25997/stat : 25997 (techdemo) R 25985 25988 25177 0 -1 4202560 8092 0 0 0 10226 2 0 0 25 0 4 0 600576974 725573632 13553 33554432000 4194304 4797429 140735455726512 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25988/tid=25998] ppid=25985 vsize=708568 CPUtime=101.79 cores=0,2,4,6
/proc/25988/task/25998/stat : 25998 (techdemo) R 25985 25988 25177 0 -1 4202560 7515 0 0 0 10178 1 0 0 25 0 4 0 600576974 725573632 13553 33554432000 4194304 4797429 140735455726512 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.66
Current children cumulated vsize (KiB) 708568

[startup+162.301 s]
/proc/loadavg: 4.26 6.17 7.28 5/175 26049
/proc/meminfo: memFree=29685868/32950928 swapFree=67111364/67111528
[pid=25988] ppid=25985 vsize=710444 CPUtime=648.39 cores=0,2,4,6
/proc/25988/stat : 25988 (techdemo) R 25985 25988 25177 0 -1 4202496 62443 0 0 0 64817 22 0 0 25 0 4 0 600576972 727494656 15000 33554432000 4194304 4797429 140735455726512 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25988/statm: 177611 15000 421 148 0 172540 0
[pid=25988/tid=25996] ppid=25985 vsize=710444 CPUtime=162.28 cores=0,2,4,6
/proc/25988/task/25996/stat : 25996 (techdemo) R 25985 25988 25177 0 -1 4202560 9105 0 0 0 16226 2 0 0 25 0 4 0 600576974 727494656 15000 33554432000 4194304 4797429 140735455726512 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25988/tid=25997] ppid=25985 vsize=710444 CPUtime=162.28 cores=0,2,4,6
/proc/25988/task/25997/stat : 25997 (techdemo) R 25985 25988 25177 0 -1 4202560 10246 0 0 0 16226 2 0 0 25 0 4 0 600576974 727494656 15000 33554432000 4194304 4797429 140735455726512 18446744073709551615 4430142 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25988/tid=25998] ppid=25985 vsize=710444 CPUtime=161.52 cores=0,2,4,6
/proc/25988/task/25998/stat : 25998 (techdemo) R 25985 25988 25177 0 -1 4202560 9247 0 0 0 16149 3 0 0 25 0 4 0 600576974 727494656 15000 33554432000 4194304 4797429 140735455726512 18446744073709551615 4429107 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) 710444

[startup+222.301 s]
/proc/loadavg: 4.13 5.79 7.08 5/175 26060
/proc/meminfo: memFree=29678708/32950928 swapFree=67111364/67111528
[pid=25988] ppid=25985 vsize=716040 CPUtime=888.11 cores=0,2,4,6
/proc/25988/stat : 25988 (techdemo) R 25985 25988 25177 0 -1 4202496 75763 0 0 0 88782 29 0 0 25 0 4 0 600576972 733224960 16849 33554432000 4194304 4797429 140735455726512 18446744073709551615 4424603 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25988/statm: 179010 16849 421 148 0 173939 0
[pid=25988/tid=25996] ppid=25985 vsize=716040 CPUtime=222.28 cores=0,2,4,6
/proc/25988/task/25996/stat : 25996 (techdemo) R 25985 25988 25177 0 -1 4202560 10843 0 0 0 22226 2 0 0 25 0 4 0 600576974 733224960 16849 33554432000 4194304 4797429 140735455726512 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25988/tid=25997] ppid=25985 vsize=716040 CPUtime=222.28 cores=0,2,4,6
/proc/25988/task/25997/stat : 25997 (techdemo) R 25985 25988 25177 0 -1 4202560 12059 0 0 0 22225 3 0 0 25 0 4 0 600576974 733224960 16849 33554432000 4194304 4797429 140735455726512 18446744073709551615 4568055 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25988/tid=25998] ppid=25985 vsize=716040 CPUtime=221.23 cores=0,2,4,6
/proc/25988/task/25998/stat : 25998 (techdemo) R 25985 25988 25177 0 -1 4202560 10792 0 0 0 22119 4 0 0 25 0 4 0 600576974 733224960 16849 33554432000 4194304 4797429 140735455726512 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 888.11
Current children cumulated vsize (KiB) 716040

[startup+282.301 s]

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

[pid=25988] ppid=25985 vsize=742792 CPUtime=2805.95 cores=0,2,4,6
/proc/25988/stat : 25988 (techdemo) R 25985 25988 25177 0 -1 4202496 151799 0 0 0 280524 71 0 0 25 0 4 0 600576972 760619008 25982 33554432000 4194304 4797429 140735455726512 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25988/statm: 185698 25982 421 148 0 180627 0
[pid=25988/tid=25996] ppid=25985 vsize=742792 CPUtime=702.31 cores=0,2,4,6
/proc/25988/task/25996/stat : 25996 (techdemo) R 25985 25988 25177 0 -1 4202560 20748 0 0 0 70221 10 0 0 25 0 4 0 600576974 760619008 25982 33554432000 4194304 4797429 140735455726512 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25988/tid=25997] ppid=25985 vsize=742792 CPUtime=702.3 cores=0,2,4,6
/proc/25988/task/25997/stat : 25997 (techdemo) R 25985 25988 25177 0 -1 4202560 21776 0 0 0 70221 9 0 0 25 0 4 0 600576974 760619008 25982 33554432000 4194304 4797429 140735455726512 18446744073709551615 4429135 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25988/tid=25998] ppid=25985 vsize=742792 CPUtime=699.01 cores=0,2,4,6
/proc/25988/task/25998/stat : 25998 (techdemo) R 25985 25988 25177 0 -1 4202560 21129 0 0 0 69889 12 0 0 25 0 4 0 600576974 760619008 25982 33554432000 4194304 4797429 140735455726512 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.95
Current children cumulated vsize (KiB) 742792

[startup+762.301 s]
/proc/loadavg: 4.05 4.32 5.72 5/175 26074
/proc/meminfo: memFree=29634240/32950928 swapFree=67111364/67111528
[pid=25988] ppid=25985 vsize=746356 CPUtime=3045.67 cores=0,2,4,6
/proc/25988/stat : 25988 (techdemo) R 25985 25988 25177 0 -1 4202496 158546 0 0 0 304491 76 0 0 25 0 4 0 600576972 764268544 28067 33554432000 4194304 4797429 140735455726512 18446744073709551615 4495672 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25988/statm: 186589 28067 421 148 0 181518 0
[pid=25988/tid=25996] ppid=25985 vsize=746356 CPUtime=762.3 cores=0,2,4,6
/proc/25988/task/25996/stat : 25996 (techdemo) R 25985 25988 25177 0 -1 4202560 22065 0 0 0 76220 10 0 0 25 0 4 0 600576974 764268544 28067 33554432000 4194304 4797429 140735455726512 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25988/tid=25997] ppid=25985 vsize=746356 CPUtime=762.3 cores=0,2,4,6
/proc/25988/task/25997/stat : 25997 (techdemo) R 25985 25988 25177 0 -1 4202560 22919 0 0 0 76221 9 0 0 25 0 4 0 600576974 764268544 28067 33554432000 4194304 4797429 140735455726512 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25988/tid=25998] ppid=25985 vsize=746356 CPUtime=758.73 cores=0,2,4,6
/proc/25988/task/25998/stat : 25998 (techdemo) R 25985 25988 25177 0 -1 4202560 21708 0 0 0 75860 13 0 0 25 0 4 0 600576974 764268544 28067 33554432000 4194304 4797429 140735455726512 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.67
Current children cumulated vsize (KiB) 746356

[startup+822.3 s]
/proc/loadavg: 4.06 4.27 5.62 6/175 26076
/proc/meminfo: memFree=29629256/32950928 swapFree=67111364/67111528
[pid=25988] ppid=25985 vsize=750588 CPUtime=3285.38 cores=0,2,4,6
/proc/25988/stat : 25988 (techdemo) R 25985 25988 25177 0 -1 4202496 165831 0 0 0 328459 79 0 0 25 0 4 0 600576972 768602112 29121 33554432000 4194304 4797429 140735455726512 18446744073709551615 4424732 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25988/statm: 187647 29121 421 148 0 182576 0
[pid=25988/tid=25996] ppid=25985 vsize=750588 CPUtime=822.3 cores=0,2,4,6
/proc/25988/task/25996/stat : 25996 (techdemo) R 25985 25988 25177 0 -1 4202560 23266 0 0 0 82219 11 0 0 25 0 4 0 600576974 768602112 29121 33554432000 4194304 4797429 140735455726512 18446744073709551615 4429121 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25988/tid=25997] ppid=25985 vsize=750588 CPUtime=822.31 cores=0,2,4,6
/proc/25988/task/25997/stat : 25997 (techdemo) R 25985 25988 25177 0 -1 4202560 23938 0 0 0 82221 10 0 0 25 0 4 0 600576974 768602112 29121 33554432000 4194304 4797429 140735455726512 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25988/tid=25998] ppid=25985 vsize=750588 CPUtime=818.43 cores=0,2,4,6
/proc/25988/task/25998/stat : 25998 (techdemo) R 25985 25988 25177 0 -1 4202560 23067 0 0 0 81830 13 0 0 25 0 4 0 600576974 768602112 29121 33554432000 4194304 4797429 140735455726512 18446744073709551615 4568007 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3285.38
Current children cumulated vsize (KiB) 750588

[startup+882.301 s]
/proc/loadavg: 4.06 4.24 5.52 5/175 26077
/proc/meminfo: memFree=29626624/32950928 swapFree=67111364/67111528
[pid=25988] ppid=25985 vsize=750728 CPUtime=3525.1 cores=0,2,4,6
/proc/25988/stat : 25988 (techdemo) R 25985 25988 25177 0 -1 4202496 172311 0 0 0 352428 82 0 0 25 0 4 0 600576972 768745472 29949 33554432000 4194304 4797429 140735455726512 18446744073709551615 4424850 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25988/statm: 187682 29949 421 148 0 182611 0
[pid=25988/tid=25996] ppid=25985 vsize=750728 CPUtime=882.31 cores=0,2,4,6
/proc/25988/task/25996/stat : 25996 (techdemo) R 25985 25988 25177 0 -1 4202560 23984 0 0 0 88219 12 0 0 25 0 4 0 600576974 768745472 29949 33554432000 4194304 4797429 140735455726512 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25988/tid=25997] ppid=25985 vsize=750728 CPUtime=882.3 cores=0,2,4,6
/proc/25988/task/25997/stat : 25997 (techdemo) R 25985 25988 25177 0 -1 4202560 24457 0 0 0 88220 10 0 0 25 0 4 0 600576974 768745472 29949 33554432000 4194304 4797429 140735455726512 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25988/tid=25998] ppid=25985 vsize=750728 CPUtime=878.16 cores=0,2,4,6
/proc/25988/task/25998/stat : 25998 (techdemo) R 25985 25988 25177 0 -1 4202560 24187 0 0 0 87802 14 0 0 25 0 4 0 600576974 768745472 29949 33554432000 4194304 4797429 140735455726512 18446744073709551615 4612555 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3525.1
Current children cumulated vsize (KiB) 750728

[startup+942.301 s]
/proc/loadavg: 4.05 4.20 5.43 5/175 26079
/proc/meminfo: memFree=29621404/32950928 swapFree=67111364/67111528
[pid=25988] ppid=25985 vsize=751692 CPUtime=3764.83 cores=0,2,4,6
/proc/25988/stat : 25988 (techdemo) R 25985 25988 25177 0 -1 4202496 179322 0 0 0 376396 87 0 0 25 0 4 0 600576972 769732608 31097 33554432000 4194304 4797429 140735455726512 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25988/statm: 187923 31097 421 148 0 182852 0
[pid=25988/tid=25996] ppid=25985 vsize=751692 CPUtime=942.3 cores=0,2,4,6
/proc/25988/task/25996/stat : 25996 (techdemo) R 25985 25988 25177 0 -1 4202560 25117 0 0 0 94218 12 0 0 25 0 4 0 600576974 769732608 31097 33554432000 4194304 4797429 140735455726512 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25988/tid=25997] ppid=25985 vsize=751692 CPUtime=942.31 cores=0,2,4,6
/proc/25988/task/25997/stat : 25997 (techdemo) R 25985 25988 25177 0 -1 4202560 25717 0 0 0 94220 11 0 0 25 0 4 0 600576974 769732608 31097 33554432000 4194304 4797429 140735455726512 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25988/tid=25998] ppid=25985 vsize=751692 CPUtime=937.88 cores=0,2,4,6
/proc/25988/task/25998/stat : 25998 (techdemo) R 25985 25988 25177 0 -1 4202560 25223 0 0 0 93773 15 0 0 25 0 4 0 600576974 769732608 31097 33554432000 4194304 4797429 140735455726512 18446744073709551615 4523968 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.83
Current children cumulated vsize (KiB) 751692

[startup+1002.3 s]
/proc/loadavg: 4.13 4.19 5.34 5/175 26080
/proc/meminfo: memFree=29620628/32950928 swapFree=67111364/67111528
[pid=25988] ppid=25985 vsize=756440 CPUtime=4004.55 cores=0,2,4,6
/proc/25988/stat : 25988 (techdemo) R 25985 25988 25177 0 -1 4202496 186599 0 0 0 400364 91 0 0 25 0 4 0 600576972 774594560 31403 33554432000 4194304 4797429 140735455726512 18446744073709551615 4424704 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25988/statm: 189110 31403 421 148 0 184039 0
[pid=25988/tid=25996] ppid=25985 vsize=756440 CPUtime=1002.31 cores=0,2,4,6
/proc/25988/task/25996/stat : 25996 (techdemo) R 25985 25988 25177 0 -1 4202560 26368 0 0 0 100218 13 0 0 25 0 4 0 600576974 774594560 31403 33554432000 4194304 4797429 140735455726512 18446744073709551615 4428966 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25988/tid=25997] ppid=25985 vsize=756440 CPUtime=1002.31 cores=0,2,4,6
/proc/25988/task/25997/stat : 25997 (techdemo) R 25985 25988 25177 0 -1 4202560 26679 0 0 0 100220 11 0 0 25 0 4 0 600576974 774594560 31403 33554432000 4194304 4797429 140735455726512 18446744073709551615 4502222 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25988/tid=25998] ppid=25985 vsize=756440 CPUtime=997.59 cores=0,2,4,6
/proc/25988/task/25998/stat : 25998 (techdemo) R 25985 25988 25177 0 -1 4202560 25774 0 0 0 99743 16 0 0 25 0 4 0 600576974 774594560 31403 33554432000 4194304 4797429 140735455726512 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4004.55
Current children cumulated vsize (KiB) 756440

[startup+1062.3 s]
/proc/loadavg: 4.05 4.16 5.26 5/175 26082
/proc/meminfo: memFree=29613280/32950928 swapFree=67111364/67111528
[pid=25988] ppid=25985 vsize=757968 CPUtime=4244.27 cores=0,2,4,6
/proc/25988/stat : 25988 (techdemo) R 25985 25988 25177 0 -1 4202496 192063 0 0 0 424333 94 0 0 25 0 4 0 600576972 776159232 33239 33554432000 4194304 4797429 140735455726512 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25988/statm: 189492 33239 432 148 0 184421 0
[pid=25988/tid=25996] ppid=25985 vsize=757968 CPUtime=1062.31 cores=0,2,4,6
/proc/25988/task/25996/stat : 25996 (techdemo) R 25985 25988 25177 0 -1 4202560 26885 0 0 0 106218 13 0 0 25 0 4 0 600576974 776159232 33239 33554432000 4194304 4797429 140735455726512 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25988/tid=25997] ppid=25985 vsize=757968 CPUtime=1062.31 cores=0,2,4,6
/proc/25988/task/25997/stat : 25997 (techdemo) R 25985 25988 25177 0 -1 4202560 27221 0 0 0 106220 11 0 0 25 0 4 0 600576974 776159232 33239 33554432000 4194304 4797429 140735455726512 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25988/tid=25998] ppid=25985 vsize=757968 CPUtime=1057.31 cores=0,2,4,6
/proc/25988/task/25998/stat : 25998 (techdemo) R 25985 25988 25177 0 -1 4202560 26756 0 0 0 105714 17 0 0 25 0 4 0 600576974 776159232 33239 33554432000 4194304 4797429 140735455726512 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4244.27
Current children cumulated vsize (KiB) 757968

[startup+1122.3 s]
/proc/loadavg: 4.10 4.14 5.18 5/175 26084
/proc/meminfo: memFree=29608544/32950928 swapFree=67111364/67111528
[pid=25988] ppid=25985 vsize=760176 CPUtime=4483.99 cores=0,2,4,6
/proc/25988/stat : 25988 (techdemo) R 25985 25988 25177 0 -1 4202496 198357 0 0 0 448301 98 0 0 25 0 4 0 600576972 778420224 34468 33554432000 4194304 4797429 140735455726512 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25988/statm: 190044 34468 432 148 0 184973 0
[pid=25988/tid=25996] ppid=25985 vsize=760176 CPUtime=1122.31 cores=0,2,4,6
/proc/25988/task/25996/stat : 25996 (techdemo) R 25985 25988 25177 0 -1 4202560 28018 0 0 0 112218 13 0 0 25 0 4 0 600576974 778420224 34468 33554432000 4194304 4797429 140735455726512 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25988/tid=25997] ppid=25985 vsize=760176 CPUtime=1122.31 cores=0,2,4,6
/proc/25988/task/25997/stat : 25997 (techdemo) R 25985 25988 25177 0 -1 4202560 28282 0 0 0 112219 12 0 0 25 0 4 0 600576974 778420224 34468 33554432000 4194304 4797429 140735455726512 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25988/tid=25998] ppid=25985 vsize=760176 CPUtime=1117.02 cores=0,2,4,6
/proc/25988/task/25998/stat : 25998 (techdemo) R 25985 25988 25177 0 -1 4202560 27218 0 0 0 111685 17 0 0 25 0 4 0 600576974 778420224 34468 33554432000 4194304 4797429 140735455726512 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.99
Current children cumulated vsize (KiB) 760176

[startup+1182.3 s]
/proc/loadavg: 4.03 4.11 5.10 5/175 26085
/proc/meminfo: memFree=29610628/32950928 swapFree=67111364/67111528
[pid=25988] ppid=25985 vsize=760352 CPUtime=4723.71 cores=0,2,4,6
/proc/25988/stat : 25988 (techdemo) R 25985 25988 25177 0 -1 4202496 204775 0 0 0 472269 102 0 0 25 0 4 0 600576972 778600448 33893 33554432000 4194304 4797429 140735455726512 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25988/statm: 190088 33893 423 148 0 185017 0
[pid=25988/tid=25996] ppid=25985 vsize=760352 CPUtime=1182.32 cores=0,2,4,6
/proc/25988/task/25996/stat : 25996 (techdemo) R 25985 25988 25177 0 -1 4202560 28480 0 0 0 118218 14 0 0 25 0 4 0 600576974 778600448 33893 33554432000 4194304 4797429 140735455726512 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25988/tid=25997] ppid=25985 vsize=760352 CPUtime=1182.31 cores=0,2,4,6
/proc/25988/task/25997/stat : 25997 (techdemo) R 25985 25988 25177 0 -1 4202560 28668 0 0 0 118219 12 0 0 25 0 4 0 600576974 778600448 33893 33554432000 4194304 4797429 140735455726512 18446744073709551615 4404780 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25988/tid=25998] ppid=25985 vsize=760352 CPUtime=1176.73 cores=0,2,4,6
/proc/25988/task/25998/stat : 25998 (techdemo) R 25985 25988 25177 0 -1 4202560 28198 0 0 0 117656 17 0 0 25 0 4 0 600576974 778600448 33893 33554432000 4194304 4797429 140735455726512 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4723.71
Current children cumulated vsize (KiB) 760352



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.4 s]
/proc/loadavg: 4.02 4.11 5.08 5/175 26086
/proc/meminfo: memFree=29611120/32950928 swapFree=67111364/67111528
[pid=25988] ppid=25985 vsize=760456 CPUtime=4800.05 cores=0,2,4,6
/proc/25988/stat : 25988 (techdemo) R 25985 25988 25177 0 -1 4202496 207028 0 0 0 479902 103 0 0 25 0 4 0 600576972 778706944 33691 33554432000 4194304 4797429 140735455726512 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25988/statm: 190114 33691 423 148 0 185043 0
[pid=25988/tid=25996] ppid=25985 vsize=760456 CPUtime=1201.42 cores=0,2,4,6
/proc/25988/task/25996/stat : 25996 (techdemo) R 25985 25988 25177 0 -1 4202560 29216 0 0 0 120128 14 0 0 25 0 4 0 600576974 778706944 33691 33554432000 4194304 4797429 140735455726512 18446744073709551615 4523996 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25988/tid=25997] ppid=25985 vsize=760456 CPUtime=1201.43 cores=0,2,4,6
/proc/25988/task/25997/stat : 25997 (techdemo) R 25985 25988 25177 0 -1 4202560 29294 0 0 0 120130 13 0 0 25 0 4 0 600576974 778706944 33691 33554432000 4194304 4797429 140735455726512 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25988/tid=25998] ppid=25985 vsize=760456 CPUtime=1195.75 cores=0,2,4,6
/proc/25988/task/25998/stat : 25998 (techdemo) R 25985 25988 25177 0 -1 4202560 28336 0 0 0 119557 18 0 0 25 0 4 0 600576974 778706944 33691 33554432000 4194304 4797429 140735455726512 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 760456

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

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

[startup+1201.4 s]
/proc/loadavg: 4.02 4.11 5.08 5/175 26086
/proc/meminfo: memFree=29611120/32950928 swapFree=67111364/67111528
[pid=25988] ppid=25985 vsize=760456 CPUtime=4800.05 cores=0,2,4,6
/proc/25988/stat : 25988 (techdemo) R 25985 25988 25177 0 -1 4202496 207028 0 0 0 479902 103 0 0 25 0 4 0 600576972 778706944 33691 33554432000 4194304 4797429 140735455726512 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/25988/statm: 190114 33691 423 148 0 185043 0
[pid=25988/tid=25996] ppid=25985 vsize=760456 CPUtime=1201.42 cores=0,2,4,6
/proc/25988/task/25996/stat : 25996 (techdemo) R 25985 25988 25177 0 -1 4202560 29216 0 0 0 120128 14 0 0 25 0 4 0 600576974 778706944 33691 33554432000 4194304 4797429 140735455726512 18446744073709551615 4523996 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25988/tid=25997] ppid=25985 vsize=760456 CPUtime=1201.43 cores=0,2,4,6
/proc/25988/task/25997/stat : 25997 (techdemo) R 25985 25988 25177 0 -1 4202560 29294 0 0 0 120130 13 0 0 25 0 4 0 600576974 778706944 33691 33554432000 4194304 4797429 140735455726512 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25988/tid=25998] ppid=25985 vsize=760456 CPUtime=1195.75 cores=0,2,4,6
/proc/25988/task/25998/stat : 25998 (techdemo) R 25985 25988 25177 0 -1 4202560 28336 0 0 0 119557 18 0 0 25 0 4 0 600576974 778706944 33691 33554432000 4194304 4797429 140735455726512 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 760456

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.42
CPU time (s): 4800.08
CPU user time (s): 4799.04
CPU system time (s): 1.03784
CPU usage (%): 399.534
Max. virtual memory (cumulated for all children) (KiB): 809196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.04
system time used= 1.03784
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207028
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= 314
involuntary context switches= 21870

runsolver used 1.80472 second user time and 3.86241 second system time

The end

Launcher Data 

Begin job on node115 at 2011-04-29 20:57:43
IDJOB=3172820
IDBENCH=82838
IDSOLVER=1584
FILE ID=node115/3172820-1304103463
RUNJOBID= node115-1304103463-25971
PBS_JOBID= 13170604
Free space on /tmp= 72732 MiB

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

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

MD5SUM BENCH= 6df48a49b3cf6574a0f4cdf651f82d66
RANDOM SEED=860164400

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29738432 kB
Buffers:        800144 kB
Cached:        1924072 kB
SwapCached:          0 kB
Active:         175240 kB
Inactive:      2612548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29738432 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           15992 kB
Writeback:           0 kB
AnonPages:       63488 kB
Mapped:          14496 kB
Slab:           362068 kB
PageTables:       4332 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   186660 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= 72724 MiB
End job on node115 at 2011-04-29 21:17:46