Trace number 3172804

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.06 1201.82

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v50-c4450-S1087312438-073.SATISFIABLE.cnf
MD5SUMc17bf9a7166c271aab493c355a187474
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.05399
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-3172804-1304101724.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.36/0.12	c asymm  cl-useful: 0/1927/4450 lits-rem:0 time: 0.43
0.36/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.36/0.12	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
0.36/0.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.36/0.12	c Subs w/ non-existent bins:      0 time:  0.00 s
0.36/0.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.36/0.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.36/0.12	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
0.75/0.29	c lits-rem:         0  cl-subs:        0  v-elim:     32  v-fix:    0  time:  0.04 s
0.75/0.29	c learnt bin added due to v-elim: 0
0.75/0.29	c Finding binary XORs  T:     0.00 s  found:       0
0.75/0.29	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.75/0.29	c calculated reachability. Time: 0.00
0.75/0.29	c Calc default polars -  time:   0.00 s pos:      26 undec:       2 neg:      22
0.75/0.29	c =========================================================================================
0.75/0.29	c types(t): F = full restart, N = normal restart
0.75/0.29	c types(t): S = simplification begin/end, E = solution found
0.75/0.29	c restart types(rt): st = static, dy = dynamic
0.75/0.29	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.75/0.29	c  B st     0         0        50      4450         0         0     31150         0   no data   no data  --
0.75/0.29	c Decided on static restart strategy
0.75/0.29	c  N dy    20      4159        50      4450         0      3657     31150     68094     18.62     16.34  --
3.55/0.92	c  N dy    47      8212        50      4450         0      5011     31150     88636     18.80     16.36  --
3.55/0.92	c  N dy    75     12364        50      4450         0      4925     31150     81474     18.66     16.39  --
3.96/1.02	c  N dy   103     16497        50      4450         0      8541     31150    148199     18.64     16.39  --
4.37/1.19	c  N dy   130     20552        50      4450         0      7153     31150    115236     18.27     16.36  --
5.55/1.45	c  N dy   157     24597        50      4450         0     10697     31150    181355     18.48     16.41  --
6.74/1.72	c  N dy   184     28633        50      4450         0      8269     31150    128590     18.64     16.40  --
7.14/1.82	c  S st   194     30001        50      4450         0      9461     31150    150966     18.95     16.41  --
7.14/1.86	c  S st   194     30502        50      4450         0      9906     31150    159336     18.95     16.41  --
7.14/1.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.14/1.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.14/1.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.9M T:  0.07
7.14/1.88	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
7.14/1.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.14/1.88	c Subs w/ non-existent bins:      0 time:  0.00 s
7.14/1.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.14/1.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.14/1.89	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
9.54/2.45	c lits-rem:      1249  cl-subs:     1326  v-elim:     50  v-fix:    0  time:  2.25 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     8580 cl shrink        0 lits rem          0 time: 0.00
9.94/2.59	c asymm  cl-useful: 0/1864/4450 lits-rem:0 time: 0.58
9.94/2.59	c calculated reachability. Time: 0.00
9.94/2.59	c  N dy   194     30502        50      4450         0      8580     31150    135469     18.95     16.41  --
9.94/2.59	c  F st   194     30502        50      4450         0      8580     31150    135469     18.95     16.41  --
10.74/2.74	c Decided on static restart strategy
11.14/2.89	c  N dy   213     34528        50      4450         0     12106     31150    201403     18.76     16.43  --
12.34/3.20	c  N dy   240     38532        50      4450         0      8750     31150    131462     18.51     16.42  --
13.54/3.49	c  N dy   267     42561        50      4450         0     12274     31150    197006     18.42     16.42  --
14.74/3.77	c  S st   289     45753        50      4450         0     15054     31150    248759     18.64     16.43  --
15.14/3.83	c  S st   289     46258        50      4450         0     15506     31150    257344     18.64     16.43  --
15.14/3.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.14/3.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.14/3.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.0M T:  0.14
15.14/3.86	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
15.14/3.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.14/3.86	c Subs w/ non-existent bins:      0 time:  0.00 s
15.14/3.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.14/3.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.14/3.87	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
18.33/4.61	c lits-rem:      1834  cl-subs:     2360  v-elim:     50  v-fix:    0  time:  2.96 s
18.33/4.61	c learnt bin added due to v-elim: 0
18.33/4.61	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
18.33/4.61	c vivif2 --  cl tried    13146 cl shrink        0 lits rem          0 time: 0.01
18.33/4.69	c asymm  cl-useful: 0/659/4450 lits-rem:0 time: 0.32
18.33/4.69	c calculated reachability. Time: 0.00
18.33/4.69	c  N dy   289     46258        50      4450         0     13146     31150    211991     18.64     16.43  --
19.93/5.04	c  N dy   316     50318        50      4450         0      9050     31150    128477     18.31     16.41  --
21.13/5.35	c  N dy   344     54458        50      4450         0     12680     31150    195641     18.44     16.41  --
22.73/5.73	c  N dy   371     58501        50      4450         0     16236     31150    262003     18.54     16.42  --
23.93/6.08	c  N dy   399     62635        50      4450         0     11181     31150    161135     18.55     16.42  --
25.53/6.41	c  N dy   426     66638        50      4450         0     14717     31150    227334     19.18     16.42  --
26.34/6.69	c  S st   445     69387        50      4450         0     17111     31150    271596     18.45     16.41  --
26.72/6.75	c  S st   445     69890        50      4450         0     17567     31150    280316     18.45     16.41  --
26.72/6.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.72/6.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.72/6.79	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.79	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
26.72/6.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.72/6.80	c Subs w/ non-existent bins:      0 time:  0.01 s
27.12/6.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.12/6.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.12/6.80	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
29.92/7.50	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.71/8.21	c Added 1 vars  tried: 11100 time: 2.86
32.71/8.22	c ORs :      1 avg-s:  0.0 cl-sh:  1129 l-rem:   1129 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:    2.89
32.71/8.23	c lits-rem:      1889  cl-subs:     2456  v-elim:     50  v-fix:    0  time:  5.70 s
32.71/8.23	c learnt bin added due to v-elim: 0
32.71/8.23	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
32.71/8.23	c vivif2 --  cl tried    15111 cl shrink        0 lits rem          0 time: 0.01
33.11/8.38	c asymm  cl-useful: 0/1445/4451 lits-rem:0 time: 0.62
33.11/8.38	c calculated reachability. Time: 0.00
33.11/8.38	c  N dy   445     69890        51      4451         2     15111     31132    232731     18.45     16.41  --
33.11/8.38	c  F st   445     69890        51      4451         2     15111     31132    232731     18.45     16.41  --
33.91/8.58	c Decided on static restart strategy
35.13/8.85	c  N dy   467     74368        51      4451         2      9617     31132    124068     18.81     16.40  --
36.72/9.23	c  N dy   499     79131        51      4451         2     13824     31132    202257     18.75     16.40  --
38.72/9.74	c  N dy   534     84329        51      4451         2     18401     31132    287525     18.80     16.41  --
40.71/10.29	c  N dy   570     89732        51      4451         2     12672     31132    171787     18.13     16.40  --
43.11/10.85	c  N dy   609     95525        51      4451         2     17726     31132    265683     18.43     16.40  --
45.91/11.56	c  N dy   650    101675        51      4451         2     11813     31132    149167     18.81     16.40  --
47.11/11.85	c  S st   672    104836        51      4451         2     14580     31132    201017     18.93     16.40  --
47.51/11.90	c  S st   672    105339        51      4451         2     15037     31132    209884     18.93     16.40  --
47.51/11.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.51/11.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.51/11.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.3M T:  0.19
47.51/11.95	c Calc non-exist non-lernt bins v-fix:     0 done:     51 time:  0.00 s
47.51/11.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.51/11.95	c Subs w/ non-existent bins:      0 time:  0.01 s
47.51/11.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.51/11.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.51/11.96	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
49.90/12.57	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.90/12.57	c lits-rem:      1010  cl-subs:     1188  v-elim:     50  v-fix:    0  time:  2.46 s
49.90/12.57	c learnt bin added due to v-elim: 0
49.90/12.57	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
49.90/12.57	c vivif2 --  cl tried    13849 cl shrink        0 lits rem          0 time: 0.00
50.70/12.72	c asymm  cl-useful: 0/1252/4451 lits-rem:0 time: 0.59
50.70/12.72	c calculated reachability. Time: 0.00
50.70/12.72	c  N dy   672    105339        51      4451         2     13849     31132    188954     18.93     16.40  --
53.49/13.43	c  N dy   718    112181        51      4451         2     19897     31132    300381     18.30     16.39  --
56.70/14.30	c  N dy   767    119474        51      4451         2     14063     31132    184588     18.45     16.38  --
60.29/15.11	c  N dy   818    127102        51      4451         2     20750     31132    308864     18.64     16.38  --
64.28/16.14	c  N dy   873    135258        51      4451         2     14784     31132    189762     18.40     16.38  --
67.88/17.09	c  N dy   932    144036        51      4451         2     22459     31132    333032     18.77     16.39  --
72.68/18.26	c  N dy   994    153243        51      4451         2     16546     31132    213187     18.31     16.39  --
75.07/18.82	c  S st  1026    158009        51      4451         2     20694     31132    290238     18.44     16.40  --
75.07/18.89	c  S st  1026    158511        51      4451         2     21142     31132    298716     18.44     16.40  --
75.07/18.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
75.07/18.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
75.47/18.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.1M T:  0.30
75.47/18.97	c Calc non-exist non-lernt bins v-fix:     0 done:     51 time:  0.00 s
75.47/18.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
75.47/18.97	c Subs w/ non-existent bins:      0 time:  0.01 s
75.47/18.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
75.47/18.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.47/18.97	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
78.68/19.77	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
78.68/19.78	c lits-rem:      1013  cl-subs:     2287  v-elim:     50  v-fix:    0  time:  3.20 s
78.68/19.78	c learnt bin added due to v-elim: 0
78.68/19.78	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
78.68/19.78	c vivif2 --  cl tried    18855 cl shrink        0 lits rem          0 time: 0.01
79.46/19.93	c asymm  cl-useful: 0/903/4451 lits-rem:0 time: 0.62
79.46/19.93	c calculated reachability. Time: 0.00
79.46/19.93	c  N dy  1026    158511        51      4451         2     18855     31132    258252     18.44     16.40  --
84.65/21.28	c  N dy  1095    168741        51      4451         2     27792     31132    424966     18.63     16.40  --
90.25/22.62	c  N dy  1168    179572        51      4451         2     22593     31132    318889     18.65     16.40  --
97.04/24.33	c  N dy  1245    191092        51      4451         2     17002     31132    206634     18.40     16.41  --
103.44/25.90	c  N dy  1327    203348        55      4451        10     27800     31148    406766     18.78     16.41  --
110.63/27.78	c  N dy  1414    216373        55      4451        10     22540     31148    301714     18.39     16.41  --
119.42/29.92	c  N dy  1507    230190        55      4451        10     34660     31148    526463     18.45     16.41  --
123.41/30.96	c  S st  1558    237766        55      4451        10     23780     31148    317749     18.42     16.41  --
123.81/31.05	c  S st  1558    238268        55      4451        10     24229     31148    326321     18.42     16.41  --
123.81/31.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
123.81/31.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
124.21/31.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  6.9M T:  0.38
124.21/31.15	c Calc non-exist non-lernt bins v-fix:     0 done:     55 time:  0.00 s
124.21/31.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
124.21/31.15	c Subs w/ non-existent bins:      0 time:  0.01 s
124.21/31.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
124.21/31.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
124.21/31.15	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
128.20/32.14	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
128.20/32.14	c lits-rem:      1168  cl-subs:     2243  v-elim:     50  v-fix:    0  time:  3.95 s
128.20/32.14	c learnt bin added due to v-elim: 0
128.20/32.14	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
128.20/32.14	c vivif2 --  cl tried    21986 cl shrink        0 lits rem          0 time: 0.01
129.00/32.30	c asymm  cl-useful: 0/675/4451 lits-rem:0 time: 0.63
129.00/32.30	c calculated reachability. Time: 0.00
129.00/32.30	c  N dy  1558    238268        55      4451        10     21986     31148    287481     18.42     16.41  --
138.60/34.75	c  N dy  1661    253524        55      4451        10     35405     31148    535615     18.19     16.37  --
148.18/37.17	c  N dy  1771    269822        56      4451        13     31428     31152    455440     19.16     16.35  --
159.36/39.95	c  N dy  1887    287111        56      4451        15     27414     31154    374554     19.15     16.33  --
172.55/43.25	c  N dy  2010    305483        56      4451        15     23417     31154    288986     18.91     16.31  --
186.54/46.74	c  N dy  2142    325100        56      4451        15     40756     31154    612068     18.28     16.29  --
200.52/50.22	c  N dy  2277    345117        56      4451        15     37384     31154    540940     18.72     16.27  --
210.10/52.68	c  S st  2361    357404        56      4451        15     26118     31154    320160     18.68     16.26  --
210.51/52.77	c  S st  2361    357911        56      4451        15     26581     31154    329140     18.68     16.26  --
210.51/52.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
210.51/52.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
210.92/52.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.8M T:  0.46
210.92/52.89	c Calc non-exist non-lernt bins v-fix:     0 done:     56 time:  0.00 s
210.92/52.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
210.92/52.89	c Subs w/ non-existent bins:      0 time:  0.01 s
211.30/52.90	c Replacing        1 vars Replaced     1320 lits Time:     0.03 s 
211.30/52.91	c bin-w-bin subsume rem            2 bins  time:  0.00 s
211.30/52.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
211.30/52.91	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
214.91/53.83	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
214.91/53.84	c lits-rem:       762  cl-subs:     1553  v-elim:     50  v-fix:    0  time:  3.71 s
214.91/53.84	c learnt bin added due to v-elim: 0
214.91/53.84	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
214.91/53.84	c vivif2 --  cl tried    25028 cl shrink        0 lits rem          0 time: 0.02
215.31/53.99	c asymm  cl-useful: 0/1018/4451 lits-rem:0 time: 0.61
215.31/54.00	c calculated reachability. Time: 0.00
215.31/54.00	c  N dy  2361    357911        55      4451        10     25028     31148    304733     18.68     16.26  --
230.88/57.81	c  N dy  2496    377955        55      4451        10     42733     31148    634764     18.34     16.25  --
245.67/61.60	c  N dy  2631    397977        55      4451        10     37637     31148    531044     18.55     16.25  --
262.84/65.81	c  N dy  2766    418070        59      4451        31     31551     31176    405852     18.47     16.24  --
280.01/70.15	c  N dy  2902    438219        59      4451        31     49441     31176    741457     18.81     16.24  --
295.59/74.05	c  N dy  3038    458322        59      4451        33     42402     31178    599406     18.06     16.23  --
313.57/78.50	c  N dy  3174    478403        59      4451        33     34496     31178    444352     19.14     16.22  --
331.95/83.15	c  N dy  3309    498456        59      4451        33     52162     31178    774431     18.64     16.22  --
348.33/87.21	c  N dy  3443    518475        59      4451        33     43414     31178    605254     18.47     16.22  --
365.91/91.61	c  S st  3567    536867        59      4451        33     32290     31178    390410     19.18     16.22  --
366.31/91.71	c  S st  3567    537368        59      4451        33     32751     31178    399484     19.18     16.22  --
366.31/91.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
366.31/91.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
366.71/91.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 11.9M T:  0.62
366.71/91.87	c Calc non-exist non-lernt bins v-fix:     0 done:     59 time:  0.00 s
366.71/91.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
366.71/91.87	c Subs w/ non-existent bins:      0 time:  0.02 s
366.71/91.88	c Replacing        4 vars Replaced     1228 lits Time:     0.04 s 
366.71/91.89	c bin-w-bin subsume rem            8 bins  time:  0.00 s
366.71/91.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
366.71/91.89	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
372.70/93.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.03
399.07/99.93	c Added 1 vars  tried: 80000 time: 26.47
399.07/99.95	c ORs :      1 avg-s:  0.0 cl-sh:  1684 l-rem:   1684 b-add:      3 v-rep:   0 cl-rem: 0 avg s: nan T:   26.56
399.07/99.96	c lits-rem:      1013  cl-subs:     1896  v-elim:     50  v-fix:    0  time: 32.23 s
399.07/99.96	c learnt bin added due to v-elim: 0
399.07/99.96	c vivif2 --  cl tried     4452 cl shrink        0 lits rem          0 time: 0.00
399.07/99.96	c vivif2 --  cl tried    30854 cl shrink        0 lits rem          0 time: 0.02
399.88/100.11	c asymm  cl-useful: 0/677/4452 lits-rem:0 time: 0.61
399.88/100.12	c calculated reachability. Time: 0.00
399.88/100.12	c  N dy  3567    537368        56      4452        13     30854     31132    367544     19.18     16.22  --
399.88/100.12	c  F st  3567    537368        56      4452        13     30854     31132    367544     19.18     16.22  --
401.06/100.48	c Decided on static restart strategy
417.06/104.49	c  N dy  3694    557376        56      4452        14     48562     31132    695687     18.31     16.21  --
436.22/109.28	c  N dy  3830    577521        56      4452        14     38207     31132    492211     19.16     16.20  --
456.61/114.38	c  N dy  3966    597649        56      4452        14     56049     31132    825178     18.66     16.20  --
475.37/119.00	c  N dy  4101    617721        60      4452        22     44675     31148    604802     18.36     16.19  --
498.14/124.73	c  N dy  4237    637839        60      4452        22     32384     31148    370537     19.42     16.20  --
516.51/129.34	c  N dy  4373    657969        64      4452        30     50172     31164    702376     19.29     16.20  --
538.89/134.91	c  N dy  4508    678039        64      4452        30     36962     31164    448143     18.41     16.20  --
559.66/140.11	c  N dy  4644    698126        64      4452        30     54809     31164    780129     18.91     16.20  --
671.12/168.01	c  N dy  4736    806052        68      4452        43     50980     31184    656438     17.05     15.83  --
671.12/168.04	c  S st  4736    806052        68      4452        43     50980     31184    656438     17.05     15.83  --
671.93/168.21	c  S st  4736    806553        68      4452        45     51436     31186    665299     17.05     15.83  --
671.93/168.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
671.93/168.21	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
672.71/168.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 19.5M T:  1.11
672.71/168.49	c Calc non-exist non-lernt bins v-fix:     0 done:     68 time:  0.00 s
672.71/168.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
673.11/168.50	c Subs w/ non-existent bins:      0 time:  0.04 s
673.11/168.54	c Replacing        3 vars Replaced     2640 lits Time:     0.18 s 
673.11/168.55	c bin-w-bin subsume rem            6 bins  time:  0.00 s
673.11/168.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
673.11/168.55	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
683.90/171.24	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.07
723.45/181.12	c Added 1 vars  tried: 80000 time: 39.47
723.85/181.22	c ORs :      1 avg-s:  0.0 cl-sh:  5258 l-rem:   5258 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   39.86
723.85/181.23	c lits-rem:      1465  cl-subs:     9145  v-elim:     50  v-fix:    0  time: 50.62 s
723.85/181.23	c learnt bin added due to v-elim: 0
723.85/181.23	c vivif2 --  cl tried     4453 cl shrink        0 lits rem          0 time: 0.00
723.85/181.24	c vivif2 --  cl tried    42291 cl shrink        0 lits rem          0 time: 0.03
724.25/181.32	c asymm  cl-useful: 0/300/4453 lits-rem:0 time: 0.33
724.25/181.32	c calculated reachability. Time: 0.00
724.25/181.32	c  N dy  4736    806553        66      4453        32     42291     31153    533746     17.05     15.83  --
747.03/187.03	c  N dy  4873    826612        66      4453        32     60329     31153    867914     18.91     15.82  --
770.19/192.81	c  N dy  5010    846746        66      4453        32     44654     31153    571289     18.56     15.81  --
793.75/198.75	c  N dy  5146    866806        69      4453        39     62645     31165    908199     18.86     15.80  --
818.12/204.81	c  N dy  5283    886878        69      4453        39     45438     31165    574539     18.71     15.80  --
843.30/211.13	c  N dy  5420    906983        69      4453        39     63515     31165    910422     18.62     15.79  --
868.86/217.60	c  N dy  5556    927026        73      4453        47     45035     31181    556067     19.14     15.78  --
893.22/223.68	c  N dy  5692    947030        73      4453        47     63083     31181    892542     18.73     15.78  --
921.18/230.66	c  N dy  5828    967057        76      4453        61     43466     31201    517008     18.79     15.78  --
945.15/236.61	c  N dy  5965    987144        76      4453        61     61555     31201    854772     18.74     15.77  --
976.71/244.53	c  N dy  6101   1007167        76      4453        61     41030     31201    461404     18.64     15.77  --
1239.18/310.25	c  N dy  6203   1209830        76      4453        61     58418     31201    735484     17.71     15.29  --
1239.18/310.29	c  S st  6203   1209830        76      4453        61     58418     31201    735484     17.71     15.29  --
1239.96/310.47	c  S st  6203   1210332        76      4453        61     58892     31201    744539     17.71     15.29  --
1239.96/310.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1239.96/310.48	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
1241.56/310.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 25.2M T:  1.51
1241.56/310.86	c Calc non-exist non-lernt bins v-fix:     0 done:     76 time:  0.01 s
1241.56/310.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1241.56/310.87	c Subs w/ non-existent bins:      0 time:  0.04 s
1241.56/310.87	c Replacing        2 vars Replaced       38 lits Time:     0.02 s 
1241.56/310.89	c bin-w-bin subsume rem            4 bins  time:  0.00 s
1241.56/310.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1241.56/310.89	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1257.93/314.94	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.12
1302.28/326.06	c Added 1 vars  tried: 80000 time: 44.40
1303.08/326.21	c ORs :      1 avg-s:  0.0 cl-sh:  6625 l-rem:   6625 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   45.02
1303.08/326.23	c lits-rem:      2924  cl-subs:     9170  v-elim:     50  v-fix:    0  time: 61.27 s
1303.08/326.23	c learnt bin added due to v-elim: 0
1303.08/326.23	c vivif2 --  cl tried     4454 cl shrink        0 lits rem          0 time: 0.00
1303.08/326.24	c vivif2 --  cl tried    49722 cl shrink        3 lits rem          3 time: 0.04
1303.48/326.32	c asymm  cl-useful: 0/231/4454 lits-rem:0 time: 0.34
1303.48/326.33	c calculated reachability. Time: 0.00
1303.48/326.33	c  N dy  6203   1210332        75      4454        51     49722     31174    613247     17.71     15.29  --
1329.05/332.72	c  N dy  6339   1230350        75      4454        51     67968     31174    951036     18.87     15.28  --
2049.28/513.09	c  N dy  6352   1710333        75      4454        51     78752     31174   1022969     16.61     14.42  --
2049.68/513.14	c  S st  6352   1710333        75      4454        51     78752     31174   1022969     16.61     14.42  --
2050.48/513.39	c  S st  6352   1710837        79      4454        59     79237     31190   1031791     16.61     14.42  --
2050.88/513.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2050.88/513.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2052.88/513.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 35.8M T:  2.28
2052.88/513.97	c Calc non-exist non-lernt bins v-fix:     0 done:     79 time:  0.01 s
2052.88/513.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2052.88/513.99	c Subs w/ non-existent bins:      0 time:  0.06 s
2053.28/514.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2053.28/514.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2053.28/514.01	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2079.24/520.53	c ORs :      4 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 17.0 T:    0.18
2079.24/520.55	c lits-rem:       927  cl-subs:    16106  v-elim:     50  v-fix:    0  time: 26.11 s
2079.24/520.55	c learnt bin added due to v-elim: 0
2079.24/520.55	c vivif2 --  cl tried     4454 cl shrink        0 lits rem          0 time: 0.00
2079.24/520.56	c vivif2 --  cl tried    63130 cl shrink        1 lits rem          1 time: 0.06
2079.64/520.65	c asymm  cl-useful: 0/174/4454 lits-rem:0 time: 0.36
2079.64/520.66	c calculated reachability. Time: 0.00
2079.64/520.66	c  N dy  6352   1710837        79      4454        59     63130     31190    833423     16.61     14.42  --
2979.63/746.16	c  N dy  6362   2210837        79      4454        59     79324     31190   1001289     16.28     14.01  --
2980.03/746.20	c  S st  6362   2210837        79      4454        59     79324     31190   1001289     16.28     14.01  --
2980.03/746.21	c Finding binary XORs  T:     0.00 s  found:       0
2981.23/746.52	c  S st  6362   2211339        79      4454        59     79801     31190   1010103     16.28     14.01  --
2981.23/746.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2981.23/746.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2983.63/747.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 38.7M T:  2.49
2983.63/747.15	c Calc non-exist non-lernt bins v-fix:     0 done:     79 time:  0.01 s
2983.63/747.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2983.63/747.16	c Subs w/ non-existent bins:      0 time:  0.07 s
2983.63/747.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2983.63/747.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2983.63/747.18	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3011.99/754.25	c ORs :      4 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 10.0 T:    0.21
3011.99/754.27	c lits-rem:      3776  cl-subs:    11991  v-elim:     50  v-fix:    0  time: 28.32 s
3011.99/754.27	c learnt bin added due to v-elim: 0
3011.99/754.27	c vivif2 --  cl tried     4454 cl shrink        0 lits rem          0 time: 0.00
3011.99/754.29	c vivif2 --  cl tried    67809 cl shrink        1 lits rem          4 time: 0.06
3012.39/754.39	c asymm  cl-useful: 0/158/4454 lits-rem:0 time: 0.41
3012.39/754.40	c calculated reachability. Time: 0.00
3012.39/754.40	c  N dy  6362   2211339        79      4454        59     67809     31190    854265     16.28     14.01  --
4002.67/1002.21	c  N dy  6423   2711340        79      4454        75     89611     31190   1090340     16.63     13.42  --
4002.67/1002.26	c  S st  6423   2711340        79      4454        75     89611     31190   1090340     16.63     13.42  --
4003.87/1002.53	c  S st  6423   2711843        79      4454        76     90094     31190   1099580     16.63     13.42  --
4003.87/1002.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4003.87/1002.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4006.28/1003.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 39.3M T:  2.55
4006.28/1003.18	c Calc non-exist non-lernt bins v-fix:     0 done:     78 time:  0.01 s
4006.28/1003.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4006.28/1003.20	c Subs w/ non-existent bins:      0 time:  0.09 s
4007.06/1003.38	c bin-w-bin subsume rem            1 bins  time:  0.00 s
4007.86/1003.52	c subs with bin:      851  lits-rem:         6  v-fix:    0  time:  0.56 s
4007.86/1003.52	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
4033.42/1009.93	c ORs :      4 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 18.5 T:    0.16
4079.37/1021.43	c Added 1 vars  tried: 80000 time: 45.95
4080.17/1021.67	c ORs :      1 avg-s:  0.0 cl-sh:  8345 l-rem:   8345 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   46.91
4080.17/1021.69	c lits-rem:      1460  cl-subs:    15067  v-elim:     50  v-fix:    0  time: 72.59 s
4080.17/1021.69	c learnt bin added due to v-elim: 0
4080.17/1021.69	c vivif2 --  cl tried     4455 cl shrink        0 lits rem          0 time: 0.00
4080.57/1021.71	c vivif2 --  cl tried    58012 cl shrink        2 lits rem          2 time: 0.06
4080.97/1021.80	c asymm  cl-useful: 0/137/4455 lits-rem:0 time: 0.38
4080.97/1021.81	c calculated reachability. Time: 0.00
4080.97/1021.81	c  N dy  6423   2711843        79      4455        60     58012     31168    749263     16.63     13.42  --
4080.97/1021.81	c  F st  6423   2711843        79      4455        60     58012     31168    749263     16.63     13.42  --
4083.36/1022.44	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-3172804-1304101724/watcher-3172804-1304101724 -o /tmp/evaluation-result-3172804-1304101724/solver-3172804-1304101724 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172804-1304101724.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.20 7.89 8.00 3/177 2604
/proc/meminfo: memFree=29387576/32950928 swapFree=67111352/67111528
[pid=2604] ppid=2602 vsize=49876 CPUtime=0 cores=1,3,5,7
/proc/2604/stat : 2604 (techdemo) R 2602 2604 1986 0 -1 4202496 577 0 0 0 0 0 0 0 21 0 1 0 600403102 51073024 512 33554432000 4194304 4797429 140735525659008 18446744073709551615 251367207621 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2604/statm: 12502 513 347 148 0 7431 0

