Trace number 3172900

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

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v60-c5340-S1445862528-059.UNKNOWN.cnf
MD5SUM9e4f1914facdb4a8b3ffdd1de343beff
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark368.429
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-3172900-1304117050.cnf'
0.00/0.00	c -- header says num vars:             60
0.00/0.00	c -- header says num clauses:        5340
0.00/0.01	c -- clauses added:            0 learnts,         5340 normals,            0 xors
0.00/0.01	c -- vars added         60
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.00/0.12	c asymm  cl-useful: 0/1902/5340 lits-rem:0 time: 0.43
0.44/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.44/0.12	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
0.44/0.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.44/0.12	c Subs w/ non-existent bins:      0 time:  0.00 s
0.44/0.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.44/0.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.44/0.12	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
0.84/0.26	c lits-rem:         0  cl-subs:        0  v-elim:     40  v-fix:    0  time:  0.04 s
0.84/0.26	c learnt bin added due to v-elim: 0
0.84/0.26	c Finding binary XORs  T:     0.00 s  found:       0
0.84/0.26	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.84/0.26	c calculated reachability. Time: 0.00
0.84/0.26	c Calc default polars -  time:   0.00 s pos:      31 undec:       1 neg:      28
0.84/0.26	c =========================================================================================
0.84/0.26	c types(t): F = full restart, N = normal restart
0.84/0.26	c types(t): S = simplification begin/end, E = solution found
0.84/0.26	c restart types(rt): st = static, dy = dynamic
0.84/0.26	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.84/0.26	c  B st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.84/0.26	c Decided on static restart strategy
1.14/0.36	c  N dy    19      4003        60      5340         0      3567     37380     76181     21.99     18.73  --
1.94/0.56	c  N dy    46      8021        60      5340         0      4940     37380     99368     21.32     18.85  --
2.75/0.74	c  N dy    73     12055        60      5340         0      4751     37380     86861     21.95     18.90  --
3.55/0.99	c  N dy   100     16129        60      5340         0      8414     37380    164677     21.21     18.87  --
4.77/1.25	c  N dy   127     20174        60      5340         0      7005     37380    124794     21.27     18.89  --
5.94/1.51	c  N dy   154     24187        60      5340         0     10596     37380    200891     21.09     18.85  --
7.14/1.80	c  N dy   181     28221        60      5340         0      8114     37380    137380     21.37     18.83  --
7.54/1.94	c  S st   193     30000        60      5340         0      9706     37380    171725     22.06     18.86  --
7.54/1.98	c  S st   193     30503        60      5340         0     10169     37380    181903     22.06     18.86  --
7.54/1.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.54/1.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.94/2.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.0M T:  0.08
7.94/2.00	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
7.94/2.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.94/2.00	c Subs w/ non-existent bins:      0 time:  0.00 s
7.94/2.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.94/2.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.94/2.01	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
10.33/2.60	c lits-rem:      1210  cl-subs:     1276  v-elim:     60  v-fix:    0  time:  2.36 s
10.33/2.60	c learnt bin added due to v-elim: 0
10.33/2.60	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
10.33/2.60	c vivif2 --  cl tried     8893 cl shrink        0 lits rem          0 time: 0.00
10.73/2.76	c asymm  cl-useful: 0/1812/5340 lits-rem:0 time: 0.62
10.73/2.76	c calculated reachability. Time: 0.00
10.73/2.76	c  N dy   193     30503        60      5340         0      8893     37380    155751     22.06     18.86  --
10.73/2.76	c  F st   193     30503        60      5340         0      8893     37380    155751     22.06     18.86  --
11.52/2.92	c Decided on static restart strategy
11.92/3.08	c  N dy   212     34538        60      5340         0     12482     37380    232203     21.16     18.85  --
13.14/3.39	c  N dy   239     38573        60      5340         0      9067     37380    149248     21.60     18.85  --
14.73/3.71	c  N dy   266     42601        60      5340         0     12682     37380    226555     21.15     18.85  --
15.93/4.00	c  S st   288     45754        60      5340         0     15529     37380    286657     21.69     18.84  --
15.93/4.06	c  S st   288     46258        60      5340         0     15985     37380    296668     21.69     18.84  --
15.93/4.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.93/4.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.33/4.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.1M T:  0.16
16.33/4.10	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
16.33/4.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.33/4.10	c Subs w/ non-existent bins:      0 time:  0.01 s
16.33/4.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.33/4.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.33/4.10	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
18.72/4.73	c lits-rem:      1665  cl-subs:     2114  v-elim:     60  v-fix:    0  time:  2.51 s
18.72/4.73	c learnt bin added due to v-elim: 0
18.72/4.73	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
18.72/4.74	c vivif2 --  cl tried    13871 cl shrink        0 lits rem          0 time: 0.01
19.52/4.90	c asymm  cl-useful: 0/1395/5340 lits-rem:0 time: 0.65
19.52/4.90	c calculated reachability. Time: 0.00
19.52/4.90	c  N dy   288     46258        60      5340         0     13871     37380    249287     21.69     18.84  --
20.71/5.24	c  N dy   315     50288        60      5340         0      9606     37380    150717     21.64     18.83  --
21.93/5.56	c  N dy   342     54311        60      5340         0     13231     37380    227941     21.24     18.83  --
23.51/5.94	c  N dy   370     58457        60      5340         0     16949     37380    307808     20.91     18.85  --
24.71/6.29	c  N dy   397     62505        60      5340         0     11705     37380    185153     21.84     18.87  --
26.33/6.64	c  N dy   424     66510        60      5340         0     15315     37380    262338     21.20     18.87  --
27.51/6.94	c  S st   444     69387        60      5340         0     17896     37380    318252     22.01     18.89  --
27.91/7.01	c  S st   444     69888        60      5340         0     18356     37380    328035     22.01     18.89  --
27.91/7.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.91/7.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.91/7.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.1M T:  0.22
27.91/7.06	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
27.91/7.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.91/7.07	c Subs w/ non-existent bins:      0 time:  0.01 s
27.91/7.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.91/7.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.91/7.07	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
31.13/7.81	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.12/8.86	c Added 1 vars  tried: 16020 time: 4.19
35.12/8.87	c ORs :      1 avg-s:  0.0 cl-sh:  1360 l-rem:   1360 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:    4.24
35.12/8.88	c lits-rem:      1819  cl-subs:     2356  v-elim:     60  v-fix:    0  time:  7.21 s
35.12/8.88	c learnt bin added due to v-elim: 0
35.12/8.88	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
35.12/8.88	c vivif2 --  cl tried    16000 cl shrink        0 lits rem          0 time: 0.01
35.90/9.04	c asymm  cl-useful: 0/1795/5341 lits-rem:0 time: 0.65
35.90/9.04	c calculated reachability. Time: 0.00
35.90/9.04	c  N dy   444     69888        61      5341         2     16000     37361    274351     22.01     18.89  --
35.90/9.04	c  F st   444     69888        61      5341         2     16000     37361    274351     22.01     18.89  --
36.70/9.26	c Decided on static restart strategy
37.90/9.53	c  N dy   467     74492        61      5341         2     10402     37361    148010     20.91     18.86  --
39.51/9.95	c  N dy   500     79390        61      5341         2     14807     37361    241850     21.70     18.86  --
41.49/10.48	c  N dy   535     84596        61      5341         2     19445     37361    342370     22.08     18.89  --
43.91/11.03	c  N dy   571     90048        61      5341         2     13661     37361    205857     21.80     18.90  --
46.28/11.60	c  N dy   610     95841        61      5341         2     18852     37361    316767     21.74     18.90  --
49.08/12.32	c  N dy   651    102007        61      5341         2     12745     37361    175117     21.23     18.90  --
49.88/12.59	c  S st   671    104832        61      5341         2     15276     37361    228331     21.47     18.88  --
50.28/12.65	c  S st   671    105334        61      5341         2     15727     37361    237949     21.47     18.88  --
50.28/12.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
50.28/12.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
50.68/12.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.5M T:  0.21
50.68/12.71	c Calc non-exist non-lernt bins v-fix:     0 done:     61 time:  0.00 s
50.68/12.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
50.68/12.71	c Subs w/ non-existent bins:      0 time:  0.01 s
50.68/12.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
50.68/12.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.68/12.71	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
53.10/13.31	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
53.10/13.32	c lits-rem:       935  cl-subs:     1205  v-elim:     60  v-fix:    0  time:  2.41 s
53.10/13.32	c learnt bin added due to v-elim: 0
53.10/13.32	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
53.10/13.32	c vivif2 --  cl tried    14522 cl shrink        0 lits rem          0 time: 0.01
53.47/13.47	c asymm  cl-useful: 0/1281/5341 lits-rem:0 time: 0.62
53.47/13.47	c calculated reachability. Time: 0.00
53.47/13.47	c  N dy   671    105334        61      5341         2     14522     37361    214318     21.47     18.88  --
56.67/14.20	c  N dy   717    112120        61      5341         2     20622     37361    344576     21.90     18.89  --
59.87/15.06	c  N dy   766    119421        61      5341         2     14686     37361    208272     21.17     18.90  --
63.07/15.89	c  N dy   818    127185        61      5341         2     21694     37361    356756     21.57     18.89  --
67.46/16.92	c  N dy   873    135345        61      5341         2     15589     37361    217229     21.12     18.89  --
71.46/17.92	c  N dy   932    144130        61      5341         2     23427     37361    384701     21.53     18.90  --
76.25/19.14	c  N dy   994    153368        61      5341         2     17378     37361    243415     21.67     18.90  --
78.25/19.69	c  S st  1025    158002        61      5341         2     21483     37361    330668     21.87     18.90  --
78.65/19.76	c  S st  1025    158509        61      5341         2     21955     37361    341135     21.87     18.90  --
78.65/19.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
78.65/19.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
79.07/19.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.7M T:  0.33
79.07/19.85	c Calc non-exist non-lernt bins v-fix:     0 done:     61 time:  0.00 s
79.07/19.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
79.07/19.85	c Subs w/ non-existent bins:      0 time:  0.01 s
79.07/19.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
79.07/19.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.07/19.86	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
82.25/20.68	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
82.25/20.68	c lits-rem:      1241  cl-subs:     2214  v-elim:     60  v-fix:    0  time:  3.31 s
82.25/20.68	c learnt bin added due to v-elim: 0
82.25/20.68	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
82.25/20.69	c vivif2 --  cl tried    19741 cl shrink        0 lits rem          0 time: 0.01
83.05/20.84	c asymm  cl-useful: 0/1146/5341 lits-rem:0 time: 0.62
83.05/20.84	c calculated reachability. Time: 0.00
83.05/20.84	c  N dy  1025    158509        61      5341         2     19741     37361    296214     21.87     18.90  --
88.63/22.25	c  N dy  1094    168777        61      5341         2     28918     37361    492799     21.07     18.91  --
94.24/23.60	c  N dy  1167    179556        61      5341         2     23497     37361    365982     21.62     18.91  --
101.04/25.32	c  N dy  1244    191018        61      5341         2     17702     37361    230872     21.25     18.91  --
107.42/26.95	c  N dy  1326    203273        61      5341         2     28737     37361    466393     21.18     18.92  --
115.01/28.84	c  N dy  1414    216316        61      5341         2     23414     37361    342354     21.37     18.92  --
123.80/31.09	c  N dy  1507    230178        65      5341        11     17931     37377    215636     21.45     18.91  --
127.82/32.07	c  S st  1559    237764        65      5341        11     24744     37377    362313     22.05     18.92  --
128.20/32.15	c  S st  1559    238267        65      5341        11     25208     37377    372389     22.05     18.92  --
128.20/32.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
128.20/32.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
128.60/32.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      1 BRemL:      0 BRemN:      0 CBin:       0 P:  7.4M T:  0.44
128.60/32.26	c Calc non-exist non-lernt bins v-fix:     0 done:     65 time:  0.00 s
128.60/32.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
128.60/32.27	c Subs w/ non-existent bins:      0 time:  0.01 s
128.60/32.27	c Replacing        1 vars Replaced      852 lits Time:     0.02 s 
128.60/32.28	c bin-w-bin subsume rem            2 bins  time:  0.00 s
128.60/32.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
128.60/32.28	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
132.99/33.34	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.99/33.35	c lits-rem:      1336  cl-subs:     2231  v-elim:     60  v-fix:    0  time:  4.26 s
132.99/33.35	c learnt bin added due to v-elim: 0
132.99/33.35	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
132.99/33.35	c vivif2 --  cl tried    22977 cl shrink        0 lits rem          0 time: 0.02
133.79/33.52	c asymm  cl-useful: 0/789/5341 lits-rem:0 time: 0.66
133.79/33.52	c calculated reachability. Time: 0.00
133.79/33.52	c  N dy  1559    238267        64      5341         8     22977     37373    328407     22.05     18.92  --
143.77/36.02	c  N dy  1662    253587        64      5341         8     36804     37373    626234     21.21     18.90  --
153.78/38.52	c  N dy  1772    269834        64      5341         8     32687     37373    522274     21.39     18.88  --
164.95/41.37	c  N dy  1889    287141        64      5341         8     28539     37373    419357     21.16     18.86  --
178.53/44.74	c  N dy  2013    305552        64      5341         8     24467     37373    321095     21.29     18.84  --
192.52/48.29	c  N dy  2145    325138        64      5341         8     42125     37373    700342     21.45     18.83  --
206.51/51.77	c  N dy  2281    345260        64      5341         8     38667     37373    613547     21.56     18.81  --
216.09/54.19	c  S st  2364    357401        68      5341        24     27029     37397    353104     21.89     18.81  --
216.49/54.28	c  S st  2364    357906        68      5341        24     27490     37397    362905     21.89     18.81  --
216.49/54.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
216.49/54.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
217.29/54.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  9.3M T:  0.51
217.29/54.40	c Calc non-exist non-lernt bins v-fix:     0 done:     68 time:  0.00 s
217.29/54.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
217.29/54.41	c Subs w/ non-existent bins:      0 time:  0.01 s
217.29/54.41	c Replacing        2 vars Replaced      195 lits Time:     0.01 s 
217.29/54.42	c bin-w-bin subsume rem            4 bins  time:  0.00 s
217.29/54.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
217.29/54.42	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
221.28/55.41	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
221.28/55.42	c lits-rem:       845  cl-subs:     1858  v-elim:     60  v-fix:    0  time:  3.99 s
221.28/55.42	c learnt bin added due to v-elim: 0
221.28/55.42	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
221.28/55.42	c vivif2 --  cl tried    25632 cl shrink        0 lits rem          0 time: 0.01
221.68/55.58	c asymm  cl-useful: 0/1217/5341 lits-rem:0 time: 0.62
221.68/55.58	c calculated reachability. Time: 0.00
221.68/55.58	c  N dy  2364    357906        66      5341        12     25632     37381    330935     21.89     18.81  --
237.28/59.47	c  N dy  2500    377956        66      5341        12     43798     37381    717817     21.52     18.77  --
252.85/63.34	c  N dy  2635    398004        66      5341        12     38482     37381    593454     22.09     18.75  --
269.63/67.55	c  N dy  2771    418033        66      5341        12     32346     37381    449652     21.62     18.74  --
287.60/72.06	c  N dy  2906    438054        66      5341        12     50499     37381    841230     21.96     18.73  --
304.38/76.23	c  N dy  3042    458195        66      5341        12     43513     37381    678201     21.48     18.71  --
322.36/80.76	c  N dy  3177    478245        66      5341        12     35417     37381    496659     21.88     18.71  --
341.54/85.55	c  N dy  3312    498264        66      5341        12     53635     37381    892147     21.66     18.70  --
373.51/93.60	c  N dy  3377    536859        70      5341        32     32952     37409    416325     20.30     18.58  --
373.92/93.62	c  S st  3377    536859        70      5341        32     32952     37409    416325     20.30     18.58  --
374.29/93.73	c  S st  3377    537360        70      5341        32     33421     37409    426558     20.30     18.58  --
374.29/93.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
374.29/93.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
375.09/93.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 12.3M T:  0.70
375.09/93.91	c Calc non-exist non-lernt bins v-fix:     0 done:     70 time:  0.00 s
375.09/93.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
375.09/93.91	c Subs w/ non-existent bins:      0 time:  0.02 s
375.09/93.92	c Replacing        3 vars Replaced      446 lits Time:     0.02 s 
375.09/93.93	c bin-w-bin subsume rem            6 bins  time:  0.00 s
375.09/93.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
375.09/93.93	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
380.69/95.31	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
402.65/100.84	c Added 1 vars  tried: 80000 time: 22.12
402.65/100.87	c ORs :      1 avg-s:  0.0 cl-sh:  2378 l-rem:   2378 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   22.21
402.65/100.88	c lits-rem:       987  cl-subs:     2609  v-elim:     60  v-fix:    0  time: 27.77 s
402.65/100.88	c learnt bin added due to v-elim: 0
402.65/100.88	c vivif2 --  cl tried     5342 cl shrink        0 lits rem          0 time: 0.00
402.65/100.88	c vivif2 --  cl tried    30812 cl shrink        0 lits rem          0 time: 0.02
403.45/101.04	c asymm  cl-useful: 0/800/5342 lits-rem:0 time: 0.64
403.45/101.04	c calculated reachability. Time: 0.00
403.45/101.04	c  N dy  3377    537360        68      5342        16     30812     37375    382284     20.30     18.58  --
403.45/101.04	c  F st  3377    537360        68      5342        16     30812     37375    382284     20.30     18.58  --
405.05/101.42	c Decided on static restart strategy
421.04/105.42	c  N dy  3505    557488        68      5342        16     49065     37375    774645     21.50     18.57  --
440.21/110.20	c  N dy  3641    577496        68      5342        16     38431     37375    532077     21.93     18.57  --
461.80/115.60	c  N dy  3777    597614        68      5342        16     56735     37375    927823     21.60     18.57  --
480.96/120.42	c  N dy  3913    617721        71      5342        30     45084     37395    661162     21.27     18.57  --
679.12/170.05	c  N dy  4034    806040        71      5342        30     52949     37395    790884     21.28     17.80  --
679.12/170.08	c  S st  4034    806040        71      5342        30     52949     37395    790884     21.28     17.80  --
679.92/170.26	c  S st  4034    806544        75      5342        42     53428     37415    801438     21.28     17.80  --
679.92/170.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
679.92/170.27	c Cache  BProp: 0 Set: 0 BXProp: 2 T: 0.00
681.53/170.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 21.0M T:  1.49
681.53/170.64	c Calc non-exist non-lernt bins v-fix:     0 done:     75 time:  0.00 s
681.53/170.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
681.53/170.65	c Subs w/ non-existent bins:      0 time:  0.04 s
681.91/170.70	c Replacing        3 vars Replaced     2251 lits Time:     0.21 s 
681.91/170.72	c bin-w-bin subsume rem            6 bins  time:  0.00 s
681.91/170.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
681.91/170.72	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
694.31/173.87	c ORs :      2 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 24.0 T:    0.05
694.31/173.89	c lits-rem:      5224  cl-subs:     4157  v-elim:     60  v-fix:    0  time: 12.66 s
694.31/173.89	c learnt bin added due to v-elim: 0
694.31/173.89	c vivif2 --  cl tried     5342 cl shrink        0 lits rem          0 time: 0.00
694.31/173.90	c vivif2 --  cl tried    49270 cl shrink        0 lits rem          0 time: 0.04
694.72/173.99	c asymm  cl-useful: 0/330/5342 lits-rem:0 time: 0.36
694.72/173.99	c calculated reachability. Time: 0.00
694.72/173.99	c  N dy  4034    806544        72      5342        24     49270     37391    723071     21.28     17.80  --
1205.68/301.89	c  N dy  4124   1209817        73      5342        26     60463     37395    915827     21.55     17.34  --
1206.08/301.92	c  S st  4124   1209817        73      5342        26     60463     37395    915827     21.55     17.34  --
1206.88/302.14	c  S st  4124   1210321        73      5342        26     60932     37395    926129     21.55     17.34  --
1206.88/302.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1206.88/302.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1208.89/302.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 25.3M T:  1.85
1208.89/302.61	c Calc non-exist non-lernt bins v-fix:     0 done:     73 time:  0.00 s
1208.89/302.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1208.89/302.62	c Subs w/ non-existent bins:      0 time:  0.04 s
1208.89/302.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1208.89/302.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1208.89/302.64	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1227.65/307.39	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
1277.60/319.89	c Added 1 vars  tried: 80000 time: 49.96
1278.81/320.11	c ORs :      1 avg-s:  0.0 cl-sh:  9472 l-rem:   9472 b-add:      3 v-rep:   0 cl-rem: 0 avg s: nan T:   50.80
1278.81/320.12	c lits-rem:       527  cl-subs:     7684  v-elim:     60  v-fix:    0  time: 69.86 s
1278.81/320.12	c learnt bin added due to v-elim: 0
1278.81/320.12	c vivif2 --  cl tried     5343 cl shrink        0 lits rem          0 time: 0.00
1278.81/320.13	c vivif2 --  cl tried    53247 cl shrink        0 lits rem          0 time: 0.04
1279.21/320.22	c asymm  cl-useful: 0/256/5343 lits-rem:0 time: 0.35
1279.21/320.22	c calculated reachability. Time: 0.00
1279.21/320.22	c  N dy  4124   1210321        74      5343        29     53247     37378    759570     21.55     17.34  --
1300.37/325.60	c  N dy  4258   1230376        74      5343        30     71406     37378   1178313     23.49     17.38  --
1328.32/332.52	c  N dy  4393   1250522        74      5343        30     48298     37378    638384     23.56     17.42  --
2060.62/515.86	c  N dy  4474   1710324        74      5343        30     82336     37378   1271898     20.31     17.00  --
2061.04/515.91	c  S st  4474   1710324        74      5343        30     82336     37378   1271898     20.31     17.00  --
2062.22/516.23	c  S st  4474   1710829        78      5343        39     82812     37394   1282019     20.31     17.00  --
2062.22/516.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2062.22/516.23	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
2064.62/516.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 31.8M T:  2.46
2064.62/516.85	c Calc non-exist non-lernt bins v-fix:     0 done:     78 time:  0.01 s
2064.62/516.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2064.62/516.86	c Subs w/ non-existent bins:      0 time:  0.06 s
2064.62/516.87	c Replacing        1 vars Replaced       12 lits Time:     0.02 s 
2064.62/516.89	c bin-w-bin subsume rem            2 bins  time:  0.00 s
2065.01/516.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2065.01/516.90	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2099.77/525.60	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.10
2099.77/525.62	c lits-rem:      2980  cl-subs:    14508  v-elim:     60  v-fix:    0  time: 34.85 s
2099.77/525.62	c learnt bin added due to v-elim: 0
2099.77/525.62	c vivif2 --  cl tried     5343 cl shrink        0 lits rem          0 time: 0.00
2099.77/525.64	c vivif2 --  cl tried    68304 cl shrink        0 lits rem          0 time: 0.06
2100.17/525.74	c asymm  cl-useful: 0/224/5343 lits-rem:0 time: 0.40
2100.17/525.74	c calculated reachability. Time: 0.00
2100.17/525.74	c  N dy  4474   1710829        77      5343        35     68304     37390   1017812     20.31     17.00  --
2964.70/742.11	c  N dy  4566   2210829        81      5343        43     86079     37406   1390867     23.77     16.62  --
2964.70/742.17	c  S st  4566   2210829        81      5343        43     86079     37406   1390867     23.77     16.62  --
2964.70/742.17	c Finding binary XORs  T:     0.00 s  found:       0
2965.90/742.49	c  S st  4566   2211332        82      5343        45     86553     37410   1401129     23.77     16.62  --
2965.90/742.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2965.90/742.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2968.69/743.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 34.0M T:  2.80
2968.69/743.19	c Calc non-exist non-lernt bins v-fix:     0 done:     82 time:  0.01 s
2968.69/743.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2969.09/743.21	c Subs w/ non-existent bins:      0 time:  0.07 s
2969.09/743.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2969.09/743.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2969.09/743.24	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3008.64/753.19	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.10
3095.33/774.81	c Added 1 vars  tried: 80000 time: 86.35
3098.55/775.63	c ORs :      1 avg-s:  0.0 cl-sh: 20191 l-rem:  20191 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   89.67
3098.55/775.66	c lits-rem:     13345  cl-subs:     5408  v-elim:     60  v-fix:    0  time: 129.50 s
3098.55/775.66	c learnt bin added due to v-elim: 0
3098.55/775.66	c vivif2 --  cl tried     5344 cl shrink        0 lits rem          0 time: 0.00
3098.55/775.68	c vivif2 --  cl tried    81145 cl shrink        0 lits rem          0 time: 0.08
3098.92/775.79	c asymm  cl-useful: 0/197/5344 lits-rem:0 time: 0.43
3098.92/775.79	c calculated reachability. Time: 0.00
3098.92/775.79	c  N dy  4566   2211332        83      5344        47     81145     37400   1243552     23.77     16.62  --
4064.48/1017.47	c  N dy  4572   2711333        83      5344        47    102889     37400   1665939     21.97     16.01  --
4064.90/1017.54	c  S st  4572   2711333        83      5344        47    102889     37400   1665939     21.97     16.01  --
4066.08/1017.88	c  S st  4572   2711836        83      5344        47    103364     37400   1676151     21.97     16.01  --
4066.08/1017.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4066.08/1017.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4068.88/1018.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 35.1M T:  2.74
4068.88/1018.57	c Calc non-exist non-lernt bins v-fix:     0 done:     83 time:  0.01 s
4068.88/1018.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4068.88/1018.60	c Subs w/ non-existent bins:      0 time:  0.09 s
4069.29/1018.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4069.29/1018.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
4069.29/1018.64	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
4125.21/1032.63	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.19
4125.21/1032.66	c lits-rem:     12128  cl-subs:     7751  v-elim:     60  v-fix:    0  time: 56.02 s
4125.21/1032.66	c learnt bin added due to v-elim: 0
4125.21/1032.66	c vivif2 --  cl tried     5344 cl shrink        0 lits rem          0 time: 0.00
4125.21/1032.69	c vivif2 --  cl tried    95613 cl shrink        0 lits rem          0 time: 0.10
4126.01/1032.80	c asymm  cl-useful: 0/138/5344 lits-rem:0 time: 0.44
4126.01/1032.80	c calculated reachability. Time: 0.00
4126.01/1032.80	c  N dy  4572   2711836        83      5344        47     95613     37400   1507155     21.97     16.01  --
4126.01/1032.80	c  F st  4572   2711836        83      5344        47     95613     37400   1507155     21.97     16.01  --
4129.60/1033.74	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-3172900-1304117050/watcher-3172900-1304117050 -o /tmp/evaluation-result-3172900-1304117050/solver-3172900-1304117050 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172900-1304117050.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.97 7.80 6.96 3/172 10123
/proc/meminfo: memFree=31295360/32951124 swapFree=67111356/67111528
[pid=10123] ppid=10121 vsize=50148 CPUtime=0 cores=0,2,4,6
/proc/10123/stat : 10123 (techdemo) R 10121 10123 10090 0 -1 4202496 652 0 0 0 0 0 0 0 18 0 1 0 504120618 51351552 584 33554432000 4194304 4797429 140733728295792 18446744073709551615 270338044961 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/10123/statm: 12537 584 347 148 0 7466 0

