Trace number 3172822

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-S614849838-039.UNKNOWN.cnf
MD5SUMc6bf5481c82f3a24100e294aa3a73c9c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark366.523
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-3172822-1304103474.cnf'
0.00/0.00	c -- header says num vars:             60
0.00/0.00	c -- header says num clauses:        5340
0.00/0.01	c -- clauses added:            0 learnts,         5340 normals,            0 xors
0.00/0.01	c -- vars added         60
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.35/0.12	c asymm  cl-useful: 0/1905/5340 lits-rem:0 time: 0.43
0.35/0.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.01
0.35/0.12	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
0.35/0.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.35/0.12	c Subs w/ non-existent bins:      0 time:  0.00 s
0.35/0.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.35/0.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.35/0.12	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3.15/0.83	c lits-rem:         0  cl-subs:        0  v-elim:     40  v-fix:    0  time:  0.04 s
3.15/0.83	c learnt bin added due to v-elim: 0
3.15/0.83	c Finding binary XORs  T:     0.00 s  found:       0
3.15/0.83	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
3.15/0.83	c calculated reachability. Time: 0.00
3.15/0.83	c Calc default polars -  time:   0.00 s pos:      24 undec:       0 neg:      36
3.15/0.83	c =========================================================================================
3.15/0.83	c types(t): F = full restart, N = normal restart
3.15/0.83	c types(t): S = simplification begin/end, E = solution found
3.15/0.83	c restart types(rt): st = static, dy = dynamic
3.15/0.83	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
3.15/0.83	c  B st     0         0        60      5340         0         0     37380         0   no data   no data  --
3.15/0.83	c Decided on static restart strategy
3.15/0.83	c  N dy    20      4138        60      5340         0      3699     37380     79201     21.80     18.84  --
3.15/0.83	c  N dy    47      8141        60      5340         0      5060     37380    101388     21.46     18.81  --
3.15/0.83	c  N dy    75     12277        60      5340         0      4938     37380     89600     21.57     18.77  --
3.96/1.03	c  N dy   103     16404        60      5340         0      8665     37380    169214     21.27     18.81  --
4.74/1.27	c  N dy   130     20443        60      5340         0      7222     37380    128783     21.70     18.88  --
5.94/1.53	c  N dy   157     24501        60      5340         0     10861     37380    207425     22.09     18.95  --
7.14/1.82	c  N dy   184     28517        60      5340         0      8363     37380    142936     21.50     18.99  --
7.54/1.93	c  S st   194     30000        60      5340         0      9692     37380    171467     21.47     19.01  --
7.54/1.97	c  S st   194     30502        60      5340         0     10150     37380    181218     21.47     19.01  --
7.54/1.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.54/1.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.54/1.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.0M T:  0.08
7.54/1.99	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
7.54/1.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.54/1.99	c Subs w/ non-existent bins:      0 time:  0.00 s
7.54/2.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.54/2.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.54/2.00	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
9.93/2.57	c lits-rem:      1138  cl-subs:     1291  v-elim:     60  v-fix:    0  time:  2.31 s
9.93/2.57	c learnt bin added due to v-elim: 0
9.93/2.57	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
9.93/2.58	c vivif2 --  cl tried     8859 cl shrink        0 lits rem          0 time: 0.00
10.73/2.73	c asymm  cl-useful: 0/2008/5340 lits-rem:0 time: 0.61
10.73/2.73	c calculated reachability. Time: 0.00
10.73/2.73	c  N dy   194     30502        60      5340         0      8859     37380    154824     21.47     19.01  --
10.73/2.73	c  F st   194     30502        60      5340         0      8859     37380    154824     21.47     19.01  --
11.13/2.89	c Decided on static restart strategy
11.93/3.04	c  N dy   213     34512        60      5340         0     12436     37380    230719     21.43     18.96  --
13.15/3.35	c  N dy   240     38543        60      5340         0      9022     37380    148586     21.96     18.97  --
14.33/3.66	c  N dy   267     42576        60      5340         0     12625     37380    225728     21.41     18.96  --
15.53/3.96	c  S st   289     45753        60      5340         0     15485     37380    287195     21.87     18.96  --
15.93/4.01	c  S st   289     46256        60      5340         0     15943     37380    297134     21.87     18.96  --
15.93/4.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.93/4.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.93/4.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.1M T:  0.16
15.93/4.06	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
15.93/4.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.93/4.06	c Subs w/ non-existent bins:      0 time:  0.01 s
15.93/4.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.93/4.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.93/4.06	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
18.72/4.72	c lits-rem:      1877  cl-subs:     2119  v-elim:     60  v-fix:    0  time:  2.62 s
18.72/4.72	c learnt bin added due to v-elim: 0
18.72/4.72	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
18.72/4.72	c vivif2 --  cl tried    13824 cl shrink        0 lits rem          0 time: 0.01
19.12/4.88	c asymm  cl-useful: 0/1401/5340 lits-rem:0 time: 0.64
19.12/4.88	c calculated reachability. Time: 0.00
19.12/4.88	c  N dy   289     46256        60      5340         0     13824     37380    249394     21.87     18.96  --
20.72/5.22	c  N dy   316     50305        60      5340         0      9593     37380    150180     21.21     18.96  --
21.93/5.53	c  N dy   343     54337        60      5340         0     13196     37380    226830     21.49     18.97  --
23.51/5.91	c  N dy   370     58357        60      5340         0     16782     37380    303640     21.71     18.97  --
24.71/6.25	c  N dy   397     62386        60      5340         0     11541     37380    180816     21.17     18.98  --
25.92/6.59	c  N dy   424     66428        60      5340         0     15198     37380    258423     21.32     18.97  --
27.50/6.90	c  S st   444     69387        60      5340         0     17855     37380    315681     21.40     18.97  --
27.50/6.97	c  S st   444     69891        60      5340         0     18330     37380    326062     21.40     18.97  --
27.50/6.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.50/6.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.91/7.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.2M T:  0.22
27.91/7.02	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
27.91/7.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.91/7.02	c Subs w/ non-existent bins:      0 time:  0.01 s
27.91/7.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.91/7.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.91/7.03	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
31.10/7.80	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.84	c Added 1 vars  tried: 16020 time: 4.16
35.12/8.85	c ORs :      1 avg-s:  0.0 cl-sh:  1477 l-rem:   1477 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:    4.20
35.12/8.86	c lits-rem:      1805  cl-subs:     2318  v-elim:     60  v-fix:    0  time:  7.31 s
35.12/8.86	c learnt bin added due to v-elim: 0
35.12/8.86	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
35.12/8.86	c vivif2 --  cl tried    16012 cl shrink        0 lits rem          0 time: 0.01
35.90/9.02	c asymm  cl-useful: 0/1951/5341 lits-rem:0 time: 0.64
35.90/9.02	c calculated reachability. Time: 0.00
35.90/9.02	c  N dy   444     69891        61      5341         2     16012     37370    273532     21.40     18.97  --
35.90/9.02	c  F st   444     69891        61      5341         2     16012     37370    273532     21.40     18.97  --
36.70/9.23	c Decided on static restart strategy
37.50/9.49	c  N dy   466     74354        61      5341         2     10284     37370    145983     22.03     18.98  --
39.11/9.90	c  N dy   498     79137        61      5341         2     14593     37370    238165     21.58     18.97  --
41.49/10.41	c  N dy   532     84250        61      5341         2     19144     37370    334503     21.17     18.96  --
43.50/10.98	c  N dy   569     89763        61      5341         2     13435     37370    201685     21.58     18.96  --
45.88/11.56	c  N dy   608     95540        61      5341         2     18613     37370    312220     21.32     18.96  --
48.67/12.27	c  N dy   649    101656        61      5341         2     12469     37370    169964     21.38     18.97  --
49.87/12.56	c  S st   671    104838        61      5341         2     15312     37370    231108     21.92     18.97  --
50.27/12.62	c  S st   671    105339        61      5341         2     15779     37370    241223     21.92     18.97  --
50.27/12.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
50.27/12.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
50.27/12.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.5M T:  0.21
50.27/12.67	c Calc non-exist non-lernt bins v-fix:     0 done:     61 time:  0.00 s
50.27/12.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
50.27/12.68	c Subs w/ non-existent bins:      0 time:  0.01 s
50.27/12.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
50.27/12.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.27/12.68	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
53.07/13.32	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.33	c lits-rem:      1008  cl-subs:     1235  v-elim:     60  v-fix:    0  time:  2.59 s
53.07/13.33	c learnt bin added due to v-elim: 0
53.07/13.33	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
53.07/13.33	c vivif2 --  cl tried    14544 cl shrink        0 lits rem          0 time: 0.01
53.47/13.48	c asymm  cl-useful: 0/1434/5341 lits-rem:0 time: 0.62
53.47/13.48	c calculated reachability. Time: 0.00
53.47/13.48	c  N dy   671    105339        61      5341         2     14544     37370    216058     21.92     18.97  --
56.68/14.21	c  N dy   717    112145        61      5341         2     20666     37370    346354     21.52     18.96  --
59.86/15.06	c  N dy   765    119309        61      5341         2     14581     37370    206912     21.94     18.96  --
63.46/15.90	c  N dy   816    126956        61      5341         2     21448     37370    352213     21.34     18.95  --
67.46/16.92	c  N dy   871    135129        61      5341         2     15385     37370    214275     21.30     18.95  --
71.45/17.92	c  N dy   930    143895        61      5341         2     23233     37370    381621     21.30     18.95  --
76.24/19.13	c  N dy   992    153146        61      5341         2     17223     37370    239376     21.06     18.93  --
78.65/19.71	c  S st  1025    158009        61      5341         2     21570     37370    331892     21.64     18.93  --
78.65/19.78	c  S st  1025    158510        61      5341         2     22031     37370    342064     21.64     18.93  --
78.65/19.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
78.65/19.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
79.06/19.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.7M T:  0.34
79.06/19.87	c Calc non-exist non-lernt bins v-fix:     0 done:     61 time:  0.00 s
79.06/19.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
79.06/19.87	c Subs w/ non-existent bins:      0 time:  0.01 s
79.06/19.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
79.06/19.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.06/19.88	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
82.64/20.72	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
82.64/20.72	c lits-rem:      1270  cl-subs:     2271  v-elim:     60  v-fix:    0  time:  3.38 s
82.64/20.72	c learnt bin added due to v-elim: 0
82.64/20.72	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
82.64/20.72	c vivif2 --  cl tried    19760 cl shrink        0 lits rem          0 time: 0.01
83.05/20.88	c asymm  cl-useful: 0/1020/5341 lits-rem:0 time: 0.64
83.05/20.89	c calculated reachability. Time: 0.00
83.05/20.89	c  N dy  1025    158510        61      5341         2     19760     37370    296335     21.64     18.93  --
88.62/22.28	c  N dy  1094    168705        61      5341         2     28946     37370    492219     21.42     18.93  --
94.21/23.65	c  N dy  1167    179591        61      5341         2     23547     37370    364897     21.41     18.92  --
101.03/25.32	c  N dy  1245    191088        61      5341         2     17752     37370    230524     21.03     18.93  --
107.40/26.97	c  N dy  1328    203426        61      5341         2     28778     37370    468278     21.65     18.94  --
114.99/28.85	c  N dy  1415    216425        61      5341         2     23424     37370    341495     21.73     18.93  --
124.17/31.10	c  N dy  1508    230261        65      5341        12     17929     37386    215410     21.51     18.92  --
127.77/32.04	c  S st  1559    237766        65      5341        12     24666     37386    361012     22.05     18.93  --
128.17/32.12	c  S st  1559    238269        65      5341        12     25138     37386    371437     22.05     18.93  --
128.17/32.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
128.17/32.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
128.57/32.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.3M T:  0.43
128.57/32.23	c Calc non-exist non-lernt bins v-fix:     0 done:     65 time:  0.00 s
128.57/32.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
128.57/32.23	c Subs w/ non-existent bins:      0 time:  0.01 s
128.57/32.24	c Replacing        1 vars Replaced      897 lits Time:     0.02 s 
128.57/32.25	c bin-w-bin subsume rem            2 bins  time:  0.00 s
128.57/32.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
128.57/32.25	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
132.96/33.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.01
132.96/33.39	c lits-rem:      1282  cl-subs:     2188  v-elim:     60  v-fix:    0  time:  4.56 s
132.96/33.39	c learnt bin added due to v-elim: 0
132.96/33.39	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
132.96/33.39	c vivif2 --  cl tried    22950 cl shrink        0 lits rem          0 time: 0.01
133.76/33.55	c asymm  cl-useful: 0/907/5341 lits-rem:0 time: 0.64
133.76/33.55	c calculated reachability. Time: 0.00
133.76/33.55	c  N dy  1559    238269        64      5341         8     22950     37382    328414     22.05     18.93  --
143.75/36.07	c  N dy  1662    253501        64      5341         8     36707     37382    621187     20.99     18.90  --
153.76/38.55	c  N dy  1772    269800        64      5341         8     32596     37382    520797     21.72     18.88  --
164.92/41.37	c  N dy  1889    287131        64      5341         8     28494     37382    419775     21.75     18.87  --
178.51/44.71	c  N dy  2013    305494        64      5341         8     24364     37382    319116     21.58     18.84  --
192.90/48.33	c  N dy  2145    325081        64      5341         8     42028     37382    696690     21.73     18.82  --
206.86/51.85	c  N dy  2281    345224        68      5341        24     38609     37406    614020     21.90     18.82  --
216.45/54.21	c  S st  2363    357404        68      5341        24     27066     37406    353907     21.58     18.80  --
216.85/54.31	c  S st  2363    357909        68      5341        24     27536     37406    364223     21.58     18.80  --
216.85/54.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
216.85/54.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
217.25/54.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  9.2M T:  0.51
217.25/54.44	c Calc non-exist non-lernt bins v-fix:     0 done:     68 time:  0.00 s
217.25/54.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
217.25/54.44	c Subs w/ non-existent bins:      0 time:  0.01 s
217.25/54.44	c Replacing        2 vars Replaced      155 lits Time:     0.01 s 
217.25/54.45	c bin-w-bin subsume rem            4 bins  time:  0.00 s
217.25/54.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
217.25/54.45	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
221.65/55.55	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
221.65/55.56	c lits-rem:      1043  cl-subs:     1824  v-elim:     60  v-fix:    0  time:  4.44 s
221.65/55.56	c learnt bin added due to v-elim: 0
221.65/55.56	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
221.65/55.56	c vivif2 --  cl tried    25712 cl shrink        0 lits rem          0 time: 0.02
222.45/55.72	c asymm  cl-useful: 0/1196/5341 lits-rem:0 time: 0.63
222.45/55.72	c calculated reachability. Time: 0.00
222.45/55.72	c  N dy  2363    357909        66      5341        12     25712     37390    332281     21.58     18.80  --
238.02/59.61	c  N dy  2498    378012        66      5341        12     43996     37390    725967     21.60     18.79  --
253.20/63.45	c  N dy  2633    398034        66      5341        12     38677     37390    595227     21.87     18.76  --
269.97/67.67	c  N dy  2769    418157        66      5341        12     32536     37390    452677     21.58     18.75  --
288.76/72.35	c  N dy  2905    438259        70      5341        33     25410     37418    288167     22.22     18.73  --
303.93/76.19	c  N dy  3040    458317        70      5341        33     43624     37418    681072     21.78     18.72  --
370.64/92.86	c  N dy  3108    536864        70      5341        35     32820     37420    415493     20.47     18.35  --
370.64/92.88	c  S st  3108    536864        70      5341        35     32820     37420    415493     20.47     18.35  --
371.44/93.00	c  S st  3108    537365        70      5341        35     33277     37420    425633     20.47     18.35  --
371.44/93.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
371.44/93.01	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
371.84/93.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 12.4M T:  0.69
371.84/93.18	c Calc non-exist non-lernt bins v-fix:     0 done:     70 time:  0.00 s
371.84/93.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
371.84/93.18	c Subs w/ non-existent bins:      0 time:  0.02 s
371.84/93.19	c Replacing        4 vars Replaced      722 lits Time:     0.02 s 
372.24/93.20	c bin-w-bin subsume rem            8 bins  time:  0.00 s
372.24/93.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
372.24/93.20	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
377.45/94.51	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
399.01/99.99	c Added 1 vars  tried: 80000 time: 21.89
399.43/100.02	c ORs :      1 avg-s:  0.0 cl-sh:  2465 l-rem:   2465 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   21.99
399.43/100.03	c lits-rem:       674  cl-subs:     2589  v-elim:     60  v-fix:    0  time: 27.28 s
399.43/100.03	c learnt bin added due to v-elim: 0
399.43/100.03	c vivif2 --  cl tried     5342 cl shrink        0 lits rem          0 time: 0.00
399.43/100.03	c vivif2 --  cl tried    30688 cl shrink        0 lits rem          0 time: 0.02
399.83/100.19	c asymm  cl-useful: 0/872/5342 lits-rem:0 time: 0.63
399.83/100.19	c calculated reachability. Time: 0.00
399.83/100.19	c  N dy  3108    537365        67      5342        14     30688     37374    381672     20.47     18.35  --
399.83/100.19	c  F st  3108    537365        67      5342        14     30688     37374    381672     20.47     18.35  --
401.41/100.53	c Decided on static restart strategy
417.00/104.44	c  N dy  3235    557476        67      5342        14     49019     37374    777130     21.74     18.35  --
436.55/109.31	c  N dy  3370    577537        67      5342        14     38564     37374    535138     21.91     18.35  --
458.13/114.70	c  N dy  3507    597686        67      5342        14     56957     37374    929587     21.93     18.35  --
476.50/119.39	c  N dy  3643    617801        70      5342        28     45323     37394    668830     22.10     18.36  --
673.84/168.76	c  N dy  3762    806048        70      5342        28     52738     37394    797085     22.23     17.75  --
673.84/168.80	c  S st  3762    806048        70      5342        28     52738     37394    797085     22.23     17.75  --
674.64/168.98	c  S st  3762    806552        74      5342        40     53213     37414    807564     22.23     17.75  --
674.64/168.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
674.64/168.98	c Cache  BProp: 0 Set: 0 BXProp: 2 T: 0.00
676.25/169.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 20.9M T:  1.38
676.25/169.33	c Calc non-exist non-lernt bins v-fix:     0 done:     74 time:  0.00 s
676.25/169.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
676.25/169.34	c Subs w/ non-existent bins:      0 time:  0.05 s
676.25/169.39	c Replacing        3 vars Replaced     2805 lits Time:     0.19 s 
676.66/169.40	c bin-w-bin subsume rem            6 bins  time:  0.00 s
676.66/169.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
676.66/169.40	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
689.44/172.69	c ORs :      2 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 22.5 T:    0.05
689.84/172.70	c lits-rem:      2638  cl-subs:     4617  v-elim:     60  v-fix:    0  time: 13.17 s
689.84/172.70	c learnt bin added due to v-elim: 0
689.84/172.70	c vivif2 --  cl tried     5342 cl shrink        0 lits rem          0 time: 0.00
689.84/172.71	c vivif2 --  cl tried    48594 cl shrink        0 lits rem          0 time: 0.04
690.22/172.80	c asymm  cl-useful: 0/266/5342 lits-rem:0 time: 0.34
690.22/172.80	c calculated reachability. Time: 0.00
690.22/172.80	c  N dy  3762    806552        71      5342        22     48594     37390    714287     22.23     17.75  --
714.58/178.97	c  N dy  3898    826580        73      5342        26     66903     37398   1107621     21.48     17.76  --
736.96/184.57	c  N dy  4035    846715        73      5342        26     50055     37398    716770     21.65     17.78  --
1202.73/301.15	c  N dy  4165   1209831        73      5342        26     62626     37398    914382     20.35     16.84  --
1202.73/301.19	c  S st  4165   1209831        73      5342        26     62626     37398    914382     20.35     16.84  --
1203.95/301.42	c  S st  4165   1210334        73      5342        26     63092     37398    924640     20.35     16.84  --
1203.95/301.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1203.95/301.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1205.52/301.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 26.0M T:  1.84
1205.52/301.88	c Calc non-exist non-lernt bins v-fix:     0 done:     73 time:  0.01 s
1205.52/301.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1205.52/301.89	c Subs w/ non-existent bins:      0 time:  0.06 s
1205.92/301.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1205.92/301.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1205.92/301.91	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1225.10/306.75	c ORs :      2 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.04
1272.24/318.52	c Added 1 vars  tried: 80000 time: 47.01
1273.04/318.77	c ORs :      1 avg-s:  0.0 cl-sh: 10025 l-rem:  10025 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   47.99
1273.04/318.79	c lits-rem:      1559  cl-subs:     9120  v-elim:     60  v-fix:    0  time: 67.39 s
1273.04/318.79	c learnt bin added due to v-elim: 0
1273.04/318.79	c vivif2 --  cl tried     5343 cl shrink        0 lits rem          0 time: 0.00
1273.44/318.80	c vivif2 --  cl tried    53972 cl shrink        0 lits rem          0 time: 0.04
1273.44/318.89	c asymm  cl-useful: 0/266/5343 lits-rem:0 time: 0.36
1273.44/318.89	c calculated reachability. Time: 0.00
1273.44/318.89	c  N dy  4165   1210334        74      5343        28     53972     37387    743507     20.35     16.84  --
2038.01/510.27	c  N dy  4256   1710334        74      5343        28     83510     37387   1242077     18.88     16.45  --
2038.43/510.32	c  S st  4256   1710334        74      5343        28     83510     37387   1242077     18.88     16.45  --
2039.61/510.62	c  S st  4256   1710837        78      5343        43     83992     37411   1252662     18.88     16.45  --
2039.61/510.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2039.61/510.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2042.01/511.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      2 CBin:       0 P: 35.0M T:  2.45
2042.01/511.23	c Calc non-exist non-lernt bins v-fix:     0 done:     78 time:  0.01 s
2042.01/511.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2042.01/511.25	c Subs w/ non-existent bins:      0 time:  0.08 s
2042.41/511.31	c Replacing        2 vars Replaced     1215 lits Time:     0.24 s 
2042.41/511.34	c bin-w-bin subsume rem            2 bins  time:  0.00 s
2042.41/511.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2042.41/511.34	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2075.56/519.69	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
2075.96/519.72	c lits-rem:      1700  cl-subs:    13204  v-elim:     60  v-fix:    0  time: 33.45 s
2075.96/519.72	c learnt bin added due to v-elim: 0
2075.96/519.72	c vivif2 --  cl tried     5343 cl shrink        0 lits rem          0 time: 0.00
2075.96/519.73	c vivif2 --  cl tried    70788 cl shrink        0 lits rem          0 time: 0.06
2076.36/519.83	c asymm  cl-useful: 0/208/5343 lits-rem:0 time: 0.38
2076.36/519.83	c calculated reachability. Time: 0.00
2076.36/519.83	c  N dy  4256   1710837        76      5343        32     70788     37395   1026901     18.88     16.45  --
3013.51/754.42	c  N dy  4350   2210838        78      5343        36     86524     37403   1247190     19.82     16.25  --
3013.51/754.47	c  S st  4350   2210838        78      5343        36     86524     37403   1247190     19.82     16.25  --
3013.51/754.47	c Finding binary XORs  T:     0.00 s  found:       0
3014.71/754.79	c  S st  4350   2211343        78      5343        36     87006     37403   1257797     19.82     16.25  --
3014.71/754.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3014.71/754.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3017.91/755.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 40.4M T:  2.88
3017.91/755.51	c Calc non-exist non-lernt bins v-fix:     0 done:     78 time:  0.01 s
3017.91/755.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3017.91/755.54	c Subs w/ non-existent bins:      0 time:  0.08 s
3017.91/755.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3017.91/755.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3017.91/755.56	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3053.87/764.57	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 23.5 T:    0.13
3122.56/781.71	c Added 1 vars  tried: 80000 time: 68.45
3124.18/782.12	c ORs :      1 avg-s:  0.0 cl-sh: 12503 l-rem:  12503 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   70.09
3124.18/782.15	c lits-rem:      3772  cl-subs:    10501  v-elim:     60  v-fix:    0  time: 106.18 s
3124.18/782.15	c learnt bin added due to v-elim: 0
3124.18/782.15	c vivif2 --  cl tried     5344 cl shrink        0 lits rem          0 time: 0.00
3124.18/782.16	c vivif2 --  cl tried    76503 cl shrink        0 lits rem          0 time: 0.06
3124.55/782.27	c asymm  cl-useful: 0/198/5344 lits-rem:0 time: 0.41
3124.55/782.27	c calculated reachability. Time: 0.00
3124.55/782.27	c  N dy  4350   2211343        79      5344        38     76503     37386   1062820     19.82     16.25  --
4246.26/1063.06	c  N dy  4454   2711343        79      5344        38    101451     37386   1563304     22.26     15.86  --
4246.66/1063.13	c  S st  4454   2711343        79      5344        38    101451     37386   1563304     22.26     15.86  --
4248.26/1063.54	c  S st  4454   2711846        82      5344        52    101916     37406   1573484     22.26     15.86  --
4248.26/1063.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4248.26/1063.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4251.85/1064.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 48.6M T:  3.74
4251.85/1064.49	c Calc non-exist non-lernt bins v-fix:     0 done:     82 time:  0.01 s
4251.85/1064.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4252.25/1064.51	c Subs w/ non-existent bins:      0 time:  0.10 s
4252.25/1064.54	c Replacing        2 vars Replaced      521 lits Time:     0.11 s 
4252.25/1064.57	c bin-w-bin subsume rem            4 bins  time:  0.00 s
4252.25/1064.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4252.25/1064.58	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
4293.40/1074.85	c ORs :      4 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 23.5 T:    0.26
4293.40/1074.88	c lits-rem:      2126  cl-subs:     7139  v-elim:     60  v-fix:    0  time: 41.14 s
4293.40/1074.88	c learnt bin added due to v-elim: 0
4293.40/1074.88	c vivif2 --  cl tried     5344 cl shrink        0 lits rem          0 time: 0.00
4293.80/1074.90	c vivif2 --  cl tried    94775 cl shrink        0 lits rem          0 time: 0.09
4294.20/1075.01	c asymm  cl-useful: 0/130/5344 lits-rem:0 time: 0.43
4294.20/1075.01	c calculated reachability. Time: 0.00
4294.20/1075.01	c  N dy  4454   2711846        80      5344        40     94775     37390   1430627     22.26     15.86  --
4294.20/1075.01	c  F st  4454   2711846        80      5344        40     94775     37390   1430627     22.26     15.86  --
4298.59/1076.15	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-3172822-1304103474/watcher-3172822-1304103474 -o /tmp/evaluation-result-3172822-1304103474/solver-3172822-1304103474 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172822-1304103474.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: 3.42 4.99 6.64 2/176 3620
/proc/meminfo: memFree=30791668/32951124 swapFree=67111344/67111528
[pid=3620] ppid=3618 vsize=50016 CPUtime=0 cores=1,3,5,7
/proc/3620/stat : 3620 (techdemo) R 3618 3620 2772 0 -1 4202496 633 0 0 0 0 0 0 0 22 0 1 0 521945293 51216384 565 33554432000 4194304 4797429 140736300653376 18446744073709551615 4432951 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/3620/statm: 12504 565 347 148 0 7433 0

