Trace number 3172569

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

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v20000-c84000-S921718479-079-UNKNOWN.cnf
MD5SUMd523f5efa43fecaa5caf604137870a4e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark139.522
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-3172569-1304073060.cnf'
0.00/0.00	c -- header says num vars:          20000
0.00/0.00	c -- header says num clauses:       84000
0.19/0.23	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.19/0.23	c -- vars added      20000
0.19/0.23	c Parsing time:  0.21 s
0.19/0.24	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.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.22
0.47/0.37	c Calc non-exist non-lernt bins v-fix:     0 done:  20000 time:  0.02 s
0.47/0.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.47/0.37	c Subs w/ non-existent bins:      0 time:  0.01 s
0.87/0.41	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.87/0.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.87/0.42	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.02 s
4.67/1.37	c lits-rem:         0  cl-subs:        0  v-elim:   1220  v-fix:    0  time:  0.87 s
4.67/1.37	c learnt bin added due to v-elim: 0
4.67/1.37	c Finding binary XORs  T:     0.02 s  found:       0
4.67/1.37	c Finding non-binary XORs:     0.20 s (found:       0, avg size: nan)
4.67/1.37	c calculated reachability. Time: 0.00
4.67/1.37	c Calc default polars -  time:   0.02 s pos:    8674 undec:    2338 neg:    8988
4.67/1.37	c =========================================================================================
4.67/1.37	c types(t): F = full restart, N = normal restart
4.67/1.37	c types(t): S = simplification begin/end, E = solution found
4.67/1.37	c restart types(rt): st = static, dy = dynamic
4.67/1.37	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
4.67/1.37	c  B st     0         0     19306     83138         0         0    253191         0   no data   no data  --
4.67/1.37	c Decided on dynamic restart strategy
6.84/1.94	c  N dy    20      4110     19306     83138         0      4109    253191    850766    183.81    135.25  --
11.64/3.17	c  N dy    48      8113     19306     83138         0      8112    253191   1502359    176.53    122.98  --
16.42/4.37	c  N dy    76     12159     19306     83138         0     12158    253191   2210046    180.40    121.60  --
22.02/5.71	c  N dy   105     16305     19306     83138         0     16303    253191   2921616    168.44    119.78  --
27.63/7.19	c  N dy   134     20435     19306     83138         0     10433    253191    564909    167.46    118.82  --
33.60/8.60	c  N dy   162     24464     19306     83138         0     14462    253191   1245908    175.61    118.35  --
38.40/9.89	c  N dy   190     28512     19306     83138         0     18510    253191   1942973    173.20    117.85  --
41.59/10.60	c  S st   201     30000     19306     83138         0     19998    253191   2207013    177.11    117.91  --
41.99/10.78	c  S st   201     30503     19306     83138         0     20501    253191   2272551    177.11    117.91  --
41.99/10.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
41.99/10.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.19/11.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.90
43.19/11.02	c Calc non-exist non-lernt bins v-fix:     0 done:  19306 time:  0.03 s
43.19/11.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.19/11.04	c Subs w/ non-existent bins:      0 time:  0.09 s
43.99/11.23	c bin-w-bin subsume rem            0 bins  time:  0.02 s
43.99/11.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
43.99/11.24	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.03 s
64.76/16.50	c lits-rem:         2  cl-subs:     1359  v-elim:    309  v-fix:    0  time: 20.98 s
64.76/16.50	c learnt bin added due to v-elim: 0
65.16/16.50	c vivif2 --  cl tried    83138 cl shrink        0 lits rem          0 time: 0.03
65.16/16.53	c vivif2 --  cl tried    19142 cl shrink        0 lits rem          0 time: 0.10
65.96/16.76	c asymm  cl-useful: 0/83138/83138 lits-rem:0 time: 0.94
65.96/16.77	c calculated reachability. Time: 0.00
65.96/16.77	c  N dy   201     30503     19306     83138         0     19142    253191   2171214    177.11    117.91  --
65.96/16.77	c  F st   201     30503     19306     83138         0     19142    253191   2171214    177.11    117.91  --
68.76/17.49	c Decided on dynamic restart strategy
71.97/18.21	c  N dy   221     34538     19306     83138         0     23172    253191   2906670    166.13    118.42  --
77.94/19.76	c  N dy   249     38578     19306     83138         0     27211    253191   3565537    158.15    117.76  --
84.34/21.34	c  N dy   277     42606     19306     83138         0     15743    253191    647989    201.40    118.10  --
88.74/22.47	c  S st   300     45754     19306     83138         0     18890    253191   1204365    168.16    118.28  --
89.55/22.64	c  S st   300     46256     19306     83138         0     19391    253191   1270036    168.16    118.28  --
89.55/22.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
89.55/22.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
90.33/22.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.70
90.33/22.84	c Calc non-exist non-lernt bins v-fix:     0 done:  19306 time:  0.04 s
90.33/22.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
90.33/22.85	c Subs w/ non-existent bins:      0 time:  0.06 s
90.73/22.94	c bin-w-bin subsume rem            0 bins  time:  0.03 s
90.73/22.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
90.73/22.95	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
102.32/25.80	c lits-rem:        10  cl-subs:      589  v-elim:    309  v-fix:    0  time: 11.39 s
102.32/25.80	c learnt bin added due to v-elim: 0
102.32/25.81	c vivif2 --  cl tried    83138 cl shrink        0 lits rem          0 time: 0.04
102.32/25.83	c vivif2 --  cl tried    18802 cl shrink        0 lits rem          0 time: 0.06
103.10/26.03	c asymm  cl-useful: 0/83138/83138 lits-rem:0 time: 0.78
103.10/26.03	c calculated reachability. Time: 0.00
103.10/26.03	c  N dy   300     46256     19306     83138         0     18802    253191   1234408    168.16    118.28  --
109.10/27.57	c  N dy   329     50376     19306     83138         0     22921    253191   1946711    184.79    118.04  --
115.10/29.03	c  N dy   358     54485     19306     83138         0     27029    253191   2676351    174.48    118.08  --
120.68/30.49	c  N dy   386     58529     19306     83138         0     31073    253191   3395338    170.28    118.12  --
127.47/32.15	c  N dy   414     62535     19306     83138         0     35079    253191   4134247    166.90    118.37  --
134.27/33.80	c  N dy   443     66564     19306     83138         0     20361    253191    867410    166.91    118.14  --
138.66/34.96	c  S st   463     69384     19306     83138         0     23179    253191   1347703    174.58    118.06  --
139.46/35.13	c  S st   463     69888     19306     83138         0     23683    253191   1412086    174.58    118.06  --
139.46/35.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
139.46/35.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
140.26/35.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.0M T:  0.76
140.26/35.34	c Calc non-exist non-lernt bins v-fix:     0 done:  19306 time:  0.04 s
140.26/35.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
140.26/35.36	c Subs w/ non-existent bins:      0 time:  0.07 s
140.65/35.45	c bin-w-bin subsume rem            0 bins  time:  0.02 s
140.65/35.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
140.65/35.47	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.03 s
152.64/38.41	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
159.45/40.17	c Added 0 vars  tried: 80000 time: 7.04
159.45/40.17	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.04
159.85/40.22	c lits-rem:         3  cl-subs:      721  v-elim:    309  v-fix:    0  time: 18.97 s
159.85/40.22	c learnt bin added due to v-elim: 0
159.85/40.23	c vivif2 --  cl tried    83138 cl shrink        0 lits rem          0 time: 0.04
159.85/40.25	c vivif2 --  cl tried    22962 cl shrink        0 lits rem          0 time: 0.08
160.63/40.46	c asymm  cl-useful: 0/83138/83138 lits-rem:0 time: 0.84
160.63/40.46	c calculated reachability. Time: 0.00
160.63/40.46	c  N dy   463     69888     19306     83138         0     22962    253191   1373935    174.58    118.06  --
160.63/40.46	c  F st   463     69888     19306     83138         0     22962    253191   1373935    174.58    118.06  --
163.84/41.30	c Decided on dynamic restart strategy
167.82/42.25	c  N dy   486     74398     19306     83138         0     27471    253191   2215095    179.09    118.41  --
175.41/44.10	c  N dy   520     79194     19306     83138         0     32266    253191   3064200    175.13    118.55  --
183.40/46.13	c  N dy   556     84310     19306     83138         0     37381    253191   3930899    181.12    118.36  --
192.19/48.37	c  N dy   594     89746     19306     83138         0     21946    253191    774937    177.34    118.43  --
201.77/50.70	c  N dy   635     95583     19306     83138         0     27783    253191   1835472    184.95    118.66  --
211.36/53.16	c  N dy   678    101783     19306     83138         0     33983    253191   2931956    192.76    118.76  --
217.75/54.72	c  S st   700    104835     19306     83138         0     37032    253191   3492317    196.80    118.94  --
218.55/54.96	c  S st   700    105339     19306     83138         0     37536    253191   3558756    196.80    118.94  --
218.55/54.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
218.55/54.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
220.15/55.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.4M T:  1.32
220.15/55.32	c Calc non-exist non-lernt bins v-fix:     0 done:  19306 time:  0.04 s
220.15/55.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
220.15/55.35	c Subs w/ non-existent bins:      0 time:  0.14 s
220.97/55.57	c bin-w-bin subsume rem            0 bins  time:  0.03 s
220.97/55.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
220.97/55.59	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
260.51/65.40	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
260.51/65.48	c lits-rem:         0  cl-subs:     1451  v-elim:    309  v-fix:    0  time: 39.47 s
260.51/65.48	c learnt bin added due to v-elim: 0
260.51/65.48	c vivif2 --  cl tried    83138 cl shrink        0 lits rem          0 time: 0.03
260.91/65.52	c vivif2 --  cl tried    36085 cl shrink        0 lits rem          0 time: 0.16
262.08/65.87	c asymm  cl-useful: 0/83138/83138 lits-rem:0 time: 1.39
262.08/65.88	c calculated reachability. Time: 0.00
262.08/65.88	c  N dy   700    105339     19306     83138         0     36085    253191   3401757    196.80    118.94  --
272.88/68.50	c  N dy   747    112159     19306     83138         0     42903    253191   4615458    193.67    119.00  --
283.26/71.17	c  N dy   798    119418     19306     83138         0     27730    253191   1479621    175.32    118.85  --
294.84/74.08	c  N dy   852    127144     19306     83138         0     35455    253191   2857235    182.35    118.96  --
307.62/77.24	c  N dy   909    135260     19306     83138         0     43571    253191   4251923    178.11    118.77  --
321.21/80.61	c  N dy   970    143910     19306     83138         0     28504    253191   1365098    180.75    118.81  --
335.21/84.19	c  N dy  1035    153201     19306     83138         0     37794    253191   2965759    174.15    118.67  --
344.39/86.43	c  S st  1069    158009     19306     83138         0     42601    253191   3795762    188.98    118.61  --
345.17/86.68	c  S st  1069    158518     19306     83138         0     43110    253191   3873114    188.98    118.61  --
345.17/86.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
345.17/86.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
346.78/87.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.7M T:  1.46
346.78/87.07	c Calc non-exist non-lernt bins v-fix:     0 done:  19306 time:  0.04 s
346.78/87.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
347.18/87.11	c Subs w/ non-existent bins:      0 time:  0.15 s
347.98/87.34	c bin-w-bin subsume rem            0 bins  time:  0.03 s
347.98/87.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
347.98/87.36	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
447.43/112.25	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
447.83/112.33	c lits-rem:         0  cl-subs:     1739  v-elim:    309  v-fix:    0  time: 99.73 s
447.83/112.33	c learnt bin added due to v-elim: 0
447.83/112.34	c vivif2 --  cl tried    83138 cl shrink        0 lits rem          0 time: 0.04
447.83/112.39	c vivif2 --  cl tried    41371 cl shrink        0 lits rem          0 time: 0.18
449.45/112.77	c asymm  cl-useful: 0/83138/83138 lits-rem:0 time: 1.52
449.45/112.78	c calculated reachability. Time: 0.00
449.45/112.78	c  N dy  1069    158518     19306     83138         0     41371    253191   3720028    188.98    118.61  --
466.62/117.10	c  N dy  1141    168720     19306     83138         0     26716    253191    841059    172.47    118.60  --
483.79/121.36	c  N dy  1217    179586     19306     83138         0     37582    253191   2787015    194.59    118.80  --
503.36/126.23	c  N dy  1298    191102     19306     83138         0     49097    253191   4823314    176.78    118.84  --
523.34/131.20	c  N dy  1384    203329     19306     83138         0     35395    253191   2093101    179.64    118.64  --
544.90/136.60	c  N dy  1475    216340     19306     83138         0     48403    253191   4318288    185.67    118.50  --
568.50/142.54	c  N dy  1573    230279     19306     83138         0     35381    253191   1948225    188.86    118.61  --
581.68/145.84	c  S st  1626    237777     19306     83138         0     42879    253191   3253331    173.68    118.62  --
582.46/146.08	c  S st  1626    238280     19306     83138         0     43382    253191   3318948    173.68    118.62  --
582.46/146.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
582.46/146.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
584.06/146.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.0M T:  1.43
584.06/146.46	c Calc non-exist non-lernt bins v-fix:     0 done:  19306 time:  0.04 s
584.06/146.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
584.46/146.50	c Subs w/ non-existent bins:      0 time:  0.14 s
585.26/146.70	c bin-w-bin subsume rem            0 bins  time:  0.03 s
585.26/146.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
585.26/146.71	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
624.80/156.69	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
625.22/156.76	c lits-rem:         0  cl-subs:     2095  v-elim:    309  v-fix:    0  time: 40.10 s
625.22/156.76	c learnt bin added due to v-elim: 0
625.22/156.76	c vivif2 --  cl tried    83138 cl shrink        0 lits rem          0 time: 0.02
625.22/156.80	c vivif2 --  cl tried    41287 cl shrink        0 lits rem          0 time: 0.14
626.79/157.14	c asymm  cl-useful: 0/83138/83138 lits-rem:0 time: 1.37
626.79/157.15	c calculated reachability. Time: 0.00
626.79/157.15	c  N dy  1626    238280     19306     83138         0     41287    253191   3178646    173.68    118.62  --
651.58/163.40	c  N dy  1733    253626     19306     83138         0     28650    253191    575025    165.99    118.67  --
676.33/169.59	c  N dy  1847    269950     19306     83138         0     44972    253191   3425095    157.25    118.65  --
704.71/176.69	c  N dy  1968    287263     19306     83138         0     33295    253191   1184703    168.79    118.53  --
735.07/184.23	c  N dy  2096    305663     19306     83138         0     51690    253191   4514433    177.44    118.73  --
768.21/192.53	c  N dy  2234    325304     19306     83138         0     41338    253191   2426148    169.60    118.68  --
802.96/201.23	c  N dy  2375    345444     19306     83138         0     61475    253191   6084524    195.80    118.84  --
823.73/206.46	c  S st  2459    357420     19306     83138         0     42458    253191   2447355    168.01    118.84  --
824.93/206.70	c  S st  2459    357921     19306     83138         0     42959    253191   2510927    168.01    118.84  --
824.93/206.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
824.93/206.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
826.13/207.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.6M T:  1.37
826.13/207.07	c Calc non-exist non-lernt bins v-fix:     0 done:  19306 time:  0.04 s
826.13/207.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
826.13/207.09	c Subs w/ non-existent bins:      0 time:  0.10 s
826.93/207.24	c bin-w-bin subsume rem            0 bins  time:  0.03 s
826.93/207.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
826.93/207.25	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
852.89/213.77	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
863.27/216.32	c Added 0 vars  tried: 80000 time: 10.19
863.27/216.32	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.19
863.27/216.38	c lits-rem:         3  cl-subs:     2331  v-elim:    309  v-fix:    0  time: 36.46 s
863.27/216.38	c learnt bin added due to v-elim: 0
863.27/216.39	c vivif2 --  cl tried    83138 cl shrink        0 lits rem          0 time: 0.02
863.67/216.42	c vivif2 --  cl tried    40628 cl shrink        0 lits rem          0 time: 0.11
864.87/216.70	c asymm  cl-useful: 0/83138/83138 lits-rem:0 time: 1.13
864.87/216.71	c calculated reachability. Time: 0.00
864.87/216.71	c  N dy  2459    357921     19306     83138         0     40628    253191   2393676    168.01    118.84  --
900.42/225.63	c  N dy  2599    377939     19306     83138         0     60643    253191   5954032    164.94    118.89  --
935.99/234.50	c  N dy  2739    397946     19306     83138         0     48654    253191   3399489    196.24    118.88  --
973.14/243.89	c  N dy  2880    418027     19306     83138         0     35738    253191    932696    185.99    118.92  --
1008.69/252.71	c  N dy  3021    438143     19306     83138         0     55850    253191   4517953    198.34    118.95  --
1046.23/262.19	c  N dy  3161    458195     19306     83138         0     41900    253191   1853035    164.89    119.01  --
1081.79/271.08	c  N dy  3301    478292     19306     83138         0     61994    253191   5436170    158.77    119.04  --
1116.54/279.79	c  N dy  3441    498337     19306     83138         0     47033    253191   2607143    177.13    119.09  --
1151.69/288.55	c  N dy  3581    518358     19306     83138         0     67052    253191   6099605    163.92    119.07  --
1184.04/296.65	c  S st  3711    536883     19306     83138         0     49585    253191   2823239    166.17    119.06  --
1184.84/296.89	c  S st  3711    537386     19306     83138         0     50088    253191   2889216    166.17    119.06  --
1185.24/296.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1185.24/296.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1186.84/297.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.9M T:  1.73
1186.84/297.34	c Calc non-exist non-lernt bins v-fix:     0 done:  19306 time:  0.04 s
1186.84/297.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1186.84/297.37	c Subs w/ non-existent bins:      0 time:  0.12 s
1187.66/297.53	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1187.66/297.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1187.66/297.55	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
1224.40/306.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.01
1224.79/306.81	c lits-rem:         0  cl-subs:     2837  v-elim:    309  v-fix:    0  time: 37.01 s
1224.79/306.81	c learnt bin added due to v-elim: 0
1224.79/306.82	c vivif2 --  cl tried    83138 cl shrink        0 lits rem          0 time: 0.03
1224.79/306.86	c vivif2 --  cl tried    47251 cl shrink        0 lits rem          0 time: 0.14
1226.39/307.20	c asymm  cl-useful: 0/83138/83138 lits-rem:0 time: 1.39
1226.39/307.21	c calculated reachability. Time: 0.00
1226.39/307.21	c  N dy  3711    537386     19306     83138         0     47251    253191   2759792    166.17    119.06  --
1226.39/307.21	c  F st  3711    537386     19306     83138         0     47251    253191   2759792    166.17    119.06  --
1229.99/308.17	c Decided on dynamic restart strategy
1263.14/316.44	c  N dy  3844    557503     19306     83138         0     67366    253191   6361935    169.37    119.07  --
1299.50/325.53	c  N dy  3984    577553     19306     83138         0     50421    253191   2774591    170.32    119.05  --
1337.46/335.02	c  N dy  4124    597584     19306     83138         0     70449    253191   6321005    162.79    119.04  --
1374.19/344.23	c  N dy  4264    617652     19306     83138         0     52521    253191   3038964    194.69    119.04  --
1412.94/353.97	c  N dy  4404    637661     19306     83138         0     72526    253191   6596043    170.79    119.07  --
1450.49/363.37	c  N dy  4545    657804     19306     83138         0     53674    253191   3041788    169.13    119.10  --
1490.44/373.38	c  N dy  4685    677830     19306     83138         0     73699    253191   6580205    172.34    119.10  --
1528.78/382.97	c  N dy  4825    697942     19306     83138         0     53814    253191   2908583    182.15    119.14  --
1568.73/392.93	c  N dy  4965    717999     19306     83138         0     73868    253191   6416588    181.03    119.09  --
1607.09/402.51	c  N dy  5105    738030     19306     83138         0     52901    253191   2545477    187.74    119.07  --
1644.24/411.88	c  N dy  5245    758131     19306     83138         0     73001    253191   6207547    186.74    119.14  --
1680.58/420.98	c  N dy  5386    778279     19306     83138         0     51151    253191   2077889    180.17    119.14  --
1716.93/430.05	c  N dy  5526    798366     19306     83138         0     71236    253191   5630243    178.53    119.14  --
1734.51/434.43	c  S st  5580    806079     19306     83138         0     78948    253191   7017785    189.53    119.14  --
1735.71/434.74	c  S st  5580    806585     19306     83138         0     79454    253191   7082480    189.53    119.14  --
1735.71/434.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1735.71/434.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1738.90/435.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  6.9M T:  3.13
1738.90/435.55	c Calc non-exist non-lernt bins v-fix:     0 done:  19306 time:  0.04 s
1738.90/435.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1739.30/435.61	c Subs w/ non-existent bins:      0 time:  0.25 s
1740.90/436.03	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1740.90/436.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1740.90/436.05	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
2212.66/554.17	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
2243.02/561.76	c Added 0 vars  tried: 80000 time: 30.33
2243.02/561.76	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:   30.33
2243.42/561.89	c lits-rem:         1  cl-subs:     4531  v-elim:    309  v-fix:    0  time: 502.64 s
2243.42/561.89	c learnt bin added due to v-elim: 0
2243.82/561.90	c vivif2 --  cl tried    83138 cl shrink        0 lits rem          0 time: 0.04
2243.82/561.98	c vivif2 --  cl tried    74923 cl shrink        0 lits rem          0 time: 0.33
2245.82/562.48	c asymm  cl-useful: 0/63966/83138 lits-rem:0 time: 2.00
2245.82/562.49	c calculated reachability. Time: 0.00
2245.82/562.49	c  N dy  5580    806585     19306     83138         0     74923    253191   6777040    189.53    119.14  --
2283.37/571.88	c  N dy  5720    826703     19306     83138         0     52043    253191   2110674    194.63    119.20  --
2320.13/581.09	c  N dy  5860    846730     19306     83138         0     72065    253191   5637532    166.73    119.19  --
2359.67/590.98	c  N dy  6000    866790     19306     83138         0     48131    253191   1179096    180.51    119.17  --
2396.82/600.27	c  N dy  6140    886880     19306     83138         0     68216    253191   4781590    170.77    119.22  --
2438.76/610.71	c  N dy  6281    907004     19306     83138         0     88338    253191   8386819    165.62    119.25  --
2476.32/620.13	c  N dy  6422    927139     19306     83138         0     63477    253191   3677064    176.62    119.22  --
2517.46/630.44	c  N dy  6563    947258     19306     83138         0     83592    253191   7300616    178.40    119.26  --
2557.80/640.52	c  N dy  6703    967312     19306     83138         0     57651    253191   2537373    176.01    119.30  --
2597.75/650.51	c  N dy  6843    987313     19306     83138         0     77650    253191   6091246    186.86    119.33  --
2641.69/661.52	c  N dy  6983   1007418     19306     83138         0     50759    253191   1152553    191.12    119.33  --
2679.64/671.07	c  N dy  7123   1027524     19306     83138         0     70861    253191   4675511    161.69    119.31  --
2724.38/682.20	c  N dy  7263   1047626     19306     83138         0     90958    253191   8251813    174.27    119.32  --
2764.33/692.23	c  N dy  7403   1067644     19306     83138         0     62981    253191   3119187    166.82    119.32  --
2806.67/702.82	c  N dy  7544   1087734     19306     83138         0     83065    253191   6689384    188.71    119.34  --
2850.61/713.88	c  N dy  7684   1107804     19306     83138         0     54142    253191   1402103    167.70    119.36  --
2889.36/723.52	c  N dy  7823   1127896     19306     83138         0     74231    253191   5005407    174.39    119.38  --
2929.70/733.67	c  N dy  7963   1148035     19306     83138         0     94365    253191   8556836    194.64    119.38  --
2966.85/742.97	c  N dy  8103   1168164     19306     83138         0     64501    253191   3046125    178.73    119.39  --
3006.01/752.71	c  N dy  8242   1188236     19306     83138         0     84568    253191   6563446    170.24    119.37  --
3048.35/763.39	c  N dy  8382   1208255     19306     83138         0     53594    253191    928027    179.05    119.37  --
3051.94/764.25	c  S st  8394   1209879     19306     83138         0     55218    253191   1204123    168.28    119.36  --
3053.13/764.52	c  S st  8394   1210385     19306     83138         0     55724    253191   1269702    168.28    119.36  --
3053.13/764.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3053.13/764.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3055.15/765.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.2M T:  2.15
3055.15/765.09	c Calc non-exist non-lernt bins v-fix:     0 done:  19306 time:  0.04 s
3055.15/765.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3055.55/765.11	c Subs w/ non-existent bins:      0 time:  0.08 s
3055.93/765.20	c bin-w-bin subsume rem            0 bins  time:  0.03 s
3055.93/765.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
3055.93/765.22	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
3067.52/768.12	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
3071.91/769.29	c Added 0 vars  tried: 80000 time: 4.68
3071.91/769.29	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    4.68
3072.31/769.34	c lits-rem:         3  cl-subs:     3469  v-elim:    309  v-fix:    0  time: 16.46 s
3072.31/769.34	c learnt bin added due to v-elim: 0
3072.31/769.35	c vivif2 --  cl tried    83138 cl shrink        0 lits rem          0 time: 0.03
3072.31/769.37	c vivif2 --  cl tried    52255 cl shrink        0 lits rem          0 time: 0.07
3072.73/769.43	c asymm  cl-useful: 0/19172/83138 lits-rem:0 time: 0.27
3072.73/769.44	c calculated reachability. Time: 0.00
3072.73/769.44	c  N dy  8394   1210385     19306     83138         0     52255    253191   1208850    168.28    119.36  --
3111.06/779.00	c  N dy  8534   1230432     19306     83138         0     72299    253191   4832300    174.24    119.41  --
3154.21/789.83	c  N dy  8674   1250456     19306     83138         0     92316    253191   8424301    187.18    119.42  --
3197.35/800.63	c  N dy  8814   1270499     19306     83138         0     60367    253191   2018821    176.32    119.45  --
3238.09/810.87	c  N dy  8954   1290540     19306     83138         0     80403    253191   5627617    183.02    119.49  --
3284.05/822.33	c  N dy  9094   1310635     19306     83138         0    100491    253191   9199880    171.07    119.50  --
3327.17/833.10	c  N dy  9234   1330671     19306     83138         0     67533    253191   3133375    183.02    119.53  --
3369.91/843.83	c  N dy  9374   1350768     19306     83138         0     87627    253191   6722640    174.33    119.54  --
3418.64/856.02	c  N dy  9514   1370779     19306     83138         0    107632    253191  10288186    189.11    119.55  --
3459.00/866.16	c  N dy  9655   1390906     19306     83138         0     73771    253191   4024031    173.98    119.56  --
3502.94/877.18	c  N dy  9794   1411011     19306     83138         0     93876    253191   7611301    189.23    119.57  --
3551.27/889.25	c  N dy  9934   1431149     19306     83138         0     59018    253191   1230159    175.63    119.60  --
3592.01/899.43	c  N dy 10074   1451175     19306     83138         0     79043    253191   4764500    171.70    119.59  --
3636.75/910.62	c  N dy 10214   1471216     19306     83138         0     99083    253191   8325138    176.55    119.60  --
3680.30/921.53	c  N dy 10354   1491220     19306     83138         0     63090    253191   1807622    176.81    119.62  --
3718.67/931.20	c  N dy 10494   1511324     19306     83138         0     83192    253191   5333584    179.18    119.60  --
3760.99/941.72	c  N dy 10634   1531357     19306     83138         0    103224    253191   8876978    174.86    119.60  --
3804.13/952.54	c  N dy 10774   1551451     19306     83138         0     66321    253191   2216840    180.69    119.61  --
3844.07/962.56	c  N dy 10913   1571490     19306     83138         0     86359    253191   5847500    174.33    119.64  --
3890.03/974.02	c  N dy 11054   1591494     19306     83138         0    106362    253191   9313856    171.47    119.61  --
3933.55/984.94	c  N dy 11194   1611607     19306     83138         0     68478    253191   2349561    185.26    119.62  --
3975.50/995.47	c  N dy 11333   1631613     19306     83138         0     88481    253191   5906226    183.19    119.61  --
4022.26/1007.17	c  N dy 11473   1651700     19306     83138         0    108564    253191   9498515    177.81    119.62  --
4068.58/1018.70	c  N dy 11613   1671754     19306     83138         0     69625    253191   2393781    190.84    119.62  --
4110.92/1029.37	c  N dy 11753   1691829     19306     83138         0     89697    253191   5972061    180.72    119.63  --
4158.85/1041.40	c  S st 11883   1710385     19306     83138         0    108249    253191   9345025    186.75    119.66  --
4160.85/1041.80	c  S st 11883   1710886     19306     83138         0    108750    253191   9410773    186.75    119.66  --
4160.85/1041.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
4160.85/1041.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4166.04/1043.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 15.1M T:  5.26
4166.04/1043.15	c Calc non-exist non-lernt bins v-fix:     0 done:  19306 time:  0.04 s
4166.04/1043.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4166.44/1043.24	c Subs w/ non-existent bins:      0 time:  0.33 s
4168.43/1043.76	c bin-w-bin subsume rem            0 bins  time:  0.03 s
4168.43/1043.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4168.43/1043.77	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-3172569-1304073060/watcher-3172569-1304073060 -o /tmp/evaluation-result-3172569-1304073060/solver-3172569-1304073060 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172569-1304073060.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.70 7.91 6.98 8/180 32718
/proc/meminfo: memFree=15071600/32950928 swapFree=67111528/67111528
[pid=32718] ppid=32716 vsize=24080 CPUtime=0 cores=1,3,5,7
/proc/32718/stat : 32718 (techdemo) R 32716 32718 31999 0 -1 4202496 1266 0 0 0 0 0 0 0 25 0 1 0 518905696 24657920 1205 33554432000 4194304 4797429 140734600288144 18446744073709551615 4367649 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/32718/statm: 6020 1209 341 148 0 949 0

