Trace number 3172927

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.22 1202.72

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v60-c5340-S1583005701-053.SATISFIABLE.cnf
MD5SUMeaa221c6c9f0c0179451b2ef6caad631
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.283955
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-3172927-1304120497.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/1890/5340 lits-rem:0 time: 0.43
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.04 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:      28 undec:       2 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      4021        60      5340         0      3590     37380     76459     21.18     18.72  --
1.95/0.52	c  N dy    46      8090        60      5340         0      4995     37380     99428     21.10     18.69  --
2.75/0.75	c  N dy    74     12224        60      5340         0      4889     37380     88276     20.96     18.75  --
3.54/0.99	c  N dy   101     16299        60      5340         0      8550     37380    166103     21.39     18.77  --
4.74/1.26	c  N dy   128     20327        60      5340         0      7119     37380    125860     21.23     18.77  --
5.94/1.54	c  N dy   155     24411        60      5340         0     10788     37380    204675     21.48     18.80  --
7.14/1.84	c  N dy   183     28548        60      5340         0      8398     37380    144051     21.30     18.84  --
7.54/1.95	c  S st   193     30001        60      5340         0      9702     37380    172554     21.99     18.87  --
7.94/2.00	c  S st   193     30503        60      5340         0     10155     37380    182295     21.99     18.87  --
7.94/2.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.94/2.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.94/2.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.9M T:  0.08
7.94/2.02	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
7.94/2.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.94/2.02	c Subs w/ non-existent bins:      0 time:  0.00 s
7.94/2.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.94/2.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.94/2.02	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
10.33/2.62	c lits-rem:      1345  cl-subs:     1280  v-elim:     60  v-fix:    0  time:  2.40 s
10.33/2.62	c learnt bin added due to v-elim: 0
10.33/2.63	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
10.33/2.63	c vivif2 --  cl tried     8875 cl shrink        0 lits rem          0 time: 0.00
10.73/2.78	c asymm  cl-useful: 0/2086/5340 lits-rem:0 time: 0.60
10.73/2.78	c calculated reachability. Time: 0.00
10.73/2.78	c  N dy   193     30503        60      5340         0      8875     37380    155851     21.99     18.87  --
10.73/2.78	c  F st   193     30503        60      5340         0      8875     37380    155851     21.99     18.87  --
11.53/2.93	c Decided on static restart strategy
11.93/3.09	c  N dy   212     34521        60      5340         0     12492     37380    233678     21.39     18.88  --
13.51/3.42	c  N dy   239     38549        60      5340         0      9048     37380    147952     20.93     18.86  --
14.71/3.73	c  N dy   266     42582        60      5340         0     12679     37380    225853     21.74     18.88  --
15.91/4.02	c  S st   288     45755        60      5340         0     15522     37380    286513     21.12     18.88  --
15.91/4.08	c  S st   288     46256        60      5340         0     15987     37380    296770     21.12     18.88  --
15.91/4.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.91/4.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.31/4.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.1M T:  0.16
16.31/4.12	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
16.31/4.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.31/4.13	c Subs w/ non-existent bins:      0 time:  0.01 s
16.31/4.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.31/4.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.31/4.13	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
34.51/9.69	c lits-rem:      2156  cl-subs:     2173  v-elim:     60  v-fix:    0  time: 18.33 s
34.51/9.69	c learnt bin added due to v-elim: 0
34.51/9.69	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
34.51/9.70	c vivif2 --  cl tried    13814 cl shrink        0 lits rem          0 time: 0.01
35.31/9.85	c asymm  cl-useful: 0/1321/5340 lits-rem:0 time: 0.63
35.31/9.86	c calculated reachability. Time: 0.00
35.31/9.86	c  N dy   288     46256        60      5340         0     13814     37380    247844     21.12     18.88  --
36.89/10.21	c  N dy   315     50269        60      5340         0      9527     37380    149528     21.85     18.88  --
38.09/10.52	c  N dy   342     54280        60      5340         0     13113     37380    226920     21.72     18.90  --
39.29/10.90	c  N dy   369     58303        60      5340         0     16736     37380    304806     21.33     18.92  --
40.89/11.25	c  N dy   396     62328        60      5340         0     11462     37380    179397     21.60     18.92  --
42.48/11.60	c  N dy   423     66375        60      5340         0     15070     37380    256905     21.92     18.94  --
43.68/11.91	c  S st   444     69385        60      5340         0     17778     37380    315070     21.77     18.95  --
43.68/11.97	c  S st   444     69886        60      5340         0     18229     37380    324851     21.77     18.95  --
43.68/11.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.68/11.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
44.09/12.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.1M T:  0.21
44.09/12.02	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
44.09/12.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
44.09/12.03	c Subs w/ non-existent bins:      0 time:  0.01 s
44.09/12.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.09/12.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.09/12.03	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
46.87/12.78	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
51.27/13.80	c Added 1 vars  tried: 16020 time: 4.07
51.27/13.81	c ORs :      1 avg-s:  0.0 cl-sh:  1548 l-rem:   1548 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:    4.12
51.27/13.81	c lits-rem:      1663  cl-subs:     2317  v-elim:     60  v-fix:    0  time:  7.13 s
51.27/13.81	c learnt bin added due to v-elim: 0
51.27/13.81	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
51.27/13.82	c vivif2 --  cl tried    15912 cl shrink        0 lits rem          0 time: 0.01
51.67/13.98	c asymm  cl-useful: 0/1759/5341 lits-rem:0 time: 0.66
51.67/13.98	c calculated reachability. Time: 0.00
51.67/13.98	c  N dy   444     69886        61      5341         2     15912     37375    271937     21.77     18.95  --
51.67/13.98	c  F st   444     69886        61      5341         2     15912     37375    271937     21.77     18.95  --
52.89/14.20	c Decided on static restart strategy
53.67/14.47	c  N dy   467     74483        61      5341         2     10329     37375    146401     21.44     18.94  --
55.27/14.88	c  N dy   500     79361        61      5341         2     14723     37375    240279     21.76     18.94  --
57.68/15.41	c  N dy   535     84577        61      5341         2     19423     37375    340383     21.64     18.93  --
59.66/15.95	c  N dy   571     89975        61      5341         2     13588     37375    204744     21.56     18.94  --
62.08/16.53	c  N dy   610     95813        61      5341         2     18835     37375    317630     21.50     18.95  --
64.85/17.26	c  N dy   651    101945        61      5341         2     12714     37375    174305     21.27     18.94  --
66.45/17.62	c  S st   671    104829        61      5341         2     15312     37375    229847     21.96     18.94  --
66.45/17.67	c  S st   671    105331        61      5341         2     15771     37375    239594     21.96     18.94  --
66.45/17.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
66.45/17.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
66.82/17.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.6M T:  0.22
66.82/17.73	c Calc non-exist non-lernt bins v-fix:     0 done:     61 time:  0.00 s
66.82/17.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
66.82/17.73	c Subs w/ non-existent bins:      0 time:  0.00 s
66.82/17.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
66.82/17.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
66.82/17.74	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
69.22/18.39	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
69.22/18.39	c lits-rem:       875  cl-subs:     1243  v-elim:     60  v-fix:    0  time:  2.63 s
69.22/18.39	c learnt bin added due to v-elim: 0
69.22/18.39	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
69.22/18.39	c vivif2 --  cl tried    14528 cl shrink        0 lits rem          0 time: 0.01
70.02/18.55	c asymm  cl-useful: 0/1405/5341 lits-rem:0 time: 0.62
70.02/18.55	c calculated reachability. Time: 0.00
70.02/18.55	c  N dy   671    105331        61      5341         2     14528     37375    214990     21.96     18.94  --
72.82/19.27	c  N dy   716    112058        61      5341         2     20562     37375    342659     21.77     18.92  --
76.41/20.12	c  N dy   764    119212        61      5341         2     14475     37375    203290     21.22     18.92  --
79.63/20.95	c  N dy   816    126895        61      5341         2     21347     37375    350619     21.74     18.93  --
84.03/22.02	c  N dy   871    135110        61      5341         2     15292     37375    212791     22.12     18.93  --
88.01/23.00	c  N dy   929    143760        61      5341         2     23079     37375    379126     21.38     18.93  --
92.80/24.24	c  N dy   991    153001        61      5341         2     17041     37375    235841     21.09     18.93  --
95.18/24.85	c  S st  1025    157996        61      5341         2     21531     37375    331613     21.65     18.93  --
95.58/24.91	c  S st  1025    158501        61      5341         2     21998     37375    342028     21.65     18.93  --
95.58/24.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
95.58/24.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
95.98/25.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.6M T:  0.35
95.98/25.00	c Calc non-exist non-lernt bins v-fix:     0 done:     61 time:  0.00 s
95.98/25.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
95.98/25.01	c Subs w/ non-existent bins:      0 time:  0.01 s
95.98/25.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
95.98/25.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
95.98/25.01	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
99.18/25.82	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
99.18/25.83	c lits-rem:      1167  cl-subs:     2129  v-elim:     60  v-fix:    0  time:  3.25 s
99.18/25.83	c learnt bin added due to v-elim: 0
99.18/25.83	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
99.18/25.83	c vivif2 --  cl tried    19869 cl shrink        0 lits rem          0 time: 0.01
99.58/25.99	c asymm  cl-useful: 0/1076/5341 lits-rem:0 time: 0.66
99.58/25.99	c calculated reachability. Time: 0.00
99.58/25.99	c  N dy  1025    158501        61      5341         2     19869     37375    299233     21.65     18.93  --
105.18/27.37	c  N dy  1093    168649        61      5341         2     29018     37375    493465     21.27     18.92  --
110.75/28.72	c  N dy  1165    179415        61      5341         2     23493     37375    365386     21.44     18.93  --
117.54/30.40	c  N dy  1243    190925        61      5341         2     17719     37375    231166     21.74     18.92  --
123.93/32.01	c  N dy  1325    203200        61      5341         2     28726     37375    467883     21.60     18.93  --
131.12/33.89	c  N dy  1412    216168        61      5341         2     23303     37375    339925     21.53     18.94  --
139.90/36.07	c  N dy  1505    229990        65      5341        10     35742     37391    608167     21.46     18.95  --
144.30/37.13	c  S st  1558    237751        65      5341        10     24785     37391    364072     21.75     18.96  --
144.70/37.22	c  S st  1558    238252        65      5341        10     25250     37391    374239     21.75     18.96  --
144.70/37.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
144.70/37.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
145.11/37.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.4M T:  0.43
145.11/37.33	c Calc non-exist non-lernt bins v-fix:     0 done:     65 time:  0.00 s
145.11/37.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
145.11/37.33	c Subs w/ non-existent bins:      0 time:  0.01 s
145.11/37.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
145.11/37.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
145.11/37.34	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
149.08/38.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
149.08/38.37	c lits-rem:      1063  cl-subs:     2201  v-elim:     60  v-fix:    0  time:  4.10 s
149.08/38.37	c learnt bin added due to v-elim: 0
149.08/38.37	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
149.08/38.37	c vivif2 --  cl tried    23049 cl shrink        0 lits rem          0 time: 0.02
149.90/38.54	c asymm  cl-useful: 0/865/5341 lits-rem:0 time: 0.64
149.90/38.54	c calculated reachability. Time: 0.00
149.90/38.54	c  N dy  1558    238252        65      5341        10     23049     37391    330198     21.75     18.96  --
160.26/41.11	c  N dy  1661    253555        65      5341        10     36781     37391    626279     21.87     18.95  --
169.86/43.56	c  N dy  1771    269777        65      5341        10     32684     37391    523447     21.85     18.92  --
181.43/46.44	c  N dy  1887    287025        65      5341        10     28445     37391    417678     21.24     18.89  --
194.62/49.76	c  N dy  2011    305443        65      5341        10     24394     37391    319989     21.72     18.86  --
208.59/53.27	c  N dy  2143    325015        69      5341        27     42071     37415    700975     21.82     18.84  --
222.56/56.77	c  N dy  2278    345064        69      5341        27     38608     37415    614945     21.87     18.82  --
232.55/59.23	c  S st  2362    357379        69      5341        29     27158     37417    355845     21.97     18.82  --
232.97/59.32	c  S st  2362    357880        69      5341        29     27622     37417    366013     21.97     18.82  --
232.97/59.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
232.97/59.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
233.37/59.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  9.3M T:  0.56
233.37/59.46	c Calc non-exist non-lernt bins v-fix:     0 done:     69 time:  0.00 s
233.37/59.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
233.37/59.47	c Subs w/ non-existent bins:      0 time:  0.02 s
233.37/59.47	c Replacing        3 vars Replaced     1506 lits Time:     0.03 s 
233.37/59.48	c bin-w-bin subsume rem            6 bins  time:  0.00 s
233.37/59.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
233.37/59.48	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
237.76/60.55	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
237.76/60.56	c lits-rem:       801  cl-subs:     1766  v-elim:     60  v-fix:    0  time:  4.31 s
237.76/60.56	c learnt bin added due to v-elim: 0
237.76/60.56	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
237.76/60.56	c vivif2 --  cl tried    25856 cl shrink        0 lits rem          0 time: 0.02
238.54/60.73	c asymm  cl-useful: 0/1111/5341 lits-rem:0 time: 0.65
238.54/60.73	c calculated reachability. Time: 0.00
238.54/60.73	c  N dy  2362    357880        66      5341        12     25856     37395    334785     21.97     18.82  --
253.71/64.58	c  N dy  2497    377884        66      5341        12     44012     37395    726290     21.39     18.80  --
269.30/68.46	c  N dy  2632    397922        66      5341        12     38632     37395    594337     21.79     18.78  --
286.09/72.67	c  N dy  2768    418063        66      5341        12     32482     37395    451147     21.82     18.77  --
305.25/77.48	c  N dy  2904    438139        66      5341        12     25380     37395    288440     21.49     18.76  --
321.24/81.41	c  N dy  3040    458289        66      5341        12     43677     37395    682913     21.93     18.74  --
338.82/85.89	c  N dy  3175    478305        70      5341        33     35570     37423    499060     21.95     18.73  --
358.37/90.76	c  N dy  3311    498421        70      5341        33     53911     37423    895743     21.97     18.71  --
375.14/94.94	c  N dy  3447    518522        70      5341        35     44826     37425    690082     21.92     18.71  --
392.71/99.38	c  S st  3571    536821        70      5341        35     33376     37425    429886     21.66     18.70  --
393.11/99.49	c  S st  3571    537324        70      5341        35     33850     37425    440577     21.66     18.70  --
393.11/99.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
393.11/99.49	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
393.91/99.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 12.3M T:  0.70
393.91/99.67	c Calc non-exist non-lernt bins v-fix:     0 done:     70 time:  0.00 s
393.91/99.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
393.91/99.67	c Subs w/ non-existent bins:      0 time:  0.02 s
393.91/99.68	c Replacing        4 vars Replaced      283 lits Time:     0.01 s 
393.91/99.68	c bin-w-bin subsume rem            8 bins  time:  0.00 s
393.91/99.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
393.91/99.68	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
399.52/101.03	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
424.67/107.37	c Added 1 vars  tried: 80000 time: 25.33
425.07/107.40	c ORs :      1 avg-s:  0.0 cl-sh:  2247 l-rem:   2247 b-add:      3 v-rep:   0 cl-rem: 0 avg s: nan T:   25.44
425.07/107.41	c lits-rem:       960  cl-subs:     1830  v-elim:     60  v-fix:    0  time: 30.84 s
425.07/107.41	c learnt bin added due to v-elim: 0
425.07/107.41	c vivif2 --  cl tried     5342 cl shrink        0 lits rem          0 time: 0.00
425.07/107.41	c vivif2 --  cl tried    32019 cl shrink        0 lits rem          0 time: 0.02
425.47/107.58	c asymm  cl-useful: 0/767/5342 lits-rem:0 time: 0.66
425.47/107.58	c calculated reachability. Time: 0.00
425.47/107.58	c  N dy  3571    537324        67      5342        15     32019     37371    407103     21.66     18.70  --
425.47/107.58	c  F st  3571    537324        67      5342        15     32019     37371    407103     21.66     18.70  --
427.07/107.95	c Decided on static restart strategy
443.44/112.08	c  N dy  3699    557399        67      5342        16     50192     37371    797907     21.92     18.69  --
463.01/116.92	c  N dy  3835    577525        67      5342        16     39427     37371    552468     21.99     18.70  --
483.40/122.01	c  N dy  3969    597557        67      5342        16     57629     37371    945068     21.51     18.69  --
501.76/126.60	c  N dy  4104    617686        71      5342        24     45973     37387    679000     21.59     18.69  --
524.12/132.22	c  N dy  4240    637794        71      5342        24     33425     37387    396085     21.44     18.68  --
543.31/137.04	c  N dy  4376    657852        71      5342        24     51671     37387    788046     22.00     18.67  --
702.69/176.96	c  N dy  4494    805987        71      5342        24     53218     37387    782329     21.12     18.05  --
702.69/177.00	c  S st  4494    805987        71      5342        24     53218     37387    782329     21.12     18.05  --
703.51/177.18	c  S st  4494    806490        75      5342        32     53692     37403    792612     21.12     18.05  --
703.51/177.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
703.51/177.18	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
705.09/177.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 20.3M T:  1.36
705.09/177.52	c Calc non-exist non-lernt bins v-fix:     0 done:     75 time:  0.00 s
705.09/177.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
705.09/177.53	c Subs w/ non-existent bins:      0 time:  0.04 s
705.09/177.57	c Replacing        1 vars Replaced     1911 lits Time:     0.15 s 
705.09/177.58	c bin-w-bin subsume rem            2 bins  time:  0.00 s
705.09/177.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
705.09/177.58	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
716.69/180.40	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.07
716.69/180.42	c lits-rem:      1690  cl-subs:     5250  v-elim:     60  v-fix:    0  time: 11.33 s
716.69/180.42	c learnt bin added due to v-elim: 0
716.69/180.42	c vivif2 --  cl tried     5342 cl shrink        0 lits rem          0 time: 0.00
716.69/180.43	c vivif2 --  cl tried    48442 cl shrink        0 lits rem          0 time: 0.04
717.07/180.52	c asymm  cl-useful: 0/279/5342 lits-rem:0 time: 0.36
717.07/180.52	c calculated reachability. Time: 0.00
717.07/180.52	c  N dy  4494    806490        74      5342        28     48442     37399    699604     21.12     18.05  --
742.23/186.80	c  N dy  4630    826583        77      5342        34     66660     37411   1092999     21.88     18.06  --
764.20/192.32	c  N dy  4766    846604        77      5342        34     49983     37411    711634     21.20     18.06  --
790.98/199.08	c  N dy  4903    866708        77      5342        34     68385     37411   1109928     21.80     18.06  --
1234.36/310.07	c  N dy  4950   1209737        77      5342        34     63019     37411    917951     19.24     17.32  --
1234.77/310.11	c  S st  4950   1209737        77      5342        34     63019     37411    917951     19.24     17.32  --
1235.55/310.34	c  S st  4950   1210242        77      5342        34     63496     37411    928296     19.24     17.32  --
1235.55/310.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1235.55/310.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1237.15/310.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 26.2M T:  1.80
1237.15/310.79	c Calc non-exist non-lernt bins v-fix:     0 done:     77 time:  0.00 s
1237.15/310.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1237.55/310.81	c Subs w/ non-existent bins:      0 time:  0.05 s
1237.55/310.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1237.55/310.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1237.55/310.82	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1255.93/315.42	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
1307.05/328.23	c Added 1 vars  tried: 80000 time: 51.15
1308.25/328.53	c ORs :      1 avg-s:  0.0 cl-sh: 10713 l-rem:  10713 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   52.36
1308.25/328.55	c lits-rem:      1557  cl-subs:     8278  v-elim:     60  v-fix:    0  time: 70.78 s
1308.25/328.55	c learnt bin added due to v-elim: 0
1308.25/328.55	c vivif2 --  cl tried     5343 cl shrink        0 lits rem          0 time: 0.00
1308.25/328.56	c vivif2 --  cl tried    55218 cl shrink        0 lits rem          0 time: 0.05
1308.65/328.65	c asymm  cl-useful: 0/267/5343 lits-rem:0 time: 0.37
1308.65/328.66	c calculated reachability. Time: 0.00
1308.65/328.66	c  N dy  4950   1210242        78      5343        36     55218     37391    769221     19.24     17.32  --
2111.17/529.55	c  N dy  5047   1710242        78      5343        36     86534     37391   1360975     21.41     16.60  --
2111.57/529.61	c  S st  5047   1710242        78      5343        36     86534     37391   1360975     21.41     16.60  --
2112.77/529.94	c  S st  5047   1710744        80      5343        40     87010     37399   1371332     21.41     16.60  --
2112.77/529.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2112.77/529.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2115.96/530.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 38.2M T:  3.08
2115.96/530.72	c Calc non-exist non-lernt bins v-fix:     0 done:     80 time:  0.01 s
2115.96/530.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2115.96/530.74	c Subs w/ non-existent bins:      0 time:  0.07 s
2115.96/530.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2115.96/530.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2115.96/530.77	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2144.74/537.98	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 25.5 T:    0.21
2145.11/538.01	c lits-rem:      3454  cl-subs:     7766  v-elim:     60  v-fix:    0  time: 28.92 s
2145.11/538.01	c learnt bin added due to v-elim: 0
2145.11/538.01	c vivif2 --  cl tried     5343 cl shrink        0 lits rem          0 time: 0.00
2145.11/538.03	c vivif2 --  cl tried    79242 cl shrink        0 lits rem          0 time: 0.08
2145.51/538.13	c asymm  cl-useful: 0/191/5343 lits-rem:0 time: 0.40
2145.51/538.13	c calculated reachability. Time: 0.00
2145.51/538.13	c  N dy  5047   1710744        80      5343        40     79242     37399   1219136     21.41     16.60  --
3152.93/790.33	c  N dy  5060   2210745        80      5343        40     95156     37399   1466620     22.14     16.03  --
3152.93/790.39	c  S st  5060   2210745        80      5343        40     95156     37399   1466620     22.14     16.03  --
3152.93/790.39	c Finding binary XORs  T:     0.00 s  found:       0
3154.53/790.74	c  S st  5060   2211249        81      5343        42     95626     37403   1476971     22.14     16.03  --
3154.53/790.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3154.53/790.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3157.73/791.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 42.5M T:  3.27
3157.73/791.56	c Calc non-exist non-lernt bins v-fix:     0 done:     81 time:  0.01 s
3157.73/791.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3157.73/791.58	c Subs w/ non-existent bins:      0 time:  0.08 s
3158.13/791.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3158.13/791.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3158.13/791.61	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3196.87/801.37	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
3197.26/801.40	c lits-rem:      5076  cl-subs:     7800  v-elim:     60  v-fix:    0  time: 39.10 s
3197.26/801.40	c learnt bin added due to v-elim: 0
3197.26/801.40	c vivif2 --  cl tried     5343 cl shrink        0 lits rem          0 time: 0.00
3197.26/801.42	c vivif2 --  cl tried    87826 cl shrink        0 lits rem          0 time: 0.09
3197.66/801.53	c asymm  cl-useful: 0/174/5343 lits-rem:0 time: 0.43
3197.66/801.54	c calculated reachability. Time: 0.00
3197.66/801.54	c  N dy  5060   2211249        81      5343        42     87826     37403   1329841     22.14     16.03  --
4340.48/1087.65	c  N dy  5078   2711249        81      5343        42    110623     37403   1774837     22.06     15.69  --
4340.88/1087.73	c  S st  5078   2711249        81      5343        42    110623     37403   1774837     22.06     15.69  --
4342.87/1088.22	c  S st  5078   2711754        81      5343        42    111108     37403   1785486     22.06     15.69  --
4342.87/1088.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4342.87/1088.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4346.87/1089.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 52.7M T:  4.28
4347.27/1089.30	c Calc non-exist non-lernt bins v-fix:     0 done:     81 time:  0.01 s
4347.27/1089.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4347.27/1089.32	c Subs w/ non-existent bins:      0 time:  0.09 s
4347.27/1089.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4347.27/1089.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4347.27/1089.36	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
4486.30/1124.16	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 23.0 T:    0.21
4592.52/1150.79	c Added 1 vars  tried: 80000 time: 106.33
4598.92/1152.30	c ORs :      1 avg-s:  0.0 cl-sh: 26407 l-rem:  26407 b-add:      3 v-rep:   0 cl-rem: 0 avg s: nan T:  112.38
4598.92/1152.34	c lits-rem:     12356  cl-subs:     7650  v-elim:     60  v-fix:    0  time: 251.55 s
4598.92/1152.34	c learnt bin added due to v-elim: 0
4598.92/1152.34	c vivif2 --  cl tried     5344 cl shrink        0 lits rem          0 time: 0.00
4598.92/1152.36	c vivif2 --  cl tried   103456 cl shrink        1 lits rem          2 time: 0.10
4599.32/1152.47	c asymm  cl-useful: 0/174/5344 lits-rem:0 time: 0.44
4599.32/1152.48	c calculated reachability. Time: 0.00
4599.32/1152.48	c  N dy  5078   2711754        82      5344        45    103456     37386   1597900     22.06     15.69  --
4599.32/1152.48	c  F st  5078   2711754        82      5344        45    103456     37386   1597900     22.06     15.69  --
4604.11/1153.63	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-3172927-1304120497/watcher-3172927-1304120497 -o /tmp/evaluation-result-3172927-1304120497/solver-3172927-1304120497 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172927-1304120497.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: 3.52 5.68 7.04 2/170 15244
/proc/meminfo: memFree=31259876/32951132 swapFree=67111364/67111528
[pid=15244] ppid=15242 vsize=50012 CPUtime=0 cores=0,2,4,6
/proc/15244/stat : 15244 (techdemo) R 15242 15244 14885 0 -1 4202496 635 0 0 0 0 0 0 0 23 0 1 0 523648378 51212288 566 33554432000 4194304 4797429 140733750309936 18446744073709551615 242970246923 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15244/statm: 12503 567 347 148 0 7432 0

