Trace number 3172581

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

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v20000-c84000-S525505471-054-UNKNOWN.cnf
MD5SUMd09435f2d651fd373230433133c15edb
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark11.4443
Satisfiable
(Un)Satisfiability was proved
Number of variables20000
Number of clauses84000
Sum of the clauses size252000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 384000
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-3172581-1304076479.cnf'
0.00/0.00	c -- header says num vars:          20000
0.00/0.00	c -- header says num clauses:       84000
0.19/0.24	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.19/0.24	c -- vars added      20000
0.19/0.24	c Parsing time:  0.22 s
0.47/0.30	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data  --
0.47/0.30	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.24
0.47/0.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.23
0.47/0.38	c Calc non-exist non-lernt bins v-fix:     0 done:  20000 time:  0.03 s
0.47/0.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.47/0.38	c Subs w/ non-existent bins:      0 time:  0.01 s
0.86/0.50	c bin-w-bin subsume rem            0 bins  time:  0.03 s
0.86/0.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.86/0.50	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.03 s
1.64/0.69	c lits-rem:         0  cl-subs:        0  v-elim:   1201  v-fix:    0  time:  0.92 s
1.64/0.69	c learnt bin added due to v-elim: 0
2.04/0.70	c Finding binary XORs  T:     0.01 s  found:       0
2.04/0.75	c Finding non-binary XORs:     0.20 s (found:       0, avg size: nan)
2.04/0.75	c calculated reachability. Time: 0.00
2.04/0.76	c Calc default polars -  time:   0.03 s pos:    8733 undec:    2318 neg:    8949
2.04/0.76	c =========================================================================================
2.04/0.76	c types(t): F = full restart, N = normal restart
2.04/0.76	c types(t): S = simplification begin/end, E = solution found
2.04/0.76	c restart types(rt): st = static, dy = dynamic
2.04/0.76	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
2.04/0.76	c  B st     0         0     19313     83111         0         0    253112         0   no data   no data  --
4.43/1.36	c Decided on dynamic restart strategy
6.84/1.93	c  N dy    20      4064     19313     83111         0      4064    253112    720791    175.62    118.91  --
12.04/3.22	c  N dy    48      8123     19313     83111         0      8123    253112   1431187    164.27    118.35  --
16.84/4.43	c  N dy    76     12133     19313     83111         0     12132    253112   2150481    182.47    119.38  --
22.39/5.82	c  N dy   105     16286     19313     83111         0     16282    253112   2923233    184.04    120.51  --
27.99/7.29	c  N dy   134     20372     19313     83111         0     10370    253112    551995    169.44    118.65  --
34.00/8.72	c  N dy   162     24379     19313     83111         0     14376    253112   1252422    174.28    118.35  --
39.17/10.04	c  N dy   191     28519     19313     83111         0     18516    253112   1960947    172.64    117.75  --
41.97/10.75	c  S st   202     30003     19313     83111         0     20000    253112   2216204    165.72    117.64  --
42.78/10.92	c  S st   202     30504     19313     83111         0     20501    253112   2278248    165.72    117.64  --
42.78/10.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
42.78/10.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.56/11.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.92
43.56/11.17	c Calc non-exist non-lernt bins v-fix:     0 done:  19313 time:  0.04 s
43.56/11.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.56/11.19	c Subs w/ non-existent bins:      0 time:  0.09 s
44.37/11.38	c bin-w-bin subsume rem            0 bins  time:  0.03 s
44.37/11.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
44.76/11.40	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.03 s
65.93/16.76	c lits-rem:         5  cl-subs:     1203  v-elim:    307  v-fix:    0  time: 21.43 s
65.93/16.76	c learnt bin added due to v-elim: 0
65.93/16.77	c vivif2 --  cl tried    83111 cl shrink        0 lits rem          0 time: 0.03
65.93/16.79	c vivif2 --  cl tried    19298 cl shrink        0 lits rem          0 time: 0.10
67.13/17.03	c asymm  cl-useful: 0/83111/83111 lits-rem:0 time: 0.95
67.13/17.04	c calculated reachability. Time: 0.00
67.13/17.04	c  N dy   202     30504     19313     83111         0     19298    253112   2183771    165.72    117.64  --
67.13/17.04	c  F st   202     30504     19313     83111         0     19298    253112   2183771    165.72    117.64  --
69.92/17.79	c Decided on dynamic restart strategy
73.13/18.58	c  N dy   222     34622     19313     83111         0     23416    253112   2979428    184.95    118.63  --
79.51/20.18	c  N dy   251     38735     19313     83111         0     27529    253112   3668595    172.01    118.19  --
85.91/21.71	c  N dy   279     42748     19313     83111         0     16043    253112    704623    168.28    117.85  --
89.90/22.75	c  S st   301     45757     19313     83111         0     19050    253112   1219279    165.60    117.77  --
90.70/22.93	c  S st   301     46262     19313     83111         0     19555    253112   1293046    165.60    117.77  --
90.70/22.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
90.70/22.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
91.52/23.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.72
91.52/23.13	c Calc non-exist non-lernt bins v-fix:     0 done:  19313 time:  0.04 s
91.52/23.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
91.52/23.15	c Subs w/ non-existent bins:      0 time:  0.06 s
91.90/23.23	c bin-w-bin subsume rem            0 bins  time:  0.03 s
91.90/23.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
91.90/23.24	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.03 s
103.89/26.23	c lits-rem:         0  cl-subs:      599  v-elim:    307  v-fix:    0  time: 11.91 s
103.89/26.23	c learnt bin added due to v-elim: 0
103.89/26.23	c vivif2 --  cl tried    83111 cl shrink        0 lits rem          0 time: 0.04
103.89/26.25	c vivif2 --  cl tried    18956 cl shrink        0 lits rem          0 time: 0.07
104.70/26.45	c asymm  cl-useful: 0/83111/83111 lits-rem:0 time: 0.78
104.70/26.45	c calculated reachability. Time: 0.00
104.70/26.46	c  N dy   301     46262     19313     83111         0     18956    253112   1250631    165.60    117.77  --
111.08/28.00	c  N dy   330     50356     19313     83111         0     23049    253112   1944241    172.14    117.59  --
116.67/29.45	c  N dy   359     54494     19313     83111         0     27186    253112   2686026    170.40    117.85  --
122.66/30.96	c  N dy   388     58626     19313     83111         0     31318    253112   3411994    171.92    117.83  --
129.45/32.60	c  N dy   417     62729     19313     83111         0     35421    253112   4106130    160.35    117.69  --
135.83/34.22	c  N dy   445     66759     19313     83111         0     20704    253112    926686    164.56    117.63  --
140.23/35.34	c  S st   464     69393     19313     83111         0     23337    253112   1379031    162.62    117.55  --
141.03/35.54	c  S st   464     69897     19313     83111         0     23841    253112   1446338    162.62    117.55  --
141.03/35.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
141.03/35.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
141.83/35.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.0M T:  0.79
141.83/35.76	c Calc non-exist non-lernt bins v-fix:     0 done:  19313 time:  0.04 s
141.83/35.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
141.83/35.78	c Subs w/ non-existent bins:      0 time:  0.07 s
142.23/35.87	c bin-w-bin subsume rem            0 bins  time:  0.03 s
142.23/35.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
142.23/35.89	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.03 s
154.22/38.83	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
161.01/40.60	c Added 0 vars  tried: 80000 time: 7.05
161.01/40.60	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.06
161.42/40.65	c lits-rem:         0  cl-subs:      828  v-elim:    307  v-fix:    0  time: 19.01 s
161.42/40.65	c learnt bin added due to v-elim: 0
161.42/40.66	c vivif2 --  cl tried    83111 cl shrink        0 lits rem          0 time: 0.04
161.42/40.68	c vivif2 --  cl tried    23013 cl shrink        0 lits rem          0 time: 0.08
162.20/40.89	c asymm  cl-useful: 0/83111/83111 lits-rem:0 time: 0.86
162.60/40.90	c calculated reachability. Time: 0.00
162.60/40.90	c  N dy   464     69897     19313     83111         0     23013    253112   1396876    162.62    117.55  --
162.60/40.90	c  F st   464     69897     19313     83111         0     23013    253112   1396876    162.62    117.55  --
165.81/41.71	c Decided on dynamic restart strategy
169.79/42.70	c  N dy   487     74432     19313     83111         0     27548    253112   2231084    181.25    117.83  --
177.39/44.67	c  N dy   521     79301     19313     83111         0     32417    253112   3110917    178.43    118.07  --
185.37/46.61	c  N dy   557     84483     19313     83111         0     37598    253112   4049518    183.25    118.28  --
194.16/48.82	c  N dy   595     89880     19313     83111         0     22122    253112    790372    173.88    117.88  --
202.94/51.08	c  N dy   636     95693     19313     83111         0     27934    253112   1793179    173.28    117.76  --
213.33/53.67	c  N dy   679    101865     19313     83111         0     34105    253112   2901717    184.40    117.90  --
219.72/55.21	c  S st   700    104846     19313     83111         0     37085    253112   3424015    156.07    117.78  --
220.52/55.43	c  S st   700    105349     19313     83111         0     37588    253112   3487984    156.07    117.78  --
220.52/55.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
220.52/55.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
221.73/55.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.4M T:  1.30
221.73/55.78	c Calc non-exist non-lernt bins v-fix:     0 done:  19313 time:  0.04 s
221.73/55.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
222.13/55.81	c Subs w/ non-existent bins:      0 time:  0.14 s
222.94/56.02	c bin-w-bin subsume rem            0 bins  time:  0.03 s
222.94/56.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
222.94/56.04	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.03 s
260.87/65.57	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
261.27/65.64	c lits-rem:         0  cl-subs:     1452  v-elim:    307  v-fix:    0  time: 38.33 s
261.27/65.64	c learnt bin added due to v-elim: 0
261.27/65.65	c vivif2 --  cl tried    83111 cl shrink        0 lits rem          0 time: 0.03
261.27/65.68	c vivif2 --  cl tried    36136 cl shrink        0 lits rem          0 time: 0.16
262.88/66.03	c asymm  cl-useful: 0/83111/83111 lits-rem:0 time: 1.36
262.88/66.03	c calculated reachability. Time: 0.00
262.88/66.03	c  N dy   700    105349     19313     83111         0     36136    253112   3358006    156.07    117.78  --
273.25/68.67	c  N dy   747    112150     19313     83111         0     42937    253112   4576941    181.99    117.92  --
284.03/71.30	c  N dy   797    119384     19313     83111         0     27736    253112   1497984    168.10    117.97  --
295.22/74.17	c  N dy   851    127027     19313     83111         0     35379    253112   2835256    177.30    117.99  --
308.40/77.44	c  N dy   908    135267     19313     83111         0     43619    253112   4332525    175.00    118.34  --
321.98/80.82	c  N dy   969    144003     19313     83111         0     28638    253112   1380367    171.89    118.39  --
336.36/84.42	c  N dy  1034    153302     19313     83111         0     37937    253112   2982968    189.59    118.23  --
345.15/86.64	c  S st  1067    158023     19313     83111         0     42658    253112   3795673    172.56    118.16  --
345.97/86.88	c  S st  1067    158530     19313     83111         0     43165    253112   3866760    172.56    118.16  --
345.97/86.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
345.97/86.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
347.54/87.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.7M T:  1.45
347.54/87.26	c Calc non-exist non-lernt bins v-fix:     0 done:  19313 time:  0.04 s
347.54/87.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
347.94/87.30	c Subs w/ non-existent bins:      0 time:  0.15 s
348.75/87.52	c bin-w-bin subsume rem            0 bins  time:  0.02 s
348.75/87.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
348.75/87.53	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.03 s
447.03/112.19	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
447.43/112.27	c lits-rem:         0  cl-subs:     1759  v-elim:    307  v-fix:    0  time: 98.79 s
447.43/112.27	c learnt bin added due to v-elim: 0
447.43/112.28	c vivif2 --  cl tried    83111 cl shrink        0 lits rem          0 time: 0.03
447.81/112.33	c vivif2 --  cl tried    41406 cl shrink        0 lits rem          0 time: 0.18
449.41/112.72	c asymm  cl-useful: 0/83111/83111 lits-rem:0 time: 1.58
449.41/112.73	c calculated reachability. Time: 0.00
449.41/112.73	c  N dy  1067    158530     19313     83111         0     41406    253112   3717083    172.56    118.16  --
466.58/117.05	c  N dy  1138    168720     19313     83111         0     26735    253112    862709    202.34    118.44  --
483.76/121.37	c  N dy  1214    179581     19313     83111         0     37595    253112   2738753    171.70    118.33  --
502.93/126.18	c  N dy  1295    191071     19313     83111         0     49083    253112   4748104    177.42    118.26  --
522.50/131.03	c  N dy  1381    203289     19313     83111         0     35372    253112   2103915    162.74    118.17  --
545.27/136.76	c  N dy  1473    216391     19313     83111         0     48472    253112   4389412    159.36    118.11  --
568.05/142.47	c  N dy  1570    230290     19313     83111         0     35407    253112   1970393    196.71    118.21  --
582.43/146.02	c  S st  1623    237795     19313     83111         0     42912    253112   3301476    170.14    118.32  --
583.25/146.27	c  S st  1623    238300     19313     83111         0     43417    253112   3366293    170.14    118.32  --
583.25/146.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
583.25/146.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
584.82/146.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.0M T:  1.47
584.82/146.66	c Calc non-exist non-lernt bins v-fix:     0 done:  19313 time:  0.04 s
584.82/146.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
585.22/146.70	c Subs w/ non-existent bins:      0 time:  0.14 s
586.02/146.91	c bin-w-bin subsume rem            0 bins  time:  0.03 s
586.02/146.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
586.02/146.92	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
626.37/157.06	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
626.77/157.13	c lits-rem:         0  cl-subs:     2050  v-elim:    307  v-fix:    0  time: 40.78 s
626.77/157.13	c learnt bin added due to v-elim: 0
626.77/157.14	c vivif2 --  cl tried    83111 cl shrink        0 lits rem          0 time: 0.03
626.77/157.18	c vivif2 --  cl tried    41367 cl shrink        0 lits rem          0 time: 0.16
628.36/157.53	c asymm  cl-useful: 0/83111/83111 lits-rem:0 time: 1.38
628.36/157.53	c calculated reachability. Time: 0.00
628.36/157.53	c  N dy  1623    238300     19313     83111         0     41367    253112   3234360    170.14    118.32  --
653.13/163.75	c  N dy  1730    253614     19313     83111         0     28701    253112    574869    162.64    118.28  --
677.89/169.96	c  N dy  1843    269860     19313     83111         0     44943    253112   3446382    166.11    118.35  --
707.06/177.25	c  N dy  1964    287169     19313     83111         0     33261    253112   1194362    176.84    118.51  --
736.61/184.65	c  N dy  2093    305586     19313     83111         0     51675    253112   4404585    176.50    118.48  --
769.78/192.90	c  N dy  2230    325138     19313     83111         0     41233    253112   2375696    165.26    118.44  --
804.53/201.67	c  N dy  2369    345188     19313     83111         0     61281    253112   5887724    182.00    118.40  --
825.31/206.87	c  S st  2454    357450     19313     83111         0     42550    253112   2538417    178.30    118.56  --
826.49/207.11	c  S st  2454    357954     19313     83111         0     43054    253112   2607309    178.30    118.56  --
826.49/207.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
826.49/207.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
827.69/207.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.5M T:  1.44
827.69/207.49	c Calc non-exist non-lernt bins v-fix:     0 done:  19313 time:  0.04 s
827.69/207.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
828.09/207.52	c Subs w/ non-existent bins:      0 time:  0.11 s
828.49/207.67	c bin-w-bin subsume rem            0 bins  time:  0.03 s
828.49/207.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
828.49/207.69	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
856.08/214.51	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
866.84/217.24	c Added 0 vars  tried: 80000 time: 10.91
866.84/217.24	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:   10.91
867.24/217.30	c lits-rem:         3  cl-subs:     2387  v-elim:    307  v-fix:    0  time: 38.40 s
867.24/217.30	c learnt bin added due to v-elim: 0
867.24/217.31	c vivif2 --  cl tried    83111 cl shrink        0 lits rem          0 time: 0.04
867.24/217.35	c vivif2 --  cl tried    40667 cl shrink        0 lits rem          0 time: 0.13
868.44/217.66	c asymm  cl-useful: 0/83111/83111 lits-rem:0 time: 1.26
868.44/217.67	c calculated reachability. Time: 0.00
868.44/217.67	c  N dy  2454    357954     19313     83111         0     40667    253112   2482079    178.30    118.56  --
904.78/226.70	c  N dy  2595    378091     19313     83111         0     60803    253112   6054966    186.01    118.59  --
939.93/235.58	c  N dy  2736    398130     19313     83111         0     48845    253112   3395212    181.88    118.66  --
977.09/244.86	c  N dy  2876    418158     19313     83111         0     35874    253112    917215    169.70    118.63  --
1012.24/253.61	c  N dy  3015    438178     19313     83111         0     55891    253112   4456323    182.23    118.65  --
1049.78/263.01	c  N dy  3155    458327     19313     83111         0     42040    253112   1857415    172.57    118.66  --
1084.56/271.77	c  N dy  3295    478359     19313     83111         0     62069    253112   5438961    160.34    118.76  --
1117.70/280.04	c  N dy  3434    498361     19313     83111         0     47072    253112   2541906    176.20    118.74  --
1153.25/288.97	c  N dy  3573    518411     19313     83111         0     67117    253112   6234150    209.34    118.90  --
1185.62/297.07	c  S st  3702    536931     19313     83111         0     49642    253112   2840065    183.87    118.91  --
1186.80/297.32	c  S st  3702    537434     19313     83111         0     50145    253112   2910642    183.87    118.91  --
1186.80/297.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1186.80/297.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1188.40/297.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.8M T:  1.69
1188.40/297.77	c Calc non-exist non-lernt bins v-fix:     0 done:  19313 time:  0.04 s
1188.40/297.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1188.80/297.80	c Subs w/ non-existent bins:      0 time:  0.12 s
1189.21/297.97	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1189.21/297.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1189.21/297.99	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
1226.35/307.28	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
1226.75/307.35	c lits-rem:        20  cl-subs:     3061  v-elim:    307  v-fix:    0  time: 37.39 s
1226.75/307.35	c learnt bin added due to v-elim: 0
1226.75/307.36	c vivif2 --  cl tried    83111 cl shrink        0 lits rem          0 time: 0.03
1226.75/307.39	c vivif2 --  cl tried    47084 cl shrink        0 lits rem          0 time: 0.14
1228.35/307.73	c asymm  cl-useful: 0/83111/83111 lits-rem:0 time: 1.37
1228.35/307.74	c calculated reachability. Time: 0.00
1228.35/307.74	c  N dy  3702    537434     19313     83111         0     47084    253112   2779068    183.87    118.91  --
1228.35/307.74	c  F st  3702    537434     19313     83111         0     47084    253112   2779068    183.87    118.91  --
1231.94/308.68	c Decided on dynamic restart strategy
1265.09/316.96	c  N dy  3834    557450     19313     83111         0     67098    253112   6358281    169.79    118.96  --
1301.44/326.06	c  N dy  3974    577549     19313     83111         0     50201    253112   2728452    176.18    118.94  --
1339.42/335.55	c  N dy  4115    597671     19313     83111         0     70321    253112   6216628    185.60    118.85  --
1376.15/344.78	c  N dy  4255    617677     19313     83111         0     52332    253112   2946557    174.91    118.84  --
1415.69/354.64	c  N dy  4394    637701     19313     83111         0     72356    253112   6430476    178.41    118.82  --
1452.85/363.98	c  N dy  4534    657709     19313     83111         0     53365    253112   2943927    170.23    118.77  --
1492.39/373.82	c  N dy  4674    677711     19313     83111         0     73366    253112   6411602    195.29    118.73  --
1530.33/383.36	c  N dy  4815    697847     19313     83111         0     53501    253112   2824891    178.91    118.69  --
1570.28/393.35	c  N dy  4955    717941     19313     83111         0     73592    253112   6384587    178.45    118.73  --
1607.83/402.80	c  N dy  5095    738052     19313     83111         0     52706    253112   2497628    178.44    118.73  --
1643.37/411.65	c  N dy  5236    758139     19313     83111         0     72784    253112   6092820    176.54    118.77  --
1679.73/420.78	c  N dy  5376    778169     19313     83111         0     50814    253112   1956989    175.13    118.74  --
1716.48/429.96	c  N dy  5515    798185     19313     83111         0     70826    253112   5511365    161.94    118.77  --
1734.05/434.39	c  S st  5572    806151     19313     83111         0     78791    253112   6922680    178.15    118.79  --
1735.66/434.72	c  S st  5572    806651     19313     83111         0     79291    253112   6989008    178.15    118.79  --
1735.66/434.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1735.66/434.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1738.87/435.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  6.9M T:  3.16
1738.87/435.54	c Calc non-exist non-lernt bins v-fix:     0 done:  19313 time:  0.04 s
1738.87/435.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1738.87/435.60	c Subs w/ non-existent bins:      0 time:  0.25 s
1740.84/436.00	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1740.84/436.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1740.84/436.02	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
2194.63/549.63	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
2223.79/556.93	c Added 0 vars  tried: 80000 time: 29.12
2223.79/556.93	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:   29.13
2224.19/557.06	c lits-rem:         0  cl-subs:     4798  v-elim:    307  v-fix:    0  time: 483.45 s
2224.19/557.06	c learnt bin added due to v-elim: 0
2224.19/557.07	c vivif2 --  cl tried    83111 cl shrink        0 lits rem          0 time: 0.03
2224.59/557.15	c vivif2 --  cl tried    74493 cl shrink        0 lits rem          0 time: 0.32
2226.60/557.62	c asymm  cl-useful: 0/64150/83111 lits-rem:0 time: 1.89
2226.60/557.63	c calculated reachability. Time: 0.00
2226.60/557.63	c  N dy  5572    806651     19313     83111         0     74493    253112   6649879    178.15    118.79  --
2264.13/567.02	c  N dy  5711    826673     19313     83111         0     51523    253112   2001666    167.93    118.91  --
2300.49/576.19	c  N dy  5851    846707     19313     83111         0     71554    253112   5483870    180.43    118.86  --
2341.25/586.33	c  N dy  5992    866819     19313     83111         0     47673    253112   1107509    178.50    118.86  --
2377.98/595.51	c  N dy  6133    886882     19313     83111         0     67731    253112   4620843    182.48    118.84  --
2418.72/605.74	c  N dy  6273    906953     19313     83111         0     87797    253112   8150696    176.12    118.83  --
2456.68/615.20	c  N dy  6413    927026     19313     83111         0     62876    253112   3626322    180.50    118.85  --
2497.82/625.57	c  N dy  6553    947074     19313     83111         0     82918    253112   7211219    183.49    118.86  --
2539.36/635.97	c  N dy  6693    967167     19313     83111         0     57015    253112   2408902    193.88    118.86  --
2580.91/646.31	c  N dy  6834    987300     19313     83111         0     77145    253112   6007401    178.40    118.89  --
2624.85/657.37	c  N dy  6974   1007328     19313     83111         0     50181    253112    993965    168.38    118.88  --
2663.20/666.91	c  N dy  7114   1027339     19313     83111         0     70191    253112   4481318    178.12    118.87  --
2707.13/677.98	c  N dy  7254   1047376     19313     83111         0     90224    253112   8067688    184.00    118.88  --
2747.48/688.03	c  N dy  7394   1067450     19313     83111         0     62302    253112   3055868    175.78    118.91  --
2789.82/698.69	c  N dy  7535   1087580     19313     83111         0     82429    253112   6620040    173.60    118.92  --
2832.56/709.30	c  N dy  7675   1107657     19313     83111         0     53512    253112   1241424    175.17    118.96  --
2870.11/718.74	c  N dy  7815   1127736     19313     83111         0     73587    253112   4798761    163.40    118.97  --
2912.08/729.26	c  N dy  7955   1147835     19313     83111         0     93683    253112   8422054    189.56    119.01  --
2951.20/739.09	c  N dy  8095   1167906     19313     83111         0     63760    253112   2851302    175.31    119.01  --
2989.96/748.73	c  N dy  8234   1187971     19313     83111         0     83824    253112   6406247    181.53    119.01  --
3032.69/759.47	c  N dy  8374   1208041     19313     83111         0     52897    253112    832336    185.06    119.04  --
3036.68/760.41	c  S st  8388   1209976     19313     83111         0     54832    253112   1157962    168.88    119.04  --
3037.48/760.63	c  S st  8388   1210481     19313     83111         0     55337    253112   1229288    168.88    119.04  --
3037.48/760.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3037.48/760.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3039.50/761.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.1M T:  1.94
3039.50/761.14	c Calc non-exist non-lernt bins v-fix:     0 done:  19313 time:  0.04 s
3039.50/761.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3039.50/761.16	c Subs w/ non-existent bins:      0 time:  0.07 s
3039.91/761.25	c bin-w-bin subsume rem            0 bins  time:  0.03 s
3039.91/761.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3039.91/761.26	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
3051.07/764.07	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
3051.47/764.13	c lits-rem:        10  cl-subs:     3597  v-elim:    307  v-fix:    0  time: 11.45 s
3051.47/764.13	c learnt bin added due to v-elim: 0
3051.47/764.14	c vivif2 --  cl tried    83111 cl shrink        0 lits rem          0 time: 0.04
3051.47/764.15	c vivif2 --  cl tried    51740 cl shrink        0 lits rem          0 time: 0.07
3051.87/764.23	c asymm  cl-useful: 0/18961/83111 lits-rem:0 time: 0.29
3051.87/764.23	c calculated reachability. Time: 0.01
3051.87/764.23	c  N dy  8388   1210481     19313     83111         0     51740    253112   1169830    168.88    119.04  --
3091.01/774.03	c  N dy  8528   1230600     19313     83111         0     71854    253112   4799498    170.50    119.08  --
3134.15/784.86	c  N dy  8668   1250609     19313     83111         0     91863    253112   8367467    189.04    119.10  --
3178.49/795.97	c  N dy  8807   1270660     19313     83111         0     59918    253112   1934193    185.29    119.16  --
3219.65/806.25	c  N dy  8947   1290767     19313     83111         0     80023    253112   5564516    176.74    119.19  --
3264.77/817.58	c  N dy  9087   1310833     19313     83111         0    100086    253112   9072837    174.29    119.18  --
3307.53/828.24	c  N dy  9228   1330941     19313     83111         0     67197    253112   3016743    166.04    119.19  --
3350.66/839.07	c  N dy  9368   1351026     19313     83111         0     87282    253112   6585956    177.68    119.19  --
3397.79/850.82	c  N dy  9508   1371066     19313     83111         0    107319    253112  10124603    168.97    119.19  --
3438.54/861.07	c  N dy  9649   1391117     19313     83111         0     73370    253112   3895519    182.26    119.18  --
3483.71/872.33	c  N dy  9789   1411257     19313     83111         0     93507    253112   7535704    195.08    119.21  --
3532.03/884.41	c  N dy  9929   1431262     19313     83111         0     58519    253112   1124392    167.60    119.23  --
3572.76/894.62	c  N dy 10068   1451266     19313     83111         0     78523    253112   4756693    190.49    119.25  --
3615.90/905.49	c  N dy 10208   1471334     19313     83111         0     98588    253112   8338845    190.57    119.26  --
3659.83/916.42	c  N dy 10349   1491394     19313     83111         0     62653    253112   1674899    184.09    119.26  --
3698.60/926.11	c  N dy 10489   1511428     19313     83111         0     82683    253112   5292451    168.08    119.30  --
3741.72/936.97	c  N dy 10629   1531568     19313     83111         0    102820    253112   8923360    182.98    119.32  --
3784.06/947.57	c  N dy 10768   1551629     19313     83111         0     65884    253112   2096097    182.84    119.35  --
3824.81/957.70	c  N dy 10908   1571766     19313     83111         0     86019    253112   5733021    166.22    119.37  --
3870.37/969.14	c  N dy 11048   1591844     19313     83111         0    106096    253112   9342241    189.34    119.39  --
3913.91/980.03	c  N dy 11189   1611982     19313     83111         0     68239    253112   2328926    180.40    119.39  --
3956.63/990.71	c  N dy 11329   1632016     19313     83111         0     88270    253112   5954253    169.56    119.42  --
4003.76/1002.58	c  N dy 11469   1652028     19313     83111         0    108281    253112   9483153    176.69    119.41  --
4048.91/1013.87	c  N dy 11610   1672161     19313     83111         0     69419    253112   2359464    176.18    119.42  --
4092.45/1024.70	c  N dy 11751   1692280     19313     83111         0     89536    253112   5873625    171.25    119.39  --
4138.78/1036.32	c  S st 11878   1710481     19313     83111         0    107734    253112   9089081    178.39    119.39  --
4139.99/1036.69	c  S st 11878   1710985     19313     83111         0    108238    253112   9152062    178.39    119.39  --
4140.39/1036.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
4140.39/1036.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4145.18/1037.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 15.0M T:  5.12
4145.58/1038.01	c Calc non-exist non-lernt bins v-fix:     0 done:  19313 time:  0.05 s
4145.58/1038.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4145.58/1038.09	c Subs w/ non-existent bins:      0 time:  0.33 s
4147.97/1038.63	c bin-w-bin subsume rem            0 bins  time:  0.03 s
4147.97/1038.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
4147.97/1038.65	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 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-3172581-1304076479/watcher-3172581-1304076479 -o /tmp/evaluation-result-3172581-1304076479/solver-3172581-1304076479 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172581-1304076479.cnf 

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

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


