Trace number 3172845

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

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v60-c5340-S1458986015-022.SATISFIABLE.cnf
MD5SUMd549c96b17fdae3a10d8538216eeee78
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.168973
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-3172845-1304106128.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.35/0.12	c asymm  cl-useful: 0/1894/5340 lits-rem:0 time: 0.44
0.35/0.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.01
0.35/0.12	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
0.35/0.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.35/0.12	c Subs w/ non-existent bins:      0 time:  0.00 s
0.35/0.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.35/0.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.35/0.12	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
0.35/0.14	c lits-rem:         0  cl-subs:        0  v-elim:     40  v-fix:    0  time:  0.05 s
0.35/0.14	c learnt bin added due to v-elim: 0
0.35/0.14	c Finding binary XORs  T:     0.00 s  found:       0
0.35/0.14	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.35/0.14	c calculated reachability. Time: 0.00
0.35/0.14	c Calc default polars -  time:   0.00 s pos:      30 undec:       0 neg:      30
0.35/0.14	c =========================================================================================
0.35/0.14	c types(t): F = full restart, N = normal restart
0.35/0.14	c types(t): S = simplification begin/end, E = solution found
0.35/0.14	c restart types(rt): st = static, dy = dynamic
0.35/0.14	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.35/0.14	c  B st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.74/0.22	c Decided on static restart strategy
1.14/0.31	c  N dy    19      4036        60      5340         0      3618     37380     77168     21.48     18.68  --
1.94/0.51	c  N dy    46      8079        60      5340         0      4977     37380    100333     21.53     18.88  --
2.74/0.74	c  N dy    73     12122        60      5340         0      4804     37380     87766     21.93     18.98  --
3.54/0.97	c  N dy   100     16171        60      5340         0      8399     37380    164200     21.46     18.98  --
4.74/1.23	c  N dy   127     20201        60      5340         0      6986     37380    123775     21.59     18.97  --
5.94/1.50	c  N dy   154     24223        60      5340         0     10581     37380    200791     21.51     18.97  --
7.14/1.80	c  N dy   182     28368        60      5340         0      8218     37380    139324     21.12     18.95  --
7.54/1.93	c  S st   193     30001        60      5340         0      9674     37380    170525     21.67     18.96  --
7.54/1.97	c  S st   193     30502        60      5340         0     10132     37380    180409     21.67     18.96  --
7.54/1.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.54/1.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.54/1.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.0M T:  0.08
7.54/1.99	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
7.54/1.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.54/1.99	c Subs w/ non-existent bins:      0 time:  0.00 s
7.54/2.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.54/2.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.54/2.00	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
9.93/2.53	c lits-rem:      1385  cl-subs:     1286  v-elim:     60  v-fix:    0  time:  2.15 s
9.93/2.53	c learnt bin added due to v-elim: 0
9.93/2.53	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
9.93/2.53	c vivif2 --  cl tried     8846 cl shrink        0 lits rem          0 time: 0.00
10.33/2.69	c asymm  cl-useful: 0/1996/5340 lits-rem:0 time: 0.61
10.33/2.69	c calculated reachability. Time: 0.00
10.33/2.69	c  N dy   193     30502        60      5340         0      8846     37380    154225     21.67     18.96  --
10.33/2.69	c  F st   193     30502        60      5340         0      8846     37380    154225     21.67     18.96  --
11.13/2.85	c Decided on static restart strategy
11.93/3.00	c  N dy   212     34549        60      5340         0     12433     37380    230824     21.77     18.95  --
13.15/3.31	c  N dy   239     38559        60      5340         0      9038     37380    149158     21.66     18.95  --
14.32/3.61	c  N dy   266     42577        60      5340         0     12641     37380    226150     21.57     18.96  --
15.53/3.91	c  S st   288     45753        60      5340         0     15496     37380    287881     21.98     18.99  --
15.53/3.97	c  S st   288     46256        60      5340         0     15964     37380    298259     21.98     18.99  --
15.53/3.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.53/3.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.93/4.01	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.01	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
15.93/4.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.93/4.01	c Subs w/ non-existent bins:      0 time:  0.01 s
15.93/4.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.93/4.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.93/4.02	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
19.12/4.80	c lits-rem:      2095  cl-subs:     2063  v-elim:     60  v-fix:    0  time:  3.12 s
19.12/4.80	c learnt bin added due to v-elim: 0
19.12/4.80	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
19.12/4.80	c vivif2 --  cl tried    13901 cl shrink        0 lits rem          0 time: 0.01
19.52/4.97	c asymm  cl-useful: 0/1221/5340 lits-rem:0 time: 0.67
19.52/4.97	c calculated reachability. Time: 0.00
19.52/4.97	c  N dy   288     46256        60      5340         0     13901     37380    251041     21.98     18.99  --
21.12/5.32	c  N dy   315     50330        60      5340         0      9671     37380    153105     21.64     18.99  --
22.31/5.64	c  N dy   342     54379        60      5340         0     13293     37380    229608     20.77     18.96  --
23.91/6.02	c  N dy   370     58518        60      5340         0     17010     37380    309388     21.60     18.96  --
25.11/6.37	c  N dy   397     62540        60      5340         0     11718     37380    186004     21.56     18.98  --
26.70/6.74	c  N dy   425     66693        60      5340         0     15420     37380    264902     21.50     18.99  --
27.90/7.02	c  S st   443     69385        60      5340         0     17815     37380    316739     21.79     19.00  --
27.90/7.08	c  S st   443     69888        60      5340         0     18276     37380    326808     21.79     19.00  --
27.90/7.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.90/7.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
28.30/7.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.1M T:  0.22
28.30/7.14	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
28.30/7.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
28.30/7.14	c Subs w/ non-existent bins:      0 time:  0.01 s
28.30/7.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.30/7.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.30/7.14	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
31.10/7.87	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.49/8.90	c Added 1 vars  tried: 16020 time: 4.14
35.49/8.91	c ORs :      1 avg-s:  0.0 cl-sh:  1189 l-rem:   1189 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:    4.18
35.49/8.92	c lits-rem:      1695  cl-subs:     2306  v-elim:     60  v-fix:    0  time:  7.09 s
35.49/8.92	c learnt bin added due to v-elim: 0
35.49/8.92	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
35.49/8.92	c vivif2 --  cl tried    15970 cl shrink        0 lits rem          0 time: 0.01
35.89/9.09	c asymm  cl-useful: 0/1775/5341 lits-rem:0 time: 0.66
35.89/9.09	c calculated reachability. Time: 0.00
35.89/9.09	c  N dy   443     69888        61      5341         2     15970     37365    274113     21.79     19.00  --
35.89/9.09	c  F st   443     69888        61      5341         2     15970     37365    274113     21.79     19.00  --
37.09/9.30	c Decided on static restart strategy
37.89/9.55	c  N dy   466     74491        61      5341         2     10446     37365    149125     21.54     18.97  --
39.52/9.96	c  N dy   499     79391        61      5341         2     14867     37365    241914     21.84     18.94  --
41.89/10.50	c  N dy   534     84567        61      5341         2     19523     37365    341957     21.95     18.95  --
43.91/11.05	c  N dy   570     90005        61      5341         2     13680     37365    207169     21.57     18.96  --
46.28/11.64	c  N dy   609     95809        61      5341         2     18937     37365    318852     21.21     18.95  --
49.08/12.35	c  N dy   650    101966        61      5341         2     12826     37365    177869     22.20     18.96  --
50.28/12.62	c  S st   670    104833        61      5341         2     15391     37365    233207     21.66     18.97  --
50.28/12.68	c  S st   670    105339        61      5341         2     15854     37365    243388     21.66     18.97  --
50.28/12.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
50.28/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.22
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.01 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.08/13.36	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
53.08/13.37	c lits-rem:      1090  cl-subs:     1267  v-elim:     60  v-fix:    0  time:  2.49 s
53.08/13.37	c learnt bin added due to v-elim: 0
53.08/13.37	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
53.08/13.37	c vivif2 --  cl tried    14587 cl shrink        0 lits rem          0 time: 0.01
53.88/13.52	c asymm  cl-useful: 0/1405/5341 lits-rem:0 time: 0.62
53.88/13.52	c calculated reachability. Time: 0.00
53.88/13.52	c  N dy   670    105339        61      5341         2     14587     37365    218017     21.66     18.97  --
56.69/14.25	c  N dy   716    112144        61      5341         2     20712     37365    347873     21.25     18.95  --
59.87/15.06	c  N dy   765    119403        61      5341         2     14729     37365    208869     21.60     18.95  --
63.46/15.90	c  N dy   816    127100        61      5341         2     21633     37365    355389     20.90     18.94  --
67.45/16.92	c  N dy   871    135249        61      5341         2     15546     37365    217152     21.42     18.93  --
71.05/17.90	c  N dy   929    143924        61      5341         2     23358     37365    383739     20.96     18.92  --
76.24/19.13	c  N dy   991    153207        61      5341         2     17317     37365    242172     21.12     18.91  --
78.66/19.71	c  S st  1024    158008        61      5341         2     21599     37365    333894     21.70     18.91  --
78.66/19.78	c  S st  1024    158509        61      5341         2     22060     37365    344302     21.70     18.91  --
78.66/19.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
78.66/19.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
79.07/19.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.5M T:  0.33
79.07/19.87	c Calc non-exist non-lernt bins v-fix:     0 done:     61 time:  0.00 s
79.07/19.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
79.07/19.87	c Subs w/ non-existent bins:      0 time:  0.01 s
79.07/19.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
79.07/19.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.07/19.88	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
82.64/20.72	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.64/20.73	c lits-rem:      1484  cl-subs:     2136  v-elim:     60  v-fix:    0  time:  3.39 s
82.64/20.73	c learnt bin added due to v-elim: 0
82.64/20.73	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
82.64/20.73	c vivif2 --  cl tried    19924 cl shrink        0 lits rem          0 time: 0.01
83.06/20.89	c asymm  cl-useful: 0/1003/5341 lits-rem:0 time: 0.64
83.06/20.89	c calculated reachability. Time: 0.00
83.06/20.89	c  N dy  1024    158509        61      5341         2     19924     37365    300832     21.70     18.91  --
89.03/22.31	c  N dy  1093    168771        61      5341         2     29145     37365    499072     21.56     18.92  --
94.22/23.62	c  N dy  1165    179567        61      5341         2     23712     37365    370252     21.71     18.93  --
100.63/25.30	c  N dy  1243    191124        61      5341         2     17968     37365    236460     21.72     18.93  --
107.40/26.96	c  N dy  1325    203337        61      5341         2     28907     37365    468770     21.27     18.93  --
114.99/28.84	c  N dy  1413    216416        61      5341         2     23647     37365    345617     21.27     18.92  --
123.79/31.08	c  N dy  1506    230289        65      5341        11     18150     37381    219697     21.75     18.93  --
127.78/32.07	c  S st  1557    237766        65      5341        11     24908     37381    363991     21.45     18.93  --
128.18/32.15	c  S st  1557    238268        65      5341        11     25374     37381    374189     21.45     18.93  --
128.18/32.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
128.18/32.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
128.58/32.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      1 BRemL:      0 BRemN:      0 CBin:       0 P:  7.6M T:  0.46
128.58/32.27	c Calc non-exist non-lernt bins v-fix:     0 done:     65 time:  0.00 s
128.58/32.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
128.58/32.27	c Subs w/ non-existent bins:      0 time:  0.02 s
128.58/32.28	c Replacing        1 vars Replaced     1465 lits Time:     0.04 s 
128.58/32.29	c bin-w-bin subsume rem            2 bins  time:  0.00 s
128.58/32.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
128.58/32.29	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
132.57/33.29	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:      1220  cl-subs:     2328  v-elim:     60  v-fix:    0  time:  4.03 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.30	c vivif2 --  cl tried    23046 cl shrink        0 lits rem          0 time: 0.01
133.37/33.47	c asymm  cl-useful: 0/727/5341 lits-rem:0 time: 0.67
133.37/33.47	c calculated reachability. Time: 0.00
133.37/33.47	c  N dy  1557    238268        64      5341         8     23046     37377    328961     21.45     18.93  --
143.35/35.98	c  N dy  1661    253604        64      5341         8     36879     37377    623764     21.59     18.89  --
153.36/38.43	c  N dy  1771    269832        64      5341         8     32727     37377    525048     22.18     18.87  --
164.53/41.23	c  N dy  1887    287063        64      5341         8     28500     37377    419531     22.07     18.85  --
177.71/44.54	c  N dy  2012    305511        64      5341         8     24438     37377    318876     21.32     18.83  --
192.09/48.17	c  N dy  2144    325061        64      5341         8     42079     37377    696337     21.20     18.81  --
206.09/51.67	c  N dy  2279    345073        64      5341         8     38568     37377    612254     21.73     18.80  --
215.65/54.09	c  S st  2362    357402        68      5341        24     27097     37401    353832     21.67     18.78  --
216.05/54.18	c  S st  2362    357908        68      5341        24     27558     37401    364111     21.67     18.78  --
216.05/54.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
216.05/54.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
216.85/54.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  9.2M T:  0.51
216.85/54.31	c Calc non-exist non-lernt bins v-fix:     0 done:     68 time:  0.00 s
216.85/54.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
216.85/54.31	c Subs w/ non-existent bins:      0 time:  0.02 s
216.85/54.31	c Replacing        2 vars Replaced      167 lits Time:     0.01 s 
216.85/54.32	c bin-w-bin subsume rem            4 bins  time:  0.00 s
216.85/54.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
216.85/54.32	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
220.45/55.27	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.45/55.28	c lits-rem:       897  cl-subs:     1817  v-elim:     60  v-fix:    0  time:  3.83 s
220.45/55.28	c learnt bin added due to v-elim: 0
220.45/55.28	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
220.45/55.28	c vivif2 --  cl tried    25741 cl shrink        0 lits rem          0 time: 0.02
221.25/55.44	c asymm  cl-useful: 0/1205/5341 lits-rem:0 time: 0.62
221.25/55.44	c calculated reachability. Time: 0.00
221.25/55.44	c  N dy  2362    357908        66      5341        12     25741     37385    333033     21.67     18.78  --
236.85/59.31	c  N dy  2497    377924        66      5341        12     43871     37385    721095     21.43     18.75  --
252.01/63.15	c  N dy  2633    398068        66      5341        12     38734     37385    596510     21.56     18.72  --
268.79/67.31	c  N dy  2768    418086        66      5341        12     32477     37385    451751     21.43     18.70  --
287.17/71.99	c  N dy  2904    438116        66      5341        12     50679     37385    843402     21.82     18.68  --
303.54/76.02	c  N dy  3040    458199        66      5341        12     43550     37385    679019     21.80     18.66  --
322.31/80.70	c  N dy  3176    478278        66      5341        12     35553     37385    497803     21.91     18.65  --
340.70/85.35	c  N dy  3312    498317        70      5341        29     53814     37409    889277     21.66     18.63  --
357.87/89.62	c  N dy  3448    518424        70      5341        31     44847     37411    687669     21.49     18.61  --
376.64/94.30	c  S st  3573    536862        70      5341        31     33360     37411    428401     21.62     18.59  --
377.04/94.42	c  S st  3573    537363        70      5341        31     33823     37411    438357     21.62     18.59  --
377.04/94.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
377.04/94.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
377.46/94.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 12.5M T:  0.71
377.46/94.60	c Calc non-exist non-lernt bins v-fix:     0 done:     70 time:  0.00 s
377.46/94.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
377.86/94.61	c Subs w/ non-existent bins:      0 time:  0.02 s
377.86/94.61	c Replacing        3 vars Replaced      168 lits Time:     0.01 s 
377.86/94.62	c bin-w-bin subsume rem            6 bins  time:  0.00 s
377.86/94.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
377.86/94.62	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
384.23/96.21	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
408.22/102.22	c Added 1 vars  tried: 80000 time: 24.02
408.22/102.25	c ORs :      1 avg-s:  0.0 cl-sh:  2481 l-rem:   2481 b-add:      3 v-rep:   0 cl-rem: 0 avg s: nan T:   24.15
408.22/102.26	c lits-rem:      1026  cl-subs:     1834  v-elim:     60  v-fix:    0  time: 30.54 s
408.22/102.26	c learnt bin added due to v-elim: 0
408.22/102.26	c vivif2 --  cl tried     5342 cl shrink        0 lits rem          0 time: 0.00
408.22/102.27	c vivif2 --  cl tried    31988 cl shrink        0 lits rem          0 time: 0.02
409.00/102.43	c asymm  cl-useful: 0/869/5342 lits-rem:0 time: 0.64
409.00/102.43	c calculated reachability. Time: 0.00
409.00/102.43	c  N dy  3573    537363        68      5342        17     31988     37376    404509     21.62     18.59  --
409.00/102.43	c  F st  3573    537363        68      5342        17     31988     37376    404509     21.62     18.59  --
410.60/102.81	c Decided on static restart strategy
426.97/106.90	c  N dy  3701    557487        68      5342        18     50295     37376    797119     21.41     18.58  --
446.16/111.79	c  N dy  3837    577586        68      5342        18     39630     37376    554235     21.46     18.57  --
468.52/117.31	c  N dy  3973    597706        68      5342        18     57897     37376    945121     21.64     18.57  --
486.50/121.85	c  N dy  4109    617808        71      5342        28     46188     37392    682730     21.81     18.56  --
685.45/171.65	c  N dy  4117    806044        71      5342        28     53061     37392    793248     21.19     17.72  --
685.45/171.68	c  S st  4117    806044        71      5342        28     53061     37392    793248     21.19     17.72  --
686.23/171.86	c  S st  4117    806547        75      5342        40     53541     37412    803752     21.19     17.72  --
686.23/171.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
686.23/171.86	c Cache  BProp: 0 Set: 0 BXProp: 2 T: 0.00
687.83/172.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 20.8M T:  1.44
687.83/172.22	c Calc non-exist non-lernt bins v-fix:     0 done:     75 time:  0.00 s
687.83/172.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
687.83/172.23	c Subs w/ non-existent bins:      0 time:  0.04 s
687.83/172.29	c Replacing        3 vars Replaced     4403 lits Time:     0.24 s 
688.22/172.30	c bin-w-bin subsume rem            6 bins  time:  0.00 s
688.22/172.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
688.22/172.31	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
699.40/175.17	c ORs :      2 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 21.0 T:    0.06
699.40/175.18	c lits-rem:      1721  cl-subs:     5024  v-elim:     60  v-fix:    0  time: 11.49 s
699.40/175.18	c learnt bin added due to v-elim: 0
699.40/175.19	c vivif2 --  cl tried     5342 cl shrink        0 lits rem          0 time: 0.00
699.40/175.19	c vivif2 --  cl tried    48516 cl shrink        0 lits rem          0 time: 0.04
699.80/175.28	c asymm  cl-useful: 0/306/5342 lits-rem:0 time: 0.34
699.80/175.28	c calculated reachability. Time: 0.00
699.80/175.28	c  N dy  4117    806547        72      5342        24     48516     37392    710373     21.19     17.72  --
724.18/181.38	c  N dy  4254    826692        72      5342        24     66854     37392   1107789     21.80     17.74  --
746.14/186.88	c  N dy  4390    846798        72      5342        24     50209     37392    721445     21.27     17.75  --
1226.29/307.08	c  N dy  4439   1209821        72      5342        24     64384     37392    978660     21.69     16.68  --
1226.69/307.12	c  S st  4439   1209821        72      5342        24     64384     37392    978660     21.69     16.68  --
1227.49/307.38	c  S st  4439   1210324        72      5342        24     64842     37392    988931     21.69     16.68  --
1227.49/307.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1227.49/307.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1229.49/307.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 26.6M T:  1.98
1229.49/307.89	c Calc non-exist non-lernt bins v-fix:     0 done:     72 time:  0.01 s
1229.49/307.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1229.49/307.90	c Subs w/ non-existent bins:      0 time:  0.05 s
1229.91/307.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1229.91/307.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1229.91/307.92	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1246.27/312.08	c ORs :      2 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 25.0 T:    0.08
1301.40/325.85	c Added 1 vars  tried: 80000 time: 55.03
1303.39/326.33	c ORs :      1 avg-s:  0.0 cl-sh: 14113 l-rem:  14113 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   56.92
1303.39/326.34	c lits-rem:      1878  cl-subs:     5178  v-elim:     60  v-fix:    0  time: 73.61 s
1303.39/326.34	c learnt bin added due to v-elim: 0
1303.39/326.34	c vivif2 --  cl tried     5343 cl shrink        0 lits rem          0 time: 0.00
1303.39/326.36	c vivif2 --  cl tried    59663 cl shrink        0 lits rem          0 time: 0.05
1303.79/326.45	c asymm  cl-useful: 0/278/5343 lits-rem:0 time: 0.37
1303.79/326.45	c calculated reachability. Time: 0.00
1303.79/326.45	c  N dy  4439   1210324        73      5343        26     59663     37379    870982     21.69     16.68  --
2109.90/528.29	c  N dy  4497   1710324        73      5343        26     87769     37379   1321797     19.26     16.32  --
2110.30/528.34	c  S st  4497   1710324        73      5343        26     87769     37379   1321797     19.26     16.32  --
2111.50/528.66	c  S st  4497   1710829        76      5343        33     88251     37391   1332058     19.26     16.32  --
2111.50/528.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2111.50/528.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2114.29/529.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 37.3M T:  2.75
2114.29/529.36	c Calc non-exist non-lernt bins v-fix:     0 done:     76 time:  0.01 s
2114.29/529.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2114.29/529.37	c Subs w/ non-existent bins:      0 time:  0.07 s
2114.69/529.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2114.69/529.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2114.69/529.40	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2151.44/538.62	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.19
2151.44/538.64	c lits-rem:      1281  cl-subs:    14775  v-elim:     60  v-fix:    0  time: 36.91 s
2151.44/538.64	c learnt bin added due to v-elim: 0
2151.44/538.64	c vivif2 --  cl tried     5343 cl shrink        0 lits rem          0 time: 0.00
2151.44/538.66	c vivif2 --  cl tried    73476 cl shrink        0 lits rem          0 time: 0.06
2151.84/538.76	c asymm  cl-useful: 0/171/5343 lits-rem:0 time: 0.42
2151.84/538.77	c calculated reachability. Time: 0.00
2151.84/538.77	c  N dy  4497   1710829        76      5343        33     73476     37391   1081634     19.26     16.32  --
3159.67/791.07	c  N dy  4598   2210829        79      5343        39     91679     37403   1438098     21.80     15.63  --
3160.07/791.13	c  S st  4598   2210829        79      5343        39     91679     37403   1438098     21.80     15.63  --
3160.07/791.13	c Finding binary XORs  T:     0.00 s  found:       1
3160.07/791.14	c Replacing        1 vars Replaced       13 lits Time:     0.03 s 
3161.27/791.47	c  S st  4598   2211330        81      5343        45     92158     37415   1448530     21.80     15.63  --
3161.27/791.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3161.27/791.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3164.86/792.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 41.4M T:  3.32
3164.86/792.31	c Calc non-exist non-lernt bins v-fix:     0 done:     81 time:  0.01 s
3164.86/792.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3164.86/792.33	c Subs w/ non-existent bins:      0 time:  0.09 s
3164.86/792.36	c bin-w-bin subsume rem            2 bins  time:  0.00 s
3164.86/792.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3164.86/792.36	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3207.62/803.03	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 21.0 T:    0.17
3297.48/825.58	c Added 1 vars  tried: 80000 time: 90.08
3301.88/826.65	c ORs :      1 avg-s:  0.0 cl-sh: 22705 l-rem:  22705 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   94.34
3301.88/826.68	c lits-rem:      7359  cl-subs:     6623  v-elim:     60  v-fix:    0  time: 137.08 s
3301.88/826.68	c learnt bin added due to v-elim: 0
3301.88/826.68	c vivif2 --  cl tried     5344 cl shrink        0 lits rem          0 time: 0.00
3302.28/826.70	c vivif2 --  cl tried    85534 cl shrink        0 lits rem          0 time: 0.09
3302.68/826.80	c asymm  cl-useful: 0/195/5344 lits-rem:0 time: 0.42
3302.68/826.81	c calculated reachability. Time: 0.00
3302.68/826.81	c  N dy  4598   2211330        82      5344        45     85534     37401   1295622     21.80     15.63  --
4374.83/1095.27	c  N dy  4612   2711330        82      5344        45    104462     37401   1591176     19.06     15.59  --
4375.22/1095.34	c  S st  4612   2711330        82      5344        45    104462     37401   1591176     19.06     15.59  --
4376.82/1095.72	c  S st  4612   2711833        82      5344        45    104946     37401   1601523     19.06     15.59  --
4376.82/1095.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4376.82/1095.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4380.44/1096.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 50.2M T:  3.79
4380.44/1096.68	c Calc non-exist non-lernt bins v-fix:     0 done:     82 time:  0.01 s
4380.44/1096.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4380.84/1096.70	c Subs w/ non-existent bins:      0 time:  0.09 s
4380.84/1096.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4380.84/1096.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4380.84/1096.74	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
4436.74/1110.79	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.26
4437.14/1110.82	c lits-rem:      2579  cl-subs:    16148  v-elim:     60  v-fix:    0  time: 56.24 s
4437.14/1110.82	c learnt bin added due to v-elim: 0
4437.14/1110.82	c vivif2 --  cl tried     5344 cl shrink        0 lits rem          0 time: 0.00
4437.14/1110.84	c vivif2 --  cl tried    88798 cl shrink        0 lits rem          0 time: 0.08
4437.55/1110.94	c asymm  cl-useful: 0/135/5344 lits-rem:0 time: 0.43
4437.55/1110.95	c calculated reachability. Time: 0.00
4437.55/1110.95	c  N dy  4612   2711833        82      5344        45     88798     37401   1322125     19.06     15.59  --
4437.55/1110.95	c  F st  4612   2711833        82      5344        45     88798     37401   1322125     19.06     15.59  --
4441.95/1112.03	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-3172845-1304106128/watcher-3172845-1304106128 -o /tmp/evaluation-result-3172845-1304106128/solver-3172845-1304106128 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172845-1304106128.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: 6.89 7.74 6.60 3/176 22608
/proc/meminfo: memFree=30823484/32951124 swapFree=67111464/67111528
[pid=22608] ppid=22606 vsize=50144 CPUtime=0 cores=0,2,4,6
/proc/22608/stat : 22608 (techdemo) R 22606 22608 22571 0 -1 4202496 674 0 0 0 0 0 0 0 23 0 1 0 600843379 51347456 605 33554432000 4194304 4797429 140733763995136 18446744073709551615 260020092683 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/22608/statm: 12536 605 347 148 0 7465 0

