Trace number 3172984

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

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v60-c5340-S385597856-055.SATISFIABLE.cnf
MD5SUMea8a8c80a9c6e1328d7a171765d2b8ef
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.099984
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-3172984-1304122937.cnf'
0.00/0.00	c -- header says num vars:             60
0.00/0.00	c -- header says num clauses:        5340
0.00/0.01	c -- clauses added:            0 learnts,         5340 normals,            0 xors
0.00/0.01	c -- vars added         60
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.00/0.12	c asymm  cl-useful: 0/1889/5340 lits-rem:0 time: 0.43
0.44/0.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.01
0.44/0.12	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
0.44/0.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.44/0.12	c Subs w/ non-existent bins:      0 time:  0.00 s
0.44/0.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.44/0.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.44/0.12	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1.14/0.36	c lits-rem:         0  cl-subs:        0  v-elim:     40  v-fix:    0  time:  0.05 s
1.14/0.36	c learnt bin added due to v-elim: 0
1.14/0.36	c Finding binary XORs  T:     0.00 s  found:       0
1.14/0.36	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
1.14/0.36	c calculated reachability. Time: 0.00
1.14/0.36	c Calc default polars -  time:   0.00 s pos:      26 undec:       2 neg:      32
1.14/0.36	c =========================================================================================
1.14/0.36	c types(t): F = full restart, N = normal restart
1.14/0.36	c types(t): S = simplification begin/end, E = solution found
1.14/0.36	c restart types(rt): st = static, dy = dynamic
1.14/0.36	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
1.14/0.36	c  B st     0         0        60      5340         0         0     37380         0   no data   no data  --
1.14/0.36	c Decided on static restart strategy
1.14/0.36	c  N dy    19      4003        60      5340         0      3582     37380     76639     21.64     18.73  --
3.55/0.92	c  N dy    46      8061        60      5340         0      4967     37380     99299     21.38     18.75  --
3.55/0.92	c  N dy    74     12208        60      5340         0      4876     37380     88530     21.30     18.78  --
3.55/0.99	c  N dy   101     16223        60      5340         0      8486     37380    165657     21.40     18.83  --
4.77/1.25	c  N dy   128     20254        60      5340         0      7066     37380    125002     21.29     18.82  --
5.94/1.52	c  N dy   155     24275        60      5340         0     10667     37380    201148     21.51     18.80  --
7.14/1.81	c  N dy   183     28421        60      5340         0      8281     37380    141099     21.80     18.83  --
7.54/1.93	c  S st   194     30001        60      5340         0      9702     37380    171357     21.36     18.84  --
7.54/1.97	c  S st   194     30507        60      5340         0     10180     37380    181815     21.36     18.84  --
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/2.00	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.93/2.58	c lits-rem:      1388  cl-subs:     1255  v-elim:     60  v-fix:    0  time:  2.33 s
9.93/2.58	c learnt bin added due to v-elim: 0
9.93/2.58	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
9.93/2.58	c vivif2 --  cl tried     8925 cl shrink        0 lits rem          0 time: 0.00
10.73/2.74	c asymm  cl-useful: 0/2001/5340 lits-rem:0 time: 0.61
10.73/2.74	c calculated reachability. Time: 0.00
10.73/2.74	c  N dy   194     30507        60      5340         0      8925     37380    156011     21.36     18.84  --
10.73/2.74	c  F st   194     30507        60      5340         0      8925     37380    156011     21.36     18.84  --
11.13/2.89	c Decided on static restart strategy
11.93/3.05	c  N dy   214     34638        60      5340         0     12598     37380    234988     21.76     18.82  --
13.14/3.36	c  N dy   241     38658        60      5340         0      9154     37380    150621     21.38     18.84  --
14.32/3.68	c  N dy   269     42782        60      5340         0     12846     37380    229480     21.31     18.85  --
15.52/3.96	c  S st   290     45762        60      5340         0     15537     37380    286925     21.47     18.85  --
15.92/4.03	c  S st   290     46267        60      5340         0      8008     37380    117325     21.47     18.85  --
15.92/4.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.92/4.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.92/4.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.3M T:  0.08
15.92/4.05	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
15.92/4.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.92/4.06	c Subs w/ non-existent bins:      0 time:  0.00 s
15.92/4.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.92/4.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.92/4.06	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
17.54/4.50	c lits-rem:        57  cl-subs:      159  v-elim:     60  v-fix:    0  time:  1.74 s
17.54/4.50	c learnt bin added due to v-elim: 0
17.54/4.50	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
17.54/4.50	c vivif2 --  cl tried     7849 cl shrink        0 lits rem          0 time: 0.00
18.32/4.63	c asymm  cl-useful: 0/1450/5340 lits-rem:0 time: 0.52
18.32/4.63	c calculated reachability. Time: 0.00
18.32/4.63	c  N dy   290     46267        60      5340         0      7849     37380    115311     21.47     18.85  --
19.52/4.93	c  N dy   317     50302        60      5340         0     11463     37380    190943     21.25     18.82  --
20.72/5.27	c  N dy   344     54311        60      5340         0     15025     37380    267196     21.38     18.84  --
22.34/5.66	c  N dy   371     58363        60      5340         0      9738     37380    143184     21.37     18.84  --
23.52/5.98	c  N dy   398     62399        60      5340         0     13349     37380    220444     21.62     18.85  --
25.12/6.34	c  N dy   425     66427        60      5340         0     16978     37380    298977     21.74     18.87  --
26.33/6.67	c  S st   445     69400        60      5340         0     19659     37380    355536     21.11     18.86  --
26.73/6.74	c  S st   445     69904        60      5340         0     10291     37380    145462     21.11     18.86  --
26.73/6.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.73/6.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.73/6.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.1M T:  0.12
26.73/6.77	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
26.73/6.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.73/6.77	c Subs w/ non-existent bins:      0 time:  0.00 s
26.73/6.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.73/6.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.73/6.77	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
28.71/7.23	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
30.72/7.74	c Added 1 vars  tried: 16020 time: 2.02
30.72/7.74	c ORs :      1 avg-s:  0.0 cl-sh:   417 l-rem:    417 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:    2.03
30.72/7.74	c lits-rem:       150  cl-subs:      335  v-elim:     60  v-fix:    0  time:  3.87 s
30.72/7.74	c learnt bin added due to v-elim: 0
30.72/7.74	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
30.72/7.74	c vivif2 --  cl tried     9956 cl shrink        0 lits rem          0 time: 0.00
31.12/7.89	c asymm  cl-useful: 0/2274/5341 lits-rem:0 time: 0.59
31.12/7.89	c calculated reachability. Time: 0.00
31.12/7.89	c  N dy   445     69904        61      5341         2      9956     37374    140081     21.11     18.86  --
31.12/7.89	c  F st   445     69904        61      5341         2      9956     37374    140081     21.11     18.86  --
31.90/8.06	c Decided on static restart strategy
32.70/8.26	c  N dy   467     74371        61      5341         2     13973     37374    226297     21.41     18.85  --
34.70/8.73	c  N dy   500     79254        61      5341         2     18351     37374    320318     21.73     18.87  --
36.69/9.30	c  N dy   535     84447        61      5341         2     12283     37374    178479     21.74     18.88  --
39.09/9.81	c  N dy   572     89930        61      5341         2     17197     37374    283854     21.29     18.89  --
41.48/10.46	c  N dy   611     95745        61      5341         2     22403     37374    395047     21.19     18.90  --
44.30/11.10	c  N dy   653    101972        61      5341         2     16347     37374    251904     21.15     18.88  --
45.48/11.43	c  S st   673    104856        61      5341         2     18929     37374    306780     21.31     18.88  --
45.88/11.50	c  S st   673    105362        61      5341         2     19395     37374    316907     21.31     18.88  --
45.88/11.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.88/11.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
45.88/11.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  4.2M T:  0.27
45.88/11.57	c Calc non-exist non-lernt bins v-fix:     0 done:     61 time:  0.00 s
45.88/11.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
45.88/11.57	c Subs w/ non-existent bins:      0 time:  0.01 s
45.88/11.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.88/11.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.88/11.57	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
49.07/12.30	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
49.07/12.30	c lits-rem:      1398  cl-subs:     2077  v-elim:     60  v-fix:    0  time:  2.91 s
49.07/12.30	c learnt bin added due to v-elim: 0
49.07/12.30	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
49.07/12.31	c vivif2 --  cl tried    17318 cl shrink        0 lits rem          0 time: 0.01
49.47/12.47	c asymm  cl-useful: 0/1160/5341 lits-rem:0 time: 0.64
49.47/12.47	c calculated reachability. Time: 0.00
49.47/12.47	c  N dy   673    105362        61      5341         2     17318     37374    273585     21.31     18.88  --
52.68/13.24	c  N dy   718    112098        61      5341         2     23413     37374    402406     21.01     18.87  --
55.86/14.03	c  N dy   767    119371        61      5341         2     17448     37374    267856     21.53     18.86  --
59.46/14.94	c  N dy   819    127093        61      5341         2     24427     37374    417181     21.95     18.87  --
63.46/15.91	c  N dy   874    135330        61      5341         2     18374     37374    279190     22.27     18.87  --
67.85/17.01	c  N dy   932    143974        61      5341         2     26119     37374    442699     21.14     18.86  --
72.24/18.15	c  N dy   994    153232        61      5341         2     20116     37374    302533     21.70     18.86  --
74.65/18.78	c  S st  1027    158045        61      5341         2     24408     37374    393077     21.22     18.86  --
75.06/18.86	c  S st  1027    158550        61      5341         2     24871     37374    403019     21.22     18.86  --
75.06/18.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
75.06/18.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
75.43/18.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  6.2M T:  0.39
75.43/18.96	c Calc non-exist non-lernt bins v-fix:     0 done:     61 time:  0.00 s
75.43/18.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
75.43/18.96	c Subs w/ non-existent bins:      0 time:  0.01 s
75.43/18.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
75.43/18.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.43/18.97	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
79.83/20.06	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
79.83/20.07	c lits-rem:      1597  cl-subs:     2840  v-elim:     60  v-fix:    0  time:  4.38 s
79.83/20.07	c learnt bin added due to v-elim: 0
79.83/20.07	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
79.83/20.07	c vivif2 --  cl tried    22031 cl shrink        0 lits rem          0 time: 0.01
80.63/20.24	c asymm  cl-useful: 0/951/5341 lits-rem:0 time: 0.67
80.63/20.24	c calculated reachability. Time: 0.00
80.63/20.24	c  N dy  1027    158550        61      5341         2     22031     37374    344303     21.22     18.86  --
86.23/21.69	c  N dy  1096    168811        61      5341         2     16139     37374    208421     21.36     18.87  --
91.82/23.03	c  N dy  1169    179634        61      5341         2     25876     37374    415055     21.58     18.86  --
98.21/24.65	c  N dy  1246    191118        61      5341         2     20106     37374    282009     21.49     18.86  --
105.00/26.37	c  N dy  1329    203463        65      5341        10     31168     37390    519303     21.53     18.87  --
112.19/28.16	c  N dy  1417    216512        65      5341        10     25849     37390    393920     21.04     18.88  --
120.97/30.39	c  N dy  1511    230455        65      5341        10     20441     37390    268675     21.09     18.88  --
125.37/31.43	c  S st  1561    237826        65      5341        10     27074     37390    410719     21.43     18.88  --
125.77/31.52	c  S st  1561    238329        65      5341        10     27537     37390    420782     21.43     18.88  --
125.77/31.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
125.77/31.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
126.17/31.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.0M T:  0.49
126.17/31.64	c Calc non-exist non-lernt bins v-fix:     0 done:     65 time:  0.00 s
126.17/31.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
126.17/31.65	c Subs w/ non-existent bins:      0 time:  0.02 s
126.17/31.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
126.17/31.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
126.17/31.65	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
130.97/32.87	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
130.97/32.87	c lits-rem:      1526  cl-subs:     2792  v-elim:     60  v-fix:    0  time:  4.88 s
130.97/32.87	c learnt bin added due to v-elim: 0
130.97/32.87	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
130.97/32.88	c vivif2 --  cl tried    24745 cl shrink        0 lits rem          0 time: 0.02
131.79/33.04	c asymm  cl-useful: 0/817/5341 lits-rem:0 time: 0.65
131.79/33.04	c calculated reachability. Time: 0.00
131.79/33.04	c  N dy  1561    238329        65      5341        10     24745     37390    364145     21.43     18.88  --
142.15/35.64	c  N dy  1665    253682        66      5341        13     19874     37394    249282     21.20     18.86  --
152.14/38.18	c  N dy  1775    270003        66      5341        15     34683     37396    565703     21.53     18.82  --
163.71/41.04	c  N dy  1892    287333        66      5341        15     30524     37396    463785     21.60     18.80  --
176.51/44.21	c  N dy  2016    305694        66      5341        15     26394     37396    362149     21.46     18.78  --
191.28/47.93	c  N dy  2148    325354        66      5341        15     22522     37396    267332     21.83     18.74  --
205.26/51.42	c  N dy  2284    345494        66      5341        15     40779     37396    658059     21.61     18.72  --
214.05/53.66	c  S st  2366    357494        70      5341        32     28995     37420    394731     21.45     18.71  --
214.45/53.77	c  S st  2366    357997        70      5341        32     29454     37420    404800     21.45     18.71  --
214.45/53.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
214.45/53.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
215.27/53.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bin:      1 BRemL:      2 BRemN:      2 CBin:       0 P:  9.9M T:  0.57
215.27/53.91	c Calc non-exist non-lernt bins v-fix:     0 done:     70 time:  0.00 s
215.27/53.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
215.27/53.91	c Subs w/ non-existent bins:      0 time:  0.02 s
215.27/53.92	c Replacing        4 vars Replaced     1943 lits Time:     0.04 s 
215.27/53.93	c bin-w-bin subsume rem            6 bins  time:  0.00 s
215.27/53.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
215.27/53.93	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
218.85/54.86	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
242.41/60.74	c Added 1 vars  tried: 80000 time: 23.46
242.41/60.75	c ORs :      1 avg-s:  0.0 cl-sh:  1437 l-rem:   1437 b-add:      3 v-rep:   0 cl-rem: 0 avg s: nan T:   23.52
242.41/60.76	c lits-rem:       864  cl-subs:     2198  v-elim:     60  v-fix:    0  time: 27.28 s
242.41/60.76	c learnt bin added due to v-elim: 0
242.41/60.76	c vivif2 --  cl tried     5342 cl shrink        0 lits rem          0 time: 0.00
242.41/60.77	c vivif2 --  cl tried    27255 cl shrink        0 lits rem          0 time: 0.02
243.21/60.92	c asymm  cl-useful: 0/1256/5342 lits-rem:0 time: 0.62
243.21/60.92	c calculated reachability. Time: 0.00
243.21/60.92	c  N dy  2366    357997        67      5342        15     27255     37376    363545     21.45     18.71  --
258.79/64.83	c  N dy  2501    378036        67      5342        16     45543     37376    754416     21.29     18.69  --
273.57/68.59	c  N dy  2635    398088        67      5342        16     40312     37376    628976     21.73     18.66  --
290.37/72.76	c  N dy  2771    418133        68      5342        19     34144     37380    484442     21.41     18.64  --
308.72/77.36	c  N dy  2906    438183        68      5342        19     26933     37380    319768     21.89     18.63  --
393.81/98.66	c  N dy  2910    536996        68      5342        19     34711     37380    463183     21.36     18.05  --
393.81/98.68	c  S st  2910    536996        68      5342        19     34711     37380    463183     21.36     18.05  --
394.21/98.79	c  S st  2910    537498        71      5342        39     35181     37406    473332     21.36     18.05  --
394.21/98.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
394.21/98.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
395.01/98.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 12.9M T:  0.74
395.01/98.98	c Calc non-exist non-lernt bins v-fix:     0 done:     71 time:  0.00 s
395.01/98.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
395.01/98.98	c Subs w/ non-existent bins:      0 time:  0.02 s
395.43/99.00	c Replacing        5 vars Replaced     2594 lits Time:     0.09 s 
395.43/99.01	c bin-w-bin subsume rem           10 bins  time:  0.00 s
395.43/99.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
395.43/99.01	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
401.00/100.46	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.03
401.00/100.47	c lits-rem:      1655  cl-subs:     2233  v-elim:     60  v-fix:    0  time:  5.84 s
401.00/100.47	c learnt bin added due to v-elim: 0
401.00/100.47	c vivif2 --  cl tried     5342 cl shrink        0 lits rem          0 time: 0.00
401.00/100.48	c vivif2 --  cl tried    32948 cl shrink        0 lits rem          0 time: 0.02
401.80/100.64	c asymm  cl-useful: 0/856/5342 lits-rem:0 time: 0.64
401.80/100.64	c calculated reachability. Time: 0.00
401.80/100.64	c  N dy  2910    537498        66      5342        12     32948     37372    434739     21.36     18.05  --
401.80/100.64	c  F st  2910    537498        66      5342        12     32948     37372    434739     21.36     18.05  --
403.40/101.02	c Decided on static restart strategy
420.17/105.27	c  N dy  3038    557596        66      5342        12     51220     37372    826552     21.55     18.07  --
439.36/110.08	c  N dy  3174    577664        69      5342        22     40632     37388    579222     21.71     18.08  --
666.64/166.99	c  N dy  3257    806250        69      5342        22     53319     37388    773128     19.55     17.49  --
667.04/167.02	c  S st  3257    806250        69      5342        22     53319     37388    773128     19.55     17.49  --
667.44/167.20	c  S st  3257    806750        69      5342        22     53795     37388    783798     19.55     17.49  --
667.85/167.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
667.85/167.20	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
669.03/167.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 20.1M T:  1.30
669.03/167.53	c Calc non-exist non-lernt bins v-fix:     0 done:     69 time:  0.00 s
669.03/167.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
669.03/167.54	c Subs w/ non-existent bins:      0 time:  0.03 s
669.03/167.54	c Replacing        1 vars Replaced       17 lits Time:     0.02 s 
669.03/167.55	c bin-w-bin subsume rem            2 bins  time:  0.00 s
669.03/167.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
669.03/167.55	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
684.21/171.35	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.08
721.36/180.68	c Added 1 vars  tried: 80000 time: 37.27
722.16/180.83	c ORs :      1 avg-s:  0.0 cl-sh:  7361 l-rem:   7361 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   37.85
722.16/180.84	c lits-rem:      2381  cl-subs:     9361  v-elim:     60  v-fix:    0  time: 53.08 s
722.16/180.84	c learnt bin added due to v-elim: 0
722.16/180.84	c vivif2 --  cl tried     5343 cl shrink        0 lits rem          0 time: 0.00
722.16/180.85	c vivif2 --  cl tried    44434 cl shrink        0 lits rem          0 time: 0.03
722.56/180.94	c asymm  cl-useful: 0/342/5343 lits-rem:0 time: 0.34
722.56/180.94	c calculated reachability. Time: 0.00
722.56/180.94	c  N dy  3257    806750        69      5343        18     44434     37368    607894     19.55     17.49  --
745.73/186.76	c  N dy  3393    826784        69      5343        18     62654     37368   1001457     22.10     17.51  --
768.50/192.40	c  N dy  3529    846850        69      5343        18     46682     37368    656204     21.52     17.53  --
1235.08/309.23	c  N dy  3658   1210125        70      5343        20     60568     37372    894925     21.56     16.72  --
1235.08/309.27	c  S st  3658   1210125        70      5343        20     60568     37372    894925     21.56     16.72  --
1235.86/309.48	c  S st  3658   1210627        71      5343        22     61033     37376    905132     21.56     16.72  --
1235.86/309.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1235.86/309.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1237.46/309.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 25.5M T:  1.63
1237.86/309.90	c Calc non-exist non-lernt bins v-fix:     0 done:     71 time:  0.01 s
1237.86/309.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1237.86/309.91	c Subs w/ non-existent bins:      0 time:  0.04 s
1237.86/309.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1237.86/309.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1237.86/309.92	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1253.04/313.77	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.10
1253.04/313.79	c lits-rem:      3726  cl-subs:     5623  v-elim:     60  v-fix:    0  time: 15.44 s
1253.04/313.79	c learnt bin added due to v-elim: 0
1253.04/313.79	c vivif2 --  cl tried     5343 cl shrink        0 lits rem          0 time: 0.00
1253.44/313.80	c vivif2 --  cl tried    55410 cl shrink        0 lits rem          0 time: 0.04
1253.44/313.89	c asymm  cl-useful: 0/262/5343 lits-rem:0 time: 0.35
1253.44/313.89	c calculated reachability. Time: 0.00
1253.44/313.89	c  N dy  3658   1210627        71      5343        22     55410     37376    793192     21.56     16.72  --
1281.80/320.92	c  N dy  3794   1230742        71      5343        22     73848     37376   1187314     21.66     16.74  --
2042.77/511.42	c  N dy  3875   1710627        71      5343        22     84427     37376   1277471     19.80     16.39  --
2042.77/511.47	c  S st  3875   1710627        71      5343        22     84427     37376   1277471     19.80     16.39  --
2043.96/511.77	c  S st  3875   1711132        71      5343        22     84899     37376   1287970     19.80     16.39  --
2043.96/511.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2043.96/511.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2046.76/512.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 36.1M T:  2.55
2046.76/512.41	c Calc non-exist non-lernt bins v-fix:     0 done:     71 time:  0.01 s
2046.76/512.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2046.76/512.43	c Subs w/ non-existent bins:      0 time:  0.06 s
2046.76/512.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2046.76/512.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2046.76/512.45	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2083.13/521.56	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.18
2156.21/539.85	c Added 1 vars  tried: 80000 time: 73.04
2157.82/540.27	c ORs :      1 avg-s:  0.0 cl-sh: 12868 l-rem:  12868 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   74.71
2157.82/540.29	c lits-rem:      4343  cl-subs:    12839  v-elim:     60  v-fix:    0  time: 111.17 s
2157.82/540.29	c learnt bin added due to v-elim: 0
2157.82/540.29	c vivif2 --  cl tried     5344 cl shrink        0 lits rem          0 time: 0.00
2158.20/540.31	c vivif2 --  cl tried    72060 cl shrink        0 lits rem          0 time: 0.06
2158.60/540.41	c asymm  cl-useful: 0/138/5344 lits-rem:0 time: 0.42
2158.60/540.42	c calculated reachability. Time: 0.00
2158.60/540.42	c  N dy  3875   1711132        72      5344        24     72060     37365   1043588     19.80     16.39  --
2196.55/549.94	c  N dy  4011   1731219        72      5344        24     90443     37365   1434625     21.67     16.41  --
3100.13/776.11	c  N dy  4105   2211132        72      5344        24     87287     37365   1235107     19.34     16.19  --
3100.13/776.16	c  S st  4105   2211132        72      5344        24     87287     37365   1235107     19.34     16.19  --
3100.13/776.16	c Finding binary XORs  T:     0.00 s  found:       0
3101.32/776.47	c  S st  4105   2211637        75      5344        30     87770     37377   1245304     19.34     16.19  --
3101.32/776.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3101.32/776.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3104.12/777.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 41.1M T:  2.85
3104.12/777.19	c Calc non-exist non-lernt bins v-fix:     0 done:     75 time:  0.01 s
3104.12/777.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3104.52/777.21	c Subs w/ non-existent bins:      0 time:  0.06 s
3104.52/777.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3104.52/777.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3104.52/777.23	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3136.87/785.30	c ORs :      4 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.22
3136.87/785.33	c lits-rem:      2418  cl-subs:    13460  v-elim:     60  v-fix:    0  time: 32.32 s
3136.87/785.33	c learnt bin added due to v-elim: 0
3136.87/785.33	c vivif2 --  cl tried     5344 cl shrink        0 lits rem          0 time: 0.00
3136.87/785.34	c vivif2 --  cl tried    74310 cl shrink        1 lits rem          2 time: 0.06
3137.29/785.44	c asymm  cl-useful: 0/147/5344 lits-rem:0 time: 0.39
3137.29/785.44	c calculated reachability. Time: 0.00
3137.29/785.44	c  N dy  4105   2211637        75      5344        30     74310     37377   1020121     19.34     16.19  --
4250.56/1064.10	c  N dy  4161   2711637        76      5344        36    100101     37385   1538176     21.45     15.66  --
4250.56/1064.17	c  S st  4161   2711637        76      5344        36    100101     37385   1538176     21.45     15.66  --
4252.16/1064.53	c  S st  4161   2712139        80      5344        56    100580     37413   1548802     21.45     15.66  --
4252.16/1064.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4252.16/1064.54	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
4255.35/1065.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 44.2M T:  3.37
4255.35/1065.38	c Calc non-exist non-lernt bins v-fix:     0 done:     80 time:  0.01 s
4255.35/1065.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4255.75/1065.40	c Subs w/ non-existent bins:      0 time:  0.08 s
4256.15/1065.52	c Replacing        4 vars Replaced     2499 lits Time:     0.48 s 
4256.15/1065.55	c bin-w-bin subsume rem            8 bins  time:  0.00 s
4256.15/1065.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
4256.15/1065.56	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
4300.89/1076.75	c ORs :      4 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 23.0 T:    0.21
4393.56/1099.97	c Added 1 vars  tried: 80000 time: 92.74
4397.16/1100.82	c ORs :      1 avg-s:  0.0 cl-sh: 20331 l-rem:  20331 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   96.15
4397.16/1100.86	c lits-rem:      2838  cl-subs:     7721  v-elim:     60  v-fix:    0  time: 140.99 s
4397.16/1100.86	c learnt bin added due to v-elim: 0
4397.16/1100.86	c vivif2 --  cl tried     5345 cl shrink        0 lits rem          0 time: 0.00
4397.16/1100.88	c vivif2 --  cl tried    92858 cl shrink        0 lits rem          0 time: 0.09
4397.56/1100.99	c asymm  cl-useful: 0/146/5345 lits-rem:0 time: 0.44
4397.56/1100.99	c calculated reachability. Time: 0.00
4397.56/1100.99	c  N dy  4161   2712139        77      5345        34     92858     37367   1383891     21.45     15.66  --
4397.56/1100.99	c  F st  4161   2712139        77      5345        34     92858     37367   1383891     21.45     15.66  --
4401.15/1101.83	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-3172984-1304122937/watcher-3172984-1304122937 -o /tmp/evaluation-result-3172984-1304122937/solver-3172984-1304122937 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172984-1304122937.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: 6.80 7.76 7.82 3/176 23084
/proc/meminfo: memFree=30313308/32951124 swapFree=67111364/67111528
[pid=23084] ppid=23082 vsize=50148 CPUtime=0 cores=1,3,5,7
/proc/23084/stat : 23084 (techdemo) R 23082 23084 22152 0 -1 4202496 654 0 0 0 0 0 0 0 20 0 1 0 523894140 51351552 585 33554432000 4194304 4797429 140734788127264 18446744073709551615 253640520389 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23084/statm: 12537 585 347 148 0 7466 0

