Trace number 3172808

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

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v50-c4450-S879384975-017.SATISFIABLE.cnf
MD5SUM8d243f7b89f03da297d04e97452d717b
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.012997
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of clauses4450
Sum of the clauses size31150
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 54450

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-3172808-1304102090.cnf'
0.00/0.00	c -- header says num vars:             50
0.00/0.00	c -- header says num clauses:        4450
0.00/0.01	c -- clauses added:            0 learnts,         4450 normals,            0 xors
0.00/0.01	c -- vars added         50
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        50      4450         0         0     31150         0   no data   no data  --
0.35/0.12	c asymm  cl-useful: 0/1907/4450 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:     50 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:     32  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:      21 undec:       1 neg:      28
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        50      4450         0         0     31150         0   no data   no data  --
3.15/0.83	c Decided on static restart strategy
3.15/0.83	c  N dy    19      4014        50      4450         0      3518     31150     65000     18.50     16.03  --
3.15/0.83	c  N dy    47      8159        50      4450         0      4937     31150     86707     18.37     16.17  --
3.15/0.83	c  N dy    74     12191        50      4450         0      4761     31150     78322     18.63     16.29  --
3.55/0.93	c  N dy   101     16226        50      4450         0      8320     31150    144159     18.63     16.30  --
4.37/1.17	c  N dy   128     20241        50      4450         0      6895     31150    109778     18.45     16.31  --
5.55/1.42	c  N dy   155     24254        50      4450         0     10420     31150    175702     19.14     16.37  --
6.75/1.71	c  N dy   182     28313        50      4450         0      7998     31150    122754     18.43     16.36  --
7.15/1.83	c  S st   194     30002        50      4450         0      9486     31150    150350     18.54     16.36  --
7.15/1.87	c  S st   194     30503        50      4450         0      9932     31150    158791     18.54     16.36  --
7.15/1.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.15/1.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.15/1.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.9M T:  0.07
7.15/1.89	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
7.15/1.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.15/1.89	c Subs w/ non-existent bins:      0 time:  0.00 s
7.55/1.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.55/1.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.55/1.90	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
9.54/2.45	c lits-rem:      1251  cl-subs:     1428  v-elim:     50  v-fix:    0  time:  2.21 s
9.54/2.45	c learnt bin added due to v-elim: 0
9.54/2.45	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
9.54/2.45	c vivif2 --  cl tried     8504 cl shrink        0 lits rem          0 time: 0.00
10.34/2.60	c asymm  cl-useful: 0/1807/4450 lits-rem:0 time: 0.60
10.34/2.60	c calculated reachability. Time: 0.00
10.34/2.60	c  N dy   194     30503        50      4450         0      8504     31150    133545     18.54     16.36  --
10.34/2.60	c  F st   194     30503        50      4450         0      8504     31150    133545     18.54     16.36  --
10.74/2.74	c Decided on static restart strategy
11.14/2.89	c  N dy   213     34529        50      4450         0     12033     31150    198914     18.60     16.34  --
12.34/3.20	c  N dy   241     38636        50      4450         0      8786     31150    133114     18.77     16.36  --
13.54/3.49	c  N dy   268     42638        50      4450         0     12283     31150    198149     18.89     16.38  --
14.73/3.78	c  S st   289     45755        50      4450         0     15023     31150    248286     18.66     16.36  --
15.13/3.84	c  S st   289     46257        50      4450         0     15474     31150    256784     18.66     16.36  --
15.13/3.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.13/3.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.13/3.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.0M T:  0.13
15.13/3.87	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
15.13/3.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.13/3.87	c Subs w/ non-existent bins:      0 time:  0.00 s
15.13/3.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.13/3.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.13/3.88	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
18.33/4.60	c lits-rem:      1770  cl-subs:     2350  v-elim:     50  v-fix:    0  time:  2.87 s
18.33/4.60	c learnt bin added due to v-elim: 0
18.33/4.60	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
18.33/4.60	c vivif2 --  cl tried    13124 cl shrink        0 lits rem          0 time: 0.01
18.73/4.72	c asymm  cl-useful: 0/736/4450 lits-rem:0 time: 0.48
18.73/4.72	c calculated reachability. Time: 0.00
18.73/4.72	c  N dy   289     46257        50      4450         0     13124     31150    211581     18.66     16.36  --
19.92/5.04	c  N dy   316     50292        50      4450         0      8977     31150    126793     18.19     16.35  --
21.13/5.35	c  N dy   343     54340        50      4450         0     12525     31150    192507     18.29     16.35  --
22.73/5.70	c  N dy   370     58358        50      4450         0     16054     31150    258272     18.87     16.36  --
23.93/6.05	c  N dy   397     62381        50      4450         0     10916     31150    156082     18.36     16.34  --
25.13/6.37	c  N dy   424     66409        50      4450         0     14469     31150    222100     18.73     16.34  --
26.34/6.68	c  S st   444     69386        50      4450         0     17057     31150    269417     18.52     16.34  --
26.72/6.74	c  S st   444     69886        50      4450         0     17502     31150    277815     18.52     16.34  --
26.72/6.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.72/6.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.72/6.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.0M T:  0.19
26.72/6.78	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
26.72/6.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.72/6.79	c Subs w/ non-existent bins:      0 time:  0.01 s
26.72/6.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.72/6.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.72/6.79	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
29.52/7.46	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
32.32/8.15	c Added 1 vars  tried: 11100 time: 2.75
32.32/8.15	c ORs :      1 avg-s:  0.0 cl-sh:  1173 l-rem:   1173 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:    2.78
32.32/8.16	c lits-rem:      1681  cl-subs:     2502  v-elim:     50  v-fix:    0  time:  5.46 s
32.32/8.16	c learnt bin added due to v-elim: 0
32.32/8.16	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
32.32/8.16	c vivif2 --  cl tried    15000 cl shrink        0 lits rem          0 time: 0.01
33.12/8.31	c asymm  cl-useful: 0/1679/4451 lits-rem:0 time: 0.61
33.12/8.31	c calculated reachability. Time: 0.00
33.12/8.31	c  N dy   444     69886        51      4451         2     15000     31136    229986     18.52     16.34  --
33.12/8.31	c  F st   444     69886        51      4451         2     15000     31136    229986     18.52     16.34  --
33.92/8.51	c Decided on static restart strategy
34.73/8.78	c  N dy   466     74346        51      4451         2      9473     31136    120997     18.73     16.33  --
36.31/9.15	c  N dy   498     79087        51      4451         2     13640     31136    198266     18.30     16.33  --
38.31/9.65	c  N dy   533     84271        51      4451         2     18145     31136    281866     18.94     16.35  --
40.70/10.22	c  N dy   570     89760        51      4451         2     12566     31136    170474     18.90     16.35  --
42.70/10.78	c  N dy   609     95568        51      4451         2     17648     31136    264179     18.54     16.35  --
45.90/11.50	c  N dy   650    101697        51      4451         2     11670     31136    146317     18.30     16.36  --
46.70/11.78	c  S st   672    104830        51      4451         2     14395     31136    196740     18.63     16.35  --
47.10/11.84	c  S st   672    105332        51      4451         2     14846     31136    205291     18.63     16.35  --
47.10/11.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.10/11.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.10/11.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.3M T:  0.19
47.10/11.88	c Calc non-exist non-lernt bins v-fix:     0 done:     51 time:  0.00 s
47.10/11.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.10/11.89	c Subs w/ non-existent bins:      0 time:  0.01 s
47.10/11.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.10/11.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.10/11.89	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
49.49/12.45	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.49/12.46	c lits-rem:       753  cl-subs:     1201  v-elim:     50  v-fix:    0  time:  2.26 s
49.49/12.46	c learnt bin added due to v-elim: 0
49.49/12.46	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
49.49/12.46	c vivif2 --  cl tried    13645 cl shrink        0 lits rem          0 time: 0.00
50.29/12.60	c asymm  cl-useful: 0/1251/4451 lits-rem:0 time: 0.59
50.29/12.60	c calculated reachability. Time: 0.00
50.29/12.60	c  N dy   672    105332        51      4451         2     13645     31136    184698     18.63     16.35  --
53.09/13.30	c  N dy   718    112165        51      4451         2     19633     31136    295856     18.84     16.36  --
56.28/14.17	c  N dy   767    119458        51      4451         2     13904     31136    182402     18.22     16.36  --
59.49/14.96	c  N dy   819    127191        51      4451         2     20681     31136    308243     19.04     16.37  --
63.89/16.00	c  N dy   874    135341        51      4451         2     14728     31136    188464     18.48     16.36  --
67.48/16.97	c  N dy   932    144025        51      4451         2     22372     31136    329292     18.34     16.35  --
72.27/18.19	c  N dy   994    153254        51      4451         2     16407     31136    210209     18.27     16.35  --
74.69/18.73	c  S st  1027    157999        51      4451         2     20577     31136    287449     18.73     16.35  --
75.07/18.81	c  S st  1027    158502        51      4451         2     21020     31136    295709     18.73     16.35  --
75.07/18.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
75.07/18.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
75.07/18.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.2M T:  0.29
75.07/18.88	c Calc non-exist non-lernt bins v-fix:     0 done:     51 time:  0.00 s
75.07/18.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
75.07/18.89	c Subs w/ non-existent bins:      0 time:  0.01 s
75.07/18.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
75.07/18.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.07/18.89	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
78.27/19.66	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
78.27/19.67	c lits-rem:       961  cl-subs:     2254  v-elim:     50  v-fix:    0  time:  3.11 s
78.27/19.67	c learnt bin added due to v-elim: 0
78.27/19.67	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
78.27/19.67	c vivif2 --  cl tried    18766 cl shrink        0 lits rem          0 time: 0.01
79.08/19.82	c asymm  cl-useful: 0/881/4451 lits-rem:0 time: 0.60
79.08/19.82	c calculated reachability. Time: 0.00
79.08/19.82	c  N dy  1027    158502        51      4451         2     18766     31136    255868     18.73     16.35  --
84.26/21.16	c  N dy  1095    168638        51      4451         2     27645     31136    419610     18.57     16.35  --
89.85/22.53	c  N dy  1168    179446        51      4451         2     22311     31136    313901     18.59     16.36  --
96.66/24.24	c  N dy  1245    190909        51      4451         2     16704     31136    201096     18.53     16.35  --
103.04/25.82	c  N dy  1327    203152        55      4451        10     27390     31152    400709     19.18     16.37  --
110.22/27.69	c  N dy  1415    216265        55      4451        10     22304     31152    297841     18.67     16.37  --
119.01/29.86	c  N dy  1508    230161        55      4451        10     34421     31152    521879     18.75     16.37  --
123.41/30.91	c  S st  1559    237755        55      4451        10     23598     31152    314241     18.36     16.37  --
123.41/31.00	c  S st  1559    238259        55      4451        10     24053     31152    322956     18.36     16.37  --
123.81/31.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
123.81/31.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
123.81/31.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  6.9M T:  0.38
123.81/31.09	c Calc non-exist non-lernt bins v-fix:     0 done:     55 time:  0.00 s
123.81/31.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
123.81/31.10	c Subs w/ non-existent bins:      0 time:  0.01 s
124.21/31.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
124.21/31.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
124.21/31.10	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
127.42/31.99	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
127.80/32.00	c lits-rem:       883  cl-subs:     2282  v-elim:     50  v-fix:    0  time:  3.58 s
127.80/32.00	c learnt bin added due to v-elim: 0
127.80/32.00	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
127.80/32.00	c vivif2 --  cl tried    21771 cl shrink        0 lits rem          0 time: 0.01
128.20/32.13	c asymm  cl-useful: 0/640/4451 lits-rem:0 time: 0.52
128.20/32.13	c calculated reachability. Time: 0.00
128.20/32.13	c  N dy  1559    238259        55      4451        10     21771     31152    283964     18.36     16.37  --
137.79/34.54	c  N dy  1662    253464        55      4451        10     35174     31152    532576     18.75     16.34  --
147.38/36.97	c  N dy  1772    269766        55      4451        10     31234     31152    452550     18.41     16.32  --
158.96/39.82	c  N dy  1889    286988        55      4451        10     27132     31152    368029     18.73     16.30  --
172.15/43.16	c  N dy  2013    305363        55      4451        10     23192     31152    284283     18.63     16.27  --
185.73/46.57	c  N dy  2145    324913        59      4451        27     40574     31176    607202     18.77     16.24  --
199.71/50.06	c  N dy  2281    345023        59      4451        29     37281     31178    537161     19.10     16.22  --
209.71/52.57	c  S st  2365    357388        59      4451        29     26054     31178    318129     18.70     16.21  --
210.11/52.67	c  S st  2365    357889        59      4451        29     26504     31178    326825     18.70     16.21  --
210.11/52.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
210.11/52.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
210.53/52.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.9M T:  0.47
210.53/52.79	c Calc non-exist non-lernt bins v-fix:     0 done:     59 time:  0.00 s
210.53/52.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
210.53/52.79	c Subs w/ non-existent bins:      0 time:  0.01 s
210.53/52.80	c Replacing        3 vars Replaced     1405 lits Time:     0.02 s 
210.53/52.80	c bin-w-bin subsume rem            6 bins  time:  0.00 s
210.53/52.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
210.53/52.80	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
214.92/53.80	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
214.92/53.81	c lits-rem:       995  cl-subs:     1496  v-elim:     50  v-fix:    0  time:  4.03 s
214.92/53.81	c learnt bin added due to v-elim: 0
214.92/53.81	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
214.92/53.81	c vivif2 --  cl tried    25008 cl shrink        0 lits rem          0 time: 0.01
215.32/53.97	c asymm  cl-useful: 0/955/4451 lits-rem:0 time: 0.61
215.32/53.97	c calculated reachability. Time: 0.00
215.32/53.97	c  N dy  2365    357889        56      4451        12     25008     31156    302512     18.70     16.21  --
230.48/57.74	c  N dy  2500    377934        59      4451        27     42860     31176    636851     18.79     16.19  --
245.26/61.49	c  N dy  2635    397946        59      4451        27     37581     31176    526910     18.35     16.17  --
262.05/65.65	c  N dy  2770    417962        59      4451        29     31465     31178    404966     18.70     16.16  --
279.62/70.05	c  N dy  2905    437979        59      4451        29     49265     31178    739385     18.79     16.15  --
295.20/73.96	c  N dy  3041    458027        59      4451        29     42254     31178    596739     18.31     16.14  --
312.78/78.39	c  N dy  3177    478077        59      4451        29     34378     31178    441978     18.80     16.12  --
332.37/83.27	c  N dy  3312    498191        59      4451        29     52320     31178    779410     18.33     16.11  --
349.14/87.50	c  N dy  3448    518278        59      4451        29     43442     31178    605838     18.76     16.11  --
367.92/92.11	c  S st  3574    536836        59      4451        29     32398     31178    390118     18.70     16.11  --
368.32/92.23	c  S st  3574    537338        59      4451        29     32858     31178    398830     18.70     16.11  --
368.32/92.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
368.32/92.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
368.73/92.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 12.2M T:  0.64
368.73/92.39	c Calc non-exist non-lernt bins v-fix:     0 done:     59 time:  0.00 s
368.73/92.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
368.73/92.40	c Subs w/ non-existent bins:      0 time:  0.02 s
368.73/92.40	c Replacing        3 vars Replaced      630 lits Time:     0.02 s 
369.14/92.41	c bin-w-bin subsume rem            6 bins  time:  0.00 s
369.14/92.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
369.14/92.41	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
374.31/93.73	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.02
399.08/99.94	c Added 1 vars  tried: 80000 time: 24.79
399.08/99.96	c ORs :      1 avg-s:  0.0 cl-sh:  1796 l-rem:   1796 b-add:      3 v-rep:   0 cl-rem: 0 avg s: nan T:   24.88
399.08/99.97	c lits-rem:       828  cl-subs:     1808  v-elim:     50  v-fix:    0  time: 30.18 s
399.08/99.97	c learnt bin added due to v-elim: 0
399.08/99.97	c vivif2 --  cl tried     4452 cl shrink        0 lits rem          0 time: 0.00
399.08/99.97	c vivif2 --  cl tried    31049 cl shrink        0 lits rem          0 time: 0.02
399.90/100.13	c asymm  cl-useful: 0/725/4452 lits-rem:0 time: 0.62
399.90/100.13	c calculated reachability. Time: 0.00
399.90/100.13	c  N dy  3574    537338        57      4452        15     31049     31136    368692     18.70     16.11  --
399.90/100.13	c  F st  3574    537338        57      4452        15     31049     31136    368692     18.70     16.11  --
401.48/100.50	c Decided on static restart strategy
417.48/104.53	c  N dy  3702    557481        57      4452        16     49105     31136    707183     19.28     16.10  --
436.24/109.30	c  N dy  3837    577485        57      4452        16     38487     31136    497103     19.24     16.09  --
457.03/114.44	c  N dy  3973    597626        60      4452        23     56508     31150    834681     19.01     16.09  --
475.39/119.09	c  N dy  4109    617762        60      4452        23     45106     31150    613686     18.06     16.07  --
498.57/124.82	c  N dy  4245    637907        60      4452        23     32673     31150    375151     18.98     16.07  --
516.94/129.47	c  N dy  4381    657933        64      4452        31     50532     31166    710987     18.78     16.08  --
539.71/135.14	c  N dy  4516    677937        64      4452        31     37138     31166    452392     18.63     16.07  --
559.69/140.18	c  N dy  4652    698016        64      4452        31     55057     31166    788229     18.73     16.07  --
582.86/145.91	c  N dy  4788    718149        65      4452        33     41000     31170    517407     18.69     16.06  --
605.63/151.60	c  N dy  4923    738170        65      4452        33     58833     31170    850766     18.47     16.06  --
627.61/157.17	c  N dy  5058    758263        65      4452        33     43776     31170    565686     18.82     16.06  --
650.77/162.98	c  N dy  5194    778368        65      4452        33     61724     31170    900732     18.91     16.06  --
673.15/168.57	c  N dy  5330    798476        65      4452        33     45700     31170    594386     18.70     16.05  --
681.53/170.64	c  S st  5381    806007        65      4452        33     52441     31170    720894     18.85     16.05  --
682.33/170.82	c  S st  5381    806509        65      4452        33     52902     31170    729739     18.85     16.05  --
682.33/170.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
682.33/170.82	c Cache  BProp: 0 Set: 0 BXProp: 2 T: 0.00
683.53/171.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      1 CBin:       0 P: 20.7M T:  1.28
683.53/171.15	c Calc non-exist non-lernt bins v-fix:     0 done:     65 time:  0.00 s
683.53/171.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
683.53/171.15	c Subs w/ non-existent bins:      1 time:  0.04 s
683.53/171.16	c Replacing        2 vars Replaced      401 lits Time:     0.03 s 
683.53/171.17	c bin-w-bin subsume rem            2 bins  time:  0.00 s
683.53/171.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
683.53/171.18	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
694.72/173.97	c ORs :      2 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.06
747.45/187.13	c Added 1 vars  tried: 80000 time: 52.59
747.85/187.22	c ORs :      1 avg-s:  0.0 cl-sh:  4595 l-rem:   4595 b-add:      3 v-rep:   0 cl-rem: 0 avg s: nan T:   52.92
747.85/187.23	c lits-rem:      1351  cl-subs:     4498  v-elim:     50  v-fix:    0  time: 64.12 s
747.85/187.23	c learnt bin added due to v-elim: 0
747.85/187.23	c vivif2 --  cl tried     4453 cl shrink        0 lits rem          0 time: 0.00
747.85/187.24	c vivif2 --  cl tried    48402 cl shrink        0 lits rem          0 time: 0.04
748.25/187.32	c asymm  cl-useful: 0/229/4453 lits-rem:0 time: 0.34
748.25/187.33	c calculated reachability. Time: 0.00
748.25/187.33	c  N dy  5381    806509        64      4453        29     48402     31142    645744     18.85     16.05  --
773.44/193.61	c  N dy  5517    826578        64      4453        30     66430     31142    981610     18.07     16.03  --
794.60/198.97	c  N dy  5653    846708        64      4453        30     49791     31142    662924     18.84     16.01  --
821.38/205.62	c  N dy  5789    866853        67      4453        36     67911     31154   1000800     18.57     15.99  --
844.14/211.35	c  N dy  5925    886977        67      4453        36     50261     31154    660715     18.52     15.97  --
871.30/218.13	c  N dy  6061    907115        71      4453        46     68516     31170    999227     18.21     15.95  --
894.88/224.06	c  N dy  6197    927193        72      4453        50     49795     31176    642401     18.89     15.94  --
920.85/230.57	c  N dy  6333    947227        72      4453        50     67828     31176    975201     18.87     15.93  --
947.21/237.19	c  N dy  6469    967304        72      4453        50     48206     31176    601674     18.54     15.91  --
974.39/243.94	c  N dy  6606    987400        72      4453        50     66325     31176    939681     18.86     15.90  --
1003.14/251.17	c  N dy  6742   1007525        72      4453        50     45677     31176    544668     19.01     15.89  --
1255.22/314.29	c  N dy  6773   1209764        72      4453        50     62015     31176    794185     19.10     15.35  --
1255.62/314.33	c  S st  6773   1209764        72      4453        50     62015     31176    794185     19.10     15.35  --
1256.44/314.55	c  S st  6773   1210266        72      4453        50     62483     31176    803125     19.10     15.35  --
1256.44/314.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1256.44/314.55	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
1258.01/314.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 26.5M T:  1.66
1258.01/314.97	c Calc non-exist non-lernt bins v-fix:     0 done:     72 time:  0.00 s
1258.01/314.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1258.01/314.98	c Subs w/ non-existent bins:      0 time:  0.05 s
1258.41/315.02	c Replacing        2 vars Replaced     1918 lits Time:     0.17 s 
1258.41/315.04	c bin-w-bin subsume rem            4 bins  time:  0.00 s
1258.41/315.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1258.41/315.04	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1274.80/319.18	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 20.0 T:    0.11
1319.94/330.43	c Added 1 vars  tried: 80000 time: 44.97
1320.74/330.61	c ORs :      1 avg-s:  0.0 cl-sh:  7791 l-rem:   7791 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   45.69
1320.74/330.63	c lits-rem:       633  cl-subs:    11536  v-elim:     50  v-fix:    0  time: 62.27 s
1320.74/330.63	c learnt bin added due to v-elim: 0
1320.74/330.63	c vivif2 --  cl tried     4454 cl shrink        0 lits rem          0 time: 0.00
1320.74/330.64	c vivif2 --  cl tried    50946 cl shrink        0 lits rem          0 time: 0.04
1321.14/330.72	c asymm  cl-useful: 0/216/4454 lits-rem:0 time: 0.34
1321.14/330.73	c calculated reachability. Time: 0.00
1321.14/330.73	c  N dy  6773   1210266        71      4454        43     50946     31147    642379     19.10     15.35  --
1347.10/337.29	c  N dy  6909   1230385        71      4454        43     69151     31147    977648     17.92     15.34  --
2037.43/510.08	c  N dy  6992   1710266        71      4454        43     80597     31147   1065659     17.32     14.46  --
2037.83/510.12	c  S st  6992   1710266        71      4454        43     80597     31147   1065659     17.32     14.46  --
2039.04/510.41	c  S st  6992   1710769        75      4454        51     81072     31163   1074556     17.32     14.46  --
2039.04/510.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2039.04/510.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2041.42/511.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 35.5M T:  2.38
2041.42/511.01	c Calc non-exist non-lernt bins v-fix:     0 done:     75 time:  0.01 s
2041.42/511.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2041.42/511.03	c Subs w/ non-existent bins:      0 time:  0.06 s
2041.42/511.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2041.42/511.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2041.42/511.05	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2068.18/517.71	c ORs :      4 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.19
2068.18/517.73	c lits-rem:      1881  cl-subs:    14042  v-elim:     50  v-fix:    0  time: 26.69 s
2068.18/517.73	c learnt bin added due to v-elim: 0
2068.18/517.73	c vivif2 --  cl tried     4454 cl shrink        0 lits rem          0 time: 0.00
2068.18/517.75	c vivif2 --  cl tried    67030 cl shrink        0 lits rem          0 time: 0.06
2068.58/517.84	c asymm  cl-useful: 0/152/4454 lits-rem:0 time: 0.37
2068.58/517.84	c calculated reachability. Time: 0.00
2068.58/517.84	c  N dy  6992   1710769        75      4454        51     67030     31163    909835     17.32     14.46  --
2102.54/526.33	c  N dy  7128   1730872        75      4454        51     85221     31163   1246807     18.14     14.47  --
2142.49/536.31	c  N dy  7263   1750909        75      4454        51     53728     31163    644346     18.84     14.47  --
2172.05/543.73	c  N dy  7399   1770994        75      4454        51     71890     31163    975971     18.84     14.47  --
2859.95/715.92	c Finding binary XORs  T:     0.00 s  found:       0
2979.01/745.80	c  N dy  7472   2210769        74      4454        50     85236     31159   1252302     17.74     13.62  --
2979.42/745.85	c  S st  7472   2210769        74      4454        50     85236     31159   1252302     17.74     13.62  --
2980.59/746.16	c  S st  7472   2211274        74      4454        50     85715     31159   1261310     17.74     13.62  --
2980.59/746.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2980.59/746.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2983.41/746.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 39.1M T:  2.85
2983.41/746.88	c Calc non-exist non-lernt bins v-fix:     0 done:     74 time:  0.01 s
2983.41/746.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2983.41/746.90	c Subs w/ non-existent bins:      0 time:  0.08 s
2983.81/746.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2987.39/747.83	c subs with bin:     5269  lits-rem:         0  v-fix:    0  time:  3.65 s
2987.39/747.83	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3014.17/754.51	c ORs :      4 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 3 avg s: 19.3 T:    0.16
3096.04/775.03	c Added 1 vars  tried: 80000 time: 82.00
3098.83/775.70	c ORs :      1 avg-s:  0.0 cl-sh: 15988 l-rem:  15988 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   84.68
3098.83/775.73	c lits-rem:      4722  cl-subs:     7115  v-elim:     50  v-fix:    0  time: 111.43 s
3098.83/775.73	c learnt bin added due to v-elim: 0
3098.83/775.73	c vivif2 --  cl tried     4455 cl shrink        0 lits rem          0 time: 0.00
3098.83/775.75	c vivif2 --  cl tried    73328 cl shrink       62 lits rem         62 time: 0.08
3099.23/775.85	c asymm  cl-useful: 0/201/4455 lits-rem:0 time: 0.39
3099.23/775.85	c calculated reachability. Time: 0.00
3099.23/775.85	c  N dy  7472   2211274        75      4455        52     73328     31148   1071949     17.74     13.62  --
3133.99/784.57	c  N dy  7608   2231336        75      4455        52     91494     31148   1399354     18.17     13.63  --
3179.54/795.91	c  N dy  7744   2251385        75      4455        52    109638     31148   1723794     17.89     13.64  --
4028.83/1008.56	c  N dy  7868   2711274        79      4455        64     91886     31168   1274710     15.01     13.45  --
4029.24/1008.62	c  S st  7868   2711274        79      4455        64     91886     31168   1274710     15.01     13.45  --
4030.42/1008.97	c  S st  7868   2711778        79      4455        64     92357     31168   1283759     15.01     13.45  --
4030.42/1008.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4030.42/1008.97	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
4034.04/1009.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 47.8M T:  3.31
4034.04/1009.81	c Calc non-exist non-lernt bins v-fix:     0 done:     79 time:  0.01 s
4034.04/1009.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4034.04/1009.83	c Subs w/ non-existent bins:      0 time:  0.08 s
4034.04/1009.89	c Replacing        1 vars Replaced     1240 lits Time:     0.24 s 
4034.42/1009.91	c bin-w-bin subsume rem            2 bins  time:  0.00 s
4034.42/1009.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4034.42/1009.91	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
4068.38/1018.48	c ORs :      5 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.25
4068.79/1018.50	c lits-rem:      4563  cl-subs:    15043  v-elim:     50  v-fix:    0  time: 34.32 s
4068.79/1018.50	c learnt bin added due to v-elim: 0
4068.79/1018.51	c vivif2 --  cl tried     4455 cl shrink        0 lits rem          0 time: 0.00
4068.79/1018.53	c vivif2 --  cl tried    77314 cl shrink        1 lits rem          1 time: 0.08
4069.19/1018.63	c asymm  cl-useful: 0/171/4455 lits-rem:0 time: 0.40
4069.19/1018.63	c calculated reachability. Time: 0.00
4069.19/1018.63	c  N dy  7868   2711778        78      4455        58     77314     31160   1075854     15.01     13.45  --
4069.19/1018.63	c  F st  7868   2711778        78      4455        58     77314     31160   1075854     15.01     13.45  --
4072.37/1019.49	c Decided on static restart strategy
4110.72/1029.03	c  N dy  7995   2731810        82      4455        71     95403     31180   1402919     17.82     13.46  --

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-3172808-1304102090/watcher-3172808-1304102090 -o /tmp/evaluation-result-3172808-1304102090/solver-3172808-1304102090 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172808-1304102090.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.76 4.85 6.45 6/180 8666
/proc/meminfo: memFree=31357072/32951124 swapFree=67111356/67111528
[pid=8666] ppid=8664 vsize=50144 CPUtime=0 cores=1,3,5,7
/proc/8666/stat : 8666 (techdemo) R 8664 8666 8286 0 -1 4202496 646 0 0 0 0 0 0 0 21 0 1 0 502624650 51347456 578 33554432000 4194304 4797429 140735483312944 18446744073709551615 270338044961 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/8666/statm: 12536 578 347 148 0 7465 0