[startup+0.124247 s]
/proc/loadavg: 6.97 7.80 6.96 3/172 10123
/proc/meminfo: memFree=31295360/32951124 swapFree=67111356/67111528
[pid=10123] ppid=10121 vsize=246484 CPUtime=0.44 cores=0,2,4,6
/proc/10123/stat : 10123 (techdemo) S 10121 10123 10090 0 -1 4202496 1248 0 0 0 44 0 0 0 18 0 4 0 504120618 252399616 1108 33554432000 4194304 4797429 140733728295792 18446744073709551615 270338488814 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10123/statm: 61621 1108 375 148 0 56550 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 246484

[startup+0.225466 s]
/proc/loadavg: 6.97 7.80 6.96 3/172 10123
/proc/meminfo: memFree=31295360/32951124 swapFree=67111356/67111528
[pid=10123] ppid=10121 vsize=609184 CPUtime=0.84 cores=0,2,4,6
/proc/10123/stat : 10123 (techdemo) R 10121 10123 10090 0 -1 4202496 2180 0 0 0 84 0 0 0 18 0 4 0 504120618 623804416 1885 33554432000 4194304 4797429 140733728295792 18446744073709551615 4424670 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10123/statm: 152296 1885 408 148 0 147225 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 609184

[startup+0.300451 s]
/proc/loadavg: 6.97 7.80 6.96 3/172 10123
/proc/meminfo: memFree=31295360/32951124 swapFree=67111356/67111528
[pid=10123] ppid=10121 vsize=609720 CPUtime=1.14 cores=0,2,4,6
/proc/10123/stat : 10123 (techdemo) R 10121 10123 10090 0 -1 4202496 2483 0 0 0 114 0 0 0 18 0 4 0 504120618 624353280 2180 33554432000 4194304 4797429 140733728295792 18446744073709551615 4424617 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10123/statm: 152430 2180 408 148 0 147359 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 609720