[startup+0.0253 s]
/proc/loadavg: 6.89 7.74 6.60 3/176 22608
/proc/meminfo: memFree=30823484/32951124 swapFree=67111464/67111528
[pid=22608] ppid=22606 vsize=147376 CPUtime=0.05 cores=0,2,4,6
/proc/22608/stat : 22608 (techdemo) R 22606 22608 22571 0 -1 4202496 1111 0 0 0 5 0 0 0 25 0 4 0 600843379 150913024 1017 33554432000 4194304 4797429 140733763995136 18446744073709551615 4428981 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22608/statm: 36844 1017 372 148 0 31773 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 147376

[startup+0.100286 s]
/proc/loadavg: 6.89 7.74 6.60 3/176 22608
/proc/meminfo: memFree=30823484/32951124 swapFree=67111464/67111528
[pid=22608] ppid=22606 vsize=147640 CPUtime=0.35 cores=0,2,4,6
/proc/22608/stat : 22608 (techdemo) R 22606 22608 22571 0 -1 4202496 1158 0 0 0 35 0 0 0 25 0 4 0 600843379 151183360 1064 33554432000 4194304 4797429 140733763995136 18446744073709551615 4430087 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22608/statm: 36910 1064 372 148 0 31839 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 147640

[startup+0.30025 s]
/proc/loadavg: 6.89 7.74 6.60 3/176 22608
/proc/meminfo: memFree=30823484/32951124 swapFree=67111464/67111528
[pid=22608] ppid=22606 vsize=675232 CPUtime=1.14 cores=0,2,4,6
/proc/22608/stat : 22608 (techdemo) R 22606 22608 22571 0 -1 4202496 2501 0 0 0 114 0 0 0 18 0 4 0 600843379 691437568 2193 33554432000 4194304 4797429 140733763995136 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22608/statm: 168808 2193 408 148 0 163737 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 675232