[startup+0.053783 s]
/proc/loadavg: 3.42 4.99 6.64 2/176 3620
/proc/meminfo: memFree=30791668/32951124 swapFree=67111344/67111528
[pid=3620] ppid=3618 vsize=147512 CPUtime=0.16 cores=1,3,5,7
/proc/3620/stat : 3620 (techdemo) R 3618 3620 2772 0 -1 4202496 1132 0 0 0 16 0 0 0 18 0 4 0 521945293 151052288 1036 33554432000 4194304 4797429 140736300653376 18446744073709551615 4428984 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3620/statm: 36878 1036 372 148 0 31807 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 147512

[startup+0.100774 s]
/proc/loadavg: 3.42 4.99 6.64 2/176 3620
/proc/meminfo: memFree=30791668/32951124 swapFree=67111344/67111528
[pid=3620] ppid=3618 vsize=147644 CPUtime=0.35 cores=1,3,5,7
/proc/3620/stat : 3620 (techdemo) R 3618 3620 2772 0 -1 4202496 1153 0 0 0 35 0 0 0 18 0 4 0 521945293 151187456 1057 33554432000 4194304 4797429 140736300653376 18446744073709551615 4429097 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3620/statm: 36911 1057 372 148 0 31840 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 147644

[startup+0.300738 s]
/proc/loadavg: 3.42 4.99 6.64 2/176 3620
/proc/meminfo: memFree=30791668/32951124 swapFree=67111344/67111528
[pid=3620] ppid=3618 vsize=609732 CPUtime=1.15 cores=1,3,5,7
/proc/3620/stat : 3620 (techdemo) R 3618 3620 2772 0 -1 4202496 2533 0 0 0 115 0 0 0 18 0 4 0 521945293 624365568 2227 33554432000 4194304 4797429 140736300653376 18446744073709551615 4389793 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3620/statm: 152433 2227 408 148 0 147362 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 609732