[startup+0.0840919 s]
/proc/loadavg: 7.70 7.91 6.98 8/180 32718
/proc/meminfo: memFree=15071600/32950928 swapFree=67111528/67111528
[pid=32718] ppid=32716 vsize=90828 CPUtime=0.07 cores=1,3,5,7
/proc/32718/stat : 32718 (techdemo) R 32716 32718 31999 0 -1 4202496 12576 0 0 0 6 1 0 0 25 0 1 0 518905696 93007872 9258 33554432000 4194304 4797429 140734600288144 18446744073709551615 4432951 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/32718/statm: 22707 9258 348 148 0 17636 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 90828

[startup+0.101087 s]
/proc/loadavg: 7.70 7.91 6.98 8/180 32718
/proc/meminfo: memFree=15071600/32950928 swapFree=67111528/67111528
[pid=32718] ppid=32716 vsize=92580 CPUtime=0.09 cores=1,3,5,7
/proc/32718/stat : 32718 (techdemo) R 32716 32718 31999 0 -1 4202496 13201 0 0 0 8 1 0 0 25 0 1 0 518905696 94801920 9851 33554432000 4194304 4797429 140734600288144 18446744073709551615 4432962 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/32718/statm: 23145 9855 348 148 0 18074 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 92580

[startup+0.300998 s]
/proc/loadavg: 7.70 7.91 6.98 8/180 32718
/proc/meminfo: memFree=15071600/32950928 swapFree=67111528/67111528
[pid=32718] ppid=32716 vsize=199916 CPUtime=0.47 cores=1,3,5,7
/proc/32718/stat : 32718 (techdemo) R 32716 32718 31999 0 -1 4202496 17259 0 0 0 45 2 0 0 25 0 4 0 518905696 204713984 13681 33554432000 4194304 4797429 140734600288144 18446744073709551615 4428580 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32718/statm: 49979 13681 373 148 0 44908 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 199916