[startup+0.04517 s]
/proc/loadavg: 7.20 7.89 8.00 3/177 2604
/proc/meminfo: memFree=29387576/32950928 swapFree=67111352/67111528
[pid=2604] ppid=2602 vsize=147368 CPUtime=0.14 cores=1,3,5,7
/proc/2604/stat : 2604 (techdemo) R 2602 2604 1986 0 -1 4202496 1062 0 0 0 14 0 0 0 18 0 4 0 600403102 150904832 970 33554432000 4194304 4797429 140735525659008 18446744073709551615 4429163 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2604/statm: 36842 970 372 148 0 31771 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 147368

[startup+0.100159 s]
/proc/loadavg: 7.20 7.89 8.00 3/177 2604
/proc/meminfo: memFree=29387576/32950928 swapFree=67111352/67111528
[pid=2604] ppid=2602 vsize=147500 CPUtime=0.36 cores=1,3,5,7
/proc/2604/stat : 2604 (techdemo) R 2602 2604 1986 0 -1 4202496 1091 0 0 0 36 0 0 0 18 0 4 0 600403102 151040000 999 33554432000 4194304 4797429 140735525659008 18446744073709551615 4429080 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2604/statm: 36875 999 372 148 0 31804 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 147500

[startup+0.300123 s]
/proc/loadavg: 7.20 7.89 8.00 3/177 2604
/proc/meminfo: memFree=29387576/32950928 swapFree=67111352/67111528
[pid=2604] ppid=2602 vsize=609268 CPUtime=1.15 cores=1,3,5,7
/proc/2604/stat : 2604 (techdemo) R 2602 2604 1986 0 -1 4202496 2395 0 0 0 115 0 0 0 18 0 4 0 600403102 623890432 2122 33554432000 4194304 4797429 140735525659008 18446744073709551615 4390409 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2604/statm: 152317 2122 408 148 0 147246 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 609268