[startup+0.700668 s]
/proc/loadavg: 3.42 4.99 6.64 2/176 3620
/proc/meminfo: memFree=30791668/32951124 swapFree=67111344/67111528
[pid=3620] ppid=3618 vsize=614532 CPUtime=2.75 cores=1,3,5,7
/proc/3620/stat : 3620 (techdemo) R 3618 3620 2772 0 -1 4202496 4745 0 0 0 275 0 0 0 18 0 4 0 521945293 629280768 3592 33554432000 4194304 4797429 140736300653376 18446744073709551615 4423072 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3620/statm: 153633 3592 412 148 0 148562 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 614532

[startup+1.50052 s]
/proc/loadavg: 3.42 4.99 6.64 10/188 3633
/proc/meminfo: memFree=30765648/32951124 swapFree=67111344/67111528
[pid=3620] ppid=3618 vsize=615384 CPUtime=5.94 cores=1,3,5,7
/proc/3620/stat : 3620 (techdemo) R 3618 3620 2772 0 -1 4202496 5729 0 0 0 594 0 0 0 20 0 4 0 521945293 630153216 4295 33554432000 4194304 4797429 140736300653376 18446744073709551615 4425051 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3620/statm: 153846 4295 414 148 0 148775 0
[pid=3620/tid=3626] ppid=3618 vsize=615384 CPUtime=1.47 cores=1,3,5,7
/proc/3620/task/3626/stat : 3626 (techdemo) R 3618 3620 2772 0 -1 4202560 1124 0 0 0 147 0 0 0 25 0 4 0 521945294 630153216 4295 33554432000 4194304 4797429 140736300653376 18446744073709551615 4424921 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3620/tid=3627] ppid=3618 vsize=615384 CPUtime=1.48 cores=1,3,5,7
/proc/3620/task/3627/stat : 3627 (techdemo) R 3618 3620 2772 0 -1 4202560 967 0 0 0 148 0 0 0 20 0 4 0 521945294 630153216 4295 33554432000 4194304 4797429 140736300653376 18446744073709551615 4422918 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3620/tid=3629] ppid=3618 vsize=615384 CPUtime=1.48 cores=1,3,5,7
/proc/3620/task/3629/stat : 3629 (techdemo) R 3618 3620 2772 0 -1 4202560 1106 0 0 0 148 0 0 0 20 0 4 0 521945294 630153216 4295 33554432000 4194304 4797429 140736300653376 18446744073709551615 4424963 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 615384