[startup+0 s]
/proc/loadavg: 3.44 4.93 6.54 3/180 14362
/proc/meminfo: memFree=26371104/32950928 swapFree=67111524/67111528
[pid=14362] ppid=14360 vsize=24216 CPUtime=0 cores=1,3,5,7
/proc/14362/stat : 14362 (techdemo) R 14360 14362 13699 0 -1 4202496 1344 0 0 0 0 0 0 0 21 0 1 0 519246577 24797184 1283 33554432000 4194304 4797429 140736906898160 18446744073709551615 4366300 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14362/statm: 6054 1290 341 148 0 983 0

[startup+0.0205049 s]
/proc/loadavg: 3.44 4.93 6.54 3/180 14362
/proc/meminfo: memFree=26371104/32950928 swapFree=67111524/67111528
[pid=14362] ppid=14360 vsize=39564 CPUtime=0.01 cores=1,3,5,7
/proc/14362/stat : 14362 (techdemo) R 14360 14362 13699 0 -1 4202496 5338 0 0 0 1 0 0 0 21 0 1 0 519246577 40513536 3900 33554432000 4194304 4797429 140736906898160 18446744073709551615 4366925 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14362/statm: 9891 3913 342 148 0 4820 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 39564

[startup+0.100427 s]
/proc/loadavg: 3.44 4.93 6.54 3/180 14362
/proc/meminfo: memFree=26371104/32950928 swapFree=67111524/67111528
[pid=14362] ppid=14360 vsize=92576 CPUtime=0.09 cores=1,3,5,7
/proc/14362/stat : 14362 (techdemo) R 14360 14362 13699 0 -1 4202496 13183 0 0 0 8 1 0 0 21 0 1 0 519246577 94797824 9837 33554432000 4194304 4797429 140736906898160 18446744073709551615 4621888 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14362/statm: 23144 9838 348 148 0 18073 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 92576