[startup+0.0762109 s]
/proc/loadavg: 3.76 4.85 6.45 6/180 8666
/proc/meminfo: memFree=31357072/32951124 swapFree=67111356/67111528
[pid=8666] ppid=8664 vsize=147492 CPUtime=0.26 cores=1,3,5,7
/proc/8666/stat : 8666 (techdemo) R 8664 8666 8286 0 -1 4202496 1083 0 0 0 26 0 0 0 23 0 4 0 502624650 151031808 992 33554432000 4194304 4797429 140735483312944 18446744073709551615 4429097 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8666/statm: 36873 992 372 148 0 31802 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 147492

[startup+0.100207 s]
/proc/loadavg: 3.76 4.85 6.45 6/180 8666
/proc/meminfo: memFree=31357072/32951124 swapFree=67111356/67111528
[pid=8666] ppid=8664 vsize=147492 CPUtime=0.35 cores=1,3,5,7
/proc/8666/stat : 8666 (techdemo) R 8664 8666 8286 0 -1 4202496 1091 0 0 0 35 0 0 0 23 0 4 0 502624650 151031808 1000 33554432000 4194304 4797429 140735483312944 18446744073709551615 4430142 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8666/statm: 36873 1000 372 148 0 31802 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 147492

[startup+0.300168 s]
/proc/loadavg: 3.76 4.85 6.45 6/180 8666
/proc/meminfo: memFree=31357072/32951124 swapFree=67111356/67111528
[pid=8666] ppid=8664 vsize=609324 CPUtime=1.15 cores=1,3,5,7
/proc/8666/stat : 8666 (techdemo) R 8664 8666 8286 0 -1 4202496 2363 0 0 0 115 0 0 0 24 0 4 0 502624650 623947776 2098 33554432000 4194304 4797429 140735483312944 18446744073709551615 4424732 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8666/statm: 152331 2098 408 148 0 147260 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 609324