[startup+0.124539 s]
/proc/loadavg: 6.80 7.76 7.82 3/176 23084
/proc/meminfo: memFree=30313308/32951124 swapFree=67111364/67111528
[pid=23084] ppid=23082 vsize=465092 CPUtime=0.44 cores=1,3,5,7
/proc/23084/stat : 23084 (techdemo) D 23082 23084 22152 0 -1 4202496 1252 0 0 0 44 0 0 0 18 0 4 0 523894140 476254208 1152 33554432000 4194304 4797429 140734788127264 18446744073709551615 4625556 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23084/statm: 116273 1152 375 148 0 111202 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 465092

[startup+0.238049 s]
/proc/loadavg: 6.80 7.76 7.82 3/176 23084
/proc/meminfo: memFree=30313308/32951124 swapFree=67111364/67111528
[pid=23084] ppid=23082 vsize=674588 CPUtime=0.89 cores=1,3,5,7
/proc/23084/stat : 23084 (techdemo) R 23082 23084 22152 0 -1 4202496 2241 0 0 0 89 0 0 0 18 0 4 0 523894140 690778112 1939 33554432000 4194304 4797429 140734788127264 18446744073709551615 4331663 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23084/statm: 168647 1940 408 148 0 163576 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 674588

[startup+0.301038 s]
/proc/loadavg: 6.80 7.76 7.82 3/176 23084
/proc/meminfo: memFree=30313308/32951124 swapFree=67111364/67111528
[pid=23084] ppid=23082 vsize=675000 CPUtime=1.14 cores=1,3,5,7
/proc/23084/stat : 23084 (techdemo) R 23082 23084 22152 0 -1 4202496 2500 0 0 0 114 0 0 0 18 0 4 0 523894140 691200000 2194 33554432000 4194304 4797429 140734788127264 18446744073709551615 4422906 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23084/statm: 168750 2194 408 148 0 163679 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 675000

