Trace number 3172579

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.17 1201.84

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v15000-c63000-S980027332-029-UNKNOWN.cnf
MD5SUMc08a1b82ea5b515d260c5edf61d7067c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark17.5403
Satisfiable
(Un)Satisfiability was proved
Number of variables15000
Number of clauses63000
Sum of the clauses size189000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 363000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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-3172579-1304076457.cnf'
0.00/0.00	c -- header says num vars:          15000
0.00/0.00	c -- header says num clauses:       63000
0.09/0.16	c -- clauses added:            0 learnts,        63000 normals,            0 xors
0.09/0.16	c -- vars added      15000
0.09/0.16	c Parsing time:  0.15 s
0.09/0.17	c  N st     0         0     15000     63000         0         0    189000         0   no data   no data  --
0.09/0.21	c asymm  cl-useful: 0/63000/63000 lits-rem:0 time: 0.17
0.34/0.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.14
0.34/0.26	c Calc non-exist non-lernt bins v-fix:     0 done:  15000 time:  0.02 s
0.34/0.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.34/0.26	c Subs w/ non-existent bins:      0 time:  0.01 s
0.34/0.29	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.34/0.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.34/0.30	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
0.34/0.46	c lits-rem:         0  cl-subs:        0  v-elim:    839  v-fix:    0  time:  0.64 s
0.34/0.46	c learnt bin added due to v-elim: 0
0.34/0.46	c Finding binary XORs  T:     0.01 s  found:       0
0.34/0.50	c Finding non-binary XORs:     0.13 s (found:       0, avg size: nan)
0.34/0.50	c calculated reachability. Time: 0.00
0.34/0.50	c Calc default polars -  time:   0.02 s pos:    6658 undec:    1776 neg:    6566
0.34/0.50	c =========================================================================================
0.34/0.50	c types(t): F = full restart, N = normal restart
0.34/0.50	c types(t): S = simplification begin/end, E = solution found
0.34/0.50	c restart types(rt): st = static, dy = dynamic
0.34/0.50	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.34/0.50	c  B st     0         0     14481     62359         0         0    189954         0   no data   no data  --
0.91/1.00	c Decided on dynamic restart strategy
5.08/1.44	c  N dy    20      4035     14481     62359         0      4034    189954    676449    143.25    108.72  --
9.47/2.50	c  N dy    49      8181     14481     62359         0      8177    189954   1336406    158.99    107.47  --
13.45/3.51	c  N dy    77     12194     14481     62359         0     12190    189954   1942683    140.42    104.77  --
17.45/4.58	c  N dy   105     16220     14481     62359         0     16216    189954   2559863    152.09    103.97  --
22.25/5.76	c  N dy   133     20233     14481     62359         0     10231    189954    488422    161.11    104.06  --
27.03/6.91	c  N dy   162     24347     14481     62359         0     14344    189954   1101634    157.50    103.60  --
31.03/7.98	c  N dy   190     28380     14481     62359         0     18377    189954   1695476    150.73    103.01  --
33.42/8.59	c  S st   202     30000     14481     62359         0     19997    189954   1930587    141.78    102.73  --
34.22/8.74	c  S st   202     30505     14481     62359         0     20502    189954   1988215    141.78    102.73  --
34.22/8.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
34.22/8.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
35.02/8.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.71
35.02/8.94	c Calc non-exist non-lernt bins v-fix:     0 done:  14481 time:  0.02 s
35.02/8.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
35.02/8.95	c Subs w/ non-existent bins:      0 time:  0.07 s
35.43/9.09	c bin-w-bin subsume rem            0 bins  time:  0.02 s
35.82/9.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
35.82/9.10	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
52.20/13.29	c lits-rem:         1  cl-subs:     1281  v-elim:    195  v-fix:    0  time: 16.73 s
52.20/13.29	c learnt bin added due to v-elim: 0
52.60/13.30	c vivif2 --  cl tried    62359 cl shrink        0 lits rem          0 time: 0.02
52.60/13.32	c vivif2 --  cl tried    19221 cl shrink        0 lits rem          0 time: 0.08
53.40/13.52	c asymm  cl-useful: 0/62359/62359 lits-rem:0 time: 0.82
53.40/13.53	c calculated reachability. Time: 0.00
53.40/13.53	c  N dy   202     30505     14481     62359         0     19221    189954   1908950    141.78    102.73  --
53.40/13.53	c  F st   202     30505     14481     62359         0     19221    189954   1908950    141.78    102.73  --
55.79/14.15	c Decided on dynamic restart strategy
58.19/14.74	c  N dy   222     34584     14481     62359         0     23300    189954   2563221    146.50    103.15  --
63.41/16.07	c  N dy   251     38710     14481     62359         0     27425    189954   3194770    155.79    102.92  --
68.57/17.37	c  N dy   279     42771     14481     62359         0     15988    189954    638621    163.43    103.15  --
72.19/18.25	c  S st   300     45758     14481     62359         0     18975    189954   1100175    145.11    103.17  --
72.96/18.40	c  S st   300     46261     14481     62359         0     19478    189954   1151793    145.11    103.17  --
72.96/18.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
72.96/18.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
73.37/18.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.55
73.37/18.55	c Calc non-exist non-lernt bins v-fix:     0 done:  14481 time:  0.02 s
73.37/18.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
73.37/18.56	c Subs w/ non-existent bins:      0 time:  0.05 s
73.77/18.63	c bin-w-bin subsume rem            0 bins  time:  0.02 s
73.77/18.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
73.77/18.64	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
83.76/21.12	c lits-rem:         9  cl-subs:      553  v-elim:    195  v-fix:    0  time:  9.92 s
83.76/21.12	c learnt bin added due to v-elim: 0
83.76/21.12	c vivif2 --  cl tried    62359 cl shrink        0 lits rem          0 time: 0.02
83.76/21.14	c vivif2 --  cl tried    18925 cl shrink        0 lits rem          0 time: 0.05
84.56/21.30	c asymm  cl-useful: 0/62359/62359 lits-rem:0 time: 0.66
84.56/21.31	c calculated reachability. Time: 0.00
84.56/21.31	c  N dy   300     46261     14481     62359         0     18925    189954   1120306    145.11    103.17  --
89.37/22.56	c  N dy   328     50299     14481     62359         0     22963    189954   1765198    154.20    103.38  --
93.76/23.69	c  N dy   356     54308     14481     62359         0     26972    189954   2381029    158.61    103.26  --
98.93/24.97	c  N dy   385     58439     14481     62359         0     31102    189954   3039028    159.69    103.36  --
104.53/26.37	c  N dy   414     62580     14481     62359         0     35243    189954   3665203    165.62    103.33  --
110.12/27.71	c  N dy   442     66595     14481     62359         0     20510    189954    833566    153.01    103.20  --
113.71/28.64	c  S st   462     69391     14481     62359         0     23306    189954   1237928    140.35    102.93  --
114.11/28.78	c  S st   462     69894     14481     62359         0     23809    189954   1296563    140.35    102.93  --
114.11/28.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
114.11/28.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
114.92/28.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.9M T:  0.57
114.92/28.94	c Calc non-exist non-lernt bins v-fix:     0 done:  14481 time:  0.02 s
114.92/28.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
114.92/28.95	c Subs w/ non-existent bins:      0 time:  0.05 s
115.32/29.01	c bin-w-bin subsume rem            0 bins  time:  0.02 s
115.32/29.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
115.32/29.02	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
125.29/31.54	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.01
132.09/33.29	c Added 0 vars  tried: 80000 time: 6.99
132.09/33.29	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:    6.99
132.49/33.32	c lits-rem:         9  cl-subs:      734  v-elim:    195  v-fix:    0  time: 17.19 s
132.49/33.32	c learnt bin added due to v-elim: 0
132.49/33.33	c vivif2 --  cl tried    62359 cl shrink        0 lits rem          0 time: 0.02
132.49/33.35	c vivif2 --  cl tried    23075 cl shrink        0 lits rem          0 time: 0.06
133.30/33.53	c asymm  cl-useful: 0/62359/62359 lits-rem:0 time: 0.73
133.30/33.54	c calculated reachability. Time: 0.00
133.30/33.54	c  N dy   462     69894     14481     62359         0     23075    189954   1259421    140.35    102.93  --
133.30/33.54	c  F st   462     69894     14481     62359         0     23075    189954   1259421    140.35    102.93  --
136.08/34.22	c Decided on dynamic restart strategy
138.88/34.99	c  N dy   485     74396     14481     62359         0     27577    189954   1982422    155.31    103.22  --
144.87/36.41	c  N dy   519     79220     14481     62359         0     32400    189954   2705643    155.53    103.04  --
151.66/38.13	c  N dy   555     84312     14481     62359         0     37491    189954   3519245    160.16    103.25  --
159.25/40.04	c  N dy   593     89692     14481     62359         0     21997    189954    707861    152.77    103.13  --
166.84/41.91	c  N dy   634     95558     14481     62359         0     27862    189954   1580470    147.19    102.83  --
174.42/43.83	c  N dy   677    101748     14481     62359         0     34052    189954   2540695    154.57    102.95  --
179.62/45.13	c  S st   699    104842     14481     62359         0     37146    189954   3032046    163.59    103.01  --
180.42/45.32	c  S st   699    105348     14481     62359         0     37652    189954   3089285    163.59    103.01  --
180.42/45.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
180.42/45.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
181.22/45.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.4M T:  1.05
181.22/45.60	c Calc non-exist non-lernt bins v-fix:     0 done:  14481 time:  0.03 s
181.22/45.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
181.63/45.63	c Subs w/ non-existent bins:      0 time:  0.11 s
182.03/45.79	c bin-w-bin subsume rem            0 bins  time:  0.02 s
182.03/45.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
182.41/45.80	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
212.39/53.33	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.01
212.39/53.39	c lits-rem:         0  cl-subs:     1438  v-elim:    195  v-fix:    0  time: 30.31 s
212.39/53.39	c learnt bin added due to v-elim: 0
212.39/53.39	c vivif2 --  cl tried    62359 cl shrink        0 lits rem          0 time: 0.02
212.79/53.43	c vivif2 --  cl tried    36214 cl shrink        0 lits rem          0 time: 0.13
213.97/53.72	c asymm  cl-useful: 0/62359/62359 lits-rem:0 time: 1.19
213.97/53.73	c calculated reachability. Time: 0.00
213.97/53.73	c  N dy   699    105348     14481     62359         0     36214    189954   2966510    163.59    103.01  --
222.36/55.89	c  N dy   746    112098     14481     62359         0     42962    189954   4022163    163.53    103.15  --
231.15/58.06	c  N dy   796    119259     14481     62359         0     27687    189954   1322072    153.81    103.05  --
240.73/60.41	c  N dy   850    126992     14481     62359         0     35417    189954   2523551    150.29    103.14  --
251.52/63.15	c  N dy   908    135222     14481     62359         0     43646    189954   3767876    153.46    103.06  --
262.70/65.91	c  N dy   969    143895     14481     62359         0     28604    189954   1208473    158.71    102.94  --
274.69/68.92	c  N dy  1034    153207     14481     62359         0     37916    189954   2650774    157.77    102.97  --
282.28/70.88	c  S st  1068    158022     14481     62359         0     42731    189954   3415053    150.07    103.00  --
283.10/71.08	c  S st  1068    158522     14481     62359         0     43231    189954   3468388    150.07    103.00  --
283.10/71.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
283.10/71.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
284.67/71.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.8M T:  1.20
284.67/71.40	c Calc non-exist non-lernt bins v-fix:     0 done:  14481 time:  0.03 s
284.67/71.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
284.67/71.44	c Subs w/ non-existent bins:      0 time:  0.12 s
285.48/71.61	c bin-w-bin subsume rem            0 bins  time:  0.02 s
285.48/71.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
285.48/71.62	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
361.78/90.72	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.01
361.78/90.79	c lits-rem:         1  cl-subs:     1815  v-elim:    195  v-fix:    0  time: 76.55 s
361.78/90.79	c learnt bin added due to v-elim: 0
361.78/90.79	c vivif2 --  cl tried    62359 cl shrink        0 lits rem          0 time: 0.02
362.18/90.83	c vivif2 --  cl tried    41416 cl shrink        0 lits rem          0 time: 0.15
363.36/91.17	c asymm  cl-useful: 0/62359/62359 lits-rem:0 time: 1.35
363.36/91.18	c calculated reachability. Time: 0.00
363.36/91.18	c  N dy  1068    158522     14481     62359         0     41416    189954   3330638    150.07    103.00  --
377.74/94.72	c  N dy  1139    168714     14481     62359         0     26751    189954    768303    159.73    102.92  --
391.72/98.27	c  N dy  1214    179507     14481     62359         0     37541    189954   2440491    152.34    102.94  --
408.50/102.43	c  N dy  1294    191026     14481     62359         0     49056    189954   4238458    153.42    103.00  --
424.88/106.56	c  N dy  1380    203361     14481     62359         0     35462    189954   1905742    147.01    102.91  --
443.65/111.29	c  N dy  1472    216473     14481     62359         0     48570    189954   3913370    180.78    102.86  --
462.85/116.06	c  N dy  1568    230335     14481     62359         0     35471    189954   1776114    163.73    102.93  --
474.41/118.99	c  S st  1621    237783     14481     62359         0     42915    189954   2935039    142.45    102.97  --
475.61/119.21	c  S st  1621    238289     14481     62359         0     43421    189954   2993696    142.45    102.97  --
475.61/119.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
475.61/119.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
476.80/119.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.2M T:  1.24
476.80/119.54	c Calc non-exist non-lernt bins v-fix:     0 done:  14481 time:  0.03 s
476.80/119.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
476.80/119.57	c Subs w/ non-existent bins:      0 time:  0.11 s
477.60/119.72	c bin-w-bin subsume rem            0 bins  time:  0.02 s
477.60/119.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
477.60/119.73	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
510.36/127.98	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.01
510.76/128.04	c lits-rem:         2  cl-subs:     2058  v-elim:    195  v-fix:    0  time: 33.18 s
510.76/128.04	c learnt bin added due to v-elim: 0
510.76/128.05	c vivif2 --  cl tried    62359 cl shrink        0 lits rem          0 time: 0.02
510.76/128.08	c vivif2 --  cl tried    41363 cl shrink        0 lits rem          0 time: 0.13
511.95/128.39	c asymm  cl-useful: 0/62359/62359 lits-rem:0 time: 1.25
512.35/128.40	c calculated reachability. Time: 0.00
512.35/128.40	c  N dy  1621    238289     14481     62359         0     41363    189954   2860522    142.45    102.97  --
533.55/133.78	c  N dy  1728    253589     14481     62359         0     28685    189954    546483    159.45    102.95  --
553.90/138.88	c  N dy  1841    269776     14481     62359         0     44864    189954   3064341    151.23    103.00  --
578.26/144.94	c  N dy  1962    287079     14481     62359         0     33182    189954   1091500    165.03    103.06  --
603.46/151.26	c  N dy  2091    305469     14481     62359         0     51569    189954   3946075    148.96    103.09  --
630.99/158.13	c  N dy  2226    324965     14481     62359         0     41073    189954   2173582    155.30    103.16  --
660.98/165.61	c  N dy  2366    345080     14481     62359         0     61187    189954   5250235    156.95    103.12  --
678.55/170.05	c  S st  2453    357433     14481     62359         0     42546    189954   2202022    159.37    103.14  --
679.33/170.24	c  S st  2453    357936     14481     62359         0     43049    189954   2257939    159.37    103.14  --
679.33/170.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
679.33/170.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
680.53/170.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.9M T:  1.17
680.53/170.55	c Calc non-exist non-lernt bins v-fix:     0 done:  14481 time:  0.03 s
680.53/170.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
680.53/170.57	c Subs w/ non-existent bins:      0 time:  0.08 s
680.93/170.68	c bin-w-bin subsume rem            0 bins  time:  0.02 s
680.93/170.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
680.93/170.69	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
703.30/176.25	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.01
712.49/178.50	c Added 0 vars  tried: 80000 time: 8.98
712.49/178.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:    8.99
712.49/178.55	c lits-rem:         4  cl-subs:     2322  v-elim:    195  v-fix:    0  time: 31.41 s
712.49/178.55	c learnt bin added due to v-elim: 0
712.49/178.56	c vivif2 --  cl tried    62359 cl shrink        0 lits rem          0 time: 0.02
712.49/178.59	c vivif2 --  cl tried    40727 cl shrink        0 lits rem          0 time: 0.10
713.71/178.85	c asymm  cl-useful: 0/62359/62359 lits-rem:0 time: 1.07
713.71/178.86	c calculated reachability. Time: 0.00
713.71/178.86	c  N dy  2453    357936     14481     62359         0     40727    189954   2157608    159.37    103.14  --
744.06/186.46	c  N dy  2592    378010     14481     62359         0     60798    189954   5309347    149.30    103.17  --
773.60/193.87	c  N dy  2732    398085     14481     62359         0     48871    189954   3079069    160.34    103.27  --
805.57/201.85	c  N dy  2872    418134     14481     62359         0     35924    189954    891249    173.70    103.37  --
836.34/209.58	c  N dy  3013    438259     14481     62359         0     56042    189954   4086229    155.27    103.48  --
867.49/217.35	c  N dy  3154    458304     14481     62359         0     42095    189954   1688416    154.31    103.55  --
897.85/224.97	c  N dy  3294    478419     14481     62359         0     62205    189954   4763424    171.47    103.49  --
926.59/232.14	c  N dy  3433    498423     14481     62359         0     47212    189954   2321542    153.18    103.47  --
956.55/239.67	c  N dy  3574    518543     14481     62359         0     67329    189954   5446754    170.29    103.48  --
984.51/246.62	c  S st  3702    536904     14481     62359         0     49694    189954   2577763    148.99    103.48  --
985.31/246.84	c  S st  3702    537406     14481     62359         0     50196    189954   2632296    148.99    103.48  --
985.31/246.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
985.31/246.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
986.90/247.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  4.5M T:  1.47
986.90/247.23	c Calc non-exist non-lernt bins v-fix:     0 done:  14481 time:  0.03 s
986.90/247.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
986.90/247.25	c Subs w/ non-existent bins:      0 time:  0.09 s
987.30/247.38	c bin-w-bin subsume rem            0 bins  time:  0.02 s
987.30/247.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
987.30/247.39	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
1019.27/255.30	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.01
1019.27/255.36	c lits-rem:         3  cl-subs:     2863  v-elim:    195  v-fix:    0  time: 31.82 s
1019.27/255.36	c learnt bin added due to v-elim: 0
1019.27/255.36	c vivif2 --  cl tried    62359 cl shrink        0 lits rem          0 time: 0.02
1019.27/255.39	c vivif2 --  cl tried    47333 cl shrink        0 lits rem          0 time: 0.12
1020.47/255.69	c asymm  cl-useful: 0/62359/62359 lits-rem:0 time: 1.19
1020.47/255.70	c calculated reachability. Time: 0.00
1020.47/255.70	c  N dy  3702    537406     14481     62359         0     47333    189954   2511639    148.99    103.48  --
1020.47/255.70	c  F st  3702    537406     14481     62359         0     47333    189954   2511639    148.99    103.48  --
1023.66/256.47	c Decided on dynamic restart strategy
1052.42/263.63	c  N dy  3834    557514     14481     62359         0     67436    189954   5716061    156.84    103.60  --
1083.17/271.38	c  N dy  3974    577646     14481     62359         0     50572    189954   2582880    178.22    103.66  --
1115.93/279.58	c  N dy  4114    597776     14481     62359         0     70700    189954   5714667    163.46    103.66  --
1147.89/287.51	c  N dy  4253    617838     14481     62359         0     52764    189954   2703114    170.14    103.64  --
1181.44/295.91	c  N dy  4393    637973     14481     62359         0     72896    189954   5866384    153.53    103.65  --
1213.80/304.02	c  N dy  4533    658094     14481     62359         0     54022    189954   2828813    174.44    103.73  --
1248.55/312.74	c  N dy  4672    678191     14481     62359         0     74118    189954   5960337    163.77    103.71  --
1281.70/321.02	c  N dy  4813    698325     14481     62359         0     54254    189954   2626107    161.05    103.70  --
1315.28/329.48	c  N dy  4954    718420     14481     62359         0     74345    189954   5732776    143.91    103.69  --
1346.81/337.30	c  N dy  5094    738517     14481     62359         0     53442    189954   2393428    156.19    103.68  --
1377.19/344.97	c  N dy  5234    758539     14481     62359         0     73461    189954   5459056    144.03    103.65  --
1409.13/352.94	c  N dy  5374    778585     14481     62359         0     51512    189954   1931160    157.92    103.66  --
1441.08/360.93	c  N dy  5514    798706     14481     62359         0     71630    189954   5046832    168.80    103.65  --
1455.88/364.64	c  S st  5566    806110     14481     62359         0     79034    189954   6201245    152.66    103.66  --
1457.06/364.94	c  S st  5566    806613     14481     62359         0     79537    189954   6259560    152.66    103.66  --
1457.06/364.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1457.06/364.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1459.86/365.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.1M T:  2.92
1459.86/365.70	c Calc non-exist non-lernt bins v-fix:     0 done:  14481 time:  0.03 s
1459.86/365.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1460.28/365.75	c Subs w/ non-existent bins:      0 time:  0.19 s
1461.45/366.05	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1461.45/366.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1461.45/366.06	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
1873.32/469.13	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.01
1901.25/476.12	c Added 0 vars  tried: 80000 time: 27.93
1901.25/476.12	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:   27.93
1901.65/476.23	c lits-rem:         0  cl-subs:     4757  v-elim:    195  v-fix:    0  time: 440.03 s
1901.65/476.23	c learnt bin added due to v-elim: 0
1901.65/476.24	c vivif2 --  cl tried    62359 cl shrink        0 lits rem          0 time: 0.02
1902.05/476.31	c vivif2 --  cl tried    74780 cl shrink        0 lits rem          0 time: 0.28
1903.65/476.77	c asymm  cl-useful: 0/49500/62359 lits-rem:0 time: 1.84
1903.65/476.77	c calculated reachability. Time: 0.00
1903.65/476.77	c  N dy  5566    806613     14481     62359         0     74780    189954   5969981    152.66    103.66  --
1937.61/485.25	c  N dy  5706    826649     14481     62359         0     51820    189954   1833989    167.10    103.71  --
1969.98/493.39	c  N dy  5846    846665     14481     62359         0     71832    189954   4991460    159.01    103.72  --
2005.91/502.36	c  N dy  5987    866797     14481     62359         0     47969    189954   1069171    165.35    103.71  --
2038.67/510.53	c  N dy  6127    886909     14481     62359         0     68074    189954   4229927    177.58    103.73  --
2076.21/519.99	c  N dy  6268    907020     14481     62359         0     88183    189954   7372671    167.53    103.73  --
2109.77/528.38	c  N dy  6407    927029     14481     62359         0     63198    189954   3320674    174.71    103.77  --
2146.52/537.56	c  N dy  6547    947125     14481     62359         0     83291    189954   6462078    151.94    103.79  --
2182.07/546.41	c  N dy  6687    967196     14481     62359         0     57367    189954   2239709    153.93    103.81  --
2217.62/555.36	c  N dy  6827    987311     14481     62359         0     77479    189954   5407080    167.13    103.83  --
2257.57/565.34	c  N dy  6967   1007422     14481     62359         0     50593    189954    988374    156.64    103.84  --
2289.53/573.34	c  N dy  7107   1027509     14481     62359         0     70677    189954   4129523    161.94    103.84  --
2325.08/582.28	c  N dy  7247   1047599     14481     62359         0     90765    189954   7293688    143.73    103.88  --
2357.05/590.28	c  N dy  7386   1067601     14481     62359         0     62771    189954   2737443    163.21    103.86  --
2390.18/598.57	c  N dy  7526   1087746     14481     62359         0     82913    189954   5900026    157.61    103.88  --
2426.96/607.76	c  N dy  7667   1107883     14481     62359         0     54051    189954   1234980    141.63    103.93  --
2459.69/615.92	c  N dy  7807   1127983     14481     62359         0     74149    189954   4393317    160.26    103.95  --
2496.84/625.25	c  N dy  7946   1148069     14481     62359         0     94231    189954   7604626    155.57    103.99  --
2530.79/633.80	c  N dy  8086   1168183     14481     62359         0     64351    189954   2688741    146.29    103.96  --
2566.35/642.68	c  N dy  8225   1188197     14481     62359         0     84362    189954   5816662    150.58    103.96  --
2606.30/652.64	c  N dy  8366   1208327     14481     62359         0     53495    189954    845488    163.33    103.96  --
2609.09/653.38	c  S st  8377   1209920     14481     62359         0     55088    189954   1115151    168.20    103.97  --
2610.29/653.62	c  S st  8377   1210424     14481     62359         0     55592    189954   1169014    168.20    103.97  --
2610.29/653.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2610.29/653.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2612.28/654.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  9.3M T:  1.88
2612.28/654.11	c Calc non-exist non-lernt bins v-fix:     0 done:  14481 time:  0.03 s
2612.28/654.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2612.28/654.13	c Subs w/ non-existent bins:      0 time:  0.06 s
2612.68/654.20	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2612.68/654.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2612.68/654.21	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
2623.07/656.86	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.01
2623.07/656.89	c lits-rem:         8  cl-subs:     3691  v-elim:    195  v-fix:    0  time: 10.71 s
2623.07/656.89	c learnt bin added due to v-elim: 0
2623.47/656.90	c vivif2 --  cl tried    62359 cl shrink        0 lits rem          0 time: 0.02
2623.47/656.91	c vivif2 --  cl tried    51901 cl shrink        0 lits rem          0 time: 0.06
2623.47/656.96	c asymm  cl-useful: 0/12859/62359 lits-rem:0 time: 0.20
2623.47/656.97	c calculated reachability. Time: 0.00
2623.47/656.97	c  N dy  8377   1210424     14481     62359         0     51901    189954   1104029    168.20    103.97  --
2657.42/665.40	c  N dy  8518   1230447     14481     62359         0     71920    189954   4208977    152.90    103.96  --
2695.76/675.06	c  N dy  8657   1250506     14481     62359         0     91977    189954   7366163    138.71    103.98  --
2734.11/684.70	c  N dy  8796   1270526     14481     62359         0     60006    189954   1746856    156.05    103.98  --
2772.06/694.19	c  N dy  8936   1290616     14481     62359         0     80094    189954   4920071    137.00    104.00  --
2812.01/704.12	c  N dy  9077   1310685     14481     62359         0    100156    189954   8006555    149.90    103.99  --
2850.75/713.89	c  N dy  9217   1330798     14481     62359         0     67272    189954   2766218    170.65    104.02  --
2889.50/723.51	c  N dy  9356   1350889     14481     62359         0     87358    189954   5978647    154.78    104.04  --
2929.45/733.59	c  N dy  9495   1370898     14481     62359         0    107362    189954   9128776    157.19    104.06  --
2961.80/741.68	c  N dy  9635   1391046     14481     62359         0     73519    189954   3579820    148.39    104.08  --
2997.35/750.54	c  N dy  9773   1411091     14481     62359         0     93558    189954   6747892    161.72    104.09  --
3035.70/760.14	c  N dy  9913   1431174     14481     62359         0     58646    189954   1058142    161.81    104.10  --
3069.25/768.51	c  N dy 10053   1451215     14481     62359         0     78682    189954   4247848    155.04    104.13  --
3107.20/778.03	c  N dy 10193   1471318     14481     62359         0     98782    189954   7507817    152.70    104.17  --
3147.15/788.03	c  N dy 10332   1491350     14481     62359         0     62822    189954   1596561    168.31    104.20  --
3182.31/796.82	c  N dy 10471   1511360     14481     62359         0     82831    189954   4768721    163.85    104.21  --
3222.27/806.87	c  N dy 10610   1531391     14481     62359         0    102861    189954   7930582    157.03    104.22  --
3262.21/816.84	c  N dy 10749   1551521     14481     62359         0     65998    189954   1956911    159.19    104.23  --
3299.74/826.22	c  N dy 10888   1571531     14481     62359         0     86008    189954   5108223    150.98    104.24  --
3342.48/836.91	c  N dy 11027   1591629     14481     62359         0    106104    189954   8288849    162.53    104.25  --
3382.43/846.98	c  N dy 11166   1611680     14481     62359         0     68159    189954   2041125    160.99    104.26  --
3421.17/856.65	c  N dy 11306   1631807     14481     62359         0     88283    189954   5310696    157.83    104.30  --
3465.11/867.63	c  N dy 11446   1651964     14481     62359         0    108439    189954   8491855    161.41    104.31  --
3505.46/877.74	c  N dy 11586   1672066     14481     62359         0     69544    189954   2174154    172.68    104.31  --
3544.20/887.42	c  N dy 11725   1692068     14481     62359         0     89544    189954   5403492    149.02    104.36  --
3586.97/898.12	c  S st 11853   1710425     14481     62359         0    107901    189954   8273065    152.50    104.36  --
3588.15/898.45	c  S st 11853   1710927     14481     62359         0    108403    189954   8333181    152.50    104.36  --
3588.15/898.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
3588.15/898.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3593.34/899.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 17.2M T:  5.01
3593.34/899.74	c Calc non-exist non-lernt bins v-fix:     0 done:  14481 time:  0.04 s
3593.34/899.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3593.74/899.81	c Subs w/ non-existent bins:      0 time:  0.28 s
3595.33/900.25	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3595.33/900.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3595.33/900.26	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
4337.12/1085.97	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.01
4374.26/1095.21	c Added 1 vars  tried: 80000 time: 36.90
4374.26/1095.21	c ORs :      1 avg-s:  0.0 cl-sh:   101 l-rem:    101 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   36.92
4374.66/1095.35	c lits-rem:         0  cl-subs:     6199  v-elim:    195  v-fix:    0  time: 779.22 s
4374.66/1095.35	c learnt bin added due to v-elim: 0
4374.66/1095.36	c vivif2 --  cl tried    62360 cl shrink        0 lits rem          0 time: 0.02
4375.06/1095.46	c vivif2 --  cl tried   102204 cl shrink        0 lits rem          0 time: 0.39
4377.06/1095.93	c asymm  cl-useful: 0/36684/62360 lits-rem:0 time: 1.90
4377.06/1095.94	c calculated reachability. Time: 0.00
4377.06/1095.94	c  N dy 11853   1710927     14482     62360         2    102204    189961   7950688    152.50    104.36  --
4423.00/1107.41	c  N dy 11994   1731014     14482     62360         2     62297    189961    882077    149.91    104.34  --
4459.75/1116.68	c  N dy 12133   1751018     14482     62360         2     82301    189961   4116298    159.10    104.36  --
4500.92/1126.91	c  N dy 12272   1771047     14482     62360         2    102330    189961   7274289    150.62    104.37  --
4544.86/1137.95	c  N dy 12411   1791092     14482     62360         2     61377    189961    578476    158.15    104.37  --
4577.99/1146.29	c  N dy 12551   1811226     14482     62360         2     81509    189961   3768006    155.51    104.38  --
4615.15/1155.58	c  N dy 12691   1831351     14482     62360         2    101633    189961   6930695    157.13    104.38  --
4657.49/1166.18	c  N dy 12830   1851401     14482     62360         2    121680    189961  10129774    161.32    104.39  --
4693.03/1175.08	c  N dy 12970   1871523     14482     62360         2     79803    189961   3334685    166.22    104.40  --
4731.39/1184.68	c  N dy 13110   1891618     14482     62360         2     99891    189961   6462057    152.27    104.40  --
4774.91/1195.59	c  N dy 13250   1911721     14482     62360         2    119993    189961   9601637    147.22    104.40  --

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-3172579-1304076457/watcher-3172579-1304076457 -o /tmp/evaluation-result-3172579-1304076457/solver-3172579-1304076457 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172579-1304076457.cnf 