[startup+0.0304159 s]
/proc/loadavg: 3.52 5.68 7.04 2/170 15244
/proc/meminfo: memFree=31259876/32951132 swapFree=67111364/67111528
[pid=15244] ppid=15242 vsize=147480 CPUtime=0.07 cores=0,2,4,6
/proc/15244/stat : 15244 (techdemo) R 15242 15244 14885 0 -1 4202496 1115 0 0 0 7 0 0 0 25 0 4 0 523648378 151019520 1023 33554432000 4194304 4797429 140733750309936 18446744073709551615 4428900 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15244/statm: 36870 1023 372 148 0 31799 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 147480

[startup+0.100403 s]
/proc/loadavg: 3.52 5.68 7.04 2/170 15244
/proc/meminfo: memFree=31259876/32951132 swapFree=67111364/67111528
[pid=15244] ppid=15242 vsize=147612 CPUtime=0.35 cores=0,2,4,6
/proc/15244/stat : 15244 (techdemo) R 15242 15244 14885 0 -1 4202496 1160 0 0 0 35 0 0 0 25 0 4 0 523648378 151154688 1068 33554432000 4194304 4797429 140733750309936 18446744073709551615 4429118 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15244/statm: 36903 1068 372 148 0 31832 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 147612

[startup+0.300369 s]
/proc/loadavg: 3.52 5.68 7.04 2/170 15244
/proc/meminfo: memFree=31259876/32951132 swapFree=67111364/67111528
[pid=15244] ppid=15242 vsize=609688 CPUtime=1.14 cores=0,2,4,6
/proc/15244/stat : 15244 (techdemo) R 15242 15244 14885 0 -1 4202496 2478 0 0 0 114 0 0 0 25 0 4 0 523648378 624320512 2185 33554432000 4194304 4797429 140733750309936 18446744073709551615 4423098 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15244/statm: 152422 2185 408 148 0 147351 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 609688