[startup+0.700373 s]
/proc/loadavg: 6.97 7.80 6.96 3/172 10123
/proc/meminfo: memFree=31295360/32951124 swapFree=67111356/67111528
[pid=10123] ppid=10121 vsize=613896 CPUtime=2.75 cores=0,2,4,6
/proc/10123/stat : 10123 (techdemo) R 10121 10123 10090 0 -1 4202496 4636 0 0 0 274 1 0 0 18 0 4 0 504120618 628629504 3455 33554432000 4194304 4797429 140733728295792 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10123/statm: 153474 3455 413 148 0 148403 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 613896

[startup+1.50021 s]
/proc/loadavg: 6.97 7.80 6.96 9/184 10135
/proc/meminfo: memFree=31266744/32951124 swapFree=67111356/67111528
[pid=10123] ppid=10121 vsize=615300 CPUtime=5.94 cores=0,2,4,6
/proc/10123/stat : 10123 (techdemo) R 10121 10123 10090 0 -1 4202496 5709 0 0 0 593 1 0 0 20 0 4 0 504120618 630067200 4253 33554432000 4194304 4797429 140733728295792 18446744073709551615 4424865 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10123/statm: 153825 4253 414 148 0 148754 0
[pid=10123/tid=10133] ppid=10121 vsize=615300 CPUtime=1.48 cores=0,2,4,6
/proc/10123/task/10133/stat : 10133 (techdemo) R 10121 10123 10090 0 -1 4202560 1023 0 0 0 148 0 0 0 23 0 4 0 504120619 630067200 4253 33554432000 4194304 4797429 140733728295792 18446744073709551615 4424614 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10123/tid=10134] ppid=10121 vsize=615300 CPUtime=1.48 cores=0,2,4,6
/proc/10123/task/10134/stat : 10134 (techdemo) R 10121 10123 10090 0 -1 4202560 1004 0 0 0 148 0 0 0 19 0 4 0 504120619 630067200 4253 33554432000 4194304 4797429 140733728295792 18446744073709551615 4425051 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10123/tid=10135] ppid=10121 vsize=615300 CPUtime=1.47 cores=0,2,4,6
/proc/10123/task/10135/stat : 10135 (techdemo) R 10121 10123 10090 0 -1 4202560 1197 0 0 0 147 0 0 0 19 0 4 0 504120619 630067200 4253 33554432000 4194304 4797429 140733728295792 18446744073709551615 4424614 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 615300