[startup+0.700092 s]
/proc/loadavg: 3.76 4.85 6.45 6/180 8666
/proc/meminfo: memFree=31357072/32951124 swapFree=67111356/67111528
[pid=8666] ppid=8664 vsize=613116 CPUtime=2.74 cores=1,3,5,7
/proc/8666/stat : 8666 (techdemo) R 8664 8666 8286 0 -1 4202496 4498 0 0 0 274 0 0 0 25 0 4 0 502624650 627830784 3490 33554432000 4194304 4797429 140735483312944 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8666/statm: 153279 3490 413 148 0 148208 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 613116

[startup+1.50093 s]
/proc/loadavg: 4.34 4.95 6.48 9/184 8670
/proc/meminfo: memFree=31329760/32951124 swapFree=67111356/67111528
[pid=8666] ppid=8664 vsize=614688 CPUtime=5.95 cores=1,3,5,7
/proc/8666/stat : 8666 (techdemo) R 8664 8666 8286 0 -1 4202496 5337 0 0 0 594 1 0 0 25 0 4 0 502624650 629440512 4078 33554432000 4194304 4797429 140735483312944 18446744073709551615 4424592 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8666/statm: 153672 4078 414 148 0 148601 0
[pid=8666/tid=8668] ppid=8664 vsize=614688 CPUtime=1.47 cores=1,3,5,7
/proc/8666/task/8668/stat : 8668 (techdemo) R 8664 8666 8286 0 -1 4202560 965 0 0 0 147 0 0 0 25 0 4 0 502624651 629440512 4078 33554432000 4194304 4797429 140735483312944 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8666/tid=8669] ppid=8664 vsize=614688 CPUtime=1.48 cores=1,3,5,7
/proc/8666/task/8669/stat : 8669 (techdemo) R 8664 8666 8286 0 -1 4202560 1061 0 0 0 148 0 0 0 20 0 4 0 502624651 629440512 4078 33554432000 4194304 4797429 140735483312944 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8666/tid=8670] ppid=8664 vsize=614688 CPUtime=1.48 cores=1,3,5,7
/proc/8666/task/8670/stat : 8670 (techdemo) R 8664 8666 8286 0 -1 4202560 1008 0 0 0 148 0 0 0 20 0 4 0 502624651 629440512 4078 33554432000 4194304 4797429 140735483312944 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 614688