[startup+0.701051 s]
/proc/loadavg: 7.20 7.89 8.00 3/177 2604
/proc/meminfo: memFree=29387576/32950928 swapFree=67111352/67111528
[pid=2604] ppid=2602 vsize=613148 CPUtime=2.75 cores=1,3,5,7
/proc/2604/stat : 2604 (techdemo) R 2602 2604 1986 0 -1 4202496 4553 0 0 0 275 0 0 0 18 0 4 0 600403102 627863552 3555 33554432000 4194304 4797429 140735525659008 18446744073709551615 4351629 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2604/statm: 153287 3555 413 148 0 148216 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 613148

[startup+1.5009 s]
/proc/loadavg: 7.20 7.89 8.00 10/184 2611
/proc/meminfo: memFree=29360240/32950928 swapFree=67111352/67111528
[pid=2604] ppid=2602 vsize=614260 CPUtime=5.95 cores=1,3,5,7
/proc/2604/stat : 2604 (techdemo) R 2602 2604 1986 0 -1 4202496 5328 0 0 0 595 0 0 0 19 0 4 0 600403102 629002240 4084 33554432000 4194304 4797429 140735525659008 18446744073709551615 4424941 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2604/statm: 153565 4084 414 148 0 148494 0
[pid=2604/tid=2609] ppid=2602 vsize=614260 CPUtime=1.47 cores=1,3,5,7
/proc/2604/task/2609/stat : 2609 (techdemo) R 2602 2604 1986 0 -1 4202560 1014 0 0 0 147 0 0 0 25 0 4 0 600403103 629002240 4084 33554432000 4194304 4797429 140735525659008 18446744073709551615 4524360 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2604/tid=2610] ppid=2602 vsize=614260 CPUtime=1.48 cores=1,3,5,7
/proc/2604/task/2610/stat : 2610 (techdemo) R 2602 2604 1986 0 -1 4202560 937 0 0 0 148 0 0 0 20 0 4 0 600403103 629002240 4084 33554432000 4194304 4797429 140735525659008 18446744073709551615 4524386 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2604/tid=2611] ppid=2602 vsize=614260 CPUtime=1.48 cores=1,3,5,7
/proc/2604/task/2611/stat : 2611 (techdemo) R 2602 2604 1986 0 -1 4202560 1060 0 0 0 148 0 0 0 19 0 4 0 600403103 629002240 4084 33554432000 4194304 4797429 140735525659008 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 614260