[startup+3.1009 s]
/proc/loadavg: 6.97 7.80 6.96 9/184 10135
/proc/meminfo: memFree=31259248/32951124 swapFree=67111356/67111528
[pid=10123] ppid=10121 vsize=618404 CPUtime=12.32 cores=0,2,4,6
/proc/10123/stat : 10123 (techdemo) R 10121 10123 10090 0 -1 4202496 7495 0 0 0 1231 1 0 0 25 0 4 0 504120618 633245696 4963 33554432000 4194304 4797429 140733728295792 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10123/statm: 154601 4963 416 148 0 149530 0
[pid=10123/tid=10133] ppid=10121 vsize=618404 CPUtime=3.08 cores=0,2,4,6
/proc/10123/task/10133/stat : 10133 (techdemo) R 10121 10123 10090 0 -1 4202560 1319 0 0 0 308 0 0 0 25 0 4 0 504120619 633245696 4963 33554432000 4194304 4797429 140733728295792 18446744073709551615 4524092 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10123/tid=10134] ppid=10121 vsize=618404 CPUtime=3.08 cores=0,2,4,6
/proc/10123/task/10134/stat : 10134 (techdemo) R 10121 10123 10090 0 -1 4202560 1322 0 0 0 308 0 0 0 25 0 4 0 504120619 633245696 4963 33554432000 4194304 4797429 140733728295792 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10123/tid=10135] ppid=10121 vsize=618404 CPUtime=3.06 cores=0,2,4,6
/proc/10123/task/10135/stat : 10135 (techdemo) R 10121 10123 10090 0 -1 4202560 1511 0 0 0 306 0 0 0 25 0 4 0 504120619 633245696 4963 33554432000 4194304 4797429 140733728295792 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 618404