[startup+3.10061 s]
/proc/loadavg: 4.34 4.95 6.48 9/184 8670
/proc/meminfo: memFree=31323808/32951124 swapFree=67111356/67111528
[pid=8666] ppid=8664 vsize=617260 CPUtime=12.34 cores=1,3,5,7
/proc/8666/stat : 8666 (techdemo) R 8664 8666 8286 0 -1 4202496 6923 0 0 0 1233 1 0 0 25 0 4 0 502624650 632074240 4391 33554432000 4194304 4797429 140735483312944 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8666/statm: 154315 4391 416 148 0 149244 0
[pid=8666/tid=8668] ppid=8664 vsize=617260 CPUtime=3.07 cores=1,3,5,7
/proc/8666/task/8668/stat : 8668 (techdemo) R 8664 8666 8286 0 -1 4202560 1213 0 0 0 307 0 0 0 25 0 4 0 502624651 632074240 4391 33554432000 4194304 4797429 140735483312944 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8666/tid=8669] ppid=8664 vsize=617260 CPUtime=3.08 cores=1,3,5,7
/proc/8666/task/8669/stat : 8669 (techdemo) R 8664 8666 8286 0 -1 4202560 1298 0 0 0 308 0 0 0 25 0 4 0 502624651 632074240 4391 33554432000 4194304 4797429 140735483312944 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8666/tid=8670] ppid=8664 vsize=617260 CPUtime=3.08 cores=1,3,5,7
/proc/8666/task/8670/stat : 8670 (techdemo) R 8664 8666 8286 0 -1 4202560 1221 0 0 0 308 0 0 0 25 0 4 0 502624651 632074240 4391 33554432000 4194304 4797429 140735483312944 18446744073709551615 4524092 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 617260