[startup+3.10061 s]
/proc/loadavg: 7.20 7.89 8.00 10/184 2611
/proc/meminfo: memFree=29354164/32950928 swapFree=67111352/67111528
[pid=2604] ppid=2602 vsize=616916 CPUtime=12.34 cores=1,3,5,7
/proc/2604/stat : 2604 (techdemo) R 2602 2604 1986 0 -1 4202496 6987 0 0 0 1234 0 0 0 24 0 4 0 600403102 631721984 4475 33554432000 4194304 4797429 140735525659008 18446744073709551615 4425019 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2604/statm: 154229 4475 416 148 0 149158 0
[pid=2604/tid=2609] ppid=2602 vsize=616916 CPUtime=3.07 cores=1,3,5,7
/proc/2604/task/2609/stat : 2609 (techdemo) R 2602 2604 1986 0 -1 4202560 1221 0 0 0 307 0 0 0 25 0 4 0 600403103 631721984 4475 33554432000 4194304 4797429 140735525659008 18446744073709551615 4523968 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2604/tid=2610] ppid=2602 vsize=616916 CPUtime=3.08 cores=1,3,5,7
/proc/2604/task/2610/stat : 2610 (techdemo) R 2602 2604 1986 0 -1 4202560 1146 0 0 0 308 0 0 0 25 0 4 0 600403103 631721984 4475 33554432000 4194304 4797429 140735525659008 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2604/tid=2611] ppid=2602 vsize=616916 CPUtime=3.08 cores=1,3,5,7
/proc/2604/task/2611/stat : 2611 (techdemo) R 2602 2604 1986 0 -1 4202560 1298 0 0 0 308 0 0 0 24 0 4 0 600403103 631721984 4475 33554432000 4194304 4797429 140735525659008 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 616916