[startup+1.35381 s]
/proc/loadavg: 7.70 7.91 6.98 8/180 32718
/proc/meminfo: memFree=15071600/32950928 swapFree=67111528/67111528
[pid=32718] ppid=32716 vsize=810688 CPUtime=4.67 cores=1,3,5,7
/proc/32718/stat : 32718 (techdemo) R 32716 32718 31999 0 -1 4202496 30147 0 0 0 459 8 0 0 19 0 4 0 518905696 830144512 24551 33554432000 4194304 4797429 140734600288144 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32718/statm: 202672 24551 412 148 0 197601 0
Current children cumulated CPU time (s) 4.67
Current children cumulated vsize (KiB) 810688

[startup+1.50079 s]
/proc/loadavg: 7.70 7.91 6.98 8/180 32718
/proc/meminfo: memFree=15071600/32950928 swapFree=67111528/67111528
[pid=32718] ppid=32716 vsize=810688 CPUtime=5.25 cores=1,3,5,7
/proc/32718/stat : 32718 (techdemo) R 32716 32718 31999 0 -1 4202496 30494 0 0 0 517 8 0 0 19 0 4 0 518905696 830144512 24898 33554432000 4194304 4797429 140734600288144 18446744073709551615 4425640 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32718/statm: 202672 24898 412 148 0 197601 0
Current children cumulated CPU time (s) 5.25
Current children cumulated vsize (KiB) 810688

