Trace number 3172506

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.13 1201.93

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v25000-c105000-S92008434-079-UNKNOWN.cnf
MD5SUMaeb1e99b5983291023a10a1b4c71c10e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark40.0889
Satisfiable
(Un)Satisfiability was proved
Number of variables25000
Number of clauses105000
Sum of the clauses size315000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3105000
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-3172506-1304053129.cnf'
0.00/0.00	c -- header says num vars:          25000
0.00/0.00	c -- header says num clauses:      105000
0.29/0.30	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.29/0.30	c -- vars added      25000
0.29/0.31	c Parsing time:  0.28 s
0.29/0.34	c  N st     0         0     25000    105000         0         0    315000         0   no data   no data  --
0.63/0.41	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.31
1.02/0.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.33
1.02/0.52	c Calc non-exist non-lernt bins v-fix:     0 done:  25000 time:  0.04 s
1.02/0.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1.02/0.52	c Subs w/ non-existent bins:      0 time:  0.02 s
1.39/0.62	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1.39/0.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1.39/0.64	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.03 s
2.58/0.93	c lits-rem:         0  cl-subs:        0  v-elim:   1291  v-fix:    0  time:  1.17 s
2.58/0.93	c learnt bin added due to v-elim: 0
2.58/0.94	c Finding binary XORs  T:     0.02 s  found:       0
3.00/1.01	c Finding non-binary XORs:     0.25 s (found:       0, avg size: nan)
3.00/1.01	c calculated reachability. Time: 0.00
3.00/1.02	c Calc default polars -  time:   0.04 s pos:   11290 undec:    2881 neg:   10829
3.00/1.02	c =========================================================================================
3.00/1.02	c types(t): F = full restart, N = normal restart
3.00/1.02	c types(t): S = simplification begin/end, E = solution found
3.00/1.02	c restart types(rt): st = static, dy = dynamic
3.00/1.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
3.00/1.02	c  B st     0         0     24278    103795         0         0    315330         0   no data   no data  --
5.78/1.76	c Decided on dynamic restart strategy
8.57/2.47	c  N dy    20      4067     24278    103795         0      4067    315330    905274    192.87    145.88  --
14.57/3.97	c  N dy    48      8083     24278    103795         0      8083    315330   1658298    191.96    137.30  --
20.52/5.42	c  N dy    77     12182     24278    103795         0     12182    315330   2416074    189.75    133.59  --
26.48/6.98	c  N dy   106     16305     24278    103795         0     16305    315330   3202512    194.38    132.83  --
33.70/8.74	c  N dy   135     20446     24278    103795         0     10445    315330    600783    181.50    132.27  --
40.46/10.45	c  N dy   163     24460     24278    103795         0     14459    315330   1382735    197.40    132.07  --
46.46/11.98	c  N dy   191     28462     24278    103795         0     18461    315330   2171874    180.58    132.33  --
50.06/12.80	c  S st   202     30000     24278    103795         0     19999    315330   2447416    179.65    132.05  --
50.86/13.01	c  S st   202     30505     24278    103795         0     20504    315330   2514694    179.65    132.05  --
50.86/13.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
50.86/13.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
52.05/13.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.9M T:  1.11
52.05/13.31	c Calc non-exist non-lernt bins v-fix:     0 done:  24278 time:  0.04 s
52.05/13.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
52.05/13.34	c Subs w/ non-existent bins:      0 time:  0.11 s
52.85/13.57	c bin-w-bin subsume rem            0 bins  time:  0.04 s
52.85/13.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
52.85/13.59	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
79.61/20.27	c lits-rem:         0  cl-subs:     2731  v-elim:    584  v-fix:    0  time: 26.67 s
79.61/20.27	c learnt bin added due to v-elim: 0
79.61/20.28	c vivif2 --  cl tried   103935 cl shrink        0 lits rem          0 time: 0.05
80.01/20.30	c vivif2 --  cl tried    17773 cl shrink        0 lits rem          0 time: 0.10
80.81/20.56	c asymm  cl-useful: 0/103935/103935 lits-rem:0 time: 1.02
80.81/20.57	c calculated reachability. Time: 0.00
80.81/20.57	c  N dy   202     30505     24138    103935         0     17773    316616   1909822    179.65    132.05  --
80.81/20.57	c  F st   202     30505     24138    103935         0     17773    316616   1909822    179.65    132.05  --
84.80/21.51	c Decided on dynamic restart strategy
87.99/22.33	c  N dy   222     34575     24138    103935         0     21843    316616   2752231    177.88    132.75  --
94.39/23.91	c  N dy   250     38593     24138    103935         0     25860    316616   3493236    182.18    132.17  --
101.18/25.66	c  N dy   279     42726     24138    103935         0     29993    316616   4301293    202.19    132.41  --
107.17/27.11	c  S st   301     45760     24138    103935         0     17528    316616   1028279    192.34    132.40  --
107.97/27.33	c  S st   301     46261     24138    103935         0     18029    316616   1106206    192.34    132.40  --
107.97/27.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
107.97/27.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
108.79/27.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.86
108.79/27.57	c Calc non-exist non-lernt bins v-fix:     0 done:  24138 time:  0.05 s
108.79/27.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
108.79/27.59	c Subs w/ non-existent bins:      0 time:  0.08 s
109.17/27.69	c bin-w-bin subsume rem            0 bins  time:  0.04 s
109.57/27.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
109.57/27.71	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
120.75/30.54	c lits-rem:         0  cl-subs:      588  v-elim:    379  v-fix:    0  time: 11.29 s
120.75/30.54	c learnt bin added due to v-elim: 0
120.75/30.55	c vivif2 --  cl tried   103935 cl shrink        0 lits rem          0 time: 0.05
120.75/30.57	c vivif2 --  cl tried    17441 cl shrink        0 lits rem          0 time: 0.06
121.57/30.76	c asymm  cl-useful: 0/103935/103935 lits-rem:0 time: 0.76
121.57/30.76	c calculated reachability. Time: 0.00
121.57/30.76	c  N dy   301     46261     24138    103935         0     17441    316616   1072084    192.34    132.40  --
127.94/32.39	c  N dy   329     50272     24138    103935         0     21452    316616   1867941    185.16    132.51  --
135.15/34.17	c  N dy   357     54289     24138    103935         0     25469    316616   2656624    198.72    132.63  --
142.72/36.02	c  N dy   386     58408     24138    103935         0     29588    316616   3421347    199.60    132.27  --
149.51/37.75	c  N dy   415     62509     24138    103935         0     33688    316616   4175605    183.34    131.90  --
157.12/39.64	c  N dy   444     66658     24138    103935         0     19088    316616    709618    193.28    132.13  --
162.29/40.94	c  S st   464     69391     24138    103935         0     21821    316616   1246261    189.67    132.15  --
163.09/41.16	c  S st   464     69899     24138    103935         0     22329    316616   1315788    189.67    132.15  --
163.09/41.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
163.09/41.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
164.29/41.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.0M T:  0.94
164.29/41.43	c Calc non-exist non-lernt bins v-fix:     0 done:  24138 time:  0.05 s
164.29/41.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
164.29/41.45	c Subs w/ non-existent bins:      0 time:  0.09 s
164.69/41.57	c bin-w-bin subsume rem            0 bins  time:  0.03 s
164.69/41.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
164.69/41.58	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
177.47/44.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.02
183.49/46.25	c Added 0 vars  tried: 80000 time: 6.17
183.49/46.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:    6.17
183.86/46.31	c lits-rem:         2  cl-subs:      704  v-elim:    379  v-fix:    0  time: 18.85 s
183.86/46.31	c learnt bin added due to v-elim: 0
183.86/46.32	c vivif2 --  cl tried   103935 cl shrink        0 lits rem          0 time: 0.05
183.86/46.33	c vivif2 --  cl tried    21625 cl shrink        0 lits rem          0 time: 0.06
184.66/46.55	c asymm  cl-useful: 0/103935/103935 lits-rem:0 time: 0.85
184.66/46.55	c calculated reachability. Time: 0.00
184.66/46.55	c  N dy   464     69899     24138    103935         0     21625    316616   1275846    189.67    132.15  --
184.66/46.55	c  F st   464     69899     24138    103935         0     21625    316616   1275846    189.67    132.15  --
188.26/47.47	c Decided on dynamic restart strategy
192.65/48.51	c  N dy   487     74420     24138    103935         0     26145    316616   2163136    181.92    132.11  --
201.43/50.74	c  N dy   521     79251     24138    103935         0     30976    316616   3091237    203.84    132.00  --
211.03/53.17	c  N dy   557     84359     24138    103935         0     36083    316616   4086316    203.44    131.97  --
221.02/55.69	c  N dy   595     89811     24138    103935         0     41535    316616   5119133    174.73    131.87  --
231.42/58.24	c  N dy   636     95673     24138    103935         0     26522    316616   1660437    206.33    131.57  --
242.58/61.09	c  N dy   679    101803     24138    103935         0     32652    316616   2819732    203.58    131.40  --
249.77/62.82	c  S st   701    104849     24138    103935         0     35697    316616   3386242    189.24    131.33  --
250.57/63.08	c  S st   701    105352     24138    103935         0     36200    316616   3460282    189.24    131.33  --
250.57/63.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
250.57/63.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
252.17/63.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.4M T:  1.43
252.17/63.47	c Calc non-exist non-lernt bins v-fix:     0 done:  24138 time:  0.04 s
252.17/63.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
252.57/63.50	c Subs w/ non-existent bins:      0 time:  0.14 s
253.38/63.74	c bin-w-bin subsume rem            0 bins  time:  0.03 s
253.38/63.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
253.38/63.76	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
293.33/73.73	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.02
293.71/73.81	c lits-rem:         0  cl-subs:     1365  v-elim:    379  v-fix:    0  time: 40.14 s
293.71/73.81	c learnt bin added due to v-elim: 0
293.71/73.82	c vivif2 --  cl tried   103935 cl shrink        0 lits rem          0 time: 0.04
293.71/73.87	c vivif2 --  cl tried    34835 cl shrink        0 lits rem          0 time: 0.18
295.31/74.24	c asymm  cl-useful: 0/103935/103935 lits-rem:0 time: 1.48
295.31/74.24	c calculated reachability. Time: 0.00
295.31/74.24	c  N dy   701    105352     24138    103935         0     34835    316616   3334707    189.24    131.33  --
306.89/77.18	c  N dy   748    112082     24138    103935         0     41564    316616   4620366    190.76    131.36  --
319.69/80.30	c  N dy   799    119356     24138    103935         0     26403    316616   1320570    182.30    131.41  --
332.48/83.60	c  N dy   853    127042     24138    103935         0     34089    316616   2777679    205.19    131.26  --
347.64/87.32	c  N dy   911    135284     24138    103935         0     42330    316616   4359025    205.92    131.34  --
363.24/91.20	c  N dy   972    143936     24138    103935         0     27264    316616   1227317    200.12    131.25  --
379.59/95.30	c  N dy  1036    153137     24138    103935         0     36464    316616   3036682    195.73    131.35  --
389.60/97.87	c  S st  1071    158028     24138    103935         0     41354    316616   3988108    192.63    131.38  --
390.78/98.11	c  S st  1071    158529     24138    103935         0     41855    316616   4059474    192.63    131.38  --
390.78/98.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
390.78/98.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
392.38/98.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.7M T:  1.62
392.38/98.55	c Calc non-exist non-lernt bins v-fix:     0 done:  24138 time:  0.05 s
392.38/98.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
392.38/98.59	c Subs w/ non-existent bins:      0 time:  0.17 s
393.58/98.85	c bin-w-bin subsume rem            0 bins  time:  0.04 s
393.58/98.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
393.58/98.87	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
501.03/125.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.02
501.43/125.81	c lits-rem:         0  cl-subs:     1816  v-elim:    379  v-fix:    0  time: 107.56 s
501.43/125.81	c learnt bin added due to v-elim: 0
501.43/125.82	c vivif2 --  cl tried   103935 cl shrink        0 lits rem          0 time: 0.05
501.43/125.87	c vivif2 --  cl tried    40039 cl shrink        0 lits rem          0 time: 0.20
503.03/126.28	c asymm  cl-useful: 0/103935/103935 lits-rem:0 time: 1.66
503.03/126.29	c calculated reachability. Time: 0.00
503.03/126.29	c  N dy  1071    158529     24138    103935         0     40039    316616   3887764    192.63    131.38  --
523.00/131.30	c  N dy  1142    168677     24138    103935         0     25329    316616    622518    219.58    131.55  --
542.96/136.28	c  N dy  1218    179568     24138    103935         0     36217    316616   2738242    185.17    131.60  --
566.13/142.05	c  N dy  1299    191103     24138    103935         0     47749    316616   4962333    201.61    131.60  --
588.51/147.69	c  N dy  1385    203388     24138    103935         0     34108    316616   2032548    201.78    131.57  --
614.87/154.22	c  N dy  1477    216468     24138    103935         0     47184    316616   4549388    183.54    131.54  --
641.64/160.92	c  N dy  1574    230342     24138    103935         0     34098    316616   1842992    209.60    131.53  --
657.22/164.83	c  S st  1627    237794     24138    103935         0     41550    316616   3270195    187.44    131.50  --
658.41/165.12	c  S st  1627    238295     24138    103935         0     42051    316616   3340385    187.44    131.50  --
658.41/165.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
658.41/165.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
660.01/165.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.9M T:  1.62
660.01/165.55	c Calc non-exist non-lernt bins v-fix:     0 done:  24138 time:  0.05 s
660.01/165.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
660.01/165.59	c Subs w/ non-existent bins:      0 time:  0.15 s
661.21/165.83	c bin-w-bin subsume rem            0 bins  time:  0.04 s
661.21/165.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
661.21/165.85	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
703.15/176.35	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.02
703.55/176.43	c lits-rem:         0  cl-subs:     1984  v-elim:    379  v-fix:    0  time: 42.26 s
703.55/176.43	c learnt bin added due to v-elim: 0
703.55/176.44	c vivif2 --  cl tried   103935 cl shrink        0 lits rem          0 time: 0.05
703.55/176.49	c vivif2 --  cl tried    40067 cl shrink        0 lits rem          0 time: 0.17
705.15/176.86	c asymm  cl-useful: 0/103935/103935 lits-rem:0 time: 1.51
705.15/176.87	c calculated reachability. Time: 0.01
705.15/176.87	c  N dy  1627    238295     24138    103935         0     40067    316616   3201998    187.44    131.50  --
735.91/184.57	c  N dy  1734    253547     24138    103935         0     55318    316616   6163691    194.12    131.61  --
765.87/192.02	c  N dy  1848    269838     24138    103935         0     43625    316616   3495274    191.15    131.55  --
798.65/200.25	c  N dy  1969    287105     24138    103935         0     31905    316616   1033584    197.41    131.50  --
832.57/208.73	c  N dy  2098    305532     24138    103935         0     50329    316616   4574088    190.89    131.52  --
869.72/218.02	c  N dy  2235    325140     24138    103935         0     39942    316616   2366226    206.02    131.51  --
909.66/228.04	c  N dy  2375    345235     24138    103935         0     60034    316616   6301034    198.64    131.67  --
933.65/234.08	c  S st  2461    357443     24138    103935         0     41247    316616   2399523    181.39    131.63  --
934.86/234.34	c  S st  2461    357950     24138    103935         0     41754    316616   2469154    181.39    131.63  --
934.86/234.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
934.86/234.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
936.44/234.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.3M T:  1.58
936.44/234.77	c Calc non-exist non-lernt bins v-fix:     0 done:  24138 time:  0.05 s
936.44/234.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
936.84/234.80	c Subs w/ non-existent bins:      0 time:  0.12 s
937.24/234.98	c bin-w-bin subsume rem            0 bins  time:  0.04 s
937.24/234.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
937.64/235.00	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
964.80/241.87	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
974.00/244.13	c Added 0 vars  tried: 80000 time: 9.01
974.00/244.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:    9.01
974.00/244.20	c lits-rem:         2  cl-subs:     2127  v-elim:    379  v-fix:    0  time: 36.76 s
974.00/244.20	c learnt bin added due to v-elim: 0
974.40/244.21	c vivif2 --  cl tried   103935 cl shrink        0 lits rem          0 time: 0.05
974.40/244.24	c vivif2 --  cl tried    39627 cl shrink        0 lits rem          0 time: 0.13
975.58/244.56	c asymm  cl-useful: 0/103935/103935 lits-rem:0 time: 1.28
975.58/244.57	c calculated reachability. Time: 0.00
975.58/244.57	c  N dy  2461    357950     24138    103935         0     39627    316616   2376401    181.39    131.63  --
1016.72/254.83	c  N dy  2602    378018     24138    103935         0     59694    316616   6280484    200.91    131.67  --
1057.07/264.95	c  N dy  2742    398038     24138    103935         0     47717    316616   3568865    225.47    131.80  --
1099.42/275.59	c  N dy  2882    418070     24138    103935         0     34750    316616    811643    191.62    131.94  --
1140.16/285.71	c  N dy  3022    438140     24138    103935         0     54819    316616   4674536    208.24    131.93  --
1182.50/296.35	c  N dy  3162    458230     24138    103935         0     40911    316616   1782895    188.36    132.00  --
1224.87/306.97	c  N dy  3303    478351     24138    103935         0     61031    316616   5639522    188.35    131.91  --
1267.19/317.51	c  N dy  3443    498384     24138    103935         0     46061    316616   2569257    193.01    132.00  --
1309.93/328.26	c  N dy  3584    518434     24138    103935         0     66110    316616   6508642    188.06    132.10  --
1347.50/337.65	c  S st  3713    536926     24138    103935         0     48605    316616   2890886    186.46    132.12  --
1348.67/337.93	c  S st  3713    537428     24138    103935         0     49107    316616   2966991    186.46    132.12  --
1348.67/337.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1348.67/337.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1350.67/338.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.4M T:  1.90
1350.67/338.44	c Calc non-exist non-lernt bins v-fix:     0 done:  24138 time:  0.05 s
1350.67/338.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1350.67/338.47	c Subs w/ non-existent bins:      0 time:  0.14 s
1351.47/338.67	c bin-w-bin subsume rem            0 bins  time:  0.04 s
1351.47/338.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1351.47/338.69	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
1388.62/347.94	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.02
1389.02/348.03	c lits-rem:         0  cl-subs:     2744  v-elim:    379  v-fix:    0  time: 37.27 s
1389.02/348.03	c learnt bin added due to v-elim: 0
1389.02/348.04	c vivif2 --  cl tried   103935 cl shrink        0 lits rem          0 time: 0.05
1389.02/348.08	c vivif2 --  cl tried    46363 cl shrink        0 lits rem          0 time: 0.16
1390.62/348.44	c asymm  cl-useful: 0/103935/103935 lits-rem:0 time: 1.47
1390.62/348.45	c calculated reachability. Time: 0.00
1390.62/348.45	c  N dy  3713    537428     24138    103935         0     46363    316616   2840003    186.46    132.12  --
1390.62/348.45	c  F st  3713    537428     24138    103935         0     46363    316616   2840003    186.46    132.12  --
1394.61/349.48	c Decided on dynamic restart strategy
1431.38/358.64	c  N dy  3844    557472     24138    103935         0     66405    316616   6817052    188.33    132.23  --
1472.50/368.96	c  N dy  3984    577560     24138    103935         0     49496    316616   2902316    194.49    132.19  --
1514.87/379.53	c  N dy  4125    597639     24138    103935         0     69569    316616   6744216    185.49    132.18  --
1556.39/389.97	c  N dy  4265    617686     24138    103935         0     51620    316616   3120855    201.26    132.24  --
1599.94/400.86	c  N dy  4405    637724     24138    103935         0     71658    316616   7009229    188.59    132.21  --
1642.67/411.58	c  N dy  4545    657860     24138    103935         0     52795    316616   3135308    218.45    132.20  --
1687.01/422.62	c  N dy  4686    677940     24138    103935         0     72872    316616   7050623    198.11    132.23  --
1730.95/433.68	c  N dy  4826    698025     24138    103935         0     52961    316616   2947129    201.47    132.24  --
1775.70/444.87	c  N dy  4966    718052     24138    103935         0     72987    316616   6848909    196.86    132.29  --
1820.44/456.05	c  N dy  5106    738158     24138    103935         0     52093    316616   2673330    196.22    132.38  --
1864.78/467.19	c  N dy  5246    758179     24138    103935         0     72112    316616   6529284    195.04    132.34  --
1909.53/478.38	c  N dy  5386    778251     24138    103935         0     50184    316616   2004369    183.79    132.29  --
1954.29/489.56	c  N dy  5527    798313     24138    103935         0     70241    316616   5894870    210.92    132.33  --
1975.44/494.87	c  S st  5582    806144     24138    103935         0     78072    316616   7376889    206.77    132.30  --
1977.04/495.23	c  S st  5582    806645     24138    103935         0     78573    316616   7444745    206.77    132.30  --
1977.04/495.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1977.04/495.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1980.65/496.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  6.0M T:  3.45
1980.65/496.14	c Calc non-exist non-lernt bins v-fix:     0 done:  24138 time:  0.06 s
1980.65/496.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1981.03/496.21	c Subs w/ non-existent bins:      0 time:  0.29 s
1983.02/496.71	c bin-w-bin subsume rem            0 bins  time:  0.04 s
1983.02/496.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
1983.02/496.73	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
2461.18/616.49	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.02
2461.98/616.65	c lits-rem:         7  cl-subs:     4386  v-elim:    379  v-fix:    0  time: 478.95 s
2461.98/616.65	c learnt bin added due to v-elim: 0
2461.98/616.66	c vivif2 --  cl tried   103935 cl shrink        0 lits rem          0 time: 0.06
2462.38/616.76	c vivif2 --  cl tried    74187 cl shrink        0 lits rem          0 time: 0.39
2464.38/617.29	c asymm  cl-useful: 0/77434/103935 lits-rem:0 time: 2.13
2464.78/617.30	c calculated reachability. Time: 0.00
2464.78/617.30	c  N dy  5582    806645     24138    103935         0     74187    316616   7112721    206.77    132.30  --
2511.93/629.13	c  N dy  5722    826708     24138    103935         0     51255    316616   2086204    191.72    132.30  --
2555.46/640.06	c  N dy  5862    846776     24138    103935         0     71318    316616   6001908    202.87    132.31  --
2603.79/652.19	c  N dy  6002    866830     24138    103935         0     47376    316616   1139419    198.44    132.30  --
2646.13/662.71	c  N dy  6142    886849     24138    103935         0     67394    316616   4969257    213.03    132.29  --
2695.67/675.19	c  N dy  6283    906981     24138    103935         0     87525    316616   8882083    204.26    132.29  --
2738.82/685.98	c  N dy  6424    927106     24138    103935         0     62651    316616   3869489    184.33    132.25  --
2781.56/696.64	c  N dy  6563    947128     24138    103935         0     82671    316616   7773170    194.14    132.27  --
2823.50/707.19	c  N dy  6702    967135     24138    103935         0     56681    316616   2548272    200.80    132.31  --
2866.24/717.82	c  N dy  6843    987152     24138    103935         0     76693    316616   6461159    206.14    132.34  --
2912.58/729.40	c  N dy  6984   1007233     24138    103935         0     49779    316616   1060099    213.41    132.34  --
2954.52/739.95	c  N dy  7124   1027333     24138    103935         0     69876    316616   5001587    204.50    132.39  --
3002.06/751.81	c  N dy  7264   1047432     24138    103935         0     89972    316616   8931043    200.81    132.40  --
3047.19/763.12	c  N dy  7403   1067503     24138    103935         0     62046    316616   3252318    185.14    132.44  --
3092.73/774.51	c  N dy  7542   1087519     24138    103935         0     82058    316616   7163928    194.51    132.46  --
3140.69/786.59	c  N dy  7682   1107565     24138    103935         0     53111    316616   1335063    196.53    132.48  --
3186.21/797.93	c  N dy  7822   1127610     24138    103935         0     73153    316616   5264686    176.66    132.50  --
3234.95/810.14	c  N dy  7963   1147698     24138    103935         0     93240    316616   9136466    193.63    132.49  --
3281.68/821.81	c  N dy  8103   1167804     24138    103935         0     63349    316616   3051807    187.58    132.46  --
3328.42/833.55	c  N dy  8244   1187875     24138    103935         0     83418    316616   6939054    193.70    132.47  --
3379.95/846.48	c  N dy  8386   1208015     24138    103935         0     52562    316616    818143    218.41    132.44  --
3384.35/847.55	c  S st  8400   1209968     24138    103935         0     54515    316616   1191154    183.45    132.44  --
3385.55/847.85	c  S st  8400   1210471     24138    103935         0     55018    316616   1274459    183.45    132.44  --
3385.55/847.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
3385.55/847.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3387.94/848.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.3M T:  2.28
3387.94/848.45	c Calc non-exist non-lernt bins v-fix:     0 done:  24138 time:  0.05 s
3387.94/848.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3387.94/848.47	c Subs w/ non-existent bins:      0 time:  0.08 s
3388.34/848.58	c bin-w-bin subsume rem            0 bins  time:  0.04 s
3388.34/848.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
3388.74/848.60	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
3401.13/851.74	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.02
3405.92/852.95	c Added 0 vars  tried: 80000 time: 4.80
3405.92/852.95	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.80
3406.32/853.01	c lits-rem:         0  cl-subs:     3585  v-elim:    379  v-fix:    0  time: 17.58 s
3406.32/853.01	c learnt bin added due to v-elim: 0
3406.32/853.02	c vivif2 --  cl tried   103935 cl shrink        0 lits rem          0 time: 0.04
3406.32/853.04	c vivif2 --  cl tried    51433 cl shrink        0 lits rem          0 time: 0.08
3406.72/853.12	c asymm  cl-useful: 0/26501/103935 lits-rem:0 time: 0.33
3406.72/853.13	c calculated reachability. Time: 0.00
3406.72/853.13	c  N dy  8400   1210471     24138    103935         0     51433    316616   1214264    183.45    132.44  --
3452.68/864.69	c  N dy  8540   1230607     24138    103935         0     71566    316616   5102252    198.24    132.44  --
3502.99/877.24	c  N dy  8680   1250658     24138    103935         0     91616    316616   9007363    195.31    132.44  --
3548.52/888.60	c  N dy  8819   1270665     24138    103935         0     59627    316616   2013733    218.02    132.43  --
3590.87/899.23	c  N dy  8959   1290761     24138    103935         0     79720    316616   5976346    185.46    132.46  --
3638.01/911.07	c  N dy  9099   1310832     24138    103935         0     99785    316616   9915303    206.32    132.49  --
3682.75/922.22	c  N dy  9239   1330885     24138    103935         0     66845    316616   3245606    195.45    132.49  --
3728.68/933.73	c  N dy  9380   1351005     24138    103935         0     86962    316616   7122127    192.68    132.48  --
3779.41/946.42	c  N dy  9520   1371077     24138    103935         0    107033    316616  10968420    211.56    132.45  --
3824.16/957.70	c  N dy  9660   1391157     24138    103935         0     73119    316616   4256996    192.78    132.46  --
3872.89/969.80	c  N dy  9800   1411291     24138    103935         0     93250    316616   8142539    185.72    132.46  --
3924.83/982.80	c  N dy  9940   1431298     24138    103935         0     58261    316616   1161109    192.12    132.47  --
3971.96/994.63	c  N dy 10080   1451300     24138    103935         0     78263    316616   5093433    189.02    132.50  --
4021.49/1007.08	c  N dy 10221   1471412     24138    103935         0     98374    316616   8987777    190.23    132.50  --
4073.42/1020.08	c  N dy 10362   1491500     24138    103935         0     62465    316616   1733769    189.31    132.49  --
4120.19/1031.74	c  N dy 10501   1511554     24138    103935         0     82516    316616   5650998    181.04    132.50  --
4172.91/1044.93	c  N dy 10642   1531634     24138    103935         0    102592    316616   9527295    205.08    132.49  --
4222.42/1057.31	c  N dy 10782   1551658     24138    103935         0     65621    316616   2206236    198.00    132.50  --
4271.56/1069.64	c  N dy 10923   1571770     24138    103935         0     85728    316616   6063673    193.94    132.48  --
4322.31/1082.40	c  N dy 11064   1591898     24138    103935         0    105855    316616   9878799    175.94    132.45  --
4374.22/1095.37	c  N dy 11205   1612018     24138    103935         0     67980    316616   2443118    191.11    132.45  --
4423.77/1107.78	c  N dy 11346   1632131     24138    103935         0     88087    316616   6370854    204.10    132.47  --
4473.68/1120.25	c  N dy 11487   1652214     24138    103935         0    108166    316616  10200759    190.86    132.44  --
4518.42/1131.43	c  N dy 11628   1672296     24138    103935         0     69254    316616   2493577    186.06    132.47  --
4562.38/1142.44	c  N dy 11768   1692338     24138    103935         0     89291    316616   6418897    201.99    132.48  --
4610.31/1154.40	c  S st 11895   1710472     24138    103935         0    107423    316616   9966519    211.76    132.49  --
4611.91/1154.82	c  S st 11895   1710975     24138    103935         0    107926    316616  10036414    211.76    132.49  --
4611.91/1154.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
4611.91/1154.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4617.12/1156.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 13.3M T:  5.26
4617.12/1156.18	c Calc non-exist non-lernt bins v-fix:     0 done:  24138 time:  0.06 s
4617.12/1156.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4617.49/1156.27	c Subs w/ non-existent bins:      0 time:  0.37 s
4619.90/1156.87	c bin-w-bin subsume rem            0 bins  time:  0.03 s
4619.90/1156.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
4619.90/1156.89	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s

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-3172506-1304053129/watcher-3172506-1304053129 -o /tmp/evaluation-result-3172506-1304053129/solver-3172506-1304053129 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172506-1304053129.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: 1.58 1.83 2.29 2/174 24685
/proc/meminfo: memFree=18302556/32950928 swapFree=67111528/67111528
[pid=24685] ppid=24683 vsize=24080 CPUtime=0 cores=0,2,4,6
/proc/24685/stat : 24685 (techdemo) R 24683 24685 22756 0 -1 4202496 1296 0 0 0 0 0 0 0 21 0 1 0 516909649 24657920 1235 33554432000 4194304 4797429 140733927225440 18446744073709551615 4365507 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24685/statm: 6020 1237 341 148 0 949 0