[startup+0.300392 s]
/proc/loadavg: 3.44 4.93 6.54 3/180 14362
/proc/meminfo: memFree=26371104/32950928 swapFree=67111524/67111528
[pid=14362] ppid=14360 vsize=199892 CPUtime=0.47 cores=1,3,5,7
/proc/14362/stat : 14362 (techdemo) R 14360 14362 13699 0 -1 4202496 17256 0 0 0 45 2 0 0 18 0 4 0 519246577 204689408 13682 33554432000 4194304 4797429 140736906898160 18446744073709551615 4645207 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14362/statm: 49973 13682 373 148 0 44902 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 199892

[startup+0.700326 s]
/proc/loadavg: 3.44 4.93 6.54 3/180 14362
/proc/meminfo: memFree=26371104/32950928 swapFree=67111524/67111528
[pid=14362] ppid=14360 vsize=810360 CPUtime=2.04 cores=1,3,5,7
/proc/14362/stat : 14362 (techdemo) R 14360 14362 13699 0 -1 4202496 26786 0 0 0 188 16 0 0 18 0 4 0 519246577 829808640 21525 33554432000 4194304 4797429 140736906898160 18446744073709551615 4637444 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14362/statm: 202590 21525 402 148 0 197519 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 810360

[startup+1.50119 s]
/proc/loadavg: 3.57 4.93 6.53 10/184 14366
/proc/meminfo: memFree=26245332/32950928 swapFree=67111524/67111528
[pid=14362] ppid=14360 vsize=814572 CPUtime=5.23 cores=1,3,5,7
/proc/14362/stat : 14362 (techdemo) R 14360 14362 13699 0 -1 4202496 30216 0 0 0 507 16 0 0 19 0 4 0 519246577 834121728 24943 33554432000 4194304 4797429 140736906898160 18446744073709551615 4391828 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14362/statm: 203643 24944 412 148 0 198572 0
[pid=14362/tid=14364] ppid=14360 vsize=814572 CPUtime=1.24 cores=1,3,5,7
/proc/14362/task/14364/stat : 14364 (techdemo) R 14360 14362 13699 0 -1 4202560 3487 0 0 0 121 3 0 0 19 0 4 0 519246601 834121728 24944 33554432000 4194304 4797429 140736906898160 18446744073709551615 4387683 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14362/tid=14365] ppid=14360 vsize=814572 CPUtime=1.24 cores=1,3,5,7
/proc/14362/task/14365/stat : 14365 (techdemo) R 14360 14362 13699 0 -1 4202560 3193 0 0 0 121 3 0 0 19 0 4 0 519246601 834121728 24944 33554432000 4194304 4797429 140736906898160 18446744073709551615 4351624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14362/tid=14366] ppid=14360 vsize=814572 CPUtime=1.24 cores=1,3,5,7
/proc/14362/task/14366/stat : 14366 (techdemo) R 14360 14362 13699 0 -1 4202560 2874 0 0 0 121 3 0 0 19 0 4 0 519246601 834121728 24944 33554432000 4194304 4797429 140736906898160 18446744073709551615 4413425 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.23
Current children cumulated vsize (KiB) 814572