[startup+6.30026 s]
/proc/loadavg: 7.05 7.80 6.97 9/184 10135
/proc/meminfo: memFree=31248580/32951124 swapFree=67111356/67111528
[pid=10123] ppid=10121 vsize=622388 CPUtime=25.12 cores=0,2,4,6
/proc/10123/stat : 10123 (techdemo) R 10121 10123 10090 0 -1 4202496 10288 0 0 0 2509 3 0 0 25 0 4 0 504120618 637325312 5946 33554432000 4194304 4797429 140733728295792 18446744073709551615 4424652 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10123/statm: 155597 5946 416 148 0 150526 0
[pid=10123/tid=10133] ppid=10121 vsize=622388 CPUtime=6.27 cores=0,2,4,6
/proc/10123/task/10133/stat : 10133 (techdemo) R 10121 10123 10090 0 -1 4202560 1656 0 0 0 627 0 0 0 25 0 4 0 504120619 637325312 5946 33554432000 4194304 4797429 140733728295792 18446744073709551615 4424975 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10123/tid=10134] ppid=10121 vsize=622388 CPUtime=6.28 cores=0,2,4,6
/proc/10123/task/10134/stat : 10134 (techdemo) R 10121 10123 10090 0 -1 4202560 1557 0 0 0 628 0 0 0 25 0 4 0 504120619 637325312 5946 33554432000 4194304 4797429 140733728295792 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10123/tid=10135] ppid=10121 vsize=622388 CPUtime=6.25 cores=0,2,4,6
/proc/10123/task/10135/stat : 10135 (techdemo) R 10121 10123 10090 0 -1 4202560 1885 0 0 0 625 0 0 0 25 0 4 0 504120619 637325312 5946 33554432000 4194304 4797429 140733728295792 18446744073709551615 4429143 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 622388

[startup+12.701 s]
/proc/loadavg: 7.20 7.82 6.98 9/184 10135
/proc/meminfo: memFree=31237248/32951124 swapFree=67111356/67111528
[pid=10123] ppid=10121 vsize=625748 CPUtime=50.68 cores=0,2,4,6
/proc/10123/stat : 10123 (techdemo) R 10121 10123 10090 0 -1 4202496 14247 0 0 0 5065 3 0 0 25 0 4 0 504120618 640765952 7040 33554432000 4194304 4797429 140733728295792 18446744073709551615 4429143 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10123/statm: 156437 7040 419 148 0 151366 0
[pid=10123/tid=10133] ppid=10121 vsize=625748 CPUtime=12.67 cores=0,2,4,6
/proc/10123/task/10133/stat : 10133 (techdemo) R 10121 10123 10090 0 -1 4202560 2224 0 0 0 1267 0 0 0 25 0 4 0 504120619 640765952 7040 33554432000 4194304 4797429 140733728295792 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10123/tid=10134] ppid=10121 vsize=625748 CPUtime=12.68 cores=0,2,4,6
/proc/10123/task/10134/stat : 10134 (techdemo) R 10121 10123 10090 0 -1 4202560 2255 0 0 0 1268 0 0 0 25 0 4 0 504120619 640765952 7040 33554432000 4194304 4797429 140733728295792 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10123/tid=10135] ppid=10121 vsize=625748 CPUtime=12.62 cores=0,2,4,6
/proc/10123/task/10135/stat : 10135 (techdemo) R 10121 10123 10090 0 -1 4202560 2417 0 0 0 1262 0 0 0 25 0 4 0 504120619 640765952 7040 33554432000 4194304 4797429 140733728295792 18446744073709551615 4568320 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) 625748

[startup+25.5005 s]
/proc/loadavg: 7.38 7.83 6.99 9/184 10135
/proc/meminfo: memFree=31226556/32951124 swapFree=67111356/67111528
[pid=10123] ppid=10121 vsize=631268 CPUtime=101.82 cores=0,2,4,6
/proc/10123/stat : 10123 (techdemo) R 10121 10123 10090 0 -1 4202496 20777 0 0 0 10177 5 0 0 25 0 4 0 504120618 646418432 8963 33554432000 4194304 4797429 140733728295792 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10123/statm: 157817 8963 419 148 0 152746 0
[pid=10123/tid=10133] ppid=10121 vsize=631268 CPUtime=25.48 cores=0,2,4,6
/proc/10123/task/10133/stat : 10133 (techdemo) R 10121 10123 10090 0 -1 4202560 4132 0 0 0 2547 1 0 0 25 0 4 0 504120619 646418432 8963 33554432000 4194304 4797429 140733728295792 18446744073709551615 4495525 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10123/tid=10134] ppid=10121 vsize=631268 CPUtime=25.48 cores=0,2,4,6
/proc/10123/task/10134/stat : 10134 (techdemo) R 10121 10123 10090 0 -1 4202560 2870 0 0 0 2548 0 0 0 25 0 4 0 504120619 646418432 8963 33554432000 4194304 4797429 140733728295792 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10123/tid=10135] ppid=10121 vsize=631268 CPUtime=25.35 cores=0,2,4,6
/proc/10123/task/10135/stat : 10135 (techdemo) R 10121 10123 10090 0 -1 4202560 3120 0 0 0 2535 0 0 0 25 0 4 0 504120619 646418432 8963 33554432000 4194304 4797429 140733728295792 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 631268

[startup+51.1004 s]
/proc/loadavg: 7.59 7.84 7.02 9/184 10136
/proc/meminfo: memFree=31210880/32951124 swapFree=67111356/67111528
[pid=10123] ppid=10121 vsize=638216 CPUtime=204.09 cores=0,2,4,6
/proc/10123/stat : 10123 (techdemo) R 10121 10123 10090 0 -1 4202496 32095 0 0 0 20402 7 0 0 25 0 4 0 504120618 653533184 11086 33554432000 4194304 4797429 140733728295792 18446744073709551615 4424670 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10123/statm: 159554 11086 421 148 0 154483 0
[pid=10123/tid=10133] ppid=10121 vsize=638216 CPUtime=51.07 cores=0,2,4,6
/proc/10123/task/10133/stat : 10133 (techdemo) R 10121 10123 10090 0 -1 4202560 6261 0 0 0 5106 1 0 0 25 0 4 0 504120619 653533184 11086 33554432000 4194304 4797429 140733728295792 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10123/tid=10134] ppid=10121 vsize=638216 CPUtime=51.07 cores=0,2,4,6
/proc/10123/task/10134/stat : 10134 (techdemo) R 10121 10123 10090 0 -1 4202560 5445 0 0 0 5107 0 0 0 25 0 4 0 504120619 653533184 11086 33554432000 4194304 4797429 140733728295792 18446744073709551615 4495525 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10123/tid=10135] ppid=10121 vsize=638216 CPUtime=50.83 cores=0,2,4,6
/proc/10123/task/10135/stat : 10135 (techdemo) R 10121 10123 10090 0 -1 4202560 4473 0 0 0 5083 0 0 0 25 0 4 0 504120619 653533184 11086 33554432000 4194304 4797429 140733728295792 18446744073709551615 4429157 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 638216

[startup+102.301 s]
/proc/loadavg: 7.82 7.86 7.07 9/184 10137
/proc/meminfo: memFree=31192176/32951124 swapFree=67111356/67111528
[pid=10123] ppid=10121 vsize=645196 CPUtime=408.67 cores=0,2,4,6
/proc/10123/stat : 10123 (techdemo) R 10121 10123 10090 0 -1 4202496 46539 0 0 0 40856 11 0 0 25 0 4 0 504120618 660680704 13152 33554432000 4194304 4797429 140733728295792 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10123/statm: 161299 13152 421 148 0 156228 0
[pid=10123/tid=10133] ppid=10121 vsize=645196 CPUtime=102.28 cores=0,2,4,6
/proc/10123/task/10133/stat : 10133 (techdemo) R 10121 10123 10090 0 -1 4202560 8182 0 0 0 10226 2 0 0 25 0 4 0 504120619 660680704 13152 33554432000 4194304 4797429 140733728295792 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10123/tid=10134] ppid=10121 vsize=645196 CPUtime=102.29 cores=0,2,4,6
/proc/10123/task/10134/stat : 10134 (techdemo) R 10121 10123 10090 0 -1 4202560 7544 0 0 0 10228 1 0 0 25 0 4 0 504120619 660680704 13152 33554432000 4194304 4797429 140733728295792 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10123/tid=10135] ppid=10121 vsize=645196 CPUtime=101.78 cores=0,2,4,6
/proc/10123/task/10135/stat : 10135 (techdemo) R 10121 10123 10090 0 -1 4202560 6895 0 0 0 10177 1 0 0 25 0 4 0 504120619 660680704 13152 33554432000 4194304 4797429 140733728295792 18446744073709551615 4524378 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.67
Current children cumulated vsize (KiB) 645196