[startup+3.10023 s]
/proc/loadavg: 3.42 4.99 6.64 9/188 3633
/proc/meminfo: memFree=30758212/32951124 swapFree=67111344/67111528
[pid=3620] ppid=3618 vsize=618504 CPUtime=12.33 cores=1,3,5,7
/proc/3620/stat : 3620 (techdemo) R 3618 3620 2772 0 -1 4202496 7459 0 0 0 1233 0 0 0 25 0 4 0 521945293 633348096 4948 33554432000 4194304 4797429 140736300653376 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3620/statm: 154626 4948 416 148 0 149555 0
[pid=3620/tid=3626] ppid=3618 vsize=618504 CPUtime=3.06 cores=1,3,5,7
/proc/3620/task/3626/stat : 3626 (techdemo) R 3618 3620 2772 0 -1 4202560 1423 0 0 0 306 0 0 0 25 0 4 0 521945294 633348096 4948 33554432000 4194304 4797429 140736300653376 18446744073709551615 4523994 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3620/tid=3627] ppid=3618 vsize=618504 CPUtime=3.08 cores=1,3,5,7
/proc/3620/task/3627/stat : 3627 (techdemo) R 3618 3620 2772 0 -1 4202560 1291 0 0 0 308 0 0 0 25 0 4 0 521945294 633348096 4948 33554432000 4194304 4797429 140736300653376 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3620/tid=3629] ppid=3618 vsize=618504 CPUtime=3.08 cores=1,3,5,7
/proc/3620/task/3629/stat : 3629 (techdemo) R 3618 3620 2772 0 -1 4202560 1388 0 0 0 308 0 0 0 25 0 4 0 521945294 633348096 4948 33554432000 4194304 4797429 140736300653376 18446744073709551615 4524064 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) 618504