[startup+0.0648199 s]
/proc/loadavg: 1.58 1.83 2.29 2/174 24685
/proc/meminfo: memFree=18302556/32950928 swapFree=67111528/67111528
[pid=24685] ppid=24683 vsize=90836 CPUtime=0.05 cores=0,2,4,6
/proc/24685/stat : 24685 (techdemo) R 24683 24685 22756 0 -1 4202496 12780 0 0 0 4 1 0 0 21 0 1 0 516909649 93016064 9518 33554432000 4194304 4797429 140733927225440 18446744073709551615 254500388327 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24685/statm: 22709 9519 348 148 0 17638 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 90836

[startup+0.100834 s]
/proc/loadavg: 1.58 1.83 2.29 2/174 24685
/proc/meminfo: memFree=18302556/32950928 swapFree=67111528/67111528
[pid=24685] ppid=24683 vsize=95188 CPUtime=0.09 cores=0,2,4,6
/proc/24685/stat : 24685 (techdemo) R 24683 24685 22756 0 -1 4202496 14248 0 0 0 8 1 0 0 21 0 1 0 516909649 97472512 10918 33554432000 4194304 4797429 140733927225440 18446744073709551615 254500352709 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24685/statm: 23797 10922 348 148 0 18726 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 95188

[startup+0.300795 s]
/proc/loadavg: 1.58 1.83 2.29 2/174 24685
/proc/meminfo: memFree=18302556/32950928 swapFree=67111528/67111528
[pid=24685] ppid=24683 vsize=112728 CPUtime=0.29 cores=0,2,4,6
/proc/24685/stat : 24685 (techdemo) R 24683 24685 22756 0 -1 4202496 20181 0 0 0 27 2 0 0 22 0 1 0 516909649 115433472 16543 33554432000 4194304 4797429 140733927225440 18446744073709551615 254500388327 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24685/statm: 28182 16543 348 148 0 23111 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 112728

