Trace number 3172921

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

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v60-c5340-S1510638717-051.SATISFIABLE.cnf
MD5SUMe8248df66827581bc842de4513557985
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.05799
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-3172921-1304120054.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.01/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/1900/5340 lits-rem:0 time: 0.44
0.35/0.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.01
0.35/0.12	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
0.35/0.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.35/0.12	c Subs w/ non-existent bins:      0 time:  0.00 s
0.35/0.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.35/0.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.35/0.13	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
0.35/0.14	c lits-rem:         0  cl-subs:        0  v-elim:     40  v-fix:    0  time:  0.05 s
0.35/0.14	c learnt bin added due to v-elim: 0
0.35/0.14	c Finding binary XORs  T:     0.00 s  found:       0
0.35/0.14	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.35/0.14	c calculated reachability. Time: 0.00
0.35/0.14	c Calc default polars -  time:   0.00 s pos:      28 undec:       1 neg:      31
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.35/0.22	c Decided on static restart strategy
0.35/0.31	c  N dy    19      4022        60      5340         0      3598     37380     77895     21.93     19.12  --
0.35/0.52	c  N dy    46      8056        60      5340         0      4960     37380     99482     21.59     18.99  --
0.35/0.75	c  N dy    73     12086        60      5340         0      4756     37380     86247     21.04     18.95  --
2.73/0.98	c  N dy   100     16126        60      5340         0      8366     37380    163918     21.80     19.03  --
4.74/1.24	c  N dy   127     20142        60      5340         0      6961     37380    123669     22.05     18.99  --
5.95/1.52	c  N dy   154     24183        60      5340         0     10550     37380    200494     21.34     19.00  --
6.76/1.80	c  N dy   181     28186        60      5340         0      8063     37380    136431     21.64     18.99  --
7.54/1.93	c  S st   194     30001        60      5340         0      9688     37380    170708     21.06     18.98  --
7.54/1.97	c  S st   194     30503        60      5340         0     10158     37380    181005     21.06     18.98  --
7.54/1.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.54/1.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.54/1.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.0M T:  0.08
7.54/1.99	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
7.54/1.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.54/1.99	c Subs w/ non-existent bins:      0 time:  0.00 s
7.94/2.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.94/2.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.94/2.00	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
9.94/2.56	c lits-rem:      1283  cl-subs:     1372  v-elim:     60  v-fix:    0  time:  2.27 s
9.94/2.56	c learnt bin added due to v-elim: 0
9.94/2.56	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
9.94/2.57	c vivif2 --  cl tried     8786 cl shrink        0 lits rem          0 time: 0.00
10.74/2.72	c asymm  cl-useful: 0/1993/5340 lits-rem:0 time: 0.61
10.74/2.72	c calculated reachability. Time: 0.00
10.74/2.72	c  N dy   194     30503        60      5340         0      8786     37380    153436     21.06     18.98  --
10.74/2.72	c  F st   194     30503        60      5340         0      8786     37380    153436     21.06     18.98  --
11.15/2.87	c Decided on static restart strategy
11.93/3.02	c  N dy   213     34537        60      5340         0     12401     37380    230678     21.36     18.95  --
13.13/3.33	c  N dy   240     38571        60      5340         0      8986     37380    148111     21.68     18.96  --
14.33/3.63	c  N dy   267     42611        60      5340         0     12600     37380    224204     21.31     18.94  --
15.54/3.92	c  S st   289     45754        60      5340         0     15416     37380    283914     21.50     18.93  --
15.54/3.98	c  S st   289     46257        60      5340         0     15879     37380    294255     21.50     18.93  --
15.54/3.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.54/3.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.94/4.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.1M T:  0.16
15.94/4.02	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
15.94/4.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.94/4.02	c Subs w/ non-existent bins:      0 time:  0.01 s
15.94/4.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.94/4.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.94/4.03	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
19.12/4.83	c lits-rem:      1996  cl-subs:     2030  v-elim:     60  v-fix:    0  time:  3.23 s
19.12/4.83	c learnt bin added due to v-elim: 0
19.12/4.83	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
19.12/4.84	c vivif2 --  cl tried    13849 cl shrink        0 lits rem          0 time: 0.01
19.52/5.00	c asymm  cl-useful: 0/1447/5340 lits-rem:0 time: 0.65
19.52/5.00	c calculated reachability. Time: 0.00
19.52/5.00	c  N dy   289     46257        60      5340         0     13849     37380    248502     21.50     18.93  --
21.12/5.34	c  N dy   316     50287        60      5340         0      9541     37380    149778     21.39     18.91  --
22.32/5.66	c  N dy   343     54290        60      5340         0     13122     37380    226058     21.44     18.92  --
23.92/6.03	c  N dy   370     58303        60      5340         0     16751     37380    302872     21.33     18.90  --
25.11/6.39	c  N dy   397     62352        60      5340         0     11540     37380    181767     21.67     18.90  --
26.71/6.74	c  N dy   424     66391        60      5340         0     15158     37380    258699     21.79     18.89  --
27.91/7.04	c  S st   445     69387        60      5340         0     17848     37380    316575     21.61     18.90  --
28.31/7.11	c  S st   445     69891        60      5340         0     18310     37380    326850     21.61     18.90  --
28.31/7.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.31/7.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
28.31/7.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.2M T:  0.22
28.31/7.16	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
28.31/7.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
28.31/7.17	c Subs w/ non-existent bins:      0 time:  0.01 s
28.31/7.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.31/7.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.31/7.17	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
31.50/7.94	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.50/8.98	c Added 1 vars  tried: 16020 time: 4.18
35.50/8.99	c ORs :      1 avg-s:  0.0 cl-sh:  1357 l-rem:   1357 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:    4.22
35.90/9.00	c lits-rem:      1721  cl-subs:     2347  v-elim:     60  v-fix:    0  time:  7.30 s
35.90/9.00	c learnt bin added due to v-elim: 0
35.90/9.00	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
35.90/9.00	c vivif2 --  cl tried    15963 cl shrink        0 lits rem          0 time: 0.01
36.30/9.16	c asymm  cl-useful: 0/1822/5341 lits-rem:0 time: 0.65
36.30/9.16	c calculated reachability. Time: 0.00
36.30/9.16	c  N dy   445     69891        61      5341         2     15963     37364    273818     21.61     18.90  --
36.30/9.16	c  F st   445     69891        61      5341         2     15963     37364    273818     21.61     18.90  --
37.10/9.35	c Decided on static restart strategy
38.29/9.60	c  N dy   467     74367        61      5341         2     10230     37364    145156     21.46     18.90  --
39.89/10.00	c  N dy   499     79170        61      5341         2     14524     37364    237493     21.94     18.91  --
41.49/10.50	c  N dy   533     84232        61      5341         2     19119     37364    337136     21.83     18.93  --
43.88/11.07	c  N dy   570     89731        61      5341         2     13375     37364    200069     21.36     18.94  --
46.30/11.64	c  N dy   609     95529        61      5341         2     18591     37364    312694     21.29     18.95  --
49.08/12.36	c  N dy   651    101754        61      5341         2     12532     37364    171184     21.46     18.96  --
50.28/12.66	c  S st   672    104838        61      5341         2     15271     37364    229664     21.53     18.96  --
50.70/12.72	c  S st   672    105343        61      5341         2     15738     37364    239926     21.53     18.96  --
50.70/12.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
50.70/12.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
50.70/12.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.6M T:  0.22
50.70/12.77	c Calc non-exist non-lernt bins v-fix:     0 done:     61 time:  0.00 s
50.70/12.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
50.70/12.77	c Subs w/ non-existent bins:      0 time:  0.01 s
50.70/12.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
50.70/12.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.70/12.78	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
53.07/13.38	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.07/13.38	c lits-rem:      1088  cl-subs:     1310  v-elim:     60  v-fix:    0  time:  2.43 s
53.07/13.38	c learnt bin added due to v-elim: 0
53.07/13.39	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
53.07/13.39	c vivif2 --  cl tried    14428 cl shrink        0 lits rem          0 time: 0.01
53.87/13.54	c asymm  cl-useful: 0/1387/5341 lits-rem:0 time: 0.62
53.87/13.54	c calculated reachability. Time: 0.00
53.87/13.54	c  N dy   672    105343        61      5341         2     14428     37364    213500     21.53     18.96  --
56.67/14.24	c  N dy   717    112072        61      5341         2     20480     37364    343951     21.88     18.97  --
60.26/15.10	c  N dy   765    119242        61      5341         2     14470     37364    204015     21.42     18.97  --
63.46/15.93	c  N dy   817    126956        61      5341         2     21409     37364    351700     21.62     18.96  --
67.46/16.94	c  N dy   872    135134        61      5341         2     15322     37364    212509     21.58     18.96  --
71.45/17.91	c  N dy   930    143792        61      5341         2     23115     37364    379388     21.42     18.96  --
76.24/19.12	c  N dy   992    153012        61      5341         2     17044     37364    237138     21.18     18.96  --
78.63/19.70	c  S st  1026    158015        61      5341         2     21530     37364    332574     21.63     18.95  --
78.63/19.78	c  S st  1026    158525        61      5341         2     21992     37364    342443     21.63     18.95  --
78.63/19.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
78.63/19.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
79.03/19.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.6M T:  0.34
79.03/19.86	c Calc non-exist non-lernt bins v-fix:     0 done:     61 time:  0.00 s
79.03/19.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
79.03/19.86	c Subs w/ non-existent bins:      0 time:  0.01 s
79.03/19.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
79.03/19.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.03/19.87	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
82.63/20.70	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.63/20.71	c lits-rem:      1540  cl-subs:     2122  v-elim:     60  v-fix:    0  time:  3.34 s
82.63/20.71	c learnt bin added due to v-elim: 0
82.63/20.71	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
82.63/20.71	c vivif2 --  cl tried    19870 cl shrink        0 lits rem          0 time: 0.01
83.03/20.87	c asymm  cl-useful: 0/1086/5341 lits-rem:0 time: 0.63
83.03/20.87	c calculated reachability. Time: 0.00
83.03/20.87	c  N dy  1026    158525        61      5341         2     19870     37364    298878     21.63     18.95  --
88.63/22.27	c  N dy  1095    168722        61      5341         2     29026     37364    493605     21.58     18.94  --
94.22/23.62	c  N dy  1168    179598        61      5341         2     23619     37364    367617     21.22     18.94  --
100.60/25.29	c  N dy  1245    191140        61      5341         2     17847     37364    233792     21.72     18.94  --
107.40/26.93	c  N dy  1327    203361        61      5341         2     28792     37364    465426     21.51     18.92  --
114.98/28.81	c  N dy  1414    216378        61      5341         2     23467     37364    342226     21.47     18.91  --
123.78/31.05	c  N dy  1507    230193        65      5341        14     17967     37384    215974     21.87     18.91  --
127.38/32.00	c  S st  1558    237787        65      5341        14     24751     37384    362578     22.04     18.92  --
127.78/32.08	c  S st  1558    238291        65      5341        14     25221     37384    373222     22.04     18.92  --
127.78/32.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
127.78/32.08	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
128.18/32.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.5M T:  0.43
128.18/32.19	c Calc non-exist non-lernt bins v-fix:     0 done:     65 time:  0.00 s
128.18/32.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
128.18/32.19	c Subs w/ non-existent bins:      0 time:  0.01 s
128.58/32.20	c Replacing        1 vars Replaced     1098 lits Time:     0.03 s 
128.58/32.20	c bin-w-bin subsume rem            2 bins  time:  0.00 s
128.58/32.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
128.58/32.20	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
132.57/33.21	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
132.57/33.22	c lits-rem:      1150  cl-subs:     2150  v-elim:     60  v-fix:    0  time:  4.04 s
132.57/33.22	c learnt bin added due to v-elim: 0
132.57/33.22	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
132.57/33.22	c vivif2 --  cl tried    23071 cl shrink        0 lits rem          0 time: 0.02
132.97/33.38	c asymm  cl-useful: 0/875/5341 lits-rem:0 time: 0.64
132.97/33.38	c calculated reachability. Time: 0.00
132.97/33.38	c  N dy  1558    238291        64      5341         8     23071     37376    331025     22.04     18.92  --
142.97/35.89	c  N dy  1661    253551        64      5341         8     36807     37376    623864     21.37     18.89  --
152.93/38.38	c  N dy  1770    269773        64      5341         8     32667     37376    522763     21.68     18.88  --
164.52/41.28	c  N dy  1886    287023        64      5341         8     28520     37376    420313     21.32     18.85  --
177.71/44.50	c  N dy  2009    305349        64      5341         8     24359     37376    318206     21.59     18.83  --
191.30/48.00	c  N dy  2141    324949        64      5341         8     42128     37376    698313     20.85     18.81  --
205.26/51.46	c  N dy  2276    344968        64      5341         8     38588     37376    612053     21.65     18.81  --
214.85/53.89	c  S st  2361    357436        68      5341        21     27249     37396    357029     21.87     18.80  --
215.25/53.98	c  S st  2361    357939        68      5341        21     27723     37396    367627     21.87     18.80  --
215.25/53.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
215.25/53.98	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
216.05/54.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      2 CBin:       0 P:  9.3M T:  0.52
216.05/54.12	c Calc non-exist non-lernt bins v-fix:     0 done:     68 time:  0.00 s
216.05/54.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
216.05/54.12	c Subs w/ non-existent bins:      0 time:  0.01 s
216.05/54.12	c Replacing        2 vars Replaced      181 lits Time:     0.01 s 
216.05/54.13	c bin-w-bin subsume rem            2 bins  time:  0.00 s
216.05/54.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
216.05/54.13	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
220.04/55.13	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
220.04/55.14	c lits-rem:       980  cl-subs:     1786  v-elim:     60  v-fix:    0  time:  4.05 s
220.04/55.14	c learnt bin added due to v-elim: 0
220.04/55.14	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
220.04/55.15	c vivif2 --  cl tried    25937 cl shrink        0 lits rem          0 time: 0.01
220.84/55.30	c asymm  cl-useful: 0/1133/5341 lits-rem:0 time: 0.64
220.84/55.31	c calculated reachability. Time: 0.00
220.84/55.31	c  N dy  2361    357939        66      5341        12     25937     37384    337171     21.87     18.80  --
236.42/59.22	c  N dy  2497    377993        66      5341        12     44102     37384    723520     21.27     18.76  --
251.60/63.03	c  N dy  2633    398063        66      5341        12     38864     37384    599412     21.77     18.75  --
267.98/67.19	c  N dy  2769    418163        66      5341        12     32655     37384    455106     21.73     18.73  --
287.16/71.90	c  N dy  2905    438284        66      5341        12     25557     37384    291638     21.86     18.72  --
303.14/75.90	c  N dy  3041    458321        66      5341        12     43739     37384    682632     21.84     18.71  --
320.31/80.29	c  N dy  3176    478332        66      5341        12     35583     37384    496771     21.64     18.69  --
340.29/85.21	c  N dy  3311    498358        66      5341        12     53769     37384    887577     21.76     18.69  --
357.06/89.44	c  N dy  3447    518503        70      5341        33     44907     37412    690710     21.62     18.68  --
374.63/93.89	c  S st  3494    536908        70      5341        35     33416     37414    428712     21.46     18.62  --
375.43/94.01	c  S st  3494    537412        70      5341        35     33885     37414    438912     21.46     18.62  --
375.43/94.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
375.43/94.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
375.85/94.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 12.4M T:  0.67
375.85/94.18	c Calc non-exist non-lernt bins v-fix:     0 done:     70 time:  0.00 s
375.85/94.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
375.85/94.18	c Subs w/ non-existent bins:      0 time:  0.02 s
375.85/94.19	c Replacing        4 vars Replaced     1062 lits Time:     0.03 s 
375.85/94.20	c bin-w-bin subsume rem            8 bins  time:  0.00 s
375.85/94.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
375.85/94.20	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
381.02/95.44	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
404.20/101.25	c Added 1 vars  tried: 80000 time: 23.21
404.20/101.29	c ORs :      1 avg-s:  0.0 cl-sh:  3241 l-rem:   3241 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   23.36
404.60/101.30	c lits-rem:      1884  cl-subs:     1931  v-elim:     60  v-fix:    0  time: 28.35 s
404.60/101.30	c learnt bin added due to v-elim: 0
404.60/101.30	c vivif2 --  cl tried     5342 cl shrink        0 lits rem          0 time: 0.00
404.60/101.30	c vivif2 --  cl tried    31954 cl shrink        0 lits rem          0 time: 0.02
405.00/101.46	c asymm  cl-useful: 0/857/5342 lits-rem:0 time: 0.62
405.00/101.46	c calculated reachability. Time: 0.00
405.00/101.46	c  N dy  3494    537412        67      5342        14     31954     37362    403818     21.46     18.62  --
405.00/101.46	c  F st  3494    537412        67      5342        14     31954     37362    403818     21.46     18.62  --
406.61/101.83	c Decided on static restart strategy
422.57/105.86	c  N dy  3621    557432        67      5342        14     50093     37362    795598     21.17     18.61  --
441.77/110.67	c  N dy  3756    577446        67      5342        14     39389     37362    549298     21.25     18.60  --
462.92/115.98	c  N dy  3892    597486        67      5342        14     57645     37362    944993     21.62     18.60  --
673.83/168.77	c  N dy  3915    806119        67      5342        14     52145     37362    742591     18.81     17.83  --
674.23/168.80	c  S st  3915    806119        67      5342        14     52145     37362    742591     18.81     17.83  --
674.65/168.98	c  S st  3915    806622        71      5342        22     52616     37378    752907     18.81     17.83  --
674.65/168.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
674.65/168.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
676.23/169.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 20.4M T:  1.31
676.23/169.31	c Calc non-exist non-lernt bins v-fix:     0 done:     71 time:  0.00 s
676.23/169.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
676.23/169.32	c Subs w/ non-existent bins:      0 time:  0.03 s
676.23/169.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
676.23/169.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
676.23/169.34	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
689.82/172.78	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.04
689.82/172.79	c lits-rem:      2165  cl-subs:     8055  v-elim:     60  v-fix:    0  time: 13.81 s
689.82/172.79	c learnt bin added due to v-elim: 0
689.82/172.79	c vivif2 --  cl tried     5342 cl shrink        0 lits rem          0 time: 0.00
690.22/172.80	c vivif2 --  cl tried    44561 cl shrink        0 lits rem          0 time: 0.04
690.22/172.89	c asymm  cl-useful: 0/300/5342 lits-rem:0 time: 0.34
690.22/172.89	c calculated reachability. Time: 0.00
690.22/172.89	c  N dy  3915    806622        71      5342        22     44561     37378    616255     18.81     17.83  --
1182.36/296.03	c  N dy  3990   1209933        73      5342        26     61381     37386    927015     22.35     16.91  --
1182.36/296.06	c  S st  3990   1209933        73      5342        26     61381     37386    927015     22.35     16.91  --
1183.16/296.28	c  S st  3990   1210437        77      5342        34     61854     37402    937606     22.35     16.91  --
1183.16/296.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1183.16/296.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1185.15/296.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 25.0M T:  1.83
1185.15/296.74	c Calc non-exist non-lernt bins v-fix:     0 done:     77 time:  0.00 s
1185.15/296.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1185.15/296.75	c Subs w/ non-existent bins:      0 time:  0.04 s
1185.15/296.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1185.15/296.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1185.15/296.77	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1201.95/300.92	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
1258.65/315.13	c Added 1 vars  tried: 80000 time: 56.74
1260.24/315.50	c ORs :      1 avg-s:  0.0 cl-sh: 12903 l-rem:  12903 b-add:      3 v-rep:   0 cl-rem: 0 avg s: nan T:   58.23
1260.24/315.52	c lits-rem:      4046  cl-subs:     4400  v-elim:     60  v-fix:    0  time: 74.86 s
1260.24/315.52	c learnt bin added due to v-elim: 0
1260.24/315.52	c vivif2 --  cl tried     5343 cl shrink        0 lits rem          0 time: 0.00
1260.24/315.53	c vivif2 --  cl tried    57453 cl shrink        0 lits rem          0 time: 0.05
1260.64/315.62	c asymm  cl-useful: 0/276/5343 lits-rem:0 time: 0.36
1260.64/315.62	c calculated reachability. Time: 0.00
1260.64/315.62	c  N dy  3990   1210437        78      5343        37     57453     37387    832828     22.35     16.91  --
2076.38/519.81	c  N dy  3991   1710437        78      5343        37     85848     37387   1262129     20.16     16.35  --
2076.38/519.86	c  S st  3991   1710437        78      5343        37     85848     37387   1262129     20.16     16.35  --
2077.56/520.19	c  S st  3991   1710943        78      5343        37     86319     37387   1272385     20.16     16.35  --
2077.96/520.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2077.96/520.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2080.36/520.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      1 BRemL:      0 BRemN:      0 CBin:       0 P: 35.5M T:  2.53
2080.36/520.83	c Calc non-exist non-lernt bins v-fix:     0 done:     78 time:  0.01 s
2080.36/520.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2080.36/520.85	c Subs w/ non-existent bins:      0 time:  0.06 s
2080.36/520.86	c Replacing        1 vars Replaced      257 lits Time:     0.05 s 
2080.36/520.88	c bin-w-bin subsume rem            2 bins  time:  0.00 s
2080.36/520.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2080.36/520.89	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2113.91/529.22	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.13
2113.91/529.24	c lits-rem:       727  cl-subs:    15342  v-elim:     60  v-fix:    0  time: 33.37 s
2113.91/529.24	c learnt bin added due to v-elim: 0
2113.91/529.24	c vivif2 --  cl tried     5343 cl shrink        0 lits rem          0 time: 0.00
2113.91/529.26	c vivif2 --  cl tried    70977 cl shrink        0 lits rem          0 time: 0.06
2114.31/529.36	c asymm  cl-useful: 0/200/5343 lits-rem:0 time: 0.40
2114.31/529.36	c calculated reachability. Time: 0.00
2114.31/529.36	c  N dy  3991   1710943        77      5343        34     70977     37383   1021912     20.16     16.35  --
3073.42/769.49	c  N dy  4005   2210945        77      5343        34     86354     37383   1243257     18.85     16.10  --
3073.84/769.54	c  S st  4005   2210945        77      5343        34     86354     37383   1243257     18.85     16.10  --
3073.84/769.54	c Finding binary XORs  T:     0.00 s  found:       0
3075.02/769.86	c  S st  4005   2211447        81      5343        42     86835     37399   1253842     18.85     16.10  --
3075.02/769.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3075.02/769.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3077.82/770.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 39.6M T:  2.76
3077.82/770.55	c Calc non-exist non-lernt bins v-fix:     0 done:     81 time:  0.01 s
3077.82/770.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3077.82/770.57	c Subs w/ non-existent bins:      0 time:  0.06 s
3077.82/770.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3077.82/770.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3077.82/770.59	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3114.56/779.70	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.17
3114.56/779.72	c lits-rem:      2433  cl-subs:    11891  v-elim:     60  v-fix:    0  time: 36.46 s
3114.56/779.72	c learnt bin added due to v-elim: 0
3114.56/779.72	c vivif2 --  cl tried     5343 cl shrink        0 lits rem          0 time: 0.00
3114.56/779.74	c vivif2 --  cl tried    74944 cl shrink        2 lits rem          3 time: 0.07
3114.96/779.85	c asymm  cl-useful: 0/156/5343 lits-rem:0 time: 0.42
3114.96/779.85	c calculated reachability. Time: 0.00
3114.96/779.85	c  N dy  4005   2211447        81      5343        42     74944     37399   1047491     18.85     16.10  --
4220.29/1056.52	c  N dy  4020   2711447        81      5343        42     98994     37399   1518612     20.69     15.52  --
4220.29/1056.59	c  S st  4020   2711447        81      5343        42     98994     37399   1518612     20.69     15.52  --
4221.88/1056.94	c  S st  4020   2711950        81      5343        42     99471     37399   1529079     20.69     15.52  --
4221.88/1056.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4221.88/1056.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4225.50/1057.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 46.6M T:  3.73
4225.50/1057.88	c Calc non-exist non-lernt bins v-fix:     0 done:     81 time:  0.01 s
4225.50/1057.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4225.88/1057.90	c Subs w/ non-existent bins:      0 time:  0.07 s
4225.88/1057.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4225.88/1057.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4225.88/1057.93	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
4273.44/1069.86	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.12
4273.44/1069.89	c lits-rem:      2612  cl-subs:    12291  v-elim:     60  v-fix:    0  time: 47.75 s
4273.44/1069.89	c learnt bin added due to v-elim: 0
4273.44/1069.89	c vivif2 --  cl tried     5343 cl shrink        0 lits rem          0 time: 0.00
4273.84/1069.91	c vivif2 --  cl tried    87180 cl shrink        0 lits rem          0 time: 0.08
4274.22/1070.02	c asymm  cl-useful: 0/151/5343 lits-rem:0 time: 0.44
4274.22/1070.03	c calculated reachability. Time: 0.00
4274.22/1070.03	c  N dy  4020   2711950        81      5343        42     87180     37399   1290168     20.69     15.52  --
4274.22/1070.03	c  F st  4020   2711950        81      5343        42     87180     37399   1290168     20.69     15.52  --
4279.41/1071.31	c Decided on static restart strategy

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3172921-1304120054/watcher-3172921-1304120054 -o /tmp/evaluation-result-3172921-1304120054/solver-3172921-1304120054 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172921-1304120054.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.51 8.01 8.10 4/180 9811
/proc/meminfo: memFree=29689816/32951124 swapFree=67111352/67111528
[pid=9811] ppid=9809 vsize=50140 CPUtime=0 cores=1,3,5,7
/proc/9811/stat : 9811 (techdemo) R 9809 9811 9058 0 -1 4202496 673 0 0 0 0 0 0 0 22 0 1 0 523603275 51343360 605 33554432000 4194304 4797429 140737290961872 18446744073709551615 255376998155 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9811/statm: 12535 605 347 148 0 7464 0

