Trace number 3172596

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.23 1201.83

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v15000-c63000-S1386494586-003-UNKNOWN.cnf
MD5SUM21fe95d2e5d58f03a2d75a4512a80cd8
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark23.1745
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-3172596-1304077976.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.16	c  N st     0         0     15000     63000         0         0    189000         0   no data   no data  --
0.29/0.21	c asymm  cl-useful: 0/63000/63000 lits-rem:0 time: 0.17
0.29/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.29/0.25	c Calc non-exist non-lernt bins v-fix:     0 done:  15000 time:  0.02 s
0.29/0.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.29/0.26	c Subs w/ non-existent bins:      0 time:  0.01 s
0.29/0.29	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.29/0.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.67/0.40	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
1.46/0.50	c lits-rem:         0  cl-subs:        0  v-elim:    918  v-fix:    0  time:  0.62 s
1.46/0.50	c learnt bin added due to v-elim: 0
1.46/0.50	c Finding binary XORs  T:     0.01 s  found:       0
1.46/0.50	c Finding non-binary XORs:     0.13 s (found:       0, avg size: nan)
1.46/0.50	c calculated reachability. Time: 0.00
1.46/0.50	c Calc default polars -  time:   0.02 s pos:    6551 undec:    1779 neg:    6670
1.46/0.50	c =========================================================================================
1.46/0.50	c types(t): F = full restart, N = normal restart
1.46/0.50	c types(t): S = simplification begin/end, E = solution found
1.46/0.50	c restart types(rt): st = static, dy = dynamic
1.46/0.50	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
1.46/0.50	c  B st     0         0     14465     62330         0         0    189892         0   no data   no data  --
3.47/1.07	c Decided on dynamic restart strategy
5.06/1.47	c  N dy    20      4084     14465     62330         0      4083    189892    744186    152.43    118.76  --
9.44/2.54	c  N dy    49      8186     14465     62330         0      8185    189892   1378456    154.32    110.99  --
13.43/3.53	c  N dy    77     12206     14465     62330         0     12204    189892   1990127    154.21    107.87  --
17.82/4.63	c  N dy   106     16315     14465     62330         0     16311    189892   2657060    160.53    107.96  --
22.62/5.83	c  N dy   134     20388     14465     62330         0     10386    189892    507781    147.06    106.55  --
27.41/7.00	c  N dy   163     24511     14465     62330         0     14509    189892   1124915    158.16    105.64  --
31.41/8.06	c  N dy   192     28612     14465     62330         0     18610    189892   1708406    156.24    104.46  --
33.81/8.61	c  S st   202     30000     14465     62330         0     19998    189892   1929365    159.07    104.51  --
34.22/8.76	c  S st   202     30506     14465     62330         0     20504    189892   1993157    159.07    104.51  --
34.22/8.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
34.22/8.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
35.00/8.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.70
35.00/8.95	c Calc non-exist non-lernt bins v-fix:     0 done:  14465 time:  0.03 s
35.00/8.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
35.00/8.97	c Subs w/ non-existent bins:      0 time:  0.07 s
35.80/9.12	c bin-w-bin subsume rem            0 bins  time:  0.02 s
35.80/9.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
35.80/9.13	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
52.19/13.23	c lits-rem:         5  cl-subs:     1365  v-elim:    223  v-fix:    0  time: 16.38 s
52.19/13.23	c learnt bin added due to v-elim: 0
52.19/13.24	c vivif2 --  cl tried    62330 cl shrink        0 lits rem          0 time: 0.02
52.19/13.26	c vivif2 --  cl tried    19139 cl shrink        0 lits rem          0 time: 0.08
52.97/13.46	c asymm  cl-useful: 0/62330/62330 lits-rem:0 time: 0.80
52.97/13.46	c calculated reachability. Time: 0.00
52.97/13.46	c  N dy   202     30506     14465     62330         0     19139    189892   1906967    159.07    104.51  --
52.97/13.46	c  F st   202     30506     14465     62330         0     19139    189892   1906967    159.07    104.51  --
55.38/14.06	c Decided on dynamic restart strategy
57.77/14.65	c  N dy   222     34611     14465     62330         0     23244    189892   2549497    141.93    104.20  --
62.95/15.96	c  N dy   251     38748     14465     62330         0     27381    189892   3176333    165.53    104.06  --
68.15/17.27	c  N dy   280     42867     14465     62330         0     16001    189892    641118    164.18    103.70  --
71.75/18.12	c  S st   301     45761     14465     62330         0     18894    189892   1079423    163.28    103.52  --
72.15/18.25	c  S st   301     46266     14465     62330         0     19399    189892   1135158    163.28    103.52  --
72.15/18.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
72.15/18.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
72.95/18.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.55
72.95/18.41	c Calc non-exist non-lernt bins v-fix:     0 done:  14465 time:  0.02 s
72.95/18.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
72.95/18.42	c Subs w/ non-existent bins:      0 time:  0.05 s
72.95/18.48	c bin-w-bin subsume rem            0 bins  time:  0.02 s
72.95/18.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
72.95/18.49	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
82.55/20.90	c lits-rem:         3  cl-subs:      608  v-elim:    223  v-fix:    0  time:  9.61 s
82.55/20.90	c learnt bin added due to v-elim: 0
82.95/20.91	c vivif2 --  cl tried    62330 cl shrink        0 lits rem          0 time: 0.02
82.95/20.92	c vivif2 --  cl tried    18791 cl shrink        0 lits rem          0 time: 0.06
83.33/21.08	c asymm  cl-useful: 0/62330/62330 lits-rem:0 time: 0.65
83.33/21.09	c calculated reachability. Time: 0.00
83.33/21.09	c  N dy   301     46266     14465     62330         0     18791    189892   1105599    163.28    103.52  --
88.52/22.36	c  N dy   330     50404     14465     62330         0     22927    189892   1742743    144.45    103.63  --
92.92/23.49	c  N dy   358     54412     14465     62330         0     26935    189892   2382330    158.50    103.78  --
98.11/24.71	c  N dy   386     58469     14465     62330         0     30992    189892   3027314    165.31    103.73  --
103.30/26.09	c  N dy   415     62570     14465     62330         0     35092    189892   3674240    155.64    103.90  --
108.91/27.48	c  N dy   444     66670     14465     62330         0     20444    189892    800882    146.52    103.79  --
112.90/28.41	c  S st   464     69399     14465     62330         0     23173    189892   1219126    161.49    103.76  --
113.31/28.56	c  S st   464     69901     14465     62330         0     23675    189892   1272233    161.49    103.76  --
113.31/28.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
113.31/28.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
114.09/28.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.9M T:  0.58
114.09/28.72	c Calc non-exist non-lernt bins v-fix:     0 done:  14465 time:  0.02 s
114.09/28.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
114.09/28.73	c Subs w/ non-existent bins:      0 time:  0.05 s
114.49/28.80	c bin-w-bin subsume rem            0 bins  time:  0.02 s
114.49/28.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
114.49/28.81	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
124.07/31.20	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
130.88/32.96	c Added 0 vars  tried: 80000 time: 7.00
130.88/32.96	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:    7.00
130.88/32.99	c lits-rem:         0  cl-subs:      777  v-elim:    223  v-fix:    0  time: 16.71 s
130.88/32.99	c learnt bin added due to v-elim: 0
130.88/33.00	c vivif2 --  cl tried    62330 cl shrink        0 lits rem          0 time: 0.03
131.28/33.01	c vivif2 --  cl tried    22898 cl shrink        0 lits rem          0 time: 0.06
131.66/33.19	c asymm  cl-useful: 0/62330/62330 lits-rem:0 time: 0.71
132.06/33.20	c calculated reachability. Time: 0.00
132.06/33.20	c  N dy   464     69901     14465     62330         0     22898    189892   1229804    161.49    103.76  --
132.06/33.20	c  F st   464     69901     14465     62330         0     22898    189892   1229804    161.49    103.76  --
134.86/33.90	c Decided on dynamic restart strategy
137.66/34.66	c  N dy   487     74422     14465     62330         0     27418    189892   1965430    157.40    104.01  --
143.65/36.11	c  N dy   521     79279     14465     62330         0     32275    189892   2723907    156.54    103.96  --
150.03/37.78	c  N dy   557     84432     14465     62330         0     37428    189892   3540335    154.15    104.15  --
158.02/39.74	c  N dy   595     89878     14465     62330         0     22001    189892    709649    156.75    104.00  --
165.62/41.61	c  N dy   636     95730     14465     62330         0     27853    189892   1611744    150.88    103.91  --
173.60/43.60	c  N dy   679    101866     14465     62330         0     33989    189892   2545428    141.50    103.73  --
178.40/44.83	c  S st   701    104851     14465     62330         0     36974    189892   2975404    145.22    103.54  --
179.21/45.02	c  S st   701    105352     14465     62330         0     37475    189892   3039965    145.22    103.54  --
179.21/45.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
179.21/45.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
180.39/45.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.4M T:  1.06
180.39/45.31	c Calc non-exist non-lernt bins v-fix:     0 done:  14465 time:  0.03 s
180.39/45.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
180.39/45.33	c Subs w/ non-existent bins:      0 time:  0.11 s
181.19/45.50	c bin-w-bin subsume rem            0 bins  time:  0.02 s
181.19/45.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
181.19/45.51	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
210.75/53.00	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
211.15/53.05	c lits-rem:         0  cl-subs:     1428  v-elim:    223  v-fix:    0  time: 30.14 s
211.15/53.05	c learnt bin added due to v-elim: 0
211.15/53.06	c vivif2 --  cl tried    62330 cl shrink        0 lits rem          0 time: 0.02
211.15/53.09	c vivif2 --  cl tried    36047 cl shrink        0 lits rem          0 time: 0.13
212.35/53.38	c asymm  cl-useful: 0/62330/62330 lits-rem:0 time: 1.16
212.35/53.39	c calculated reachability. Time: 0.00
212.35/53.39	c  N dy   701    105352     14465     62330         0     36047    189892   2919858    145.22    103.54  --
221.14/55.54	c  N dy   749    112198     14465     62330         0     42893    189892   4027639    146.50    103.74  --
229.92/57.76	c  N dy   800    119485     14465     62330         0     27742    189892   1334083    162.99    103.63  --
239.12/60.08	c  N dy   853    127129     14465     62330         0     35385    189892   2494405    161.00    103.45  --
249.92/62.74	c  N dy   910    135287     14474     62330        18     43551    189928   3717401    159.98    103.24  --
261.08/65.50	c  N dy   971    143972     14474     62330        18     28515    189928   1208034    143.19    103.13  --
272.67/68.41	c  N dy  1036    153260     14474     62330        18     37803    189928   2620095    154.91    102.96  --
280.27/70.32	c  S st  1070    158028     14474     62330        18     42571    189928   3347583    139.09    102.88  --
281.05/70.52	c  S st  1070    158531     14474     62330        18     43074    189928   3411187    139.09    102.88  --
281.05/70.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
281.05/70.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
282.25/70.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.8M T:  1.20
282.25/70.84	c Calc non-exist non-lernt bins v-fix:     0 done:  14474 time:  0.03 s
282.25/70.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
282.25/70.87	c Subs w/ non-existent bins:      0 time:  0.12 s
283.06/71.04	c bin-w-bin subsume rem            0 bins  time:  0.02 s
283.06/71.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
283.06/71.05	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
358.16/89.80	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
358.16/89.87	c lits-rem:         0  cl-subs:     1839  v-elim:    225  v-fix:    0  time: 75.18 s
358.16/89.87	c learnt bin added due to v-elim: 0
358.16/89.88	c vivif2 --  cl tried    62330 cl shrink        0 lits rem          0 time: 0.02
358.56/89.91	c vivif2 --  cl tried    41235 cl shrink        0 lits rem          0 time: 0.15
359.78/90.25	c asymm  cl-useful: 0/62330/62330 lits-rem:0 time: 1.33
359.78/90.25	c calculated reachability. Time: 0.00
359.78/90.25	c  N dy  1070    158531     14474     62330        18     41235    189928   3278376    139.09    102.88  --
373.73/93.79	c  N dy  1141    168709     14474     62330        18     26552    189928    737678    165.52    102.86  --
388.51/97.41	c  N dy  1217    179602     14474     62330        18     37444    189928   2428175    170.71    102.89  --
404.49/101.40	c  N dy  1297    191147     14474     62330        18     48986    189928   4241099    178.60    102.94  --
420.88/105.54	c  N dy  1382    203372     14474     62330        18     35282    189928   1918931    164.16    103.10  --
439.25/110.18	c  N dy  1473    216358     14474     62330        18     48265    189928   3902771    139.47    103.06  --
458.42/114.96	c  N dy  1569    230185     14474     62330        18     35129    189928   1714246    158.28    103.26  --
470.40/117.94	c  S st  1623    237796     14474     62330        18     42740    189928   2891036    160.15    103.25  --
471.20/118.15	c  S st  1623    238299     14474     62330        18     43243    189928   2939796    160.15    103.25  --
471.20/118.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
471.20/118.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
472.40/118.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.2M T:  1.20
472.40/118.47	c Calc non-exist non-lernt bins v-fix:     0 done:  14474 time:  0.03 s
472.40/118.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
472.80/118.50	c Subs w/ non-existent bins:      0 time:  0.10 s
473.20/118.63	c bin-w-bin subsume rem            0 bins  time:  0.02 s
473.20/118.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
473.20/118.64	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
505.95/126.80	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
505.95/126.86	c lits-rem:         0  cl-subs:     1999  v-elim:    225  v-fix:    0  time: 32.81 s
505.95/126.86	c learnt bin added due to v-elim: 0
505.95/126.87	c vivif2 --  cl tried    62330 cl shrink        0 lits rem          0 time: 0.02
506.35/126.90	c vivif2 --  cl tried    41244 cl shrink        0 lits rem          0 time: 0.13
507.15/127.19	c asymm  cl-useful: 0/62330/62330 lits-rem:0 time: 1.18
507.55/127.20	c calculated reachability. Time: 0.00
507.55/127.20	c  N dy  1623    238299     14474     62330        18     41244    189928   2815958    160.15    103.25  --
528.32/132.40	c  N dy  1730    253636     14474     62330        18     28600    189928    511527    143.92    103.07  --
548.72/137.59	c  N dy  1843    269864     14474     62330        18     44825    189928   3018045    158.57    103.06  --
573.07/143.64	c  N dy  1963    287110     14474     62330        18     33080    189928   1056468    155.01    103.13  --
598.23/149.92	c  N dy  2092    305572     14474     62330        18     51541    189928   3917322    152.40    103.17  --
625.79/156.84	c  N dy  2229    325186     14474     62330        18     41160    189928   2113182    142.94    103.14  --
655.75/164.33	c  N dy  2369    345211     14474     62330        18     61184    189928   5215647    168.25    103.19  --
673.33/168.76	c  S st  2455    357452     14474     62330        18     42428    189928   2193248    153.73    103.21  --
674.12/168.96	c  S st  2455    357957     14474     62330        18     42933    189928   2249873    153.73    103.21  --
674.12/168.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
674.12/168.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
675.33/169.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.0M T:  1.23
675.33/169.29	c Calc non-exist non-lernt bins v-fix:     0 done:  14474 time:  0.03 s
675.33/169.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
675.74/169.31	c Subs w/ non-existent bins:      0 time:  0.08 s
676.14/169.43	c bin-w-bin subsume rem            0 bins  time:  0.02 s
676.14/169.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
676.14/169.44	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
697.72/174.85	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
707.68/177.30	c Added 0 vars  tried: 80000 time: 9.77
707.68/177.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:    9.78
707.68/177.35	c lits-rem:         1  cl-subs:     2286  v-elim:    225  v-fix:    0  time: 31.59 s
707.68/177.35	c learnt bin added due to v-elim: 0
707.68/177.35	c vivif2 --  cl tried    62330 cl shrink        0 lits rem          0 time: 0.02
707.68/177.38	c vivif2 --  cl tried    40647 cl shrink        0 lits rem          0 time: 0.11
708.88/177.63	c asymm  cl-useful: 0/62330/62330 lits-rem:0 time: 0.98
708.88/177.63	c calculated reachability. Time: 0.00
708.88/177.63	c  N dy  2455    357957     14474     62330        18     40647    189928   2148288    153.73    103.21  --
739.24/185.27	c  N dy  2595    378019     14474     62330        18     60707    189928   5272600    151.30    103.24  --
768.80/192.64	c  N dy  2735    398103     14474     62330        18     48791    189928   3035113    156.68    103.27  --
800.35/200.51	c  N dy  2875    418137     14474     62330        18     35826    189928    862078    163.79    103.35  --
830.71/208.17	c  N dy  3016    438287     14474     62330        18     55975    189928   4022203    167.54    103.38  --
862.27/216.00	c  N dy  3156    458411     14474     62330        18     42101    189928   1681611    166.95    103.40  --
892.22/223.51	c  N dy  3296    478556     14474     62330        18     62242    189928   4858723    151.93    103.43  --
920.60/230.65	c  N dy  3436    498573     14474     62330        18     47261    189928   2329061    156.88    103.43  --
950.95/238.28	c  N dy  3575    518669     14474     62330        18     67353    189928   5526955    172.92    103.52  --
978.51/245.14	c  S st  3703    536935     14474     62330        18     49625    189928   2486988    148.50    103.48  --
979.33/245.34	c  S st  3703    537441     14474     62330        18     50131    189928   2548483    148.50    103.48  --
979.33/245.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
979.33/245.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
980.90/245.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  4.6M T:  1.47
980.90/245.72	c Calc non-exist non-lernt bins v-fix:     0 done:  14474 time:  0.03 s
980.90/245.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
980.90/245.75	c Subs w/ non-existent bins:      0 time:  0.09 s
981.30/245.87	c bin-w-bin subsume rem            0 bins  time:  0.02 s
981.30/245.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
981.30/245.88	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
1010.87/253.26	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
1011.27/253.32	c lits-rem:         1  cl-subs:     2888  v-elim:    225  v-fix:    0  time: 29.69 s
1011.27/253.32	c learnt bin added due to v-elim: 0
1011.27/253.32	c vivif2 --  cl tried    62330 cl shrink        0 lits rem          0 time: 0.02
1011.27/253.35	c vivif2 --  cl tried    47243 cl shrink        0 lits rem          0 time: 0.11
1012.46/253.64	c asymm  cl-useful: 0/62330/62330 lits-rem:0 time: 1.17
1012.46/253.65	c calculated reachability. Time: 0.00
1012.46/253.65	c  N dy  3703    537441     14474     62330        18     47243    189928   2439789    148.50    103.48  --
1012.46/253.65	c  F st  3703    537441     14474     62330        18     47243    189928   2439789    148.50    103.48  --
1015.66/254.45	c Decided on dynamic restart strategy
1044.43/261.64	c  N dy  3834    557540     14474     62330        18     67340    189928   5609512    165.93    103.54  --
1076.00/269.54	c  N dy  3975    577677     14474     62330        18     50477    189928   2544837    150.71    103.55  --
1108.73/277.79	c  N dy  4115    597686     14474     62330        18     70484    189928   5692193    166.20    103.58  --
1140.30/285.62	c  N dy  4254    617731     14474     62330        18     52531    189928   2708297    155.82    103.60  --
1174.24/294.15	c  N dy  4393    637826     14474     62330        18     72623    189928   5898226    154.42    103.63  --
1206.20/302.13	c  N dy  4533    657914     14474     62330        18     53715    189928   2708204    157.47    103.62  --
1240.55/310.75	c  N dy  4674    678053     14474     62330        18     73850    189928   5880403    161.09    103.66  --
1273.33/318.94	c  N dy  4813    698121     14474     62330        18     53922    189928   2631283    159.39    103.73  --
1306.47/327.25	c  N dy  4953    718198     14474     62330        18     73994    189928   5836960    159.42    103.78  --
1337.62/335.02	c  N dy  5093    738273     14474     62330        18     53070    189928   2274907    161.95    103.70  --
1368.78/342.88	c  N dy  5233    758329     14474     62330        18     73124    189928   5471011    178.22    103.76  --
1401.15/350.94	c  N dy  5373    778425     14474     62330        18     51223    189928   1846098    166.90    103.74  --
1432.30/358.79	c  N dy  5512    798436     14474     62330        18     71233    189928   4968501    159.17    103.74  --
1448.28/362.72	c  S st  5566    806162     14474     62330        18     78958    189928   6172082    150.84    103.74  --
1449.09/362.99	c  S st  5566    806668     14474     62330        18     79464    189928   6237505    150.84    103.74  --
1449.49/363.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1449.49/363.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1452.27/363.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.2M T:  2.85
1452.27/363.73	c Calc non-exist non-lernt bins v-fix:     0 done:  14474 time:  0.03 s
1452.27/363.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1452.27/363.78	c Subs w/ non-existent bins:      0 time:  0.20 s
1453.49/364.09	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1453.49/364.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1453.89/364.10	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
1859.72/465.79	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
1888.50/472.91	c Added 0 vars  tried: 80000 time: 28.41
1888.50/472.91	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:   28.41
1888.91/473.02	c lits-rem:         0  cl-subs:     4606  v-elim:    225  v-fix:    0  time: 435.03 s
1888.91/473.02	c learnt bin added due to v-elim: 0
1888.91/473.02	c vivif2 --  cl tried    62330 cl shrink        0 lits rem          0 time: 0.02
1888.91/473.09	c vivif2 --  cl tried    74858 cl shrink        0 lits rem          0 time: 0.27
1890.88/473.53	c asymm  cl-useful: 0/50558/62330 lits-rem:0 time: 1.75
1890.88/473.53	c calculated reachability. Time: 0.00
1890.88/473.53	c  N dy  5566    806668     14474     62330        18     74858    189928   5958655    150.84    103.74  --
1925.24/482.11	c  N dy  5706    826708     14474     62330        18     51904    189928   1821359    159.72    103.74  --
1957.98/490.34	c  N dy  5845    846727     14474     62330        18     71919    189928   4924577    163.78    103.74  --
1994.36/499.41	c  N dy  5985    866770     14474     62330        18     47965    189928   1054982    163.16    103.79  --
2026.69/507.56	c  N dy  6125    886860     14474     62330        18     68050    189928   4149434    163.06    103.77  --
2065.03/517.17	c  N dy  6265    906944     14474     62330        18     88128    189928   7290717    155.09    103.78  --
2098.20/525.49	c  N dy  6404    926972     14474     62330        18     63158    189928   3359548    177.63    103.85  --
2135.74/534.80	c  N dy  6544    947065     14474     62330        18     83246    189928   6516658    162.11    103.86  --
2169.72/543.33	c  N dy  6684    967154     14474     62330        18     57344    189928   2237749    161.40    103.88  --
2203.65/551.83	c  N dy  6824    987198     14474     62330        18     77386    189928   5351597    160.17    103.87  --
2240.01/560.97	c  N dy  6964   1007256     14474     62330        18     50450    189928    985090    147.10    103.84  --
2272.35/569.06	c  N dy  7103   1027387     14474     62330        18     70578    189928   4165344    163.31    103.86  --
2307.51/577.88	c  N dy  7242   1047458     14474     62330        18     90648    189928   7325469    164.67    103.88  --
2340.27/586.03	c  N dy  7382   1067606     14474     62330        18     62799    189928   2728749    168.30    103.88  --
2374.63/594.68	c  N dy  7522   1087648     14474     62330        18     82836    189928   5899964    169.54    103.91  --
2411.79/603.91	c  N dy  7661   1107660     14474     62330        18     53855    189928   1200090    149.30    103.90  --
2444.53/612.19	c  N dy  7801   1127782     14474     62330        18     73973    189928   4331646    151.91    103.89  --
2482.87/621.74	c  N dy  7940   1147796     14474     62330        18     93983    189928   7354972    136.99    103.85  --
2518.02/630.52	c  N dy  8080   1167853     14474     62330        18     64046    189928   2644604    155.62    103.86  --
2553.59/639.47	c  N dy  8219   1187938     14474     62330        18     84129    189928   5799351    162.01    103.87  --
2593.12/649.39	c  N dy  8359   1208037     14474     62330        18     53232    189928    814829    161.68    103.91  --
2596.72/650.27	c  S st  8373   1210002     14474     62330        18     55197    189928   1106102    150.00    103.90  --
2597.92/650.52	c  S st  8373   1210506     14474     62330        18     55701    189928   1163934    150.00    103.90  --
2597.92/650.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2597.92/650.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2599.52/650.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  9.3M T:  1.82
2599.52/650.99	c Calc non-exist non-lernt bins v-fix:     0 done:  14474 time:  0.03 s
2599.52/650.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2599.92/651.01	c Subs w/ non-existent bins:      0 time:  0.06 s
2599.92/651.07	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2599.92/651.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2599.92/651.08	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.02 s
2610.70/653.75	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
2615.50/654.90	c Added 0 vars  tried: 80000 time: 4.61
2615.50/654.90	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:    4.61
2615.50/654.94	c lits-rem:         0  cl-subs:     3545  v-elim:    225  v-fix:    0  time: 15.41 s
2615.50/654.94	c learnt bin added due to v-elim: 0
2615.50/654.95	c vivif2 --  cl tried    62330 cl shrink        0 lits rem          0 time: 0.02
2615.50/654.97	c vivif2 --  cl tried    52156 cl shrink        0 lits rem          0 time: 0.07
2615.90/655.02	c asymm  cl-useful: 0/11772/62330 lits-rem:0 time: 0.22
2615.90/655.03	c calculated reachability. Time: 0.00
2615.90/655.03	c  N dy  8373   1210506     14474     62330        18     52156    189928   1106750    150.00    103.90  --
2650.65/663.75	c  N dy  8512   1230539     14474     62330        18     72184    189928   4284380    154.26    103.94  --
2690.60/673.78	c  N dy  8653   1250664     14474     62330        18     92305    189928   7414397    155.32    103.92  --
2730.14/683.62	c  N dy  8793   1270705     14474     62330        18     60353    189928   1806473    160.89    103.92  --
2764.89/692.37	c  N dy  8932   1290723     14474     62330        18     80365    189928   4975178    154.64    103.93  --
2805.24/702.47	c  N dy  9072   1310771     14474     62330        18    100411    189928   8101798    166.85    103.94  --
2841.60/711.53	c  N dy  9212   1330866     14474     62330        18     67511    189928   2786321    160.73    103.97  --
2877.17/720.49	c  N dy  9352   1350922     14474     62330        18     87564    189928   5911373    178.72    103.97  --
2917.49/730.50	c  N dy  9492   1371032     14474     62330        18    107674    189928   9061486    173.53    103.98  --
2949.45/738.54	c  N dy  9632   1391157     14474     62330        18     73805    189928   3543257    160.66    103.96  --
2985.80/747.64	c  N dy  9772   1411258     14474     62330        18     93903    189928   6710666    173.37    103.98  --
3025.75/757.68	c  N dy  9912   1431290     14474     62330        18     58941    189928   1108840    158.40    103.97  --
3060.10/766.28	c  N dy 10053   1451419     14474     62330        18     79066    189928   4245559    158.02    103.96  --
3098.85/775.94	c  N dy 10192   1471424     14474     62330        18     99065    189928   7409086    159.06    103.98  --
3139.20/786.00	c  N dy 10331   1491535     14474     62330        18     63185    189928   1649658    162.20    104.01  --
3175.55/795.20	c  N dy 10471   1511639     14474     62330        18     83285    189928   4840247    157.43    104.03  --
3215.92/805.28	c  N dy 10611   1531695     14474     62330        18    103339    189928   7973416    159.20    104.02  --
3256.64/815.46	c  N dy 10751   1551765     14474     62330        18     66414    189928   1983721    162.50    104.03  --
3294.19/824.80	c  N dy 10891   1571851     14474     62330        18     86500    189928   5152288    148.27    104.03  --
3336.93/835.51	c  N dy 11031   1591937     14474     62330        18    106585    189928   8285255    154.78    104.03  --
3376.08/845.38	c  N dy 11171   1611953     14474     62330        18     68604    189928   2138301    155.48    104.01  --
3415.23/855.17	c  N dy 11309   1631986     14474     62330        18     88631    189928   5378891    164.86    104.05  --
3458.36/865.97	c  N dy 11448   1652003     14474     62330        18    108641    189928   8572599    167.18    104.07  --
3499.91/876.30	c  N dy 11587   1672039     14474     62330        18     69684    189928   2192273    152.24    104.07  --
3537.86/885.84	c  N dy 11726   1692102     14474     62330        18     89747    189928   5368572    161.77    104.08  --
3578.20/895.92	c  S st 11856   1710507     14474     62330        18    108147    189928   8232767    170.69    104.08  --
3579.40/896.27	c  S st 11856   1711012     14474     62330        18    108652    189928   8291230    170.69    104.08  --
3579.40/896.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
3579.40/896.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3584.61/897.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 17.2M T:  4.88
3584.61/897.53	c Calc non-exist non-lernt bins v-fix:     0 done:  14474 time:  0.04 s
3584.61/897.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3584.61/897.59	c Subs w/ non-existent bins:      0 time:  0.27 s
3586.59/898.01	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3586.59/898.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3586.59/898.03	c Removed useless bin:       0  fixed:     0  bprops:   0.06M  time:  0.03 s
4312.42/1079.71	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
4312.82/1079.85	c lits-rem:         0  cl-subs:     6284  v-elim:    225  v-fix:    0  time: 726.28 s
4312.82/1079.85	c learnt bin added due to v-elim: 0
4312.82/1079.86	c vivif2 --  cl tried    62330 cl shrink        0 lits rem          0 time: 0.02
4313.22/1079.95	c vivif2 --  cl tried   102368 cl shrink        0 lits rem          0 time: 0.37
4314.81/1080.39	c asymm  cl-useful: 0/37841/62330 lits-rem:0 time: 1.75
4315.21/1080.40	c calculated reachability. Time: 0.00
4315.21/1080.40	c  N dy 11856   1711012     14474     62330        18    102368    189928   7922245    170.69    104.08  --
4357.56/1091.10	c  N dy 11996   1731090     14474     62330        18     62453    189928    891133    143.18    104.08  --
4393.90/1100.16	c  N dy 12135   1751100     14474     62330        18     82459    189928   4029514    150.04    104.08  --
4435.85/1110.62	c  N dy 12275   1771141     14474     62330        18    102500    189928   7182137    159.00    104.09  --
4480.59/1121.81	c  N dy 12415   1791190     14474     62330        18     61556    189928    608844    155.61    104.09  --
4512.94/1129.99	c  N dy 12556   1811329     14474     62330        18     81694    189928   3809382    152.40    104.11  --
4550.90/1139.40	c  N dy 12696   1831379     14474     62330        18    101742    189928   6958916    151.06    104.11  --
4594.03/1150.28	c  N dy 12836   1851429     14474     62330        18    121789    189928  10132303    155.18    104.13  --
4629.99/1159.27	c  N dy 12975   1871473     14474     62330        18     79839    189928   3355076    160.87    104.15  --
4668.74/1168.90	c  N dy 13114   1891500     14474     62330        18     99862    189928   6570395    151.77    104.17  --
4713.49/1180.17	c  N dy 13254   1911592     14474     62330        18    119950    189928   9749989    154.08    104.18  --
4753.44/1190.19	c  N dy 13395   1931727     14474     62330        18     77092    189928   2730198    168.21    104.19  --
4792.57/1199.91	c  N dy 13535   1951783     14474     62330        18     97148    189928   5851571    148.21    104.19  --

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-3172596-1304077976/watcher-3172596-1304077976 -o /tmp/evaluation-result-3172596-1304077976/solver-3172596-1304077976 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172596-1304077976.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.50 7.96 7.97 2/174 6552
/proc/meminfo: memFree=31709604/32951124 swapFree=67111356/67111528
[pid=6552] ppid=6550 vsize=24220 CPUtime=0 cores=0,2,4,6
/proc/6552/stat : 6552 (techdemo) R 6550 6552 6426 0 -1 4202496 1326 0 0 0 0 0 0 0 25 0 1 0 500213251 24801280 1266 33554432000 4194304 4797429 140734387262960 18446744073709551615 270338080871 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6552/statm: 6055 1269 341 148 0 984 0