[startup+3.10092 s]
/proc/loadavg: 3.57 4.93 6.53 9/184 14366
/proc/meminfo: memFree=26223012/32950928 swapFree=67111524/67111528
[pid=14362] ppid=14360 vsize=818000 CPUtime=11.62 cores=1,3,5,7
/proc/14362/stat : 14362 (techdemo) R 14360 14362 13699 0 -1 4202496 34633 0 0 0 1145 17 0 0 23 0 4 0 519246577 837632000 29333 33554432000 4194304 4797429 140736906898160 18446744073709551615 4379204 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14362/statm: 204500 29333 413 148 0 199429 0
[pid=14362/tid=14364] ppid=14360 vsize=818000 CPUtime=2.84 cores=1,3,5,7
/proc/14362/task/14364/stat : 14364 (techdemo) R 14360 14362 13699 0 -1 4202560 4960 0 0 0 280 4 0 0 23 0 4 0 519246601 837632000 29333 33554432000 4194304 4797429 140736906898160 18446744073709551615 4259014 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14362/tid=14365] ppid=14360 vsize=818000 CPUtime=2.85 cores=1,3,5,7
/proc/14362/task/14365/stat : 14365 (techdemo) R 14360 14362 13699 0 -1 4202560 4212 0 0 0 281 4 0 0 22 0 4 0 519246601 837632000 29333 33554432000 4194304 4797429 140736906898160 18446744073709551615 4425824 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14362/tid=14366] ppid=14360 vsize=818000 CPUtime=2.83 cores=1,3,5,7
/proc/14362/task/14366/stat : 14366 (techdemo) R 14360 14362 13699 0 -1 4202560 3875 0 0 0 280 3 0 0 23 0 4 0 519246601 837632000 29333 33554432000 4194304 4797429 140736906898160 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.62
Current children cumulated vsize (KiB) 818000