[startup+6.30065 s]
/proc/loadavg: 3.78 5.04 6.65 9/188 3633
/proc/meminfo: memFree=30747308/32951124 swapFree=67111344/67111528
[pid=3620] ppid=3618 vsize=622064 CPUtime=25.11 cores=1,3,5,7
/proc/3620/stat : 3620 (techdemo) R 3618 3620 2772 0 -1 4202496 10452 0 0 0 2511 0 0 0 25 0 4 0 521945293 636993536 5858 33554432000 4194304 4797429 140736300653376 18446744073709551615 4425630 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3620/statm: 155516 5858 416 148 0 150445 0
[pid=3620/tid=3626] ppid=3618 vsize=622064 CPUtime=6.25 cores=1,3,5,7
/proc/3620/task/3626/stat : 3626 (techdemo) R 3618 3620 2772 0 -1 4202560 1787 0 0 0 625 0 0 0 25 0 4 0 521945294 636993536 5858 33554432000 4194304 4797429 140736300653376 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3620/tid=3627] ppid=3618 vsize=622064 CPUtime=6.28 cores=1,3,5,7
/proc/3620/task/3627/stat : 3627 (techdemo) R 3618 3620 2772 0 -1 4202560 1686 0 0 0 628 0 0 0 25 0 4 0 521945294 636993536 5858 33554432000 4194304 4797429 140736300653376 18446744073709551615 4428841 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3620/tid=3629] ppid=3618 vsize=622064 CPUtime=6.28 cores=1,3,5,7
/proc/3620/task/3629/stat : 3629 (techdemo) R 3618 3620 2772 0 -1 4202560 1839 0 0 0 628 0 0 0 25 0 4 0 521945294 636993536 5858 33554432000 4194304 4797429 140736300653376 18446744073709551615 4523968 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) 622064

[startup+12.7005 s]
/proc/loadavg: 4.12 5.09 6.65 9/188 3669
/proc/meminfo: memFree=30756644/32951124 swapFree=67111344/67111528
[pid=3620] ppid=3618 vsize=625672 CPUtime=50.67 cores=1,3,5,7
/proc/3620/stat : 3620 (techdemo) R 3618 3620 2772 0 -1 4202496 14238 0 0 0 5066 1 0 0 25 0 4 0 521945293 640688128 7047 33554432000 4194304 4797429 140736300653376 18446744073709551615 4506576 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3620/statm: 156418 7047 419 148 0 151347 0
[pid=3620/tid=3626] ppid=3618 vsize=625672 CPUtime=12.61 cores=1,3,5,7
/proc/3620/task/3626/stat : 3626 (techdemo) R 3618 3620 2772 0 -1 4202560 2267 0 0 0 1261 0 0 0 25 0 4 0 521945294 640688128 7047 33554432000 4194304 4797429 140736300653376 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3620/tid=3627] ppid=3618 vsize=625672 CPUtime=12.68 cores=1,3,5,7
/proc/3620/task/3627/stat : 3627 (techdemo) R 3618 3620 2772 0 -1 4202560 2225 0 0 0 1268 0 0 0 25 0 4 0 521945294 640688128 7047 33554432000 4194304 4797429 140736300653376 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3620/tid=3629] ppid=3618 vsize=625672 CPUtime=12.68 cores=1,3,5,7
/proc/3620/task/3629/stat : 3629 (techdemo) R 3618 3620 2772 0 -1 4202560 2369 0 0 0 1268 0 0 0 25 0 4 0 521945294 640688128 7047 33554432000 4194304 4797429 140736300653376 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 625672

[startup+25.5012 s]
/proc/loadavg: 4.98 5.23 6.67 10/188 3670
/proc/meminfo: memFree=30724800/32951124 swapFree=67111344/67111528
[pid=3620] ppid=3618 vsize=631236 CPUtime=101.81 cores=1,3,5,7
/proc/3620/stat : 3620 (techdemo) R 3618 3620 2772 0 -1 4202496 20801 0 0 0 10178 3 0 0 25 0 4 0 521945293 646385664 9074 33554432000 4194304 4797429 140736300653376 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3620/statm: 157809 9074 419 148 0 152738 0
[pid=3620/tid=3626] ppid=3618 vsize=631236 CPUtime=25.34 cores=1,3,5,7
/proc/3620/task/3626/stat : 3626 (techdemo) R 3618 3620 2772 0 -1 4202560 4312 0 0 0 2534 0 0 0 25 0 4 0 521945294 646385664 9074 33554432000 4194304 4797429 140736300653376 18446744073709551615 4495518 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3620/tid=3627] ppid=3618 vsize=631236 CPUtime=25.47 cores=1,3,5,7
/proc/3620/task/3627/stat : 3627 (techdemo) R 3618 3620 2772 0 -1 4202560 2804 0 0 0 2547 0 0 0 25 0 4 0 521945294 646385664 9074 33554432000 4194304 4797429 140736300653376 18446744073709551615 4523986 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3620/tid=3629] ppid=3618 vsize=631236 CPUtime=25.48 cores=1,3,5,7
/proc/3620/task/3629/stat : 3629 (techdemo) R 3618 3620 2772 0 -1 4202560 3037 0 0 0 2548 0 0 0 25 0 4 0 521945294 646385664 9074 33554432000 4194304 4797429 140736300653376 18446744073709551615 4429165 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) 631236

[startup+51.1005 s]
/proc/loadavg: 6.01 5.45 6.71 9/188 3670
/proc/meminfo: memFree=30705948/32951124 swapFree=67111344/67111528
[pid=3620] ppid=3618 vsize=636988 CPUtime=204.06 cores=1,3,5,7
/proc/3620/stat : 3620 (techdemo) R 3618 3620 2772 0 -1 4202496 30515 0 0 0 20401 5 0 0 25 0 4 0 521945293 652275712 10874 33554432000 4194304 4797429 140736300653376 18446744073709551615 4423089 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3620/statm: 159247 10874 421 148 0 154176 0
[pid=3620/tid=3626] ppid=3618 vsize=636988 CPUtime=50.79 cores=1,3,5,7
/proc/3620/task/3626/stat : 3626 (techdemo) R 3618 3620 2772 0 -1 4202560 5979 0 0 0 5079 0 0 0 25 0 4 0 521945294 652275712 10874 33554432000 4194304 4797429 140736300653376 18446744073709551615 4567820 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3620/tid=3627] ppid=3618 vsize=636988 CPUtime=51.07 cores=1,3,5,7
/proc/3620/task/3627/stat : 3627 (techdemo) R 3618 3620 2772 0 -1 4202560 4139 0 0 0 5107 0 0 0 25 0 4 0 521945294 652275712 10874 33554432000 4194304 4797429 140736300653376 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3620/tid=3629] ppid=3618 vsize=636988 CPUtime=51.07 cores=1,3,5,7
/proc/3620/task/3629/stat : 3629 (techdemo) R 3618 3620 2772 0 -1 4202560 4343 0 0 0 5107 0 0 0 25 0 4 0 521945294 652275712 10874 33554432000 4194304 4797429 140736300653376 18446744073709551615 4424794 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) 636988