[startup+0.0169051 s]
/proc/loadavg: 7.51 8.01 8.10 4/180 9811
/proc/meminfo: memFree=29689816/32951124 swapFree=67111352/67111528
[pid=9811] ppid=9809 vsize=81432 CPUtime=0.01 cores=1,3,5,7
/proc/9811/stat : 9811 (techdemo) R 9809 9811 9058 0 -1 4202496 969 0 0 0 1 0 0 0 22 0 4 0 523603275 83386368 885 33554432000 4194304 4797429 140737290961872 18446744073709551615 48000554260402 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9811/statm: 20358 885 360 148 0 15287 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 81432

[startup+0.100853 s]
/proc/loadavg: 7.51 8.01 8.10 4/180 9811
/proc/meminfo: memFree=29689816/32951124 swapFree=67111352/67111528
[pid=9811] ppid=9809 vsize=147628 CPUtime=0.35 cores=1,3,5,7
/proc/9811/stat : 9811 (techdemo) R 9809 9811 9058 0 -1 4202496 1163 0 0 0 35 0 0 0 18 0 4 0 523603275 151171072 1069 33554432000 4194304 4797429 140737290961872 18446744073709551615 4428943 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9811/statm: 36907 1069 372 148 0 31836 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 147628

[startup+1.03968 s]
/proc/loadavg: 7.51 8.01 8.10 4/180 9811
/proc/meminfo: memFree=29689816/32951124 swapFree=67111352/67111528
[pid=9811] ppid=9809 vsize=614652 CPUtime=4.09 cores=1,3,5,7
/proc/9811/stat : 9811 (techdemo) R 9809 9811 9058 0 -1 4202496 5281 0 0 0 409 0 0 0 19 0 4 0 523603275 629403648 4110 33554432000 4194304 4797429 140737290961872 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9811/statm: 153663 4110 413 148 0 148592 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 614652