[startup+6.30101 s]
/proc/loadavg: 7.26 7.89 8.00 10/184 2611
/proc/meminfo: memFree=29341324/32950928 swapFree=67111352/67111528
[pid=2604] ppid=2602 vsize=619804 CPUtime=25.13 cores=1,3,5,7
/proc/2604/stat : 2604 (techdemo) R 2602 2604 1986 0 -1 4202496 9557 0 0 0 2512 1 0 0 25 0 4 0 600403102 634679296 5523 33554432000 4194304 4797429 140735525659008 18446744073709551615 4424725 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2604/statm: 154951 5523 416 148 0 149880 0
[pid=2604/tid=2609] ppid=2602 vsize=619804 CPUtime=6.25 cores=1,3,5,7
/proc/2604/task/2609/stat : 2609 (techdemo) R 2602 2604 1986 0 -1 4202560 1623 0 0 0 625 0 0 0 25 0 4 0 600403103 634679296 5523 33554432000 4194304 4797429 140735525659008 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2604/tid=2610] ppid=2602 vsize=619804 CPUtime=6.28 cores=1,3,5,7
/proc/2604/task/2610/stat : 2610 (techdemo) R 2602 2604 1986 0 -1 4202560 1630 0 0 0 628 0 0 0 25 0 4 0 600403103 634679296 5523 33554432000 4194304 4797429 140735525659008 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2604/tid=2611] ppid=2602 vsize=619804 CPUtime=6.28 cores=1,3,5,7
/proc/2604/task/2611/stat : 2611 (techdemo) R 2602 2604 1986 0 -1 4202560 1695 0 0 0 628 0 0 0 25 0 4 0 600403103 634679296 5523 33554432000 4194304 4797429 140735525659008 18446744073709551615 4524547 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 619804

[startup+12.7008 s]
/proc/loadavg: 7.32 7.89 8.00 10/184 2611
/proc/meminfo: memFree=29332040/32950928 swapFree=67111352/67111528
[pid=2604] ppid=2602 vsize=625124 CPUtime=50.7 cores=1,3,5,7
/proc/2604/stat : 2604 (techdemo) R 2602 2604 1986 0 -1 4202496 13080 0 0 0 5068 2 0 0 25 0 4 0 600403102 640126976 6802 33554432000 4194304 4797429 140735525659008 18446744073709551615 4429154 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2604/statm: 156281 6802 419 148 0 151210 0
[pid=2604/tid=2609] ppid=2602 vsize=625124 CPUtime=12.62 cores=1,3,5,7
/proc/2604/task/2609/stat : 2609 (techdemo) R 2602 2604 1986 0 -1 4202560 2393 0 0 0 1262 0 0 0 25 0 4 0 600403103 640126976 6802 33554432000 4194304 4797429 140735525659008 18446744073709551615 4495452 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2604/tid=2610] ppid=2602 vsize=625124 CPUtime=12.68 cores=1,3,5,7
/proc/2604/task/2610/stat : 2610 (techdemo) R 2602 2604 1986 0 -1 4202560 2056 0 0 0 1268 0 0 0 25 0 4 0 600403103 640126976 6802 33554432000 4194304 4797429 140735525659008 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2604/tid=2611] ppid=2602 vsize=625124 CPUtime=12.68 cores=1,3,5,7
/proc/2604/task/2611/stat : 2611 (techdemo) R 2602 2604 1986 0 -1 4202560 2169 0 0 0 1268 0 0 0 25 0 4 0 600403103 640126976 6802 33554432000 4194304 4797429 140735525659008 18446744073709551615 4524288 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 625124

[startup+25.5005 s]
/proc/loadavg: 7.47 7.90 8.00 10/184 2611
/proc/meminfo: memFree=29312424/32950928 swapFree=67111352/67111528
[pid=2604] ppid=2602 vsize=629176 CPUtime=101.84 cores=1,3,5,7
/proc/2604/stat : 2604 (techdemo) R 2602 2604 1986 0 -1 4202496 19500 0 0 0 10180 4 0 0 25 0 4 0 600403102 644276224 8366 33554432000 4194304 4797429 140735525659008 18446744073709551615 4423072 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2604/statm: 157294 8366 419 148 0 152223 0
[pid=2604/tid=2609] ppid=2602 vsize=629176 CPUtime=25.35 cores=1,3,5,7
/proc/2604/task/2609/stat : 2609 (techdemo) R 2602 2604 1986 0 -1 4202560 3996 0 0 0 2535 0 0 0 25 0 4 0 600403103 644276224 8366 33554432000 4194304 4797429 140735525659008 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2604/tid=2610] ppid=2602 vsize=629176 CPUtime=25.48 cores=1,3,5,7
/proc/2604/task/2610/stat : 2610 (techdemo) R 2602 2604 1986 0 -1 4202560 2859 0 0 0 2548 0 0 0 25 0 4 0 600403103 644276224 8366 33554432000 4194304 4797429 140735525659008 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2604/tid=2611] ppid=2602 vsize=629176 CPUtime=25.48 cores=1,3,5,7
/proc/2604/task/2611/stat : 2611 (techdemo) R 2602 2604 1986 0 -1 4202560 2950 0 0 0 2548 0 0 0 25 0 4 0 600403103 644276224 8366 33554432000 4194304 4797429 140735525659008 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 629176

[startup+51.1007 s]
/proc/loadavg: 7.80 7.94 8.01 10/184 2612
/proc/meminfo: memFree=29299752/32950928 swapFree=67111352/67111528
[pid=2604] ppid=2602 vsize=632556 CPUtime=204.11 cores=1,3,5,7
/proc/2604/stat : 2604 (techdemo) R 2602 2604 1986 0 -1 4202496 29083 0 0 0 20405 6 0 0 25 0 4 0 600403102 647737344 10074 33554432000 4194304 4797429 140735525659008 18446744073709551615 4425030 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2604/statm: 158139 10074 421 148 0 153068 0
[pid=2604/tid=2609] ppid=2602 vsize=632556 CPUtime=50.84 cores=1,3,5,7
/proc/2604/task/2609/stat : 2609 (techdemo) R 2602 2604 1986 0 -1 4202560 5239 0 0 0 5083 1 0 0 25 0 4 0 600403103 647737344 10074 33554432000 4194304 4797429 140735525659008 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2604/tid=2610] ppid=2602 vsize=632556 CPUtime=51.07 cores=1,3,5,7
/proc/2604/task/2610/stat : 2610 (techdemo) R 2602 2604 1986 0 -1 4202560 4486 0 0 0 5107 0 0 0 25 0 4 0 600403103 647737344 10074 33554432000 4194304 4797429 140735525659008 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2604/tid=2611] ppid=2602 vsize=632556 CPUtime=51.08 cores=1,3,5,7
/proc/2604/task/2611/stat : 2611 (techdemo) R 2602 2604 1986 0 -1 4202560 4824 0 0 0 5107 1 0 0 25 0 4 0 600403103 647737344 10074 33554432000 4194304 4797429 140735525659008 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 632556