running on 4 cores: 0,2,4,6

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.48 7.96 7.99 3/177 31664
/proc/meminfo: memFree=24366596/32951124 swapFree=67111524/67111528
[pid=31664] ppid=31662 vsize=23908 CPUtime=0 cores=0,2,4,6
/proc/31664/stat : 31664 (techdemo) R 31662 31664 30965 0 -1 4202496 1213 0 0 0 0 0 0 0 22 0 1 0 519243446 24481792 1153 33554432000 4194304 4797429 140735480732944 18446744073709551615 212687372496 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/31664/statm: 5977 1160 341 148 0 906 0

[startup+0.051186 s]
/proc/loadavg: 7.48 7.96 7.99 3/177 31664
/proc/meminfo: memFree=24366596/32951124 swapFree=67111524/67111528
[pid=31664] ppid=31662 vsize=75276 CPUtime=0.04 cores=0,2,4,6
/proc/31664/stat : 31664 (techdemo) R 31662 31664 30965 0 -1 4202496 8086 0 0 0 4 0 0 0 22 0 1 0 519243446 77082624 6605 33554432000 4194304 4797429 140735480732944 18446744073709551615 212687336133 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/31664/statm: 18819 6606 348 148 0 13748 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 75276

[startup+0.101168 s]
/proc/loadavg: 7.48 7.96 7.99 3/177 31664
/proc/meminfo: memFree=24366596/32951124 swapFree=67111524/67111528
[pid=31664] ppid=31662 vsize=80496 CPUtime=0.09 cores=0,2,4,6
/proc/31664/stat : 31664 (techdemo) R 31662 31664 30965 0 -1 4202496 9854 0 0 0 9 0 0 0 22 0 1 0 519243446 82427904 8277 33554432000 4194304 4797429 140735480732944 18446744073709551615 4408377 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/31664/statm: 20124 8278 348 148 0 15053 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 80496