[startup+1.13966 s]
/proc/loadavg: 7.51 8.01 8.10 4/180 9811
/proc/meminfo: memFree=29689816/32951124 swapFree=67111352/67111528
[pid=9811] ppid=9809 vsize=615052 CPUtime=4.49 cores=1,3,5,7
/proc/9811/stat : 9811 (techdemo) R 9809 9811 9058 0 -1 4202496 5521 0 0 0 449 0 0 0 19 0 4 0 523603275 629813248 4084 33554432000 4194304 4797429 140737290961872 18446744073709551615 4424622 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9811/statm: 153763 4084 413 148 0 148692 0
Current children cumulated CPU time (s) 4.49
Current children cumulated vsize (KiB) 615052

[startup+1.5006 s]
/proc/loadavg: 7.51 8.01 8.10 4/180 9811
/proc/meminfo: memFree=29689816/32951124 swapFree=67111352/67111528
[pid=9811] ppid=9809 vsize=615424 CPUtime=5.95 cores=1,3,5,7
/proc/9811/stat : 9811 (techdemo) R 9809 9811 9058 0 -1 4202496 5814 0 0 0 594 1 0 0 20 0 4 0 523603275 630194176 4370 33554432000 4194304 4797429 140737290961872 18446744073709551615 4425633 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9811/statm: 153856 4370 414 148 0 148785 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 615424