[startup+0.700604 s]
/proc/loadavg: 1.58 1.83 2.29 2/174 24685
/proc/meminfo: memFree=18302556/32950928 swapFree=67111528/67111528
[pid=24685] ppid=24683 vsize=813960 CPUtime=1.78 cores=0,2,4,6
/proc/24685/stat : 24685 (techdemo) R 24683 24685 22756 0 -1 4202496 30244 0 0 0 164 14 0 0 17 0 4 0 516909649 833495040 24518 33554432000 4194304 4797429 140733927225440 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24685/statm: 203490 24518 397 148 0 198419 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 813960

[startup+1.50044 s]
/proc/loadavg: 2.10 1.93 2.32 9/184 24698
/proc/meminfo: memFree=18048648/32950928 swapFree=67111528/67111528
[pid=24685] ppid=24683 vsize=820336 CPUtime=4.98 cores=0,2,4,6
/proc/24685/stat : 24685 (techdemo) R 24683 24685 22756 0 -1 4202496 35430 0 0 0 482 16 0 0 19 0 4 0 516909649 840024064 29245 33554432000 4194304 4797429 140733927225440 18446744073709551615 4259014 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24685/statm: 205084 29245 410 148 0 200013 0
[pid=24685/tid=24693] ppid=24683 vsize=820336 CPUtime=1.16 cores=0,2,4,6
/proc/24685/task/24693/stat : 24693 (techdemo) R 24683 24685 22756 0 -1 4202560 4103 0 0 0 111 5 0 0 19 0 4 0 516909680 840024064 29245 33554432000 4194304 4797429 140733927225440 18446744073709551615 254500388619 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24685/tid=24694] ppid=24683 vsize=820336 CPUtime=1.16 cores=0,2,4,6
/proc/24685/task/24694/stat : 24694 (techdemo) R 24683 24685 22756 0 -1 4202560 3929 0 0 0 113 3 0 0 19 0 4 0 516909680 840024064 29245 33554432000 4194304 4797429 140733927225440 18446744073709551615 4415818 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24685/tid=24695] ppid=24683 vsize=820336 CPUtime=1.16 cores=0,2,4,6
/proc/24685/task/24695/stat : 24695 (techdemo) R 24683 24685 22756 0 -1 4202560 3296 0 0 0 115 1 0 0 18 0 4 0 516909680 840024064 29245 33554432000 4194304 4797429 140733927225440 18446744073709551615 4388582 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.98
Current children cumulated vsize (KiB) 820336