[startup+0.301591 s]
/proc/loadavg: 7.48 7.96 7.99 3/177 31664
/proc/meminfo: memFree=24366596/32951124 swapFree=67111524/67111528
[pid=31664] ppid=31662 vsize=717560 CPUtime=0.91 cores=0,2,4,6
/proc/31664/stat : 31664 (techdemo) R 31662 31664 30965 0 -1 4202496 18064 0 0 0 89 2 0 0 18 0 4 0 519243446 734781440 15113 33554432000 4194304 4797429 140735480732944 18446744073709551615 212687718583 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31664/statm: 180669 18580 410 148 0 175598 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 717560

[startup+1.0789 s]
/proc/loadavg: 7.48 7.96 7.99 3/177 31664
/proc/meminfo: memFree=24366596/32951124 swapFree=67111524/67111528
[pid=31664] ppid=31662 vsize=722676 CPUtime=3.79 cores=0,2,4,6
/proc/31664/stat : 31664 (techdemo) R 31662 31664 30965 0 -1 4202496 22031 0 0 0 376 3 0 0 19 0 4 0 519243446 740020224 18847 33554432000 4194304 4797429 140735480732944 18446744073709551615 4351784 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31664/statm: 180669 18848 412 148 0 175598 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 722676

[startup+1.50082 s]
/proc/loadavg: 7.48 7.96 7.99 3/177 31664
/proc/meminfo: memFree=24366596/32951124 swapFree=67111524/67111528
[pid=31664] ppid=31662 vsize=722676 CPUtime=5.48 cores=0,2,4,6
/proc/31664/stat : 31664 (techdemo) R 31662 31664 30965 0 -1 4202496 23161 0 0 0 545 3 0 0 19 0 4 0 519243446 740020224 19967 33554432000 4194304 4797429 140735480732944 18446744073709551615 4415680 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31664/statm: 180669 19967 412 148 0 175598 0
Current children cumulated CPU time (s) 5.48
Current children cumulated vsize (KiB) 722676