[startup+3.1003 s]
/proc/loadavg: 7.51 8.01 8.10 10/188 9819
/proc/meminfo: memFree=29649948/32951124 swapFree=67111352/67111528
[pid=9811] ppid=9809 vsize=618460 CPUtime=12.33 cores=1,3,5,7
/proc/9811/stat : 9811 (techdemo) R 9809 9811 9058 0 -1 4202496 7565 0 0 0 1232 1 0 0 25 0 4 0 523603275 633303040 5052 33554432000 4194304 4797429 140737290961872 18446744073709551615 4425630 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9811/statm: 154615 5052 416 148 0 149544 0
[pid=9811/tid=9817] ppid=9809 vsize=618460 CPUtime=3.07 cores=1,3,5,7
/proc/9811/task/9817/stat : 9817 (techdemo) R 9809 9811 9058 0 -1 4202560 1344 0 0 0 307 0 0 0 25 0 4 0 523603276 633303040 5052 33554432000 4194304 4797429 140737290961872 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9811/tid=9818] ppid=9809 vsize=618460 CPUtime=3.06 cores=1,3,5,7
/proc/9811/task/9818/stat : 9818 (techdemo) R 9809 9811 9058 0 -1 4202560 1430 0 0 0 306 0 0 0 25 0 4 0 523603276 633303040 5052 33554432000 4194304 4797429 140737290961872 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9811/tid=9819] ppid=9809 vsize=618460 CPUtime=3.08 cores=1,3,5,7
/proc/9811/task/9819/stat : 9819 (techdemo) R 9809 9811 9058 0 -1 4202560 1433 0 0 0 308 0 0 0 25 0 4 0 523603276 633303040 5052 33554432000 4194304 4797429 140737290961872 18446744073709551615 4524066 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 618460

[startup+6.3007 s]
/proc/loadavg: 7.55 8.01 8.10 10/188 9819
/proc/meminfo: memFree=29639672/32951124 swapFree=67111352/67111528
[pid=9811] ppid=9809 vsize=621836 CPUtime=25.11 cores=1,3,5,7
/proc/9811/stat : 9811 (techdemo) R 9809 9811 9058 0 -1 4202496 10059 0 0 0 2509 2 0 0 25 0 4 0 523603275 636760064 5993 33554432000 4194304 4797429 140737290961872 18446744073709551615 4424659 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9811/statm: 155459 5993 416 148 0 150388 0
[pid=9811/tid=9817] ppid=9809 vsize=621836 CPUtime=6.27 cores=1,3,5,7
/proc/9811/task/9817/stat : 9817 (techdemo) R 9809 9811 9058 0 -1 4202560 1544 0 0 0 627 0 0 0 25 0 4 0 523603276 636760064 5993 33554432000 4194304 4797429 140737290961872 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9811/tid=9818] ppid=9809 vsize=621836 CPUtime=6.25 cores=1,3,5,7
/proc/9811/task/9818/stat : 9818 (techdemo) R 9809 9811 9058 0 -1 4202560 1865 0 0 0 625 0 0 0 25 0 4 0 523603276 636760064 5993 33554432000 4194304 4797429 140737290961872 18446744073709551615 4523968 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9811/tid=9819] ppid=9809 vsize=621836 CPUtime=6.28 cores=1,3,5,7
/proc/9811/task/9819/stat : 9819 (techdemo) R 9809 9811 9058 0 -1 4202560 1573 0 0 0 628 0 0 0 25 0 4 0 523603276 636760064 5993 33554432000 4194304 4797429 140737290961872 18446744073709551615 4424967 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 621836