[startup+6.30039 s]
/proc/loadavg: 3.92 4.98 6.54 9/184 14366
/proc/meminfo: memFree=26137484/32950928 swapFree=67111524/67111528
[pid=14362] ppid=14360 vsize=829392 CPUtime=24.39 cores=1,3,5,7
/proc/14362/stat : 14362 (techdemo) R 14360 14362 13699 0 -1 4202496 45587 0 0 0 2414 25 0 0 25 0 4 0 519246577 849297408 40271 33554432000 4194304 4797429 140736906898160 18446744073709551615 4425609 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14362/statm: 207348 40271 416 148 0 202277 0
[pid=14362/tid=14364] ppid=14360 vsize=829392 CPUtime=6.04 cores=1,3,5,7
/proc/14362/task/14364/stat : 14364 (techdemo) R 14360 14362 13699 0 -1 4202560 7392 0 0 0 599 5 0 0 20 0 4 0 519246601 849297408 40271 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14362/tid=14365] ppid=14360 vsize=829392 CPUtime=6.04 cores=1,3,5,7
/proc/14362/task/14365/stat : 14365 (techdemo) R 14360 14362 13699 0 -1 4202560 7912 0 0 0 597 7 0 0 20 0 4 0 519246601 849297408 40271 33554432000 4194304 4797429 140736906898160 18446744073709551615 4567816 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14362/tid=14366] ppid=14360 vsize=829392 CPUtime=6 cores=1,3,5,7
/proc/14362/task/14366/stat : 14366 (techdemo) R 14360 14362 13699 0 -1 4202560 6452 0 0 0 594 6 0 0 20 0 4 0 519246601 849297408 40271 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.39
Current children cumulated vsize (KiB) 829392

[startup+12.7003 s]
/proc/loadavg: 4.25 5.03 6.54 9/184 14366
/proc/meminfo: memFree=26090316/32950928 swapFree=67111524/67111528
[pid=14362] ppid=14360 vsize=839100 CPUtime=49.95 cores=1,3,5,7
/proc/14362/stat : 14362 (techdemo) R 14360 14362 13699 0 -1 4202496 53701 0 0 0 4966 29 0 0 25 0 4 0 519246577 859238400 44292 33554432000 4194304 4797429 140736906898160 18446744073709551615 4524480 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14362/statm: 209775 44292 417 148 0 204704 0
[pid=14362/tid=14364] ppid=14360 vsize=839100 CPUtime=12.44 cores=1,3,5,7
/proc/14362/task/14364/stat : 14364 (techdemo) R 14360 14362 13699 0 -1 4202560 7825 0 0 0 1239 5 0 0 25 0 4 0 519246601 859238400 44292 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14362/tid=14365] ppid=14360 vsize=839100 CPUtime=12.44 cores=1,3,5,7
/proc/14362/task/14365/stat : 14365 (techdemo) R 14360 14362 13699 0 -1 4202560 8339 0 0 0 1237 7 0 0 25 0 4 0 519246601 859238400 44292 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14362/tid=14366] ppid=14360 vsize=839100 CPUtime=12.37 cores=1,3,5,7
/proc/14362/task/14366/stat : 14366 (techdemo) R 14360 14362 13699 0 -1 4202560 6887 0 0 0 1231 6 0 0 25 0 4 0 519246601 859238400 44292 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 49.95
Current children cumulated vsize (KiB) 839100

[startup+25.5012 s]
/proc/loadavg: 5.08 5.17 6.57 9/184 14367
/proc/meminfo: memFree=26039464/32950928 swapFree=67111524/67111528
[pid=14362] ppid=14360 vsize=845424 CPUtime=101.09 cores=1,3,5,7
/proc/14362/stat : 14362 (techdemo) R 14360 14362 13699 0 -1 4202496 61868 0 0 0 10076 33 0 0 25 0 4 0 519246577 865714176 47184 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14362/statm: 211356 47184 419 148 0 206285 0
[pid=14362/tid=14364] ppid=14360 vsize=845424 CPUtime=25.24 cores=1,3,5,7
/proc/14362/task/14364/stat : 14364 (techdemo) R 14360 14362 13699 0 -1 4202560 8930 0 0 0 2518 6 0 0 25 0 4 0 519246601 865714176 47184 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14362/tid=14365] ppid=14360 vsize=845424 CPUtime=25.24 cores=1,3,5,7
/proc/14362/task/14365/stat : 14365 (techdemo) R 14360 14362 13699 0 -1 4202560 9300 0 0 0 2516 8 0 0 25 0 4 0 519246601 865714176 47184 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14362/tid=14366] ppid=14360 vsize=845424 CPUtime=25.1 cores=1,3,5,7
/proc/14362/task/14366/stat : 14366 (techdemo) R 14360 14362 13699 0 -1 4202560 8160 0 0 0 2503 7 0 0 25 0 4 0 519246601 865714176 47184 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.09
Current children cumulated vsize (KiB) 845424

[startup+51.1009 s]
/proc/loadavg: 6.20 5.43 6.61 9/184 14368
/proc/meminfo: memFree=25998432/32950928 swapFree=67111524/67111528
[pid=14362] ppid=14360 vsize=857912 CPUtime=203.34 cores=1,3,5,7
/proc/14362/stat : 14362 (techdemo) R 14360 14362 13699 0 -1 4202496 79578 0 0 0 20293 41 0 0 25 0 4 0 519246577 878501888 54091 33554432000 4194304 4797429 140736906898160 18446744073709551615 4259014 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14362/statm: 214478 54091 420 148 0 209407 0
[pid=14362/tid=14364] ppid=14360 vsize=857912 CPUtime=50.84 cores=1,3,5,7
/proc/14362/task/14364/stat : 14364 (techdemo) R 14360 14362 13699 0 -1 4202560 10596 0 0 0 5078 6 0 0 25 0 4 0 519246601 878501888 54091 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14362/tid=14365] ppid=14360 vsize=857912 CPUtime=50.84 cores=1,3,5,7
/proc/14362/task/14365/stat : 14365 (techdemo) R 14360 14362 13699 0 -1 4202560 10770 0 0 0 5076 8 0 0 25 0 4 0 519246601 878501888 54091 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14362/tid=14366] ppid=14360 vsize=857912 CPUtime=50.56 cores=1,3,5,7
/proc/14362/task/14366/stat : 14366 (techdemo) R 14360 14362 13699 0 -1 4202560 9947 0 0 0 5048 8 0 0 25 0 4 0 519246601 878501888 54091 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.34
Current children cumulated vsize (KiB) 857912