[startup+3.10053 s]
/proc/loadavg: 7.52 7.96 7.99 9/184 31671
/proc/meminfo: memFree=24192080/32951124 swapFree=67111524/67111528
[pid=31664] ppid=31662 vsize=727840 CPUtime=11.86 cores=0,2,4,6
/proc/31664/stat : 31664 (techdemo) R 31662 31664 30965 0 -1 4202496 28013 0 0 0 1182 4 0 0 24 0 4 0 519243446 745308160 24793 33554432000 4194304 4797429 140735480732944 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31664/statm: 181960 24793 413 148 0 176889 0
[pid=31664/tid=31666] ppid=31662 vsize=727840 CPUtime=2.91 cores=0,2,4,6
/proc/31664/task/31666/stat : 31666 (techdemo) R 31662 31664 30965 0 -1 4202560 3772 0 0 0 291 0 0 0 18 0 4 0 519243462 745308160 24793 33554432000 4194304 4797429 140735480732944 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31664/tid=31667] ppid=31662 vsize=727840 CPUtime=2.91 cores=0,2,4,6
/proc/31664/task/31667/stat : 31667 (techdemo) R 31662 31664 30965 0 -1 4202560 4306 0 0 0 290 1 0 0 25 0 4 0 519243462 745308160 24793 33554432000 4194304 4797429 140735480732944 18446744073709551615 4424435 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31664/tid=31668] ppid=31662 vsize=727840 CPUtime=2.92 cores=0,2,4,6
/proc/31664/task/31668/stat : 31668 (techdemo) R 31662 31664 30965 0 -1 4202560 3582 0 0 0 292 0 0 0 25 0 4 0 519243462 745308160 24793 33554432000 4194304 4797429 140735480732944 18446744073709551615 4424374 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.86
Current children cumulated vsize (KiB) 727840