[startup+0.700968 s]
/proc/loadavg: 6.80 7.76 7.82 3/176 23084
/proc/meminfo: memFree=30313308/32951124 swapFree=67111364/67111528
[pid=23084] ppid=23082 vsize=679176 CPUtime=2.75 cores=1,3,5,7
/proc/23084/stat : 23084 (techdemo) R 23082 23084 22152 0 -1 4202496 4860 0 0 0 274 1 0 0 18 0 4 0 523894140 695476224 3686 33554432000 4194304 4797429 140734788127264 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23084/statm: 169794 3692 413 148 0 164723 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 679176

[startup+1.50082 s]
/proc/loadavg: 6.80 7.76 7.82 10/184 23092
/proc/meminfo: memFree=30284720/32951124 swapFree=67111364/67111528
[pid=23084] ppid=23082 vsize=680048 CPUtime=5.94 cores=1,3,5,7
/proc/23084/stat : 23084 (techdemo) R 23082 23084 22152 0 -1 4202496 5725 0 0 0 593 1 0 0 19 0 4 0 523894140 696369152 4268 33554432000 4194304 4797429 140734788127264 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23084/statm: 170012 4268 414 148 0 164941 0
[pid=23084/tid=23090] ppid=23082 vsize=680048 CPUtime=1.48 cores=1,3,5,7
/proc/23084/task/23090/stat : 23090 (techdemo) R 23082 23084 22152 0 -1 4202560 1132 0 0 0 148 0 0 0 19 0 4 0 523894142 696369152 4268 33554432000 4194304 4797429 140734788127264 18446744073709551615 4425630 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23084/tid=23091] ppid=23082 vsize=680048 CPUtime=1.47 cores=1,3,5,7
/proc/23084/task/23091/stat : 23091 (techdemo) R 23082 23084 22152 0 -1 4202560 1116 0 0 0 147 0 0 0 20 0 4 0 523894142 696369152 4268 33554432000 4194304 4797429 140734788127264 18446744073709551615 4424617 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23084/tid=23092] ppid=23082 vsize=680048 CPUtime=1.48 cores=1,3,5,7
/proc/23084/task/23092/stat : 23092 (techdemo) R 23082 23084 22152 0 -1 4202560 993 0 0 0 148 0 0 0 19 0 4 0 523894142 696369152 4268 33554432000 4194304 4797429 140734788127264 18446744073709551615 4422918 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) 680048