[startup+12.7005 s]
/proc/loadavg: 7.59 8.01 8.10 11/188 9820
/proc/meminfo: memFree=29629524/32951124 swapFree=67111352/67111528
[pid=9811] ppid=9809 vsize=625752 CPUtime=50.7 cores=1,3,5,7
/proc/9811/stat : 9811 (techdemo) R 9809 9811 9058 0 -1 4202496 14153 0 0 0 5067 3 0 0 25 0 4 0 523603275 640770048 6985 33554432000 4194304 4797429 140737290961872 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9811/statm: 156438 6985 419 148 0 151367 0
[pid=9811/tid=9817] ppid=9809 vsize=625752 CPUtime=12.67 cores=1,3,5,7
/proc/9811/task/9817/stat : 9817 (techdemo) R 9809 9811 9058 0 -1 4202560 2273 0 0 0 1267 0 0 0 25 0 4 0 523603276 640770048 6985 33554432000 4194304 4797429 140737290961872 18446744073709551615 4524360 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9811/tid=9818] ppid=9809 vsize=625752 CPUtime=12.61 cores=1,3,5,7
/proc/9811/task/9818/stat : 9818 (techdemo) R 9809 9811 9058 0 -1 4202560 2336 0 0 0 1261 0 0 0 25 0 4 0 523603276 640770048 6985 33554432000 4194304 4797429 140737290961872 18446744073709551615 4524374 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9811/tid=9819] ppid=9809 vsize=625752 CPUtime=12.68 cores=1,3,5,7
/proc/9811/task/9819/stat : 9819 (techdemo) R 9809 9811 9058 0 -1 4202560 2225 0 0 0 1268 0 0 0 25 0 4 0 523603276 640770048 6985 33554432000 4194304 4797429 140737290961872 18446744073709551615 255376992208 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 625752

[startup+25.5011 s]
/proc/loadavg: 7.68 8.01 8.09 10/188 9820
/proc/meminfo: memFree=29614624/32951124 swapFree=67111352/67111528
[pid=9811] ppid=9809 vsize=632260 CPUtime=101.81 cores=1,3,5,7
/proc/9811/stat : 9811 (techdemo) R 9809 9811 9058 0 -1 4202496 20176 0 0 0 10177 4 0 0 25 0 4 0 523603275 647434240 9129 33554432000 4194304 4797429 140737290961872 18446744073709551615 4425131 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9811/statm: 158065 9129 421 148 0 152994 0
[pid=9811/tid=9817] ppid=9809 vsize=632260 CPUtime=25.47 cores=1,3,5,7
/proc/9811/task/9817/stat : 9817 (techdemo) R 9809 9811 9058 0 -1 4202560 3697 0 0 0 2546 1 0 0 25 0 4 0 523603276 647434240 9129 33554432000 4194304 4797429 140737290961872 18446744073709551615 4495473 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9811/tid=9818] ppid=9809 vsize=632260 CPUtime=25.34 cores=1,3,5,7
/proc/9811/task/9818/stat : 9818 (techdemo) R 9809 9811 9058 0 -1 4202560 2966 0 0 0 2534 0 0 0 25 0 4 0 523603276 647434240 9129 33554432000 4194304 4797429 140737290961872 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9811/tid=9819] ppid=9809 vsize=632260 CPUtime=25.48 cores=1,3,5,7
/proc/9811/task/9819/stat : 9819 (techdemo) R 9809 9811 9058 0 -1 4202560 2892 0 0 0 2548 0 0 0 25 0 4 0 523603276 647434240 9129 33554432000 4194304 4797429 140737290961872 18446744073709551615 4424617 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 632260

[startup+51.1004 s]
/proc/loadavg: 7.90 8.04 8.10 10/188 9821
/proc/meminfo: memFree=29599984/32951124 swapFree=67111352/67111528
[pid=9811] ppid=9809 vsize=638236 CPUtime=204.06 cores=1,3,5,7
/proc/9811/stat : 9811 (techdemo) R 9809 9811 9058 0 -1 4202496 30310 0 0 0 20400 6 0 0 25 0 4 0 523603275 653553664 10960 33554432000 4194304 4797429 140737290961872 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9811/statm: 159559 10960 421 148 0 154488 0
[pid=9811/tid=9817] ppid=9809 vsize=638236 CPUtime=51.07 cores=1,3,5,7
/proc/9811/task/9817/stat : 9817 (techdemo) R 9809 9811 9058 0 -1 4202560 5249 0 0 0 5106 1 0 0 25 0 4 0 523603276 653553664 10960 33554432000 4194304 4797429 140737290961872 18446744073709551615 4524386 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9811/tid=9818] ppid=9809 vsize=638236 CPUtime=50.8 cores=1,3,5,7
/proc/9811/task/9818/stat : 9818 (techdemo) R 9809 9811 9058 0 -1 4202560 4705 0 0 0 5080 0 0 0 25 0 4 0 523603276 653553664 10960 33554432000 4194304 4797429 140737290961872 18446744073709551615 4331639 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9811/tid=9819] ppid=9809 vsize=638236 CPUtime=51.08 cores=1,3,5,7
/proc/9811/task/9819/stat : 9819 (techdemo) R 9809 9811 9058 0 -1 4202560 4271 0 0 0 5107 1 0 0 25 0 4 0 523603276 653553664 10960 33554432000 4194304 4797429 140737290961872 18446744073709551615 4425630 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.06
Current children cumulated vsize (KiB) 638236

[startup+102.301 s]
/proc/loadavg: 8.10 8.06 8.10 10/188 9822
/proc/meminfo: memFree=29577184/32951124 swapFree=67111352/67111528
[pid=9811] ppid=9809 vsize=646756 CPUtime=408.59 cores=1,3,5,7
/proc/9811/stat : 9811 (techdemo) R 9809 9811 9058 0 -1 4202496 45220 0 0 0 40846 13 0 0 25 0 4 0 523603275 662278144 13289 33554432000 4194304 4797429 140737290961872 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9811/statm: 161689 13289 425 148 0 156618 0
[pid=9811/tid=9817] ppid=9809 vsize=646756 CPUtime=102.26 cores=1,3,5,7
/proc/9811/task/9817/stat : 9817 (techdemo) R 9809 9811 9058 0 -1 4202560 7134 0 0 0 10225 1 0 0 25 0 4 0 523603276 662278144 13289 33554432000 4194304 4797429 140737290961872 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9811/tid=9818] ppid=9809 vsize=646756 CPUtime=101.73 cores=1,3,5,7
/proc/9811/task/9818/stat : 9818 (techdemo) R 9809 9811 9058 0 -1 4202560 6594 0 0 0 10171 2 0 0 25 0 4 0 523603276 662278144 13289 33554432000 4194304 4797429 140737290961872 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9811/tid=9819] ppid=9809 vsize=646756 CPUtime=102.28 cores=1,3,5,7
/proc/9811/task/9819/stat : 9819 (techdemo) R 9809 9811 9058 0 -1 4202560 6757 0 0 0 10226 2 0 0 25 0 4 0 523603276 662278144 13289 33554432000 4194304 4797429 140737290961872 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.59
Current children cumulated vsize (KiB) 646756