[startup+6.30095 s]
/proc/loadavg: 7.52 7.96 7.99 9/184 31671
/proc/meminfo: memFree=24116740/32951124 swapFree=67111524/67111528
[pid=31664] ppid=31662 vsize=740220 CPUtime=24.64 cores=0,2,4,6
/proc/31664/stat : 31664 (techdemo) R 31662 31664 30965 0 -1 4202496 37643 0 0 0 2456 8 0 0 25 0 4 0 519243446 757985280 30699 33554432000 4194304 4797429 140735480732944 18446744073709551615 4425708 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31664/statm: 185055 30699 416 148 0 179984 0
[pid=31664/tid=31666] ppid=31662 vsize=740220 CPUtime=6.11 cores=0,2,4,6
/proc/31664/task/31666/stat : 31666 (techdemo) R 31662 31664 30965 0 -1 4202560 5967 0 0 0 610 1 0 0 25 0 4 0 519243462 757985280 30699 33554432000 4194304 4797429 140735480732944 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31664/tid=31667] ppid=31662 vsize=740220 CPUtime=6.09 cores=0,2,4,6
/proc/31664/task/31667/stat : 31667 (techdemo) R 31662 31664 30965 0 -1 4202560 6513 0 0 0 608 1 0 0 24 0 4 0 519243462 757985280 30699 33554432000 4194304 4797429 140735480732944 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31664/tid=31668] ppid=31662 vsize=740220 CPUtime=6.12 cores=0,2,4,6
/proc/31664/task/31668/stat : 31668 (techdemo) R 31662 31664 30965 0 -1 4202560 5666 0 0 0 611 1 0 0 25 0 4 0 519243462 757985280 30699 33554432000 4194304 4797429 140735480732944 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.64
Current children cumulated vsize (KiB) 740220

[startup+12.7068 s]
/proc/loadavg: 7.56 7.96 7.99 9/184 31671
/proc/meminfo: memFree=24073880/32951124 swapFree=67111524/67111528
[pid=31664] ppid=31662 vsize=745476 CPUtime=50.22 cores=0,2,4,6
/proc/31664/stat : 31664 (techdemo) R 31662 31664 30965 0 -1 4202496 44513 0 0 0 5011 11 0 0 25 0 4 0 519243446 763367424 37280 33554432000 4194304 4797429 140735480732944 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31664/statm: 186369 37280 417 148 0 181298 0
[pid=31664/tid=31666] ppid=31662 vsize=745476 CPUtime=12.52 cores=0,2,4,6
/proc/31664/task/31666/stat : 31666 (techdemo) R 31662 31664 30965 0 -1 4202560 6661 0 0 0 1250 2 0 0 25 0 4 0 519243462 763367424 37280 33554432000 4194304 4797429 140735480732944 18446744073709551615 212687371974 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31664/tid=31667] ppid=31662 vsize=745476 CPUtime=12.46 cores=0,2,4,6
/proc/31664/task/31667/stat : 31667 (techdemo) R 31662 31664 30965 0 -1 4202560 7378 0 0 0 1244 2 0 0 25 0 4 0 519243462 763367424 37280 33554432000 4194304 4797429 140735480732944 18446744073709551615 4559048 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31664/tid=31668] ppid=31662 vsize=745476 CPUtime=12.52 cores=0,2,4,6
/proc/31664/task/31668/stat : 31668 (techdemo) R 31662 31664 30965 0 -1 4202560 6570 0 0 0 1251 1 0 0 25 0 4 0 519243462 763367424 37280 33554432000 4194304 4797429 140735480732944 18446744073709551615 4387526 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.22
Current children cumulated vsize (KiB) 745476

[startup+25.5004 s]
/proc/loadavg: 7.72 7.98 7.99 9/184 31672
/proc/meminfo: memFree=24040656/32951124 swapFree=67111524/67111528
[pid=31664] ppid=31662 vsize=754092 CPUtime=101.33 cores=0,2,4,6
/proc/31664/stat : 31664 (techdemo) R 31662 31664 30965 0 -1 4202496 54633 0 0 0 10117 16 0 0 25 0 4 0 519243446 772190208 42707 33554432000 4194304 4797429 140735480732944 18446744073709551615 4424987 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31664/statm: 188523 42707 419 148 0 183452 0
[pid=31664/tid=31666] ppid=31662 vsize=754092 CPUtime=25.31 cores=0,2,4,6
/proc/31664/task/31666/stat : 31666 (techdemo) R 31662 31664 30965 0 -1 4202560 8066 0 0 0 2529 2 0 0 25 0 4 0 519243462 772190208 42707 33554432000 4194304 4797429 140735480732944 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31664/tid=31667] ppid=31662 vsize=754092 CPUtime=25.19 cores=0,2,4,6
/proc/31664/task/31667/stat : 31667 (techdemo) R 31662 31664 30965 0 -1 4202560 8248 0 0 0 2517 2 0 0 25 0 4 0 519243462 772190208 42707 33554432000 4194304 4797429 140735480732944 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31664/tid=31668] ppid=31662 vsize=754092 CPUtime=25.32 cores=0,2,4,6
/proc/31664/task/31668/stat : 31668 (techdemo) R 31662 31664 30965 0 -1 4202560 7855 0 0 0 2530 2 0 0 25 0 4 0 519243462 772190208 42707 33554432000 4194304 4797429 140735480732944 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 754092

[startup+51.1008 s]
/proc/loadavg: 7.82 7.98 7.99 9/184 31672
/proc/meminfo: memFree=24007712/32951124 swapFree=67111524/67111528
[pid=31664] ppid=31662 vsize=769444 CPUtime=203.61 cores=0,2,4,6
/proc/31664/stat : 31664 (techdemo) R 31662 31664 30965 0 -1 4202496 74528 0 0 0 20338 23 0 0 25 0 4 0 519243446 787910656 43587 33554432000 4194304 4797429 140735480732944 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31664/statm: 192361 43587 420 148 0 187290 0
[pid=31664/tid=31666] ppid=31662 vsize=769444 CPUtime=50.92 cores=0,2,4,6
/proc/31664/task/31666/stat : 31666 (techdemo) R 31662 31664 30965 0 -1 4202560 10847 0 0 0 5089 3 0 0 25 0 4 0 519243462 787910656 43587 33554432000 4194304 4797429 140735480732944 18446744073709551615 4429087 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31664/tid=31667] ppid=31662 vsize=769444 CPUtime=50.65 cores=0,2,4,6
/proc/31664/task/31667/stat : 31667 (techdemo) R 31662 31664 30965 0 -1 4202560 10946 0 0 0 5062 3 0 0 25 0 4 0 519243462 787910656 43587 33554432000 4194304 4797429 140735480732944 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31664/tid=31668] ppid=31662 vsize=769444 CPUtime=50.92 cores=0,2,4,6
/proc/31664/task/31668/stat : 31668 (techdemo) R 31662 31664 30965 0 -1 4202560 10316 0 0 0 5090 2 0 0 25 0 4 0 519243462 787910656 43587 33554432000 4194304 4797429 140735480732944 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.61
Current children cumulated vsize (KiB) 769444