[startup+102.306 s]
/proc/loadavg: 7.99 7.96 8.01 10/184 2613
/proc/meminfo: memFree=29278876/32950928 swapFree=67111352/67111528
[pid=2604] ppid=2602 vsize=641408 CPUtime=408.67 cores=1,3,5,7
/proc/2604/stat : 2604 (techdemo) R 2602 2604 1986 0 -1 4202496 43163 0 0 0 40856 11 0 0 25 0 4 0 600403102 656801792 12806 33554432000 4194304 4797429 140735525659008 18446744073709551615 4351629 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2604/statm: 160352 12806 422 148 0 155281 0
[pid=2604/tid=2609] ppid=2602 vsize=641408 CPUtime=101.78 cores=1,3,5,7
/proc/2604/task/2609/stat : 2609 (techdemo) R 2602 2604 1986 0 -1 4202560 7017 0 0 0 10176 2 0 0 25 0 4 0 600403103 656801792 12806 33554432000 4194304 4797429 140735525659008 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2604/tid=2610] ppid=2602 vsize=641408 CPUtime=102.28 cores=1,3,5,7
/proc/2604/task/2610/stat : 2610 (techdemo) R 2602 2604 1986 0 -1 4202560 6192 0 0 0 10227 1 0 0 25 0 4 0 600403103 656801792 12806 33554432000 4194304 4797429 140735525659008 18446744073709551615 4429150 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2604/tid=2611] ppid=2602 vsize=641408 CPUtime=102.28 cores=1,3,5,7
/proc/2604/task/2611/stat : 2611 (techdemo) R 2602 2604 1986 0 -1 4202560 6979 0 0 0 10227 1 0 0 25 0 4 0 600403103 656801792 12806 33554432000 4194304 4797429 140735525659008 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.67
Current children cumulated vsize (KiB) 641408

[startup+162.301 s]
/proc/loadavg: 8.14 8.00 8.01 10/184 2615
/proc/meminfo: memFree=29261704/32950928 swapFree=67111352/67111528
[pid=2604] ppid=2602 vsize=643648 CPUtime=648.35 cores=1,3,5,7
/proc/2604/stat : 2604 (techdemo) R 2602 2604 1986 0 -1 4202496 55564 0 0 0 64818 17 0 0 25 0 4 0 600403102 659095552 14578 33554432000 4194304 4797429 140735525659008 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2604/statm: 160912 14578 422 148 0 155841 0
[pid=2604/tid=2609] ppid=2602 vsize=643648 CPUtime=161.46 cores=1,3,5,7
/proc/2604/task/2609/stat : 2609 (techdemo) R 2602 2604 1986 0 -1 4202560 8791 0 0 0 16144 2 0 0 25 0 4 0 600403103 659095552 14578 33554432000 4194304 4797429 140735525659008 18446744073709551615 4524374 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2604/tid=2610] ppid=2602 vsize=643648 CPUtime=162.28 cores=1,3,5,7
/proc/2604/task/2610/stat : 2610 (techdemo) R 2602 2604 1986 0 -1 4202560 7642 0 0 0 16226 2 0 0 25 0 4 0 600403103 659095552 14578 33554432000 4194304 4797429 140735525659008 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2604/tid=2611] ppid=2602 vsize=643648 CPUtime=162.28 cores=1,3,5,7
/proc/2604/task/2611/stat : 2611 (techdemo) R 2602 2604 1986 0 -1 4202560 8272 0 0 0 16226 2 0 0 25 0 4 0 600403103 659095552 14578 33554432000 4194304 4797429 140735525659008 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 648.35
Current children cumulated vsize (KiB) 643648

[startup+222.301 s]
/proc/loadavg: 8.12 8.02 8.01 10/184 2617
/proc/meminfo: memFree=29238448/32950928 swapFree=67111352/67111528
[pid=2604] ppid=2602 vsize=651716 CPUtime=888.03 cores=1,3,5,7
/proc/2604/stat : 2604 (techdemo) R 2602 2604 1986 0 -1 4202496 66400 0 0 0 88781 22 0 0 25 0 4 0 600403102 667357184 16649 33554432000 4194304 4797429 140735525659008 18446744073709551615 4424779 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2604/statm: 162929 16649 421 148 0 157858 0
[pid=2604/tid=2609] ppid=2602 vsize=651716 CPUtime=221.13 cores=1,3,5,7
/proc/2604/task/2609/stat : 2609 (techdemo) R 2602 2604 1986 0 -1 4202560 10150 0 0 0 22110 3 0 0 25 0 4 0 600403103 667357184 16649 33554432000 4194304 4797429 140735525659008 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2604/tid=2610] ppid=2602 vsize=651716 CPUtime=222.28 cores=1,3,5,7
/proc/2604/task/2610/stat : 2610 (techdemo) R 2602 2604 1986 0 -1 4202560 8972 0 0 0 22225 3 0 0 25 0 4 0 600403103 667357184 16649 33554432000 4194304 4797429 140735525659008 18446744073709551615 4567820 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2604/tid=2611] ppid=2602 vsize=651716 CPUtime=222.28 cores=1,3,5,7
/proc/2604/task/2611/stat : 2611 (techdemo) R 2602 2604 1986 0 -1 4202560 9714 0 0 0 22225 3 0 0 25 0 4 0 600403103 667357184 16649 33554432000 4194304 4797429 140735525659008 18446744073709551615 4509471 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 888.03
Current children cumulated vsize (KiB) 651716

[startup+282.301 s]

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

[pid=2604] ppid=2602 vsize=672612 CPUtime=2565 cores=1,3,5,7
/proc/2604/stat : 2604 (techdemo) R 2602 2604 1986 0 -1 4202496 128186 0 0 0 256451 49 0 0 25 0 4 0 600403102 688754688 24340 33554432000 4194304 4797429 140735525659008 18446744073709551615 4424592 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2604/statm: 168153 24340 421 148 0 163082 0
[pid=2604/tid=2609] ppid=2602 vsize=672612 CPUtime=638.07 cores=1,3,5,7
/proc/2604/task/2609/stat : 2609 (techdemo) R 2602 2604 1986 0 -1 4202560 18529 0 0 0 63800 7 0 0 25 0 4 0 600403103 688754688 24340 33554432000 4194304 4797429 140735525659008 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2604/tid=2610] ppid=2602 vsize=672612 CPUtime=642.29 cores=1,3,5,7
/proc/2604/task/2610/stat : 2610 (techdemo) R 2602 2604 1986 0 -1 4202560 17543 0 0 0 64222 7 0 0 25 0 4 0 600403103 688754688 24340 33554432000 4194304 4797429 140735525659008 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2604/tid=2611] ppid=2602 vsize=672612 CPUtime=642.29 cores=1,3,5,7
/proc/2604/task/2611/stat : 2611 (techdemo) R 2602 2604 1986 0 -1 4202560 18489 0 0 0 64222 7 0 0 25 0 4 0 600403103 688754688 24340 33554432000 4194304 4797429 140735525659008 18446744073709551615 4524360 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2565
Current children cumulated vsize (KiB) 672612

[startup+702.3 s]
/proc/loadavg: 8.21 8.16 8.06 10/184 2632
/proc/meminfo: memFree=29165728/32950928 swapFree=67111352/67111528
[pid=2604] ppid=2602 vsize=676028 CPUtime=2804.67 cores=1,3,5,7
/proc/2604/stat : 2604 (techdemo) R 2602 2604 1986 0 -1 4202496 135650 0 0 0 280414 53 0 0 25 0 4 0 600403102 692252672 25090 33554432000 4194304 4797429 140735525659008 18446744073709551615 4424868 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2604/statm: 169007 25090 421 148 0 163936 0
[pid=2604/tid=2609] ppid=2602 vsize=676028 CPUtime=697.75 cores=1,3,5,7
/proc/2604/task/2609/stat : 2609 (techdemo) R 2602 2604 1986 0 -1 4202560 19534 0 0 0 69767 8 0 0 25 0 4 0 600403103 692252672 25090 33554432000 4194304 4797429 140735525659008 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2604/tid=2610] ppid=2602 vsize=676028 CPUtime=702.29 cores=1,3,5,7
/proc/2604/task/2610/stat : 2610 (techdemo) R 2602 2604 1986 0 -1 4202560 18512 0 0 0 70221 8 0 0 25 0 4 0 600403103 692252672 25090 33554432000 4194304 4797429 140735525659008 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2604/tid=2611] ppid=2602 vsize=676028 CPUtime=702.28 cores=1,3,5,7
/proc/2604/task/2611/stat : 2611 (techdemo) R 2602 2604 1986 0 -1 4202560 19609 0 0 0 70221 7 0 0 25 0 4 0 600403103 692252672 25090 33554432000 4194304 4797429 140735525659008 18446744073709551615 4429125 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2804.67
Current children cumulated vsize (KiB) 676028