[startup+3.10053 s]
/proc/loadavg: 6.80 7.76 7.82 9/184 23092
/proc/meminfo: memFree=30276164/32951124 swapFree=67111364/67111528
[pid=23084] ppid=23082 vsize=683272 CPUtime=12.33 cores=1,3,5,7
/proc/23084/stat : 23084 (techdemo) R 23082 23084 22152 0 -1 4202496 7544 0 0 0 1232 1 0 0 25 0 4 0 523894140 699670528 5021 33554432000 4194304 4797429 140734788127264 18446744073709551615 4404790 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23084/statm: 170818 5021 416 148 0 165747 0
[pid=23084/tid=23090] ppid=23082 vsize=683272 CPUtime=3.08 cores=1,3,5,7
/proc/23084/task/23090/stat : 23090 (techdemo) R 23082 23084 22152 0 -1 4202560 1433 0 0 0 308 0 0 0 25 0 4 0 523894142 699670528 5021 33554432000 4194304 4797429 140734788127264 18446744073709551615 4523986 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23084/tid=23091] ppid=23082 vsize=683272 CPUtime=3.06 cores=1,3,5,7
/proc/23084/task/23091/stat : 23091 (techdemo) R 23082 23084 22152 0 -1 4202560 1430 0 0 0 306 0 0 0 25 0 4 0 523894142 699670528 5021 33554432000 4194304 4797429 140734788127264 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23084/tid=23092] ppid=23082 vsize=683272 CPUtime=3.08 cores=1,3,5,7
/proc/23084/task/23092/stat : 23092 (techdemo) R 23082 23084 22152 0 -1 4202560 1314 0 0 0 308 0 0 0 24 0 4 0 523894142 699670528 5021 33554432000 4194304 4797429 140734788127264 18446744073709551615 4525007 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) 683272