[startup+3.1005 s]
/proc/loadavg: 7.70 7.91 6.98 9/184 32723
/proc/meminfo: memFree=14944304/32950928 swapFree=67111528/67111528
[pid=32718] ppid=32716 vsize=813164 CPUtime=11.64 cores=1,3,5,7
/proc/32718/stat : 32718 (techdemo) R 32716 32718 31999 0 -1 4202496 34783 0 0 0 1154 10 0 0 22 0 4 0 518905696 832679936 29165 33554432000 4194304 4797429 140734600288144 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32718/statm: 203291 29165 413 148 0 198220 0
[pid=32718/tid=32720] ppid=32716 vsize=813164 CPUtime=2.85 cores=1,3,5,7
/proc/32718/task/32720/stat : 32720 (techdemo) R 32716 32718 31999 0 -1 4202560 4173 0 0 0 285 0 0 0 22 0 4 0 518905720 832679936 29165 33554432000 4194304 4797429 140734600288144 18446744073709551615 4415851 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32718/tid=32721] ppid=32716 vsize=813164 CPUtime=2.84 cores=1,3,5,7
/proc/32718/task/32721/stat : 32721 (techdemo) R 32716 32718 31999 0 -1 4202560 4285 0 0 0 282 2 0 0 23 0 4 0 518905720 832679936 29165 33554432000 4194304 4797429 140734600288144 18446744073709551615 4341204 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32718/tid=32722] ppid=32716 vsize=813164 CPUtime=2.83 cores=1,3,5,7
/proc/32718/task/32722/stat : 32722 (techdemo) R 32716 32718 31999 0 -1 4202560 4501 0 0 0 281 2 0 0 23 0 4 0 518905720 832679936 29165 33554432000 4194304 4797429 140734600288144 18446744073709551615 4387808 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.64
Current children cumulated vsize (KiB) 813164