[startup+0.700302 s]
/proc/loadavg: 3.52 5.68 7.04 2/170 15244
/proc/meminfo: memFree=31259876/32951132 swapFree=67111364/67111528
[pid=15244] ppid=15242 vsize=613828 CPUtime=2.75 cores=0,2,4,6
/proc/15244/stat : 15244 (techdemo) R 15242 15244 14885 0 -1 4202496 4543 0 0 0 274 1 0 0 25 0 4 0 523648378 628559872 3403 33554432000 4194304 4797429 140733750309936 18446744073709551615 4424592 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15244/statm: 153457 3416 412 148 0 148386 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 613828

[startup+1.50016 s]
/proc/loadavg: 3.52 5.68 7.04 9/182 15256
/proc/meminfo: memFree=31230756/32951132 swapFree=67111364/67111528
[pid=15244] ppid=15242 vsize=615692 CPUtime=5.94 cores=0,2,4,6
/proc/15244/stat : 15244 (techdemo) R 15242 15244 14885 0 -1 4202496 5735 0 0 0 593 1 0 0 25 0 4 0 523648378 630468608 4319 33554432000 4194304 4797429 140733750309936 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15244/statm: 153923 4319 414 148 0 148852 0
[pid=15244/tid=15246] ppid=15242 vsize=615692 CPUtime=1.48 cores=0,2,4,6
/proc/15244/task/15246/stat : 15246 (techdemo) R 15242 15244 14885 0 -1 4202560 999 0 0 0 148 0 0 0 25 0 4 0 523648380 630468608 4319 33554432000 4194304 4797429 140733750309936 18446744073709551615 4424835 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15244/tid=15247] ppid=15242 vsize=615692 CPUtime=1.47 cores=0,2,4,6
/proc/15244/task/15247/stat : 15247 (techdemo) R 15242 15244 14885 0 -1 4202560 1130 0 0 0 147 0 0 0 25 0 4 0 523648380 630468608 4319 33554432000 4194304 4797429 140733750309936 18446744073709551615 4404796 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15244/tid=15248] ppid=15242 vsize=615692 CPUtime=1.47 cores=0,2,4,6
/proc/15244/task/15248/stat : 15248 (techdemo) R 15242 15244 14885 0 -1 4202560 1125 0 0 0 147 0 0 0 25 0 4 0 523648380 630468608 4319 33554432000 4194304 4797429 140733750309936 18446744073709551615 4425057 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 615692