[startup+3.10113 s]
/proc/loadavg: 2.10 1.93 2.32 9/184 24698
/proc/meminfo: memFree=18010576/32950928 swapFree=67111528/67111528
[pid=24685] ppid=24683 vsize=821576 CPUtime=11.37 cores=0,2,4,6
/proc/24685/stat : 24685 (techdemo) R 24683 24685 22756 0 -1 4202496 39097 0 0 0 1120 17 0 0 18 0 4 0 516909649 841293824 32898 33554432000 4194304 4797429 140733927225440 18446744073709551615 4424353 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24685/statm: 205394 32898 412 148 0 200323 0
[pid=24685/tid=24693] ppid=24683 vsize=821576 CPUtime=2.76 cores=0,2,4,6
/proc/24685/task/24693/stat : 24693 (techdemo) R 24683 24685 22756 0 -1 4202560 5025 0 0 0 271 5 0 0 22 0 4 0 516909680 841293824 32898 33554432000 4194304 4797429 140733927225440 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24685/tid=24694] ppid=24683 vsize=821576 CPUtime=2.75 cores=0,2,4,6
/proc/24685/task/24694/stat : 24694 (techdemo) R 24683 24685 22756 0 -1 4202560 4824 0 0 0 272 3 0 0 22 0 4 0 516909680 841293824 32898 33554432000 4194304 4797429 140733927225440 18446744073709551615 4424383 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24685/tid=24695] ppid=24683 vsize=821576 CPUtime=2.77 cores=0,2,4,6
/proc/24685/task/24695/stat : 24695 (techdemo) R 24683 24685 22756 0 -1 4202560 4207 0 0 0 275 2 0 0 22 0 4 0 516909680 841293824 32898 33554432000 4194304 4797429 140733927225440 18446744073709551615 4424320 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.37
Current children cumulated vsize (KiB) 821576