[startup+6.30094 s]
/proc/loadavg: 7.80 7.93 6.99 9/184 32723
/proc/meminfo: memFree=14893596/32950928 swapFree=67111528/67111528
[pid=32718] ppid=32716 vsize=828312 CPUtime=24.41 cores=1,3,5,7
/proc/32718/stat : 32718 (techdemo) R 32716 32718 31999 0 -1 4202496 45804 0 0 0 2426 15 0 0 25 0 4 0 518905696 848191488 40163 33554432000 4194304 4797429 140734600288144 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32718/statm: 207078 40163 418 148 0 202007 0
[pid=32718/tid=32720] ppid=32716 vsize=828312 CPUtime=6.05 cores=1,3,5,7
/proc/32718/task/32720/stat : 32720 (techdemo) R 32716 32718 31999 0 -1 4202560 7072 0 0 0 603 2 0 0 21 0 4 0 518905720 848191488 40163 33554432000 4194304 4797429 140734600288144 18446744073709551615 4526613 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32718/tid=32721] ppid=32716 vsize=828312 CPUtime=6.04 cores=1,3,5,7
/proc/32718/task/32721/stat : 32721 (techdemo) R 32716 32718 31999 0 -1 4202560 7038 0 0 0 601 3 0 0 20 0 4 0 518905720 848191488 40163 33554432000 4194304 4797429 140734600288144 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32718/tid=32722] ppid=32716 vsize=828312 CPUtime=6.01 cores=1,3,5,7
/proc/32718/task/32722/stat : 32722 (techdemo) R 32716 32718 31999 0 -1 4202560 7690 0 0 0 598 3 0 0 25 0 4 0 518905720 848191488 40163 33554432000 4194304 4797429 140734600288144 18446744073709551615 4567816 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.41
Current children cumulated vsize (KiB) 828312

[startup+12.7068 s]
/proc/loadavg: 7.90 7.94 7.00 9/184 32723
/proc/meminfo: memFree=14872652/32950928 swapFree=67111528/67111528
[pid=32718] ppid=32716 vsize=834772 CPUtime=50 cores=1,3,5,7
/proc/32718/stat : 32718 (techdemo) R 32716 32718 31999 0 -1 4202496 54048 0 0 0 4982 18 0 0 25 0 4 0 518905696 854806528 44173 33554432000 4194304 4797429 140734600288144 18446744073709551615 4567931 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32718/statm: 208693 44173 420 148 0 203622 0
[pid=32718/tid=32720] ppid=32716 vsize=834772 CPUtime=12.46 cores=1,3,5,7
/proc/32718/task/32720/stat : 32720 (techdemo) R 32716 32718 31999 0 -1 4202560 7536 0 0 0 1244 2 0 0 25 0 4 0 518905720 854806528 44173 33554432000 4194304 4797429 140734600288144 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32718/tid=32721] ppid=32716 vsize=834772 CPUtime=12.44 cores=1,3,5,7
/proc/32718/task/32721/stat : 32721 (techdemo) R 32716 32718 31999 0 -1 4202560 7419 0 0 0 1241 3 0 0 25 0 4 0 518905720 854806528 44173 33554432000 4194304 4797429 140734600288144 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32718/tid=32722] ppid=32716 vsize=834772 CPUtime=12.39 cores=1,3,5,7
/proc/32718/task/32722/stat : 32722 (techdemo) R 32716 32718 31999 0 -1 4202560 8228 0 0 0 1235 4 0 0 25 0 4 0 518905720 854806528 44173 33554432000 4194304 4797429 140734600288144 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (KiB) 834772

[startup+25.5006 s]
/proc/loadavg: 7.92 7.95 7.02 9/184 32723
/proc/meminfo: memFree=14850040/32950928 swapFree=67111528/67111528
[pid=32718] ppid=32716 vsize=841780 CPUtime=101.11 cores=1,3,5,7
/proc/32718/stat : 32718 (techdemo) R 32716 32718 31999 0 -1 4202496 62302 0 0 0 10089 22 0 0 25 0 4 0 518905696 861982720 47485 33554432000 4194304 4797429 140734600288144 18446744073709551615 4567905 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32718/statm: 210445 47485 419 148 0 205374 0
[pid=32718/tid=32720] ppid=32716 vsize=841780 CPUtime=25.24 cores=1,3,5,7
/proc/32718/task/32720/stat : 32720 (techdemo) R 32716 32718 31999 0 -1 4202560 8539 0 0 0 2522 2 0 0 25 0 4 0 518905720 861982720 47485 33554432000 4194304 4797429 140734600288144 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32718/tid=32721] ppid=32716 vsize=841780 CPUtime=25.24 cores=1,3,5,7
/proc/32718/task/32721/stat : 32721 (techdemo) R 32716 32718 31999 0 -1 4202560 8664 0 0 0 2521 3 0 0 25 0 4 0 518905720 861982720 47485 33554432000 4194304 4797429 140734600288144 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32718/tid=32722] ppid=32716 vsize=841780 CPUtime=25.11 cores=1,3,5,7
/proc/32718/task/32722/stat : 32722 (techdemo) R 32716 32718 31999 0 -1 4202560 9463 0 0 0 2506 5 0 0 25 0 4 0 518905720 861982720 47485 33554432000 4194304 4797429 140734600288144 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.11
Current children cumulated vsize (KiB) 841780

[startup+51.1011 s]
/proc/loadavg: 8.01 7.96 7.05 9/184 32724
/proc/meminfo: memFree=14807692/32950928 swapFree=67111528/67111528
[pid=32718] ppid=32716 vsize=855308 CPUtime=203.39 cores=1,3,5,7
/proc/32718/stat : 32718 (techdemo) R 32716 32718 31999 0 -1 4202496 80131 0 0 0 20308 31 0 0 25 0 4 0 518905696 875835392 54515 33554432000 4194304 4797429 140734600288144 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32718/statm: 213827 54515 420 148 0 208756 0
[pid=32718/tid=32720] ppid=32716 vsize=855308 CPUtime=50.85 cores=1,3,5,7
/proc/32718/task/32720/stat : 32720 (techdemo) R 32716 32718 31999 0 -1 4202560 10066 0 0 0 5082 3 0 0 25 0 4 0 518905720 875835392 54515 33554432000 4194304 4797429 140734600288144 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32718/tid=32721] ppid=32716 vsize=855308 CPUtime=50.84 cores=1,3,5,7
/proc/32718/task/32721/stat : 32721 (techdemo) R 32716 32718 31999 0 -1 4202560 10647 0 0 0 5080 4 0 0 25 0 4 0 518905720 875835392 54515 33554432000 4194304 4797429 140734600288144 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32718/tid=32722] ppid=32716 vsize=855308 CPUtime=50.57 cores=1,3,5,7
/proc/32718/task/32722/stat : 32722 (techdemo) R 32716 32718 31999 0 -1 4202560 11260 0 0 0 5052 5 0 0 25 0 4 0 518905720 875835392 54515 33554432000 4194304 4797429 140734600288144 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.39
Current children cumulated vsize (KiB) 855308