[startup+3.10089 s]
/proc/loadavg: 3.52 5.68 7.04 9/182 15256
/proc/meminfo: memFree=31223936/32951132 swapFree=67111364/67111528
[pid=15244] ppid=15242 vsize=618380 CPUtime=12.33 cores=0,2,4,6
/proc/15244/stat : 15244 (techdemo) R 15242 15244 14885 0 -1 4202496 7435 0 0 0 1231 2 0 0 25 0 4 0 523648378 633221120 4951 33554432000 4194304 4797429 140733750309936 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15244/statm: 154595 4951 416 148 0 149524 0
[pid=15244/tid=15246] ppid=15242 vsize=618380 CPUtime=3.08 cores=0,2,4,6
/proc/15244/task/15246/stat : 15246 (techdemo) R 15242 15244 14885 0 -1 4202560 1304 0 0 0 308 0 0 0 25 0 4 0 523648380 633221120 4951 33554432000 4194304 4797429 140733750309936 18446744073709551615 4524057 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15244/tid=15247] ppid=15242 vsize=618380 CPUtime=3.07 cores=0,2,4,6
/proc/15244/task/15247/stat : 15247 (techdemo) R 15242 15244 14885 0 -1 4202560 1459 0 0 0 307 0 0 0 25 0 4 0 523648380 633221120 4951 33554432000 4194304 4797429 140733750309936 18446744073709551615 4524363 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15244/tid=15248] ppid=15242 vsize=618380 CPUtime=3.07 cores=0,2,4,6
/proc/15244/task/15248/stat : 15248 (techdemo) R 15242 15244 14885 0 -1 4202560 1415 0 0 0 307 0 0 0 25 0 4 0 523648380 633221120 4951 33554432000 4194304 4797429 140733750309936 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 618380