[startup+6.30094 s]
/proc/loadavg: 6.90 7.76 7.82 9/184 23092
/proc/meminfo: memFree=30265308/32951124 swapFree=67111364/67111528
[pid=23084] ppid=23082 vsize=685624 CPUtime=25.12 cores=1,3,5,7
/proc/23084/stat : 23084 (techdemo) R 23082 23084 22152 0 -1 4202496 9972 0 0 0 2510 2 0 0 25 0 4 0 523894140 702078976 5977 33554432000 4194304 4797429 140734788127264 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23084/statm: 171406 5977 416 148 0 166335 0
[pid=23084/tid=23090] ppid=23082 vsize=685624 CPUtime=6.28 cores=1,3,5,7
/proc/23084/task/23090/stat : 23090 (techdemo) R 23082 23084 22152 0 -1 4202560 1817 0 0 0 628 0 0 0 25 0 4 0 523894142 702078976 5977 33554432000 4194304 4797429 140734788127264 18446744073709551615 253640884119 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23084/tid=23091] ppid=23082 vsize=685624 CPUtime=6.24 cores=1,3,5,7
/proc/23084/task/23091/stat : 23091 (techdemo) R 23082 23084 22152 0 -1 4202560 1680 0 0 0 624 0 0 0 25 0 4 0 523894142 702078976 5977 33554432000 4194304 4797429 140734788127264 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23084/tid=23092] ppid=23082 vsize=685624 CPUtime=6.28 cores=1,3,5,7
/proc/23084/task/23092/stat : 23092 (techdemo) R 23082 23084 22152 0 -1 4202560 1552 0 0 0 628 0 0 0 25 0 4 0 523894142 702078976 5977 33554432000 4194304 4797429 140734788127264 18446744073709551615 4425875 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 685624

[startup+12.7008 s]
/proc/loadavg: 7.06 7.79 7.82 9/184 23092
/proc/meminfo: memFree=30251596/32951124 swapFree=67111364/67111528
[pid=23084] ppid=23082 vsize=692664 CPUtime=50.67 cores=1,3,5,7
/proc/23084/stat : 23084 (techdemo) R 23082 23084 22152 0 -1 4202496 14253 0 0 0 5065 2 0 0 25 0 4 0 523894140 709287936 7524 33554432000 4194304 4797429 140734788127264 18446744073709551615 4424673 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23084/statm: 173166 7524 419 148 0 168095 0
[pid=23084/tid=23090] ppid=23082 vsize=692664 CPUtime=12.68 cores=1,3,5,7
/proc/23084/task/23090/stat : 23090 (techdemo) R 23082 23084 22152 0 -1 4202560 2687 0 0 0 1268 0 0 0 25 0 4 0 523894142 709287936 7524 33554432000 4194304 4797429 140734788127264 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23084/tid=23091] ppid=23082 vsize=692664 CPUtime=12.6 cores=1,3,5,7
/proc/23084/task/23091/stat : 23091 (techdemo) R 23082 23084 22152 0 -1 4202560 2314 0 0 0 1260 0 0 0 25 0 4 0 523894142 709287936 7524 33554432000 4194304 4797429 140734788127264 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23084/tid=23092] ppid=23082 vsize=692664 CPUtime=12.67 cores=1,3,5,7
/proc/23084/task/23092/stat : 23092 (techdemo) R 23082 23084 22152 0 -1 4202560 2253 0 0 0 1267 0 0 0 25 0 4 0 523894142 709287936 7524 33554432000 4194304 4797429 140734788127264 18446744073709551615 4568122 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) 692664

[startup+25.5004 s]
/proc/loadavg: 7.27 7.80 7.83 9/184 23092
/proc/meminfo: memFree=30238928/32951124 swapFree=67111364/67111528
[pid=23084] ppid=23082 vsize=697040 CPUtime=101.8 cores=1,3,5,7
/proc/23084/stat : 23084 (techdemo) R 23082 23084 22152 0 -1 4202496 20824 0 0 0 10176 4 0 0 25 0 4 0 523894140 713768960 9245 33554432000 4194304 4797429 140734788127264 18446744073709551615 4425072 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23084/statm: 174260 9245 419 148 0 169189 0
[pid=23084/tid=23090] ppid=23082 vsize=697040 CPUtime=25.47 cores=1,3,5,7
/proc/23084/task/23090/stat : 23090 (techdemo) R 23082 23084 22152 0 -1 4202560 4442 0 0 0 2547 0 0 0 25 0 4 0 523894142 713768960 9245 33554432000 4194304 4797429 140734788127264 18446744073709551615 4429150 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23084/tid=23091] ppid=23082 vsize=697040 CPUtime=25.33 cores=1,3,5,7
/proc/23084/task/23091/stat : 23091 (techdemo) R 23082 23084 22152 0 -1 4202560 2983 0 0 0 2533 0 0 0 25 0 4 0 523894142 713768960 9245 33554432000 4194304 4797429 140734788127264 18446744073709551615 4423635 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23084/tid=23092] ppid=23082 vsize=697040 CPUtime=25.47 cores=1,3,5,7
/proc/23084/task/23092/stat : 23092 (techdemo) R 23082 23084 22152 0 -1 4202560 2875 0 0 0 2547 0 0 0 25 0 4 0 523894142 713768960 9245 33554432000 4194304 4797429 140734788127264 18446744073709551615 4501900 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 697040

[startup+51.1008 s]
/proc/loadavg: 7.60 7.83 7.83 9/184 23093
/proc/meminfo: memFree=30221640/32951124 swapFree=67111364/67111528
[pid=23084] ppid=23082 vsize=703280 CPUtime=204.06 cores=1,3,5,7
/proc/23084/stat : 23084 (techdemo) R 23082 23084 22152 0 -1 4202496 31336 0 0 0 20400 6 0 0 25 0 4 0 523894140 720158720 11223 33554432000 4194304 4797429 140734788127264 18446744073709551615 4424617 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23084/statm: 175820 11223 421 148 0 170749 0
[pid=23084/tid=23090] ppid=23082 vsize=703280 CPUtime=51.08 cores=1,3,5,7
/proc/23084/task/23090/stat : 23090 (techdemo) R 23082 23084 22152 0 -1 4202560 5732 0 0 0 5107 1 0 0 25 0 4 0 523894142 720158720 11223 33554432000 4194304 4797429 140734788127264 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23084/tid=23091] ppid=23082 vsize=703280 CPUtime=50.79 cores=1,3,5,7
/proc/23084/task/23091/stat : 23091 (techdemo) R 23082 23084 22152 0 -1 4202560 4770 0 0 0 5078 1 0 0 25 0 4 0 523894142 720158720 11223 33554432000 4194304 4797429 140734788127264 18446744073709551615 4526463 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23084/tid=23092] ppid=23082 vsize=703280 CPUtime=51.07 cores=1,3,5,7
/proc/23084/task/23092/stat : 23092 (techdemo) R 23082 23084 22152 0 -1 4202560 4866 0 0 0 5107 0 0 0 25 0 4 0 523894142 720158720 11223 33554432000 4194304 4797429 140734788127264 18446744073709551615 4429174 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) 703280

[startup+102.3 s]
/proc/loadavg: 7.87 7.86 7.84 9/184 23094
/proc/meminfo: memFree=30201136/32951124 swapFree=67111364/67111528
[pid=23084] ppid=23082 vsize=706608 CPUtime=408.6 cores=1,3,5,7
/proc/23084/stat : 23084 (techdemo) R 23082 23084 22152 0 -1 4202496 46658 0 0 0 40849 11 0 0 25 0 4 0 523894140 723566592 13220 33554432000 4194304 4797429 140734788127264 18446744073709551615 4425057 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23084/statm: 176652 13220 421 148 0 171581 0
[pid=23084/tid=23090] ppid=23082 vsize=706608 CPUtime=102.28 cores=1,3,5,7
/proc/23084/task/23090/stat : 23090 (techdemo) R 23082 23084 22152 0 -1 4202560 8059 0 0 0 10227 1 0 0 25 0 4 0 523894142 723566592 13220 33554432000 4194304 4797429 140734788127264 18446744073709551615 4430083 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23084/tid=23091] ppid=23082 vsize=706608 CPUtime=101.71 cores=1,3,5,7
/proc/23084/task/23091/stat : 23091 (techdemo) R 23082 23084 22152 0 -1 4202560 7533 0 0 0 10170 1 0 0 25 0 4 0 523894142 723566592 13220 33554432000 4194304 4797429 140734788127264 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23084/tid=23092] ppid=23082 vsize=706608 CPUtime=102.28 cores=1,3,5,7
/proc/23084/task/23092/stat : 23092 (techdemo) R 23082 23084 22152 0 -1 4202560 6762 0 0 0 10227 1 0 0 25 0 4 0 523894142 723566592 13220 33554432000 4194304 4797429 140734788127264 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.6
Current children cumulated vsize (KiB) 706608