[startup+6.30098 s]
/proc/loadavg: 4.63 5.00 6.48 9/184 8670
/proc/meminfo: memFree=31312924/32951124 swapFree=67111356/67111528
[pid=8666] ppid=8664 vsize=620460 CPUtime=25.13 cores=1,3,5,7
/proc/8666/stat : 8666 (techdemo) R 8664 8666 8286 0 -1 4202496 9521 0 0 0 2511 2 0 0 25 0 4 0 502624650 635351040 5462 33554432000 4194304 4797429 140735483312944 18446744073709551615 4425966 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8666/statm: 155115 5462 416 148 0 150044 0
[pid=8666/tid=8668] ppid=8664 vsize=620460 CPUtime=6.25 cores=1,3,5,7
/proc/8666/task/8668/stat : 8668 (techdemo) R 8664 8666 8286 0 -1 4202560 1649 0 0 0 625 0 0 0 25 0 4 0 502624651 635351040 5462 33554432000 4194304 4797429 140735483312944 18446744073709551615 4524288 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8666/tid=8669] ppid=8664 vsize=620460 CPUtime=6.27 cores=1,3,5,7
/proc/8666/task/8669/stat : 8669 (techdemo) R 8664 8666 8286 0 -1 4202560 1749 0 0 0 627 0 0 0 25 0 4 0 502624651 635351040 5462 33554432000 4194304 4797429 140735483312944 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8666/tid=8670] ppid=8664 vsize=620460 CPUtime=6.28 cores=1,3,5,7
/proc/8666/task/8670/stat : 8670 (techdemo) R 8664 8666 8286 0 -1 4202560 1611 0 0 0 628 0 0 0 25 0 4 0 502624651 635351040 5462 33554432000 4194304 4797429 140735483312944 18446744073709551615 4528206 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 620460

[startup+12.7007 s]
/proc/loadavg: 4.90 5.05 6.49 9/184 8670
/proc/meminfo: memFree=31302396/32951124 swapFree=67111356/67111528
[pid=8666] ppid=8664 vsize=627712 CPUtime=50.69 cores=1,3,5,7
/proc/8666/stat : 8666 (techdemo) R 8664 8666 8286 0 -1 4202496 13331 0 0 0 5067 2 0 0 25 0 4 0 502624650 642777088 7065 33554432000 4194304 4797429 140735483312944 18446744073709551615 4423635 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8666/statm: 156928 7065 419 148 0 151857 0
[pid=8666/tid=8668] ppid=8664 vsize=627712 CPUtime=12.62 cores=1,3,5,7
/proc/8666/task/8668/stat : 8668 (techdemo) R 8664 8666 8286 0 -1 4202560 2724 0 0 0 1262 0 0 0 25 0 4 0 502624651 642777088 7065 33554432000 4194304 4797429 140735483312944 18446744073709551615 4495525 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8666/tid=8669] ppid=8664 vsize=627712 CPUtime=12.67 cores=1,3,5,7
/proc/8666/task/8669/stat : 8669 (techdemo) R 8664 8666 8286 0 -1 4202560 2173 0 0 0 1267 0 0 0 25 0 4 0 502624651 642777088 7065 33554432000 4194304 4797429 140735483312944 18446744073709551615 4424987 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8666/tid=8670] ppid=8664 vsize=627712 CPUtime=12.68 cores=1,3,5,7
/proc/8666/task/8670/stat : 8670 (techdemo) R 8664 8666 8286 0 -1 4202560 2058 0 0 0 1268 0 0 0 25 0 4 0 502624651 642777088 7065 33554432000 4194304 4797429 140735483312944 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 627712

[startup+25.5012 s]
/proc/loadavg: 5.38 5.14 6.51 9/184 8670
/proc/meminfo: memFree=31286376/32951124 swapFree=67111356/67111528
[pid=8666] ppid=8664 vsize=630176 CPUtime=101.84 cores=1,3,5,7
/proc/8666/stat : 8666 (techdemo) R 8664 8666 8286 0 -1 4202496 18838 0 0 0 10180 4 0 0 25 0 4 0 502624650 645300224 8403 33554432000 4194304 4797429 140735483312944 18446744073709551615 4424652 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8666/statm: 157544 8403 419 148 0 152473 0
[pid=8666/tid=8668] ppid=8664 vsize=630176 CPUtime=25.36 cores=1,3,5,7
/proc/8666/task/8668/stat : 8668 (techdemo) R 8664 8666 8286 0 -1 4202560 3370 0 0 0 2536 0 0 0 25 0 4 0 502624651 645300224 8403 33554432000 4194304 4797429 140735483312944 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8666/tid=8669] ppid=8664 vsize=630176 CPUtime=25.48 cores=1,3,5,7
/proc/8666/task/8669/stat : 8669 (techdemo) R 8664 8666 8286 0 -1 4202560 3045 0 0 0 2547 1 0 0 25 0 4 0 502624651 645300224 8403 33554432000 4194304 4797429 140735483312944 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8666/tid=8670] ppid=8664 vsize=630176 CPUtime=25.48 cores=1,3,5,7
/proc/8666/task/8670/stat : 8670 (techdemo) R 8664 8666 8286 0 -1 4202560 2914 0 0 0 2548 0 0 0 25 0 4 0 502624651 645300224 8403 33554432000 4194304 4797429 140735483312944 18446744073709551615 4523994 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 630176

[startup+51.1011 s]
/proc/loadavg: 6.48 5.43 6.56 9/184 8671
/proc/meminfo: memFree=31274656/32951124 swapFree=67111356/67111528
[pid=8666] ppid=8664 vsize=634304 CPUtime=204.11 cores=1,3,5,7
/proc/8666/stat : 8666 (techdemo) R 8664 8666 8286 0 -1 4202496 27365 0 0 0 20406 5 0 0 25 0 4 0 502624650 649527296 10027 33554432000 4194304 4797429 140735483312944 18446744073709551615 4387768 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8666/statm: 158576 10027 421 148 0 153505 0
[pid=8666/tid=8668] ppid=8664 vsize=634304 CPUtime=50.84 cores=1,3,5,7
/proc/8666/task/8668/stat : 8668 (techdemo) R 8664 8666 8286 0 -1 4202560 4539 0 0 0 5084 0 0 0 25 0 4 0 502624651 649527296 10027 33554432000 4194304 4797429 140735483312944 18446744073709551615 4424709 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8666/tid=8669] ppid=8664 vsize=634304 CPUtime=51.08 cores=1,3,5,7
/proc/8666/task/8669/stat : 8669 (techdemo) R 8664 8666 8286 0 -1 4202560 4414 0 0 0 5107 1 0 0 25 0 4 0 502624651 649527296 10027 33554432000 4194304 4797429 140735483312944 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8666/tid=8670] ppid=8664 vsize=634304 CPUtime=51.08 cores=1,3,5,7
/proc/8666/task/8670/stat : 8670 (techdemo) R 8664 8666 8286 0 -1 4202560 3919 0 0 0 5107 1 0 0 25 0 4 0 502624651 649527296 10027 33554432000 4194304 4797429 140735483312944 18446744073709551615 4495518 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 634304