[startup+102.306 s]
/proc/loadavg: 7.28 5.89 6.79 9/188 3672
/proc/meminfo: memFree=30682484/32951124 swapFree=67111344/67111528
[pid=3620] ppid=3618 vsize=645772 CPUtime=408.62 cores=1,3,5,7
/proc/3620/stat : 3620 (techdemo) R 3618 3620 2772 0 -1 4202496 46858 0 0 0 40851 11 0 0 25 0 4 0 521945293 661270528 13557 33554432000 4194304 4797429 140736300653376 18446744073709551615 4423635 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3620/statm: 161443 13557 424 148 0 156372 0
[pid=3620/tid=3626] ppid=3618 vsize=645772 CPUtime=101.72 cores=1,3,5,7
/proc/3620/task/3626/stat : 3626 (techdemo) R 3618 3620 2772 0 -1 4202560 8046 0 0 0 10171 1 0 0 25 0 4 0 521945294 661270528 13557 33554432000 4194304 4797429 140736300653376 18446744073709551615 4429159 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3620/tid=3627] ppid=3618 vsize=645772 CPUtime=102.28 cores=1,3,5,7
/proc/3620/task/3627/stat : 3627 (techdemo) R 3618 3620 2772 0 -1 4202560 6218 0 0 0 10227 1 0 0 25 0 4 0 521945294 661270528 13557 33554432000 4194304 4797429 140736300653376 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3620/tid=3629] ppid=3618 vsize=645772 CPUtime=102.29 cores=1,3,5,7
/proc/3620/task/3629/stat : 3629 (techdemo) R 3618 3620 2772 0 -1 4202560 7407 0 0 0 10228 1 0 0 25 0 4 0 521945294 661270528 13557 33554432000 4194304 4797429 140736300653376 18446744073709551615 4429135 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 645772

[startup+162.3 s]
/proc/loadavg: 7.81 6.30 6.87 9/188 3673
/proc/meminfo: memFree=30665832/32951124 swapFree=67111344/67111528
[pid=3620] ppid=3618 vsize=646968 CPUtime=648.27 cores=1,3,5,7
/proc/3620/stat : 3620 (techdemo) R 3618 3620 2772 0 -1 4202496 60265 0 0 0 64810 17 0 0 25 0 4 0 521945293 662495232 15475 33554432000 4194304 4797429 140736300653376 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3620/statm: 161742 15475 423 148 0 156671 0
[pid=3620/tid=3626] ppid=3618 vsize=646968 CPUtime=161.4 cores=1,3,5,7
/proc/3620/task/3626/stat : 3626 (techdemo) R 3618 3620 2772 0 -1 4202560 9503 0 0 0 16138 2 0 0 25 0 4 0 521945294 662495232 15475 33554432000 4194304 4797429 140736300653376 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3620/tid=3627] ppid=3618 vsize=646968 CPUtime=162.28 cores=1,3,5,7
/proc/3620/task/3627/stat : 3627 (techdemo) R 3618 3620 2772 0 -1 4202560 7719 0 0 0 16226 2 0 0 25 0 4 0 521945294 662495232 15475 33554432000 4194304 4797429 140736300653376 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3620/tid=3629] ppid=3618 vsize=646968 CPUtime=162.28 cores=1,3,5,7
/proc/3620/task/3629/stat : 3629 (techdemo) R 3618 3620 2772 0 -1 4202560 9026 0 0 0 16226 2 0 0 25 0 4 0 521945294 662495232 15475 33554432000 4194304 4797429 140736300653376 18446744073709551615 4524374 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 648.27
Current children cumulated vsize (KiB) 646968

[startup+222.3 s]
/proc/loadavg: 8.06 6.65 6.96 9/188 3684
/proc/meminfo: memFree=30649904/32951124 swapFree=67111344/67111528
[pid=3620] ppid=3618 vsize=653960 CPUtime=887.95 cores=1,3,5,7
/proc/3620/stat : 3620 (techdemo) R 3618 3620 2772 0 -1 4202496 73588 0 0 0 88772 23 0 0 25 0 4 0 521945293 669655040 16980 33554432000 4194304 4797429 140736300653376 18446744073709551615 4424649 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3620/statm: 163490 16980 422 148 0 158419 0
[pid=3620/tid=3626] ppid=3618 vsize=653960 CPUtime=221.06 cores=1,3,5,7
/proc/3620/task/3626/stat : 3626 (techdemo) R 3618 3620 2772 0 -1 4202560 11113 0 0 0 22104 2 0 0 25 0 4 0 521945294 669655040 16980 33554432000 4194304 4797429 140736300653376 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3620/tid=3627] ppid=3618 vsize=653960 CPUtime=222.28 cores=1,3,5,7
/proc/3620/task/3627/stat : 3627 (techdemo) R 3618 3620 2772 0 -1 4202560 9480 0 0 0 22225 3 0 0 25 0 4 0 521945294 669655040 16980 33554432000 4194304 4797429 140736300653376 18446744073709551615 4425966 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3620/tid=3629] ppid=3618 vsize=653960 CPUtime=222.28 cores=1,3,5,7
/proc/3620/task/3629/stat : 3629 (techdemo) R 3618 3620 2772 0 -1 4202560 10616 0 0 0 22226 2 0 0 25 0 4 0 521945294 669655040 16980 33554432000 4194304 4797429 140736300653376 18446744073709551615 4429080 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) 653960

[startup+282.301 s]

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

[pid=3620] ppid=3618 vsize=680896 CPUtime=2805.38 cores=1,3,5,7
/proc/3620/stat : 3620 (techdemo) R 3618 3620 2772 0 -1 4202496 148718 0 0 0 280481 57 0 0 25 0 4 0 521945293 697237504 26828 33554432000 4194304 4797429 140736300653376 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3620/statm: 170224 26828 424 148 0 165153 0
[pid=3620/tid=3626] ppid=3618 vsize=680896 CPUtime=698.47 cores=1,3,5,7
/proc/3620/task/3626/stat : 3626 (techdemo) R 3618 3620 2772 0 -1 4202560 21493 0 0 0 69840 7 0 0 25 0 4 0 521945294 697237504 26828 33554432000 4194304 4797429 140736300653376 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3620/tid=3627] ppid=3618 vsize=680896 CPUtime=702.28 cores=1,3,5,7
/proc/3620/task/3627/stat : 3627 (techdemo) R 3618 3620 2772 0 -1 4202560 19946 0 0 0 70221 7 0 0 25 0 4 0 521945294 697237504 26828 33554432000 4194304 4797429 140736300653376 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3620/tid=3629] ppid=3618 vsize=680896 CPUtime=702.3 cores=1,3,5,7
/proc/3620/task/3629/stat : 3629 (techdemo) R 3618 3620 2772 0 -1 4202560 21124 0 0 0 70222 8 0 0 25 0 4 0 521945294 697237504 26828 33554432000 4194304 4797429 140736300653376 18446744073709551615 4568122 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) 680896

[startup+762.306 s]
/proc/loadavg: 8.20 7.94 7.49 9/188 3701
/proc/meminfo: memFree=30563592/32951124 swapFree=67111344/67111528
[pid=3620] ppid=3618 vsize=685688 CPUtime=3045.08 cores=1,3,5,7
/proc/3620/stat : 3620 (techdemo) R 3618 3620 2772 0 -1 4202496 156827 0 0 0 304447 61 0 0 25 0 4 0 521945293 702144512 27050 33554432000 4194304 4797429 140736300653376 18446744073709551615 4568013 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3620/statm: 171422 27050 424 148 0 166351 0
[pid=3620/tid=3626] ppid=3618 vsize=685688 CPUtime=758.14 cores=1,3,5,7
/proc/3620/task/3626/stat : 3626 (techdemo) R 3618 3620 2772 0 -1 4202560 22502 0 0 0 75807 7 0 0 25 0 4 0 521945294 702144512 27050 33554432000 4194304 4797429 140736300653376 18446744073709551615 4425054 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3620/tid=3627] ppid=3618 vsize=685688 CPUtime=762.3 cores=1,3,5,7
/proc/3620/task/3627/stat : 3627 (techdemo) R 3618 3620 2772 0 -1 4202560 20907 0 0 0 76222 8 0 0 25 0 4 0 521945294 702144512 27050 33554432000 4194304 4797429 140736300653376 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3620/tid=3629] ppid=3618 vsize=685688 CPUtime=762.3 cores=1,3,5,7
/proc/3620/task/3629/stat : 3629 (techdemo) R 3618 3620 2772 0 -1 4202560 22171 0 0 0 76222 8 0 0 25 0 4 0 521945294 702144512 27050 33554432000 4194304 4797429 140736300653376 18446744073709551615 4429121 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.08
Current children cumulated vsize (KiB) 685688