[startup+102.3 s]
/proc/loadavg: 7.97 8.00 8.00 9/184 31674
/proc/meminfo: memFree=23941720/32951124 swapFree=67111524/67111528
[pid=31664] ppid=31662 vsize=783160 CPUtime=408.1 cores=0,2,4,6
/proc/31664/stat : 31664 (techdemo) R 31662 31664 30965 0 -1 4202496 100435 0 0 0 40777 33 0 0 25 0 4 0 519243446 801955840 54844 33554432000 4194304 4797429 140735480732944 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31664/statm: 195790 54844 420 148 0 190719 0
[pid=31664/tid=31666] ppid=31662 vsize=783160 CPUtime=102.11 cores=0,2,4,6
/proc/31664/task/31666/stat : 31666 (techdemo) R 31662 31664 30965 0 -1 4202560 13592 0 0 0 10206 5 0 0 25 0 4 0 519243462 801955840 54844 33554432000 4194304 4797429 140735480732944 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31664/tid=31667] ppid=31662 vsize=783160 CPUtime=101.57 cores=0,2,4,6
/proc/31664/task/31667/stat : 31667 (techdemo) R 31662 31664 30965 0 -1 4202560 13314 0 0 0 10153 4 0 0 25 0 4 0 519243462 801955840 54844 33554432000 4194304 4797429 140735480732944 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31664/tid=31668] ppid=31662 vsize=783160 CPUtime=102.11 cores=0,2,4,6
/proc/31664/task/31668/stat : 31668 (techdemo) R 31662 31664 30965 0 -1 4202560 12845 0 0 0 10208 3 0 0 25 0 4 0 519243462 801955840 54844 33554432000 4194304 4797429 140735480732944 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.1
Current children cumulated vsize (KiB) 783160

[startup+162.307 s]
/proc/loadavg: 8.03 8.01 8.00 9/184 31675
/proc/meminfo: memFree=23912448/32951124 swapFree=67111524/67111528
[pid=31664] ppid=31662 vsize=794012 CPUtime=647.8 cores=0,2,4,6
/proc/31664/stat : 31664 (techdemo) R 31662 31664 30965 0 -1 4202496 140480 0 0 0 64729 51 0 0 25 0 4 0 519243446 813068288 58103 33554432000 4194304 4797429 140735480732944 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31664/statm: 198503 58104 420 148 0 193432 0
[pid=31664/tid=31666] ppid=31662 vsize=794012 CPUtime=162.11 cores=0,2,4,6
/proc/31664/task/31666/stat : 31666 (techdemo) R 31662 31664 30965 0 -1 4202560 17335 0 0 0 16205 6 0 0 25 0 4 0 519243462 813068288 58104 33554432000 4194304 4797429 140735480732944 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31664/tid=31667] ppid=31662 vsize=794012 CPUtime=161.25 cores=0,2,4,6
/proc/31664/task/31667/stat : 31667 (techdemo) R 31662 31664 30965 0 -1 4202560 17194 0 0 0 16120 5 0 0 25 0 4 0 519243462 813068288 58104 33554432000 4194304 4797429 140735480732944 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31664/tid=31668] ppid=31662 vsize=794012 CPUtime=162.12 cores=0,2,4,6
/proc/31664/task/31668/stat : 31668 (techdemo) R 31662 31664 30965 0 -1 4202560 16356 0 0 0 16207 5 0 0 25 0 4 0 519243462 813068288 58104 33554432000 4194304 4797429 140735480732944 18446744073709551615 212687371924 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 647.8
Current children cumulated vsize (KiB) 794012

[startup+222.301 s]
/proc/loadavg: 8.01 8.00 8.00 9/184 31677
/proc/meminfo: memFree=23876340/32951124 swapFree=67111524/67111528
[pid=31664] ppid=31662 vsize=806948 CPUtime=887.45 cores=0,2,4,6
/proc/31664/stat : 31664 (techdemo) R 31662 31664 30965 0 -1 4202496 174733 0 0 0 88678 67 0 0 25 0 4 0 519243446 826314752 60577 33554432000 4194304 4797429 140735480732944 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31664/statm: 201737 60577 420 148 0 196666 0
[pid=31664/tid=31666] ppid=31662 vsize=806948 CPUtime=222.11 cores=0,2,4,6
/proc/31664/task/31666/stat : 31666 (techdemo) R 31662 31664 30965 0 -1 4202560 19335 0 0 0 22204 7 0 0 25 0 4 0 519243462 826314752 60577 33554432000 4194304 4797429 140735480732944 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31664/tid=31667] ppid=31662 vsize=806948 CPUtime=220.92 cores=0,2,4,6
/proc/31664/task/31667/stat : 31667 (techdemo) R 31662 31664 30965 0 -1 4202560 20070 0 0 0 22086 6 0 0 25 0 4 0 519243462 826314752 60577 33554432000 4194304 4797429 140735480732944 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31664/tid=31668] ppid=31662 vsize=806948 CPUtime=222.11 cores=0,2,4,6
/proc/31664/task/31668/stat : 31668 (techdemo) R 31662 31664 30965 0 -1 4202560 19415 0 0 0 22205 6 0 0 25 0 4 0 519243462 826314752 60577 33554432000 4194304 4797429 140735480732944 18446744073709551615 4414413 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 887.45
Current children cumulated vsize (KiB) 806948

[startup+282.301 s]
/proc/loadavg: 8.00 8.00 8.00 9/184 31679
/proc/meminfo: memFree=23876184/32951124 swapFree=67111524/67111528
[pid=31664] ppid=31662 vsize=813952 CPUtime=1127.11 cores=0,2,4,6
/proc/31664/stat : 31664 (techdemo) R 31662 31664 30965 0 -1 4202496 207365 0 0 0 112631 80 0 0 25 0 4 0 519243446 833486848 62518 33554432000 4194304 4797429 140735480732944 18446744073709551615 4425640 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31664/statm: 203488 62518 420 148 0 198417 0
[pid=31664/tid=31666] ppid=31662 vsize=813952 CPUtime=282.1 cores=0,2,4,6

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

[pid=31664] ppid=31662 vsize=845076 CPUtime=2565.14 cores=0,2,4,6
/proc/31664/stat : 31664 (techdemo) R 31662 31664 30965 0 -1 4202496 353773 0 0 0 256366 148 0 0 25 0 4 0 519243446 865357824 79843 33554432000 4194304 4797429 140735480732944 18446744073709551615 4425064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31664/statm: 211269 79843 420 148 0 206198 0
[pid=31664/tid=31666] ppid=31662 vsize=845076 CPUtime=642.11 cores=0,2,4,6
/proc/31664/task/31666/stat : 31666 (techdemo) R 31662 31664 30965 0 -1 4202560 35020 0 0 0 64197 14 0 0 25 0 4 0 519243462 865357824 79843 33554432000 4194304 4797429 140735480732944 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31664/tid=31667] ppid=31662 vsize=845076 CPUtime=638.64 cores=0,2,4,6
/proc/31664/task/31667/stat : 31667 (techdemo) R 31662 31664 30965 0 -1 4202560 35487 0 0 0 63853 11 0 0 25 0 4 0 519243462 865357824 79843 33554432000 4194304 4797429 140735480732944 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31664/tid=31668] ppid=31662 vsize=845076 CPUtime=642.13 cores=0,2,4,6
/proc/31664/task/31668/stat : 31668 (techdemo) R 31662 31664 30965 0 -1 4202560 34561 0 0 0 64199 14 0 0 25 0 4 0 519243462 865357824 79843 33554432000 4194304 4797429 140735480732944 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.14
Current children cumulated vsize (KiB) 845076

[startup+702.301 s]
/proc/loadavg: 8.08 8.03 8.00 9/184 31690
/proc/meminfo: memFree=23690896/32951124 swapFree=67111524/67111528
[pid=31664] ppid=31662 vsize=847752 CPUtime=2804.83 cores=0,2,4,6
/proc/31664/stat : 31664 (techdemo) R 31662 31664 30965 0 -1 4202496 377841 0 0 0 280322 161 0 0 25 0 4 0 519243446 868098048 85208 33554432000 4194304 4797429 140735480732944 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31664/statm: 211938 85208 420 148 0 206867 0
[pid=31664/tid=31666] ppid=31662 vsize=847752 CPUtime=702.11 cores=0,2,4,6
/proc/31664/task/31666/stat : 31666 (techdemo) R 31662 31664 30965 0 -1 4202560 36089 0 0 0 70197 14 0 0 25 0 4 0 519243462 868098048 85208 33554432000 4194304 4797429 140735480732944 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31664/tid=31667] ppid=31662 vsize=847752 CPUtime=698.32 cores=0,2,4,6
/proc/31664/task/31667/stat : 31667 (techdemo) R 31662 31664 30965 0 -1 4202560 36673 0 0 0 69821 11 0 0 25 0 4 0 519243462 868098048 85208 33554432000 4194304 4797429 140735480732944 18446744073709551615 4259014 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31664/tid=31668] ppid=31662 vsize=847752 CPUtime=702.14 cores=0,2,4,6
/proc/31664/task/31668/stat : 31668 (techdemo) R 31662 31664 30965 0 -1 4202560 35482 0 0 0 70200 14 0 0 25 0 4 0 519243462 868098048 85208 33554432000 4194304 4797429 140735480732944 18446744073709551615 4425045 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2804.83
Current children cumulated vsize (KiB) 847752