[startup+102.307 s]
/proc/loadavg: 7.39 5.84 6.64 9/184 8672
/proc/meminfo: memFree=31249900/32951124 swapFree=67111356/67111528
[pid=8666] ppid=8664 vsize=642188 CPUtime=408.69 cores=1,3,5,7
/proc/8666/stat : 8666 (techdemo) R 8664 8666 8286 0 -1 4202496 40761 0 0 0 40860 9 0 0 25 0 4 0 502624650 657600512 13076 33554432000 4194304 4797429 140735483312944 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8666/statm: 160547 13076 424 148 0 155476 0
[pid=8666/tid=8668] ppid=8664 vsize=642188 CPUtime=101.8 cores=1,3,5,7
/proc/8666/task/8668/stat : 8668 (techdemo) R 8664 8666 8286 0 -1 4202560 6429 0 0 0 10179 1 0 0 25 0 4 0 502624651 657600512 13076 33554432000 4194304 4797429 140735483312944 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8666/tid=8669] ppid=8664 vsize=642188 CPUtime=102.28 cores=1,3,5,7
/proc/8666/task/8669/stat : 8669 (techdemo) R 8664 8666 8286 0 -1 4202560 6317 0 0 0 10227 1 0 0 25 0 4 0 502624651 657600512 13076 33554432000 4194304 4797429 140735483312944 18446744073709551615 4430000 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8666/tid=8670] ppid=8664 vsize=642188 CPUtime=102.28 cores=1,3,5,7
/proc/8666/task/8670/stat : 8670 (techdemo) R 8664 8666 8286 0 -1 4202560 5693 0 0 0 10227 1 0 0 25 0 4 0 502624651 657600512 13076 33554432000 4194304 4797429 140735483312944 18446744073709551615 4612610 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.69
Current children cumulated vsize (KiB) 642188

[startup+162.301 s]
/proc/loadavg: 7.88 6.26 6.73 9/184 8674
/proc/meminfo: memFree=31233988/32951124 swapFree=67111356/67111528
[pid=8666] ppid=8664 vsize=646892 CPUtime=648.38 cores=1,3,5,7
/proc/8666/stat : 8666 (techdemo) R 8664 8666 8286 0 -1 4202496 53898 0 0 0 64823 15 0 0 25 0 4 0 502624650 662417408 14436 33554432000 4194304 4797429 140735483312944 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8666/statm: 161723 14436 423 148 0 156652 0
[pid=8666/tid=8668] ppid=8664 vsize=646892 CPUtime=161.5 cores=1,3,5,7
/proc/8666/task/8668/stat : 8668 (techdemo) R 8664 8666 8286 0 -1 4202560 8058 0 0 0 16149 1 0 0 25 0 4 0 502624651 662417408 14436 33554432000 4194304 4797429 140735483312944 18446744073709551615 4524288 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8666/tid=8669] ppid=8664 vsize=646892 CPUtime=162.28 cores=1,3,5,7
/proc/8666/task/8669/stat : 8669 (techdemo) R 8664 8666 8286 0 -1 4202560 8069 0 0 0 16226 2 0 0 25 0 4 0 502624651 662417408 14436 33554432000 4194304 4797429 140735483312944 18446744073709551615 4425045 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8666/tid=8670] ppid=8664 vsize=646892 CPUtime=162.27 cores=1,3,5,7
/proc/8666/task/8670/stat : 8670 (techdemo) R 8664 8666 8286 0 -1 4202560 7344 0 0 0 16225 2 0 0 25 0 4 0 502624651 662417408 14436 33554432000 4194304 4797429 140735483312944 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 648.38
Current children cumulated vsize (KiB) 646892

[startup+222.301 s]
/proc/loadavg: 8.06 6.61 6.82 9/184 8676
/proc/meminfo: memFree=31220404/32951124 swapFree=67111356/67111528
[pid=8666] ppid=8664 vsize=654348 CPUtime=888.08 cores=1,3,5,7
/proc/8666/stat : 8666 (techdemo) R 8664 8666 8286 0 -1 4202496 64421 0 0 0 88788 20 0 0 25 0 4 0 502624650 670052352 15758 33554432000 4194304 4797429 140735483312944 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8666/statm: 163587 15758 423 148 0 158516 0
[pid=8666/tid=8668] ppid=8664 vsize=654348 CPUtime=221.2 cores=1,3,5,7
/proc/8666/task/8668/stat : 8668 (techdemo) R 8664 8666 8286 0 -1 4202560 9421 0 0 0 22118 2 0 0 25 0 4 0 502624651 670052352 15758 33554432000 4194304 4797429 140735483312944 18446744073709551615 4427942 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8666/tid=8669] ppid=8664 vsize=654348 CPUtime=222.29 cores=1,3,5,7
/proc/8666/task/8669/stat : 8669 (techdemo) R 8664 8666 8286 0 -1 4202560 9419 0 0 0 22225 4 0 0 25 0 4 0 502624651 670052352 15758 33554432000 4194304 4797429 140735483312944 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8666/tid=8670] ppid=8664 vsize=654348 CPUtime=222.26 cores=1,3,5,7
/proc/8666/task/8670/stat : 8670 (techdemo) R 8664 8666 8286 0 -1 4202560 8742 0 0 0 22224 2 0 0 25 0 4 0 502624651 670052352 15758 33554432000 4194304 4797429 140735483312944 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 888.08
Current children cumulated vsize (KiB) 654348

[startup+282.3 s]

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

[pid=8666] ppid=8664 vsize=675844 CPUtime=2565.96 cores=1,3,5,7
/proc/8666/stat : 8666 (techdemo) R 8664 8666 8286 0 -1 4202496 126051 0 0 0 256548 48 0 0 25 0 4 0 502624650 692064256 23951 33554432000 4194304 4797429 140735483312944 18446744073709551615 4424626 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8666/statm: 168961 23951 421 148 0 163890 0
[pid=8666/tid=8668] ppid=8664 vsize=675844 CPUtime=639.05 cores=1,3,5,7
/proc/8666/task/8668/stat : 8668 (techdemo) R 8664 8666 8286 0 -1 4202560 17685 0 0 0 63898 7 0 0 25 0 4 0 502624651 692064256 23951 33554432000 4194304 4797429 140735483312944 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8666/tid=8669] ppid=8664 vsize=675844 CPUtime=642.3 cores=1,3,5,7
/proc/8666/task/8669/stat : 8669 (techdemo) R 8664 8666 8286 0 -1 4202560 18002 0 0 0 64223 7 0 0 25 0 4 0 502624651 692064256 23951 33554432000 4194304 4797429 140735483312944 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8666/tid=8670] ppid=8664 vsize=675844 CPUtime=642.26 cores=1,3,5,7
/proc/8666/task/8670/stat : 8670 (techdemo) R 8664 8666 8286 0 -1 4202560 16862 0 0 0 64220 6 0 0 25 0 4 0 502624651 692064256 23951 33554432000 4194304 4797429 140735483312944 18446744073709551615 4523968 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.96
Current children cumulated vsize (KiB) 675844

[startup+702.301 s]
/proc/loadavg: 8.08 7.78 7.31 9/184 8688
/proc/meminfo: memFree=31142972/32951124 swapFree=67111356/67111528
[pid=8666] ppid=8664 vsize=678680 CPUtime=2805.62 cores=1,3,5,7
/proc/8666/stat : 8666 (techdemo) R 8664 8666 8286 0 -1 4202496 133295 0 0 0 280510 52 0 0 25 0 4 0 502624650 694968320 25166 33554432000 4194304 4797429 140735483312944 18446744073709551615 4341508 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8666/statm: 169670 25166 421 148 0 164599 0
[pid=8666/tid=8668] ppid=8664 vsize=678680 CPUtime=698.73 cores=1,3,5,7
/proc/8666/task/8668/stat : 8668 (techdemo) R 8664 8666 8286 0 -1 4202560 18887 0 0 0 69865 8 0 0 25 0 4 0 502624651 694968320 25166 33554432000 4194304 4797429 140735483312944 18446744073709551615 4429090 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8666/tid=8669] ppid=8664 vsize=678680 CPUtime=702.3 cores=1,3,5,7
/proc/8666/task/8669/stat : 8669 (techdemo) R 8664 8666 8286 0 -1 4202560 18950 0 0 0 70222 8 0 0 25 0 4 0 502624651 694968320 25166 33554432000 4194304 4797429 140735483312944 18446744073709551615 4568019 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8666/tid=8670] ppid=8664 vsize=678680 CPUtime=702.24 cores=1,3,5,7
/proc/8666/task/8670/stat : 8670 (techdemo) R 8664 8666 8286 0 -1 4202560 17396 0 0 0 70218 6 0 0 25 0 4 0 502624651 694968320 25166 33554432000 4194304 4797429 140735483312944 18446744073709551615 4568011 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.62
Current children cumulated vsize (KiB) 678680