[startup+162.3 s]
/proc/loadavg: 7.93 7.89 7.12 9/184 10139
/proc/meminfo: memFree=31177064/32951124 swapFree=67111356/67111528
[pid=10123] ppid=10121 vsize=647912 CPUtime=648.36 cores=0,2,4,6
/proc/10123/stat : 10123 (techdemo) R 10121 10123 10090 0 -1 4202496 60245 0 0 0 64819 17 0 0 25 0 4 0 504120618 663461888 15249 33554432000 4194304 4797429 140733728295792 18446744073709551615 4425836 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10123/statm: 161978 15249 421 148 0 156907 0
[pid=10123/tid=10133] ppid=10121 vsize=647912 CPUtime=162.28 cores=0,2,4,6
/proc/10123/task/10133/stat : 10133 (techdemo) R 10121 10123 10090 0 -1 4202560 9906 0 0 0 16225 3 0 0 25 0 4 0 504120619 663461888 15249 33554432000 4194304 4797429 140733728295792 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10123/tid=10134] ppid=10121 vsize=647912 CPUtime=162.27 cores=0,2,4,6
/proc/10123/task/10134/stat : 10134 (techdemo) R 10121 10123 10090 0 -1 4202560 9058 0 0 0 16226 1 0 0 25 0 4 0 504120619 663461888 15249 33554432000 4194304 4797429 140733728295792 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10123/tid=10135] ppid=10121 vsize=647912 CPUtime=161.47 cores=0,2,4,6
/proc/10123/task/10135/stat : 10135 (techdemo) R 10121 10123 10090 0 -1 4202560 8443 0 0 0 16146 1 0 0 25 0 4 0 504120619 663461888 15249 33554432000 4194304 4797429 140733728295792 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 648.36
Current children cumulated vsize (KiB) 647912

[startup+222.306 s]
/proc/loadavg: 8.06 7.93 7.19 9/184 10141
/proc/meminfo: memFree=31161912/32951124 swapFree=67111356/67111528
[pid=10123] ppid=10121 vsize=656872 CPUtime=888.09 cores=0,2,4,6
/proc/10123/stat : 10123 (techdemo) R 10121 10123 10090 0 -1 4202496 73275 0 0 0 88787 22 0 0 25 0 4 0 504120618 672636928 17145 33554432000 4194304 4797429 140733728295792 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10123/statm: 164218 17145 421 148 0 159147 0
[pid=10123/tid=10133] ppid=10121 vsize=656872 CPUtime=222.28 cores=0,2,4,6
/proc/10123/task/10133/stat : 10133 (techdemo) R 10121 10123 10090 0 -1 4202560 11434 0 0 0 22225 3 0 0 25 0 4 0 504120619 672636928 17145 33554432000 4194304 4797429 140733728295792 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10123/tid=10134] ppid=10121 vsize=656872 CPUtime=222.29 cores=0,2,4,6
/proc/10123/task/10134/stat : 10134 (techdemo) R 10121 10123 10090 0 -1 4202560 10788 0 0 0 22227 2 0 0 25 0 4 0 504120619 672636928 17145 33554432000 4194304 4797429 140733728295792 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10123/tid=10135] ppid=10121 vsize=656872 CPUtime=221.19 cores=0,2,4,6
/proc/10123/task/10135/stat : 10135 (techdemo) R 10121 10123 10090 0 -1 4202560 9962 0 0 0 22116 3 0 0 25 0 4 0 504120619 672636928 17145 33554432000 4194304 4797429 140733728295792 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 888.09
Current children cumulated vsize (KiB) 656872

[startup+282.301 s]

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

[pid=10123] ppid=10121 vsize=681536 CPUtime=2805.7 cores=0,2,4,6
/proc/10123/stat : 10123 (techdemo) R 10121 10123 10090 0 -1 4202496 148021 0 0 0 280519 51 0 0 25 0 4 0 504120618 697892864 25822 33554432000 4194304 4797429 140733728295792 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10123/statm: 170384 25822 421 148 0 165313 0
[pid=10123/tid=10133] ppid=10121 vsize=681536 CPUtime=702.26 cores=0,2,4,6
/proc/10123/task/10133/stat : 10133 (techdemo) R 10121 10123 10090 0 -1 4202560 21443 0 0 0 70219 7 0 0 25 0 4 0 504120619 697892864 25822 33554432000 4194304 4797429 140733728295792 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10123/tid=10134] ppid=10121 vsize=681536 CPUtime=702.3 cores=0,2,4,6
/proc/10123/task/10134/stat : 10134 (techdemo) R 10121 10123 10090 0 -1 4202560 20734 0 0 0 70223 7 0 0 25 0 4 0 504120619 697892864 25822 33554432000 4194304 4797429 140733728295792 18446744073709551615 4567816 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10123/tid=10135] ppid=10121 vsize=681536 CPUtime=698.8 cores=0,2,4,6
/proc/10123/task/10135/stat : 10135 (techdemo) R 10121 10123 10090 0 -1 4202560 19356 0 0 0 69873 7 0 0 25 0 4 0 504120619 697892864 25822 33554432000 4194304 4797429 140733728295792 18446744073709551615 4429085 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.7
Current children cumulated vsize (KiB) 681536

[startup+762.3 s]
/proc/loadavg: 8.15 8.06 7.57 9/184 10185
/proc/meminfo: memFree=31089868/32951124 swapFree=67111356/67111528
[pid=10123] ppid=10121 vsize=686244 CPUtime=3045.42 cores=0,2,4,6
/proc/10123/stat : 10123 (techdemo) R 10121 10123 10090 0 -1 4202496 155085 0 0 0 304488 54 0 0 25 0 4 0 504120618 702713856 26783 33554432000 4194304 4797429 140733728295792 18446744073709551615 4495554 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10123/statm: 171561 26783 423 148 0 166490 0
[pid=10123/tid=10133] ppid=10121 vsize=686244 CPUtime=762.27 cores=0,2,4,6
/proc/10123/task/10133/stat : 10133 (techdemo) R 10121 10123 10090 0 -1 4202560 22484 0 0 0 76219 8 0 0 25 0 4 0 504120619 702713856 26783 33554432000 4194304 4797429 140733728295792 18446744073709551615 4529035 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10123/tid=10134] ppid=10121 vsize=686244 CPUtime=762.3 cores=0,2,4,6
/proc/10123/task/10134/stat : 10134 (techdemo) R 10121 10123 10090 0 -1 4202560 21747 0 0 0 76223 7 0 0 25 0 4 0 504120619 702713856 26783 33554432000 4194304 4797429 140733728295792 18446744073709551615 4524360 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10123/tid=10135] ppid=10121 vsize=686244 CPUtime=758.5 cores=0,2,4,6
/proc/10123/task/10135/stat : 10135 (techdemo) R 10121 10123 10090 0 -1 4202560 20492 0 0 0 75843 7 0 0 25 0 4 0 504120619 702713856 26783 33554432000 4194304 4797429 140733728295792 18446744073709551615 4430012 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.42
Current children cumulated vsize (KiB) 686244