[startup+6.30034 s]
/proc/loadavg: 3.88 5.72 7.05 10/182 15256
/proc/meminfo: memFree=31213060/32951132 swapFree=67111364/67111528
[pid=15244] ppid=15242 vsize=622208 CPUtime=23.75 cores=0,2,4,6
/proc/15244/stat : 15244 (techdemo) R 15242 15244 14885 0 -1 4202496 9384 0 0 0 2370 5 0 0 25 0 4 0 523648378 637140992 5926 33554432000 4194304 4797429 140733750309936 18446744073709551615 4568177 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15244/statm: 155552 5926 416 148 0 150481 0
[pid=15244/tid=15246] ppid=15242 vsize=622208 CPUtime=6.27 cores=0,2,4,6
/proc/15244/task/15246/stat : 15246 (techdemo) R 15242 15244 14885 0 -1 4202560 1684 0 0 0 627 0 0 0 25 0 4 0 523648380 637140992 5926 33554432000 4194304 4797429 140733750309936 18446744073709551615 4425966 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15244/tid=15247] ppid=15242 vsize=622208 CPUtime=6.23 cores=0,2,4,6
/proc/15244/task/15247/stat : 15247 (techdemo) R 15242 15244 14885 0 -1 4202560 1645 0 0 0 623 0 0 0 25 0 4 0 523648380 637140992 5926 33554432000 4194304 4797429 140733750309936 18446744073709551615 4429150 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15244/tid=15248] ppid=15242 vsize=622208 CPUtime=6.28 cores=0,2,4,6
/proc/15244/task/15248/stat : 15248 (techdemo) R 15242 15244 14885 0 -1 4202560 1806 0 0 0 627 1 0 0 25 0 4 0 523648380 637140992 5926 33554432000 4194304 4797429 140733750309936 18446744073709551615 4523968 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.75
Current children cumulated vsize (KiB) 622208

[startup+12.7002 s]
/proc/loadavg: 4.53 5.83 7.07 9/182 15257
/proc/meminfo: memFree=31202876/32951132 swapFree=67111364/67111528
[pid=15244] ppid=15242 vsize=625300 CPUtime=46.87 cores=0,2,4,6
/proc/15244/stat : 15244 (techdemo) R 15242 15244 14885 0 -1 4202496 12446 0 0 0 4673 14 0 0 25 0 4 0 523648378 640307200 6840 33554432000 4194304 4797429 140733750309936 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15244/statm: 156325 6840 416 148 0 151254 0
[pid=15244/tid=15246] ppid=15242 vsize=625300 CPUtime=12.68 cores=0,2,4,6
/proc/15244/task/15246/stat : 15246 (techdemo) R 15242 15244 14885 0 -1 4202560 2266 0 0 0 1267 1 0 0 25 0 4 0 523648380 640307200 6840 33554432000 4194304 4797429 140733750309936 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15244/tid=15247] ppid=15242 vsize=625300 CPUtime=12.59 cores=0,2,4,6
/proc/15244/task/15247/stat : 15247 (techdemo) R 15242 15244 14885 0 -1 4202560 2397 0 0 0 1258 1 0 0 25 0 4 0 523648380 640307200 6840 33554432000 4194304 4797429 140733750309936 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15244/tid=15248] ppid=15242 vsize=625300 CPUtime=12.68 cores=0,2,4,6
/proc/15244/task/15248/stat : 15248 (techdemo) R 15242 15244 14885 0 -1 4202560 2379 0 0 0 1266 2 0 0 25 0 4 0 523648380 640307200 6840 33554432000 4194304 4797429 140733750309936 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 46.87
Current children cumulated vsize (KiB) 625300

[startup+25.501 s]
/proc/loadavg: 5.30 5.93 7.09 9/182 15257
/proc/meminfo: memFree=31186512/32951132 swapFree=67111364/67111528
[pid=15244] ppid=15242 vsize=631896 CPUtime=97.98 cores=0,2,4,6
/proc/15244/stat : 15244 (techdemo) R 15242 15244 14885 0 -1 4202496 19435 0 0 0 9779 19 0 0 25 0 4 0 523648378 647061504 9074 33554432000 4194304 4797429 140733750309936 18446744073709551615 4523986 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15244/statm: 157974 9074 419 148 0 152903 0
[pid=15244/tid=15246] ppid=15242 vsize=631896 CPUtime=25.47 cores=0,2,4,6
/proc/15244/task/15246/stat : 15246 (techdemo) R 15242 15244 14885 0 -1 4202560 3703 0 0 0 2546 1 0 0 25 0 4 0 523648380 647061504 9074 33554432000 4194304 4797429 140733750309936 18446744073709551615 4495559 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15244/tid=15247] ppid=15242 vsize=631896 CPUtime=25.32 cores=0,2,4,6
/proc/15244/task/15247/stat : 15247 (techdemo) R 15242 15244 14885 0 -1 4202560 3274 0 0 0 2531 1 0 0 25 0 4 0 523648380 647061504 9074 33554432000 4194304 4797429 140733750309936 18446744073709551615 4425064 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15244/tid=15248] ppid=15242 vsize=631896 CPUtime=25.48 cores=0,2,4,6
/proc/15244/task/15248/stat : 15248 (techdemo) R 15242 15244 14885 0 -1 4202560 3071 0 0 0 2546 2 0 0 25 0 4 0 523648380 647061504 9074 33554432000 4194304 4797429 140733750309936 18446744073709551615 4429157 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 97.98
Current children cumulated vsize (KiB) 631896

[startup+51.1006 s]
/proc/loadavg: 6.22 6.10 7.11 9/182 15257
/proc/meminfo: memFree=31169712/32951132 swapFree=67111364/67111528
[pid=15244] ppid=15242 vsize=638800 CPUtime=200.21 cores=0,2,4,6
/proc/15244/stat : 15244 (techdemo) R 15242 15244 14885 0 -1 4202496 30397 0 0 0 19996 25 0 0 25 0 4 0 523648378 654131200 10692 33554432000 4194304 4797429 140733750309936 18446744073709551615 4424652 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15244/statm: 159700 10692 421 148 0 154629 0
[pid=15244/tid=15246] ppid=15242 vsize=638800 CPUtime=51.07 cores=0,2,4,6
/proc/15244/task/15246/stat : 15246 (techdemo) R 15242 15244 14885 0 -1 4202560 5660 0 0 0 5106 1 0 0 25 0 4 0 523648380 654131200 10692 33554432000 4194304 4797429 140733750309936 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15244/tid=15247] ppid=15242 vsize=638800 CPUtime=50.77 cores=0,2,4,6
/proc/15244/task/15247/stat : 15247 (techdemo) R 15242 15244 14885 0 -1 4202560 5407 0 0 0 5075 2 0 0 25 0 4 0 523648380 654131200 10692 33554432000 4194304 4797429 140733750309936 18446744073709551615 4495452 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15244/tid=15248] ppid=15242 vsize=638800 CPUtime=51.08 cores=0,2,4,6
/proc/15244/task/15248/stat : 15248 (techdemo) R 15242 15244 14885 0 -1 4202560 4330 0 0 0 5106 2 0 0 25 0 4 0 523648380 654131200 10692 33554432000 4194304 4797429 140733750309936 18446744073709551615 4428841 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 200.21
Current children cumulated vsize (KiB) 638800

[startup+102.307 s]
/proc/loadavg: 7.27 6.40 7.16 9/182 15259
/proc/meminfo: memFree=31151312/32951132 swapFree=67111364/67111528
[pid=15244] ppid=15242 vsize=644088 CPUtime=404.73 cores=0,2,4,6
/proc/15244/stat : 15244 (techdemo) R 15242 15244 14885 0 -1 4202496 44416 0 0 0 40441 32 0 0 25 0 4 0 523648378 659546112 12574 33554432000 4194304 4797429 140733750309936 18446744073709551615 4495525 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15244/statm: 161022 12574 421 148 0 155951 0
[pid=15244/tid=15246] ppid=15242 vsize=644088 CPUtime=102.28 cores=0,2,4,6
/proc/15244/task/15246/stat : 15246 (techdemo) R 15242 15244 14885 0 -1 4202560 7501 0 0 0 10226 2 0 0 25 0 4 0 523648380 659546112 12574 33554432000 4194304 4797429 140733750309936 18446744073709551615 4429762 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15244/tid=15247] ppid=15242 vsize=644088 CPUtime=101.69 cores=0,2,4,6
/proc/15244/task/15247/stat : 15247 (techdemo) R 15242 15244 14885 0 -1 4202560 7460 0 0 0 10167 2 0 0 25 0 4 0 523648380 659546112 12574 33554432000 4194304 4797429 140733750309936 18446744073709551615 4429104 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15244/tid=15248] ppid=15242 vsize=644088 CPUtime=102.29 cores=0,2,4,6
/proc/15244/task/15248/stat : 15248 (techdemo) R 15242 15244 14885 0 -1 4202560 6166 0 0 0 10226 3 0 0 25 0 4 0 523648380 659546112 12574 33554432000 4194304 4797429 140733750309936 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 404.73
Current children cumulated vsize (KiB) 644088