[startup+162.301 s]
/proc/loadavg: 8.20 8.10 8.11 10/188 9824
/proc/meminfo: memFree=29555960/32951124 swapFree=67111352/67111528
[pid=9811] ppid=9809 vsize=648704 CPUtime=648.29 cores=1,3,5,7
/proc/9811/stat : 9811 (techdemo) R 9809 9811 9058 0 -1 4202496 58592 0 0 0 64810 19 0 0 25 0 4 0 523603275 664272896 15263 33554432000 4194304 4797429 140737290961872 18446744073709551615 4425907 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9811/statm: 162176 15263 423 148 0 157105 0
[pid=9811/tid=9817] ppid=9809 vsize=648704 CPUtime=162.28 cores=1,3,5,7
/proc/9811/task/9817/stat : 9817 (techdemo) R 9809 9811 9058 0 -1 4202560 8998 0 0 0 16226 2 0 0 25 0 4 0 523603276 664272896 15263 33554432000 4194304 4797429 140737290961872 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9811/tid=9818] ppid=9809 vsize=648704 CPUtime=161.4 cores=1,3,5,7
/proc/9811/task/9818/stat : 9818 (techdemo) R 9809 9811 9058 0 -1 4202560 8165 0 0 0 16138 2 0 0 25 0 4 0 523603276 664272896 15263 33554432000 4194304 4797429 140737290961872 18446744073709551615 4429135 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9811/tid=9819] ppid=9809 vsize=648704 CPUtime=162.29 cores=1,3,5,7
/proc/9811/task/9819/stat : 9819 (techdemo) R 9809 9811 9058 0 -1 4202560 8312 0 0 0 16226 3 0 0 25 0 4 0 523603276 664272896 15263 33554432000 4194304 4797429 140737290961872 18446744073709551615 4425057 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 648.29
Current children cumulated vsize (KiB) 648704

[startup+222.301 s]
/proc/loadavg: 8.21 8.11 8.10 10/188 9825
/proc/meminfo: memFree=29540428/32951124 swapFree=67111352/67111528
[pid=9811] ppid=9809 vsize=655808 CPUtime=887.95 cores=1,3,5,7
/proc/9811/stat : 9811 (techdemo) R 9809 9811 9058 0 -1 4202496 72142 0 0 0 88771 24 0 0 25 0 4 0 523603275 671547392 17336 33554432000 4194304 4797429 140737290961872 18446744073709551615 4424768 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9811/statm: 163952 17336 422 148 0 158881 0
[pid=9811/tid=9817] ppid=9809 vsize=655808 CPUtime=222.27 cores=1,3,5,7
/proc/9811/task/9817/stat : 9817 (techdemo) R 9809 9811 9058 0 -1 4202560 10574 0 0 0 22225 2 0 0 25 0 4 0 523603276 671547392 17336 33554432000 4194304 4797429 140737290961872 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9811/tid=9818] ppid=9809 vsize=655808 CPUtime=221.07 cores=1,3,5,7
/proc/9811/task/9818/stat : 9818 (techdemo) R 9809 9811 9058 0 -1 4202560 9653 0 0 0 22104 3 0 0 25 0 4 0 523603276 671547392 17336 33554432000 4194304 4797429 140737290961872 18446744073709551615 4524064 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9811/tid=9819] ppid=9809 vsize=655808 CPUtime=222.28 cores=1,3,5,7
/proc/9811/task/9819/stat : 9819 (techdemo) R 9809 9811 9058 0 -1 4202560 9869 0 0 0 22225 3 0 0 25 0 4 0 523603276 671547392 17336 33554432000 4194304 4797429 140737290961872 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 887.95
Current children cumulated vsize (KiB) 655808

[startup+282.307 s]
/proc/loadavg: 8.25 8.13 8.11 10/188 9827
/proc/meminfo: memFree=29527524/32951124 swapFree=67111352/67111528
[pid=9811] ppid=9809 vsize=661060 CPUtime=1127.65 cores=1,3,5,7
/proc/9811/stat : 9811 (techdemo) R 9809 9811 9058 0 -1 4202496 84347 0 0 0 112735 30 0 0 25 0 4 0 523603275 676925440 18507 33554432000 4194304 4797429 140737290961872 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9811/statm: 165265 18507 422 148 0 160194 0
[pid=9811/tid=9817] ppid=9809 vsize=661060 CPUtime=282.28 cores=1,3,5,7

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

[pid=9811] ppid=9809 vsize=681576 CPUtime=2565.7 cores=1,3,5,7
/proc/9811/stat : 9811 (techdemo) R 9809 9811 9058 0 -1 4202496 137828 0 0 0 256515 55 0 0 25 0 4 0 523603275 697933824 25993 33554432000 4194304 4797429 140737290961872 18446744073709551615 4425045 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9811/statm: 170394 25993 421 148 0 165323 0
[pid=9811/tid=9817] ppid=9809 vsize=681576 CPUtime=642.29 cores=1,3,5,7
/proc/9811/task/9817/stat : 9817 (techdemo) R 9809 9811 9058 0 -1 4202560 19672 0 0 0 64221 8 0 0 25 0 4 0 523603276 697933824 25993 33554432000 4194304 4797429 140737290961872 18446744073709551615 4509444 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9811/tid=9818] ppid=9809 vsize=681576 CPUtime=638.8 cores=1,3,5,7
/proc/9811/task/9818/stat : 9818 (techdemo) R 9809 9811 9058 0 -1 4202560 19002 0 0 0 63873 7 0 0 25 0 4 0 523603276 697933824 25993 33554432000 4194304 4797429 140737290961872 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9811/tid=9819] ppid=9809 vsize=681576 CPUtime=642.28 cores=1,3,5,7
/proc/9811/task/9819/stat : 9819 (techdemo) R 9809 9811 9058 0 -1 4202560 18827 0 0 0 64220 8 0 0 25 0 4 0 523603276 697933824 25993 33554432000 4194304 4797429 140737290961872 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.7
Current children cumulated vsize (KiB) 681576

[startup+702.301 s]
/proc/loadavg: 8.30 8.19 8.12 10/188 9838
/proc/meminfo: memFree=29460896/32951124 swapFree=67111352/67111528
[pid=9811] ppid=9809 vsize=683548 CPUtime=2805.38 cores=1,3,5,7
/proc/9811/stat : 9811 (techdemo) R 9809 9811 9058 0 -1 4202496 145897 0 0 0 280479 59 0 0 25 0 4 0 523603275 699953152 26651 33554432000 4194304 4797429 140737290961872 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9811/statm: 170887 26651 421 148 0 165816 0
[pid=9811/tid=9817] ppid=9809 vsize=683548 CPUtime=702.28 cores=1,3,5,7
/proc/9811/task/9817/stat : 9817 (techdemo) R 9809 9811 9058 0 -1 4202560 20777 0 0 0 70220 8 0 0 25 0 4 0 523603276 699953152 26651 33554432000 4194304 4797429 140737290961872 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9811/tid=9818] ppid=9809 vsize=683548 CPUtime=698.47 cores=1,3,5,7
/proc/9811/task/9818/stat : 9818 (techdemo) R 9809 9811 9058 0 -1 4202560 20085 0 0 0 69840 7 0 0 25 0 4 0 523603276 699953152 26651 33554432000 4194304 4797429 140737290961872 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9811/tid=9819] ppid=9809 vsize=683548 CPUtime=702.28 cores=1,3,5,7
/proc/9811/task/9819/stat : 9819 (techdemo) R 9809 9811 9058 0 -1 4202560 19825 0 0 0 70219 9 0 0 25 0 4 0 523603276 699953152 26651 33554432000 4194304 4797429 140737290961872 18446744073709551615 4523996 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.38
Current children cumulated vsize (KiB) 683548