[startup+102.306 s]
/proc/loadavg: 7.36 5.86 6.69 9/184 14369
/proc/meminfo: memFree=25956008/32950928 swapFree=67111524/67111528
[pid=14362] ppid=14360 vsize=874528 CPUtime=407.88 cores=1,3,5,7
/proc/14362/stat : 14362 (techdemo) R 14360 14362 13699 0 -1 4202496 108034 0 0 0 40730 58 0 0 25 0 4 0 519246577 895516672 60376 33554432000 4194304 4797429 140736906898160 18446744073709551615 4567905 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14362/statm: 218632 60376 420 148 0 213561 0
[pid=14362/tid=14364] ppid=14360 vsize=874528 CPUtime=102.04 cores=1,3,5,7
/proc/14362/task/14364/stat : 14364 (techdemo) R 14360 14362 13699 0 -1 4202560 14780 0 0 0 10196 8 0 0 25 0 4 0 519246601 895516672 60376 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14362/tid=14365] ppid=14360 vsize=874528 CPUtime=102.03 cores=1,3,5,7
/proc/14362/task/14365/stat : 14365 (techdemo) R 14360 14362 13699 0 -1 4202560 14888 0 0 0 10193 10 0 0 25 0 4 0 519246601 895516672 60376 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14362/tid=14366] ppid=14360 vsize=874528 CPUtime=101.48 cores=1,3,5,7
/proc/14362/task/14366/stat : 14366 (techdemo) R 14360 14362 13699 0 -1 4202560 13919 0 0 0 10138 10 0 0 25 0 4 0 519246601 895516672 60376 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.88
Current children cumulated vsize (KiB) 874528

[startup+162.3 s]
/proc/loadavg: 7.84 6.26 6.78 9/184 14370
/proc/meminfo: memFree=25905628/32950928 swapFree=67111524/67111528
[pid=14362] ppid=14360 vsize=885892 CPUtime=647.54 cores=1,3,5,7
/proc/14362/stat : 14362 (techdemo) R 14360 14362 13699 0 -1 4202496 140393 0 0 0 64681 73 0 0 25 0 4 0 519246577 907153408 64019 33554432000 4194304 4797429 140736906898160 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14362/statm: 221473 64019 420 148 0 216402 0
[pid=14362/tid=14364] ppid=14360 vsize=885892 CPUtime=162.04 cores=1,3,5,7
/proc/14362/task/14364/stat : 14364 (techdemo) R 14360 14362 13699 0 -1 4202560 18850 0 0 0 16194 10 0 0 25 0 4 0 519246601 907153408 64019 33554432000 4194304 4797429 140736906898160 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14362/tid=14365] ppid=14360 vsize=885892 CPUtime=162.03 cores=1,3,5,7
/proc/14362/task/14365/stat : 14365 (techdemo) R 14360 14362 13699 0 -1 4202560 18279 0 0 0 16191 12 0 0 25 0 4 0 519246601 907153408 64019 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14362/tid=14366] ppid=14360 vsize=885892 CPUtime=161.15 cores=1,3,5,7
/proc/14362/task/14366/stat : 14366 (techdemo) R 14360 14362 13699 0 -1 4202560 17524 0 0 0 16104 11 0 0 25 0 4 0 519246601 907153408 64019 33554432000 4194304 4797429 140736906898160 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 647.54
Current children cumulated vsize (KiB) 885892

[startup+222.301 s]
/proc/loadavg: 8.01 6.59 6.86 9/184 14372
/proc/meminfo: memFree=25850812/32950928 swapFree=67111524/67111528
[pid=14362] ppid=14360 vsize=893908 CPUtime=887.21 cores=1,3,5,7
/proc/14362/stat : 14362 (techdemo) R 14360 14362 13699 0 -1 4202496 173396 0 0 0 88630 91 0 0 25 0 4 0 519246577 915361792 71339 33554432000 4194304 4797429 140736906898160 18446744073709551615 4425844 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14362/statm: 223477 71339 420 148 0 218406 0
[pid=14362/tid=14364] ppid=14360 vsize=893908 CPUtime=222.05 cores=1,3,5,7
/proc/14362/task/14364/stat : 14364 (techdemo) R 14360 14362 13699 0 -1 4202560 20933 0 0 0 22193 12 0 0 25 0 4 0 519246601 915361792 71339 33554432000 4194304 4797429 140736906898160 18446744073709551615 4387416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14362/tid=14365] ppid=14360 vsize=893908 CPUtime=222.03 cores=1,3,5,7
/proc/14362/task/14365/stat : 14365 (techdemo) R 14360 14362 13699 0 -1 4202560 20783 0 0 0 22189 14 0 0 25 0 4 0 519246601 915361792 71339 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14362/tid=14366] ppid=14360 vsize=893908 CPUtime=220.83 cores=1,3,5,7
/proc/14362/task/14366/stat : 14366 (techdemo) R 14360 14362 13699 0 -1 4202560 19615 0 0 0 22071 12 0 0 25 0 4 0 519246601 915361792 71339 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 887.21
Current children cumulated vsize (KiB) 893908

[startup+282.301 s]

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

[pid=14362] ppid=14360 vsize=938768 CPUtime=2804.6 cores=1,3,5,7
/proc/14362/stat : 14362 (techdemo) R 14360 14362 13699 0 -1 4202496 375446 0 0 0 280252 208 0 0 25 0 4 0 519246577 961298432 90892 33554432000 4194304 4797429 140736906898160 18446744073709551615 4425064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14362/statm: 234692 90892 420 148 0 229621 0
[pid=14362/tid=14364] ppid=14360 vsize=938768 CPUtime=702.05 cores=1,3,5,7
/proc/14362/task/14364/stat : 14364 (techdemo) R 14360 14362 13699 0 -1 4202560 36660 0 0 0 70186 19 0 0 25 0 4 0 519246601 961298432 90892 33554432000 4194304 4797429 140736906898160 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14362/tid=14365] ppid=14360 vsize=938768 CPUtime=702.03 cores=1,3,5,7
/proc/14362/task/14365/stat : 14365 (techdemo) R 14360 14362 13699 0 -1 4202560 37021 0 0 0 70183 20 0 0 25 0 4 0 519246601 961298432 90892 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14362/tid=14366] ppid=14360 vsize=938768 CPUtime=698.22 cores=1,3,5,7
/proc/14362/task/14366/stat : 14366 (techdemo) R 14360 14362 13699 0 -1 4202560 37592 0 0 0 69802 20 0 0 25 0 4 0 519246601 961298432 90892 33554432000 4194304 4797429 140736906898160 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2804.6
Current children cumulated vsize (KiB) 938768

[startup+762.307 s]
/proc/loadavg: 8.11 7.89 7.41 9/184 14386
/proc/meminfo: memFree=25688560/32950928 swapFree=67111524/67111528
[pid=14362] ppid=14360 vsize=947264 CPUtime=3044.3 cores=1,3,5,7
/proc/14362/stat : 14362 (techdemo) R 14360 14362 13699 0 -1 4202496 408729 0 0 0 304202 228 0 0 25 0 4 0 519246577 969998336 84950 33554432000 4194304 4797429 140736906898160 18446744073709551615 4524576 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14362/statm: 236816 84950 420 148 0 231745 0
[pid=14362/tid=14364] ppid=14360 vsize=947264 CPUtime=762.06 cores=1,3,5,7
/proc/14362/task/14364/stat : 14364 (techdemo) R 14360 14362 13699 0 -1 4202560 39232 0 0 0 76186 20 0 0 25 0 4 0 519246601 969998336 84950 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14362/tid=14365] ppid=14360 vsize=947264 CPUtime=762.04 cores=1,3,5,7
/proc/14362/task/14365/stat : 14365 (techdemo) R 14360 14362 13699 0 -1 4202560 40887 0 0 0 76182 22 0 0 25 0 4 0 519246601 969998336 84950 33554432000 4194304 4797429 140736906898160 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14362/tid=14366] ppid=14360 vsize=947264 CPUtime=757.9 cores=1,3,5,7
/proc/14362/task/14366/stat : 14366 (techdemo) R 14360 14362 13699 0 -1 4202560 39883 0 0 0 75768 22 0 0 25 0 4 0 519246601 969998336 84950 33554432000 4194304 4797429 140736906898160 18446744073709551615 4524600 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.3
Current children cumulated vsize (KiB) 947264