[startup+0.0877801 s]
/proc/loadavg: 7.50 7.96 7.97 2/174 6552
/proc/meminfo: memFree=31709604/32951124 swapFree=67111356/67111528
[pid=6552] ppid=6550 vsize=79480 CPUtime=0.08 cores=0,2,4,6
/proc/6552/stat : 6552 (techdemo) R 6550 6552 6426 0 -1 4202496 9496 0 0 0 8 0 0 0 25 0 1 0 500213251 81387520 7943 33554432000 4194304 4797429 140734387262960 18446744073709551615 270338048888 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6552/statm: 19870 7943 348 148 0 14799 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 79480

[startup+0.100799 s]
/proc/loadavg: 7.50 7.96 7.97 2/174 6552
/proc/meminfo: memFree=31709604/32951124 swapFree=67111356/67111528
[pid=6552] ppid=6550 vsize=80480 CPUtime=0.09 cores=0,2,4,6
/proc/6552/stat : 6552 (techdemo) R 6550 6552 6426 0 -1 4202496 9882 0 0 0 9 0 0 0 25 0 1 0 500213251 82411520 8305 33554432000 4194304 4797429 140734387262960 18446744073709551615 270338044613 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6552/statm: 20120 8305 348 148 0 15049 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 80480

[startup+0.300714 s]
/proc/loadavg: 7.50 7.96 7.97 2/174 6552
/proc/meminfo: memFree=31709604/32951124 swapFree=67111356/67111528
[pid=6552] ppid=6550 vsize=783956 CPUtime=0.67 cores=0,2,4,6
/proc/6552/stat : 6552 (techdemo) R 6550 6552 6426 0 -1 4202496 17226 0 0 0 64 3 0 0 18 0 4 0 500213251 802770944 14293 33554432000 4194304 4797429 140734387262960 18446744073709551615 4345754 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6552/statm: 195989 14293 391 148 0 190918 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 783956