[startup+162.3 s]
/proc/loadavg: 8.10 7.93 7.87 9/184 23096
/proc/meminfo: memFree=30186124/32951124 swapFree=67111364/67111528
[pid=23084] ppid=23082 vsize=713164 CPUtime=648.26 cores=1,3,5,7
/proc/23084/stat : 23084 (techdemo) R 23082 23084 22152 0 -1 4202496 61017 0 0 0 64811 15 0 0 25 0 4 0 523894140 730279936 15308 33554432000 4194304 4797429 140734788127264 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23084/statm: 178291 15308 421 148 0 173220 0
[pid=23084/tid=23090] ppid=23082 vsize=713164 CPUtime=162.28 cores=1,3,5,7
/proc/23084/task/23090/stat : 23090 (techdemo) R 23082 23084 22152 0 -1 4202560 9585 0 0 0 16226 2 0 0 25 0 4 0 523894142 730279936 15308 33554432000 4194304 4797429 140734788127264 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23084/tid=23091] ppid=23082 vsize=713164 CPUtime=161.38 cores=1,3,5,7
/proc/23084/task/23091/stat : 23091 (techdemo) R 23082 23084 22152 0 -1 4202560 9106 0 0 0 16136 2 0 0 25 0 4 0 523894142 730279936 15308 33554432000 4194304 4797429 140734788127264 18446744073709551615 4429143 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23084/tid=23092] ppid=23082 vsize=713164 CPUtime=162.27 cores=1,3,5,7
/proc/23084/task/23092/stat : 23092 (techdemo) R 23082 23084 22152 0 -1 4202560 8504 0 0 0 16226 1 0 0 25 0 4 0 523894142 730279936 15308 33554432000 4194304 4797429 140734788127264 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 648.26
Current children cumulated vsize (KiB) 713164

[startup+222.307 s]
/proc/loadavg: 8.07 7.96 7.88 9/184 23098
/proc/meminfo: memFree=30162556/32951124 swapFree=67111364/67111528
[pid=23084] ppid=23082 vsize=720968 CPUtime=887.96 cores=1,3,5,7
/proc/23084/stat : 23084 (techdemo) R 23082 23084 22152 0 -1 4202496 72303 0 0 0 88777 19 0 0 25 0 4 0 523894140 738271232 17927 33554432000 4194304 4797429 140734788127264 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23084/statm: 180242 17927 421 148 0 175171 0
[pid=23084/tid=23090] ppid=23082 vsize=720968 CPUtime=222.29 cores=1,3,5,7
/proc/23084/task/23090/stat : 23090 (techdemo) R 23082 23084 22152 0 -1 4202560 11217 0 0 0 22227 2 0 0 25 0 4 0 523894142 738271232 17927 33554432000 4194304 4797429 140734788127264 18446744073709551615 4524057 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23084/tid=23091] ppid=23082 vsize=720968 CPUtime=221.05 cores=1,3,5,7
/proc/23084/task/23091/stat : 23091 (techdemo) R 23082 23084 22152 0 -1 4202560 10595 0 0 0 22103 2 0 0 25 0 4 0 523894142 738271232 17927 33554432000 4194304 4797429 140734788127264 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23084/tid=23092] ppid=23082 vsize=720968 CPUtime=222.29 cores=1,3,5,7
/proc/23084/task/23092/stat : 23092 (techdemo) R 23082 23084 22152 0 -1 4202560 9902 0 0 0 22227 2 0 0 25 0 4 0 523894142 738271232 17927 33554432000 4194304 4797429 140734788127264 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 887.96
Current children cumulated vsize (KiB) 720968

[startup+282.301 s]

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

[pid=23084] ppid=23082 vsize=746928 CPUtime=2565.65 cores=1,3,5,7
/proc/23084/stat : 23084 (techdemo) R 23082 23084 22152 0 -1 4202496 138659 0 0 0 256517 48 0 0 25 0 4 0 523894140 764854272 25529 33554432000 4194304 4797429 140734788127264 18446744073709551615 4425635 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23084/statm: 186732 25529 421 148 0 181661 0
[pid=23084/tid=23090] ppid=23082 vsize=746928 CPUtime=642.29 cores=1,3,5,7
/proc/23084/task/23090/stat : 23090 (techdemo) R 23082 23084 22152 0 -1 4202560 19813 0 0 0 64223 6 0 0 25 0 4 0 523894142 764854272 25529 33554432000 4194304 4797429 140734788127264 18446744073709551615 4656727 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23084/tid=23091] ppid=23082 vsize=746928 CPUtime=638.73 cores=1,3,5,7
/proc/23084/task/23091/stat : 23091 (techdemo) R 23082 23084 22152 0 -1 4202560 20126 0 0 0 63867 6 0 0 25 0 4 0 523894142 764854272 25529 33554432000 4194304 4797429 140734788127264 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23084/tid=23092] ppid=23082 vsize=746928 CPUtime=642.28 cores=1,3,5,7
/proc/23084/task/23092/stat : 23092 (techdemo) R 23082 23084 22152 0 -1 4202560 18175 0 0 0 64221 7 0 0 25 0 4 0 523894142 764854272 25529 33554432000 4194304 4797429 140734788127264 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.65
Current children cumulated vsize (KiB) 746928

[startup+702.301 s]
/proc/loadavg: 8.10 8.06 7.94 9/184 23110
/proc/meminfo: memFree=30092964/32951124 swapFree=67111364/67111528
[pid=23084] ppid=23082 vsize=749564 CPUtime=2805.33 cores=1,3,5,7
/proc/23084/stat : 23084 (techdemo) R 23082 23084 22152 0 -1 4202496 146479 0 0 0 280481 52 0 0 25 0 4 0 523894140 767553536 26013 33554432000 4194304 4797429 140734788127264 18446744073709551615 4354718 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23084/statm: 187391 26013 421 148 0 182320 0
[pid=23084/tid=23090] ppid=23082 vsize=749564 CPUtime=702.3 cores=1,3,5,7
/proc/23084/task/23090/stat : 23090 (techdemo) R 23082 23084 22152 0 -1 4202560 20857 0 0 0 70223 7 0 0 25 0 4 0 523894142 767553536 26013 33554432000 4194304 4797429 140734788127264 18446744073709551615 4424868 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23084/tid=23091] ppid=23082 vsize=749564 CPUtime=698.4 cores=1,3,5,7
/proc/23084/task/23091/stat : 23091 (techdemo) R 23082 23084 22152 0 -1 4202560 21282 0 0 0 69833 7 0 0 25 0 4 0 523894142 767553536 26013 33554432000 4194304 4797429 140734788127264 18446744073709551615 4429007 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23084/tid=23092] ppid=23082 vsize=749564 CPUtime=702.29 cores=1,3,5,7
/proc/23084/task/23092/stat : 23092 (techdemo) R 23082 23084 22152 0 -1 4202560 19149 0 0 0 70221 8 0 0 25 0 4 0 523894142 767553536 26013 33554432000 4194304 4797429 140734788127264 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.33
Current children cumulated vsize (KiB) 749564