[startup+822.3 s]
/proc/loadavg: 8.07 7.92 7.45 9/184 14388
/proc/meminfo: memFree=25727852/32950928 swapFree=67111524/67111528
[pid=14362] ppid=14360 vsize=949436 CPUtime=3283.95 cores=1,3,5,7
/proc/14362/stat : 14362 (techdemo) R 14360 14362 13699 0 -1 4202496 433872 0 0 0 328153 242 0 0 25 0 4 0 519246577 972222464 88124 33554432000 4194304 4797429 140736906898160 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14362/statm: 237359 88124 420 148 0 232288 0
[pid=14362/tid=14364] ppid=14360 vsize=949436 CPUtime=822.05 cores=1,3,5,7
/proc/14362/task/14364/stat : 14364 (techdemo) R 14360 14362 13699 0 -1 4202560 40997 0 0 0 82184 21 0 0 25 0 4 0 519246601 972222464 88124 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14362/tid=14365] ppid=14360 vsize=949436 CPUtime=822.04 cores=1,3,5,7
/proc/14362/task/14365/stat : 14365 (techdemo) R 14360 14362 13699 0 -1 4202560 42036 0 0 0 82181 23 0 0 25 0 4 0 519246601 972222464 88124 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14362/tid=14366] ppid=14360 vsize=949436 CPUtime=817.56 cores=1,3,5,7
/proc/14362/task/14366/stat : 14366 (techdemo) R 14360 14362 13699 0 -1 4202560 40794 0 0 0 81734 22 0 0 25 0 4 0 519246601 972222464 88124 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3283.95
Current children cumulated vsize (KiB) 949436

[startup+882.3 s]
/proc/loadavg: 8.14 7.96 7.49 9/184 14390
/proc/meminfo: memFree=25662860/32950928 swapFree=67111524/67111528
[pid=14362] ppid=14360 vsize=951492 CPUtime=3523.63 cores=1,3,5,7
/proc/14362/stat : 14362 (techdemo) R 14360 14362 13699 0 -1 4202496 456397 0 0 0 352105 258 0 0 25 0 4 0 519246577 974327808 99654 33554432000 4194304 4797429 140736906898160 18446744073709551615 4415782 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14362/statm: 237873 99654 420 148 0 232802 0
[pid=14362/tid=14364] ppid=14360 vsize=951492 CPUtime=882.05 cores=1,3,5,7
/proc/14362/task/14364/stat : 14364 (techdemo) R 14360 14362 13699 0 -1 4202560 41735 0 0 0 88184 21 0 0 25 0 4 0 519246601 974327808 99654 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14362/tid=14365] ppid=14360 vsize=951492 CPUtime=882.04 cores=1,3,5,7
/proc/14362/task/14365/stat : 14365 (techdemo) R 14360 14362 13699 0 -1 4202560 42687 0 0 0 88181 23 0 0 25 0 4 0 519246601 974327808 99654 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14362/tid=14366] ppid=14360 vsize=951492 CPUtime=877.24 cores=1,3,5,7
/proc/14362/task/14366/stat : 14366 (techdemo) R 14360 14362 13699 0 -1 4202560 41483 0 0 0 87701 23 0 0 25 0 4 0 519246601 974327808 99654 33554432000 4194304 4797429 140736906898160 18446744073709551615 4528060 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3523.63
Current children cumulated vsize (KiB) 951492

[startup+942.3 s]
/proc/loadavg: 8.05 7.97 7.52 9/184 14391
/proc/meminfo: memFree=25678204/32950928 swapFree=67111524/67111528
[pid=14362] ppid=14360 vsize=953864 CPUtime=3763.3 cores=1,3,5,7
/proc/14362/stat : 14362 (techdemo) R 14360 14362 13699 0 -1 4202496 487119 0 0 0 376055 275 0 0 25 0 4 0 519246577 976756736 95313 33554432000 4194304 4797429 140736906898160 18446744073709551615 4424960 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14362/statm: 238466 95313 420 148 0 233395 0
[pid=14362/tid=14364] ppid=14360 vsize=953864 CPUtime=942.05 cores=1,3,5,7
/proc/14362/task/14364/stat : 14364 (techdemo) R 14360 14362 13699 0 -1 4202560 44014 0 0 0 94183 22 0 0 25 0 4 0 519246601 976756736 95313 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14362/tid=14365] ppid=14360 vsize=953864 CPUtime=942.04 cores=1,3,5,7
/proc/14362/task/14365/stat : 14365 (techdemo) R 14360 14362 13699 0 -1 4202560 45322 0 0 0 94179 25 0 0 25 0 4 0 519246601 976756736 95313 33554432000 4194304 4797429 140736906898160 18446744073709551615 4258789 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14362/tid=14366] ppid=14360 vsize=953864 CPUtime=936.91 cores=1,3,5,7
/proc/14362/task/14366/stat : 14366 (techdemo) R 14360 14362 13699 0 -1 4202560 44480 0 0 0 93667 24 0 0 25 0 4 0 519246601 976756736 95313 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.3
Current children cumulated vsize (KiB) 953864

[startup+1002.3 s]
/proc/loadavg: 8.02 7.97 7.55 9/184 14393
/proc/meminfo: memFree=25622760/32950928 swapFree=67111524/67111528
[pid=14362] ppid=14360 vsize=954980 CPUtime=4002.97 cores=1,3,5,7
/proc/14362/stat : 14362 (techdemo) R 14360 14362 13699 0 -1 4202496 513132 0 0 0 400004 293 0 0 25 0 4 0 519246577 977899520 98222 33554432000 4194304 4797429 140736906898160 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14362/statm: 238745 98222 420 148 0 233674 0
[pid=14362/tid=14364] ppid=14360 vsize=954980 CPUtime=1002.06 cores=1,3,5,7
/proc/14362/task/14364/stat : 14364 (techdemo) R 14360 14362 13699 0 -1 4202560 45729 0 0 0 100182 24 0 0 25 0 4 0 519246601 977899520 98222 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14362/tid=14365] ppid=14360 vsize=954980 CPUtime=1002.04 cores=1,3,5,7
/proc/14362/task/14365/stat : 14365 (techdemo) R 14360 14362 13699 0 -1 4202560 46651 0 0 0 100178 26 0 0 25 0 4 0 519246601 977899520 98222 33554432000 4194304 4797429 140736906898160 18446744073709551615 4429159 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14362/tid=14366] ppid=14360 vsize=954980 CPUtime=996.58 cores=1,3,5,7
/proc/14362/task/14366/stat : 14366 (techdemo) R 14360 14362 13699 0 -1 4202560 45464 0 0 0 99634 24 0 0 25 0 4 0 519246601 977899520 98222 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4002.97
Current children cumulated vsize (KiB) 954980

[startup+1062.3 s]
/proc/loadavg: 8.00 7.97 7.58 9/184 14394
/proc/meminfo: memFree=25640964/32950928 swapFree=67111524/67111528
[pid=14362] ppid=14360 vsize=955328 CPUtime=4242.65 cores=1,3,5,7
/proc/14362/stat : 14362 (techdemo) R 14360 14362 13699 0 -1 4202496 530047 0 0 0 423960 305 0 0 25 0 4 0 519246577 978255872 103303 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14362/statm: 238832 103303 420 148 0 233761 0
[pid=14362/tid=14364] ppid=14360 vsize=955328 CPUtime=1062.06 cores=1,3,5,7
/proc/14362/task/14364/stat : 14364 (techdemo) R 14360 14362 13699 0 -1 4202560 46727 0 0 0 106181 25 0 0 25 0 4 0 519246601 978255872 103303 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14362/tid=14365] ppid=14360 vsize=955328 CPUtime=1062.04 cores=1,3,5,7
/proc/14362/task/14365/stat : 14365 (techdemo) R 14360 14362 13699 0 -1 4202560 47391 0 0 0 106177 27 0 0 25 0 4 0 519246601 978255872 103303 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14362/tid=14366] ppid=14360 vsize=955328 CPUtime=1056.26 cores=1,3,5,7
/proc/14362/task/14366/stat : 14366 (techdemo) R 14360 14362 13699 0 -1 4202560 46326 0 0 0 105601 25 0 0 25 0 4 0 519246601 978255872 103303 33554432000 4194304 4797429 140736906898160 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4242.65
Current children cumulated vsize (KiB) 955328