[startup+0.700178 s]
/proc/loadavg: 6.89 7.74 6.60 3/176 22608
/proc/meminfo: memFree=30823484/32951124 swapFree=67111464/67111528
[pid=22608] ppid=22606 vsize=679484 CPUtime=2.74 cores=0,2,4,6
/proc/22608/stat : 22608 (techdemo) R 22606 22608 22571 0 -1 4202496 4749 0 0 0 274 0 0 0 18 0 4 0 600843379 695791616 3585 33554432000 4194304 4797429 140733763995136 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22608/statm: 169871 3585 413 148 0 164800 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 679484

[startup+1.50103 s]
/proc/loadavg: 6.98 7.74 6.61 10/184 22616
/proc/meminfo: memFree=30794404/32951124 swapFree=67111464/67111528
[pid=22608] ppid=22606 vsize=680608 CPUtime=5.94 cores=0,2,4,6
/proc/22608/stat : 22608 (techdemo) R 22606 22608 22571 0 -1 4202496 5779 0 0 0 594 0 0 0 20 0 4 0 600843379 696942592 4335 33554432000 4194304 4797429 140733763995136 18446744073709551615 4390143 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22608/statm: 170152 4335 414 148 0 165081 0
[pid=22608/tid=22614] ppid=22606 vsize=680608 CPUtime=1.48 cores=0,2,4,6
/proc/22608/task/22614/stat : 22614 (techdemo) R 22606 22608 22571 0 -1 4202560 1108 0 0 0 148 0 0 0 19 0 4 0 600843380 696942592 4336 33554432000 4194304 4797429 140733763995136 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22608/tid=22615] ppid=22606 vsize=680608 CPUtime=1.48 cores=0,2,4,6
/proc/22608/task/22615/stat : 22615 (techdemo) R 22606 22608 22571 0 -1 4202560 1103 0 0 0 148 0 0 0 19 0 4 0 600843380 696942592 4336 33554432000 4194304 4797429 140733763995136 18446744073709551615 4425635 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22608/tid=22616] ppid=22606 vsize=680608 CPUtime=1.47 cores=0,2,4,6
/proc/22608/task/22616/stat : 22616 (techdemo) R 22606 22608 22571 0 -1 4202560 1024 0 0 0 147 0 0 0 25 0 4 0 600843380 696942592 4336 33554432000 4194304 4797429 140733763995136 18446744073709551615 4424725 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 680608