[startup+6.30049 s]
/proc/loadavg: 2.10 1.93 2.32 9/184 24698
/proc/meminfo: memFree=17941008/32950928 swapFree=67111528/67111528
[pid=24685] ppid=24683 vsize=837824 CPUtime=24.09 cores=0,2,4,6
/proc/24685/stat : 24685 (techdemo) R 24683 24685 22756 0 -1 4202496 52098 0 0 0 2381 28 0 0 19 0 4 0 516909649 857931776 45874 33554432000 4194304 4797429 140733927225440 18446744073709551615 4424335 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24685/statm: 209456 45874 416 148 0 204385 0
[pid=24685/tid=24693] ppid=24683 vsize=837824 CPUtime=5.93 cores=0,2,4,6
/proc/24685/task/24693/stat : 24693 (techdemo) R 24683 24685 22756 0 -1 4202560 8475 0 0 0 584 9 0 0 18 0 4 0 516909680 857931776 45874 33554432000 4194304 4797429 140733927225440 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24685/tid=24694] ppid=24683 vsize=837824 CPUtime=5.91 cores=0,2,4,6
/proc/24685/task/24694/stat : 24694 (techdemo) R 24683 24685 22756 0 -1 4202560 8248 0 0 0 584 7 0 0 18 0 4 0 516909680 857931776 45874 33554432000 4194304 4797429 140733927225440 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24685/tid=24695] ppid=24683 vsize=837824 CPUtime=5.96 cores=0,2,4,6
/proc/24685/task/24695/stat : 24695 (techdemo) R 24683 24685 22756 0 -1 4202560 8184 0 0 0 593 3 0 0 19 0 4 0 516909680 857931776 45874 33554432000 4194304 4797429 140733927225440 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.09
Current children cumulated vsize (KiB) 837824

[startup+12.7002 s]
/proc/loadavg: 3.16 2.16 2.39 9/184 24698
/proc/meminfo: memFree=17874868/32950928 swapFree=67111528/67111528
[pid=24685] ppid=24683 vsize=842836 CPUtime=49.65 cores=0,2,4,6
/proc/24685/stat : 24685 (techdemo) R 24683 24685 22756 0 -1 4202496 59826 0 0 0 4935 30 0 0 25 0 4 0 516909649 863064064 47540 33554432000 4194304 4797429 140733927225440 18446744073709551615 4415744 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24685/statm: 210709 47540 417 148 0 205638 0
[pid=24685/tid=24693] ppid=24683 vsize=842836 CPUtime=12.33 cores=0,2,4,6
/proc/24685/task/24693/stat : 24693 (techdemo) R 24683 24685 22756 0 -1 4202560 9484 0 0 0 1224 9 0 0 25 0 4 0 516909680 863064064 47540 33554432000 4194304 4797429 140733927225440 18446744073709551615 4524081 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24685/tid=24694] ppid=24683 vsize=842836 CPUtime=12.28 cores=0,2,4,6
/proc/24685/task/24694/stat : 24694 (techdemo) R 24683 24685 22756 0 -1 4202560 9223 0 0 0 1221 7 0 0 25 0 4 0 516909680 863064064 47540 33554432000 4194304 4797429 140733927225440 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24685/tid=24695] ppid=24683 vsize=842836 CPUtime=12.36 cores=0,2,4,6
/proc/24685/task/24695/stat : 24695 (techdemo) R 24683 24685 22756 0 -1 4202560 8995 0 0 0 1232 4 0 0 25 0 4 0 516909680 863064064 47540 33554432000 4194304 4797429 140733927225440 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.65
Current children cumulated vsize (KiB) 842836

[startup+25.5007 s]
/proc/loadavg: 3.90 2.36 2.45 9/184 24699
/proc/meminfo: memFree=17808708/32950928 swapFree=67111528/67111528
[pid=24685] ppid=24683 vsize=851256 CPUtime=100.78 cores=0,2,4,6
/proc/24685/stat : 24685 (techdemo) R 24683 24685 22756 0 -1 4202496 69300 0 0 0 10044 34 0 0 25 0 4 0 516909649 871686144 55811 33554432000 4194304 4797429 140733927225440 18446744073709551615 4351897 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24685/statm: 212814 55811 419 148 0 207743 0
[pid=24685/tid=24693] ppid=24683 vsize=851256 CPUtime=25.13 cores=0,2,4,6
/proc/24685/task/24693/stat : 24693 (techdemo) R 24683 24685 22756 0 -1 4202560 11153 0 0 0 2503 10 0 0 25 0 4 0 516909680 871686144 55811 33554432000 4194304 4797429 140733927225440 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24685/tid=24694] ppid=24683 vsize=851256 CPUtime=25 cores=0,2,4,6
/proc/24685/task/24694/stat : 24694 (techdemo) R 24683 24685 22756 0 -1 4202560 10466 0 0 0 2493 7 0 0 25 0 4 0 516909680 871686144 55811 33554432000 4194304 4797429 140733927225440 18446744073709551615 4526328 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24685/tid=24695] ppid=24683 vsize=851256 CPUtime=25.16 cores=0,2,4,6
/proc/24685/task/24695/stat : 24695 (techdemo) R 24683 24685 22756 0 -1 4202560 9902 0 0 0 2512 4 0 0 25 0 4 0 516909680 871686144 55811 33554432000 4194304 4797429 140733927225440 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.78
Current children cumulated vsize (KiB) 851256

[startup+51.1006 s]
/proc/loadavg: 5.30 2.81 2.60 9/184 24699
/proc/meminfo: memFree=17771684/32950928 swapFree=67111528/67111528
[pid=24685] ppid=24683 vsize=860516 CPUtime=203.03 cores=0,2,4,6
/proc/24685/stat : 24685 (techdemo) R 24683 24685 22756 0 -1 4202496 86114 0 0 0 20263 40 0 0 25 0 4 0 516909649 881168384 60697 33554432000 4194304 4797429 140733927225440 18446744073709551615 4425649 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24685/statm: 215129 60697 420 148 0 210058 0
[pid=24685/tid=24693] ppid=24683 vsize=860516 CPUtime=50.74 cores=0,2,4,6
/proc/24685/task/24693/stat : 24693 (techdemo) R 24683 24685 22756 0 -1 4202560 12675 0 0 0 5063 11 0 0 25 0 4 0 516909680 881168384 60697 33554432000 4194304 4797429 140733927225440 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24685/tid=24694] ppid=24683 vsize=860516 CPUtime=50.47 cores=0,2,4,6
/proc/24685/task/24694/stat : 24694 (techdemo) R 24683 24685 22756 0 -1 4202560 12469 0 0 0 5039 8 0 0 25 0 4 0 516909680 881168384 60697 33554432000 4194304 4797429 140733927225440 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24685/tid=24695] ppid=24683 vsize=860516 CPUtime=50.75 cores=0,2,4,6
/proc/24685/task/24695/stat : 24695 (techdemo) R 24683 24685 22756 0 -1 4202560 11310 0 0 0 5071 4 0 0 25 0 4 0 516909680 881168384 60697 33554432000 4194304 4797429 140733927225440 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.03
Current children cumulated vsize (KiB) 860516