[startup+1122.3 s]
/proc/loadavg: 8.00 7.97 7.60 9/184 14396
/proc/meminfo: memFree=25627552/32950928 swapFree=67111524/67111528
[pid=14362] ppid=14360 vsize=960548 CPUtime=4482.32 cores=1,3,5,7
/proc/14362/stat : 14362 (techdemo) R 14360 14362 13699 0 -1 4202496 532566 0 0 0 447926 306 0 0 25 0 4 0 519246577 983601152 105736 33554432000 4194304 4797429 140736906898160 18446744073709551615 4567905 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14362/statm: 240137 105736 420 148 0 235066 0
[pid=14362/tid=14364] ppid=14360 vsize=960548 CPUtime=1122.06 cores=1,3,5,7
/proc/14362/task/14364/stat : 14364 (techdemo) R 14360 14362 13699 0 -1 4202560 47587 0 0 0 112181 25 0 0 25 0 4 0 519246601 983601152 105736 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14362/tid=14365] ppid=14360 vsize=960548 CPUtime=1122.04 cores=1,3,5,7
/proc/14362/task/14365/stat : 14365 (techdemo) R 14360 14362 13699 0 -1 4202560 48540 0 0 0 112177 27 0 0 25 0 4 0 519246601 983601152 105736 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14362/tid=14366] ppid=14360 vsize=960548 CPUtime=1115.93 cores=1,3,5,7
/proc/14362/task/14366/stat : 14366 (techdemo) R 14360 14362 13699 0 -1 4202560 46836 0 0 0 111568 25 0 0 25 0 4 0 519246601 983601152 105736 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.32
Current children cumulated vsize (KiB) 960548

[startup+1182.3 s]
/proc/loadavg: 8.05 7.99 7.63 9/184 14398
/proc/meminfo: memFree=25606948/32950928 swapFree=67111524/67111528
[pid=14362] ppid=14360 vsize=977300 CPUtime=4722 cores=1,3,5,7
/proc/14362/stat : 14362 (techdemo) R 14360 14362 13699 0 -1 4202496 543135 0 0 0 471888 312 0 0 25 0 4 0 519246577 1000755200 102575 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14362/statm: 244325 102575 420 148 0 239254 0
[pid=14362/tid=14364] ppid=14360 vsize=977300 CPUtime=1182.05 cores=1,3,5,7
/proc/14362/task/14364/stat : 14364 (techdemo) R 14360 14362 13699 0 -1 4202560 50124 0 0 0 118179 26 0 0 25 0 4 0 519246601 1000755200 102575 33554432000 4194304 4797429 140736906898160 18446744073709551615 4430897 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14362/tid=14365] ppid=14360 vsize=977300 CPUtime=1182.04 cores=1,3,5,7
/proc/14362/task/14365/stat : 14365 (techdemo) R 14360 14362 13699 0 -1 4202560 52298 0 0 0 118175 29 0 0 25 0 4 0 519246601 1000755200 102575 33554432000 4194304 4797429 140736906898160 18446744073709551615 4501900 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14362/tid=14366] ppid=14360 vsize=977300 CPUtime=1175.61 cores=1,3,5,7
/proc/14362/task/14366/stat : 14366 (techdemo) R 14360 14362 13699 0 -1 4202560 51110 0 0 0 117533 28 0 0 25 0 4 0 519246601 1000755200 102575 33554432000 4194304 4797429 140736906898160 18446744073709551615 4501900 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722
Current children cumulated vsize (KiB) 977300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.03 7.99 7.64 5/179 14399
/proc/meminfo: memFree=26055488/32950928 swapFree=67111524/67111528
[pid=14362] ppid=14360 vsize=977300 CPUtime=4800.31 cores=1,3,5,7
/proc/14362/stat : 14362 (techdemo) R 14360 14362 13699 0 -1 4202496 544451 0 0 0 479718 313 0 0 25 0 4 0 519246577 1000755200 103811 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568019 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14362/statm: 244325 103811 420 148 0 239254 0
[pid=14362/tid=14364] ppid=14360 vsize=977300 CPUtime=1201.66 cores=1,3,5,7
/proc/14362/task/14364/stat : 14364 (techdemo) R 14360 14362 13699 0 -1 4202560 50506 0 0 0 120140 26 0 0 25 0 4 0 519246601 1000755200 103811 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14362/tid=14365] ppid=14360 vsize=977300 CPUtime=1201.65 cores=1,3,5,7
/proc/14362/task/14365/stat : 14365 (techdemo) R 14360 14362 13699 0 -1 4202560 52778 0 0 0 120135 30 0 0 25 0 4 0 519246601 1000755200 103811 33554432000 4194304 4797429 140736906898160 18446744073709551615 4528077 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14362/tid=14366] ppid=14360 vsize=977300 CPUtime=1195.1 cores=1,3,5,7
/proc/14362/task/14366/stat : 14366 (techdemo) R 14360 14362 13699 0 -1 4202560 51564 0 0 0 119482 28 0 0 25 0 4 0 519246601 1000755200 103811 33554432000 4194304 4797429 140736906898160 18446744073709551615 4430094 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 977300

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.03 7.99 7.64 5/179 14399
/proc/meminfo: memFree=26055488/32950928 swapFree=67111524/67111528
[pid=14362] ppid=14360 vsize=977300 CPUtime=4800.31 cores=1,3,5,7
/proc/14362/stat : 14362 (techdemo) R 14360 14362 13699 0 -1 4202496 544451 0 0 0 479718 313 0 0 25 0 4 0 519246577 1000755200 103811 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568019 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14362/statm: 244325 103811 420 148 0 239254 0
[pid=14362/tid=14364] ppid=14360 vsize=977300 CPUtime=1201.66 cores=1,3,5,7
/proc/14362/task/14364/stat : 14364 (techdemo) R 14360 14362 13699 0 -1 4202560 50506 0 0 0 120140 26 0 0 25 0 4 0 519246601 1000755200 103811 33554432000 4194304 4797429 140736906898160 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14362/tid=14365] ppid=14360 vsize=977300 CPUtime=1201.65 cores=1,3,5,7
/proc/14362/task/14365/stat : 14365 (techdemo) R 14360 14362 13699 0 -1 4202560 52778 0 0 0 120135 30 0 0 25 0 4 0 519246601 1000755200 103811 33554432000 4194304 4797429 140736906898160 18446744073709551615 4528077 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14362/tid=14366] ppid=14360 vsize=977300 CPUtime=1195.1 cores=1,3,5,7
/proc/14362/task/14366/stat : 14366 (techdemo) R 14360 14362 13699 0 -1 4202560 51564 0 0 0 119482 28 0 0 25 0 4 0 519246601 1000755200 103811 33554432000 4194304 4797429 140736906898160 18446744073709551615 4430094 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 977300

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.93
CPU time (s): 4800.35
CPU user time (s): 4797.2
CPU system time (s): 3.15252
CPU usage (%): 399.386
Max. virtual memory (cumulated for all children) (KiB): 1064260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.2
system time used= 3.15252
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 544451
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= 16258
involuntary context switches= 21578

runsolver used 1.81372 second user time and 4.76228 second system time

The end

Launcher Data 

Begin job on node126 at 2011-04-29 13:27:59
IDJOB=3172581
IDBENCH=82599
IDSOLVER=1584
FILE ID=node126/3172581-1304076479
RUNJOBID= node126-1304076477-14340
PBS_JOBID= 13170481
Free space on /tmp= 71588 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v20000-c84000-S525505471-054-UNKNOWN.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3172581-1304076479/watcher-3172581-1304076479 -o /tmp/evaluation-result-3172581-1304076479/solver-3172581-1304076479 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3172581-1304076479.cnf

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

MD5SUM BENCH= d09435f2d651fd373230433133c15edb
RANDOM SEED=46005951

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
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.783
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.74
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.783
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.80
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.783
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.783
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.783
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      26371756 kB
Buffers:       1419100 kB
Cached:        4448856 kB
SwapCached:          4 kB
Active:         490636 kB
Inactive:      5543112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26371756 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           19844 kB
Writeback:           0 kB
AnonPages:      165300 kB
Mapped:          14824 kB
Slab:           481408 kB
PageTables:       4848 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   769636 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= 71588 MiB
End job on node126 at 2011-04-29 13:48:03