[startup+102.301 s]
/proc/loadavg: 8.11 8.00 7.11 9/184 32725
/proc/meminfo: memFree=14769608/32950928 swapFree=67111528/67111528
[pid=32718] ppid=32716 vsize=871960 CPUtime=407.89 cores=1,3,5,7
/proc/32718/stat : 32718 (techdemo) R 32716 32718 31999 0 -1 4202496 108306 0 0 0 40745 44 0 0 25 0 4 0 518905696 892887040 60588 33554432000 4194304 4797429 140734600288144 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32718/statm: 217990 60588 420 148 0 212919 0
[pid=32718/tid=32720] ppid=32716 vsize=871960 CPUtime=102.04 cores=1,3,5,7
/proc/32718/task/32720/stat : 32720 (techdemo) R 32716 32718 31999 0 -1 4202560 13639 0 0 0 10199 5 0 0 25 0 4 0 518905720 892887040 60588 33554432000 4194304 4797429 140734600288144 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32718/tid=32721] ppid=32716 vsize=871960 CPUtime=102.04 cores=1,3,5,7
/proc/32718/task/32721/stat : 32721 (techdemo) R 32716 32718 31999 0 -1 4202560 14811 0 0 0 10198 6 0 0 25 0 4 0 518905720 892887040 60588 33554432000 4194304 4797429 140734600288144 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32718/tid=32722] ppid=32716 vsize=871960 CPUtime=101.49 cores=1,3,5,7
/proc/32718/task/32722/stat : 32722 (techdemo) R 32716 32718 31999 0 -1 4202560 15149 0 0 0 10142 7 0 0 25 0 4 0 518905720 892887040 60588 33554432000 4194304 4797429 140734600288144 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.89
Current children cumulated vsize (KiB) 871960

[startup+162.306 s]
/proc/loadavg: 8.08 8.01 7.16 9/184 32727
/proc/meminfo: memFree=14744428/32950928 swapFree=67111528/67111528
[pid=32718] ppid=32716 vsize=887636 CPUtime=647.59 cores=1,3,5,7
/proc/32718/stat : 32718 (techdemo) R 32716 32718 31999 0 -1 4202496 141298 0 0 0 64699 60 0 0 25 0 4 0 518905696 908939264 64629 33554432000 4194304 4797429 140734600288144 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32718/statm: 221909 64629 420 148 0 216838 0
[pid=32718/tid=32720] ppid=32716 vsize=887636 CPUtime=162.05 cores=1,3,5,7
/proc/32718/task/32720/stat : 32720 (techdemo) R 32716 32718 31999 0 -1 4202560 17301 0 0 0 16198 7 0 0 25 0 4 0 518905720 908939264 64629 33554432000 4194304 4797429 140734600288144 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32718/tid=32721] ppid=32716 vsize=887636 CPUtime=162.04 cores=1,3,5,7
/proc/32718/task/32721/stat : 32721 (techdemo) R 32716 32718 31999 0 -1 4202560 18613 0 0 0 16197 7 0 0 25 0 4 0 518905720 908939264 64629 33554432000 4194304 4797429 140734600288144 18446744073709551615 4523861 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32718/tid=32722] ppid=32716 vsize=887636 CPUtime=161.17 cores=1,3,5,7
/proc/32718/task/32722/stat : 32722 (techdemo) R 32716 32718 31999 0 -1 4202560 19398 0 0 0 16108 9 0 0 25 0 4 0 518905720 908939264 64629 33554432000 4194304 4797429 140734600288144 18446744073709551615 4524473 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 647.59
Current children cumulated vsize (KiB) 887636

[startup+222.301 s]
/proc/loadavg: 8.07 8.02 7.22 9/184 32728
/proc/meminfo: memFree=14706232/32950928 swapFree=67111528/67111528
[pid=32718] ppid=32716 vsize=895620 CPUtime=887.25 cores=1,3,5,7
/proc/32718/stat : 32718 (techdemo) R 32716 32718 31999 0 -1 4202496 174884 0 0 0 88646 79 0 0 25 0 4 0 518905696 917114880 71659 33554432000 4194304 4797429 140734600288144 18446744073709551615 4352317 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32718/statm: 223905 71659 420 148 0 218834 0
[pid=32718/tid=32720] ppid=32716 vsize=895620 CPUtime=222.04 cores=1,3,5,7
/proc/32718/task/32720/stat : 32720 (techdemo) R 32716 32718 31999 0 -1 4202560 19397 0 0 0 22196 8 0 0 25 0 4 0 518905720 917114880 71659 33554432000 4194304 4797429 140734600288144 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32718/tid=32721] ppid=32716 vsize=895620 CPUtime=222.04 cores=1,3,5,7
/proc/32718/task/32721/stat : 32721 (techdemo) R 32716 32718 31999 0 -1 4202560 21101 0 0 0 22196 8 0 0 25 0 4 0 518905720 917114880 71659 33554432000 4194304 4797429 140734600288144 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32718/tid=32722] ppid=32716 vsize=895620 CPUtime=220.84 cores=1,3,5,7
/proc/32718/task/32722/stat : 32722 (techdemo) R 32716 32718 31999 0 -1 4202560 21390 0 0 0 22074 10 0 0 25 0 4 0 518905720 917114880 71659 33554432000 4194304 4797429 140734600288144 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 887.25
Current children cumulated vsize (KiB) 895620

[startup+282.3 s]
/proc/loadavg: 8.06 8.03 7.27 9/184 32730
/proc/meminfo: memFree=14693332/32950928 swapFree=67111528/67111528
[pid=32718] ppid=32716 vsize=903888 CPUtime=1126.92 cores=1,3,5,7
/proc/32718/stat : 32718 (techdemo) R 32716 32718 31999 0 -1 4202496 211247 0 0 0 112592 100 0 0 25 0 4 0 518905696 925581312 71528 33554432000 4194304 4797429 140734600288144 18446744073709551615 4259014 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32718/statm: 225972 71528 420 148 0 220901 0
[pid=32718/tid=32720] ppid=32716 vsize=903888 CPUtime=282.04 cores=1,3,5,7

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

[pid=32718] ppid=32716 vsize=929836 CPUtime=2564.99 cores=1,3,5,7
/proc/32718/stat : 32718 (techdemo) R 32716 32718 31999 0 -1 4202496 349287 0 0 0 256317 182 0 0 25 0 4 0 518905696 952152064 85860 33554432000 4194304 4797429 140734600288144 18446744073709551615 4390396 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32718/statm: 232459 85860 420 148 0 227388 0
[pid=32718/tid=32720] ppid=32716 vsize=929836 CPUtime=642.05 cores=1,3,5,7
/proc/32718/task/32720/stat : 32720 (techdemo) R 32716 32718 31999 0 -1 4202560 33270 0 0 0 64190 15 0 0 25 0 4 0 518905720 952152064 85860 33554432000 4194304 4797429 140734600288144 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32718/tid=32721] ppid=32716 vsize=929836 CPUtime=642.05 cores=1,3,5,7
/proc/32718/task/32721/stat : 32721 (techdemo) R 32716 32718 31999 0 -1 4202560 37243 0 0 0 64189 16 0 0 25 0 4 0 518905720 952152064 85860 33554432000 4194304 4797429 140734600288144 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32718/tid=32722] ppid=32716 vsize=929836 CPUtime=638.56 cores=1,3,5,7
/proc/32718/task/32722/stat : 32722 (techdemo) R 32716 32718 31999 0 -1 4202560 36223 0 0 0 63839 17 0 0 25 0 4 0 518905720 952152064 85860 33554432000 4194304 4797429 140734600288144 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2564.99
Current children cumulated vsize (KiB) 929836

[startup+702.3 s]
/proc/loadavg: 8.05 8.05 7.55 9/184 32741
/proc/meminfo: memFree=14579676/32950928 swapFree=67111528/67111528
[pid=32718] ppid=32716 vsize=934292 CPUtime=2804.69 cores=1,3,5,7
/proc/32718/stat : 32718 (techdemo) R 32716 32718 31999 0 -1 4202496 374826 0 0 0 280271 198 0 0 25 0 4 0 518905696 956715008 92236 33554432000 4194304 4797429 140734600288144 18446744073709551615 4259014 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32718/statm: 233573 92236 420 148 0 228502 0
[pid=32718/tid=32720] ppid=32716 vsize=934292 CPUtime=702.05 cores=1,3,5,7
/proc/32718/task/32720/stat : 32720 (techdemo) R 32716 32718 31999 0 -1 4202560 34053 0 0 0 70190 15 0 0 25 0 4 0 518905720 956715008 92236 33554432000 4194304 4797429 140734600288144 18446744073709551615 4567988 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32718/tid=32721] ppid=32716 vsize=934292 CPUtime=702.06 cores=1,3,5,7
/proc/32718/task/32721/stat : 32721 (techdemo) R 32716 32718 31999 0 -1 4202560 38127 0 0 0 70189 17 0 0 25 0 4 0 518905720 956715008 92236 33554432000 4194304 4797429 140734600288144 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32718/tid=32722] ppid=32716 vsize=934292 CPUtime=698.24 cores=1,3,5,7
/proc/32718/task/32722/stat : 32722 (techdemo) R 32716 32718 31999 0 -1 4202560 37176 0 0 0 69806 18 0 0 25 0 4 0 518905720 956715008 92236 33554432000 4194304 4797429 140734600288144 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2804.69
Current children cumulated vsize (KiB) 934292