[startup+3.10073 s]
/proc/loadavg: 6.98 7.74 6.61 10/184 22616
/proc/meminfo: memFree=30786344/32951124 swapFree=67111464/67111528
[pid=22608] ppid=22606 vsize=683636 CPUtime=12.33 cores=0,2,4,6
/proc/22608/stat : 22608 (techdemo) R 22606 22608 22571 0 -1 4202496 7459 0 0 0 1233 0 0 0 24 0 4 0 600843379 700043264 4943 33554432000 4194304 4797429 140733763995136 18446744073709551615 4424622 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22608/statm: 170909 4943 416 148 0 165838 0
[pid=22608/tid=22614] ppid=22606 vsize=683636 CPUtime=3.08 cores=0,2,4,6
/proc/22608/task/22614/stat : 22614 (techdemo) R 22606 22608 22571 0 -1 4202560 1426 0 0 0 308 0 0 0 25 0 4 0 600843380 700043264 4943 33554432000 4194304 4797429 140733763995136 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22608/tid=22615] ppid=22606 vsize=683636 CPUtime=3.08 cores=0,2,4,6
/proc/22608/task/22615/stat : 22615 (techdemo) R 22606 22608 22571 0 -1 4202560 1392 0 0 0 308 0 0 0 25 0 4 0 600843380 700043264 4943 33554432000 4194304 4797429 140733763995136 18446744073709551615 4524386 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22608/tid=22616] ppid=22606 vsize=683636 CPUtime=3.07 cores=0,2,4,6
/proc/22608/task/22616/stat : 22616 (techdemo) R 22606 22608 22571 0 -1 4202560 1300 0 0 0 307 0 0 0 25 0 4 0 600843380 700043264 4943 33554432000 4194304 4797429 140733763995136 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 683636