[startup+822.301 s]
/proc/loadavg: 8.13 7.96 7.52 9/188 3703
/proc/meminfo: memFree=30556856/32951124 swapFree=67111344/67111528
[pid=3620] ppid=3618 vsize=687936 CPUtime=3284.74 cores=1,3,5,7
/proc/3620/stat : 3620 (techdemo) R 3618 3620 2772 0 -1 4202496 161858 0 0 0 328411 63 0 0 25 0 4 0 521945293 704446464 29304 33554432000 4194304 4797429 140736300653376 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3620/statm: 171984 29304 424 148 0 166913 0
[pid=3620/tid=3626] ppid=3618 vsize=687936 CPUtime=817.82 cores=1,3,5,7
/proc/3620/task/3626/stat : 3626 (techdemo) R 3618 3620 2772 0 -1 4202560 23176 0 0 0 81774 8 0 0 25 0 4 0 521945294 704446464 29304 33554432000 4194304 4797429 140736300653376 18446744073709551615 4523986 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3620/tid=3627] ppid=3618 vsize=687936 CPUtime=822.29 cores=1,3,5,7
/proc/3620/task/3627/stat : 3627 (techdemo) R 3618 3620 2772 0 -1 4202560 21469 0 0 0 82221 8 0 0 25 0 4 0 521945294 704446464 29304 33554432000 4194304 4797429 140736300653376 18446744073709551615 4568055 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3620/tid=3629] ppid=3618 vsize=687936 CPUtime=822.3 cores=1,3,5,7
/proc/3620/task/3629/stat : 3629 (techdemo) R 3618 3620 2772 0 -1 4202560 22849 0 0 0 82221 9 0 0 25 0 4 0 521945294 704446464 29304 33554432000 4194304 4797429 140736300653376 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.74
Current children cumulated vsize (KiB) 687936

[startup+882.301 s]
/proc/loadavg: 8.08 7.98 7.56 9/188 3708
/proc/meminfo: memFree=30548016/32951124 swapFree=67111344/67111528
[pid=3620] ppid=3618 vsize=689312 CPUtime=3524.43 cores=1,3,5,7
/proc/3620/stat : 3620 (techdemo) R 3618 3620 2772 0 -1 4202496 169902 0 0 0 352374 69 0 0 25 0 4 0 521945293 705855488 29266 33554432000 4194304 4797429 140736300653376 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3620/statm: 172328 29266 424 148 0 167257 0
[pid=3620/tid=3626] ppid=3618 vsize=689312 CPUtime=877.49 cores=1,3,5,7
/proc/3620/task/3626/stat : 3626 (techdemo) R 3618 3620 2772 0 -1 4202560 24246 0 0 0 87740 9 0 0 25 0 4 0 521945294 705855488 29266 33554432000 4194304 4797429 140736300653376 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3620/tid=3627] ppid=3618 vsize=689312 CPUtime=882.29 cores=1,3,5,7
/proc/3620/task/3627/stat : 3627 (techdemo) R 3618 3620 2772 0 -1 4202560 22559 0 0 0 88220 9 0 0 25 0 4 0 521945294 705855488 29266 33554432000 4194304 4797429 140736300653376 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3620/tid=3629] ppid=3618 vsize=689312 CPUtime=882.3 cores=1,3,5,7
/proc/3620/task/3629/stat : 3629 (techdemo) R 3618 3620 2772 0 -1 4202560 23949 0 0 0 88221 9 0 0 25 0 4 0 521945294 705855488 29266 33554432000 4194304 4797429 140736300653376 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.43
Current children cumulated vsize (KiB) 689312

[startup+942.301 s]
/proc/loadavg: 8.13 8.01 7.59 9/188 3709
/proc/meminfo: memFree=30538172/32951124 swapFree=67111344/67111528
[pid=3620] ppid=3618 vsize=692108 CPUtime=3764.11 cores=1,3,5,7
/proc/3620/stat : 3620 (techdemo) R 3618 3620 2772 0 -1 4202496 176779 0 0 0 376338 73 0 0 25 0 4 0 521945293 708718592 30059 33554432000 4194304 4797429 140736300653376 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3620/statm: 173027 30059 424 148 0 167956 0
[pid=3620/tid=3626] ppid=3618 vsize=692108 CPUtime=937.16 cores=1,3,5,7
/proc/3620/task/3626/stat : 3626 (techdemo) R 3618 3620 2772 0 -1 4202560 25259 0 0 0 93707 9 0 0 25 0 4 0 521945294 708718592 30059 33554432000 4194304 4797429 140736300653376 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3620/tid=3627] ppid=3618 vsize=692108 CPUtime=942.29 cores=1,3,5,7
/proc/3620/task/3627/stat : 3627 (techdemo) R 3618 3620 2772 0 -1 4202560 23730 0 0 0 94220 9 0 0 25 0 4 0 521945294 708718592 30059 33554432000 4194304 4797429 140736300653376 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3620/tid=3629] ppid=3618 vsize=692108 CPUtime=942.3 cores=1,3,5,7
/proc/3620/task/3629/stat : 3629 (techdemo) R 3618 3620 2772 0 -1 4202560 24899 0 0 0 94220 10 0 0 25 0 4 0 521945294 708718592 30059 33554432000 4194304 4797429 140736300653376 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.11
Current children cumulated vsize (KiB) 692108

[startup+1002.3 s]
/proc/loadavg: 8.15 8.04 7.62 9/188 3711
/proc/meminfo: memFree=30526828/32951124 swapFree=67111344/67111528
[pid=3620] ppid=3618 vsize=694496 CPUtime=4003.78 cores=1,3,5,7
/proc/3620/stat : 3620 (techdemo) R 3618 3620 2772 0 -1 4202496 181966 0 0 0 400303 75 0 0 25 0 4 0 521945293 711163904 32624 33554432000 4194304 4797429 140736300653376 18446744073709551615 4345256 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3620/statm: 173624 32624 424 148 0 168553 0
[pid=3620/tid=3626] ppid=3618 vsize=694496 CPUtime=996.84 cores=1,3,5,7
/proc/3620/task/3626/stat : 3626 (techdemo) R 3618 3620 2772 0 -1 4202560 25791 0 0 0 99674 10 0 0 25 0 4 0 521945294 711163904 32624 33554432000 4194304 4797429 140736300653376 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3620/tid=3627] ppid=3618 vsize=694496 CPUtime=1002.29 cores=1,3,5,7
/proc/3620/task/3627/stat : 3627 (techdemo) R 3618 3620 2772 0 -1 4202560 24365 0 0 0 100220 9 0 0 25 0 4 0 521945294 711163904 32624 33554432000 4194304 4797429 140736300653376 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3620/tid=3629] ppid=3618 vsize=694496 CPUtime=1002.3 cores=1,3,5,7
/proc/3620/task/3629/stat : 3629 (techdemo) R 3618 3620 2772 0 -1 4202560 25429 0 0 0 100220 10 0 0 25 0 4 0 521945294 711163904 32624 33554432000 4194304 4797429 140736300653376 18446744073709551615 4429150 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) 694496

[startup+1062.3 s]
/proc/loadavg: 8.16 8.06 7.65 9/188 3712
/proc/meminfo: memFree=30527160/32951124 swapFree=67111344/67111528
[pid=3620] ppid=3618 vsize=695760 CPUtime=4243.46 cores=1,3,5,7
/proc/3620/stat : 3620 (techdemo) R 3618 3620 2772 0 -1 4202496 190095 0 0 0 424266 80 0 0 25 0 4 0 521945293 712458240 32054 33554432000 4194304 4797429 140736300653376 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3620/statm: 173940 32054 424 148 0 168869 0
[pid=3620/tid=3626] ppid=3618 vsize=695760 CPUtime=1056.51 cores=1,3,5,7
/proc/3620/task/3626/stat : 3626 (techdemo) R 3618 3620 2772 0 -1 4202560 26873 0 0 0 105641 10 0 0 25 0 4 0 521945294 712458240 32054 33554432000 4194304 4797429 140736300653376 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3620/tid=3627] ppid=3618 vsize=695760 CPUtime=1062.3 cores=1,3,5,7
/proc/3620/task/3627/stat : 3627 (techdemo) R 3618 3620 2772 0 -1 4202560 25389 0 0 0 106220 10 0 0 25 0 4 0 521945294 712458240 32054 33554432000 4194304 4797429 140736300653376 18446744073709551615 4430106 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3620/tid=3629] ppid=3618 vsize=695760 CPUtime=1062.31 cores=1,3,5,7
/proc/3620/task/3629/stat : 3629 (techdemo) R 3618 3620 2772 0 -1 4202560 26580 0 0 0 106220 11 0 0 25 0 4 0 521945294 712458240 32054 33554432000 4194304 4797429 140736300653376 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.46
Current children cumulated vsize (KiB) 695760