[startup+762.301 s]
/proc/loadavg: 8.07 8.03 8.00 9/184 31691
/proc/meminfo: memFree=23729324/32951124 swapFree=67111524/67111528
[pid=31664] ppid=31662 vsize=850804 CPUtime=3044.49 cores=0,2,4,6
/proc/31664/stat : 31664 (techdemo) R 31662 31664 30965 0 -1 4202496 408714 0 0 0 304273 176 0 0 25 0 4 0 519243446 871223296 76180 33554432000 4194304 4797429 140735480732944 18446744073709551615 4425836 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31664/statm: 212701 76180 420 148 0 207630 0
[pid=31664/tid=31666] ppid=31662 vsize=850804 CPUtime=762.11 cores=0,2,4,6
/proc/31664/task/31666/stat : 31666 (techdemo) R 31662 31664 30965 0 -1 4202560 38055 0 0 0 76196 15 0 0 25 0 4 0 519243462 871223296 76180 33554432000 4194304 4797429 140735480732944 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31664/tid=31667] ppid=31662 vsize=850804 CPUtime=757.99 cores=0,2,4,6
/proc/31664/task/31667/stat : 31667 (techdemo) R 31662 31664 30965 0 -1 4202560 39344 0 0 0 75787 12 0 0 25 0 4 0 519243462 871223296 76180 33554432000 4194304 4797429 140735480732944 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31664/tid=31668] ppid=31662 vsize=850804 CPUtime=762.13 cores=0,2,4,6
/proc/31664/task/31668/stat : 31668 (techdemo) R 31662 31664 30965 0 -1 4202560 38205 0 0 0 76198 15 0 0 25 0 4 0 519243462 871223296 76180 33554432000 4194304 4797429 140735480732944 18446744073709551615 4424368 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.49
Current children cumulated vsize (KiB) 850804

[startup+822.306 s]
/proc/loadavg: 8.12 8.05 8.01 9/184 31693
/proc/meminfo: memFree=23680328/32951124 swapFree=67111524/67111528
[pid=31664] ppid=31662 vsize=868268 CPUtime=3284.18 cores=0,2,4,6
/proc/31664/stat : 31664 (techdemo) R 31662 31664 30965 0 -1 4202496 436721 0 0 0 328227 191 0 0 25 0 4 0 519243446 889106432 84160 33554432000 4194304 4797429 140735480732944 18446744073709551615 4424622 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31664/statm: 217067 84160 420 148 0 211996 0
[pid=31664/tid=31666] ppid=31662 vsize=868268 CPUtime=822.11 cores=0,2,4,6
/proc/31664/task/31666/stat : 31666 (techdemo) R 31662 31664 30965 0 -1 4202560 39436 0 0 0 82195 16 0 0 25 0 4 0 519243462 889106432 84160 33554432000 4194304 4797429 140735480732944 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31664/tid=31667] ppid=31662 vsize=868268 CPUtime=817.67 cores=0,2,4,6
/proc/31664/task/31667/stat : 31667 (techdemo) R 31662 31664 30965 0 -1 4202560 41681 0 0 0 81755 12 0 0 25 0 4 0 519243462 889106432 84160 33554432000 4194304 4797429 140735480732944 18446744073709551615 4501900 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31664/tid=31668] ppid=31662 vsize=868268 CPUtime=822.14 cores=0,2,4,6
/proc/31664/task/31668/stat : 31668 (techdemo) R 31662 31664 30965 0 -1 4202560 40499 0 0 0 82197 17 0 0 25 0 4 0 519243462 889106432 84160 33554432000 4194304 4797429 140735480732944 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.18
Current children cumulated vsize (KiB) 868268

[startup+882.3 s]
/proc/loadavg: 8.21 8.09 8.02 9/184 31695
/proc/meminfo: memFree=23663324/32951124 swapFree=67111524/67111528
[pid=31664] ppid=31662 vsize=868324 CPUtime=3523.83 cores=0,2,4,6
/proc/31664/stat : 31664 (techdemo) R 31662 31664 30965 0 -1 4202496 459206 0 0 0 352178 205 0 0 25 0 4 0 519243446 889163776 86039 33554432000 4194304 4797429 140735480732944 18446744073709551615 4389629 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31664/statm: 217081 86039 420 148 0 212010 0
[pid=31664/tid=31666] ppid=31662 vsize=868324 CPUtime=882.11 cores=0,2,4,6
/proc/31664/task/31666/stat : 31666 (techdemo) R 31662 31664 30965 0 -1 4202560 40234 0 0 0 88194 17 0 0 25 0 4 0 519243462 889163776 86039 33554432000 4194304 4797429 140735480732944 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31664/tid=31667] ppid=31662 vsize=868324 CPUtime=877.34 cores=0,2,4,6
/proc/31664/task/31667/stat : 31667 (techdemo) R 31662 31664 30965 0 -1 4202560 42298 0 0 0 87722 12 0 0 25 0 4 0 519243462 889163776 86039 33554432000 4194304 4797429 140735480732944 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31664/tid=31668] ppid=31662 vsize=868324 CPUtime=882.14 cores=0,2,4,6
/proc/31664/task/31668/stat : 31668 (techdemo) R 31662 31664 30965 0 -1 4202560 41084 0 0 0 88197 17 0 0 25 0 4 0 519243462 889163776 86039 33554432000 4194304 4797429 140735480732944 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3523.83
Current children cumulated vsize (KiB) 868324

[startup+942.3 s]
/proc/loadavg: 8.20 8.10 8.02 9/184 31696
/proc/meminfo: memFree=23672460/32951124 swapFree=67111524/67111528
[pid=31664] ppid=31662 vsize=869000 CPUtime=3763.5 cores=0,2,4,6
/proc/31664/stat : 31664 (techdemo) R 31662 31664 30965 0 -1 4202496 473482 0 0 0 376139 211 0 0 25 0 4 0 519243446 889856000 88162 33554432000 4194304 4797429 140735480732944 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31664/statm: 217250 88162 420 148 0 212179 0
[pid=31664/tid=31666] ppid=31662 vsize=869000 CPUtime=942.11 cores=0,2,4,6
/proc/31664/task/31666/stat : 31666 (techdemo) R 31662 31664 30965 0 -1 4202560 42525 0 0 0 94193 18 0 0 25 0 4 0 519243462 889856000 88162 33554432000 4194304 4797429 140735480732944 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31664/tid=31667] ppid=31662 vsize=869000 CPUtime=937.01 cores=0,2,4,6
/proc/31664/task/31667/stat : 31667 (techdemo) R 31662 31664 30965 0 -1 4202560 44653 0 0 0 93688 13 0 0 25 0 4 0 519243462 889856000 88162 33554432000 4194304 4797429 140735480732944 18446744073709551615 4351897 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31664/tid=31668] ppid=31662 vsize=869000 CPUtime=942.13 cores=0,2,4,6
/proc/31664/task/31668/stat : 31668 (techdemo) R 31662 31664 30965 0 -1 4202560 42904 0 0 0 94196 17 0 0 25 0 4 0 519243462 889856000 88162 33554432000 4194304 4797429 140735480732944 18446744073709551615 4567891 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.5
Current children cumulated vsize (KiB) 869000

[startup+1002.3 s]
/proc/loadavg: 8.19 8.11 8.03 9/184 31698
/proc/meminfo: memFree=23640448/32951124 swapFree=67111524/67111528
[pid=31664] ppid=31662 vsize=869000 CPUtime=4003.17 cores=0,2,4,6
/proc/31664/stat : 31664 (techdemo) R 31662 31664 30965 0 -1 4202496 477950 0 0 0 400103 214 0 0 25 0 4 0 519243446 889856000 92597 33554432000 4194304 4797429 140735480732944 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31664/statm: 217250 92597 420 148 0 212179 0
[pid=31664/tid=31666] ppid=31662 vsize=869000 CPUtime=1002.11 cores=0,2,4,6
/proc/31664/task/31666/stat : 31666 (techdemo) R 31662 31664 30965 0 -1 4202560 43794 0 0 0 100192 19 0 0 25 0 4 0 519243462 889856000 92597 33554432000 4194304 4797429 140735480732944 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31664/tid=31667] ppid=31662 vsize=869000 CPUtime=996.69 cores=0,2,4,6
/proc/31664/task/31667/stat : 31667 (techdemo) R 31662 31664 30965 0 -1 4202560 46109 0 0 0 99655 14 0 0 25 0 4 0 519243462 889856000 92597 33554432000 4194304 4797429 140735480732944 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31664/tid=31668] ppid=31662 vsize=869000 CPUtime=1002.14 cores=0,2,4,6
/proc/31664/task/31668/stat : 31668 (techdemo) R 31662 31664 30965 0 -1 4202560 44647 0 0 0 100195 19 0 0 25 0 4 0 519243462 889856000 92597 33554432000 4194304 4797429 140735480732944 18446744073709551615 4567873 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.17
Current children cumulated vsize (KiB) 869000