[startup+6.30115 s]
/proc/loadavg: 7.06 7.75 6.62 10/184 22616
/proc/meminfo: memFree=30777352/32951124 swapFree=67111464/67111528
[pid=22608] ppid=22606 vsize=687160 CPUtime=25.11 cores=0,2,4,6
/proc/22608/stat : 22608 (techdemo) R 22606 22608 22571 0 -1 4202496 9940 0 0 0 2510 1 0 0 25 0 4 0 600843379 703651840 6208 33554432000 4194304 4797429 140733763995136 18446744073709551615 4424592 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22608/statm: 171790 6208 416 148 0 166719 0
[pid=22608/tid=22614] ppid=22606 vsize=687160 CPUtime=6.28 cores=0,2,4,6
/proc/22608/task/22614/stat : 22614 (techdemo) R 22606 22608 22571 0 -1 4202560 1645 0 0 0 628 0 0 0 25 0 4 0 600843380 703651840 6208 33554432000 4194304 4797429 140733763995136 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22608/tid=22615] ppid=22606 vsize=687160 CPUtime=6.27 cores=0,2,4,6
/proc/22608/task/22615/stat : 22615 (techdemo) R 22606 22608 22571 0 -1 4202560 1614 0 0 0 627 0 0 0 25 0 4 0 600843380 703651840 6208 33554432000 4194304 4797429 140733763995136 18446744073709551615 4345227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22608/tid=22616] ppid=22606 vsize=687160 CPUtime=6.25 cores=0,2,4,6
/proc/22608/task/22616/stat : 22616 (techdemo) R 22606 22608 22571 0 -1 4202560 1586 0 0 0 625 0 0 0 25 0 4 0 600843380 703651840 6208 33554432000 4194304 4797429 140733763995136 18446744073709551615 4351624 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) 687160

[startup+12.701 s]
/proc/loadavg: 7.14 7.75 6.62 10/184 22617
/proc/meminfo: memFree=30766432/32951124 swapFree=67111464/67111528
[pid=22608] ppid=22606 vsize=691496 CPUtime=50.68 cores=0,2,4,6
/proc/22608/stat : 22608 (techdemo) R 22606 22608 22571 0 -1 4202496 14224 0 0 0 5066 2 0 0 25 0 4 0 600843379 708091904 6996 33554432000 4194304 4797429 140733763995136 18446744073709551615 4430056 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22608/statm: 172874 6996 419 148 0 167803 0
[pid=22608/tid=22614] ppid=22606 vsize=691496 CPUtime=12.68 cores=0,2,4,6
/proc/22608/task/22614/stat : 22614 (techdemo) R 22606 22608 22571 0 -1 4202560 2342 0 0 0 1268 0 0 0 25 0 4 0 600843380 708091904 6996 33554432000 4194304 4797429 140733763995136 18446744073709551615 4423098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22608/tid=22615] ppid=22606 vsize=691496 CPUtime=12.67 cores=0,2,4,6
/proc/22608/task/22615/stat : 22615 (techdemo) R 22606 22608 22571 0 -1 4202560 2321 0 0 0 1267 0 0 0 25 0 4 0 600843380 708091904 6996 33554432000 4194304 4797429 140733763995136 18446744073709551615 4424614 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22608/tid=22616] ppid=22606 vsize=691496 CPUtime=12.62 cores=0,2,4,6
/proc/22608/task/22616/stat : 22616 (techdemo) R 22606 22608 22571 0 -1 4202560 2271 0 0 0 1262 0 0 0 25 0 4 0 600843380 708091904 6996 33554432000 4194304 4797429 140733763995136 18446744073709551615 4429114 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) 691496

[startup+25.5006 s]
/proc/loadavg: 7.33 7.76 6.65 10/184 22617
/proc/meminfo: memFree=30753940/32951124 swapFree=67111464/67111528
[pid=22608] ppid=22606 vsize=694700 CPUtime=101.81 cores=0,2,4,6
/proc/22608/stat : 22608 (techdemo) R 22606 22608 22571 0 -1 4202496 22036 0 0 0 10178 3 0 0 25 0 4 0 600843379 711372800 8578 33554432000 4194304 4797429 140733763995136 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22608/statm: 173675 8578 419 148 0 168604 0
[pid=22608/tid=22614] ppid=22606 vsize=694700 CPUtime=25.47 cores=0,2,4,6
/proc/22608/task/22614/stat : 22614 (techdemo) R 22606 22608 22571 0 -1 4202560 4826 0 0 0 2547 0 0 0 25 0 4 0 600843380 711372800 8578 33554432000 4194304 4797429 140733763995136 18446744073709551615 4495473 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22608/tid=22615] ppid=22606 vsize=694700 CPUtime=25.47 cores=0,2,4,6
/proc/22608/task/22615/stat : 22615 (techdemo) R 22606 22608 22571 0 -1 4202560 3110 0 0 0 2547 0 0 0 25 0 4 0 600843380 711372800 8578 33554432000 4194304 4797429 140733763995136 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22608/tid=22616] ppid=22606 vsize=694700 CPUtime=25.35 cores=0,2,4,6
/proc/22608/task/22616/stat : 22616 (techdemo) R 22606 22608 22571 0 -1 4202560 2961 0 0 0 2535 0 0 0 25 0 4 0 600843380 711372800 8578 33554432000 4194304 4797429 140733763995136 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 694700

[startup+51.1009 s]
/proc/loadavg: 7.63 7.80 6.69 10/184 22617
/proc/meminfo: memFree=30734748/32951124 swapFree=67111464/67111528
[pid=22608] ppid=22606 vsize=701544 CPUtime=204.08 cores=0,2,4,6
/proc/22608/stat : 22608 (techdemo) R 22606 22608 22571 0 -1 4202496 33242 0 0 0 20402 6 0 0 25 0 4 0 600843379 718381056 11116 33554432000 4194304 4797429 140733763995136 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22608/statm: 175386 11116 421 148 0 170315 0
[pid=22608/tid=22614] ppid=22606 vsize=701544 CPUtime=51.08 cores=0,2,4,6
/proc/22608/task/22614/stat : 22614 (techdemo) R 22606 22608 22571 0 -1 4202560 6799 0 0 0 5107 1 0 0 25 0 4 0 600843380 718381056 11116 33554432000 4194304 4797429 140733763995136 18446744073709551615 4524360 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22608/tid=22615] ppid=22606 vsize=701544 CPUtime=51.07 cores=0,2,4,6
/proc/22608/task/22615/stat : 22615 (techdemo) R 22606 22608 22571 0 -1 4202560 5481 0 0 0 5106 1 0 0 25 0 4 0 600843380 718381056 11116 33554432000 4194304 4797429 140733763995136 18446744073709551615 4495525 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22608/tid=22616] ppid=22606 vsize=701544 CPUtime=50.81 cores=0,2,4,6
/proc/22608/task/22616/stat : 22616 (techdemo) R 22606 22608 22571 0 -1 4202560 4318 0 0 0 5081 0 0 0 25 0 4 0 600843380 718381056 11116 33554432000 4194304 4797429 140733763995136 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 701544

[startup+102.306 s]
/proc/loadavg: 7.92 7.84 6.76 10/184 22619
/proc/meminfo: memFree=30713304/32951124 swapFree=67111464/67111528
[pid=22608] ppid=22606 vsize=710612 CPUtime=408.62 cores=0,2,4,6
/proc/22608/stat : 22608 (techdemo) R 22606 22608 22571 0 -1 4202496 48413 0 0 0 40851 11 0 0 25 0 4 0 600843379 727666688 13251 33554432000 4194304 4797429 140733763995136 18446744073709551615 4428866 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22608/statm: 177653 13251 421 148 0 172582 0
[pid=22608/tid=22614] ppid=22606 vsize=710612 CPUtime=102.28 cores=0,2,4,6
/proc/22608/task/22614/stat : 22614 (techdemo) R 22606 22608 22571 0 -1 4202560 8590 0 0 0 10227 1 0 0 25 0 4 0 600843380 727666688 13251 33554432000 4194304 4797429 140733763995136 18446744073709551615 4429184 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22608/tid=22615] ppid=22606 vsize=710612 CPUtime=102.28 cores=0,2,4,6
/proc/22608/task/22615/stat : 22615 (techdemo) R 22606 22608 22571 0 -1 4202560 7682 0 0 0 10226 2 0 0 25 0 4 0 600843380 727666688 13251 33554432000 4194304 4797429 140733763995136 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22608/tid=22616] ppid=22606 vsize=710612 CPUtime=101.74 cores=0,2,4,6
/proc/22608/task/22616/stat : 22616 (techdemo) R 22606 22608 22571 0 -1 4202560 6813 0 0 0 10173 1 0 0 25 0 4 0 600843380 727666688 13251 33554432000 4194304 4797429 140733763995136 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 710612