[startup+762.306 s]
/proc/loadavg: 8.15 8.16 8.06 9/184 2634
/proc/meminfo: memFree=29147580/32950928 swapFree=67111352/67111528
[pid=2604] ppid=2602 vsize=676416 CPUtime=3044.37 cores=1,3,5,7
/proc/2604/stat : 2604 (techdemo) R 2602 2604 1986 0 -1 4202496 141285 0 0 0 304380 57 0 0 25 0 4 0 600403102 692649984 26923 33554432000 4194304 4797429 140735525659008 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2604/statm: 169104 26923 421 148 0 164033 0
[pid=2604/tid=2609] ppid=2602 vsize=676416 CPUtime=757.43 cores=1,3,5,7
/proc/2604/task/2609/stat : 2609 (techdemo) R 2602 2604 1986 0 -1 4202560 20089 0 0 0 75734 9 0 0 25 0 4 0 600403103 692649984 26923 33554432000 4194304 4797429 140735525659008 18446744073709551615 4506608 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2604/tid=2610] ppid=2602 vsize=676416 CPUtime=762.3 cores=1,3,5,7
/proc/2604/task/2610/stat : 2610 (techdemo) R 2602 2604 1986 0 -1 4202560 19100 0 0 0 76221 9 0 0 25 0 4 0 600403103 692649984 26923 33554432000 4194304 4797429 140735525659008 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2604/tid=2611] ppid=2602 vsize=676416 CPUtime=762.29 cores=1,3,5,7
/proc/2604/task/2611/stat : 2611 (techdemo) R 2602 2604 1986 0 -1 4202560 20155 0 0 0 76221 8 0 0 25 0 4 0 600403103 692649984 26923 33554432000 4194304 4797429 140735525659008 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3044.37
Current children cumulated vsize (KiB) 676416

[startup+822.3 s]
/proc/loadavg: 8.09 8.14 8.06 10/184 2636
/proc/meminfo: memFree=29147672/32950928 swapFree=67111352/67111528
[pid=2604] ppid=2602 vsize=680000 CPUtime=3284.02 cores=1,3,5,7
/proc/2604/stat : 2604 (techdemo) R 2602 2604 1986 0 -1 4202496 148636 0 0 0 328342 60 0 0 25 0 4 0 600403102 696320000 27081 33554432000 4194304 4797429 140735525659008 18446744073709551615 4351600 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2604/statm: 170000 27081 421 148 0 164929 0
[pid=2604/tid=2609] ppid=2602 vsize=680000 CPUtime=817.1 cores=1,3,5,7
/proc/2604/task/2609/stat : 2609 (techdemo) R 2602 2604 1986 0 -1 4202560 21140 0 0 0 81701 9 0 0 25 0 4 0 600403103 696320000 27081 33554432000 4194304 4797429 140735525659008 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2604/tid=2610] ppid=2602 vsize=680000 CPUtime=822.29 cores=1,3,5,7
/proc/2604/task/2610/stat : 2610 (techdemo) R 2602 2604 1986 0 -1 4202560 20118 0 0 0 82220 9 0 0 25 0 4 0 600403103 696320000 27081 33554432000 4194304 4797429 140735525659008 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2604/tid=2611] ppid=2602 vsize=680000 CPUtime=822.29 cores=1,3,5,7
/proc/2604/task/2611/stat : 2611 (techdemo) R 2602 2604 1986 0 -1 4202560 21280 0 0 0 82220 9 0 0 25 0 4 0 600403103 696320000 27081 33554432000 4194304 4797429 140735525659008 18446744073709551615 4429169 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.02
Current children cumulated vsize (KiB) 680000

[startup+882.301 s]
/proc/loadavg: 8.03 8.11 8.05 10/184 2637
/proc/meminfo: memFree=29135232/32950928 swapFree=67111352/67111528
[pid=2604] ppid=2602 vsize=681480 CPUtime=3523.72 cores=1,3,5,7
/proc/2604/stat : 2604 (techdemo) R 2602 2604 1986 0 -1 4202496 154742 0 0 0 352308 64 0 0 25 0 4 0 600403102 697835520 28087 33554432000 4194304 4797429 140735525659008 18446744073709551615 4425824 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2604/statm: 170370 28087 421 148 0 165299 0
[pid=2604/tid=2609] ppid=2602 vsize=681480 CPUtime=876.78 cores=1,3,5,7
/proc/2604/task/2609/stat : 2609 (techdemo) R 2602 2604 1986 0 -1 4202560 22125 0 0 0 87668 10 0 0 25 0 4 0 600403103 697835520 28087 33554432000 4194304 4797429 140735525659008 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2604/tid=2610] ppid=2602 vsize=681480 CPUtime=882.3 cores=1,3,5,7
/proc/2604/task/2610/stat : 2610 (techdemo) R 2602 2604 1986 0 -1 4202560 21087 0 0 0 88220 10 0 0 25 0 4 0 600403103 697835520 28087 33554432000 4194304 4797429 140735525659008 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2604/tid=2611] ppid=2602 vsize=681480 CPUtime=882.28 cores=1,3,5,7
/proc/2604/task/2611/stat : 2611 (techdemo) R 2602 2604 1986 0 -1 4202560 22271 0 0 0 88219 9 0 0 25 0 4 0 600403103 697835520 28087 33554432000 4194304 4797429 140735525659008 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3523.72
Current children cumulated vsize (KiB) 681480

[startup+942.301 s]
/proc/loadavg: 8.04 8.10 8.05 10/184 2639
/proc/meminfo: memFree=29132476/32950928 swapFree=67111352/67111528
[pid=2604] ppid=2602 vsize=685372 CPUtime=3763.39 cores=1,3,5,7
/proc/2604/stat : 2604 (techdemo) R 2602 2604 1986 0 -1 4202496 162029 0 0 0 376272 67 0 0 25 0 4 0 600403102 701820928 28124 33554432000 4194304 4797429 140735525659008 18446744073709551615 4424610 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2604/statm: 171343 28124 421 148 0 166272 0
[pid=2604/tid=2609] ppid=2602 vsize=685372 CPUtime=936.45 cores=1,3,5,7
/proc/2604/task/2609/stat : 2609 (techdemo) R 2602 2604 1986 0 -1 4202560 23312 0 0 0 93635 10 0 0 25 0 4 0 600403103 701820928 28124 33554432000 4194304 4797429 140735525659008 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2604/tid=2610] ppid=2602 vsize=685372 CPUtime=942.3 cores=1,3,5,7
/proc/2604/task/2610/stat : 2610 (techdemo) R 2602 2604 1986 0 -1 4202560 21970 0 0 0 94220 10 0 0 25 0 4 0 600403103 701820928 28124 33554432000 4194304 4797429 140735525659008 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2604/tid=2611] ppid=2602 vsize=685372 CPUtime=942.29 cores=1,3,5,7
/proc/2604/task/2611/stat : 2611 (techdemo) R 2602 2604 1986 0 -1 4202560 23226 0 0 0 94219 10 0 0 25 0 4 0 600403103 701820928 28124 33554432000 4194304 4797429 140735525659008 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3763.39
Current children cumulated vsize (KiB) 685372

[startup+1002.3 s]
/proc/loadavg: 8.13 8.11 8.06 10/184 2640
/proc/meminfo: memFree=29129212/32950928 swapFree=67111352/67111528
[pid=2604] ppid=2602 vsize=686432 CPUtime=4003.07 cores=1,3,5,7
/proc/2604/stat : 2604 (techdemo) R 2602 2604 1986 0 -1 4202496 167621 0 0 0 400237 70 0 0 25 0 4 0 600403102 702906368 29289 33554432000 4194304 4797429 140735525659008 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2604/statm: 171608 29289 421 148 0 166537 0
[pid=2604/tid=2609] ppid=2602 vsize=686432 CPUtime=996.13 cores=1,3,5,7
/proc/2604/task/2609/stat : 2609 (techdemo) R 2602 2604 1986 0 -1 4202560 23724 0 0 0 99602 11 0 0 25 0 4 0 600403103 702906368 29289 33554432000 4194304 4797429 140735525659008 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2604/tid=2610] ppid=2602 vsize=686432 CPUtime=1002.3 cores=1,3,5,7
/proc/2604/task/2610/stat : 2610 (techdemo) R 2602 2604 1986 0 -1 4202560 22451 0 0 0 100220 10 0 0 25 0 4 0 600403103 702906368 29289 33554432000 4194304 4797429 140735525659008 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2604/tid=2611] ppid=2602 vsize=686432 CPUtime=1002.29 cores=1,3,5,7
/proc/2604/task/2611/stat : 2611 (techdemo) R 2602 2604 1986 0 -1 4202560 23703 0 0 0 100219 10 0 0 25 0 4 0 600403103 702906368 29289 33554432000 4194304 4797429 140735525659008 18446744073709551615 4524360 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.07
Current children cumulated vsize (KiB) 686432