[startup+1062.3 s]
/proc/loadavg: 8.11 8.10 8.03 9/184 31699
/proc/meminfo: memFree=23607924/32951124 swapFree=67111524/67111528
[pid=31664] ppid=31662 vsize=869000 CPUtime=4242.85 cores=0,2,4,6
/proc/31664/stat : 31664 (techdemo) R 31662 31664 30965 0 -1 4202496 480071 0 0 0 424068 217 0 0 25 0 4 0 519243446 889856000 94691 33554432000 4194304 4797429 140735480732944 18446744073709551615 4567765 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31664/statm: 217250 94691 420 148 0 212179 0
[pid=31664/tid=31666] ppid=31662 vsize=869000 CPUtime=1062.11 cores=0,2,4,6
/proc/31664/task/31666/stat : 31666 (techdemo) R 31662 31664 30965 0 -1 4202560 44533 0 0 0 106191 20 0 0 25 0 4 0 519243462 889856000 94691 33554432000 4194304 4797429 140735480732944 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31664/tid=31667] ppid=31662 vsize=869000 CPUtime=1056.36 cores=0,2,4,6
/proc/31664/task/31667/stat : 31667 (techdemo) R 31662 31664 30965 0 -1 4202560 46710 0 0 0 105622 14 0 0 25 0 4 0 519243462 889856000 94691 33554432000 4194304 4797429 140735480732944 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31664/tid=31668] ppid=31662 vsize=869000 CPUtime=1062.13 cores=0,2,4,6
/proc/31664/task/31668/stat : 31668 (techdemo) R 31662 31664 30965 0 -1 4202560 45428 0 0 0 106194 19 0 0 25 0 4 0 519243462 889856000 94691 33554432000 4194304 4797429 140735480732944 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4242.85
Current children cumulated vsize (KiB) 869000

[startup+1122.3 s]
/proc/loadavg: 8.12 8.11 8.03 9/184 31701
/proc/meminfo: memFree=23609896/32951124 swapFree=67111524/67111528
[pid=31664] ppid=31662 vsize=875604 CPUtime=4482.53 cores=0,2,4,6
/proc/31664/stat : 31664 (techdemo) R 31662 31664 30965 0 -1 4202496 492918 0 0 0 448030 223 0 0 25 0 4 0 519243446 896618496 92161 33554432000 4194304 4797429 140735480732944 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31664/statm: 218901 92161 420 148 0 213830 0
[pid=31664/tid=31666] ppid=31662 vsize=875604 CPUtime=1122.11 cores=0,2,4,6
/proc/31664/task/31666/stat : 31666 (techdemo) R 31662 31664 30965 0 -1 4202560 45850 0 0 0 112190 21 0 0 25 0 4 0 519243462 896618496 92161 33554432000 4194304 4797429 140735480732944 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31664/tid=31667] ppid=31662 vsize=875604 CPUtime=1116.03 cores=0,2,4,6
/proc/31664/task/31667/stat : 31667 (techdemo) R 31662 31664 30965 0 -1 4202560 47288 0 0 0 111589 14 0 0 25 0 4 0 519243462 896618496 92161 33554432000 4194304 4797429 140735480732944 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31664/tid=31668] ppid=31662 vsize=875604 CPUtime=1122.14 cores=0,2,4,6
/proc/31664/task/31668/stat : 31668 (techdemo) R 31662 31664 30965 0 -1 4202560 46164 0 0 0 112194 20 0 0 25 0 4 0 519243462 896618496 92161 33554432000 4194304 4797429 140735480732944 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.53
Current children cumulated vsize (KiB) 875604

[startup+1182.3 s]
/proc/loadavg: 8.08 8.10 8.03 9/184 31703
/proc/meminfo: memFree=23622884/32951124 swapFree=67111524/67111528
[pid=31664] ppid=31662 vsize=875956 CPUtime=4722.19 cores=0,2,4,6
/proc/31664/stat : 31664 (techdemo) R 31662 31664 30965 0 -1 4202496 521380 0 0 0 471983 236 0 0 25 0 4 0 519243446 896978944 90935 33554432000 4194304 4797429 140735480732944 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31664/statm: 218989 90935 420 148 0 213918 0
[pid=31664/tid=31666] ppid=31662 vsize=875956 CPUtime=1182.11 cores=0,2,4,6
/proc/31664/task/31666/stat : 31666 (techdemo) R 31662 31664 30965 0 -1 4202560 47416 0 0 0 118190 21 0 0 25 0 4 0 519243462 896978944 90935 33554432000 4194304 4797429 140735480732944 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31664/tid=31667] ppid=31662 vsize=875956 CPUtime=1175.71 cores=0,2,4,6
/proc/31664/task/31667/stat : 31667 (techdemo) R 31662 31664 30965 0 -1 4202560 49992 0 0 0 117556 15 0 0 25 0 4 0 519243462 896978944 90935 33554432000 4194304 4797429 140735480732944 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31664/tid=31668] ppid=31662 vsize=875956 CPUtime=1182.13 cores=0,2,4,6
/proc/31664/task/31668/stat : 31668 (techdemo) R 31662 31664 30965 0 -1 4202560 48459 0 0 0 118193 20 0 0 25 0 4 0 519243462 896978944 90935 33554432000 4194304 4797429 140735480732944 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.19
Current children cumulated vsize (KiB) 875956



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.81 s]
/proc/loadavg: 8.06 8.10 8.03 5/180 31704
/proc/meminfo: memFree=24047236/32951124 swapFree=67111524/67111528
[pid=31664] ppid=31662 vsize=875992 CPUtime=4800.12 cores=0,2,4,6
/proc/31664/stat : 31664 (techdemo) R 31662 31664 30965 0 -1 4202496 529393 0 0 0 479772 240 0 0 25 0 4 0 519243446 897015808 87666 33554432000 4194304 4797429 140735480732944 18446744073709551615 4341204 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31664/statm: 218998 87666 420 148 0 213927 0
[pid=31664/tid=31666] ppid=31662 vsize=875992 CPUtime=1201.62 cores=0,2,4,6
/proc/31664/task/31666/stat : 31666 (techdemo) R 31662 31664 30965 0 -1 4202560 47752 0 0 0 120140 22 0 0 25 0 4 0 519243462 897015808 87666 33554432000 4194304 4797429 140735480732944 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31664/tid=31667] ppid=31662 vsize=875992 CPUtime=1195.11 cores=0,2,4,6
/proc/31664/task/31667/stat : 31667 (techdemo) R 31662 31664 30965 0 -1 4202560 50366 0 0 0 119495 16 0 0 25 0 4 0 519243462 897015808 87666 33554432000 4194304 4797429 140735480732944 18446744073709551615 4332783 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31664/tid=31668] ppid=31662 vsize=875992 CPUtime=1201.65 cores=0,2,4,6
/proc/31664/task/31668/stat : 31668 (techdemo) R 31662 31664 30965 0 -1 4202560 49053 0 0 0 120144 21 0 0 25 0 4 0 519243462 897015808 87666 33554432000 4194304 4797429 140735480732944 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 875992

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.84
CPU time (s): 4800.17
CPU user time (s): 4797.75
CPU system time (s): 2.42563
CPU usage (%): 399.404
Max. virtual memory (cumulated for all children) (KiB): 984724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.75
system time used= 2.42563
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 529396
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= 1614
involuntary context switches= 23044

runsolver used 1.9407 second user time and 4.6353 second system time

The end

Launcher Data 

Begin job on node139 at 2011-04-29 13:27:37
IDJOB=3172579
IDBENCH=82597
IDSOLVER=1584
FILE ID=node139/3172579-1304076457
RUNJOBID= node139-1304076457-31644
PBS_JOBID= 13170485
Free space on /tmp= 72544 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v15000-c63000-S980027332-029-UNKNOWN.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3172579-1304076457/watcher-3172579-1304076457 -o /tmp/evaluation-result-3172579-1304076457/solver-3172579-1304076457 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3172579-1304076457.cnf

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

MD5SUM BENCH= c08a1b82ea5b515d260c5edf61d7067c
RANDOM SEED=2140753238

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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.852
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.852
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	: 5321.49
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.852
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.852
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.82
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.852
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:     32951124 kB
MemFree:      24367000 kB
Buffers:       2037516 kB
Cached:        5932720 kB
SwapCached:          4 kB
Active:         951684 kB
Inactive:      7114476 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24367000 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           18256 kB
Writeback:          64 kB
AnonPages:       94912 kB
Mapped:          15300 kB
Slab:           453472 kB
PageTables:       4908 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   272392 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= 72544 MiB
End job on node139 at 2011-04-29 13:47:41