[startup+762.301 s]
/proc/loadavg: 8.19 8.17 8.11 10/188 9840
/proc/meminfo: memFree=29456772/32951124 swapFree=67111352/67111528
[pid=9811] ppid=9809 vsize=685124 CPUtime=3045.06 cores=1,3,5,7
/proc/9811/stat : 9811 (techdemo) R 9809 9811 9058 0 -1 4202496 153116 0 0 0 304444 62 0 0 25 0 4 0 523603275 701566976 26108 33554432000 4194304 4797429 140737290961872 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9811/statm: 171281 26108 421 148 0 166210 0
[pid=9811/tid=9817] ppid=9809 vsize=685124 CPUtime=762.29 cores=1,3,5,7
/proc/9811/task/9817/stat : 9817 (techdemo) R 9809 9811 9058 0 -1 4202560 21766 0 0 0 76220 9 0 0 25 0 4 0 523603276 701566976 26108 33554432000 4194304 4797429 140737290961872 18446744073709551615 4425161 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9811/tid=9818] ppid=9809 vsize=685124 CPUtime=758.14 cores=1,3,5,7
/proc/9811/task/9818/stat : 9818 (techdemo) R 9809 9811 9058 0 -1 4202560 21131 0 0 0 75807 7 0 0 25 0 4 0 523603276 701566976 26108 33554432000 4194304 4797429 140737290961872 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9811/tid=9819] ppid=9809 vsize=685124 CPUtime=762.29 cores=1,3,5,7
/proc/9811/task/9819/stat : 9819 (techdemo) R 9809 9811 9058 0 -1 4202560 20761 0 0 0 76219 10 0 0 25 0 4 0 523603276 701566976 26108 33554432000 4194304 4797429 140737290961872 18446744073709551615 4428962 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.06
Current children cumulated vsize (KiB) 685124

[startup+822.3 s]
/proc/loadavg: 8.17 8.18 8.12 10/188 9841
/proc/meminfo: memFree=29436036/32951124 swapFree=67111352/67111528
[pid=9811] ppid=9809 vsize=690092 CPUtime=3284.76 cores=1,3,5,7
/proc/9811/stat : 9811 (techdemo) R 9809 9811 9058 0 -1 4202496 158976 0 0 0 328410 66 0 0 25 0 4 0 523603275 706654208 29112 33554432000 4194304 4797429 140737290961872 18446744073709551615 4424592 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9811/statm: 172523 29112 421 148 0 167452 0
[pid=9811/tid=9817] ppid=9809 vsize=690092 CPUtime=822.29 cores=1,3,5,7
/proc/9811/task/9817/stat : 9817 (techdemo) R 9809 9811 9058 0 -1 4202560 22441 0 0 0 82220 9 0 0 25 0 4 0 523603276 706654208 29112 33554432000 4194304 4797429 140737290961872 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9811/tid=9818] ppid=9809 vsize=690092 CPUtime=817.82 cores=1,3,5,7
/proc/9811/task/9818/stat : 9818 (techdemo) R 9809 9811 9058 0 -1 4202560 21718 0 0 0 81774 8 0 0 25 0 4 0 523603276 706654208 29112 33554432000 4194304 4797429 140737290961872 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9811/tid=9819] ppid=9809 vsize=690092 CPUtime=822.29 cores=1,3,5,7
/proc/9811/task/9819/stat : 9819 (techdemo) R 9809 9811 9058 0 -1 4202560 21356 0 0 0 82219 10 0 0 25 0 4 0 523603276 706654208 29112 33554432000 4194304 4797429 140737290961872 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.76
Current children cumulated vsize (KiB) 690092

[startup+882.3 s]
/proc/loadavg: 8.20 8.18 8.12 10/188 9843
/proc/meminfo: memFree=29434776/32951124 swapFree=67111352/67111528
[pid=9811] ppid=9809 vsize=691840 CPUtime=3524.42 cores=1,3,5,7
/proc/9811/stat : 9811 (techdemo) R 9809 9811 9058 0 -1 4202496 166996 0 0 0 352371 71 0 0 25 0 4 0 523603275 708444160 29133 33554432000 4194304 4797429 140737290961872 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9811/statm: 172960 29133 421 148 0 167889 0
[pid=9811/tid=9817] ppid=9809 vsize=691840 CPUtime=882.29 cores=1,3,5,7
/proc/9811/task/9817/stat : 9817 (techdemo) R 9809 9811 9058 0 -1 4202560 23442 0 0 0 88219 10 0 0 25 0 4 0 523603276 708444160 29133 33554432000 4194304 4797429 140737290961872 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9811/tid=9818] ppid=9809 vsize=691840 CPUtime=877.5 cores=1,3,5,7
/proc/9811/task/9818/stat : 9818 (techdemo) R 9809 9811 9058 0 -1 4202560 22826 0 0 0 87741 9 0 0 25 0 4 0 523603276 708444160 29133 33554432000 4194304 4797429 140737290961872 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9811/tid=9819] ppid=9809 vsize=691840 CPUtime=882.28 cores=1,3,5,7
/proc/9811/task/9819/stat : 9819 (techdemo) R 9809 9811 9058 0 -1 4202560 22436 0 0 0 88217 11 0 0 25 0 4 0 523603276 708444160 29133 33554432000 4194304 4797429 140737290961872 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.42
Current children cumulated vsize (KiB) 691840

[startup+942.307 s]
/proc/loadavg: 8.25 8.19 8.12 10/188 9844
/proc/meminfo: memFree=29421488/32951124 swapFree=67111352/67111528
[pid=9811] ppid=9809 vsize=693160 CPUtime=3764.12 cores=1,3,5,7
/proc/9811/stat : 9811 (techdemo) R 9809 9811 9058 0 -1 4202496 173733 0 0 0 376338 74 0 0 25 0 4 0 523603275 709795840 29943 33554432000 4194304 4797429 140737290961872 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9811/statm: 173290 29943 421 148 0 168219 0
[pid=9811/tid=9817] ppid=9809 vsize=693160 CPUtime=942.3 cores=1,3,5,7
/proc/9811/task/9817/stat : 9817 (techdemo) R 9809 9811 9058 0 -1 4202560 24578 0 0 0 94219 11 0 0 25 0 4 0 523603276 709795840 29943 33554432000 4194304 4797429 140737290961872 18446744073709551615 4428984 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9811/tid=9818] ppid=9809 vsize=693160 CPUtime=937.17 cores=1,3,5,7
/proc/9811/task/9818/stat : 9818 (techdemo) R 9809 9811 9058 0 -1 4202560 23946 0 0 0 93708 9 0 0 25 0 4 0 523603276 709795840 29943 33554432000 4194304 4797429 140737290961872 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9811/tid=9819] ppid=9809 vsize=693160 CPUtime=942.29 cores=1,3,5,7
/proc/9811/task/9819/stat : 9819 (techdemo) R 9809 9811 9058 0 -1 4202560 23387 0 0 0 94218 11 0 0 25 0 4 0 523603276 709795840 29943 33554432000 4194304 4797429 140737290961872 18446744073709551615 4395324 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.12
Current children cumulated vsize (KiB) 693160

[startup+1002.3 s]
/proc/loadavg: 8.15 8.17 8.11 10/188 9846
/proc/meminfo: memFree=29420348/32951124 swapFree=67111352/67111528
[pid=9811] ppid=9809 vsize=694424 CPUtime=4003.78 cores=1,3,5,7
/proc/9811/stat : 9811 (techdemo) R 9809 9811 9058 0 -1 4202496 180287 0 0 0 400301 77 0 0 25 0 4 0 523603275 711090176 30125 33554432000 4194304 4797429 140737290961872 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9811/statm: 173606 30125 421 148 0 168535 0
[pid=9811/tid=9817] ppid=9809 vsize=694424 CPUtime=1002.29 cores=1,3,5,7
/proc/9811/task/9817/stat : 9817 (techdemo) R 9809 9811 9058 0 -1 4202560 25481 0 0 0 100218 11 0 0 25 0 4 0 523603276 711090176 30125 33554432000 4194304 4797429 140737290961872 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9811/tid=9818] ppid=9809 vsize=694424 CPUtime=996.85 cores=1,3,5,7
/proc/9811/task/9818/stat : 9818 (techdemo) R 9809 9811 9058 0 -1 4202560 24437 0 0 0 99675 10 0 0 25 0 4 0 523603276 711090176 30125 33554432000 4194304 4797429 140737290961872 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9811/tid=9819] ppid=9809 vsize=694424 CPUtime=1002.28 cores=1,3,5,7
/proc/9811/task/9819/stat : 9819 (techdemo) R 9809 9811 9058 0 -1 4202560 23937 0 0 0 100217 11 0 0 25 0 4 0 523603276 711090176 30125 33554432000 4194304 4797429 140737290961872 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.78
Current children cumulated vsize (KiB) 694424