[startup+0.700592 s]
/proc/loadavg: 7.50 7.96 7.97 2/174 6552
/proc/meminfo: memFree=31709604/32951124 swapFree=67111356/67111528
[pid=6552] ppid=6550 vsize=788400 CPUtime=2.26 cores=0,2,4,6
/proc/6552/stat : 6552 (techdemo) R 6550 6552 6426 0 -1 4202496 21062 0 0 0 223 3 0 0 18 0 4 0 500213251 807321600 17644 33554432000 4194304 4797429 140734387262960 18446744073709551615 4424335 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6552/statm: 197100 17644 411 148 0 192029 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 788400

[startup+1.50043 s]
/proc/loadavg: 7.50 7.96 7.97 10/184 6565
/proc/meminfo: memFree=31509276/32951124 swapFree=67111356/67111528
[pid=6552] ppid=6550 vsize=789936 CPUtime=5.46 cores=0,2,4,6
/proc/6552/stat : 6552 (techdemo) R 6550 6552 6426 0 -1 4202496 23759 0 0 0 542 4 0 0 19 0 4 0 500213251 808894464 20334 33554432000 4194304 4797429 140734387262960 18446744073709551615 4389144 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6552/statm: 197484 20334 413 148 0 192413 0
[pid=6552/tid=6560] ppid=6550 vsize=789936 CPUtime=1.32 cores=0,2,4,6
/proc/6552/task/6560/stat : 6560 (techdemo) R 6550 6552 6426 0 -1 4202560 2245 0 0 0 132 0 0 0 19 0 4 0 500213268 808894464 20334 33554432000 4194304 4797429 140734387262960 18446744073709551615 4424380 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6552/tid=6561] ppid=6550 vsize=789936 CPUtime=1.31 cores=0,2,4,6
/proc/6552/task/6561/stat : 6561 (techdemo) R 6550 6552 6426 0 -1 4202560 2871 0 0 0 131 0 0 0 19 0 4 0 500213268 808894464 20334 33554432000 4194304 4797429 140734387262960 18446744073709551615 4258789 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6552/tid=6562] ppid=6550 vsize=789936 CPUtime=1.31 cores=0,2,4,6
/proc/6552/task/6562/stat : 6562 (techdemo) R 6550 6552 6426 0 -1 4202560 3227 0 0 0 131 0 0 0 19 0 4 0 500213268 808894464 20334 33554432000 4194304 4797429 140734387262960 18446744073709551615 4424460 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.46
Current children cumulated vsize (KiB) 789936