[startup+822.3 s]
/proc/loadavg: 8.11 8.06 7.60 9/184 10187
/proc/meminfo: memFree=31076472/32951124 swapFree=67111356/67111528
[pid=10123] ppid=10121 vsize=689596 CPUtime=3285.08 cores=0,2,4,6
/proc/10123/stat : 10123 (techdemo) R 10121 10123 10090 0 -1 4202496 161013 0 0 0 328452 56 0 0 25 0 4 0 504120618 706146304 29091 33554432000 4194304 4797429 140733728295792 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10123/statm: 172399 29091 421 148 0 167328 0
[pid=10123/tid=10133] ppid=10121 vsize=689596 CPUtime=822.26 cores=0,2,4,6
/proc/10123/task/10133/stat : 10133 (techdemo) R 10121 10123 10090 0 -1 4202560 23023 0 0 0 82218 8 0 0 25 0 4 0 504120619 706146304 29091 33554432000 4194304 4797429 140733728295792 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10123/tid=10134] ppid=10121 vsize=689596 CPUtime=822.29 cores=0,2,4,6
/proc/10123/task/10134/stat : 10134 (techdemo) R 10121 10123 10090 0 -1 4202560 22346 0 0 0 82222 7 0 0 25 0 4 0 504120619 706146304 29091 33554432000 4194304 4797429 140733728295792 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10123/tid=10135] ppid=10121 vsize=689596 CPUtime=818.19 cores=0,2,4,6
/proc/10123/task/10135/stat : 10135 (techdemo) R 10121 10123 10090 0 -1 4202560 21603 0 0 0 81811 8 0 0 25 0 4 0 504120619 706146304 29091 33554432000 4194304 4797429 140733728295792 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3285.08
Current children cumulated vsize (KiB) 689596

[startup+882.306 s]
/proc/loadavg: 8.16 8.08 7.63 9/184 10188
/proc/meminfo: memFree=31066632/32951124 swapFree=67111356/67111528
[pid=10123] ppid=10121 vsize=690120 CPUtime=3524.79 cores=0,2,4,6
/proc/10123/stat : 10123 (techdemo) R 10121 10123 10090 0 -1 4202496 169144 0 0 0 352420 59 0 0 25 0 4 0 504120618 706682880 29177 33554432000 4194304 4797429 140733728295792 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10123/statm: 172530 29177 421 148 0 167459 0
[pid=10123/tid=10133] ppid=10121 vsize=690120 CPUtime=882.26 cores=0,2,4,6
/proc/10123/task/10133/stat : 10133 (techdemo) R 10121 10123 10090 0 -1 4202560 24044 0 0 0 88218 8 0 0 25 0 4 0 504120619 706682880 29177 33554432000 4194304 4797429 140733728295792 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10123/tid=10134] ppid=10121 vsize=690120 CPUtime=882.3 cores=0,2,4,6
/proc/10123/task/10134/stat : 10134 (techdemo) R 10121 10123 10090 0 -1 4202560 23343 0 0 0 88222 8 0 0 25 0 4 0 504120619 706682880 29177 33554432000 4194304 4797429 140733728295792 18446744073709551615 4428884 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10123/tid=10135] ppid=10121 vsize=690120 CPUtime=877.87 cores=0,2,4,6
/proc/10123/task/10135/stat : 10135 (techdemo) R 10121 10123 10090 0 -1 4202560 22725 0 0 0 87779 8 0 0 25 0 4 0 504120619 706682880 29177 33554432000 4194304 4797429 140733728295792 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.79
Current children cumulated vsize (KiB) 690120

[startup+942.301 s]
/proc/loadavg: 8.12 8.08 7.66 9/184 10190
/proc/meminfo: memFree=31057668/32951124 swapFree=67111356/67111528
[pid=10123] ppid=10121 vsize=690300 CPUtime=3764.48 cores=0,2,4,6
/proc/10123/stat : 10123 (techdemo) R 10121 10123 10090 0 -1 4202496 176808 0 0 0 376386 62 0 0 25 0 4 0 504120618 706867200 29501 33554432000 4194304 4797429 140733728295792 18446744073709551615 4351618 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10123/statm: 172575 29501 421 148 0 167504 0
[pid=10123/tid=10133] ppid=10121 vsize=690300 CPUtime=942.26 cores=0,2,4,6
/proc/10123/task/10133/stat : 10133 (techdemo) R 10121 10123 10090 0 -1 4202560 25036 0 0 0 94217 9 0 0 25 0 4 0 504120619 706867200 29501 33554432000 4194304 4797429 140733728295792 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10123/tid=10134] ppid=10121 vsize=690300 CPUtime=942.3 cores=0,2,4,6
/proc/10123/task/10134/stat : 10134 (techdemo) R 10121 10123 10090 0 -1 4202560 24351 0 0 0 94222 8 0 0 25 0 4 0 504120619 706867200 29501 33554432000 4194304 4797429 140733728295792 18446744073709551615 4424673 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10123/tid=10135] ppid=10121 vsize=690300 CPUtime=937.59 cores=0,2,4,6
/proc/10123/task/10135/stat : 10135 (techdemo) R 10121 10123 10090 0 -1 4202560 23167 0 0 0 93750 9 0 0 25 0 4 0 504120619 706867200 29501 33554432000 4194304 4797429 140733728295792 18446744073709551615 4351629 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.48
Current children cumulated vsize (KiB) 690300

[startup+1002.3 s]
/proc/loadavg: 8.14 8.09 7.68 9/184 10191
/proc/meminfo: memFree=31053796/32951124 swapFree=67111356/67111528
[pid=10123] ppid=10121 vsize=692564 CPUtime=4004.17 cores=0,2,4,6
/proc/10123/stat : 10123 (techdemo) R 10121 10123 10090 0 -1 4202496 183541 0 0 0 400352 65 0 0 25 0 4 0 504120618 709185536 29731 33554432000 4194304 4797429 140733728295792 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10123/statm: 173141 29731 421 148 0 168070 0
[pid=10123/tid=10133] ppid=10121 vsize=692564 CPUtime=1002.25 cores=0,2,4,6
/proc/10123/task/10133/stat : 10133 (techdemo) R 10121 10123 10090 0 -1 4202560 25550 0 0 0 100216 9 0 0 25 0 4 0 504120619 709185536 29731 33554432000 4194304 4797429 140733728295792 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10123/tid=10134] ppid=10121 vsize=692564 CPUtime=1002.3 cores=0,2,4,6
/proc/10123/task/10134/stat : 10134 (techdemo) R 10121 10123 10090 0 -1 4202560 24845 0 0 0 100221 9 0 0 25 0 4 0 504120619 709185536 29731 33554432000 4194304 4797429 140733728295792 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10123/tid=10135] ppid=10121 vsize=692564 CPUtime=997.28 cores=0,2,4,6
/proc/10123/task/10135/stat : 10135 (techdemo) R 10121 10123 10090 0 -1 4202560 24115 0 0 0 99718 10 0 0 25 0 4 0 504120619 709185536 29731 33554432000 4194304 4797429 140733728295792 18446744073709551615 4423635 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4004.17
Current children cumulated vsize (KiB) 692564

[startup+1062.3 s]
/proc/loadavg: 8.14 8.10 7.71 9/184 10202
/proc/meminfo: memFree=31041708/32951124 swapFree=67111356/67111528
[pid=10123] ppid=10121 vsize=700228 CPUtime=4243.84 cores=0,2,4,6
/proc/10123/stat : 10123 (techdemo) R 10121 10123 10090 0 -1 4202496 191810 0 0 0 424314 70 0 0 25 0 4 0 504120618 717033472 31584 33554432000 4194304 4797429 140733728295792 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10123/statm: 175057 31584 421 148 0 169986 0
[pid=10123/tid=10133] ppid=10121 vsize=700228 CPUtime=1062.24 cores=0,2,4,6
/proc/10123/task/10133/stat : 10133 (techdemo) R 10121 10123 10090 0 -1 4202560 27000 0 0 0 106215 9 0 0 25 0 4 0 504120619 717033472 31584 33554432000 4194304 4797429 140733728295792 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10123/tid=10134] ppid=10121 vsize=700228 CPUtime=1062.28 cores=0,2,4,6
/proc/10123/task/10134/stat : 10134 (techdemo) R 10121 10123 10090 0 -1 4202560 25829 0 0 0 106218 10 0 0 25 0 4 0 504120619 717033472 31584 33554432000 4194304 4797429 140733728295792 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10123/tid=10135] ppid=10121 vsize=700228 CPUtime=1056.95 cores=0,2,4,6
/proc/10123/task/10135/stat : 10135 (techdemo) R 10121 10123 10090 0 -1 4202560 25504 0 0 0 105685 10 0 0 25 0 4 0 504120619 717033472 31584 33554432000 4194304 4797429 140733728295792 18446744073709551615 4568055 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.84
Current children cumulated vsize (KiB) 700228