[startup+162.3 s]
/proc/loadavg: 7.97 7.87 6.83 10/184 22621
/proc/meminfo: memFree=30696620/32951124 swapFree=67111464/67111528
[pid=22608] ppid=22606 vsize=712872 CPUtime=648.28 cores=0,2,4,6
/proc/22608/stat : 22608 (techdemo) R 22606 22608 22571 0 -1 4202496 61916 0 0 0 64812 16 0 0 25 0 4 0 600843379 729980928 15167 33554432000 4194304 4797429 140733763995136 18446744073709551615 4331522 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22608/statm: 178218 15167 421 148 0 173147 0
[pid=22608/tid=22614] ppid=22606 vsize=712872 CPUtime=162.28 cores=0,2,4,6
/proc/22608/task/22614/stat : 22614 (techdemo) R 22606 22608 22571 0 -1 4202560 10087 0 0 0 16226 2 0 0 25 0 4 0 600843380 729980928 15167 33554432000 4194304 4797429 140733763995136 18446744073709551615 4424768 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22608/tid=22615] ppid=22606 vsize=712872 CPUtime=162.28 cores=0,2,4,6
/proc/22608/task/22615/stat : 22615 (techdemo) R 22606 22608 22571 0 -1 4202560 9285 0 0 0 16225 3 0 0 25 0 4 0 600843380 729980928 15167 33554432000 4194304 4797429 140733763995136 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22608/tid=22616] ppid=22606 vsize=712872 CPUtime=161.42 cores=0,2,4,6
/proc/22608/task/22616/stat : 22616 (techdemo) R 22606 22608 22571 0 -1 4202560 8352 0 0 0 16140 2 0 0 25 0 4 0 600843380 729980928 15167 33554432000 4194304 4797429 140733763995136 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 648.28
Current children cumulated vsize (KiB) 712872

[startup+222.3 s]
/proc/loadavg: 7.99 7.89 6.90 10/184 22622
/proc/meminfo: memFree=30674684/32951124 swapFree=67111464/67111528
[pid=22608] ppid=22606 vsize=720732 CPUtime=887.95 cores=0,2,4,6
/proc/22608/stat : 22608 (techdemo) R 22606 22608 22571 0 -1 4202496 75111 0 0 0 88773 22 0 0 25 0 4 0 600843379 738029568 17108 33554432000 4194304 4797429 140733763995136 18446744073709551615 4422918 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22608/statm: 180183 17108 421 148 0 175112 0
[pid=22608/tid=22614] ppid=22606 vsize=720732 CPUtime=222.28 cores=0,2,4,6
/proc/22608/task/22614/stat : 22614 (techdemo) R 22606 22608 22571 0 -1 4202560 11644 0 0 0 22225 3 0 0 25 0 4 0 600843380 738029568 17108 33554432000 4194304 4797429 140733763995136 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22608/tid=22615] ppid=22606 vsize=720732 CPUtime=222.27 cores=0,2,4,6
/proc/22608/task/22615/stat : 22615 (techdemo) R 22606 22608 22571 0 -1 4202560 10898 0 0 0 22224 3 0 0 25 0 4 0 600843380 738029568 17108 33554432000 4194304 4797429 140733763995136 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22608/tid=22616] ppid=22606 vsize=720732 CPUtime=221.09 cores=0,2,4,6
/proc/22608/task/22616/stat : 22616 (techdemo) R 22606 22608 22571 0 -1 4202560 9927 0 0 0 22106 3 0 0 25 0 4 0 600843380 738029568 17108 33554432000 4194304 4797429 140733763995136 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 887.95
Current children cumulated vsize (KiB) 720732

[startup+282.3 s]

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

[pid=22608] ppid=22606 vsize=748784 CPUtime=2805.36 cores=0,2,4,6
/proc/22608/stat : 22608 (techdemo) R 22606 22608 22571 0 -1 4202496 149022 0 0 0 280483 53 0 0 25 0 4 0 600843379 766754816 27524 33554432000 4194304 4797429 140733763995136 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22608/statm: 187196 27524 421 148 0 182125 0
[pid=22608/tid=22614] ppid=22606 vsize=748784 CPUtime=702.29 cores=0,2,4,6
/proc/22608/task/22614/stat : 22614 (techdemo) R 22606 22608 22571 0 -1 4202560 21186 0 0 0 70221 8 0 0 25 0 4 0 600843380 766754816 27524 33554432000 4194304 4797429 140733763995136 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22608/tid=22615] ppid=22606 vsize=748784 CPUtime=702.29 cores=0,2,4,6
/proc/22608/task/22615/stat : 22615 (techdemo) R 22606 22608 22571 0 -1 4202560 20941 0 0 0 70220 9 0 0 25 0 4 0 600843380 766754816 27524 33554432000 4194304 4797429 140733763995136 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22608/tid=22616] ppid=22606 vsize=748784 CPUtime=698.49 cores=0,2,4,6
/proc/22608/task/22616/stat : 22616 (techdemo) R 22606 22608 22571 0 -1 4202560 20269 0 0 0 69840 9 0 0 25 0 4 0 600843380 766754816 27524 33554432000 4194304 4797429 140733763995136 18446744073709551615 4524378 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.36
Current children cumulated vsize (KiB) 748784

[startup+762.307 s]
/proc/loadavg: 8.01 8.02 7.40 10/184 22637
/proc/meminfo: memFree=30588332/32951124 swapFree=67111464/67111528
[pid=22608] ppid=22606 vsize=752100 CPUtime=3045.05 cores=0,2,4,6
/proc/22608/stat : 22608 (techdemo) R 22606 22608 22571 0 -1 4202496 156690 0 0 0 304448 57 0 0 25 0 4 0 600843379 770150400 27916 33554432000 4194304 4797429 140733763995136 18446744073709551615 4425633 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22608/statm: 188025 27916 421 148 0 182954 0
[pid=22608/tid=22614] ppid=22606 vsize=752100 CPUtime=762.3 cores=0,2,4,6
/proc/22608/task/22614/stat : 22614 (techdemo) R 22606 22608 22571 0 -1 4202560 22269 0 0 0 76221 9 0 0 25 0 4 0 600843380 770150400 27916 33554432000 4194304 4797429 140733763995136 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22608/tid=22615] ppid=22606 vsize=752100 CPUtime=762.3 cores=0,2,4,6
/proc/22608/task/22615/stat : 22615 (techdemo) R 22606 22608 22571 0 -1 4202560 21920 0 0 0 76220 10 0 0 25 0 4 0 600843380 770150400 27916 33554432000 4194304 4797429 140733763995136 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22608/tid=22616] ppid=22606 vsize=752100 CPUtime=758.17 cores=0,2,4,6
/proc/22608/task/22616/stat : 22616 (techdemo) R 22606 22608 22571 0 -1 4202560 20849 0 0 0 75808 9 0 0 25 0 4 0 600843380 770150400 27916 33554432000 4194304 4797429 140733763995136 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.05
Current children cumulated vsize (KiB) 752100