[startup+3.10111 s]
/proc/loadavg: 7.50 7.96 7.97 9/184 6565
/proc/meminfo: memFree=31477656/32951124 swapFree=67111356/67111528
[pid=6552] ppid=6550 vsize=795760 CPUtime=11.85 cores=0,2,4,6
/proc/6552/stat : 6552 (techdemo) R 6550 6552 6426 0 -1 4202496 28711 0 0 0 1180 5 0 0 24 0 4 0 500213251 814858240 25270 33554432000 4194304 4797429 140734387262960 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6552/statm: 198940 25270 414 148 0 193869 0
[pid=6552/tid=6560] ppid=6550 vsize=795760 CPUtime=2.91 cores=0,2,4,6
/proc/6552/task/6560/stat : 6560 (techdemo) R 6550 6552 6426 0 -1 4202560 3751 0 0 0 291 0 0 0 24 0 4 0 500213268 814858240 25270 33554432000 4194304 4797429 140734387262960 18446744073709551615 270338044613 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6552/tid=6561] ppid=6550 vsize=795760 CPUtime=2.89 cores=0,2,4,6
/proc/6552/task/6561/stat : 6561 (techdemo) R 6550 6552 6426 0 -1 4202560 3983 0 0 0 289 0 0 0 24 0 4 0 500213268 814858240 25270 33554432000 4194304 4797429 140734387262960 18446744073709551615 4390881 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6552/tid=6562] ppid=6550 vsize=795760 CPUtime=2.92 cores=0,2,4,6
/proc/6552/task/6562/stat : 6562 (techdemo) R 6550 6552 6426 0 -1 4202560 4320 0 0 0 291 1 0 0 24 0 4 0 500213268 814858240 25270 33554432000 4194304 4797429 140734387262960 18446744073709551615 4424994 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.85
Current children cumulated vsize (KiB) 795760