[startup+762.301 s]
/proc/loadavg: 8.03 8.05 7.94 9/184 23112
/proc/meminfo: memFree=30079072/32951124 swapFree=67111364/67111528
[pid=23084] ppid=23082 vsize=749684 CPUtime=3045.02 cores=1,3,5,7
/proc/23084/stat : 23084 (techdemo) R 23082 23084 22152 0 -1 4202496 153046 0 0 0 304445 57 0 0 25 0 4 0 523894140 767676416 27871 33554432000 4194304 4797429 140734788127264 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23084/statm: 187421 27871 421 148 0 182350 0
[pid=23084/tid=23090] ppid=23082 vsize=749684 CPUtime=762.31 cores=1,3,5,7
/proc/23084/task/23090/stat : 23090 (techdemo) R 23082 23084 22152 0 -1 4202560 21428 0 0 0 76223 8 0 0 25 0 4 0 523894142 767676416 27871 33554432000 4194304 4797429 140734788127264 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23084/tid=23091] ppid=23082 vsize=749684 CPUtime=758.07 cores=1,3,5,7
/proc/23084/task/23091/stat : 23091 (techdemo) R 23082 23084 22152 0 -1 4202560 21859 0 0 0 75800 7 0 0 25 0 4 0 523894142 767676416 27871 33554432000 4194304 4797429 140734788127264 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23084/tid=23092] ppid=23082 vsize=749684 CPUtime=762.3 cores=1,3,5,7
/proc/23084/task/23092/stat : 23092 (techdemo) R 23082 23084 22152 0 -1 4202560 19746 0 0 0 76221 9 0 0 25 0 4 0 523894142 767676416 27871 33554432000 4194304 4797429 140734788127264 18446744073709551615 4424887 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.02
Current children cumulated vsize (KiB) 749684

[startup+822.301 s]
/proc/loadavg: 8.01 8.04 7.94 9/184 23114
/proc/meminfo: memFree=30063800/32951124 swapFree=67111364/67111528
[pid=23084] ppid=23082 vsize=753872 CPUtime=3284.67 cores=1,3,5,7
/proc/23084/stat : 23084 (techdemo) R 23082 23084 22152 0 -1 4202496 160263 0 0 0 328407 60 0 0 25 0 4 0 523894140 771964928 29003 33554432000 4194304 4797429 140734788127264 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23084/statm: 188468 29003 421 148 0 183397 0
[pid=23084/tid=23090] ppid=23082 vsize=753872 CPUtime=822.3 cores=1,3,5,7
/proc/23084/task/23090/stat : 23090 (techdemo) R 23082 23084 22152 0 -1 4202560 22506 0 0 0 82222 8 0 0 25 0 4 0 523894142 771964928 29003 33554432000 4194304 4797429 140734788127264 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23084/tid=23091] ppid=23082 vsize=753872 CPUtime=817.74 cores=1,3,5,7
/proc/23084/task/23091/stat : 23091 (techdemo) R 23082 23084 22152 0 -1 4202560 22973 0 0 0 81766 8 0 0 25 0 4 0 523894142 771964928 29003 33554432000 4194304 4797429 140734788127264 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23084/tid=23092] ppid=23082 vsize=753872 CPUtime=822.29 cores=1,3,5,7
/proc/23084/task/23092/stat : 23092 (techdemo) R 23082 23084 22152 0 -1 4202560 20780 0 0 0 82220 9 0 0 25 0 4 0 523894142 771964928 29003 33554432000 4194304 4797429 140734788127264 18446744073709551615 4414390 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.67
Current children cumulated vsize (KiB) 753872

[startup+882.307 s]
/proc/loadavg: 8.00 8.03 7.94 9/184 23115
/proc/meminfo: memFree=30061308/32951124 swapFree=67111364/67111528
[pid=23084] ppid=23082 vsize=755552 CPUtime=3524.37 cores=1,3,5,7
/proc/23084/stat : 23084 (techdemo) R 23082 23084 22152 0 -1 4202496 167270 0 0 0 352373 64 0 0 25 0 4 0 523894140 773685248 29809 33554432000 4194304 4797429 140734788127264 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23084/statm: 188888 29809 421 148 0 183817 0
[pid=23084/tid=23090] ppid=23082 vsize=755552 CPUtime=882.31 cores=1,3,5,7
/proc/23084/task/23090/stat : 23090 (techdemo) R 23082 23084 22152 0 -1 4202560 23751 0 0 0 88222 9 0 0 25 0 4 0 523894142 773685248 29809 33554432000 4194304 4797429 140734788127264 18446744073709551615 4424963 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23084/tid=23091] ppid=23082 vsize=755552 CPUtime=877.41 cores=1,3,5,7
/proc/23084/task/23091/stat : 23091 (techdemo) R 23082 23084 22152 0 -1 4202560 23969 0 0 0 87733 8 0 0 25 0 4 0 523894142 773685248 29809 33554432000 4194304 4797429 140734788127264 18446744073709551615 4429087 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23084/tid=23092] ppid=23082 vsize=755552 CPUtime=882.29 cores=1,3,5,7
/proc/23084/task/23092/stat : 23092 (techdemo) R 23082 23084 22152 0 -1 4202560 21852 0 0 0 88220 9 0 0 25 0 4 0 523894142 773685248 29809 33554432000 4194304 4797429 140734788127264 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.37
Current children cumulated vsize (KiB) 755552

[startup+942.301 s]
/proc/loadavg: 8.00 8.02 7.94 9/184 23117
/proc/meminfo: memFree=30058824/32951124 swapFree=67111364/67111528
[pid=23084] ppid=23082 vsize=758620 CPUtime=3764.02 cores=1,3,5,7
/proc/23084/stat : 23084 (techdemo) R 23082 23084 22152 0 -1 4202496 174299 0 0 0 376335 67 0 0 25 0 4 0 523894140 776826880 30775 33554432000 4194304 4797429 140734788127264 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23084/statm: 189655 30775 421 148 0 184584 0
[pid=23084/tid=23090] ppid=23082 vsize=758620 CPUtime=942.3 cores=1,3,5,7
/proc/23084/task/23090/stat : 23090 (techdemo) R 23082 23084 22152 0 -1 4202560 24795 0 0 0 94221 9 0 0 25 0 4 0 523894142 776826880 30775 33554432000 4194304 4797429 140734788127264 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23084/tid=23091] ppid=23082 vsize=758620 CPUtime=937.08 cores=1,3,5,7
/proc/23084/task/23091/stat : 23091 (techdemo) R 23082 23084 22152 0 -1 4202560 24400 0 0 0 93699 9 0 0 25 0 4 0 523894142 776826880 30775 33554432000 4194304 4797429 140734788127264 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23084/tid=23092] ppid=23082 vsize=758620 CPUtime=942.29 cores=1,3,5,7
/proc/23084/task/23092/stat : 23092 (techdemo) R 23082 23084 22152 0 -1 4202560 22391 0 0 0 94219 10 0 0 25 0 4 0 523894142 776826880 30775 33554432000 4194304 4797429 140734788127264 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.02
Current children cumulated vsize (KiB) 758620

[startup+1002.3 s]
/proc/loadavg: 8.04 8.03 7.95 9/184 23118
/proc/meminfo: memFree=30052256/32951124 swapFree=67111364/67111528
[pid=23084] ppid=23082 vsize=761368 CPUtime=4003.7 cores=1,3,5,7
/proc/23084/stat : 23084 (techdemo) R 23082 23084 22152 0 -1 4202496 180585 0 0 0 400299 71 0 0 25 0 4 0 523894140 779640832 31868 33554432000 4194304 4797429 140734788127264 18446744073709551615 4355133 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23084/statm: 190342 31868 421 148 0 185271 0
[pid=23084/tid=23090] ppid=23082 vsize=761368 CPUtime=1002.3 cores=1,3,5,7
/proc/23084/task/23090/stat : 23090 (techdemo) R 23082 23084 22152 0 -1 4202560 25305 0 0 0 100220 10 0 0 25 0 4 0 523894142 779640832 31868 33554432000 4194304 4797429 140734788127264 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23084/tid=23091] ppid=23082 vsize=761368 CPUtime=996.74 cores=1,3,5,7
/proc/23084/task/23091/stat : 23091 (techdemo) R 23082 23084 22152 0 -1 4202560 25478 0 0 0 99665 9 0 0 25 0 4 0 523894142 779640832 31868 33554432000 4194304 4797429 140734788127264 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23084/tid=23092] ppid=23082 vsize=761368 CPUtime=1002.3 cores=1,3,5,7
/proc/23084/task/23092/stat : 23092 (techdemo) R 23082 23084 22152 0 -1 4202560 23433 0 0 0 100219 11 0 0 25 0 4 0 523894142 779640832 31868 33554432000 4194304 4797429 140734788127264 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.7
Current children cumulated vsize (KiB) 761368