[startup+102.306 s]
/proc/loadavg: 6.96 3.69 2.91 9/184 24701
/proc/meminfo: memFree=17720180/32950928 swapFree=67111528/67111528
[pid=24685] ppid=24683 vsize=881968 CPUtime=407.58 cores=0,2,4,6
/proc/24685/stat : 24685 (techdemo) R 24683 24685 22756 0 -1 4202496 120932 0 0 0 40705 53 0 0 25 0 4 0 516909649 903135232 65078 33554432000 4194304 4797429 140733927225440 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24685/statm: 220492 65078 420 148 0 215421 0
[pid=24685/tid=24693] ppid=24683 vsize=881968 CPUtime=101.94 cores=0,2,4,6
/proc/24685/task/24693/stat : 24693 (techdemo) R 24683 24685 22756 0 -1 4202560 16407 0 0 0 10182 12 0 0 25 0 4 0 516909680 903135232 65078 33554432000 4194304 4797429 140733927225440 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24685/tid=24694] ppid=24683 vsize=881968 CPUtime=101.4 cores=0,2,4,6
/proc/24685/task/24694/stat : 24694 (techdemo) R 24683 24685 22756 0 -1 4202560 16716 0 0 0 10130 10 0 0 25 0 4 0 516909680 903135232 65078 33554432000 4194304 4797429 140733927225440 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24685/tid=24695] ppid=24683 vsize=881968 CPUtime=101.96 cores=0,2,4,6
/proc/24685/task/24695/stat : 24695 (techdemo) R 24683 24685 22756 0 -1 4202560 15467 0 0 0 10190 6 0 0 25 0 4 0 516909680 903135232 65078 33554432000 4194304 4797429 140733927225440 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.58
Current children cumulated vsize (KiB) 881968

[startup+162.3 s]
/proc/loadavg: 7.66 4.49 3.23 9/184 24711
/proc/meminfo: memFree=17673600/32950928 swapFree=67111528/67111528
[pid=24685] ppid=24683 vsize=895500 CPUtime=647.23 cores=0,2,4,6
/proc/24685/stat : 24685 (techdemo) R 24683 24685 22756 0 -1 4202496 148091 0 0 0 64658 65 0 0 25 0 4 0 516909649 916992000 72479 33554432000 4194304 4797429 140733927225440 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24685/statm: 223875 72480 420 148 0 218804 0
[pid=24685/tid=24693] ppid=24683 vsize=895500 CPUtime=161.94 cores=0,2,4,6
/proc/24685/task/24693/stat : 24693 (techdemo) R 24683 24685 22756 0 -1 4202560 19341 0 0 0 16180 14 0 0 25 0 4 0 516909680 916992000 72480 33554432000 4194304 4797429 140733927225440 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24685/tid=24694] ppid=24683 vsize=895500 CPUtime=161.06 cores=0,2,4,6
/proc/24685/task/24694/stat : 24694 (techdemo) R 24683 24685 22756 0 -1 4202560 19035 0 0 0 16096 10 0 0 25 0 4 0 516909680 916992000 72480 33554432000 4194304 4797429 140733927225440 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24685/tid=24695] ppid=24683 vsize=895500 CPUtime=161.95 cores=0,2,4,6
/proc/24685/task/24695/stat : 24695 (techdemo) R 24683 24685 22756 0 -1 4202560 18028 0 0 0 16188 7 0 0 25 0 4 0 516909680 916992000 72480 33554432000 4194304 4797429 140733927225440 18446744073709551615 254500353057 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 647.23
Current children cumulated vsize (KiB) 895500

[startup+222.3 s]
/proc/loadavg: 7.91 5.14 3.53 9/184 24713
/proc/meminfo: memFree=17645192/32950928 swapFree=67111528/67111528
[pid=24685] ppid=24683 vsize=903852 CPUtime=886.89 cores=0,2,4,6
/proc/24685/stat : 24685 (techdemo) R 24683 24685 22756 0 -1 4202496 183388 0 0 0 88613 76 0 0 25 0 4 0 516909649 925544448 73627 33554432000 4194304 4797429 140733927225440 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24685/statm: 225963 73627 420 148 0 220892 0
[pid=24685/tid=24693] ppid=24683 vsize=903852 CPUtime=221.94 cores=0,2,4,6
/proc/24685/task/24693/stat : 24693 (techdemo) R 24683 24685 22756 0 -1 4202560 23491 0 0 0 22179 15 0 0 25 0 4 0 516909680 925544448 73627 33554432000 4194304 4797429 140733927225440 18446744073709551615 254500716439 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24685/tid=24694] ppid=24683 vsize=903852 CPUtime=220.73 cores=0,2,4,6
/proc/24685/task/24694/stat : 24694 (techdemo) R 24683 24685 22756 0 -1 4202560 22175 0 0 0 22062 11 0 0 25 0 4 0 516909680 925544448 73627 33554432000 4194304 4797429 140733927225440 18446744073709551615 4340810 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24685/tid=24695] ppid=24683 vsize=903852 CPUtime=221.96 cores=0,2,4,6
/proc/24685/task/24695/stat : 24695 (techdemo) R 24683 24685 22756 0 -1 4202560 21491 0 0 0 22188 8 0 0 25 0 4 0 516909680 925544448 73627 33554432000 4194304 4797429 140733927225440 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 886.89
Current children cumulated vsize (KiB) 903852

[startup+282.301 s]

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

[pid=24685] ppid=24683 vsize=946860 CPUtime=2804.32 cores=0,2,4,6
/proc/24685/stat : 24685 (techdemo) R 24683 24685 22756 0 -1 4202496 379732 0 0 0 280261 171 0 0 25 0 4 0 516909649 969584640 86070 33554432000 4194304 4797429 140733927225440 18446744073709551615 254500388497 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24685/statm: 236715 86070 420 148 0 231644 0
[pid=24685/tid=24693] ppid=24683 vsize=946860 CPUtime=701.96 cores=0,2,4,6
/proc/24685/task/24693/stat : 24693 (techdemo) R 24683 24685 22756 0 -1 4202560 39840 0 0 0 70175 21 0 0 25 0 4 0 516909680 969584640 86070 33554432000 4194304 4797429 140733927225440 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24685/tid=24694] ppid=24683 vsize=946860 CPUtime=698.16 cores=0,2,4,6
/proc/24685/task/24694/stat : 24694 (techdemo) R 24683 24685 22756 0 -1 4202560 38365 0 0 0 69798 18 0 0 25 0 4 0 516909680 969584640 86070 33554432000 4194304 4797429 140733927225440 18446744073709551615 4237276 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24685/tid=24695] ppid=24683 vsize=946860 CPUtime=701.97 cores=0,2,4,6
/proc/24685/task/24695/stat : 24695 (techdemo) R 24683 24685 22756 0 -1 4202560 35930 0 0 0 70183 14 0 0 25 0 4 0 516909680 969584640 86070 33554432000 4194304 4797429 140733927225440 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2804.32
Current children cumulated vsize (KiB) 946860

[startup+762.307 s]
/proc/loadavg: 8.03 7.59 5.53 9/184 24730
/proc/meminfo: memFree=17470184/32950928 swapFree=67111528/67111528
[pid=24685] ppid=24683 vsize=951032 CPUtime=3044.02 cores=0,2,4,6
/proc/24685/stat : 24685 (techdemo) R 24683 24685 22756 0 -1 4202496 410063 0 0 0 304218 184 0 0 25 0 4 0 516909649 973856768 93967 33554432000 4194304 4797429 140733927225440 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24685/statm: 237758 93967 420 148 0 232687 0
[pid=24685/tid=24693] ppid=24683 vsize=951032 CPUtime=761.97 cores=0,2,4,6
/proc/24685/task/24693/stat : 24693 (techdemo) R 24683 24685 22756 0 -1 4202560 42162 0 0 0 76175 22 0 0 25 0 4 0 516909680 973856768 93967 33554432000 4194304 4797429 140733927225440 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24685/tid=24694] ppid=24683 vsize=951032 CPUtime=757.84 cores=0,2,4,6
/proc/24685/task/24694/stat : 24694 (techdemo) R 24683 24685 22756 0 -1 4202560 40030 0 0 0 75765 19 0 0 25 0 4 0 516909680 973856768 93967 33554432000 4194304 4797429 140733927225440 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24685/tid=24695] ppid=24683 vsize=951032 CPUtime=761.98 cores=0,2,4,6
/proc/24685/task/24695/stat : 24695 (techdemo) R 24683 24685 22756 0 -1 4202560 37951 0 0 0 76183 15 0 0 25 0 4 0 516909680 973856768 93967 33554432000 4194304 4797429 140733927225440 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.02
Current children cumulated vsize (KiB) 951032