[startup+162.3 s]
/proc/loadavg: 7.73 6.69 7.21 9/182 15260
/proc/meminfo: memFree=31129452/32951132 swapFree=67111364/67111528
[pid=15244] ppid=15242 vsize=649828 CPUtime=644.37 cores=0,2,4,6
/proc/15244/stat : 15244 (techdemo) R 15242 15244 14885 0 -1 4202496 58184 0 0 0 64399 38 0 0 25 0 4 0 523648378 665423872 14800 33554432000 4194304 4797429 140733750309936 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15244/statm: 162457 14800 421 148 0 157386 0
[pid=15244/tid=15246] ppid=15242 vsize=649828 CPUtime=162.27 cores=0,2,4,6
/proc/15244/task/15246/stat : 15246 (techdemo) R 15242 15244 14885 0 -1 4202560 9044 0 0 0 16225 2 0 0 25 0 4 0 523648380 665423872 14800 33554432000 4194304 4797429 140733750309936 18446744073709551615 4429169 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15244/tid=15247] ppid=15242 vsize=649828 CPUtime=161.38 cores=0,2,4,6
/proc/15244/task/15247/stat : 15247 (techdemo) R 15242 15244 14885 0 -1 4202560 9182 0 0 0 16135 3 0 0 25 0 4 0 523648380 665423872 14800 33554432000 4194304 4797429 140733750309936 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15244/tid=15248] ppid=15242 vsize=649828 CPUtime=162.28 cores=0,2,4,6
/proc/15244/task/15248/stat : 15248 (techdemo) R 15242 15244 14885 0 -1 4202560 7779 0 0 0 16225 3 0 0 25 0 4 0 523648380 665423872 14800 33554432000 4194304 4797429 140733750309936 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 644.37
Current children cumulated vsize (KiB) 649828

[startup+222.301 s]
/proc/loadavg: 7.94 6.94 7.26 9/182 15262
/proc/meminfo: memFree=31114284/32951132 swapFree=67111364/67111528
[pid=15244] ppid=15242 vsize=656724 CPUtime=884.03 cores=0,2,4,6
/proc/15244/stat : 15244 (techdemo) R 15242 15244 14885 0 -1 4202496 70966 0 0 0 88360 43 0 0 25 0 4 0 523648378 672485376 17363 33554432000 4194304 4797429 140733750309936 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15244/statm: 164181 17363 423 148 0 159110 0
[pid=15244/tid=15246] ppid=15242 vsize=656724 CPUtime=222.28 cores=0,2,4,6
/proc/15244/task/15246/stat : 15246 (techdemo) R 15242 15244 14885 0 -1 4202560 10591 0 0 0 22225 3 0 0 25 0 4 0 523648380 672485376 17363 33554432000 4194304 4797429 140733750309936 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15244/tid=15247] ppid=15242 vsize=656724 CPUtime=221.07 cores=0,2,4,6
/proc/15244/task/15247/stat : 15247 (techdemo) R 15242 15244 14885 0 -1 4202560 10756 0 0 0 22103 4 0 0 25 0 4 0 523648380 672485376 17363 33554432000 4194304 4797429 140733750309936 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15244/tid=15248] ppid=15242 vsize=656724 CPUtime=222.28 cores=0,2,4,6
/proc/15244/task/15248/stat : 15248 (techdemo) R 15242 15244 14885 0 -1 4202560 9347 0 0 0 22224 4 0 0 25 0 4 0 523648380 672485376 17363 33554432000 4194304 4797429 140733750309936 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 884.03
Current children cumulated vsize (KiB) 656724

[startup+282.301 s]

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

[pid=15244] ppid=15242 vsize=688220 CPUtime=2801.41 cores=0,2,4,6
/proc/15244/stat : 15244 (techdemo) R 15242 15244 14885 0 -1 4202496 146457 0 0 0 280056 85 0 0 25 0 4 0 523648378 704737280 27013 33554432000 4194304 4797429 140733750309936 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15244/statm: 172055 27013 421 148 0 166984 0
[pid=15244/tid=15246] ppid=15242 vsize=688220 CPUtime=702.28 cores=0,2,4,6
/proc/15244/task/15246/stat : 15246 (techdemo) R 15242 15244 14885 0 -1 4202560 20800 0 0 0 70221 7 0 0 25 0 4 0 523648380 704737280 27013 33554432000 4194304 4797429 140733750309936 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15244/tid=15247] ppid=15242 vsize=688220 CPUtime=698.65 cores=0,2,4,6
/proc/15244/task/15247/stat : 15247 (techdemo) R 15242 15244 14885 0 -1 4202560 21123 0 0 0 69856 9 0 0 25 0 4 0 523648380 704737280 27013 33554432000 4194304 4797429 140733750309936 18446744073709551615 4429135 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15244/tid=15248] ppid=15242 vsize=688220 CPUtime=702.29 cores=0,2,4,6
/proc/15244/task/15248/stat : 15248 (techdemo) R 15242 15244 14885 0 -1 4202560 19179 0 0 0 70220 9 0 0 25 0 4 0 523648380 704737280 27013 33554432000 4194304 4797429 140733750309936 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2801.41
Current children cumulated vsize (KiB) 688220

[startup+762.306 s]
/proc/loadavg: 8.04 7.89 7.61 9/182 15277
/proc/meminfo: memFree=31025732/32951132 swapFree=67111364/67111528
[pid=15244] ppid=15242 vsize=690344 CPUtime=3041.09 cores=0,2,4,6
/proc/15244/stat : 15244 (techdemo) R 15242 15244 14885 0 -1 4202496 153635 0 0 0 304020 89 0 0 25 0 4 0 523648378 706912256 27472 33554432000 4194304 4797429 140733750309936 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15244/statm: 172586 27472 421 148 0 167515 0
[pid=15244/tid=15246] ppid=15242 vsize=690344 CPUtime=762.29 cores=0,2,4,6
/proc/15244/task/15246/stat : 15246 (techdemo) R 15242 15244 14885 0 -1 4202560 21776 0 0 0 76221 8 0 0 25 0 4 0 523648380 706912256 27472 33554432000 4194304 4797429 140733750309936 18446744073709551615 4642191 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15244/tid=15247] ppid=15242 vsize=690344 CPUtime=758.35 cores=0,2,4,6
/proc/15244/task/15247/stat : 15247 (techdemo) R 15242 15244 14885 0 -1 4202560 22076 0 0 0 75825 10 0 0 25 0 4 0 523648380 706912256 27472 33554432000 4194304 4797429 140733750309936 18446744073709551615 4429764 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15244/tid=15248] ppid=15242 vsize=690344 CPUtime=762.3 cores=0,2,4,6
/proc/15244/task/15248/stat : 15248 (techdemo) R 15242 15244 14885 0 -1 4202560 19712 0 0 0 76221 9 0 0 25 0 4 0 523648380 706912256 27472 33554432000 4194304 4797429 140733750309936 18446744073709551615 4509672 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3041.09
Current children cumulated vsize (KiB) 690344