[startup+1062.3 s]
/proc/loadavg: 8.01 8.02 7.95 9/184 23120
/proc/meminfo: memFree=30043076/32951124 swapFree=67111364/67111528
[pid=23084] ppid=23082 vsize=761764 CPUtime=4243.37 cores=1,3,5,7
/proc/23084/stat : 23084 (techdemo) R 23082 23084 22152 0 -1 4202496 189080 0 0 0 424262 75 0 0 25 0 4 0 523894140 780046336 31712 33554432000 4194304 4797429 140734788127264 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23084/statm: 190441 31712 421 148 0 185370 0
[pid=23084/tid=23090] ppid=23082 vsize=761764 CPUtime=1062.3 cores=1,3,5,7
/proc/23084/task/23090/stat : 23090 (techdemo) R 23082 23084 22152 0 -1 4202560 26484 0 0 0 106219 11 0 0 25 0 4 0 523894142 780046336 31712 33554432000 4194304 4797429 140734788127264 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23084/tid=23091] ppid=23082 vsize=761764 CPUtime=1056.41 cores=1,3,5,7
/proc/23084/task/23091/stat : 23091 (techdemo) R 23082 23084 22152 0 -1 4202560 26463 0 0 0 105632 9 0 0 25 0 4 0 523894142 780046336 31712 33554432000 4194304 4797429 140734788127264 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23084/tid=23092] ppid=23082 vsize=761764 CPUtime=1062.29 cores=1,3,5,7
/proc/23084/task/23092/stat : 23092 (techdemo) R 23082 23084 22152 0 -1 4202560 24700 0 0 0 106218 11 0 0 25 0 4 0 523894142 780046336 31712 33554432000 4194304 4797429 140734788127264 18446744073709551615 4427250 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.37
Current children cumulated vsize (KiB) 761764

[startup+1122.3 s]
/proc/loadavg: 8.11 8.05 7.96 9/184 23122
/proc/meminfo: memFree=30025332/32951124 swapFree=67111364/67111528
[pid=23084] ppid=23082 vsize=765432 CPUtime=4483.04 cores=1,3,5,7
/proc/23084/stat : 23084 (techdemo) R 23082 23084 22152 0 -1 4202496 192114 0 0 0 448227 77 0 0 25 0 4 0 523894140 783802368 34575 33554432000 4194304 4797429 140734788127264 18446744073709551615 4424659 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23084/statm: 191358 34575 421 148 0 186287 0
[pid=23084/tid=23090] ppid=23082 vsize=765432 CPUtime=1122.31 cores=1,3,5,7
/proc/23084/task/23090/stat : 23090 (techdemo) R 23082 23084 22152 0 -1 4202560 26991 0 0 0 112219 12 0 0 25 0 4 0 523894142 783802368 34575 33554432000 4194304 4797429 140734788127264 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23084/tid=23091] ppid=23082 vsize=765432 CPUtime=1116.08 cores=1,3,5,7
/proc/23084/task/23091/stat : 23091 (techdemo) R 23082 23084 22152 0 -1 4202560 26943 0 0 0 111598 10 0 0 25 0 4 0 523894142 783802368 34575 33554432000 4194304 4797429 140734788127264 18446744073709551615 4509681 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23084/tid=23092] ppid=23082 vsize=765432 CPUtime=1122.3 cores=1,3,5,7
/proc/23084/task/23092/stat : 23092 (techdemo) R 23082 23084 22152 0 -1 4202560 25138 0 0 0 112218 12 0 0 25 0 4 0 523894142 783802368 34575 33554432000 4194304 4797429 140734788127264 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.04
Current children cumulated vsize (KiB) 765432

[startup+1182.3 s]
/proc/loadavg: 8.14 8.07 7.97 9/184 23123
/proc/meminfo: memFree=30038476/32951124 swapFree=67111364/67111528
[pid=23084] ppid=23082 vsize=765636 CPUtime=4722.72 cores=1,3,5,7
/proc/23084/stat : 23084 (techdemo) R 23082 23084 22152 0 -1 4202496 200181 0 0 0 472190 82 0 0 25 0 4 0 523894140 784011264 32927 33554432000 4194304 4797429 140734788127264 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23084/statm: 191409 32927 421 148 0 186338 0
[pid=23084/tid=23090] ppid=23082 vsize=765636 CPUtime=1182.31 cores=1,3,5,7
/proc/23084/task/23090/stat : 23090 (techdemo) R 23082 23084 22152 0 -1 4202560 28087 0 0 0 118219 12 0 0 25 0 4 0 523894142 784011264 32927 33554432000 4194304 4797429 140734788127264 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23084/tid=23091] ppid=23082 vsize=765636 CPUtime=1175.75 cores=1,3,5,7
/proc/23084/task/23091/stat : 23091 (techdemo) R 23082 23084 22152 0 -1 4202560 28041 0 0 0 117564 11 0 0 25 0 4 0 523894142 784011264 32927 33554432000 4194304 4797429 140734788127264 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23084/tid=23092] ppid=23082 vsize=765636 CPUtime=1182.3 cores=1,3,5,7
/proc/23084/task/23092/stat : 23092 (techdemo) R 23082 23084 22152 0 -1 4202560 26240 0 0 0 118217 13 0 0 25 0 4 0 523894142 784011264 32927 33554432000 4194304 4797429 140734788127264 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.72
Current children cumulated vsize (KiB) 765636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.16 8.08 7.98 5/179 23125
/proc/meminfo: memFree=30177140/32951124 swapFree=67111364/67111528
[pid=23084] ppid=23082 vsize=765636 CPUtime=4800.23 cores=1,3,5,7
/proc/23084/stat : 23084 (techdemo) R 23082 23084 22152 0 -1 4202496 201326 0 0 0 479941 82 0 0 25 0 4 0 523894140 784011264 34028 33554432000 4194304 4797429 140734788127264 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23084/statm: 191409 34028 421 148 0 186338 0
[pid=23084/tid=23090] ppid=23082 vsize=765636 CPUtime=1201.72 cores=1,3,5,7
/proc/23084/task/23090/stat : 23090 (techdemo) R 23082 23084 22152 0 -1 4202560 28284 0 0 0 120160 12 0 0 25 0 4 0 523894142 784011264 34028 33554432000 4194304 4797429 140734788127264 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23084/tid=23091] ppid=23082 vsize=765636 CPUtime=1195.05 cores=1,3,5,7
/proc/23084/task/23091/stat : 23091 (techdemo) R 23082 23084 22152 0 -1 4202560 28227 0 0 0 119494 11 0 0 25 0 4 0 523894142 784011264 34028 33554432000 4194304 4797429 140734788127264 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23084/tid=23092] ppid=23082 vsize=765636 CPUtime=1201.7 cores=1,3,5,7
/proc/23084/task/23092/stat : 23092 (techdemo) R 23082 23084 22152 0 -1 4202560 26374 0 0 0 120157 13 0 0 25 0 4 0 523894142 784011264 34028 33554432000 4194304 4797429 140734788127264 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 765636

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.27
CPU user time (s): 4799.43
CPU system time (s): 0.832873
CPU usage (%): 399.45
Max. virtual memory (cumulated for all children) (KiB): 856700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.43
system time used= 0.832873
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201327
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= 601
involuntary context switches= 34533

runsolver used 1.92571 second user time and 4.64729 second system time

The end

Launcher Data 

Begin job on node106 at 2011-04-30 02:22:17
IDJOB=3172984
IDBENCH=83002
IDSOLVER=1584
FILE ID=node106/3172984-1304122937
RUNJOBID= node106-1304122937-23066
PBS_JOBID= 13170704
Free space on /tmp= 72160 MiB

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

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

MD5SUM BENCH= ea8a8c80a9c6e1328d7a171765d2b8ef
RANDOM SEED=1037563644

node106.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30313712 kB
Buffers:        265040 kB
Cached:        2095780 kB
SwapCached:         88 kB
Active:         817212 kB
Inactive:      1607864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30313712 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           15652 kB
Writeback:          24 kB
AnonPages:       63356 kB
Mapped:          14780 kB
Slab:           147096 kB
PageTables:       4704 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   208780 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72152 MiB
End job on node106 at 2011-04-30 02:42:21