[startup+822.301 s]
/proc/loadavg: 8.00 8.01 7.43 10/184 22638
/proc/meminfo: memFree=30573516/32951124 swapFree=67111464/67111528
[pid=22608] ppid=22606 vsize=757396 CPUtime=3284.7 cores=0,2,4,6
/proc/22608/stat : 22608 (techdemo) R 22606 22608 22571 0 -1 4202496 162440 0 0 0 328412 58 0 0 25 0 4 0 600843379 775573504 30264 33554432000 4194304 4797429 140733763995136 18446744073709551615 4495525 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22608/statm: 189349 30264 421 148 0 184278 0
[pid=22608/tid=22614] ppid=22606 vsize=757396 CPUtime=822.3 cores=0,2,4,6
/proc/22608/task/22614/stat : 22614 (techdemo) R 22606 22608 22571 0 -1 4202560 22835 0 0 0 82220 10 0 0 25 0 4 0 600843380 775573504 30264 33554432000 4194304 4797429 140733763995136 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22608/tid=22615] ppid=22606 vsize=757396 CPUtime=822.3 cores=0,2,4,6
/proc/22608/task/22615/stat : 22615 (techdemo) R 22606 22608 22571 0 -1 4202560 22479 0 0 0 82220 10 0 0 25 0 4 0 600843380 775573504 30264 33554432000 4194304 4797429 140733763995136 18446744073709551615 4523986 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22608/tid=22616] ppid=22606 vsize=757396 CPUtime=817.85 cores=0,2,4,6
/proc/22608/task/22616/stat : 22616 (techdemo) R 22606 22608 22571 0 -1 4202560 21869 0 0 0 81775 10 0 0 25 0 4 0 600843380 775573504 30264 33554432000 4194304 4797429 140733763995136 18446744073709551615 4429085 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.7
Current children cumulated vsize (KiB) 757396

[startup+882.301 s]
/proc/loadavg: 8.04 8.02 7.47 10/184 22640
/proc/meminfo: memFree=30561668/32951124 swapFree=67111464/67111528
[pid=22608] ppid=22606 vsize=757732 CPUtime=3524.38 cores=0,2,4,6
/proc/22608/stat : 22608 (techdemo) R 22606 22608 22571 0 -1 4202496 168887 0 0 0 352378 60 0 0 25 0 4 0 600843379 775917568 30370 33554432000 4194304 4797429 140733763995136 18446744073709551615 4345232 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22608/statm: 189433 30370 421 148 0 184362 0
[pid=22608/tid=22614] ppid=22606 vsize=757732 CPUtime=882.3 cores=0,2,4,6
/proc/22608/task/22614/stat : 22614 (techdemo) R 22606 22608 22571 0 -1 4202560 23842 0 0 0 88220 10 0 0 25 0 4 0 600843380 775917568 30370 33554432000 4194304 4797429 140733763995136 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22608/tid=22615] ppid=22606 vsize=757732 CPUtime=882.3 cores=0,2,4,6
/proc/22608/task/22615/stat : 22615 (techdemo) R 22606 22608 22571 0 -1 4202560 23531 0 0 0 88220 10 0 0 25 0 4 0 600843380 775917568 30370 33554432000 4194304 4797429 140733763995136 18446744073709551615 4425072 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22608/tid=22616] ppid=22606 vsize=757732 CPUtime=877.51 cores=0,2,4,6
/proc/22608/task/22616/stat : 22616 (techdemo) R 22606 22608 22571 0 -1 4202560 22822 0 0 0 87741 10 0 0 25 0 4 0 600843380 775917568 30370 33554432000 4194304 4797429 140733763995136 18446744073709551615 4567765 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.38
Current children cumulated vsize (KiB) 757732

[startup+942.301 s]
/proc/loadavg: 8.05 8.03 7.50 10/184 22641
/proc/meminfo: memFree=30564724/32951124 swapFree=67111464/67111528
[pid=22608] ppid=22606 vsize=760792 CPUtime=3764.06 cores=0,2,4,6
/proc/22608/stat : 22608 (techdemo) R 22606 22608 22571 0 -1 4202496 176720 0 0 0 376343 63 0 0 25 0 4 0 600843379 779051008 29771 33554432000 4194304 4797429 140733763995136 18446744073709551615 4424725 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22608/statm: 190198 29771 421 148 0 185127 0
[pid=22608/tid=22614] ppid=22606 vsize=760792 CPUtime=942.3 cores=0,2,4,6
/proc/22608/task/22614/stat : 22614 (techdemo) R 22606 22608 22571 0 -1 4202560 24813 0 0 0 94220 10 0 0 25 0 4 0 600843380 779051008 29771 33554432000 4194304 4797429 140733763995136 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22608/tid=22615] ppid=22606 vsize=760792 CPUtime=942.3 cores=0,2,4,6
/proc/22608/task/22615/stat : 22615 (techdemo) R 22606 22608 22571 0 -1 4202560 24792 0 0 0 94219 11 0 0 25 0 4 0 600843380 779051008 29771 33554432000 4194304 4797429 140733763995136 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22608/tid=22616] ppid=22606 vsize=760792 CPUtime=937.19 cores=0,2,4,6
/proc/22608/task/22616/stat : 22616 (techdemo) R 22606 22608 22571 0 -1 4202560 23934 0 0 0 93709 10 0 0 25 0 4 0 600843380 779051008 29771 33554432000 4194304 4797429 140733763995136 18446744073709551615 4523986 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.06
Current children cumulated vsize (KiB) 760792

[startup+1002.3 s]
/proc/loadavg: 8.13 8.05 7.54 10/184 22643
/proc/meminfo: memFree=30554996/32951124 swapFree=67111464/67111528
[pid=22608] ppid=22606 vsize=765464 CPUtime=4003.73 cores=0,2,4,6
/proc/22608/stat : 22608 (techdemo) R 22606 22608 22571 0 -1 4202496 183263 0 0 0 400308 65 0 0 25 0 4 0 600843379 783835136 31468 33554432000 4194304 4797429 140733763995136 18446744073709551615 4424603 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22608/statm: 191366 31468 421 148 0 186295 0
[pid=22608/tid=22614] ppid=22606 vsize=765464 CPUtime=1002.3 cores=0,2,4,6
/proc/22608/task/22614/stat : 22614 (techdemo) R 22606 22608 22571 0 -1 4202560 25282 0 0 0 100220 10 0 0 25 0 4 0 600843380 783835136 31468 33554432000 4194304 4797429 140733763995136 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22608/tid=22615] ppid=22606 vsize=765464 CPUtime=1002.3 cores=0,2,4,6
/proc/22608/task/22615/stat : 22615 (techdemo) R 22606 22608 22571 0 -1 4202560 25357 0 0 0 100219 11 0 0 25 0 4 0 600843380 783835136 31468 33554432000 4194304 4797429 140733763995136 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22608/tid=22616] ppid=22606 vsize=765464 CPUtime=996.87 cores=0,2,4,6
/proc/22608/task/22616/stat : 22616 (techdemo) R 22606 22608 22571 0 -1 4202560 24593 0 0 0 99676 11 0 0 25 0 4 0 600843380 783835136 31468 33554432000 4194304 4797429 140733763995136 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.73
Current children cumulated vsize (KiB) 765464

[startup+1062.3 s]
/proc/loadavg: 8.12 8.06 7.57 10/184 22645
/proc/meminfo: memFree=30549972/32951124 swapFree=67111464/67111528
[pid=22608] ppid=22606 vsize=765676 CPUtime=4243.4 cores=0,2,4,6
/proc/22608/stat : 22608 (techdemo) R 22606 22608 22571 0 -1 4202496 190170 0 0 0 424272 68 0 0 25 0 4 0 600843379 784052224 32266 33554432000 4194304 4797429 140733763995136 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22608/statm: 191419 32266 421 148 0 186348 0
[pid=22608/tid=22614] ppid=22606 vsize=765676 CPUtime=1062.31 cores=0,2,4,6
/proc/22608/task/22614/stat : 22614 (techdemo) R 22606 22608 22571 0 -1 4202560 26388 0 0 0 106220 11 0 0 25 0 4 0 600843380 784052224 32266 33554432000 4194304 4797429 140733763995136 18446744073709551615 4430142 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22608/tid=22615] ppid=22606 vsize=765676 CPUtime=1062.3 cores=0,2,4,6
/proc/22608/task/22615/stat : 22615 (techdemo) R 22606 22608 22571 0 -1 4202560 26600 0 0 0 106218 12 0 0 25 0 4 0 600843380 784052224 32266 33554432000 4194304 4797429 140733763995136 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22608/tid=22616] ppid=22606 vsize=765676 CPUtime=1056.54 cores=0,2,4,6
/proc/22608/task/22616/stat : 22616 (techdemo) R 22606 22608 22571 0 -1 4202560 25682 0 0 0 105643 11 0 0 25 0 4 0 600843380 784052224 32266 33554432000 4194304 4797429 140733763995136 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.4
Current children cumulated vsize (KiB) 765676