[startup+822.301 s]
/proc/loadavg: 8.01 7.66 5.68 9/184 24732
/proc/meminfo: memFree=17446112/32950928 swapFree=67111528/67111528
[pid=24685] ppid=24683 vsize=954176 CPUtime=3283.68 cores=0,2,4,6
/proc/24685/stat : 24685 (techdemo) R 24683 24685 22756 0 -1 4202496 435613 0 0 0 328172 196 0 0 25 0 4 0 516909649 977076224 97009 33554432000 4194304 4797429 140733927225440 18446744073709551615 4425602 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24685/statm: 238544 97009 420 148 0 233473 0
[pid=24685/tid=24693] ppid=24683 vsize=954176 CPUtime=821.97 cores=0,2,4,6
/proc/24685/task/24693/stat : 24693 (techdemo) R 24683 24685 22756 0 -1 4202560 43334 0 0 0 82175 22 0 0 25 0 4 0 516909680 977076224 97009 33554432000 4194304 4797429 140733927225440 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24685/tid=24694] ppid=24683 vsize=954176 CPUtime=817.51 cores=0,2,4,6
/proc/24685/task/24694/stat : 24694 (techdemo) R 24683 24685 22756 0 -1 4202560 41001 0 0 0 81732 19 0 0 25 0 4 0 516909680 977076224 97009 33554432000 4194304 4797429 140733927225440 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24685/tid=24695] ppid=24683 vsize=954176 CPUtime=821.97 cores=0,2,4,6
/proc/24685/task/24695/stat : 24695 (techdemo) R 24683 24685 22756 0 -1 4202560 38812 0 0 0 82182 15 0 0 25 0 4 0 516909680 977076224 97009 33554432000 4194304 4797429 140733927225440 18446744073709551615 4567809 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3283.68
Current children cumulated vsize (KiB) 954176

[startup+882.301 s]
/proc/loadavg: 8.10 7.75 5.83 9/184 24734
/proc/meminfo: memFree=17436796/32950928 swapFree=67111528/67111528
[pid=24685] ppid=24683 vsize=956520 CPUtime=3523.35 cores=0,2,4,6
/proc/24685/stat : 24685 (techdemo) R 24683 24685 22756 0 -1 4202496 459180 0 0 0 352128 207 0 0 25 0 4 0 516909649 979476480 99985 33554432000 4194304 4797429 140733927225440 18446744073709551615 4424963 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24685/statm: 239130 99985 420 148 0 234059 0
[pid=24685/tid=24693] ppid=24683 vsize=956520 CPUtime=881.97 cores=0,2,4,6
/proc/24685/task/24693/stat : 24693 (techdemo) R 24683 24685 22756 0 -1 4202560 45304 0 0 0 88174 23 0 0 25 0 4 0 516909680 979476480 99985 33554432000 4194304 4797429 140733927225440 18446744073709551615 4427959 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24685/tid=24694] ppid=24683 vsize=956520 CPUtime=877.18 cores=0,2,4,6
/proc/24685/task/24694/stat : 24694 (techdemo) R 24683 24685 22756 0 -1 4202560 42888 0 0 0 87698 20 0 0 25 0 4 0 516909680 979476480 99985 33554432000 4194304 4797429 140733927225440 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24685/tid=24695] ppid=24683 vsize=956520 CPUtime=881.98 cores=0,2,4,6
/proc/24685/task/24695/stat : 24695 (techdemo) R 24683 24685 22756 0 -1 4202560 39622 0 0 0 88182 16 0 0 25 0 4 0 516909680 979476480 99985 33554432000 4194304 4797429 140733927225440 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3523.35
Current children cumulated vsize (KiB) 956520

[startup+942.301 s]
/proc/loadavg: 8.12 7.82 5.97 9/184 24735
/proc/meminfo: memFree=17457000/32950928 swapFree=67111528/67111528
[pid=24685] ppid=24683 vsize=958900 CPUtime=3763.04 cores=0,2,4,6
/proc/24685/stat : 24685 (techdemo) R 24683 24685 22756 0 -1 4202496 491508 0 0 0 376081 223 0 0 25 0 4 0 516909649 981913600 102452 33554432000 4194304 4797429 140733927225440 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24685/statm: 239725 102452 420 148 0 234654 0
[pid=24685/tid=24693] ppid=24683 vsize=958900 CPUtime=941.97 cores=0,2,4,6
/proc/24685/task/24693/stat : 24693 (techdemo) R 24683 24685 22756 0 -1 4202560 47758 0 0 0 94173 24 0 0 25 0 4 0 516909680 981913600 102452 33554432000 4194304 4797429 140733927225440 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24685/tid=24694] ppid=24683 vsize=958900 CPUtime=936.87 cores=0,2,4,6
/proc/24685/task/24694/stat : 24694 (techdemo) R 24683 24685 22756 0 -1 4202560 45736 0 0 0 93665 22 0 0 25 0 4 0 516909680 981913600 102452 33554432000 4194304 4797429 140733927225440 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24685/tid=24695] ppid=24683 vsize=958900 CPUtime=941.98 cores=0,2,4,6
/proc/24685/task/24695/stat : 24695 (techdemo) R 24683 24685 22756 0 -1 4202560 43275 0 0 0 94181 17 0 0 25 0 4 0 516909680 981913600 102452 33554432000 4194304 4797429 140733927225440 18446744073709551615 4423635 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.04
Current children cumulated vsize (KiB) 958900

[startup+1002.3 s]
/proc/loadavg: 8.13 7.88 6.11 9/184 24737
/proc/meminfo: memFree=17436280/32950928 swapFree=67111528/67111528
[pid=24685] ppid=24683 vsize=967560 CPUtime=4002.72 cores=0,2,4,6
/proc/24685/stat : 24685 (techdemo) R 24683 24685 22756 0 -1 4202496 517684 0 0 0 400033 239 0 0 25 0 4 0 516909649 990781440 104537 33554432000 4194304 4797429 140733927225440 18446744073709551615 4424353 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24685/statm: 241890 104537 420 148 0 236819 0
[pid=24685/tid=24693] ppid=24683 vsize=967560 CPUtime=1001.98 cores=0,2,4,6
/proc/24685/task/24693/stat : 24693 (techdemo) R 24683 24685 22756 0 -1 4202560 49119 0 0 0 100173 25 0 0 25 0 4 0 516909680 990781440 104537 33554432000 4194304 4797429 140733927225440 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24685/tid=24694] ppid=24683 vsize=967560 CPUtime=996.54 cores=0,2,4,6
/proc/24685/task/24694/stat : 24694 (techdemo) R 24683 24685 22756 0 -1 4202560 46867 0 0 0 99632 22 0 0 25 0 4 0 516909680 990781440 104537 33554432000 4194304 4797429 140733927225440 18446744073709551615 4241148 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24685/tid=24695] ppid=24683 vsize=967560 CPUtime=1001.99 cores=0,2,4,6
/proc/24685/task/24695/stat : 24695 (techdemo) R 24683 24685 22756 0 -1 4202560 44968 0 0 0 100181 18 0 0 25 0 4 0 516909680 990781440 104537 33554432000 4194304 4797429 140733927225440 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4002.72
Current children cumulated vsize (KiB) 967560

[startup+1062.3 s]
/proc/loadavg: 8.09 7.92 6.23 9/184 24738
/proc/meminfo: memFree=17405000/32950928 swapFree=67111528/67111528
[pid=24685] ppid=24683 vsize=967612 CPUtime=4242.39 cores=0,2,4,6
/proc/24685/stat : 24685 (techdemo) R 24683 24685 22756 0 -1 4202496 540967 0 0 0 423988 251 0 0 25 0 4 0 516909649 990834688 102507 33554432000 4194304 4797429 140733927225440 18446744073709551615 4424383 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24685/statm: 241903 102507 420 148 0 236832 0
[pid=24685/tid=24693] ppid=24683 vsize=967612 CPUtime=1061.98 cores=0,2,4,6
/proc/24685/task/24693/stat : 24693 (techdemo) R 24683 24685 22756 0 -1 4202560 49865 0 0 0 106173 25 0 0 25 0 4 0 516909680 990834688 102507 33554432000 4194304 4797429 140733927225440 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24685/tid=24694] ppid=24683 vsize=967612 CPUtime=1056.23 cores=0,2,4,6
/proc/24685/task/24694/stat : 24694 (techdemo) R 24683 24685 22756 0 -1 4202560 47404 0 0 0 105600 23 0 0 25 0 4 0 516909680 990834688 102507 33554432000 4194304 4797429 140733927225440 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24685/tid=24695] ppid=24683 vsize=967612 CPUtime=1061.99 cores=0,2,4,6
/proc/24685/task/24695/stat : 24695 (techdemo) R 24683 24685 22756 0 -1 4202560 46320 0 0 0 106180 19 0 0 25 0 4 0 516909680 990834688 102507 33554432000 4194304 4797429 140733927225440 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4242.39
Current children cumulated vsize (KiB) 967612