[startup+1062.3 s]
/proc/loadavg: 8.12 8.11 8.06 10/184 2642
/proc/meminfo: memFree=29115892/32950928 swapFree=67111352/67111528
[pid=2604] ppid=2602 vsize=689120 CPUtime=4242.75 cores=1,3,5,7
/proc/2604/stat : 2604 (techdemo) R 2602 2604 1986 0 -1 4202496 173581 0 0 0 424202 73 0 0 25 0 4 0 600403102 705658880 29378 33554432000 4194304 4797429 140735525659008 18446744073709551615 4426379 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2604/statm: 172280 29378 421 148 0 167209 0
[pid=2604/tid=2609] ppid=2602 vsize=689120 CPUtime=1055.81 cores=1,3,5,7
/proc/2604/task/2609/stat : 2609 (techdemo) R 2602 2604 1986 0 -1 4202560 24721 0 0 0 105569 12 0 0 25 0 4 0 600403103 705658880 29378 33554432000 4194304 4797429 140735525659008 18446744073709551615 4430091 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2604/tid=2610] ppid=2602 vsize=689120 CPUtime=1062.31 cores=1,3,5,7
/proc/2604/task/2610/stat : 2610 (techdemo) R 2602 2604 1986 0 -1 4202560 23584 0 0 0 106220 11 0 0 25 0 4 0 600403103 705658880 29378 33554432000 4194304 4797429 140735525659008 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2604/tid=2611] ppid=2602 vsize=689120 CPUtime=1062.28 cores=1,3,5,7
/proc/2604/task/2611/stat : 2611 (techdemo) R 2602 2604 1986 0 -1 4202560 24638 0 0 0 106218 10 0 0 25 0 4 0 600403103 705658880 29378 33554432000 4194304 4797429 140735525659008 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4242.75
Current children cumulated vsize (KiB) 689120

[startup+1122.3 s]
/proc/loadavg: 8.16 8.12 8.06 11/184 2644
/proc/meminfo: memFree=29113244/32950928 swapFree=67111352/67111528
[pid=2604] ppid=2602 vsize=690516 CPUtime=4482.43 cores=1,3,5,7
/proc/2604/stat : 2604 (techdemo) R 2602 2604 1986 0 -1 4202496 179260 0 0 0 448166 77 0 0 25 0 4 0 600403102 707088384 29553 33554432000 4194304 4797429 140735525659008 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2604/statm: 172629 29553 421 148 0 167558 0
[pid=2604/tid=2609] ppid=2602 vsize=690516 CPUtime=1115.47 cores=1,3,5,7
/proc/2604/task/2609/stat : 2609 (techdemo) R 2602 2604 1986 0 -1 4202560 25608 0 0 0 111535 12 0 0 25 0 4 0 600403103 707088384 29553 33554432000 4194304 4797429 140735525659008 18446744073709551615 4567765 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2604/tid=2610] ppid=2602 vsize=690516 CPUtime=1122.3 cores=1,3,5,7
/proc/2604/task/2610/stat : 2610 (techdemo) R 2602 2604 1986 0 -1 4202560 24406 0 0 0 112219 11 0 0 25 0 4 0 600403103 707088384 29553 33554432000 4194304 4797429 140735525659008 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2604/tid=2611] ppid=2602 vsize=690516 CPUtime=1122.29 cores=1,3,5,7
/proc/2604/task/2611/stat : 2611 (techdemo) R 2602 2604 1986 0 -1 4202560 25614 0 0 0 112218 11 0 0 25 0 4 0 600403103 707088384 29553 33554432000 4194304 4797429 140735525659008 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4482.43
Current children cumulated vsize (KiB) 690516

[startup+1182.3 s]
/proc/loadavg: 8.18 8.12 8.07 10/184 2645
/proc/meminfo: memFree=29100808/32950928 swapFree=67111352/67111528
[pid=2604] ppid=2602 vsize=690592 CPUtime=4722.11 cores=1,3,5,7
/proc/2604/stat : 2604 (techdemo) R 2602 2604 1986 0 -1 4202496 185010 0 0 0 472131 80 0 0 25 0 4 0 600403102 707166208 31002 33554432000 4194304 4797429 140735525659008 18446744073709551615 4425039 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2604/statm: 172648 31002 421 148 0 167577 0
[pid=2604/tid=2609] ppid=2602 vsize=690592 CPUtime=1175.16 cores=1,3,5,7
/proc/2604/task/2609/stat : 2609 (techdemo) R 2602 2604 1986 0 -1 4202560 26080 0 0 0 117503 13 0 0 25 0 4 0 600403103 707166208 31002 33554432000 4194304 4797429 140735525659008 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2604/tid=2610] ppid=2602 vsize=690592 CPUtime=1182.31 cores=1,3,5,7
/proc/2604/task/2610/stat : 2610 (techdemo) R 2602 2604 1986 0 -1 4202560 24887 0 0 0 118219 12 0 0 25 0 4 0 600403103 707166208 31002 33554432000 4194304 4797429 140735525659008 18446744073709551615 4526613 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2604/tid=2611] ppid=2602 vsize=690592 CPUtime=1182.28 cores=1,3,5,7
/proc/2604/task/2611/stat : 2611 (techdemo) R 2602 2604 1986 0 -1 4202560 26091 0 0 0 118217 11 0 0 25 0 4 0 600403103 707166208 31002 33554432000 4194304 4797429 140735525659008 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.11
Current children cumulated vsize (KiB) 690592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.13 8.11 8.07 5/179 2647
/proc/meminfo: memFree=29262400/32950928 swapFree=67111352/67111528
[pid=2604] ppid=2602 vsize=690648 CPUtime=4800.02 cores=1,3,5,7
/proc/2604/stat : 2604 (techdemo) R 2602 2604 1986 0 -1 4202496 186356 0 0 0 479922 80 0 0 25 0 4 0 600403102 707223552 31185 33554432000 4194304 4797429 140735525659008 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2604/statm: 172662 31185 421 148 0 167591 0
[pid=2604/tid=2609] ppid=2602 vsize=690648 CPUtime=1194.55 cores=1,3,5,7
/proc/2604/task/2609/stat : 2609 (techdemo) R 2602 2604 1986 0 -1 4202560 26670 0 0 0 119442 13 0 0 25 0 4 0 600403103 707223552 31185 33554432000 4194304 4797429 140735525659008 18446744073709551615 4424897 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2604/tid=2610] ppid=2602 vsize=690648 CPUtime=1201.82 cores=1,3,5,7
/proc/2604/task/2610/stat : 2610 (techdemo) R 2602 2604 1986 0 -1 4202560 25011 0 0 0 120170 12 0 0 25 0 4 0 600403103 707223552 31185 33554432000 4194304 4797429 140735525659008 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2604/tid=2611] ppid=2602 vsize=690648 CPUtime=1201.79 cores=1,3,5,7
/proc/2604/task/2611/stat : 2611 (techdemo) R 2602 2604 1986 0 -1 4202560 26181 0 0 0 120168 11 0 0 25 0 4 0 600403103 707223552 31185 33554432000 4194304 4797429 140735525659008 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.02
Current children cumulated vsize (KiB) 690648

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.82
CPU time (s): 4800.06
CPU user time (s): 4799.25
CPU system time (s): 0.812876
CPU usage (%): 399.4
Max. virtual memory (cumulated for all children) (KiB): 800316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.25
system time used= 0.812876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186356
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= 295
involuntary context switches= 34074

runsolver used 1.9617 second user time and 4.51131 second system time

The end

Launcher Data 

Begin job on node113 at 2011-04-29 20:28:44
IDJOB=3172804
IDBENCH=82822
IDSOLVER=1584
FILE ID=node113/3172804-1304101724
RUNJOBID= node113-1304101724-2585
PBS_JOBID= 13170618
Free space on /tmp= 71164 MiB

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

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

MD5SUM BENCH= c17bf9a7166c271aab493c355a187474
RANDOM SEED=1453310028

node113.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	: 5332.76
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.75
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.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.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.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.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.83
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29387980 kB
Buffers:        710924 kB
Cached:        2268844 kB
SwapCached:         12 kB
Active:         160984 kB
Inactive:      2884244 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29387980 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:           15676 kB
Writeback:           0 kB
AnonPages:       65148 kB
Mapped:          15260 kB
Slab:           453124 kB
PageTables:       4320 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   237424 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= 71152 MiB
End job on node113 at 2011-04-29 20:48:48