[startup+1122.3 s]
/proc/loadavg: 8.18 8.08 7.61 10/184 22646
/proc/meminfo: memFree=30544084/32951124 swapFree=67111464/67111528
[pid=22608] ppid=22606 vsize=767352 CPUtime=4483.08 cores=0,2,4,6
/proc/22608/stat : 22608 (techdemo) R 22606 22608 22571 0 -1 4202496 195618 0 0 0 448237 71 0 0 25 0 4 0 600843379 785768448 32560 33554432000 4194304 4797429 140733763995136 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22608/statm: 191838 32560 421 148 0 186767 0
[pid=22608/tid=22614] ppid=22606 vsize=767352 CPUtime=1122.31 cores=0,2,4,6
/proc/22608/task/22614/stat : 22614 (techdemo) R 22606 22608 22571 0 -1 4202560 27380 0 0 0 112220 11 0 0 25 0 4 0 600843380 785768448 32560 33554432000 4194304 4797429 140733763995136 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22608/tid=22615] ppid=22606 vsize=767352 CPUtime=1122.3 cores=0,2,4,6
/proc/22608/task/22615/stat : 22615 (techdemo) R 22606 22608 22571 0 -1 4202560 27609 0 0 0 112218 12 0 0 25 0 4 0 600843380 785768448 32560 33554432000 4194304 4797429 140733763995136 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22608/tid=22616] ppid=22606 vsize=767352 CPUtime=1116.21 cores=0,2,4,6
/proc/22608/task/22616/stat : 22616 (techdemo) R 22606 22608 22571 0 -1 4202560 26102 0 0 0 111610 11 0 0 25 0 4 0 600843380 785768448 32560 33554432000 4194304 4797429 140733763995136 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.08
Current children cumulated vsize (KiB) 767352

[startup+1182.3 s]
/proc/loadavg: 8.13 8.08 7.64 10/184 22657
/proc/meminfo: memFree=30524400/32951124 swapFree=67111464/67111528
[pid=22608] ppid=22606 vsize=768316 CPUtime=4722.74 cores=0,2,4,6
/proc/22608/stat : 22608 (techdemo) R 22606 22608 22571 0 -1 4202496 202528 0 0 0 472201 73 0 0 25 0 4 0 600843379 786755584 32577 33554432000 4194304 4797429 140733763995136 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22608/statm: 192079 32577 421 148 0 187008 0
[pid=22608/tid=22614] ppid=22606 vsize=768316 CPUtime=1182.3 cores=0,2,4,6
/proc/22608/task/22614/stat : 22614 (techdemo) R 22606 22608 22571 0 -1 4202560 27988 0 0 0 118219 11 0 0 25 0 4 0 600843380 786755584 32577 33554432000 4194304 4797429 140733763995136 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22608/tid=22615] ppid=22606 vsize=768316 CPUtime=1182.31 cores=0,2,4,6
/proc/22608/task/22615/stat : 22615 (techdemo) R 22606 22608 22571 0 -1 4202560 28083 0 0 0 118218 13 0 0 25 0 4 0 600843380 786755584 32577 33554432000 4194304 4797429 140733763995136 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22608/tid=22616] ppid=22606 vsize=768316 CPUtime=1175.89 cores=0,2,4,6
/proc/22608/task/22616/stat : 22616 (techdemo) R 22606 22608 22571 0 -1 4202560 27168 0 0 0 117577 12 0 0 25 0 4 0 600843380 786755584 32577 33554432000 4194304 4797429 140733763995136 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.74
Current children cumulated vsize (KiB) 768316



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.09 8.07 7.64 10/184 22657
/proc/meminfo: memFree=30525232/32951124 swapFree=67111464/67111528
[pid=22608] ppid=22606 vsize=768316 CPUtime=4800.26 cores=0,2,4,6
/proc/22608/stat : 22608 (techdemo) R 22606 22608 22571 0 -1 4202496 203677 0 0 0 479951 75 0 0 25 0 4 0 600843379 786755584 33680 33554432000 4194304 4797429 140733763995136 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22608/statm: 192079 33680 421 148 0 187008 0
[pid=22608/tid=22614] ppid=22606 vsize=768316 CPUtime=1201.71 cores=0,2,4,6
/proc/22608/task/22614/stat : 22614 (techdemo) R 22606 22608 22571 0 -1 4202560 28122 0 0 0 120159 12 0 0 25 0 4 0 600843380 786755584 33680 33554432000 4194304 4797429 140733763995136 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22608/tid=22615] ppid=22606 vsize=768316 CPUtime=1201.71 cores=0,2,4,6
/proc/22608/task/22615/stat : 22615 (techdemo) R 22606 22608 22571 0 -1 4202560 28199 0 0 0 120158 13 0 0 25 0 4 0 600843380 786755584 33680 33554432000 4194304 4797429 140733763995136 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22608/tid=22616] ppid=22606 vsize=768316 CPUtime=1195.18 cores=0,2,4,6
/proc/22608/task/22616/stat : 22616 (techdemo) R 22606 22608 22571 0 -1 4202560 27275 0 0 0 119506 12 0 0 25 0 4 0 600843380 786755584 33680 33554432000 4194304 4797429 140733763995136 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 768316

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

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

[startup+1201.7 s]
/proc/loadavg: 8.09 8.07 7.64 10/184 22657
/proc/meminfo: memFree=30525232/32951124 swapFree=67111464/67111528
[pid=22608] ppid=22606 vsize=768316 CPUtime=4800.26 cores=0,2,4,6
/proc/22608/stat : 22608 (techdemo) R 22606 22608 22571 0 -1 4202496 203677 0 0 0 479951 75 0 0 25 0 4 0 600843379 786755584 33680 33554432000 4194304 4797429 140733763995136 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22608/statm: 192079 33680 421 148 0 187008 0
[pid=22608/tid=22614] ppid=22606 vsize=768316 CPUtime=1201.71 cores=0,2,4,6
/proc/22608/task/22614/stat : 22614 (techdemo) R 22606 22608 22571 0 -1 4202560 28122 0 0 0 120159 12 0 0 25 0 4 0 600843380 786755584 33680 33554432000 4194304 4797429 140733763995136 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22608/tid=22615] ppid=22606 vsize=768316 CPUtime=1201.71 cores=0,2,4,6
/proc/22608/task/22615/stat : 22615 (techdemo) R 22606 22608 22571 0 -1 4202560 28199 0 0 0 120158 13 0 0 25 0 4 0 600843380 786755584 33680 33554432000 4194304 4797429 140733763995136 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22608/tid=22616] ppid=22606 vsize=768316 CPUtime=1195.18 cores=0,2,4,6
/proc/22608/task/22616/stat : 22616 (techdemo) R 22606 22608 22571 0 -1 4202560 27275 0 0 0 119506 12 0 0 25 0 4 0 600843380 786755584 33680 33554432000 4194304 4797429 140733763995136 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 768316

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.72
CPU time (s): 4800.29
CPU user time (s): 4799.54
CPU system time (s): 0.756884
CPU usage (%): 399.452
Max. virtual memory (cumulated for all children) (KiB): 867272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.54
system time used= 0.756884
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203677
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= 443
involuntary context switches= 39562

runsolver used 2.06169 second user time and 4.47832 second system time

The end

Launcher Data 

Begin job on node110 at 2011-04-29 21:42:08
IDJOB=3172845
IDBENCH=82863
IDSOLVER=1584
FILE ID=node110/3172845-1304106128
RUNJOBID= node110-1304106128-22589
PBS_JOBID= 13170660
Free space on /tmp= 72840 MiB

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

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

MD5SUM BENCH= d549c96b17fdae3a10d8538216eeee78
RANDOM SEED=1031247026

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:      30824632 kB
Buffers:        913892 kB
Cached:         741220 kB
SwapCached:         64 kB
Active:         141652 kB
Inactive:      1578044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30824632 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:           15680 kB
Writeback:           0 kB
AnonPages:       64364 kB
Mapped:          14888 kB
Slab:           341976 kB
PageTables:       4628 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   199296 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-29 22:02:12