[startup+6.30048 s]
/proc/loadavg: 7.54 7.97 7.97 9/184 6565
/proc/meminfo: memFree=31402880/32951124 swapFree=67111356/67111528
[pid=6552] ppid=6550 vsize=809036 CPUtime=24.62 cores=0,2,4,6
/proc/6552/stat : 6552 (techdemo) R 6550 6552 6426 0 -1 4202496 38114 0 0 0 2452 10 0 0 25 0 4 0 500213251 828452864 30969 33554432000 4194304 4797429 140734387262960 18446744073709551615 4424435 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6552/statm: 202259 30969 416 148 0 197188 0
[pid=6552/tid=6560] ppid=6550 vsize=809036 CPUtime=6.11 cores=0,2,4,6
/proc/6552/task/6560/stat : 6560 (techdemo) R 6550 6552 6426 0 -1 4202560 5775 0 0 0 611 0 0 0 25 0 4 0 500213268 828452864 30969 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6552/tid=6561] ppid=6550 vsize=809036 CPUtime=6.07 cores=0,2,4,6
/proc/6552/task/6561/stat : 6561 (techdemo) R 6550 6552 6426 0 -1 4202560 5851 0 0 0 605 2 0 0 23 0 4 0 500213268 828452864 30969 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6552/tid=6562] ppid=6550 vsize=809036 CPUtime=6.11 cores=0,2,4,6
/proc/6552/task/6562/stat : 6562 (techdemo) R 6550 6552 6426 0 -1 4202560 6456 0 0 0 609 2 0 0 23 0 4 0 500213268 828452864 30969 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.62
Current children cumulated vsize (KiB) 809036

[startup+12.7002 s]
/proc/loadavg: 7.57 7.97 7.97 9/184 6565
/proc/meminfo: memFree=31348896/32951124 swapFree=67111356/67111528
[pid=6552] ppid=6550 vsize=813972 CPUtime=50.18 cores=0,2,4,6
/proc/6552/stat : 6552 (techdemo) R 6550 6552 6426 0 -1 4202496 44981 0 0 0 5006 12 0 0 25 0 4 0 500213251 833507328 37561 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568105 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6552/statm: 203493 37561 417 148 0 198422 0
[pid=6552/tid=6560] ppid=6550 vsize=813972 CPUtime=12.52 cores=0,2,4,6
/proc/6552/task/6560/stat : 6560 (techdemo) R 6550 6552 6426 0 -1 4202560 6682 0 0 0 1251 1 0 0 25 0 4 0 500213268 833507328 37561 33554432000 4194304 4797429 140734387262960 18446744073709551615 4241128 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6552/tid=6561] ppid=6550 vsize=813972 CPUtime=12.43 cores=0,2,4,6
/proc/6552/task/6561/stat : 6561 (techdemo) R 6550 6552 6426 0 -1 4202560 6487 0 0 0 1241 2 0 0 25 0 4 0 500213268 833507328 37561 33554432000 4194304 4797429 140734387262960 18446744073709551615 4424975 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6552/tid=6562] ppid=6550 vsize=813972 CPUtime=12.51 cores=0,2,4,6
/proc/6552/task/6562/stat : 6562 (techdemo) R 6550 6552 6426 0 -1 4202560 7358 0 0 0 1249 2 0 0 25 0 4 0 500213268 833507328 37561 33554432000 4194304 4797429 140734387262960 18446744073709551615 4237365 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.18
Current children cumulated vsize (KiB) 813972

[startup+25.5007 s]
/proc/loadavg: 7.75 7.98 7.98 9/184 6565
/proc/meminfo: memFree=31287888/32951124 swapFree=67111356/67111528
[pid=6552] ppid=6550 vsize=822316 CPUtime=101.31 cores=0,2,4,6
/proc/6552/stat : 6552 (techdemo) R 6550 6552 6426 0 -1 4202496 55268 0 0 0 10114 17 0 0 25 0 4 0 500213251 842051584 43192 33554432000 4194304 4797429 140734387262960 18446744073709551615 270338080404 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6552/statm: 205579 43192 419 148 0 200508 0
[pid=6552/tid=6560] ppid=6550 vsize=822316 CPUtime=25.31 cores=0,2,4,6
/proc/6552/task/6560/stat : 6560 (techdemo) R 6550 6552 6426 0 -1 4202560 7829 0 0 0 2530 1 0 0 25 0 4 0 500213268 842051584 43192 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568055 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6552/tid=6561] ppid=6550 vsize=822316 CPUtime=25.17 cores=0,2,4,6
/proc/6552/task/6561/stat : 6561 (techdemo) R 6550 6552 6426 0 -1 4202560 7827 0 0 0 2514 3 0 0 25 0 4 0 500213268 842051584 43192 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6552/tid=6562] ppid=6550 vsize=822316 CPUtime=25.32 cores=0,2,4,6
/proc/6552/task/6562/stat : 6562 (techdemo) R 6550 6552 6426 0 -1 4202560 8390 0 0 0 2529 3 0 0 25 0 4 0 500213268 842051584 43192 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 822316