[startup+762.307 s]
/proc/loadavg: 8.12 7.84 7.36 9/184 8690
/proc/meminfo: memFree=31135888/32951124 swapFree=67111356/67111528
[pid=8666] ppid=8664 vsize=682240 CPUtime=3045.33 cores=1,3,5,7
/proc/8666/stat : 8666 (techdemo) R 8664 8666 8286 0 -1 4202496 139811 0 0 0 304477 56 0 0 25 0 4 0 502624650 698613760 26337 33554432000 4194304 4797429 140735483312944 18446744073709551615 4495518 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8666/statm: 170560 26337 421 148 0 165489 0
[pid=8666/tid=8668] ppid=8664 vsize=682240 CPUtime=758.41 cores=1,3,5,7
/proc/8666/task/8668/stat : 8668 (techdemo) R 8664 8666 8286 0 -1 4202560 19473 0 0 0 75832 9 0 0 25 0 4 0 502624651 698613760 26337 33554432000 4194304 4797429 140735483312944 18446744073709551615 4225995 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8666/tid=8669] ppid=8664 vsize=682240 CPUtime=762.31 cores=1,3,5,7
/proc/8666/task/8669/stat : 8669 (techdemo) R 8664 8666 8286 0 -1 4202560 19572 0 0 0 76223 8 0 0 25 0 4 0 502624651 698613760 26337 33554432000 4194304 4797429 140735483312944 18446744073709551615 4426361 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8666/tid=8670] ppid=8664 vsize=682240 CPUtime=762.24 cores=1,3,5,7
/proc/8666/task/8670/stat : 8670 (techdemo) R 8664 8666 8286 0 -1 4202560 18345 0 0 0 76218 6 0 0 25 0 4 0 502624651 698613760 26337 33554432000 4194304 4797429 140735483312944 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.33
Current children cumulated vsize (KiB) 682240

[startup+822.301 s]
/proc/loadavg: 8.12 7.89 7.40 9/184 8692
/proc/meminfo: memFree=31123460/32951124 swapFree=67111356/67111528
[pid=8666] ppid=8664 vsize=684992 CPUtime=3285.01 cores=1,3,5,7
/proc/8666/stat : 8666 (techdemo) R 8664 8666 8286 0 -1 4202496 146333 0 0 0 328441 60 0 0 25 0 4 0 502624650 701431808 27356 33554432000 4194304 4797429 140735483312944 18446744073709551615 4426361 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8666/statm: 171248 27356 421 148 0 166177 0
[pid=8666/tid=8668] ppid=8664 vsize=684992 CPUtime=818.1 cores=1,3,5,7
/proc/8666/task/8668/stat : 8668 (techdemo) R 8664 8666 8286 0 -1 4202560 20705 0 0 0 81800 10 0 0 25 0 4 0 502624651 701431808 27356 33554432000 4194304 4797429 140735483312944 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8666/tid=8669] ppid=8664 vsize=684992 CPUtime=822.31 cores=1,3,5,7
/proc/8666/task/8669/stat : 8669 (techdemo) R 8664 8666 8286 0 -1 4202560 20529 0 0 0 82222 9 0 0 25 0 4 0 502624651 701431808 27356 33554432000 4194304 4797429 140735483312944 18446744073709551615 4425927 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8666/tid=8670] ppid=8664 vsize=684992 CPUtime=822.24 cores=1,3,5,7
/proc/8666/task/8670/stat : 8670 (techdemo) R 8664 8666 8286 0 -1 4202560 19420 0 0 0 82217 7 0 0 25 0 4 0 502624651 701431808 27356 33554432000 4194304 4797429 140735483312944 18446744073709551615 4425045 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3285.01
Current children cumulated vsize (KiB) 684992

[startup+882.3 s]
/proc/loadavg: 8.12 7.92 7.44 9/184 8693
/proc/meminfo: memFree=31125540/32951124 swapFree=67111356/67111528
[pid=8666] ppid=8664 vsize=685416 CPUtime=3524.68 cores=1,3,5,7
/proc/8666/stat : 8666 (techdemo) R 8664 8666 8286 0 -1 4202496 153941 0 0 0 352405 63 0 0 25 0 4 0 502624650 701865984 27517 33554432000 4194304 4797429 140735483312944 18446744073709551615 4424956 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8666/statm: 171354 27517 421 148 0 166283 0
[pid=8666/tid=8668] ppid=8664 vsize=685416 CPUtime=877.78 cores=1,3,5,7
/proc/8666/task/8668/stat : 8668 (techdemo) R 8664 8666 8286 0 -1 4202560 21704 0 0 0 87767 11 0 0 25 0 4 0 502624651 701865984 27517 33554432000 4194304 4797429 140735483312944 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8666/tid=8669] ppid=8664 vsize=685416 CPUtime=882.31 cores=1,3,5,7
/proc/8666/task/8669/stat : 8669 (techdemo) R 8664 8666 8286 0 -1 4202560 21524 0 0 0 88222 9 0 0 25 0 4 0 502624651 701865984 27517 33554432000 4194304 4797429 140735483312944 18446744073709551615 4429150 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8666/tid=8670] ppid=8664 vsize=685416 CPUtime=882.23 cores=1,3,5,7
/proc/8666/task/8670/stat : 8670 (techdemo) R 8664 8666 8286 0 -1 4202560 20700 0 0 0 88215 8 0 0 25 0 4 0 502624651 701865984 27517 33554432000 4194304 4797429 140735483312944 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.68
Current children cumulated vsize (KiB) 685416

[startup+942.3 s]
/proc/loadavg: 8.09 7.94 7.48 9/184 8695
/proc/meminfo: memFree=31117064/32951124 swapFree=67111356/67111528
[pid=8666] ppid=8664 vsize=689052 CPUtime=3764.37 cores=1,3,5,7
/proc/8666/stat : 8666 (techdemo) R 8664 8666 8286 0 -1 4202496 160992 0 0 0 376370 67 0 0 25 0 4 0 502624650 705589248 27925 33554432000 4194304 4797429 140735483312944 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8666/statm: 172263 27925 421 148 0 167192 0
[pid=8666/tid=8668] ppid=8664 vsize=689052 CPUtime=937.47 cores=1,3,5,7
/proc/8666/task/8668/stat : 8668 (techdemo) R 8664 8666 8286 0 -1 4202560 22953 0 0 0 93735 12 0 0 25 0 4 0 502624651 705589248 27925 33554432000 4194304 4797429 140735483312944 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8666/tid=8669] ppid=8664 vsize=689052 CPUtime=942.31 cores=1,3,5,7
/proc/8666/task/8669/stat : 8669 (techdemo) R 8664 8666 8286 0 -1 4202560 22497 0 0 0 94222 9 0 0 25 0 4 0 502624651 705589248 27925 33554432000 4194304 4797429 140735483312944 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8666/tid=8670] ppid=8664 vsize=689052 CPUtime=942.22 cores=1,3,5,7
/proc/8666/task/8670/stat : 8670 (techdemo) R 8664 8666 8286 0 -1 4202560 21141 0 0 0 94214 8 0 0 25 0 4 0 502624651 705589248 27925 33554432000 4194304 4797429 140735483312944 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.37
Current children cumulated vsize (KiB) 689052

[startup+1002.3 s]
/proc/loadavg: 8.08 7.97 7.51 9/184 8696
/proc/meminfo: memFree=31107596/32951124 swapFree=67111356/67111528
[pid=8666] ppid=8664 vsize=689156 CPUtime=4004.06 cores=1,3,5,7
/proc/8666/stat : 8666 (techdemo) R 8664 8666 8286 0 -1 4202496 167379 0 0 0 400335 71 0 0 25 0 4 0 502624650 705695744 28829 33554432000 4194304 4797429 140735483312944 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8666/statm: 172289 28829 421 148 0 167218 0
[pid=8666/tid=8668] ppid=8664 vsize=689156 CPUtime=997.15 cores=1,3,5,7
/proc/8666/task/8668/stat : 8668 (techdemo) R 8664 8666 8286 0 -1 4202560 23421 0 0 0 99702 13 0 0 25 0 4 0 502624651 705695744 28829 33554432000 4194304 4797429 140735483312944 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8666/tid=8669] ppid=8664 vsize=689156 CPUtime=1002.31 cores=1,3,5,7
/proc/8666/task/8669/stat : 8669 (techdemo) R 8664 8666 8286 0 -1 4202560 23008 0 0 0 100221 10 0 0 25 0 4 0 502624651 705695744 28829 33554432000 4194304 4797429 140735483312944 18446744073709551615 4424963 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8666/tid=8670] ppid=8664 vsize=689156 CPUtime=1002.22 cores=1,3,5,7
/proc/8666/task/8670/stat : 8670 (techdemo) R 8664 8666 8286 0 -1 4202560 22340 0 0 0 100213 9 0 0 25 0 4 0 502624651 705695744 28829 33554432000 4194304 4797429 140735483312944 18446744073709551615 4568011 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4004.06
Current children cumulated vsize (KiB) 689156