[startup+1122.3 s]
/proc/loadavg: 8.10 8.10 7.73 9/184 10204
/proc/meminfo: memFree=31040696/32951124 swapFree=67111356/67111528
[pid=10123] ppid=10121 vsize=700356 CPUtime=4483.53 cores=0,2,4,6
/proc/10123/stat : 10123 (techdemo) R 10121 10123 10090 0 -1 4202496 198047 0 0 0 448280 73 0 0 25 0 4 0 504120618 717164544 32414 33554432000 4194304 4797429 140733728295792 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10123/statm: 175089 32414 421 148 0 170018 0
[pid=10123/tid=10133] ppid=10121 vsize=700356 CPUtime=1122.24 cores=0,2,4,6
/proc/10123/task/10133/stat : 10133 (techdemo) R 10121 10123 10090 0 -1 4202560 28003 0 0 0 112214 10 0 0 25 0 4 0 504120619 717164544 32414 33554432000 4194304 4797429 140733728295792 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10123/tid=10134] ppid=10121 vsize=700356 CPUtime=1122.28 cores=0,2,4,6
/proc/10123/task/10134/stat : 10134 (techdemo) R 10121 10123 10090 0 -1 4202560 26857 0 0 0 112218 10 0 0 25 0 4 0 504120619 717164544 32415 33554432000 4194304 4797429 140733728295792 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10123/tid=10135] ppid=10121 vsize=700356 CPUtime=1116.64 cores=0,2,4,6
/proc/10123/task/10135/stat : 10135 (techdemo) R 10121 10123 10090 0 -1 4202560 25964 0 0 0 111653 11 0 0 25 0 4 0 504120619 717164544 32415 33554432000 4194304 4797429 140733728295792 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.53
Current children cumulated vsize (KiB) 700356

[startup+1182.3 s]
/proc/loadavg: 8.04 8.08 7.75 9/184 10205
/proc/meminfo: memFree=31028756/32951124 swapFree=67111356/67111528
[pid=10123] ppid=10121 vsize=700516 CPUtime=4723.21 cores=0,2,4,6
/proc/10123/stat : 10123 (techdemo) R 10121 10123 10090 0 -1 4202496 205383 0 0 0 472245 76 0 0 25 0 4 0 504120618 717328384 32318 33554432000 4194304 4797429 140733728295792 18446744073709551615 4351629 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10123/statm: 175129 32318 421 148 0 170058 0
[pid=10123/tid=10133] ppid=10121 vsize=700516 CPUtime=1182.24 cores=0,2,4,6
/proc/10123/task/10133/stat : 10133 (techdemo) R 10121 10123 10090 0 -1 4202560 28502 0 0 0 118214 10 0 0 25 0 4 0 504120619 717328384 32318 33554432000 4194304 4797429 140733728295792 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10123/tid=10134] ppid=10121 vsize=700516 CPUtime=1182.29 cores=0,2,4,6
/proc/10123/task/10134/stat : 10134 (techdemo) R 10121 10123 10090 0 -1 4202560 27337 0 0 0 118218 11 0 0 25 0 4 0 504120619 717328384 32318 33554432000 4194304 4797429 140733728295792 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10123/tid=10135] ppid=10121 vsize=700516 CPUtime=1176.32 cores=0,2,4,6
/proc/10123/task/10135/stat : 10135 (techdemo) R 10121 10123 10090 0 -1 4202560 27066 0 0 0 117621 11 0 0 25 0 4 0 504120619 717328384 32318 33554432000 4194304 4797429 140733728295792 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4723.21
Current children cumulated vsize (KiB) 700516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 8.02 8.07 7.75 9/184 10206
/proc/meminfo: memFree=31023792/32951124 swapFree=67111356/67111528
[pid=10123] ppid=10121 vsize=700516 CPUtime=4800.32 cores=0,2,4,6
/proc/10123/stat : 10123 (techdemo) R 10121 10123 10090 0 -1 4202496 207009 0 0 0 479956 76 0 0 25 0 4 0 504120618 717328384 33896 33554432000 4194304 4797429 140733728295792 18446744073709551615 4424755 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10123/statm: 175129 33896 421 148 0 170058 0
[pid=10123/tid=10133] ppid=10121 vsize=700516 CPUtime=1201.54 cores=0,2,4,6
/proc/10123/task/10133/stat : 10133 (techdemo) R 10121 10123 10090 0 -1 4202560 29045 0 0 0 120144 10 0 0 25 0 4 0 504120619 717328384 33896 33554432000 4194304 4797429 140733728295792 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10123/tid=10134] ppid=10121 vsize=700516 CPUtime=1201.59 cores=0,2,4,6
/proc/10123/task/10134/stat : 10134 (techdemo) R 10121 10123 10090 0 -1 4202560 27506 0 0 0 120148 11 0 0 25 0 4 0 504120619 717328384 33896 33554432000 4194304 4797429 140733728295792 18446744073709551615 4567873 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10123/tid=10135] ppid=10121 vsize=700516 CPUtime=1195.51 cores=0,2,4,6
/proc/10123/task/10135/stat : 10135 (techdemo) R 10121 10123 10090 0 -1 4202560 27202 0 0 0 119540 11 0 0 25 0 4 0 504120619 717328384 33896 33554432000 4194304 4797429 140733728295792 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 700516

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

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

[startup+1201.6 s]
/proc/loadavg: 8.02 8.07 7.75 9/184 10206
/proc/meminfo: memFree=31023792/32951124 swapFree=67111356/67111528
[pid=10123] ppid=10121 vsize=700516 CPUtime=4800.32 cores=0,2,4,6
/proc/10123/stat : 10123 (techdemo) R 10121 10123 10090 0 -1 4202496 207009 0 0 0 479956 76 0 0 25 0 4 0 504120618 717328384 33896 33554432000 4194304 4797429 140733728295792 18446744073709551615 4424755 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10123/statm: 175129 33896 421 148 0 170058 0
[pid=10123/tid=10133] ppid=10121 vsize=700516 CPUtime=1201.54 cores=0,2,4,6
/proc/10123/task/10133/stat : 10133 (techdemo) R 10121 10123 10090 0 -1 4202560 29045 0 0 0 120144 10 0 0 25 0 4 0 504120619 717328384 33896 33554432000 4194304 4797429 140733728295792 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10123/tid=10134] ppid=10121 vsize=700516 CPUtime=1201.59 cores=0,2,4,6
/proc/10123/task/10134/stat : 10134 (techdemo) R 10121 10123 10090 0 -1 4202560 27506 0 0 0 120148 11 0 0 25 0 4 0 504120619 717328384 33896 33554432000 4194304 4797429 140733728295792 18446744073709551615 4567873 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10123/tid=10135] ppid=10121 vsize=700516 CPUtime=1195.51 cores=0,2,4,6
/proc/10123/task/10135/stat : 10135 (techdemo) R 10121 10123 10090 0 -1 4202560 27202 0 0 0 119540 11 0 0 25 0 4 0 504120619 717328384 33896 33554432000 4194304 4797429 140733728295792 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 700516

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.62
CPU time (s): 4800.36
CPU user time (s): 4799.58
CPU system time (s): 0.775882
CPU usage (%): 399.491
Max. virtual memory (cumulated for all children) (KiB): 792328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.58
system time used= 0.775882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207009
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= 453
involuntary context switches= 25492

runsolver used 1.89571 second user time and 4.20936 second system time

The end

Launcher Data 

Begin job on node143 at 2011-04-30 00:44:10
IDJOB=3172900
IDBENCH=82918
IDSOLVER=1584
FILE ID=node143/3172900-1304117050
RUNJOBID= node143-1304117050-10108
PBS_JOBID= 13170718
Free space on /tmp= 72924 MiB

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

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

MD5SUM BENCH= 9e4f1914facdb4a8b3ffdd1de343beff
RANDOM SEED=431724313

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
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.74
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.846
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.846
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.75
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.846
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.846
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.846
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:      31295640 kB
Buffers:        240412 kB
Cached:        1073612 kB
SwapCached:        168 kB
Active:         303880 kB
Inactive:      1073924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31295640 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           15684 kB
Writeback:           0 kB
AnonPages:       64952 kB
Mapped:          14116 kB
Slab:           212736 kB
PageTables:       4972 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   184712 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= 72908 MiB
End job on node143 at 2011-04-30 01:04:14