[startup+51.1006 s]
/proc/loadavg: 7.89 8.00 7.98 9/184 6566
/proc/meminfo: memFree=31269464/32951124 swapFree=67111356/67111528
[pid=6552] ppid=6550 vsize=838264 CPUtime=203.56 cores=0,2,4,6
/proc/6552/stat : 6552 (techdemo) R 6550 6552 6426 0 -1 4202496 75056 0 0 0 20333 23 0 0 25 0 4 0 500213251 858382336 43816 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6552/statm: 209566 43816 420 148 0 204495 0
[pid=6552/tid=6560] ppid=6550 vsize=838264 CPUtime=50.91 cores=0,2,4,6
/proc/6552/task/6560/stat : 6560 (techdemo) R 6550 6552 6426 0 -1 4202560 10077 0 0 0 5089 2 0 0 25 0 4 0 500213268 858382336 43816 33554432000 4194304 4797429 140734387262960 18446744073709551615 4241148 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6552/tid=6561] ppid=6550 vsize=838264 CPUtime=50.63 cores=0,2,4,6
/proc/6552/task/6561/stat : 6561 (techdemo) R 6550 6552 6426 0 -1 4202560 10509 0 0 0 5059 4 0 0 25 0 4 0 500213268 858382336 43816 33554432000 4194304 4797429 140734387262960 18446744073709551615 4523848 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6552/tid=6562] ppid=6550 vsize=838264 CPUtime=50.92 cores=0,2,4,6
/proc/6552/task/6562/stat : 6562 (techdemo) R 6550 6552 6426 0 -1 4202560 11241 0 0 0 5088 4 0 0 25 0 4 0 500213268 858382336 43816 33554432000 4194304 4797429 140734387262960 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.56
Current children cumulated vsize (KiB) 838264

[startup+102.306 s]
/proc/loadavg: 8.08 8.03 7.99 9/184 6567
/proc/meminfo: memFree=31210340/32951124 swapFree=67111356/67111528
[pid=6552] ppid=6550 vsize=852248 CPUtime=408.11 cores=0,2,4,6
/proc/6552/stat : 6552 (techdemo) R 6550 6552 6426 0 -1 4202496 101395 0 0 0 40777 34 0 0 25 0 4 0 500213251 872701952 55192 33554432000 4194304 4797429 140734387262960 18446744073709551615 4377472 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6552/statm: 213062 55192 420 148 0 207991 0
[pid=6552/tid=6560] ppid=6550 vsize=852248 CPUtime=102.11 cores=0,2,4,6
/proc/6552/task/6560/stat : 6560 (techdemo) R 6550 6552 6426 0 -1 4202560 12686 0 0 0 10209 2 0 0 25 0 4 0 500213268 872701952 55192 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6552/tid=6561] ppid=6550 vsize=852248 CPUtime=101.55 cores=0,2,4,6
/proc/6552/task/6561/stat : 6561 (techdemo) R 6550 6552 6426 0 -1 4202560 12554 0 0 0 10150 5 0 0 25 0 4 0 500213268 872701952 55192 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6552/tid=6562] ppid=6550 vsize=852248 CPUtime=102.11 cores=0,2,4,6
/proc/6552/task/6562/stat : 6562 (techdemo) R 6550 6552 6426 0 -1 4202560 13884 0 0 0 10207 4 0 0 25 0 4 0 500213268 872701952 55192 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.11
Current children cumulated vsize (KiB) 852248

[startup+162.301 s]
/proc/loadavg: 8.03 8.02 7.99 9/184 6569
/proc/meminfo: memFree=31157456/32951124 swapFree=67111356/67111528
[pid=6552] ppid=6550 vsize=863512 CPUtime=647.77 cores=0,2,4,6
/proc/6552/stat : 6552 (techdemo) R 6550 6552 6426 0 -1 4202496 141423 0 0 0 64725 52 0 0 25 0 4 0 500213251 884236288 58479 33554432000 4194304 4797429 140734387262960 18446744073709551615 4424454 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6552/statm: 215878 58479 420 148 0 210807 0
[pid=6552/tid=6560] ppid=6550 vsize=863512 CPUtime=162.12 cores=0,2,4,6
/proc/6552/task/6560/stat : 6560 (techdemo) R 6550 6552 6426 0 -1 4202560 16330 0 0 0 16208 4 0 0 25 0 4 0 500213268 884236288 58479 33554432000 4194304 4797429 140734387262960 18446744073709551615 4526174 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6552/tid=6561] ppid=6550 vsize=863512 CPUtime=161.22 cores=0,2,4,6
/proc/6552/task/6561/stat : 6561 (techdemo) R 6550 6552 6426 0 -1 4202560 16378 0 0 0 16116 6 0 0 25 0 4 0 500213268 884236288 58479 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6552/tid=6562] ppid=6550 vsize=863512 CPUtime=162.11 cores=0,2,4,6
/proc/6552/task/6562/stat : 6562 (techdemo) R 6550 6552 6426 0 -1 4202560 17574 0 0 0 16206 5 0 0 25 0 4 0 500213268 884236288 58479 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568144 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 647.77
Current children cumulated vsize (KiB) 863512

[startup+222.301 s]
/proc/loadavg: 8.01 8.02 7.99 9/184 6571
/proc/meminfo: memFree=31120072/32951124 swapFree=67111356/67111528
[pid=6552] ppid=6550 vsize=876468 CPUtime=887.44 cores=0,2,4,6
/proc/6552/stat : 6552 (techdemo) R 6550 6552 6426 0 -1 4202496 176642 0 0 0 88678 66 0 0 25 0 4 0 500213251 897503232 61748 33554432000 4194304 4797429 140734387262960 18446744073709551615 4425824 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6552/statm: 219117 61748 420 148 0 214046 0
[pid=6552/tid=6560] ppid=6550 vsize=876468 CPUtime=222.12 cores=0,2,4,6
/proc/6552/task/6560/stat : 6560 (techdemo) R 6550 6552 6426 0 -1 4202560 18318 0 0 0 22206 6 0 0 25 0 4 0 500213268 897503232 61748 33554432000 4194304 4797429 140734387262960 18446744073709551615 4495559 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6552/tid=6561] ppid=6550 vsize=876468 CPUtime=220.9 cores=0,2,4,6
/proc/6552/task/6561/stat : 6561 (techdemo) R 6550 6552 6426 0 -1 4202560 19761 0 0 0 22083 7 0 0 25 0 4 0 500213268 897503232 61748 33554432000 4194304 4797429 140734387262960 18446744073709551615 4524092 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6552/tid=6562] ppid=6550 vsize=876468 CPUtime=222.11 cores=0,2,4,6
/proc/6552/task/6562/stat : 6562 (techdemo) R 6550 6552 6426 0 -1 4202560 21056 0 0 0 22205 6 0 0 25 0 4 0 500213268 897503232 61748 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 887.44
Current children cumulated vsize (KiB) 876468

[startup+282.301 s]

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

[pid=6552] ppid=6550 vsize=917204 CPUtime=2565.18 cores=0,2,4,6
/proc/6552/stat : 6552 (techdemo) R 6550 6552 6426 0 -1 4202496 357812 0 0 0 256371 147 0 0 25 0 4 0 500213251 939216896 82368 33554432000 4194304 4797429 140734387262960 18446744073709551615 270338080446 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6552/statm: 229301 82368 420 148 0 224230 0
[pid=6552/tid=6560] ppid=6550 vsize=917204 CPUtime=642.14 cores=0,2,4,6
/proc/6552/task/6560/stat : 6560 (techdemo) R 6550 6552 6426 0 -1 4202560 34747 0 0 0 64201 13 0 0 25 0 4 0 500213268 939216896 82368 33554432000 4194304 4797429 140734387262960 18446744073709551615 4387514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6552/tid=6561] ppid=6550 vsize=917204 CPUtime=638.63 cores=0,2,4,6
/proc/6552/task/6561/stat : 6561 (techdemo) R 6550 6552 6426 0 -1 4202560 35277 0 0 0 63851 12 0 0 25 0 4 0 500213268 939216896 82368 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6552/tid=6562] ppid=6550 vsize=917204 CPUtime=642.13 cores=0,2,4,6
/proc/6552/task/6562/stat : 6562 (techdemo) R 6550 6552 6426 0 -1 4202560 37194 0 0 0 64200 13 0 0 25 0 4 0 500213268 939216896 82369 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.18
Current children cumulated vsize (KiB) 917204