[startup+1062.3 s]
/proc/loadavg: 8.10 7.99 7.55 9/184 8698
/proc/meminfo: memFree=31106188/32951124 swapFree=67111356/67111528
[pid=8666] ppid=8664 vsize=692688 CPUtime=4243.75 cores=1,3,5,7
/proc/8666/stat : 8666 (techdemo) R 8664 8666 8286 0 -1 4202496 174431 0 0 0 424300 75 0 0 25 0 4 0 502624650 709312512 29918 33554432000 4194304 4797429 140735483312944 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8666/statm: 173172 29918 421 148 0 168101 0
[pid=8666/tid=8668] ppid=8664 vsize=692688 CPUtime=1056.84 cores=1,3,5,7
/proc/8666/task/8668/stat : 8668 (techdemo) R 8664 8666 8286 0 -1 4202560 24535 0 0 0 105670 14 0 0 25 0 4 0 502624651 709312512 29918 33554432000 4194304 4797429 140735483312944 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8666/tid=8669] ppid=8664 vsize=692688 CPUtime=1062.32 cores=1,3,5,7
/proc/8666/task/8669/stat : 8669 (techdemo) R 8664 8666 8286 0 -1 4202560 24359 0 0 0 106221 11 0 0 25 0 4 0 502624651 709312512 29918 33554432000 4194304 4797429 140735483312944 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8666/tid=8670] ppid=8664 vsize=692688 CPUtime=1062.21 cores=1,3,5,7
/proc/8666/task/8670/stat : 8670 (techdemo) R 8664 8666 8286 0 -1 4202560 23257 0 0 0 106212 9 0 0 25 0 4 0 502624651 709312512 29918 33554432000 4194304 4797429 140735483312944 18446744073709551615 4424868 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.75
Current children cumulated vsize (KiB) 692688

[startup+1122.3 s]
/proc/loadavg: 8.03 7.99 7.57 9/184 8700
/proc/meminfo: memFree=31094136/32951124 swapFree=67111356/67111528
[pid=8666] ppid=8664 vsize=694128 CPUtime=4483.43 cores=1,3,5,7
/proc/8666/stat : 8666 (techdemo) R 8664 8666 8286 0 -1 4202496 181083 0 0 0 448265 78 0 0 25 0 4 0 502624650 710787072 29538 33554432000 4194304 4797429 140735483312944 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8666/statm: 173532 29538 421 148 0 168461 0
[pid=8666/tid=8668] ppid=8664 vsize=694128 CPUtime=1116.52 cores=1,3,5,7
/proc/8666/task/8668/stat : 8668 (techdemo) R 8664 8666 8286 0 -1 4202560 25428 0 0 0 111637 15 0 0 25 0 4 0 502624651 710787072 29538 33554432000 4194304 4797429 140735483312944 18446744073709551615 4425966 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8666/tid=8669] ppid=8664 vsize=694128 CPUtime=1122.32 cores=1,3,5,7
/proc/8666/task/8669/stat : 8669 (techdemo) R 8664 8666 8286 0 -1 4202560 25295 0 0 0 112221 11 0 0 25 0 4 0 502624651 710787072 29538 33554432000 4194304 4797429 140735483312944 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8666/tid=8670] ppid=8664 vsize=694128 CPUtime=1122.22 cores=1,3,5,7
/proc/8666/task/8670/stat : 8670 (techdemo) R 8664 8666 8286 0 -1 4202560 23705 0 0 0 112212 10 0 0 25 0 4 0 502624651 710787072 29538 33554432000 4194304 4797429 140735483312944 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.43
Current children cumulated vsize (KiB) 694128

[startup+1182.3 s]
/proc/loadavg: 8.01 7.99 7.60 9/184 8701
/proc/meminfo: memFree=31091116/32951124 swapFree=67111356/67111528
[pid=8666] ppid=8664 vsize=694224 CPUtime=4723.12 cores=1,3,5,7
/proc/8666/stat : 8666 (techdemo) R 8664 8666 8286 0 -1 4202496 185896 0 0 0 472231 81 0 0 25 0 4 0 502624650 710885376 30899 33554432000 4194304 4797429 140735483312944 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8666/statm: 173556 30899 421 148 0 168485 0
[pid=8666/tid=8668] ppid=8664 vsize=694224 CPUtime=1176.2 cores=1,3,5,7
/proc/8666/task/8668/stat : 8668 (techdemo) R 8664 8666 8286 0 -1 4202560 25858 0 0 0 117605 15 0 0 25 0 4 0 502624651 710885376 30899 33554432000 4194304 4797429 140735483312944 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8666/tid=8669] ppid=8664 vsize=694224 CPUtime=1182.32 cores=1,3,5,7
/proc/8666/task/8669/stat : 8669 (techdemo) R 8664 8666 8286 0 -1 4202560 25735 0 0 0 118221 11 0 0 25 0 4 0 502624651 710885376 30899 33554432000 4194304 4797429 140735483312944 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8666/tid=8670] ppid=8664 vsize=694224 CPUtime=1182.21 cores=1,3,5,7
/proc/8666/task/8670/stat : 8670 (techdemo) R 8664 8666 8286 0 -1 4202560 24612 0 0 0 118211 10 0 0 25 0 4 0 502624651 710885376 30899 33554432000 4194304 4797429 140735483312944 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4723.12
Current children cumulated vsize (KiB) 694224



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 8.07 8.00 7.61 5/179 8703
/proc/meminfo: memFree=31233628/32951124 swapFree=67111356/67111528
[pid=8666] ppid=8664 vsize=694500 CPUtime=4800.23 cores=1,3,5,7
/proc/8666/stat : 8666 (techdemo) R 8664 8666 8286 0 -1 4202496 187374 0 0 0 479941 82 0 0 25 0 4 0 502624650 711168000 31220 33554432000 4194304 4797429 140735483312944 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8666/statm: 173625 31220 421 148 0 168554 0
[pid=8666/tid=8668] ppid=8664 vsize=694500 CPUtime=1195.39 cores=1,3,5,7
/proc/8666/task/8668/stat : 8668 (techdemo) R 8664 8666 8286 0 -1 4202560 26517 0 0 0 119524 15 0 0 25 0 4 0 502624651 711168000 31220 33554432000 4194304 4797429 140735483312944 18446744073709551615 4428975 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8666/tid=8669] ppid=8664 vsize=694500 CPUtime=1201.63 cores=1,3,5,7
/proc/8666/task/8669/stat : 8669 (techdemo) R 8664 8666 8286 0 -1 4202560 25945 0 0 0 120152 11 0 0 25 0 4 0 502624651 711168000 31220 33554432000 4194304 4797429 140735483312944 18446744073709551615 4523968 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8666/tid=8670] ppid=8664 vsize=694500 CPUtime=1201.52 cores=1,3,5,7
/proc/8666/task/8670/stat : 8670 (techdemo) R 8664 8666 8286 0 -1 4202560 24736 0 0 0 120142 10 0 0 25 0 4 0 502624651 711168000 31220 33554432000 4194304 4797429 140735483312944 18446744073709551615 4568013 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) 694500

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.62
CPU time (s): 4800.26
CPU user time (s): 4799.44
CPU system time (s): 0.825874
CPU usage (%): 399.483
Max. virtual memory (cumulated for all children) (KiB): 795252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.44
system time used= 0.825874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187374
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= 196
involuntary context switches= 33318

runsolver used 1.88071 second user time and 4.32034 second system time

The end

Launcher Data 

Begin job on node143 at 2011-04-29 20:34:50
IDJOB=3172808
IDBENCH=82826
IDSOLVER=1584
FILE ID=node143/3172808-1304102090
RUNJOBID= node143-1304102090-8644
PBS_JOBID= 13170617
Free space on /tmp= 72916 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v50-c4450-S879384975-017.SATISFIABLE.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3172808-1304102090/watcher-3172808-1304102090 -o /tmp/evaluation-result-3172808-1304102090/solver-3172808-1304102090 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3172808-1304102090.cnf

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

MD5SUM BENCH= 8d243f7b89f03da297d04e97452d717b
RANDOM SEED=1803956022

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31357228 kB
Buffers:        227812 kB
Cached:        1023168 kB
SwapCached:        168 kB
Active:         293028 kB
Inactive:      1025764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31357228 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           15912 kB
Writeback:           0 kB
AnonPages:       67124 kB
Mapped:          15388 kB
Slab:           212820 kB
PageTables:       4656 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   269700 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= 72916 MiB
End job on node143 at 2011-04-29 20:54:54