[startup+1122.3 s]
/proc/loadavg: 8.06 8.05 7.67 9/188 3714
/proc/meminfo: memFree=30522892/32951124 swapFree=67111344/67111528
[pid=3620] ppid=3618 vsize=699400 CPUtime=4483.14 cores=1,3,5,7
/proc/3620/stat : 3620 (techdemo) R 3618 3620 2772 0 -1 4202496 196413 0 0 0 448231 83 0 0 25 0 4 0 521945293 716185600 31832 33554432000 4194304 4797429 140736300653376 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3620/statm: 174850 31832 424 148 0 169779 0
[pid=3620/tid=3626] ppid=3618 vsize=699400 CPUtime=1116.18 cores=1,3,5,7
/proc/3620/task/3626/stat : 3626 (techdemo) R 3618 3620 2772 0 -1 4202560 27884 0 0 0 111608 10 0 0 25 0 4 0 521945294 716185600 31832 33554432000 4194304 4797429 140736300653376 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3620/tid=3627] ppid=3618 vsize=699400 CPUtime=1122.3 cores=1,3,5,7
/proc/3620/task/3627/stat : 3627 (techdemo) R 3618 3620 2772 0 -1 4202560 26362 0 0 0 112219 11 0 0 25 0 4 0 521945294 716185600 31832 33554432000 4194304 4797429 140736300653376 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3620/tid=3629] ppid=3618 vsize=699400 CPUtime=1122.3 cores=1,3,5,7
/proc/3620/task/3629/stat : 3629 (techdemo) R 3618 3620 2772 0 -1 4202560 27537 0 0 0 112219 11 0 0 25 0 4 0 521945294 716185600 31832 33554432000 4194304 4797429 140736300653376 18446744073709551615 4523968 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.14
Current children cumulated vsize (KiB) 699400

[startup+1182.3 s]
/proc/loadavg: 8.16 8.08 7.71 9/188 3716
/proc/meminfo: memFree=30511684/32951124 swapFree=67111344/67111528
[pid=3620] ppid=3618 vsize=700736 CPUtime=4722.82 cores=1,3,5,7
/proc/3620/stat : 3620 (techdemo) R 3618 3620 2772 0 -1 4202496 201144 0 0 0 472196 86 0 0 25 0 4 0 521945293 717553664 33961 33554432000 4194304 4797429 140736300653376 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3620/statm: 175184 33961 424 148 0 170113 0
[pid=3620/tid=3626] ppid=3618 vsize=700736 CPUtime=1175.87 cores=1,3,5,7
/proc/3620/task/3626/stat : 3626 (techdemo) R 3618 3620 2772 0 -1 4202560 28382 0 0 0 117576 11 0 0 25 0 4 0 521945294 717553664 33961 33554432000 4194304 4797429 140736300653376 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3620/tid=3627] ppid=3618 vsize=700736 CPUtime=1182.3 cores=1,3,5,7
/proc/3620/task/3627/stat : 3627 (techdemo) R 3618 3620 2772 0 -1 4202560 26862 0 0 0 118219 11 0 0 25 0 4 0 521945294 717553664 33961 33554432000 4194304 4797429 140736300653376 18446744073709551615 4523968 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3620/tid=3629] ppid=3618 vsize=700736 CPUtime=1182.31 cores=1,3,5,7
/proc/3620/task/3629/stat : 3629 (techdemo) R 3618 3620 2772 0 -1 4202560 28096 0 0 0 118219 12 0 0 25 0 4 0 521945294 717553664 33961 33554432000 4194304 4797429 140736300653376 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.82
Current children cumulated vsize (KiB) 700736



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.18 8.09 7.72 9/188 3716
/proc/meminfo: memFree=30508580/32951124 swapFree=67111344/67111528
[pid=3620] ppid=3618 vsize=701160 CPUtime=4800.34 cores=1,3,5,7
/proc/3620/stat : 3620 (techdemo) R 3618 3620 2772 0 -1 4202496 203305 0 0 0 479947 87 0 0 25 0 4 0 521945293 717987840 33527 33554432000 4194304 4797429 140736300653376 18446744073709551615 4424735 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3620/statm: 175290 33527 424 148 0 170219 0
[pid=3620/tid=3626] ppid=3618 vsize=701160 CPUtime=1195.16 cores=1,3,5,7
/proc/3620/task/3626/stat : 3626 (techdemo) R 3618 3620 2772 0 -1 4202560 28492 0 0 0 119505 11 0 0 25 0 4 0 521945294 717987840 33527 33554432000 4194304 4797429 140736300653376 18446744073709551615 4523986 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3620/tid=3627] ppid=3618 vsize=701160 CPUtime=1201.7 cores=1,3,5,7
/proc/3620/task/3627/stat : 3627 (techdemo) R 3618 3620 2772 0 -1 4202560 26963 0 0 0 120159 11 0 0 25 0 4 0 521945294 717987840 33527 33554432000 4194304 4797429 140736300653376 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3620/tid=3629] ppid=3618 vsize=701160 CPUtime=1201.72 cores=1,3,5,7
/proc/3620/task/3629/stat : 3629 (techdemo) R 3618 3620 2772 0 -1 4202560 28198 0 0 0 120160 12 0 0 25 0 4 0 521945294 717987840 33527 33554432000 4194304 4797429 140736300653376 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 701160

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

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

[startup+1201.7 s]
/proc/loadavg: 8.18 8.09 7.72 9/188 3716
/proc/meminfo: memFree=30508580/32951124 swapFree=67111344/67111528
[pid=3620] ppid=3618 vsize=701160 CPUtime=4800.34 cores=1,3,5,7
/proc/3620/stat : 3620 (techdemo) R 3618 3620 2772 0 -1 4202496 203305 0 0 0 479947 87 0 0 25 0 4 0 521945293 717987840 33527 33554432000 4194304 4797429 140736300653376 18446744073709551615 4424735 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3620/statm: 175290 33527 424 148 0 170219 0
[pid=3620/tid=3626] ppid=3618 vsize=701160 CPUtime=1195.16 cores=1,3,5,7
/proc/3620/task/3626/stat : 3626 (techdemo) R 3618 3620 2772 0 -1 4202560 28492 0 0 0 119505 11 0 0 25 0 4 0 521945294 717987840 33527 33554432000 4194304 4797429 140736300653376 18446744073709551615 4523986 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3620/tid=3627] ppid=3618 vsize=701160 CPUtime=1201.7 cores=1,3,5,7
/proc/3620/task/3627/stat : 3627 (techdemo) R 3618 3620 2772 0 -1 4202560 26963 0 0 0 120159 11 0 0 25 0 4 0 521945294 717987840 33527 33554432000 4194304 4797429 140736300653376 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3620/tid=3629] ppid=3618 vsize=701160 CPUtime=1201.72 cores=1,3,5,7
/proc/3620/task/3629/stat : 3629 (techdemo) R 3618 3620 2772 0 -1 4202560 28198 0 0 0 120160 12 0 0 25 0 4 0 521945294 717987840 33527 33554432000 4194304 4797429 140736300653376 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 701160

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.72
CPU time (s): 4800.37
CPU user time (s): 4799.5
CPU system time (s): 0.875866
CPU usage (%): 399.459
Max. virtual memory (cumulated for all children) (KiB): 797240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.5
system time used= 0.875866
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203305
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= 233
involuntary context switches= 30990

runsolver used 1.93771 second user time and 4.63629 second system time

The end

Launcher Data 

Begin job on node133 at 2011-04-29 20:57:54
IDJOB=3172822
IDBENCH=82840
IDSOLVER=1584
FILE ID=node133/3172822-1304103474
RUNJOBID= node133-1304103474-3604
PBS_JOBID= 13170613
Free space on /tmp= 71896 MiB

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

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

MD5SUM BENCH= c6bf5481c82f3a24100e294aa3a73c9c
RANDOM SEED=1804413627

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30791948 kB
Buffers:        759660 kB
Cached:         978228 kB
SwapCached:        124 kB
Active:         614040 kB
Inactive:      1187556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30791948 kB
SwapTotal:    67111528 kB
SwapFree:     67111344 kB
Dirty:           15520 kB
Writeback:           4 kB
AnonPages:       62580 kB
Mapped:          14412 kB
Slab:           294060 kB
PageTables:       4736 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187552 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= 71880 MiB
End job on node133 at 2011-04-29 21:17:58