[startup+702.3 s]
/proc/loadavg: 8.13 8.07 8.01 9/184 6592
/proc/meminfo: memFree=30949520/32951124 swapFree=67111356/67111528
[pid=6552] ppid=6550 vsize=918296 CPUtime=2804.84 cores=0,2,4,6
/proc/6552/stat : 6552 (techdemo) R 6550 6552 6426 0 -1 4202496 381937 0 0 0 280324 160 0 0 25 0 4 0 500213251 940335104 84011 33554432000 4194304 4797429 140734387262960 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6552/statm: 229574 84011 420 148 0 224503 0
[pid=6552/tid=6560] ppid=6550 vsize=918296 CPUtime=702.14 cores=0,2,4,6
/proc/6552/task/6560/stat : 6560 (techdemo) R 6550 6552 6426 0 -1 4202560 35571 0 0 0 70201 13 0 0 25 0 4 0 500213268 940335104 84011 33554432000 4194304 4797429 140734387262960 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6552/tid=6561] ppid=6550 vsize=918296 CPUtime=698.29 cores=0,2,4,6
/proc/6552/task/6561/stat : 6561 (techdemo) R 6550 6552 6426 0 -1 4202560 37558 0 0 0 69816 13 0 0 25 0 4 0 500213268 940335104 84011 33554432000 4194304 4797429 140734387262960 18446744073709551615 4524092 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6552/tid=6562] ppid=6550 vsize=918296 CPUtime=702.13 cores=0,2,4,6
/proc/6552/task/6562/stat : 6562 (techdemo) R 6550 6552 6426 0 -1 4202560 37886 0 0 0 70199 14 0 0 25 0 4 0 500213268 940335104 84011 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2804.84
Current children cumulated vsize (KiB) 918296

[startup+762.307 s]
/proc/loadavg: 8.16 8.08 8.02 9/184 6594
/proc/meminfo: memFree=30975892/32951124 swapFree=67111356/67111528
[pid=6552] ppid=6550 vsize=928228 CPUtime=3044.55 cores=0,2,4,6
/proc/6552/stat : 6552 (techdemo) R 6550 6552 6426 0 -1 4202496 414120 0 0 0 304280 175 0 0 25 0 4 0 500213251 950505472 79889 33554432000 4194304 4797429 140734387262960 18446744073709551615 4425622 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6552/statm: 232057 79889 420 148 0 226986 0
[pid=6552/tid=6560] ppid=6550 vsize=928228 CPUtime=762.14 cores=0,2,4,6
/proc/6552/task/6560/stat : 6560 (techdemo) R 6550 6552 6426 0 -1 4202560 38261 0 0 0 76200 14 0 0 25 0 4 0 500213268 950505472 79889 33554432000 4194304 4797429 140734387262960 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6552/tid=6561] ppid=6550 vsize=928228 CPUtime=757.98 cores=0,2,4,6
/proc/6552/task/6561/stat : 6561 (techdemo) R 6550 6552 6426 0 -1 4202560 40327 0 0 0 75784 14 0 0 25 0 4 0 500213268 950505472 79889 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6552/tid=6562] ppid=6550 vsize=928228 CPUtime=762.13 cores=0,2,4,6
/proc/6552/task/6562/stat : 6562 (techdemo) R 6550 6552 6426 0 -1 4202560 40901 0 0 0 76198 15 0 0 25 0 4 0 500213268 950505472 79889 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.55
Current children cumulated vsize (KiB) 928228

[startup+822.301 s]
/proc/loadavg: 8.13 8.08 8.01 9/184 6596
/proc/meminfo: memFree=30964060/32951124 swapFree=67111356/67111528
[pid=6552] ppid=6550 vsize=944660 CPUtime=3284.2 cores=0,2,4,6
/proc/6552/stat : 6552 (techdemo) R 6550 6552 6426 0 -1 4202496 440368 0 0 0 328233 187 0 0 25 0 4 0 500213251 967331840 86296 33554432000 4194304 4797429 140734387262960 18446744073709551615 4341204 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6552/statm: 236165 86296 420 148 0 231094 0
[pid=6552/tid=6560] ppid=6550 vsize=944660 CPUtime=822.14 cores=0,2,4,6
/proc/6552/task/6560/stat : 6560 (techdemo) R 6550 6552 6426 0 -1 4202560 40631 0 0 0 82199 15 0 0 25 0 4 0 500213268 967331840 86297 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6552/tid=6561] ppid=6550 vsize=944660 CPUtime=817.65 cores=0,2,4,6
/proc/6552/task/6561/stat : 6561 (techdemo) R 6550 6552 6426 0 -1 4202560 40980 0 0 0 81751 14 0 0 25 0 4 0 500213268 967331840 86297 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6552/tid=6562] ppid=6550 vsize=944660 CPUtime=822.13 cores=0,2,4,6
/proc/6552/task/6562/stat : 6562 (techdemo) R 6550 6552 6426 0 -1 4202560 42910 0 0 0 82197 16 0 0 25 0 4 0 500213268 967331840 86297 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.2
Current children cumulated vsize (KiB) 944660

[startup+882.301 s]
/proc/loadavg: 8.23 8.11 8.02 9/184 6597
/proc/meminfo: memFree=30934504/32951124 swapFree=67111356/67111528
[pid=6552] ppid=6550 vsize=944716 CPUtime=3523.87 cores=0,2,4,6
/proc/6552/stat : 6552 (techdemo) R 6550 6552 6426 0 -1 4202496 463143 0 0 0 352190 197 0 0 25 0 4 0 500213251 967389184 88552 33554432000 4194304 4797429 140734387262960 18446744073709551615 4423648 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6552/statm: 236179 88552 420 148 0 231108 0
[pid=6552/tid=6560] ppid=6550 vsize=944716 CPUtime=882.14 cores=0,2,4,6
/proc/6552/task/6560/stat : 6560 (techdemo) R 6550 6552 6426 0 -1 4202560 41196 0 0 0 88199 15 0 0 25 0 4 0 500213268 967389184 88552 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6552/tid=6561] ppid=6550 vsize=944716 CPUtime=877.32 cores=0,2,4,6
/proc/6552/task/6561/stat : 6561 (techdemo) R 6550 6552 6426 0 -1 4202560 41817 0 0 0 87718 14 0 0 25 0 4 0 500213268 967389184 88552 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6552/tid=6562] ppid=6550 vsize=944716 CPUtime=882.13 cores=0,2,4,6
/proc/6552/task/6562/stat : 6562 (techdemo) R 6550 6552 6426 0 -1 4202560 43943 0 0 0 88197 16 0 0 25 0 4 0 500213268 967389184 88552 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3523.87
Current children cumulated vsize (KiB) 944716

[startup+942.301 s]
/proc/loadavg: 8.22 8.12 8.03 9/184 6599
/proc/meminfo: memFree=30917600/32951124 swapFree=67111356/67111528
[pid=6552] ppid=6550 vsize=944584 CPUtime=3763.56 cores=0,2,4,6
/proc/6552/stat : 6552 (techdemo) R 6550 6552 6426 0 -1 4202496 477862 0 0 0 376152 204 0 0 25 0 4 0 500213251 967254016 91153 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6552/statm: 236146 91153 420 148 0 231075 0
[pid=6552/tid=6560] ppid=6550 vsize=944584 CPUtime=942.14 cores=0,2,4,6
/proc/6552/task/6560/stat : 6560 (techdemo) R 6550 6552 6426 0 -1 4202560 43299 0 0 0 94198 16 0 0 25 0 4 0 500213268 967254016 91153 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6552/tid=6561] ppid=6550 vsize=944584 CPUtime=937.01 cores=0,2,4,6
/proc/6552/task/6561/stat : 6561 (techdemo) R 6550 6552 6426 0 -1 4202560 44775 0 0 0 93685 16 0 0 25 0 4 0 500213268 967254016 91153 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6552/tid=6562] ppid=6550 vsize=944584 CPUtime=942.13 cores=0,2,4,6
/proc/6552/task/6562/stat : 6562 (techdemo) R 6550 6552 6426 0 -1 4202560 46312 0 0 0 94196 17 0 0 25 0 4 0 500213268 967254016 91153 33554432000 4194304 4797429 140734387262960 18446744073709551615 270338080446 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.56
Current children cumulated vsize (KiB) 944584