[startup+1062.3 s]
/proc/loadavg: 8.20 8.18 8.12 10/188 9848
/proc/meminfo: memFree=29406068/32951124 swapFree=67111352/67111528
[pid=9811] ppid=9809 vsize=698212 CPUtime=4243.45 cores=1,3,5,7
/proc/9811/stat : 9811 (techdemo) R 9809 9811 9058 0 -1 4202496 187049 0 0 0 424265 80 0 0 25 0 4 0 523603275 714969088 31951 33554432000 4194304 4797429 140737290961872 18446744073709551615 4506535 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9811/statm: 174553 31951 421 148 0 169482 0
[pid=9811/tid=9817] ppid=9809 vsize=698212 CPUtime=1062.3 cores=1,3,5,7
/proc/9811/task/9817/stat : 9817 (techdemo) R 9809 9811 9058 0 -1 4202560 26014 0 0 0 106218 12 0 0 25 0 4 0 523603276 714969088 31951 33554432000 4194304 4797429 140737290961872 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9811/tid=9818] ppid=9809 vsize=698212 CPUtime=1056.52 cores=1,3,5,7
/proc/9811/task/9818/stat : 9818 (techdemo) R 9809 9811 9058 0 -1 4202560 25880 0 0 0 105642 10 0 0 25 0 4 0 523603276 714969088 31951 33554432000 4194304 4797429 140737290961872 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9811/tid=9819] ppid=9809 vsize=698212 CPUtime=1062.28 cores=1,3,5,7
/proc/9811/task/9819/stat : 9819 (techdemo) R 9809 9811 9058 0 -1 4202560 25007 0 0 0 106216 12 0 0 25 0 4 0 523603276 714969088 31951 33554432000 4194304 4797429 140737290961872 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.45
Current children cumulated vsize (KiB) 698212

[startup+1122.3 s]
/proc/loadavg: 8.18 8.17 8.12 10/188 9849
/proc/meminfo: memFree=29402064/32951124 swapFree=67111352/67111528
[pid=9811] ppid=9809 vsize=703216 CPUtime=4483.13 cores=1,3,5,7
/proc/9811/stat : 9811 (techdemo) R 9809 9811 9058 0 -1 4202496 193526 0 0 0 448229 84 0 0 25 0 4 0 523603275 720093184 31995 33554432000 4194304 4797429 140737290961872 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9811/statm: 175804 31995 421 148 0 170733 0
[pid=9811/tid=9817] ppid=9809 vsize=703216 CPUtime=1122.3 cores=1,3,5,7
/proc/9811/task/9817/stat : 9817 (techdemo) R 9809 9811 9058 0 -1 4202560 26980 0 0 0 112218 12 0 0 25 0 4 0 523603276 720093184 31995 33554432000 4194304 4797429 140737290961872 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9811/tid=9818] ppid=9809 vsize=703216 CPUtime=1116.2 cores=1,3,5,7
/proc/9811/task/9818/stat : 9818 (techdemo) R 9809 9811 9058 0 -1 4202560 26804 0 0 0 111609 11 0 0 25 0 4 0 523603276 720093184 31995 33554432000 4194304 4797429 140737290961872 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9811/tid=9819] ppid=9809 vsize=703216 CPUtime=1122.29 cores=1,3,5,7
/proc/9811/task/9819/stat : 9819 (techdemo) R 9809 9811 9058 0 -1 4202560 26022 0 0 0 112216 13 0 0 25 0 4 0 523603276 720093184 31995 33554432000 4194304 4797429 140737290961872 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.13
Current children cumulated vsize (KiB) 703216

[startup+1182.3 s]
/proc/loadavg: 8.28 8.20 8.13 10/188 9851
/proc/meminfo: memFree=29391760/32951124 swapFree=67111352/67111528
[pid=9811] ppid=9809 vsize=703264 CPUtime=4722.81 cores=1,3,5,7
/proc/9811/stat : 9811 (techdemo) R 9809 9811 9058 0 -1 4202496 198420 0 0 0 472194 87 0 0 25 0 4 0 523603275 720142336 34383 33554432000 4194304 4797429 140737290961872 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9811/statm: 175816 34383 421 148 0 170745 0
[pid=9811/tid=9817] ppid=9809 vsize=703264 CPUtime=1182.3 cores=1,3,5,7
/proc/9811/task/9817/stat : 9817 (techdemo) R 9809 9811 9058 0 -1 4202560 27408 0 0 0 118218 12 0 0 25 0 4 0 523603276 720142336 34383 33554432000 4194304 4797429 140737290961872 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9811/tid=9818] ppid=9809 vsize=703264 CPUtime=1175.87 cores=1,3,5,7
/proc/9811/task/9818/stat : 9818 (techdemo) R 9809 9811 9058 0 -1 4202560 27282 0 0 0 117576 11 0 0 25 0 4 0 523603276 720142336 34383 33554432000 4194304 4797429 140737290961872 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9811/tid=9819] ppid=9809 vsize=703264 CPUtime=1182.29 cores=1,3,5,7
/proc/9811/task/9819/stat : 9819 (techdemo) R 9809 9811 9058 0 -1 4202560 26504 0 0 0 118215 14 0 0 25 0 4 0 523603276 720142336 34383 33554432000 4194304 4797429 140737290961872 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.81
Current children cumulated vsize (KiB) 703264



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.20 8.19 8.12 10/188 9851
/proc/meminfo: memFree=29390384/32951124 swapFree=67111352/67111528
[pid=9811] ppid=9809 vsize=703388 CPUtime=4800.33 cores=1,3,5,7
/proc/9811/stat : 9811 (techdemo) R 9809 9811 9058 0 -1 4202496 201498 0 0 0 479945 88 0 0 25 0 4 0 523603275 720269312 33379 33554432000 4194304 4797429 140737290961872 18446744073709551615 4424617 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9811/statm: 175847 33379 421 148 0 170776 0
[pid=9811/tid=9817] ppid=9809 vsize=703388 CPUtime=1201.71 cores=1,3,5,7
/proc/9811/task/9817/stat : 9817 (techdemo) R 9809 9811 9058 0 -1 4202560 28134 0 0 0 120158 13 0 0 25 0 4 0 523603276 720269312 33379 33554432000 4194304 4797429 140737290961872 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9811/tid=9818] ppid=9809 vsize=703388 CPUtime=1195.17 cores=1,3,5,7
/proc/9811/task/9818/stat : 9818 (techdemo) R 9809 9811 9058 0 -1 4202560 27384 0 0 0 119506 11 0 0 25 0 4 0 523603276 720269312 33379 33554432000 4194304 4797429 140737290961872 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9811/tid=9819] ppid=9809 vsize=703388 CPUtime=1201.7 cores=1,3,5,7
/proc/9811/task/9819/stat : 9819 (techdemo) R 9809 9811 9058 0 -1 4202560 26640 0 0 0 120156 14 0 0 25 0 4 0 523603276 720269312 33379 33554432000 4194304 4797429 140737290961872 18446744073709551615 4351600 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 703388

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.72
CPU time (s): 4800.37
CPU user time (s): 4799.47
CPU system time (s): 0.893864
CPU usage (%): 399.458
Max. virtual memory (cumulated for all children) (KiB): 813140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.47
system time used= 0.893864
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201499
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= 473
involuntary context switches= 33439

runsolver used 1.85472 second user time and 4.71928 second system time

The end

Launcher Data 

Begin job on node135 at 2011-04-30 01:34:14
IDJOB=3172921
IDBENCH=82939
IDSOLVER=1584
FILE ID=node135/3172921-1304120054
RUNJOBID= node135-1304120054-9793
PBS_JOBID= 13170696
Free space on /tmp= 71120 MiB

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

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

MD5SUM BENCH= e8248df66827581bc842de4513557985
RANDOM SEED=1662644847

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29691460 kB
Buffers:        923000 kB
Cached:        1753436 kB
SwapCached:        172 kB
Active:         152720 kB
Inactive:      2590308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29691460 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:           15540 kB
Writeback:           0 kB
AnonPages:       65668 kB
Mapped:          14884 kB
Slab:           454036 kB
PageTables:       4608 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   201224 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71104 MiB
End job on node135 at 2011-04-30 01:54:18