[startup+822.301 s]
/proc/loadavg: 8.07 7.92 7.64 9/182 15278
/proc/meminfo: memFree=31012180/32951132 swapFree=67111364/67111528
[pid=15244] ppid=15242 vsize=693892 CPUtime=3280.75 cores=0,2,4,6
/proc/15244/stat : 15244 (techdemo) R 15242 15244 14885 0 -1 4202496 159703 0 0 0 327982 93 0 0 25 0 4 0 523648378 710545408 29872 33554432000 4194304 4797429 140733750309936 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15244/statm: 173473 29872 421 148 0 168402 0
[pid=15244/tid=15246] ppid=15242 vsize=693892 CPUtime=822.29 cores=0,2,4,6
/proc/15244/task/15246/stat : 15246 (techdemo) R 15242 15244 14885 0 -1 4202560 22421 0 0 0 82221 8 0 0 25 0 4 0 523648380 710545408 29872 33554432000 4194304 4797429 140733750309936 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15244/tid=15247] ppid=15242 vsize=693892 CPUtime=818.04 cores=0,2,4,6
/proc/15244/task/15247/stat : 15247 (techdemo) R 15242 15244 14885 0 -1 4202560 22664 0 0 0 81794 10 0 0 25 0 4 0 523648380 710545408 29872 33554432000 4194304 4797429 140733750309936 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15244/tid=15248] ppid=15242 vsize=693892 CPUtime=822.29 cores=0,2,4,6
/proc/15244/task/15248/stat : 15248 (techdemo) R 15242 15244 14885 0 -1 4202560 20722 0 0 0 82220 9 0 0 25 0 4 0 523648380 710545408 29872 33554432000 4194304 4797429 140733750309936 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3280.75
Current children cumulated vsize (KiB) 693892

[startup+882.3 s]
/proc/loadavg: 8.13 7.97 7.67 9/182 15280
/proc/meminfo: memFree=31001484/32951132 swapFree=67111364/67111528
[pid=15244] ppid=15242 vsize=698388 CPUtime=3520.41 cores=0,2,4,6
/proc/15244/stat : 15244 (techdemo) R 15242 15244 14885 0 -1 4202496 167931 0 0 0 351943 98 0 0 25 0 4 0 523648378 715149312 29487 33554432000 4194304 4797429 140733750309936 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15244/statm: 174597 29487 421 148 0 169526 0
[pid=15244/tid=15246] ppid=15242 vsize=698388 CPUtime=882.28 cores=0,2,4,6
/proc/15244/task/15246/stat : 15246 (techdemo) R 15242 15244 14885 0 -1 4202560 23430 0 0 0 88220 8 0 0 25 0 4 0 523648380 715149312 29487 33554432000 4194304 4797429 140733750309936 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15244/tid=15247] ppid=15242 vsize=698388 CPUtime=877.73 cores=0,2,4,6
/proc/15244/task/15247/stat : 15247 (techdemo) R 15242 15244 14885 0 -1 4202560 23766 0 0 0 87762 11 0 0 25 0 4 0 523648380 715149312 29487 33554432000 4194304 4797429 140733750309936 18446744073709551615 4568055 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15244/tid=15248] ppid=15242 vsize=698388 CPUtime=882.29 cores=0,2,4,6
/proc/15244/task/15248/stat : 15248 (techdemo) R 15242 15244 14885 0 -1 4202560 21767 0 0 0 88219 10 0 0 25 0 4 0 523648380 715149312 29487 33554432000 4194304 4797429 140733750309936 18446744073709551615 4526310 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3520.41
Current children cumulated vsize (KiB) 698388

[startup+942.301 s]
/proc/loadavg: 8.09 7.98 7.69 9/182 15281
/proc/meminfo: memFree=31006912/32951132 swapFree=67111364/67111528
[pid=15244] ppid=15242 vsize=698676 CPUtime=3760.09 cores=0,2,4,6
/proc/15244/stat : 15244 (techdemo) R 15242 15244 14885 0 -1 4202496 176129 0 0 0 375906 103 0 0 25 0 4 0 523648378 715444224 29150 33554432000 4194304 4797429 140733750309936 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15244/statm: 174669 29150 421 148 0 169598 0
[pid=15244/tid=15246] ppid=15242 vsize=698676 CPUtime=942.29 cores=0,2,4,6
/proc/15244/task/15246/stat : 15246 (techdemo) R 15242 15244 14885 0 -1 4202560 24582 0 0 0 94220 9 0 0 25 0 4 0 523648380 715444224 29150 33554432000 4194304 4797429 140733750309936 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15244/tid=15247] ppid=15242 vsize=698676 CPUtime=937.43 cores=0,2,4,6
/proc/15244/task/15247/stat : 15247 (techdemo) R 15242 15244 14885 0 -1 4202560 24849 0 0 0 93731 12 0 0 25 0 4 0 523648380 715444224 29150 33554432000 4194304 4797429 140733750309936 18446744073709551615 4523996 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15244/tid=15248] ppid=15242 vsize=698676 CPUtime=942.29 cores=0,2,4,6
/proc/15244/task/15248/stat : 15248 (techdemo) R 15242 15244 14885 0 -1 4202560 22821 0 0 0 94219 10 0 0 25 0 4 0 523648380 715444224 29150 33554432000 4194304 4797429 140733750309936 18446744073709551615 4429143 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3760.09
Current children cumulated vsize (KiB) 698676

[startup+1002.3 s]
/proc/loadavg: 8.08 8.00 7.71 9/182 15283
/proc/meminfo: memFree=30993372/32951132 swapFree=67111364/67111528
[pid=15244] ppid=15242 vsize=698792 CPUtime=3999.77 cores=0,2,4,6
/proc/15244/stat : 15244 (techdemo) R 15242 15244 14885 0 -1 4202496 182073 0 0 0 399869 108 0 0 25 0 4 0 523648378 715563008 31390 33554432000 4194304 4797429 140733750309936 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15244/statm: 174698 31390 421 148 0 169627 0
[pid=15244/tid=15246] ppid=15242 vsize=698792 CPUtime=1002.29 cores=0,2,4,6
/proc/15244/task/15246/stat : 15246 (techdemo) R 15242 15244 14885 0 -1 4202560 25598 0 0 0 100220 9 0 0 25 0 4 0 523648380 715563008 31390 33554432000 4194304 4797429 140733750309936 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15244/tid=15247] ppid=15242 vsize=698792 CPUtime=997.13 cores=0,2,4,6
/proc/15244/task/15247/stat : 15247 (techdemo) R 15242 15244 14885 0 -1 4202560 25452 0 0 0 99700 13 0 0 25 0 4 0 523648380 715563008 31390 33554432000 4194304 4797429 140733750309936 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15244/tid=15248] ppid=15242 vsize=698792 CPUtime=1002.29 cores=0,2,4,6
/proc/15244/task/15248/stat : 15248 (techdemo) R 15242 15244 14885 0 -1 4202560 23343 0 0 0 100218 11 0 0 25 0 4 0 523648380 715563008 31390 33554432000 4194304 4797429 140733750309936 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3999.77
Current children cumulated vsize (KiB) 698792

[startup+1062.3 s]
/proc/loadavg: 8.03 8.00 7.73 9/182 15284
/proc/meminfo: memFree=30983800/32951132 swapFree=67111364/67111528
[pid=15244] ppid=15242 vsize=703608 CPUtime=4239.43 cores=0,2,4,6
/proc/15244/stat : 15244 (techdemo) R 15242 15244 14885 0 -1 4202496 189737 0 0 0 423832 111 0 0 25 0 4 0 523648378 720494592 30977 33554432000 4194304 4797429 140733750309936 18446744073709551615 4424963 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15244/statm: 175902 30977 421 148 0 170831 0
[pid=15244/tid=15246] ppid=15242 vsize=703608 CPUtime=1062.3 cores=0,2,4,6
/proc/15244/task/15246/stat : 15246 (techdemo) R 15242 15244 14885 0 -1 4202560 26164 0 0 0 106220 10 0 0 25 0 4 0 523648380 720494592 30977 33554432000 4194304 4797429 140733750309936 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15244/tid=15247] ppid=15242 vsize=703608 CPUtime=1056.82 cores=0,2,4,6
/proc/15244/task/15247/stat : 15247 (techdemo) R 15242 15244 14885 0 -1 4202560 26493 0 0 0 105669 13 0 0 25 0 4 0 523648380 720494592 30977 33554432000 4194304 4797429 140733750309936 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15244/tid=15248] ppid=15242 vsize=703608 CPUtime=1062.3 cores=0,2,4,6
/proc/15244/task/15248/stat : 15248 (techdemo) R 15242 15244 14885 0 -1 4202560 24688 0 0 0 106218 12 0 0 25 0 4 0 523648380 720494592 30977 33554432000 4194304 4797429 140733750309936 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4239.43
Current children cumulated vsize (KiB) 703608