[startup+1002.3 s]
/proc/loadavg: 8.20 8.13 8.03 9/184 6600
/proc/meminfo: memFree=30859292/32951124 swapFree=67111356/67111528
[pid=6552] ppid=6550 vsize=944584 CPUtime=4003.23 cores=0,2,4,6
/proc/6552/stat : 6552 (techdemo) R 6550 6552 6426 0 -1 4202496 481763 0 0 0 400117 206 0 0 25 0 4 0 500213251 967254016 95022 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6552/statm: 236146 95022 420 148 0 231075 0
[pid=6552/tid=6560] ppid=6550 vsize=944584 CPUtime=1002.15 cores=0,2,4,6
/proc/6552/task/6560/stat : 6560 (techdemo) R 6550 6552 6426 0 -1 4202560 44809 0 0 0 100198 17 0 0 25 0 4 0 500213268 967254016 95022 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6552/tid=6561] ppid=6550 vsize=944584 CPUtime=996.68 cores=0,2,4,6
/proc/6552/task/6561/stat : 6561 (techdemo) R 6550 6552 6426 0 -1 4202560 45877 0 0 0 99651 17 0 0 25 0 4 0 500213268 967254016 95022 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6552/tid=6562] ppid=6550 vsize=944584 CPUtime=1002.14 cores=0,2,4,6
/proc/6552/task/6562/stat : 6562 (techdemo) R 6550 6552 6426 0 -1 4202560 47601 0 0 0 100196 18 0 0 25 0 4 0 500213268 967254016 95022 33554432000 4194304 4797429 140734387262960 18446744073709551615 4424975 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.23
Current children cumulated vsize (KiB) 944584

[startup+1062.3 s]
/proc/loadavg: 8.19 8.13 8.04 9/184 6602
/proc/meminfo: memFree=30888144/32951124 swapFree=67111356/67111528
[pid=6552] ppid=6550 vsize=944584 CPUtime=4242.92 cores=0,2,4,6
/proc/6552/stat : 6552 (techdemo) R 6550 6552 6426 0 -1 4202496 483329 0 0 0 424085 207 0 0 25 0 4 0 500213251 967254016 96260 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6552/statm: 236146 96260 420 148 0 231075 0
[pid=6552/tid=6560] ppid=6550 vsize=944584 CPUtime=1062.15 cores=0,2,4,6
/proc/6552/task/6560/stat : 6560 (techdemo) R 6550 6552 6426 0 -1 4202560 45387 0 0 0 106198 17 0 0 25 0 4 0 500213268 967254016 96260 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6552/tid=6561] ppid=6550 vsize=944584 CPUtime=1056.36 cores=0,2,4,6
/proc/6552/task/6561/stat : 6561 (techdemo) R 6550 6552 6426 0 -1 4202560 46185 0 0 0 105619 17 0 0 25 0 4 0 500213268 967254016 96260 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6552/tid=6562] ppid=6550 vsize=944584 CPUtime=1062.14 cores=0,2,4,6
/proc/6552/task/6562/stat : 6562 (techdemo) R 6550 6552 6426 0 -1 4202560 48281 0 0 0 106196 18 0 0 25 0 4 0 500213268 967254016 96260 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4242.92
Current children cumulated vsize (KiB) 944584

[startup+1122.3 s]
/proc/loadavg: 8.17 8.14 8.04 9/184 6604
/proc/meminfo: memFree=30931624/32951124 swapFree=67111356/67111528
[pid=6552] ppid=6550 vsize=944988 CPUtime=4482.59 cores=0,2,4,6
/proc/6552/stat : 6552 (techdemo) R 6550 6552 6426 0 -1 4202496 502465 0 0 0 448041 218 0 0 25 0 4 0 500213251 967667712 85625 33554432000 4194304 4797429 140734387262960 18446744073709551615 4424639 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6552/statm: 236247 85625 420 148 0 231176 0
[pid=6552/tid=6560] ppid=6550 vsize=944988 CPUtime=1122.15 cores=0,2,4,6
/proc/6552/task/6560/stat : 6560 (techdemo) R 6550 6552 6426 0 -1 4202560 45792 0 0 0 112198 17 0 0 25 0 4 0 500213268 967667712 85625 33554432000 4194304 4797429 140734387262960 18446744073709551615 4372881 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6552/tid=6561] ppid=6550 vsize=944988 CPUtime=1116.02 cores=0,2,4,6
/proc/6552/task/6561/stat : 6561 (techdemo) R 6550 6552 6426 0 -1 4202560 48910 0 0 0 111584 18 0 0 25 0 4 0 500213268 967667712 85625 33554432000 4194304 4797429 140734387262960 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6552/tid=6562] ppid=6550 vsize=944988 CPUtime=1122.14 cores=0,2,4,6
/proc/6552/task/6562/stat : 6562 (techdemo) R 6550 6552 6426 0 -1 4202560 49665 0 0 0 112196 18 0 0 25 0 4 0 500213268 967667712 85625 33554432000 4194304 4797429 140734387262960 18446744073709551615 4237256 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.59
Current children cumulated vsize (KiB) 944988

[startup+1182.3 s]
/proc/loadavg: 8.11 8.12 8.04 9/184 6605
/proc/meminfo: memFree=30848260/32951124 swapFree=67111356/67111528
[pid=6552] ppid=6550 vsize=945400 CPUtime=4722.26 cores=0,2,4,6
/proc/6552/stat : 6552 (techdemo) R 6550 6552 6426 0 -1 4202496 529721 0 0 0 471995 231 0 0 25 0 4 0 500213251 968089600 97312 33554432000 4194304 4797429 140734387262960 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6552/statm: 236350 97312 420 148 0 231279 0
[pid=6552/tid=6560] ppid=6550 vsize=945400 CPUtime=1182.15 cores=0,2,4,6
/proc/6552/task/6560/stat : 6560 (techdemo) R 6550 6552 6426 0 -1 4202560 48903 0 0 0 118197 18 0 0 25 0 4 0 500213268 968089600 97312 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6552/tid=6561] ppid=6550 vsize=945400 CPUtime=1175.71 cores=0,2,4,6
/proc/6552/task/6561/stat : 6561 (techdemo) R 6550 6552 6426 0 -1 4202560 50184 0 0 0 117552 19 0 0 25 0 4 0 500213268 968089600 97312 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6552/tid=6562] ppid=6550 vsize=945400 CPUtime=1182.15 cores=0,2,4,6
/proc/6552/task/6562/stat : 6562 (techdemo) R 6550 6552 6426 0 -1 4202560 51825 0 0 0 118195 20 0 0 25 0 4 0 500213268 968089600 97312 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.26
Current children cumulated vsize (KiB) 945400



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.08 8.11 8.04 9/184 6606
/proc/meminfo: memFree=30877012/32951124 swapFree=67111356/67111528
[pid=6552] ppid=6550 vsize=945432 CPUtime=4800.17 cores=0,2,4,6
/proc/6552/stat : 6552 (techdemo) R 6550 6552 6426 0 -1 4202496 538024 0 0 0 479782 235 0 0 25 0 4 0 500213251 968122368 94295 33554432000 4194304 4797429 140734387262960 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6552/statm: 236358 94295 420 148 0 231287 0
[pid=6552/tid=6560] ppid=6550 vsize=945432 CPUtime=1201.67 cores=0,2,4,6
/proc/6552/task/6560/stat : 6560 (techdemo) R 6550 6552 6426 0 -1 4202560 49349 0 0 0 120148 19 0 0 25 0 4 0 500213268 968122368 94295 33554432000 4194304 4797429 140734387262960 18446744073709551615 4356150 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6552/tid=6561] ppid=6550 vsize=945432 CPUtime=1195.1 cores=0,2,4,6
/proc/6552/task/6561/stat : 6561 (techdemo) R 6550 6552 6426 0 -1 4202560 50375 0 0 0 119491 19 0 0 25 0 4 0 500213268 968122368 94295 33554432000 4194304 4797429 140734387262960 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6552/tid=6562] ppid=6550 vsize=945432 CPUtime=1201.65 cores=0,2,4,6
/proc/6552/task/6562/stat : 6562 (techdemo) R 6550 6552 6426 0 -1 4202560 52265 0 0 0 120145 20 0 0 25 0 4 0 500213268 968122368 94295 33554432000 4194304 4797429 140734387262960 18446744073709551615 4523861 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 945432

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.83
CPU time (s): 4800.23
CPU user time (s): 4797.85
CPU system time (s): 2.37564
CPU usage (%): 399.409
Max. virtual memory (cumulated for all children) (KiB): 1026720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.85
system time used= 2.37564
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 538025
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= 6544
involuntary context switches= 37218

runsolver used 1.9557 second user time and 4.6203 second system time

The end

Launcher Data 

Begin job on node143 at 2011-04-29 13:52:56
IDJOB=3172596
IDBENCH=82614
IDSOLVER=1584
FILE ID=node143/3172596-1304077976
RUNJOBID= node143-1304076772-6444
PBS_JOBID= 13170504
Free space on /tmp= 72924 MiB

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

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

MD5SUM BENCH= 21fe95d2e5d58f03a2d75a4512a80cd8
RANDOM SEED=948328588

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31709884 kB
Buffers:        206360 kB
Cached:         691960 kB
SwapCached:        168 kB
Active:         281556 kB
Inactive:       684348 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31709884 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           10516 kB
Writeback:           0 kB
AnonPages:       67524 kB
Mapped:          14892 kB
Slab:           212296 kB
PageTables:       4604 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   190164 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= 72908 MiB
End job on node143 at 2011-04-29 14:13:00