[startup+1122.3 s]
/proc/loadavg: 8.10 7.96 6.35 9/184 24740
/proc/meminfo: memFree=17425820/32950928 swapFree=67111528/67111528
[pid=24685] ppid=24683 vsize=972316 CPUtime=4482.07 cores=0,2,4,6
/proc/24685/stat : 24685 (techdemo) R 24683 24685 22756 0 -1 4202496 566909 0 0 0 447943 264 0 0 25 0 4 0 516909649 995651584 101436 33554432000 4194304 4797429 140733927225440 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24685/statm: 243079 101436 420 148 0 238008 0
[pid=24685/tid=24693] ppid=24683 vsize=972316 CPUtime=1121.98 cores=0,2,4,6
/proc/24685/task/24693/stat : 24693 (techdemo) R 24683 24685 22756 0 -1 4202560 51747 0 0 0 112172 26 0 0 25 0 4 0 516909680 995651584 101436 33554432000 4194304 4797429 140733927225440 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24685/tid=24694] ppid=24683 vsize=972316 CPUtime=1115.91 cores=0,2,4,6
/proc/24685/task/24694/stat : 24694 (techdemo) R 24683 24685 22756 0 -1 4202560 49077 0 0 0 111568 23 0 0 25 0 4 0 516909680 995651584 101436 33554432000 4194304 4797429 140733927225440 18446744073709551615 4237256 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24685/tid=24695] ppid=24683 vsize=972316 CPUtime=1121.99 cores=0,2,4,6
/proc/24685/task/24695/stat : 24695 (techdemo) R 24683 24685 22756 0 -1 4202560 48483 0 0 0 112179 20 0 0 25 0 4 0 516909680 995651584 101436 33554432000 4194304 4797429 140733927225440 18446744073709551615 4429087 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.07
Current children cumulated vsize (KiB) 972316

[startup+1182.3 s]
/proc/loadavg: 8.11 7.99 6.46 9/184 24741
/proc/meminfo: memFree=17396412/32950928 swapFree=67111528/67111528
[pid=24685] ppid=24683 vsize=1038080 CPUtime=4721.76 cores=0,2,4,6
/proc/24685/stat : 24685 (techdemo) R 24683 24685 22756 0 -1 4202496 590426 0 0 0 471902 274 0 0 25 0 4 0 516909649 1062993920 110360 33554432000 4194304 4797429 140733927225440 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24685/statm: 259520 110360 420 148 0 254449 0
[pid=24685/tid=24693] ppid=24683 vsize=1038080 CPUtime=1181.99 cores=0,2,4,6
/proc/24685/task/24693/stat : 24693 (techdemo) R 24683 24685 22756 0 -1 4202560 54003 0 0 0 118172 27 0 0 25 0 4 0 516909680 1062993920 110360 33554432000 4194304 4797429 140733927225440 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24685/tid=24694] ppid=24683 vsize=1038080 CPUtime=1175.6 cores=0,2,4,6
/proc/24685/task/24694/stat : 24694 (techdemo) R 24683 24685 22756 0 -1 4202560 51962 0 0 0 117535 25 0 0 25 0 4 0 516909680 1062993920 110360 33554432000 4194304 4797429 140733927225440 18446744073709551615 4351897 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24685/tid=24695] ppid=24683 vsize=1038080 CPUtime=1181.99 cores=0,2,4,6
/proc/24685/task/24695/stat : 24695 (techdemo) R 24683 24685 22756 0 -1 4202560 51249 0 0 0 118178 21 0 0 25 0 4 0 516909680 1062993920 110360 33554432000 4194304 4797429 140733927225440 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4721.76
Current children cumulated vsize (KiB) 1038080



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.20 8.02 6.50 9/184 24742
/proc/meminfo: memFree=17400376/32950928 swapFree=67111528/67111528
[pid=24685] ppid=24683 vsize=1038080 CPUtime=4800.07 cores=0,2,4,6
/proc/24685/stat : 24685 (techdemo) R 24683 24685 22756 0 -1 4202496 591442 0 0 0 479732 275 0 0 25 0 4 0 516909649 1062993920 111269 33554432000 4194304 4797429 140733927225440 18446744073709551615 4567905 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24685/statm: 259520 111269 420 148 0 254449 0
[pid=24685/tid=24693] ppid=24683 vsize=1038080 CPUtime=1201.59 cores=0,2,4,6
/proc/24685/task/24693/stat : 24693 (techdemo) R 24683 24685 22756 0 -1 4202560 54572 0 0 0 120132 27 0 0 25 0 4 0 516909680 1062993920 111269 33554432000 4194304 4797429 140733927225440 18446744073709551615 4501900 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24685/tid=24694] ppid=24683 vsize=1038080 CPUtime=1195.1 cores=0,2,4,6
/proc/24685/task/24694/stat : 24694 (techdemo) R 24683 24685 22756 0 -1 4202560 52196 0 0 0 119485 25 0 0 25 0 4 0 516909680 1062993920 111269 33554432000 4194304 4797429 140733927225440 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24685/tid=24695] ppid=24683 vsize=1038080 CPUtime=1201.6 cores=0,2,4,6
/proc/24685/task/24695/stat : 24695 (techdemo) R 24683 24685 22756 0 -1 4202560 51462 0 0 0 120139 21 0 0 25 0 4 0 516909680 1062993920 111269 33554432000 4194304 4797429 140733927225440 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 1038080

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1201.9 s]
/proc/loadavg: 8.20 8.02 6.50 9/184 24742
/proc/meminfo: memFree=17400376/32950928 swapFree=67111528/67111528
[pid=24685] ppid=24683 vsize=1038080 CPUtime=4800.07 cores=0,2,4,6
/proc/24685/stat : 24685 (techdemo) R 24683 24685 22756 0 -1 4202496 591442 0 0 0 479732 275 0 0 25 0 4 0 516909649 1062993920 111269 33554432000 4194304 4797429 140733927225440 18446744073709551615 4567905 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24685/statm: 259520 111269 420 148 0 254449 0
[pid=24685/tid=24693] ppid=24683 vsize=1038080 CPUtime=1201.59 cores=0,2,4,6
/proc/24685/task/24693/stat : 24693 (techdemo) R 24683 24685 22756 0 -1 4202560 54572 0 0 0 120132 27 0 0 25 0 4 0 516909680 1062993920 111269 33554432000 4194304 4797429 140733927225440 18446744073709551615 4501900 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24685/tid=24694] ppid=24683 vsize=1038080 CPUtime=1195.1 cores=0,2,4,6
/proc/24685/task/24694/stat : 24694 (techdemo) R 24683 24685 22756 0 -1 4202560 52196 0 0 0 119485 25 0 0 25 0 4 0 516909680 1062993920 111269 33554432000 4194304 4797429 140733927225440 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24685/tid=24695] ppid=24683 vsize=1038080 CPUtime=1201.6 cores=0,2,4,6
/proc/24685/task/24695/stat : 24695 (techdemo) R 24683 24685 22756 0 -1 4202560 51462 0 0 0 120139 21 0 0 25 0 4 0 516909680 1062993920 111269 33554432000 4194304 4797429 140733927225440 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 1038080

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.93
CPU time (s): 4800.13
CPU user time (s): 4797.35
CPU system time (s): 2.77458
CPU usage (%): 399.367
Max. virtual memory (cumulated for all children) (KiB): 1083520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.35
system time used= 2.77458
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 591442
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= 26077
involuntary context switches= 23395

runsolver used 1.9907 second user time and 4.52931 second system time

The end

Launcher Data 

Begin job on node149 at 2011-04-29 06:58:50
IDJOB=3172506
IDBENCH=82524
IDSOLVER=1584
FILE ID=node149/3172506-1304053129
RUNJOBID= node149-1304053129-24671
PBS_JOBID= 13170377
Free space on /tmp= 71928 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v25000-c105000-S92008434-079-UNKNOWN.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3172506-1304053129/watcher-3172506-1304053129 -o /tmp/evaluation-result-3172506-1304053129/solver-3172506-1304053129 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3172506-1304053129.cnf

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

MD5SUM BENCH= aeb1e99b5983291023a10a1b4c71c10e
RANDOM SEED=1531409079

node149.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.806
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.61
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.806
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.83
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.806
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.83
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.806
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.73
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.806
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.82
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.806
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.806
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.806
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      18302976 kB
Buffers:       2222268 kB
Cached:       11809892 kB
SwapCached:          0 kB
Active:        5949688 kB
Inactive:      8150640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      18302976 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           12548 kB
Writeback:           0 kB
AnonPages:       67892 kB
Mapped:          14424 kB
Slab:           484480 kB
PageTables:       4596 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   188840 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= 71912 MiB
End job on node149 at 2011-04-29 07:18:54