[startup+1122.3 s]
/proc/loadavg: 8.08 8.03 7.75 9/182 15286
/proc/meminfo: memFree=30978072/32951132 swapFree=67111364/67111528
[pid=15244] ppid=15242 vsize=707620 CPUtime=4479.09 cores=0,2,4,6
/proc/15244/stat : 15244 (techdemo) R 15242 15244 14885 0 -1 4202496 194608 0 0 0 447795 114 0 0 25 0 4 0 523648378 724602880 32159 33554432000 4194304 4797429 140733750309936 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15244/statm: 176905 32159 421 148 0 171834 0
[pid=15244/tid=15246] ppid=15242 vsize=707620 CPUtime=1122.3 cores=0,2,4,6
/proc/15244/task/15246/stat : 15246 (techdemo) R 15242 15244 14885 0 -1 4202560 27300 0 0 0 112220 10 0 0 25 0 4 0 523648380 724602880 32159 33554432000 4194304 4797429 140733750309936 18446744073709551615 4429157 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15244/tid=15247] ppid=15242 vsize=707620 CPUtime=1116.51 cores=0,2,4,6
/proc/15244/task/15247/stat : 15247 (techdemo) R 15242 15244 14885 0 -1 4202560 27472 0 0 0 111637 14 0 0 25 0 4 0 523648380 724602880 32159 33554432000 4194304 4797429 140733750309936 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15244/tid=15248] ppid=15242 vsize=707620 CPUtime=1122.3 cores=0,2,4,6
/proc/15244/task/15248/stat : 15248 (techdemo) R 15242 15244 14885 0 -1 4202560 25540 0 0 0 112218 12 0 0 25 0 4 0 523648380 724602880 32159 33554432000 4194304 4797429 140733750309936 18446744073709551615 4429065 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4479.09
Current children cumulated vsize (KiB) 707620

[startup+1182.3 s]
/proc/loadavg: 8.48 8.14 7.81 9/182 15297
/proc/meminfo: memFree=30972852/32951132 swapFree=67111364/67111528
[pid=15244] ppid=15242 vsize=710228 CPUtime=4718.7 cores=0,2,4,6
/proc/15244/stat : 15244 (techdemo) R 15242 15244 14885 0 -1 4202496 199088 0 0 0 471752 118 0 0 25 0 4 0 523648378 727273472 33609 33554432000 4194304 4797429 140733750309936 18446744073709551615 4426361 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15244/statm: 177557 33609 421 148 0 172486 0
[pid=15244/tid=15246] ppid=15242 vsize=710228 CPUtime=1182.29 cores=0,2,4,6
/proc/15244/task/15246/stat : 15246 (techdemo) R 15242 15244 14885 0 -1 4202560 27803 0 0 0 118219 10 0 0 25 0 4 0 523648380 727273472 33609 33554432000 4194304 4797429 140733750309936 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15244/tid=15247] ppid=15242 vsize=710228 CPUtime=1176.19 cores=0,2,4,6
/proc/15244/task/15247/stat : 15247 (techdemo) R 15242 15244 14885 0 -1 4202560 27951 0 0 0 117605 14 0 0 25 0 4 0 523648380 727273472 33609 33554432000 4194304 4797429 140733750309936 18446744073709551615 4429764 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15244/tid=15248] ppid=15242 vsize=710228 CPUtime=1182.29 cores=0,2,4,6
/proc/15244/task/15248/stat : 15248 (techdemo) R 15242 15244 14885 0 -1 4202560 26068 0 0 0 118217 12 0 0 25 0 4 0 523648380 727273472 33609 33554432000 4194304 4797429 140733750309936 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4718.7
Current children cumulated vsize (KiB) 710228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.7 s]
/proc/loadavg: 8.40 8.15 7.82 5/177 15298
/proc/meminfo: memFree=31123784/32951132 swapFree=67111364/67111528
[pid=15244] ppid=15242 vsize=710332 CPUtime=4800.18 cores=0,2,4,6
/proc/15244/stat : 15244 (techdemo) R 15242 15244 14885 0 -1 4202496 201403 0 0 0 479895 123 0 0 25 0 4 0 523648378 727379968 33444 33554432000 4194304 4797429 140733750309936 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15244/statm: 177583 33444 421 148 0 172512 0
[pid=15244/tid=15246] ppid=15242 vsize=710332 CPUtime=1202.69 cores=0,2,4,6
/proc/15244/task/15246/stat : 15246 (techdemo) R 15242 15244 14885 0 -1 4202560 28554 0 0 0 120259 10 0 0 25 0 4 0 523648380 727379968 33444 33554432000 4194304 4797429 140733750309936 18446744073709551615 4351618 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15244/tid=15247] ppid=15242 vsize=710332 CPUtime=1196.49 cores=0,2,4,6
/proc/15244/task/15247/stat : 15247 (techdemo) R 15242 15244 14885 0 -1 4202560 28622 0 0 0 119634 15 0 0 25 0 4 0 523648380 727379968 33444 33554432000 4194304 4797429 140733750309936 18446744073709551615 4429214 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15244/tid=15248] ppid=15242 vsize=710332 CPUtime=1202.69 cores=0,2,4,6
/proc/15244/task/15248/stat : 15248 (techdemo) R 15242 15244 14885 0 -1 4202560 26207 0 0 0 120257 12 0 0 25 0 4 0 523648380 727379968 33444 33554432000 4194304 4797429 140733750309936 18446744073709551615 4523996 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 710332

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

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

[startup+1202.7 s]
/proc/loadavg: 8.40 8.15 7.82 5/177 15298
/proc/meminfo: memFree=31123784/32951132 swapFree=67111364/67111528
[pid=15244] ppid=15242 vsize=710332 CPUtime=4800.18 cores=0,2,4,6
/proc/15244/stat : 15244 (techdemo) R 15242 15244 14885 0 -1 4202496 201403 0 0 0 479895 123 0 0 25 0 4 0 523648378 727379968 33444 33554432000 4194304 4797429 140733750309936 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15244/statm: 177583 33444 421 148 0 172512 0
[pid=15244/tid=15246] ppid=15242 vsize=710332 CPUtime=1202.69 cores=0,2,4,6
/proc/15244/task/15246/stat : 15246 (techdemo) R 15242 15244 14885 0 -1 4202560 28554 0 0 0 120259 10 0 0 25 0 4 0 523648380 727379968 33444 33554432000 4194304 4797429 140733750309936 18446744073709551615 4351618 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15244/tid=15247] ppid=15242 vsize=710332 CPUtime=1196.49 cores=0,2,4,6
/proc/15244/task/15247/stat : 15247 (techdemo) R 15242 15244 14885 0 -1 4202560 28622 0 0 0 119634 15 0 0 25 0 4 0 523648380 727379968 33444 33554432000 4194304 4797429 140733750309936 18446744073709551615 4429214 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15244/tid=15248] ppid=15242 vsize=710332 CPUtime=1202.69 cores=0,2,4,6
/proc/15244/task/15248/stat : 15248 (techdemo) R 15242 15244 14885 0 -1 4202560 26207 0 0 0 120257 12 0 0 25 0 4 0 523648380 727379968 33444 33554432000 4194304 4797429 140733750309936 18446744073709551615 4523996 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 710332

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.72
CPU time (s): 4800.22
CPU user time (s): 4798.98
CPU system time (s): 1.24081
CPU usage (%): 399.114
Max. virtual memory (cumulated for all children) (KiB): 808024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.98
system time used= 1.24081
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201403
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= 508
involuntary context switches= 21498

runsolver used 1.70074 second user time and 4.08838 second system time

The end

Launcher Data 

Begin job on node128 at 2011-04-30 01:41:37
IDJOB=3172927
IDBENCH=82945
IDSOLVER=1584
FILE ID=node128/3172927-1304120497
RUNJOBID= node128-1304120497-15229
PBS_JOBID= 13170717
Free space on /tmp= 66976 MiB

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

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

MD5SUM BENCH= eaa221c6c9f0c0179451b2ef6caad631
RANDOM SEED=1150282845

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      31260156 kB
Buffers:        421464 kB
Cached:         791032 kB
SwapCached:          0 kB
Active:         143700 kB
Inactive:      1133072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      31260156 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           15668 kB
Writeback:           8 kB
AnonPages:       63928 kB
Mapped:          14720 kB
Slab:           351920 kB
PageTables:       4576 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   188184 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66960 MiB
End job on node128 at 2011-04-30 02:01:42