[startup+762.301 s]
/proc/loadavg: 8.02 8.04 7.57 9/184 32743
/proc/meminfo: memFree=14571608/32950928 swapFree=67111528/67111528
[pid=32718] ppid=32716 vsize=939816 CPUtime=3044.35 cores=1,3,5,7
/proc/32718/stat : 32718 (techdemo) R 32716 32718 31999 0 -1 4202496 409453 0 0 0 304219 216 0 0 25 0 4 0 518905696 962371584 83655 33554432000 4194304 4797429 140734600288144 18446744073709551615 4424958 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32718/statm: 234954 83655 420 148 0 229883 0
[pid=32718/tid=32720] ppid=32716 vsize=939816 CPUtime=762.05 cores=1,3,5,7
/proc/32718/task/32720/stat : 32720 (techdemo) R 32716 32718 31999 0 -1 4202560 37251 0 0 0 76189 16 0 0 25 0 4 0 518905720 962371584 83655 33554432000 4194304 4797429 140734600288144 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32718/tid=32721] ppid=32716 vsize=939816 CPUtime=762.05 cores=1,3,5,7
/proc/32718/task/32721/stat : 32721 (techdemo) R 32716 32718 31999 0 -1 4202560 41973 0 0 0 76187 18 0 0 25 0 4 0 518905720 962371584 83655 33554432000 4194304 4797429 140734600288144 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32718/tid=32722] ppid=32716 vsize=939816 CPUtime=757.91 cores=1,3,5,7
/proc/32718/task/32722/stat : 32722 (techdemo) R 32716 32718 31999 0 -1 4202560 40259 0 0 0 75771 20 0 0 25 0 4 0 518905720 962371584 83655 33554432000 4194304 4797429 140734600288144 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.35
Current children cumulated vsize (KiB) 939816

[startup+822.306 s]
/proc/loadavg: 8.04 8.05 7.60 9/184 32744
/proc/meminfo: memFree=14558940/32950928 swapFree=67111528/67111528
[pid=32718] ppid=32716 vsize=944020 CPUtime=3284.05 cores=1,3,5,7
/proc/32718/stat : 32718 (techdemo) R 32716 32718 31999 0 -1 4202496 433604 0 0 0 328172 233 0 0 25 0 4 0 518905696 966676480 96506 33554432000 4194304 4797429 140734600288144 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32718/statm: 236005 96506 420 148 0 230934 0
[pid=32718/tid=32720] ppid=32716 vsize=944020 CPUtime=822.06 cores=1,3,5,7
/proc/32718/task/32720/stat : 32720 (techdemo) R 32716 32718 31999 0 -1 4202560 39022 0 0 0 82189 17 0 0 25 0 4 0 518905720 966676480 96506 33554432000 4194304 4797429 140734600288144 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32718/tid=32721] ppid=32716 vsize=944020 CPUtime=822.06 cores=1,3,5,7
/proc/32718/task/32721/stat : 32721 (techdemo) R 32716 32718 31999 0 -1 4202560 43266 0 0 0 82187 19 0 0 25 0 4 0 518905720 966676480 96506 33554432000 4194304 4797429 140734600288144 18446744073709551615 4501900 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32718/tid=32722] ppid=32716 vsize=944020 CPUtime=817.59 cores=1,3,5,7
/proc/32718/task/32722/stat : 32722 (techdemo) R 32716 32718 31999 0 -1 4202560 41611 0 0 0 81738 21 0 0 25 0 4 0 518905720 966676480 96506 33554432000 4194304 4797429 140734600288144 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.05
Current children cumulated vsize (KiB) 944020

[startup+882.301 s]
/proc/loadavg: 8.12 8.07 7.64 9/184 32746
/proc/meminfo: memFree=14536248/32950928 swapFree=67111528/67111528
[pid=32718] ppid=32716 vsize=946112 CPUtime=3523.71 cores=1,3,5,7
/proc/32718/stat : 32718 (techdemo) R 32716 32718 31999 0 -1 4202496 457177 0 0 0 352124 247 0 0 25 0 4 0 518905696 968818688 98629 33554432000 4194304 4797429 140734600288144 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32718/statm: 236528 98629 420 148 0 231457 0
[pid=32718/tid=32720] ppid=32716 vsize=946112 CPUtime=882.05 cores=1,3,5,7
/proc/32718/task/32720/stat : 32720 (techdemo) R 32716 32718 31999 0 -1 4202560 39701 0 0 0 88188 17 0 0 25 0 4 0 518905720 968818688 98629 33554432000 4194304 4797429 140734600288144 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32718/tid=32721] ppid=32716 vsize=946112 CPUtime=882.06 cores=1,3,5,7
/proc/32718/task/32721/stat : 32721 (techdemo) R 32716 32718 31999 0 -1 4202560 44093 0 0 0 88187 19 0 0 25 0 4 0 518905720 968818688 98629 33554432000 4194304 4797429 140734600288144 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32718/tid=32722] ppid=32716 vsize=946112 CPUtime=877.26 cores=1,3,5,7
/proc/32718/task/32722/stat : 32722 (techdemo) R 32716 32718 31999 0 -1 4202560 42089 0 0 0 87705 21 0 0 25 0 4 0 518905720 968818688 98629 33554432000 4194304 4797429 140734600288144 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3523.71
Current children cumulated vsize (KiB) 946112

[startup+942.301 s]
/proc/loadavg: 8.16 8.08 7.66 9/184 32748
/proc/meminfo: memFree=14541816/32950928 swapFree=67111528/67111528
[pid=32718] ppid=32716 vsize=950492 CPUtime=3763.39 cores=1,3,5,7
/proc/32718/stat : 32718 (techdemo) R 32716 32718 31999 0 -1 4202496 487867 0 0 0 376072 267 0 0 25 0 4 0 518905696 973303808 94224 33554432000 4194304 4797429 140734600288144 18446744073709551615 4422933 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32718/statm: 237623 94224 420 148 0 232552 0
[pid=32718/tid=32720] ppid=32716 vsize=950492 CPUtime=942.05 cores=1,3,5,7
/proc/32718/task/32720/stat : 32720 (techdemo) R 32716 32718 31999 0 -1 4202560 41716 0 0 0 94187 18 0 0 25 0 4 0 518905720 973303808 94224 33554432000 4194304 4797429 140734600288144 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32718/tid=32721] ppid=32716 vsize=950492 CPUtime=942.06 cores=1,3,5,7
/proc/32718/task/32721/stat : 32721 (techdemo) R 32716 32718 31999 0 -1 4202560 46960 0 0 0 94185 21 0 0 25 0 4 0 518905720 973303808 94224 33554432000 4194304 4797429 140734600288144 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32718/tid=32722] ppid=32716 vsize=950492 CPUtime=936.93 cores=1,3,5,7
/proc/32718/task/32722/stat : 32722 (techdemo) R 32716 32718 31999 0 -1 4202560 45103 0 0 0 93671 22 0 0 25 0 4 0 518905720 973303808 94224 33554432000 4194304 4797429 140734600288144 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.39
Current children cumulated vsize (KiB) 950492

[startup+1002.3 s]
/proc/loadavg: 8.16 8.10 7.69 9/184 32749
/proc/meminfo: memFree=14530644/32950928 swapFree=67111528/67111528
[pid=32718] ppid=32716 vsize=950548 CPUtime=4003.06 cores=1,3,5,7
/proc/32718/stat : 32718 (techdemo) R 32716 32718 31999 0 -1 4202496 513596 0 0 0 400022 284 0 0 25 0 4 0 518905696 973361152 97138 33554432000 4194304 4797429 140734600288144 18446744073709551615 4354801 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32718/statm: 237637 97138 420 148 0 232566 0
[pid=32718/tid=32720] ppid=32716 vsize=950548 CPUtime=1002.05 cores=1,3,5,7
/proc/32718/task/32720/stat : 32720 (techdemo) R 32716 32718 31999 0 -1 4202560 43403 0 0 0 100186 19 0 0 25 0 4 0 518905720 973361152 97138 33554432000 4194304 4797429 140734600288144 18446744073709551615 4424846 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32718/tid=32721] ppid=32716 vsize=950548 CPUtime=1002.05 cores=1,3,5,7
/proc/32718/task/32721/stat : 32721 (techdemo) R 32716 32718 31999 0 -1 4202560 48049 0 0 0 100184 21 0 0 25 0 4 0 518905720 973361152 97139 33554432000 4194304 4797429 140734600288144 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32718/tid=32722] ppid=32716 vsize=950548 CPUtime=996.61 cores=1,3,5,7
/proc/32718/task/32722/stat : 32722 (techdemo) R 32716 32718 31999 0 -1 4202560 46413 0 0 0 99638 23 0 0 25 0 4 0 518905720 973361152 97139 33554432000 4194304 4797429 140734600288144 18446744073709551615 4495525 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.06
Current children cumulated vsize (KiB) 950548

[startup+1062.3 s]
/proc/loadavg: 8.15 8.11 7.72 9/184 32751
/proc/meminfo: memFree=14498764/32950928 swapFree=67111528/67111528
[pid=32718] ppid=32716 vsize=1016124 CPUtime=4242.74 cores=1,3,5,7
/proc/32718/stat : 32718 (techdemo) R 32716 32718 31999 0 -1 4202496 532728 0 0 0 423975 299 0 0 25 0 4 0 518905696 1040510976 104513 33554432000 4194304 4797429 140734600288144 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32718/statm: 254031 104513 420 148 0 248960 0
[pid=32718/tid=32720] ppid=32716 vsize=1016124 CPUtime=1062.06 cores=1,3,5,7
/proc/32718/task/32720/stat : 32720 (techdemo) R 32716 32718 31999 0 -1 4202560 44202 0 0 0 106186 20 0 0 25 0 4 0 518905720 1040510976 104513 33554432000 4194304 4797429 140734600288144 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32718/tid=32721] ppid=32716 vsize=1016124 CPUtime=1062.06 cores=1,3,5,7
/proc/32718/task/32721/stat : 32721 (techdemo) R 32716 32718 31999 0 -1 4202560 48656 0 0 0 106184 22 0 0 25 0 4 0 518905720 1040510976 104513 33554432000 4194304 4797429 140734600288144 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32718/tid=32722] ppid=32716 vsize=1016124 CPUtime=1056.27 cores=1,3,5,7
/proc/32718/task/32722/stat : 32722 (techdemo) R 32716 32718 31999 0 -1 4202560 47397 0 0 0 105604 23 0 0 25 0 4 0 518905720 1040510976 104513 33554432000 4194304 4797429 140734600288144 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4242.74
Current children cumulated vsize (KiB) 1016124

[startup+1122.3 s]
/proc/loadavg: 8.14 8.11 7.74 9/184 32752
/proc/meminfo: memFree=14499104/32950928 swapFree=67111528/67111528
[pid=32718] ppid=32716 vsize=1017780 CPUtime=4482.42 cores=1,3,5,7
/proc/32718/stat : 32718 (techdemo) R 32716 32718 31999 0 -1 4202496 534795 0 0 0 447942 300 0 0 25 0 4 0 518905696 1042206720 106489 33554432000 4194304 4797429 140734600288144 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32718/statm: 254445 106489 420 148 0 249374 0
[pid=32718/tid=32720] ppid=32716 vsize=1017780 CPUtime=1122.06 cores=1,3,5,7
/proc/32718/task/32720/stat : 32720 (techdemo) R 32716 32718 31999 0 -1 4202560 44883 0 0 0 112186 20 0 0 25 0 4 0 518905720 1042206720 106489 33554432000 4194304 4797429 140734600288144 18446744073709551615 4567800 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32718/tid=32721] ppid=32716 vsize=1017780 CPUtime=1122.06 cores=1,3,5,7
/proc/32718/task/32721/stat : 32721 (techdemo) R 32716 32718 31999 0 -1 4202560 49220 0 0 0 112184 22 0 0 25 0 4 0 518905720 1042206720 106489 33554432000 4194304 4797429 140734600288144 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32718/tid=32722] ppid=32716 vsize=1017780 CPUtime=1115.96 cores=1,3,5,7
/proc/32718/task/32722/stat : 32722 (techdemo) R 32716 32718 31999 0 -1 4202560 48219 0 0 0 111572 24 0 0 25 0 4 0 518905720 1042206720 106489 33554432000 4194304 4797429 140734600288144 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.42
Current children cumulated vsize (KiB) 1017780

[startup+1182.3 s]
/proc/loadavg: 8.10 8.11 7.76 9/184 32754
/proc/meminfo: memFree=14508764/32950928 swapFree=67111528/67111528
[pid=32718] ppid=32716 vsize=1043248 CPUtime=4722.09 cores=1,3,5,7
/proc/32718/stat : 32718 (techdemo) R 32716 32718 31999 0 -1 4202496 545819 0 0 0 471906 303 0 0 25 0 4 0 518905696 1068285952 102663 33554432000 4194304 4797429 140734600288144 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32718/statm: 260812 102663 420 148 0 255741 0
[pid=32718/tid=32720] ppid=32716 vsize=1043248 CPUtime=1182.06 cores=1,3,5,7
/proc/32718/task/32720/stat : 32720 (techdemo) R 32716 32718 31999 0 -1 4202560 48530 0 0 0 118184 22 0 0 25 0 4 0 518905720 1068285952 102663 33554432000 4194304 4797429 140734600288144 18446744073709551615 4524064 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32718/tid=32721] ppid=32716 vsize=1043248 CPUtime=1182.06 cores=1,3,5,7
/proc/32718/task/32721/stat : 32721 (techdemo) R 32716 32718 31999 0 -1 4202560 53084 0 0 0 118183 23 0 0 25 0 4 0 518905720 1068285952 102663 33554432000 4194304 4797429 140734600288144 18446744073709551615 4242465 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32718/tid=32722] ppid=32716 vsize=1043248 CPUtime=1175.63 cores=1,3,5,7
/proc/32718/task/32722/stat : 32722 (techdemo) R 32716 32718 31999 0 -1 4202560 51732 0 0 0 117538 25 0 0 25 0 4 0 518905720 1068285952 102663 33554432000 4194304 4797429 140734600288144 18446744073709551615 4501900 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.09
Current children cumulated vsize (KiB) 1043248



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.81 s]
/proc/loadavg: 8.14 8.11 7.77 5/179 32755
/proc/meminfo: memFree=14677176/32950928 swapFree=67111528/67111528
[pid=32718] ppid=32716 vsize=1043248 CPUtime=4800.02 cores=1,3,5,7
/proc/32718/stat : 32718 (techdemo) R 32716 32718 31999 0 -1 4202496 547384 0 0 0 479698 304 0 0 25 0 4 0 518905696 1068285952 104143 33554432000 4194304 4797429 140734600288144 18446744073709551615 4568105 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32718/statm: 260812 104143 420 148 0 255741 0
[pid=32718/tid=32720] ppid=32716 vsize=1043248 CPUtime=1201.57 cores=1,3,5,7
/proc/32718/task/32720/stat : 32720 (techdemo) R 32716 32718 31999 0 -1 4202560 49188 0 0 0 120135 22 0 0 25 0 4 0 518905720 1068285952 104143 33554432000 4194304 4797429 140734600288144 18446744073709551615 4241145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32718/tid=32721] ppid=32716 vsize=1043248 CPUtime=1201.58 cores=1,3,5,7
/proc/32718/task/32721/stat : 32721 (techdemo) R 32716 32718 31999 0 -1 4202560 53508 0 0 0 120134 24 0 0 25 0 4 0 518905720 1068285952 104143 33554432000 4194304 4797429 140734600288144 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32718/tid=32722] ppid=32716 vsize=1043248 CPUtime=1195.03 cores=1,3,5,7
/proc/32718/task/32722/stat : 32722 (techdemo) R 32716 32718 31999 0 -1 4202560 52215 0 0 0 119478 25 0 0 25 0 4 0 518905720 1068285952 104143 33554432000 4194304 4797429 140734600288144 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.02
Current children cumulated vsize (KiB) 1043248

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.84
CPU time (s): 4800.08
CPU user time (s): 4797.01
CPU system time (s): 3.06653
CPU usage (%): 399.395
Max. virtual memory (cumulated for all children) (KiB): 1048868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.01
system time used= 3.06653
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 547384
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= 6860
involuntary context switches= 22005

runsolver used 1.84372 second user time and 4.73428 second system time

The end

Launcher Data 

Begin job on node125 at 2011-04-29 12:31:00
IDJOB=3172569
IDBENCH=82587
IDSOLVER=1584
FILE ID=node125/3172569-1304073060
RUNJOBID= node125-1304071855-32602
PBS_JOBID= 13170462
Free space on /tmp= 72756 MiB

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

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

MD5SUM BENCH= d523f5efa43fecaa5caf604137870a4e
RANDOM SEED=739348828

node125.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.828
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.65
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.828
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	: 5266.55
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.828
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.84
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.828
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.828
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.828
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.74
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.828
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.75
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.828
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:      15071880 kB
Buffers:       2219648 kB
Cached:       15039544 kB
SwapCached:          0 kB
Active:        9169152 kB
Inactive:      8178272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15071880 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           17956 kB
Writeback:           0 kB
AnonPages:       87400 kB
Mapped:          15392 kB
Slab:           469364 kB
PageTables:       4180 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   680736 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= 72756 MiB
End job on node125 at 2011-04-29 12:51:04