Trace number 3251503

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat TechDemo-Alpha-mt? (TO) 4800.17 1201.83

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m42-q585-n40-p15-s54275047.cnf
MD5SUM67948a6aed9ea09317abe3c8a9a27a03
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.77358
Satisfiable
(Un)Satisfiability was proved
Number of variables1590
Number of clauses272291
Sum of the clauses size546092
Maximum clause length42
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2272251
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 540

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-3251503-1304183831.cnf'
0.00/0.00	c -- header says num vars:           1590
0.00/0.00	c -- header says num clauses:      272291
0.19/0.20	c -- clauses added:            0 learnts,       272291 normals,            0 xors
0.19/0.20	c -- vars added       1590
0.19/0.20	c Parsing time:  0.19 s
0.19/0.20	c  N st     0         0      1590        40    272251         0    546092         0   no data   no data  --
0.19/0.20	c asymm  cl-useful: 0/40/40 lits-rem:0 time: 0.00
0.19/0.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.4M T:  0.28
0.59/0.30	c Calc non-exist non-lernt bins v-fix:     0 done:   1590 time:  0.10 s
0.59/0.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.59/0.30	c Subs w/ non-existent bins:      0 time:  0.00 s
0.59/0.34	c bin-w-bin subsume rem            0 bins  time:  0.17 s
0.59/0.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.14 s
0.99/0.41	c Removed useless bin:       0  fixed:     0  bprops:   1.10M  time:  0.10 s
0.99/0.48	c lits-rem:       301  cl-subs:        0  v-elim:   1020  v-fix:    0  time:  0.28 s
0.99/0.48	c learnt bin added due to v-elim: 0
0.99/0.48	c Finding binary XORs  T:     0.02 s  found:       0
1.38/0.50	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
1.38/0.50	c calculated reachability. Time: 0.00
1.38/0.50	c Calc default polars -  time:   0.01 s pos:       0 undec:      40 neg:    1550
1.38/0.50	c =========================================================================================
1.38/0.50	c types(t): F = full restart, N = normal restart
1.38/0.50	c types(t): S = simplification begin/end, E = solution found
1.38/0.50	c restart types(rt): st = static, dy = dynamic
1.38/0.50	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
1.38/0.50	c  B st     0         0      1550      6567    264134         0    816808         0   no data   no data  --
2.59/0.88	c Decided on static restart strategy
4.18/1.23	c  N dy    21      4121      1550      6567    264134      3934    816808    317376     52.76     14.68  --
6.97/1.97	c  N dy    50      8172      1550      6567    264134      5451    816808    280432     54.59     12.11  --
10.17/2.73	c  N dy    79     12238      1550      6567    264134      5234    816808    212304     46.71     11.28  --
12.97/3.45	c  N dy   107     16275      1550      6567    264134      9002    816808    361328     44.42     11.42  --
16.17/4.23	c  N dy   135     20285      1550      6567    264134      7472    816805    296027     41.00     11.23  --
18.96/4.94	c  N dy   165     24389      1550      6567    264134     11458    816805    472737     43.13     10.87  --
22.16/5.76	c  N dy   193     28479      1550      6567    264136      8779    816805    304419     45.23     10.66  --
23.36/6.03	c  S st   204     30002      1550      6567    264136     10246    816805    353849     35.32     10.64  --
23.76/6.11	c  S st   204     30503      1550      6567    264136     10747    816805    376457     35.32     10.64  --
23.76/6.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
23.76/6.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
29.35/7.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 38.8M T:  5.85
29.76/7.61	c Calc non-exist non-lernt bins v-fix:     0 done:   1550 time:  0.10 s
29.76/7.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
29.76/7.64	c Subs w/ non-existent bins:      0 time:  0.10 s
29.76/7.69	c bin-w-bin subsume rem            0 bins  time:  0.17 s
34.93/8.96	c subs with bin:        0  lits-rem:      7517  v-fix:    0  time:  5.06 s
34.93/8.99	c Removed useless bin:       0  fixed:     0  bprops:   1.06M  time:  0.10 s
43.72/11.16	c lits-rem:      4884  cl-subs:     1996  v-elim:   1550  v-fix:    0  time:  8.70 s
43.72/11.16	c learnt bin added due to v-elim: 0
43.72/11.18	c vivif2 --  cl tried     6567 cl shrink     5213 lits rem      74168 time: 0.07
44.12/11.20	c vivif2 --  cl tried     8751 cl shrink      717 lits rem        746 time: 0.08
44.52/11.34	c asymm  cl-useful: 0/533/6567 lits-rem:0 time: 0.57
44.52/11.35	c calculated reachability. Time: 0.01
44.52/11.35	c  N dy   204     30503      1550      6567    264136      8751    731245    323983     35.32     10.64  --
44.52/11.35	c  F st   204     30503      1550      6567    264136      8751    731245    323983     35.32     10.64  --
46.12/11.75	c Decided on static restart strategy
47.73/12.13	c  N dy   224     34632      1550      6567    264136     12599    731245    546635     73.00     10.84  --
51.31/13.00	c  N dy   252     38696      1550      6567    264136      9053    731245    404251     86.47     11.02  --
54.51/13.83	c  N dy   280     42796      1550      6567    264136     12983    731245    663620     59.83     11.04  --
57.30/14.58	c  S st   300     45755      1550      6567    264136     15832    731245    833820     66.97     11.08  --
57.70/14.66	c  S st   300     46256      1550      6567    264136     16331    731244    887480     66.97     11.08  --
57.70/14.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
57.70/14.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
66.09/16.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 59.6M T:  8.47
66.49/16.82	c Calc non-exist non-lernt bins v-fix:     0 done:   1550 time:  0.12 s
66.49/16.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
66.49/16.85	c Subs w/ non-existent bins:      0 time:  0.14 s
66.89/16.91	c bin-w-bin subsume rem            0 bins  time:  0.17 s
72.48/18.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.85 s
72.88/18.40	c Removed useless bin:       0  fixed:     0  bprops:   1.06M  time:  0.10 s
78.09/19.71	c lits-rem:      1024  cl-subs:     1550  v-elim:   1550  v-fix:    0  time:  5.20 s
78.09/19.71	c learnt bin added due to v-elim: 0
78.09/19.71	c vivif2 --  cl tried     6567 cl shrink        0 lits rem          0 time: 0.02
78.09/19.74	c vivif2 --  cl tried    14781 cl shrink        0 lits rem          0 time: 0.10
78.49/19.88	c asymm  cl-useful: 13/659/6567 lits-rem:13 time: 0.57
78.49/19.89	c calculated reachability. Time: 0.01
78.49/19.89	c  N dy   300     46256      1550      6567    264136     14781    731203    779646     66.97     11.08  --
82.48/20.89	c  N dy   328     50370      1550      6567    264138     10223    731203    441069     78.05     11.15  --
85.67/21.63	c  N dy   356     54391      1550      6567    264138     14077    731203    753678     82.16     11.19  --
89.26/22.53	c  N dy   384     58507      1550      6567    264138     17974    731203   1121544     66.47     11.36  --
92.06/23.27	c  N dy   412     62516      1550      6567    264139     12315    731203    525610     68.92     11.31  --
94.86/23.93	c  N dy   441     66566      1550      6567    264139     16180    731203    733686     51.55     11.23  --
97.25/24.58	c  S st   461     69385      1550      6567    264139     18847    731203    886854     45.01     11.28  --
97.65/24.67	c  S st   461     69886      1550      6567    264139     19347    731203    928737     45.01     11.28  --
97.65/24.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
97.65/24.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
106.44/26.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  8.64
106.44/26.87	c Calc non-exist non-lernt bins v-fix:     0 done:   1550 time:  0.12 s
106.44/26.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
106.84/26.90	c Subs w/ non-existent bins:      0 time:  0.16 s
106.84/26.97	c bin-w-bin subsume rem            0 bins  time:  0.17 s
112.83/28.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.81 s
112.83/28.45	c Removed useless bin:       0  fixed:     0  bprops:   1.06M  time:  0.10 s
118.81/29.90	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.36
124.81/31.43	c Added 16 vars  tried: 80000 time: 6.12
124.81/31.49	c ORs :     16 avg-s:  0.0 cl-sh: 14515 l-rem:  14515 b-add:     32 v-rep:   0 cl-rem: 0 avg s: nan T:    6.35
125.21/31.50	c lits-rem:       956  cl-subs:     1825  v-elim:   1550  v-fix:    0  time: 12.20 s
125.21/31.50	c learnt bin added due to v-elim: 0
125.21/31.51	c vivif2 --  cl tried     6583 cl shrink        4 lits rem          4 time: 0.02
125.21/31.54	c vivif2 --  cl tried    17522 cl shrink      429 lits rem        434 time: 0.13
125.61/31.69	c asymm  cl-useful: 0/289/6583 lits-rem:0 time: 0.60
126.01/31.70	c calculated reachability. Time: 0.01
126.01/31.70	c  N dy   461     69886      1566      6583    264171     17522    730051    809045     45.01     11.28  --
126.01/31.70	c  F st   461     69886      1566      6583    264171     17522    730051    809045     45.01     11.28  --
127.60/32.10	c Decided on static restart strategy
129.20/32.52	c  N dy   484     74381      1566      6583    264181     11403    730051    545246    197.16     12.85  --
134.41/33.82	c  N dy   517     79169      1566      6583    264184     15915    730051   1533069    224.55     15.08  --
140.39/35.33	c  N dy   552     84275      1566      6583    264187     20786    730051   2318411    179.43     16.33  --
146.78/36.99	c  N dy   589     89750      1566      6583    264189     14565    730051   1070077    235.83     18.07  --
155.57/39.10	c  N dy   629     95554      1566      6583    264192     20021    730051   2138173    132.08     20.31  --
164.76/41.45	c  N dy   671    101715      1566      6583    264192     13583    730051    641964    129.94     20.86  --
167.55/42.18	c  S st   693    104830      1566      6583    264192     16509    730051   1089596    220.56     21.17  --
167.95/42.27	c  S st   693    105331      1566      6583    264193     17009    730051   1126036    220.56     21.17  --
167.95/42.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
167.95/42.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
183.14/46.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:   2171 BRemL:     36 BRemN:      0 CBin:       0 P: 60.0M T: 14.92
183.14/46.05	c Calc non-exist non-lernt bins v-fix:     0 done:   1566 time:  0.12 s
183.14/46.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
183.14/46.08	c Subs w/ non-existent bins:      0 time:  0.14 s
183.55/46.15	c bin-w-bin subsume rem            0 bins  time:  0.17 s
189.13/47.59	c subs with bin:        0  lits-rem:        10  v-fix:    0  time:  5.75 s
189.53/47.61	c Removed useless bin:       0  fixed:     0  bprops:   0.70M  time:  0.08 s
195.52/49.13	c ORs :     48 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.30
195.52/49.14	c lits-rem:      1153  cl-subs:     1484  v-elim:   1547  v-fix:    0  time:  6.13 s
195.52/49.14	c learnt bin added due to v-elim: 0
195.52/49.15	c vivif2 --  cl tried     6583 cl shrink        0 lits rem          0 time: 0.02
195.52/49.18	c vivif2 --  cl tried    15525 cl shrink      648 lits rem       1400 time: 0.14
196.32/49.40	c asymm  cl-useful: 0/252/6583 lits-rem:0 time: 0.86
196.73/49.40	c calculated reachability. Time: 0.00
196.73/49.40	c  N dy   693    105331      1566      6583    266328     15525    730051    878204    220.56     21.17  --
203.10/51.08	c  N dy   739    112111      1566      6583    266328     21959    730051   2018123    169.57     23.11  --
212.69/53.41	c  N dy   788    119368      1566      6583    266328     15576    730051    946186    211.95     25.45  --
223.50/56.19	c  N dy   839    127068      1566      6583    266328     22800    730051   2311555    193.24     28.31  --
235.46/59.16	c  N dy   893    135180      1566      6583    266328     16349    730051    869724    184.17     30.48  --
246.24/61.84	c  N dy   950    143850      1566      6583    266328     24562    730051   2202143    162.22     31.90  --
264.62/66.40	c  N dy  1010    153083      1566      6583    266328     18183    730051   1084315    154.93     33.90  --
271.43/68.20	c  S st  1042    157998      1566      6583    266328     22886    730051   1961473    257.16     34.87  --
272.21/68.30	c  S st  1042    158498      1566      6583    266328     23386    730051   1996540    257.16     34.87  --
272.21/68.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
272.21/68.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
291.39/73.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 19.34
291.39/73.18	c Calc non-exist non-lernt bins v-fix:     0 done:   1566 time:  0.12 s
291.39/73.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
291.79/73.23	c Subs w/ non-existent bins:      0 time:  0.19 s
292.18/73.31	c bin-w-bin subsume rem            0 bins  time:  0.18 s
298.20/74.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.02 s
298.20/74.84	c Removed useless bin:       0  fixed:     0  bprops:   0.70M  time:  0.08 s
310.56/77.91	c ORs :     48 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.40
310.56/77.93	c lits-rem:      2216  cl-subs:     2891  v-elim:   1547  v-fix:    0  time: 12.33 s
310.56/77.93	c learnt bin added due to v-elim: 0
310.56/77.93	c vivif2 --  cl tried     6583 cl shrink        0 lits rem          0 time: 0.02
310.56/77.97	c vivif2 --  cl tried    20495 cl shrink        0 lits rem          0 time: 0.15
311.75/78.25	c asymm  cl-useful: 0/287/6583 lits-rem:0 time: 1.10
311.75/78.25	c calculated reachability. Time: 0.01
311.75/78.25	c  N dy  1042    158498      1566      6583    266328     20495    730051   1409028    257.16     34.87  --
328.55/82.45	c  N dy  1109    168714      1632      6583    273944     31751    731453   3155014    171.16     35.64  --
342.51/85.91	c  N dy  1182    179517      1632      6583    273946     25108    731453   2212608    214.00     37.10  --
372.49/93.40	c  N dy  1259    191008      1632      6583    273946     18599    731453    896727    265.93     38.83  --
396.84/99.52	c  N dy  1340    203221      1632      6583    273947     30332    731453   3734646    283.22     41.28  --
426.80/107.01	c  N dy  1428    216328      1632      6583    277000     24989    732015   1838667    149.67     42.89  --
461.55/115.79	c  N dy  1520    230231      1632      6583    277000     38192    732015   4353416    226.39     44.55  --
472.34/118.46	c  S st  1571    237748      1632      6583    277000     26037    732015   1951975    139.04     45.03  --
472.74/118.57	c  S st  1571    238248      1632      6583    277000     26537    732015   1979478    139.04     45.03  --
472.74/118.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
472.74/118.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
495.11/124.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      8 BRemL:    210 BRemN:     25 CBin:       0 P: 60.0M T: 22.04
495.11/124.13	c Calc non-exist non-lernt bins v-fix:     0 done:   1632 time:  0.12 s
495.11/124.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
495.11/124.18	c Subs w/ non-existent bins:    864 time:  0.22 s
495.52/124.27	c bin-w-bin subsume rem          836 bins  time:  0.18 s
501.50/125.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.78 s
501.50/125.73	c Removed useless bin:     235  fixed:     0  bprops:   0.37M  time:  0.05 s
513.50/128.72	c ORs :     48 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 8 avg s: 3.0 T:    0.39
513.50/128.74	c lits-rem:      3038  cl-subs:     2295  v-elim:   1547  v-fix:    0  time: 12.04 s
513.50/128.74	c learnt bin added due to v-elim: 0
513.50/128.75	c vivif2 --  cl tried     6583 cl shrink        0 lits rem          0 time: 0.02
513.50/128.79	c vivif2 --  cl tried    23370 cl shrink       74 lits rem        117 time: 0.17
515.08/129.10	c asymm  cl-useful: 0/246/6583 lits-rem:0 time: 1.23
515.08/129.10	c calculated reachability. Time: 0.01
515.08/129.11	c  N dy  1571    238248      1632      6583    275713     23359    731495   1510518    139.04     45.03  --
544.64/136.57	c  N dy  1674    253527      1632      6583    275713     37981    731495   4605995    249.61     46.46  --
572.60/143.60	c  N dy  1783    269772      1700      6583    283566     35566    734673   3376055    139.07     47.68  --
602.17/150.95	c  N dy  1899    287061      1700      6583    283566     30244    734673   2232256    219.50     47.61  --
648.91/162.69	c  N dy  2022    305391      1700      6583    283566     25337    734673   1387760    191.30     47.98  --
704.83/176.60	c  N dy  2152    324961      1700      6583    285874     44987    735504   5225266    220.87     48.32  --
737.20/184.73	c  N dy  2287    345080      1700      6583    285874     40629    735504   3741086    168.84     48.54  --
763.97/191.45	c  S st  2371    357372      1700      6583    285892     28228    735504   1466930    260.43     48.89  --
764.35/191.56	c  S st  2371    357873      1700      6583    285892     28728    735504   1507037    260.43     48.89  --
764.35/191.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
764.35/191.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
781.55/195.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bin:      0 BRemL:    344 BRemN:   1464 CBin:       0 P: 60.0M T: 16.93
781.55/195.84	c Calc non-exist non-lernt bins v-fix:     0 done:   1700 time:  0.13 s
781.55/195.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
781.92/195.90	c Subs w/ non-existent bins:   1888 time:  0.24 s
781.92/195.91	c Replacing        4 vars Replaced       56 lits Time:     0.04 s 
781.92/195.99	c bin-w-bin subsume rem         1798 bins  time:  0.19 s
788.32/197.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.41 s
788.72/197.61	c Removed useless bin:     545  fixed:     0  bprops:   0.35M  time:  0.06 s
796.71/199.66	c ORs :     48 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 3 avg s: 3.0 T:    0.35
796.71/199.68	c lits-rem:      1575  cl-subs:     1735  v-elim:   1547  v-fix:    0  time:  8.28 s
796.71/199.68	c learnt bin added due to v-elim: 0
796.71/199.69	c vivif2 --  cl tried     6583 cl shrink        0 lits rem          0 time: 0.02
797.11/199.73	c vivif2 --  cl tried    25102 cl shrink       17 lits rem         27 time: 0.16
797.91/199.96	c asymm  cl-useful: 0/334/6583 lits-rem:0 time: 0.94
797.91/199.97	c calculated reachability. Time: 0.01
797.91/199.97	c  N dy  2371    357873      1696      6583    281748     25087    731470   1204953    260.43     48.89  --
838.67/210.12	c  N dy  2503    377954      1760      6583    289760     46578    733704   4761761    238.54     48.76  --
876.19/219.56	c  N dy  2636    398082      1760      6583    289767     40653    733704   3285607    224.16     48.62  --
921.34/230.86	c  N dy  2767    418120      1760      6583    289767     33855    733704   1949988    202.09     48.70  --
965.70/242.00	c  N dy  2899    438249      1760      6583    291266     53071    733704   5043386    176.01     48.48  --
1000.43/250.65	c  N dy  3033    458329      1760      6583    291283     45406    733704   3775272    165.23     48.27  --
1047.57/262.43	c  N dy  3164    478381      1760      6583    291283     36858    733704   2333890    145.10     48.45  --
1106.70/277.26	c  N dy  3296    498445      1760      6583    291283     56021    733704   5912348    182.61     48.54  --
1140.64/285.74	c  N dy  3429    518571      1760      6583    291283     46557    733704   3915081    290.98     48.31  --
1189.38/297.92	c  S st  3549    536809      1760      6583    291283     34304    733704   1800635    186.19     48.25  --
1189.79/298.05	c  S st  3549    537310      1760      6583    291283     34804    733704   1834143    186.19     48.25  --
1189.79/298.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1189.79/298.06	c Cache  BProp: 0 Set: 0 BXProp: 2 T: 0.00
1208.95/302.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:      0 BRemL:    465 BRemN:   3179 CBin:       0 P: 60.0M T: 18.99
1208.95/302.84	c Calc non-exist non-lernt bins v-fix:     0 done:   1760 time:  0.14 s
1208.95/302.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1209.35/302.91	c Subs w/ non-existent bins:    983 time:  0.28 s
1209.35/302.93	c Replacing        5 vars Replaced       79 lits Time:     0.05 s 
1209.75/303.01	c bin-w-bin subsume rem          852 bins  time:  0.19 s
1215.34/304.49	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  5.89 s
1215.74/304.50	c Removed useless bin:     177  fixed:     0  bprops:   0.34M  time:  0.06 s
1225.35/306.99	c ORs :     48 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 3.0 T:    0.36
1235.71/309.53	c Added 18 vars  tried: 80000 time: 10.13
1235.71/309.59	c ORs :     18 avg-s:  0.0 cl-sh: 12978 l-rem:  12978 b-add:     40 v-rep:   2 cl-rem: 15 avg s: 3.0 T:   10.38
1236.11/309.61	c lits-rem:       520  cl-subs:     2180  v-elim:   1547  v-fix:    0  time: 20.40 s
1236.11/309.61	c learnt bin added due to v-elim: 0
1236.11/309.61	c vivif2 --  cl tried     6601 cl shrink        0 lits rem          0 time: 0.02
1236.11/309.66	c vivif2 --  cl tried    31623 cl shrink       17 lits rem         52 time: 0.20
1236.91/309.90	c asymm  cl-useful: 0/152/6601 lits-rem:0 time: 0.93
1237.31/309.90	c calculated reachability. Time: 0.00
1237.31/309.90	c  N dy  3549    537310      1773      6601    286654     31609    726301   1481602    186.19     48.25  --
1237.31/309.90	c  F st  3549    537310      1773      6601    286654     31609    726301   1481602    186.19     48.25  --
1237.31/309.92	c Replacing        2 vars Replaced       18 lits Time:     0.05 s 
1239.30/310.45	c Decided on static restart strategy
1266.07/317.18	c  N dy  3674    557326      1771      6601    286685     50705    726293   5297972    171.93     47.63  --
1302.42/326.24	c  N dy  3808    577429      1771      6601    286758     39843    726293   2611074    162.49     47.15  --
1337.58/335.08	c Finding binary XORs  T:     0.03 s  found:       0
1345.96/337.14	c  N dy  3941    597444      1771      6601    286794     58974    726293   5979760    158.75     46.66  --
1382.71/346.39	c  N dy  4075    617470      1771      6601    286847     47005    726293   3248735    121.07     46.00  --
1425.06/356.97	c  N dy  4208    637485      1771      6601    289233     33808    726293   1340786    110.91     45.46  --
1455.82/364.69	c  N dy  4340    657534      1808      6601    292192     53186    726445   4615377    222.70     45.17  --
1499.36/375.57	c  N dy  4476    677667      1808      6601    292202     38873    726445   2488898    249.61     45.16  --
1546.50/387.30	c  N dy  4611    697822      1808      6601    292202     58141    726445   6633371    140.54     45.02  --
1595.23/399.51	c  N dy  4744    717927      1808      6601    292453     43166    726445   2480703    113.21     44.62  --
1630.38/408.35	c  N dy  4878    737946      1848      6601    295166     62445    726608   6078126    187.88     44.43  --
1669.53/418.12	c  N dy  5009    758038      1848      6601    295167     46321    726608   2708709    137.49     44.10  --
1725.45/432.18	c  N dy  5136    778049      1848      6601    295659     65758    726608   5885907    165.42     43.71  --
1771.79/443.76	c  N dy  5269    798128      1848      6601    295659     48365    726608   3494945    188.40     43.46  --
1787.39/447.62	c  S st  5322    805967      1851      6601    296348     55916    726630   4826881    163.22     43.37  --
1788.17/447.89	c  S st  5322    806469      1851      6601    296348     56418    726630   4856911    163.22     43.37  --
1788.57/447.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1788.57/447.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1814.93/454.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:     55 BRemL:   2950 BRemN:   1486 CBin:       0 P: 60.0M T: 26.65
1815.33/454.61	c Calc non-exist non-lernt bins v-fix:     0 done:   1851 time:  0.14 s
1815.33/454.61	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
1815.73/454.72	c Subs w/ non-existent bins:      0 time:  0.45 s
1816.13/454.88	c Replacing        4 vars Replaced    16373 lits Time:     0.62 s 
1816.93/455.03	c bin-w-bin subsume rem          259 bins  time:  0.20 s
1822.55/456.44	c subs with bin:        0  lits-rem:        19  v-fix:    0  time:  5.66 s
1822.55/456.46	c Removed useless bin:       1  fixed:     0  bprops:   0.33M  time:  0.05 s
1911.20/478.65	c ORs :     91 avg-s:  2.0 cl-sh:   198 l-rem:    198 b-add:      0 v-rep:   0 cl-rem: 3 avg s: 3.0 T:    0.74
1934.37/484.41	c Added 19 vars  tried: 80000 time: 23.02
1935.57/484.70	c ORs :     19 avg-s:  0.0 cl-sh: 29601 l-rem:  29601 b-add:     38 v-rep:   0 cl-rem: 21 avg s: 3.0 T:   24.16
1935.57/484.74	c lits-rem:       486  cl-subs:     8494  v-elim:   2552  v-fix:    0  time: 112.96 s
1935.57/484.74	c learnt bin added due to v-elim: 0
1935.57/484.74	c vivif2 --  cl tried     7353 cl shrink      272 lits rem        272 time: 0.03
1935.97/484.84	c vivif2 --  cl tried    47910 cl shrink     1105 lits rem       3535 time: 0.37
1937.19/485.16	c asymm  cl-useful: 0/83/7081 lits-rem:0 time: 1.29
1937.19/485.17	c calculated reachability. Time: 0.01
1937.19/485.17	c  N dy  5322    806469      1864      7081    291226     47910    723463   3330215    163.22     43.37  --
2001.88/501.35	c  N dy  5453    826522      1864      7081    291244     67149    723465   8759023    279.74     42.89  --
2050.62/513.59	c  N dy  5586    846634      1864      7081    291244     49016    723465   4047524    246.92     42.77  --
2102.95/526.60	c  N dy  5719    866726      1864      7081    293672     68245    723465   8041340    138.51     42.62  --
2142.90/536.69	c  N dy  5853    886819      1864      7081    293672     49200    723465   4056785    235.03     42.37  --
2194.42/549.58	c  N dy  5986    906973      1864      7081    293888     68465    723465   7494375    186.03     42.31  --
2249.95/563.49	c  N dy  6120    927092      1876      7081    294124     48518    723513   3523752    318.69     42.34  --
2303.48/576.86	c  N dy  6254    947216      1876      7081    294124     67805    723513   8565147    271.52     42.08  --
2388.16/598.08	c  N dy  6387    967302      1878      7081    294142     46754    723521   3178121    278.32     41.89  --
2467.66/617.99	c  N dy  6519    987379      1878      7081    294143     66053    723521   6974631    187.64     41.57  --
2522.78/631.79	c  N dy  6651   1007395      1878      7081    294306     44069    723521   2142525    214.63     41.42  --
2583.12/646.85	c  N dy  6783   1027526      1885      7081    294480     63453    723549   7201397    257.14     41.30  --
2678.17/670.62	c  N dy  6914   1047633      1885      7081    294480     82903    723549  11766601    249.43     41.13  --
2747.67/688.09	c  N dy  7045   1067760      1885      7081    294503     60061    723549   5348534    214.78     40.90  --
2844.74/712.37	c  N dy  7175   1087823      1885      7081    294503     79448    723549  11332969    337.74     40.73  --
2952.60/739.37	c  N dy  7306   1107975      1885      7081    294503     55476    723549   4759630    224.26     40.59  --
3012.92/754.47	c  N dy  7438   1128029      1885      7081    294503     74742    723549   9432444    261.22     40.33  --
3071.64/769.13	c  N dy  7572   1148092      1885      7081    294503     49699    723549   2938876    200.99     40.21  --
3119.58/781.13	c  N dy  7706   1168201      1885      7081    294503     69066    723549   6654556    207.53     40.04  --
3199.47/801.11	c  N dy  7838   1188208      1885      7081    294503     88290    723549  10448877    210.03     39.89  --
3251.02/814.01	c  N dy  7971   1208237      1885      7081    294503     62255    723549   5101954    163.70     39.82  --
3257.78/815.76	c  S st  7981   1209703      1885      7081    294503     63650    723549   5348305    178.27     39.82  --
3259.40/816.14	c  S st  7981   1210203      1885      7081    294503     64146    723549   5384060    178.27     39.82  --
3259.40/816.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
3259.40/816.15	c Cache  BProp: 0 Set: 0 BXProp: 2 T: 0.00
3282.55/821.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:   1711 BRemN:    255 CBin:       0 P: 60.1M T: 23.17
3282.55/821.99	c Calc non-exist non-lernt bins v-fix:     0 done:   1885 time:  0.14 s
3282.55/821.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3283.35/822.12	c Subs w/ non-existent bins:      0 time:  0.50 s
3283.75/822.21	c Replacing        2 vars Replaced     6504 lits Time:     0.38 s 
3284.15/822.36	c bin-w-bin subsume rem          260 bins  time:  0.20 s
3291.75/824.27	c subs with bin:        0  lits-rem:         4  v-fix:    0  time:  7.61 s
3291.75/824.28	c Removed useless bin:       0  fixed:     0  bprops:   0.32M  time:  0.05 s
3412.78/854.54	c ORs :    140 avg-s:  2.0 cl-sh:     6 l-rem:      6 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    1.22
3434.75/860.01	c Added 20 vars  tried: 80000 time: 21.82
3435.94/860.37	c ORs :     20 avg-s:  0.0 cl-sh: 32669 l-rem:  32669 b-add:     40 v-rep:   0 cl-rem: 13 avg s: 3.0 T:   23.28
3436.34/860.42	c lits-rem:      1326  cl-subs:     6457  v-elim:   1536  v-fix:    0  time: 144.35 s
3436.34/860.42	c learnt bin added due to v-elim: 0
3436.34/860.43	c vivif2 --  cl tried     7100 cl shrink        4 lits rem          4 time: 0.02
3436.74/860.55	c vivif2 --  cl tried    57677 cl shrink     1712 lits rem       4718 time: 0.50
3438.34/860.93	c asymm  cl-useful: 0/80/7096 lits-rem:0 time: 1.52
3438.34/860.94	c calculated reachability. Time: 0.01
3438.34/860.94	c  N dy  7981   1210203      1903      7096    292316     57677    722525   4057157    178.27     39.82  --
3498.27/875.92	c  N dy  8112   1230328      1903      7096    292317     76985    722524   8723835    258.93     39.49  --
3579.76/896.32	c  N dy  8240   1250426      1903      7096    292318     50344    722524   3529338    234.05     39.25  --
3624.11/907.47	c  N dy  8371   1270516      1906      7096    294556     69883    722540   7462857    241.30     39.18  --
3673.63/919.87	c  N dy  8503   1290639      1906      7096    294556     89475    722540  12646449    235.09     39.09  --
3736.74/935.61	c  N dy  8635   1310650      1906      7096    294556     61507    722540   5768569    189.40     38.97  --
3781.88/946.98	c  N dy  8769   1330739      1906      7096    294578     81072    722540   9390248    205.91     38.90  --
3833.01/959.71	c  N dy  8903   1350880      1926      7096    294622     52194    722628   3164706    238.33     38.71  --
3893.33/974.82	c  N dy  9036   1371015      1926      7096    294622     71790    722627   7873922    219.99     38.53  --
3950.86/989.24	c  N dy  9167   1391078      1926      7096    295032     91255    722627  12407601    208.86     38.34  --
3992.00/999.57	c  N dy  9300   1411101      1926      7096    295032     61139    722627   4508477    195.14     38.26  --
4043.13/1012.39	c  N dy  9433   1431215      1926      7096    295047     80678    722627   9379241    262.01     38.13  --
4118.22/1031.15	c  N dy  9565   1451326      1926      7096    295047    100128    722627  14060633    289.50     38.17  --
4162.97/1042.35	c  N dy  9697   1471365      1926      7096    295047     69106    722627   6885381    254.43     38.06  --
4218.50/1056.24	c  N dy  9829   1491510      1926      7096    295047     88663    722627  10943436    193.42     37.96  --
4262.83/1067.31	c  N dy  9963   1511556      1926      7096    295047     56795    722627   3749503    230.87     37.87  --
4310.77/1079.38	c  N dy 10095   1531596      1926      7096    295047     76231    722627   8351488    165.48     37.69  --
4398.65/1101.31	c  N dy 10224   1551663      1926      7096    295047     95773    722627  12894947    265.18     37.55  --
4439.40/1111.52	c  N dy 10359   1571718      1926      7096    295047     62812    722627   4426410    156.20     37.52  --
4486.53/1123.34	c  N dy 10493   1591795      1926      7096    295047     82195    722627   8210986    231.86     37.58  --
4554.44/1140.34	c  N dy 10625   1611898      1926      7096    295047    101702    722627  13176871    299.57     37.49  --
4604.39/1152.89	c  N dy 10755   1632024      1926      7096    295047     67990    722627   5995923    261.36     37.38  --
4649.51/1164.12	c  N dy 10888   1652083      1926      7096    295047     87359    722627  10214719    283.93     37.29  --
4723.04/1182.59	c  N dy 11020   1672229      1926      7096    295047    106943    722627  14583807    239.31     37.27  --
4758.56/1191.41	c  N dy 11152   1692315      1926      7096    295047     72146    722627   6302189    228.82     37.18  --

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-3251503-1304183831/watcher-3251503-1304183831 -o /tmp/evaluation-result-3251503-1304183831/solver-3251503-1304183831 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3251503-1304183831.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.48 4.19 5.64 5/180 6551
/proc/meminfo: memFree=24783612/32950940 swapFree=67111364/67111528
[pid=6551] ppid=6549 vsize=52260 CPUtime=0 cores=1,3,5,7
/proc/6551/stat : 6551 (techdemo) R 6549 6551 5713 0 -1 4202496 1318 0 0 0 0 0 0 0 22 0 1 0 608613919 53514240 1254 33554432000 4194304 4797429 140734140278704 18446744073709551615 215988251033 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6551/statm: 13065 1254 348 148 0 7994 0

[startup+0.0919209 s]
/proc/loadavg: 3.48 4.19 5.64 5/180 6551
/proc/meminfo: memFree=24783612/32950940 swapFree=67111364/67111528
[pid=6551] ppid=6549 vsize=62028 CPUtime=0.08 cores=1,3,5,7
/proc/6551/stat : 6551 (techdemo) R 6549 6551 5713 0 -1 4202496 3768 0 0 0 8 0 0 0 22 0 1 0 608613919 63516672 3704 33554432000 4194304 4797429 140734140278704 18446744073709551615 215988253381 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6551/statm: 15507 3706 348 148 0 10436 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 62028

[startup+0.100914 s]
/proc/loadavg: 3.48 4.19 5.64 5/180 6551
/proc/meminfo: memFree=24783612/32950940 swapFree=67111364/67111528
[pid=6551] ppid=6549 vsize=63084 CPUtime=0.09 cores=1,3,5,7
/proc/6551/stat : 6551 (techdemo) R 6549 6551 5713 0 -1 4202496 4041 0 0 0 9 0 0 0 22 0 1 0 608613919 64598016 3977 33554432000 4194304 4797429 140734140278704 18446744073709551615 215988253381 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6551/statm: 15804 3979 348 148 0 10733 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 63084

[startup+0.300888 s]
/proc/loadavg: 3.48 4.19 5.64 5/180 6551
/proc/meminfo: memFree=24783612/32950940 swapFree=67111364/67111528
[pid=6551] ppid=6549 vsize=698500 CPUtime=0.59 cores=1,3,5,7
/proc/6551/stat : 6551 (techdemo) R 6549 6551 5713 0 -1 4202496 10053 0 0 0 57 2 0 0 24 0 4 0 608613919 715264000 9962 33554432000 4194304 4797429 140734140278704 18446744073709551615 4255920 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6551/statm: 174625 9962 381 148 0 169554 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 698500

[startup+0.700815 s]
/proc/loadavg: 3.48 4.19 5.64 5/180 6551
/proc/meminfo: memFree=24783612/32950940 swapFree=67111364/67111528
[pid=6551] ppid=6549 vsize=700248 CPUtime=2.18 cores=1,3,5,7
/proc/6551/stat : 6551 (techdemo) R 6549 6551 5713 0 -1 4202496 14117 0 0 0 216 2 0 0 25 0 4 0 608613919 717053952 13998 33554432000 4194304 4797429 140734140278704 18446744073709551615 4426003 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6551/statm: 175062 13998 409 148 0 169991 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 700248

[startup+1.50067 s]
/proc/loadavg: 3.48 4.19 5.64 9/184 6555
/proc/meminfo: memFree=24713148/32950940 swapFree=67111364/67111528
[pid=6551] ppid=6549 vsize=707288 CPUtime=5.38 cores=1,3,5,7
/proc/6551/stat : 6551 (techdemo) R 6549 6551 5713 0 -1 4202496 17226 0 0 0 535 3 0 0 25 0 4 0 608613919 724262912 15115 33554432000 4194304 4797429 140734140278704 18446744073709551615 4425019 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6551/statm: 176822 15115 411 148 0 171751 0
[pid=6551/tid=6553] ppid=6549 vsize=707288 CPUtime=1.28 cores=1,3,5,7
/proc/6551/task/6553/stat : 6553 (techdemo) R 6549 6551 5713 0 -1 4202560 2731 0 0 0 128 0 0 0 25 0 4 0 608613940 724262912 15115 33554432000 4194304 4797429 140734140278704 18446744073709551615 4425045 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6551/tid=6554] ppid=6549 vsize=707288 CPUtime=1.29 cores=1,3,5,7
/proc/6551/task/6554/stat : 6554 (techdemo) R 6549 6551 5713 0 -1 4202560 2232 0 0 0 129 0 0 0 25 0 4 0 608613940 724262912 15115 33554432000 4194304 4797429 140734140278704 18446744073709551615 4424994 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6551/tid=6555] ppid=6549 vsize=707288 CPUtime=1.29 cores=1,3,5,7
/proc/6551/task/6555/stat : 6555 (techdemo) R 6549 6551 5713 0 -1 4202560 2314 0 0 0 129 0 0 0 19 0 4 0 608613940 724262912 15115 33554432000 4194304 4797429 140734140278704 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.38
Current children cumulated vsize (KiB) 707288

[startup+3.10039 s]
/proc/loadavg: 3.48 4.19 5.64 9/184 6555
/proc/meminfo: memFree=24694924/32950940 swapFree=67111364/67111528
[pid=6551] ppid=6549 vsize=711864 CPUtime=11.77 cores=1,3,5,7
/proc/6551/stat : 6551 (techdemo) R 6549 6551 5713 0 -1 4202496 20793 0 0 0 1173 4 0 0 25 0 4 0 608613919 728948736 17249 33554432000 4194304 4797429 140734140278704 18446744073709551615 4424987 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6551/statm: 177966 17249 415 148 0 172895 0
[pid=6551/tid=6553] ppid=6549 vsize=711864 CPUtime=2.88 cores=1,3,5,7
/proc/6551/task/6553/stat : 6553 (techdemo) R 6549 6551 5713 0 -1 4202560 3408 0 0 0 287 1 0 0 25 0 4 0 608613940 728948736 17249 33554432000 4194304 4797429 140734140278704 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6551/tid=6554] ppid=6549 vsize=711864 CPUtime=2.89 cores=1,3,5,7
/proc/6551/task/6554/stat : 6554 (techdemo) R 6549 6551 5713 0 -1 4202560 2895 0 0 0 289 0 0 0 25 0 4 0 608613940 728948736 17249 33554432000 4194304 4797429 140734140278704 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6551/tid=6555] ppid=6549 vsize=711864 CPUtime=2.89 cores=1,3,5,7
/proc/6551/task/6555/stat : 6555 (techdemo) R 6549 6551 5713 0 -1 4202560 3489 0 0 0 289 0 0 0 23 0 4 0 608613940 728948736 17249 33554432000 4194304 4797429 140734140278704 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11.77
Current children cumulated vsize (KiB) 711864

[startup+6.30083 s]
/proc/loadavg: 3.84 4.25 5.65 10/184 6555
/proc/meminfo: memFree=24672860/32950940 swapFree=67111364/67111528
[pid=6551] ppid=6549 vsize=715780 CPUtime=24.56 cores=1,3,5,7
/proc/6551/stat : 6551 (techdemo) R 6549 6551 5713 0 -1 4202496 25064 0 0 0 2451 5 0 0 25 0 4 0 608613919 732958720 19914 33554432000 4194304 4797429 140734140278704 18446744073709551615 4428910 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6551/statm: 178945 19914 415 148 0 173874 0
[pid=6551/tid=6553] ppid=6549 vsize=715780 CPUtime=6.06 cores=1,3,5,7
/proc/6551/task/6553/stat : 6553 (techdemo) R 6549 6551 5713 0 -1 4202560 4145 0 0 0 605 1 0 0 25 0 4 0 608613940 732958720 19914 33554432000 4194304 4797429 140734140278704 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6551/tid=6554] ppid=6549 vsize=715780 CPUtime=6.09 cores=1,3,5,7
/proc/6551/task/6554/stat : 6554 (techdemo) R 6549 6551 5713 0 -1 4202560 3680 0 0 0 609 0 0 0 25 0 4 0 608613940 732958720 19914 33554432000 4194304 4797429 140734140278704 18446744073709551615 4524502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6551/tid=6555] ppid=6549 vsize=715780 CPUtime=6.08 cores=1,3,5,7
/proc/6551/task/6555/stat : 6555 (techdemo) R 6549 6551 5713 0 -1 4202560 4270 0 0 0 608 0 0 0 25 0 4 0 608613940 732958720 19914 33554432000 4194304 4797429 140734140278704 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.56
Current children cumulated vsize (KiB) 715780

[startup+12.7007 s]
/proc/loadavg: 4.18 4.31 5.66 9/184 6555
/proc/meminfo: memFree=24654808/32950940 swapFree=67111364/67111528
[pid=6551] ppid=6549 vsize=716888 CPUtime=50.11 cores=1,3,5,7
/proc/6551/stat : 6551 (techdemo) R 6549 6551 5713 0 -1 4202496 28651 0 0 0 5006 5 0 0 25 0 4 0 608613919 734093312 22227 33554432000 4194304 4797429 140734140278704 18446744073709551615 4377384 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6551/statm: 179222 22227 416 148 0 174151 0
[pid=6551/tid=6553] ppid=6549 vsize=716888 CPUtime=12.42 cores=1,3,5,7
/proc/6551/task/6553/stat : 6553 (techdemo) R 6549 6551 5713 0 -1 4202560 4645 0 0 0 1241 1 0 0 25 0 4 0 608613940 734093312 22227 33554432000 4194304 4797429 140734140278704 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6551/tid=6554] ppid=6549 vsize=716888 CPUtime=12.48 cores=1,3,5,7
/proc/6551/task/6554/stat : 6554 (techdemo) R 6549 6551 5713 0 -1 4202560 4162 0 0 0 1248 0 0 0 25 0 4 0 608613940 734093312 22227 33554432000 4194304 4797429 140734140278704 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6551/tid=6555] ppid=6549 vsize=716888 CPUtime=12.48 cores=1,3,5,7
/proc/6551/task/6555/stat : 6555 (techdemo) R 6549 6551 5713 0 -1 4202560 4791 0 0 0 1248 0 0 0 25 0 4 0 608613940 734093312 22227 33554432000 4194304 4797429 140734140278704 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.11
Current children cumulated vsize (KiB) 716888

[startup+25.5005 s]
/proc/loadavg: 5.02 4.49 5.70 10/184 6555
/proc/meminfo: memFree=24641476/32950940 swapFree=67111364/67111528
[pid=6551] ppid=6549 vsize=718272 CPUtime=101.24 cores=1,3,5,7
/proc/6551/stat : 6551 (techdemo) R 6549 6551 5713 0 -1 4202496 35702 0 0 0 10117 7 0 0 25 0 4 0 608613919 735510528 23522 33554432000 4194304 4797429 140734140278704 18446744073709551615 4429118 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6551/statm: 179568 23522 418 148 0 174497 0
[pid=6551/tid=6553] ppid=6549 vsize=718272 CPUtime=25.15 cores=1,3,5,7
/proc/6551/task/6553/stat : 6553 (techdemo) R 6549 6551 5713 0 -1 4202560 5547 0 0 0 2514 1 0 0 25 0 4 0 608613940 735510528 23522 33554432000 4194304 4797429 140734140278704 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6551/tid=6554] ppid=6549 vsize=718272 CPUtime=25.28 cores=1,3,5,7
/proc/6551/task/6554/stat : 6554 (techdemo) R 6549 6551 5713 0 -1 4202560 4958 0 0 0 2528 0 0 0 25 0 4 0 608613940 735510528 23522 33554432000 4194304 4797429 140734140278704 18446744073709551615 4428396 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6551/tid=6555] ppid=6549 vsize=718272 CPUtime=25.29 cores=1,3,5,7
/proc/6551/task/6555/stat : 6555 (techdemo) R 6549 6551 5713 0 -1 4202560 5713 0 0 0 2528 1 0 0 25 0 4 0 608613940 735510528 23522 33554432000 4194304 4797429 140734140278704 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.24
Current children cumulated vsize (KiB) 718272

[startup+51.101 s]
/proc/loadavg: 6.11 4.79 5.76 10/184 6556
/proc/meminfo: memFree=24614104/32950940 swapFree=67111364/67111528
[pid=6551] ppid=6549 vsize=724424 CPUtime=203.51 cores=1,3,5,7
/proc/6551/stat : 6551 (techdemo) R 6549 6551 5713 0 -1 4202496 52093 0 0 0 20338 13 0 0 25 0 4 0 608613919 741810176 28638 33554432000 4194304 4797429 140734140278704 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6551/statm: 181106 28638 419 148 0 176035 0
[pid=6551/tid=6553] ppid=6549 vsize=724424 CPUtime=50.62 cores=1,3,5,7
/proc/6551/task/6553/stat : 6553 (techdemo) R 6549 6551 5713 0 -1 4202560 7284 0 0 0 5060 2 0 0 25 0 4 0 608613940 741810176 28638 33554432000 4194304 4797429 140734140278704 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6551/tid=6554] ppid=6549 vsize=724424 CPUtime=50.88 cores=1,3,5,7
/proc/6551/task/6554/stat : 6554 (techdemo) R 6549 6551 5713 0 -1 4202560 6765 0 0 0 5087 1 0 0 25 0 4 0 608613940 741810176 28638 33554432000 4194304 4797429 140734140278704 18446744073709551615 4428971 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6551/tid=6555] ppid=6549 vsize=724424 CPUtime=50.89 cores=1,3,5,7
/proc/6551/task/6555/stat : 6555 (techdemo) R 6549 6551 5713 0 -1 4202560 7725 0 0 0 5087 2 0 0 25 0 4 0 608613940 741810176 28638 33554432000 4194304 4797429 140734140278704 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.51
Current children cumulated vsize (KiB) 724424

[startup+102.307 s]
/proc/loadavg: 7.25 5.30 5.88 9/184 6557
/proc/meminfo: memFree=24570412/32950940 swapFree=67111364/67111528
[pid=6551] ppid=6549 vsize=730608 CPUtime=408.05 cores=1,3,5,7
/proc/6551/stat : 6551 (techdemo) R 6549 6551 5713 0 -1 4202496 82534 0 0 0 40783 22 0 0 25 0 4 0 608613919 748142592 36137 33554432000 4194304 4797429 140734140278704 18446744073709551615 4351656 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6551/statm: 182652 36137 419 148 0 177581 0
[pid=6551/tid=6553] ppid=6549 vsize=730608 CPUtime=101.54 cores=1,3,5,7
/proc/6551/task/6553/stat : 6553 (techdemo) R 6549 6551 5713 0 -1 4202560 9467 0 0 0 10152 2 0 0 25 0 4 0 608613940 748142592 36137 33554432000 4194304 4797429 140734140278704 18446744073709551615 4429121 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6551/tid=6554] ppid=6549 vsize=730608 CPUtime=102.08 cores=1,3,5,7
/proc/6551/task/6554/stat : 6554 (techdemo) R 6549 6551 5713 0 -1 4202560 8701 0 0 0 10207 1 0 0 25 0 4 0 608613940 748142592 36137 33554432000 4194304 4797429 140734140278704 18446744073709551615 4520411 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6551/tid=6555] ppid=6549 vsize=730608 CPUtime=102.09 cores=1,3,5,7
/proc/6551/task/6555/stat : 6555 (techdemo) R 6549 6551 5713 0 -1 4202560 9820 0 0 0 10207 2 0 0 25 0 4 0 608613940 748142592 36137 33554432000 4194304 4797429 140734140278704 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.05
Current children cumulated vsize (KiB) 730608

[startup+162.301 s]
/proc/loadavg: 7.90 5.83 6.03 10/184 6559
/proc/meminfo: memFree=24540612/32950940 swapFree=67111364/67111528
[pid=6551] ppid=6549 vsize=736940 CPUtime=647.71 cores=1,3,5,7
/proc/6551/stat : 6551 (techdemo) R 6549 6551 5713 0 -1 4202496 114083 0 0 0 64739 32 0 0 25 0 4 0 608613919 754626560 36824 33554432000 4194304 4797429 140734140278704 18446744073709551615 4424603 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6551/statm: 184235 36824 421 148 0 179164 0
[pid=6551/tid=6553] ppid=6549 vsize=736940 CPUtime=161.21 cores=1,3,5,7
/proc/6551/task/6553/stat : 6553 (techdemo) R 6549 6551 5713 0 -1 4202560 11657 0 0 0 16119 2 0 0 25 0 4 0 608613940 754626560 36824 33554432000 4194304 4797429 140734140278704 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6551/tid=6554] ppid=6549 vsize=736940 CPUtime=162.08 cores=1,3,5,7
/proc/6551/task/6554/stat : 6554 (techdemo) R 6549 6551 5713 0 -1 4202560 11134 0 0 0 16206 2 0 0 25 0 4 0 608613940 754626560 36824 33554432000 4194304 4797429 140734140278704 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6551/tid=6555] ppid=6549 vsize=736940 CPUtime=162.09 cores=1,3,5,7
/proc/6551/task/6555/stat : 6555 (techdemo) R 6549 6551 5713 0 -1 4202560 12193 0 0 0 16206 3 0 0 25 0 4 0 608613940 754626560 36824 33554432000 4194304 4797429 140734140278704 18446744073709551615 4415357 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 647.71
Current children cumulated vsize (KiB) 736940

[startup+222.301 s]
/proc/loadavg: 8.10 6.26 6.16 9/184 6560
/proc/meminfo: memFree=24532028/32950940 swapFree=67111364/67111528
[pid=6551] ppid=6549 vsize=740152 CPUtime=887.38 cores=1,3,5,7
/proc/6551/stat : 6551 (techdemo) R 6549 6551 5713 0 -1 4202496 141347 0 0 0 88697 41 0 0 25 0 4 0 608613919 757915648 41972 33554432000 4194304 4797429 140734140278704 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6551/statm: 185038 41972 421 148 0 179967 0
[pid=6551/tid=6553] ppid=6549 vsize=740152 CPUtime=220.88 cores=1,3,5,7
/proc/6551/task/6553/stat : 6553 (techdemo) R 6549 6551 5713 0 -1 4202560 13865 0 0 0 22085 3 0 0 25 0 4 0 608613940 757915648 41972 33554432000 4194304 4797429 140734140278704 18446744073709551615 4386867 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6551/tid=6554] ppid=6549 vsize=740152 CPUtime=222.09 cores=1,3,5,7
/proc/6551/task/6554/stat : 6554 (techdemo) R 6549 6551 5713 0 -1 4202560 13372 0 0 0 22206 3 0 0 25 0 4 0 608613940 757915648 41972 33554432000 4194304 4797429 140734140278704 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6551/tid=6555] ppid=6549 vsize=740152 CPUtime=222.1 cores=1,3,5,7
/proc/6551/task/6555/stat : 6555 (techdemo) R 6549 6551 5713 0 -1 4202560 14527 0 0 0 22206 4 0 0 25 0 4 0 608613940 757915648 41972 33554432000 4194304 4797429 140734140278704 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 887.38
Current children cumulated vsize (KiB) 740152

[startup+282.301 s]

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

[pid=6551] ppid=6549 vsize=824612 CPUtime=2565.14 cores=1,3,5,7
/proc/6551/stat : 6551 (techdemo) R 6549 6551 5713 0 -1 4202496 325735 0 0 0 256403 111 0 0 25 0 4 0 608613919 844402688 59609 33554432000 4194304 4797429 140734140278704 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6551/statm: 206153 59609 421 148 0 201082 0
[pid=6551/tid=6553] ppid=6549 vsize=824612 CPUtime=638.6 cores=1,3,5,7
/proc/6551/task/6553/stat : 6553 (techdemo) R 6549 6551 5713 0 -1 4202560 26604 0 0 0 63852 8 0 0 25 0 4 0 608613940 844402688 59609 33554432000 4194304 4797429 140734140278704 18446744073709551615 4523861 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6551/tid=6554] ppid=6549 vsize=824612 CPUtime=642.1 cores=1,3,5,7
/proc/6551/task/6554/stat : 6554 (techdemo) R 6549 6551 5713 0 -1 4202560 25633 0 0 0 64203 7 0 0 25 0 4 0 608613940 844402688 59609 33554432000 4194304 4797429 140734140278704 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6551/tid=6555] ppid=6549 vsize=824612 CPUtime=642.11 cores=1,3,5,7
/proc/6551/task/6555/stat : 6555 (techdemo) R 6549 6551 5713 0 -1 4202560 26243 0 0 0 64202 9 0 0 25 0 4 0 608613940 844402688 59609 33554432000 4194304 4797429 140734140278704 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.14
Current children cumulated vsize (KiB) 824612

[startup+702.301 s]
/proc/loadavg: 8.12 7.73 6.93 10/184 6573
/proc/meminfo: memFree=24374756/32950940 swapFree=67111364/67111528
[pid=6551] ppid=6549 vsize=826188 CPUtime=2804.8 cores=1,3,5,7
/proc/6551/stat : 6551 (techdemo) R 6549 6551 5713 0 -1 4202496 347462 0 0 0 280359 121 0 0 25 0 4 0 608613919 846016512 64466 33554432000 4194304 4797429 140734140278704 18446744073709551615 4425057 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6551/statm: 206547 64466 421 148 0 201476 0
[pid=6551/tid=6553] ppid=6549 vsize=826188 CPUtime=698.27 cores=1,3,5,7
/proc/6551/task/6553/stat : 6553 (techdemo) R 6549 6551 5713 0 -1 4202560 27751 0 0 0 69818 9 0 0 25 0 4 0 608613940 846016512 64466 33554432000 4194304 4797429 140734140278704 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6551/tid=6554] ppid=6549 vsize=826188 CPUtime=702.09 cores=1,3,5,7
/proc/6551/task/6554/stat : 6554 (techdemo) R 6549 6551 5713 0 -1 4202560 27840 0 0 0 70201 8 0 0 25 0 4 0 608613940 846016512 64466 33554432000 4194304 4797429 140734140278704 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6551/tid=6555] ppid=6549 vsize=826188 CPUtime=702.1 cores=1,3,5,7
/proc/6551/task/6555/stat : 6555 (techdemo) R 6549 6551 5713 0 -1 4202560 28538 0 0 0 70201 9 0 0 25 0 4 0 608613940 846016512 64466 33554432000 4194304 4797429 140734140278704 18446744073709551615 4425057 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2804.8
Current children cumulated vsize (KiB) 826188

[startup+762.307 s]
/proc/loadavg: 8.12 7.81 7.00 9/184 6575
/proc/meminfo: memFree=24343616/32950940 swapFree=67111364/67111528
[pid=6551] ppid=6549 vsize=828368 CPUtime=3044.5 cores=1,3,5,7
/proc/6551/stat : 6551 (techdemo) R 6549 6551 5713 0 -1 4202496 370380 0 0 0 304319 131 0 0 25 0 4 0 608613919 848248832 66213 33554432000 4194304 4797429 140734140278704 18446744073709551615 4425019 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6551/statm: 207092 66213 421 148 0 202021 0
[pid=6551/tid=6553] ppid=6549 vsize=828368 CPUtime=757.95 cores=1,3,5,7
/proc/6551/task/6553/stat : 6553 (techdemo) R 6549 6551 5713 0 -1 4202560 29634 0 0 0 75785 10 0 0 25 0 4 0 608613940 848248832 66213 33554432000 4194304 4797429 140734140278704 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6551/tid=6554] ppid=6549 vsize=828368 CPUtime=762.09 cores=1,3,5,7
/proc/6551/task/6554/stat : 6554 (techdemo) R 6549 6551 5713 0 -1 4202560 29878 0 0 0 76201 8 0 0 25 0 4 0 608613940 848248832 66213 33554432000 4194304 4797429 140734140278704 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6551/tid=6555] ppid=6549 vsize=828368 CPUtime=762.11 cores=1,3,5,7
/proc/6551/task/6555/stat : 6555 (techdemo) R 6549 6551 5713 0 -1 4202560 30769 0 0 0 76201 10 0 0 25 0 4 0 608613940 848248832 66213 33554432000 4194304 4797429 140734140278704 18446744073709551615 4520284 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3044.5
Current children cumulated vsize (KiB) 828368

[startup+822.301 s]
/proc/loadavg: 8.11 7.87 7.07 9/184 6576
/proc/meminfo: memFree=24364564/32950940 swapFree=67111364/67111528
[pid=6551] ppid=6549 vsize=829300 CPUtime=3284.15 cores=1,3,5,7
/proc/6551/stat : 6551 (techdemo) R 6549 6551 5713 0 -1 4202496 393710 0 0 0 328275 140 0 0 25 0 4 0 608613919 849203200 63381 33554432000 4194304 4797429 140734140278704 18446744073709551615 4501896 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6551/statm: 207325 63381 421 148 0 202254 0
[pid=6551/tid=6553] ppid=6549 vsize=829300 CPUtime=817.62 cores=1,3,5,7
/proc/6551/task/6553/stat : 6553 (techdemo) R 6549 6551 5713 0 -1 4202560 31904 0 0 0 81751 11 0 0 25 0 4 0 608613940 849203200 63383 33554432000 4194304 4797429 140734140278704 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6551/tid=6554] ppid=6549 vsize=829300 CPUtime=822.09 cores=1,3,5,7
/proc/6551/task/6554/stat : 6554 (techdemo) R 6549 6551 5713 0 -1 4202560 30915 0 0 0 82200 9 0 0 25 0 4 0 608613940 849203200 63383 33554432000 4194304 4797429 140734140278704 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6551/tid=6555] ppid=6549 vsize=829300 CPUtime=822.1 cores=1,3,5,7
/proc/6551/task/6555/stat : 6555 (techdemo) R 6549 6551 5713 0 -1 4202560 31886 0 0 0 82199 11 0 0 25 0 4 0 608613940 849203200 63383 33554432000 4194304 4797429 140734140278704 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.15
Current children cumulated vsize (KiB) 829300

[startup+882.301 s]
/proc/loadavg: 8.07 7.90 7.13 10/184 6578
/proc/meminfo: memFree=24332172/32950940 swapFree=67111364/67111528
[pid=6551] ppid=6549 vsize=831388 CPUtime=3523.83 cores=1,3,5,7
/proc/6551/stat : 6551 (techdemo) R 6549 6551 5713 0 -1 4202496 406519 0 0 0 352236 147 0 0 25 0 4 0 608613919 851341312 71181 33554432000 4194304 4797429 140734140278704 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6551/statm: 207847 71181 421 148 0 202776 0
[pid=6551/tid=6553] ppid=6549 vsize=831388 CPUtime=877.3 cores=1,3,5,7
/proc/6551/task/6553/stat : 6553 (techdemo) R 6549 6551 5713 0 -1 4202560 32864 0 0 0 87718 12 0 0 25 0 4 0 608613940 851341312 71181 33554432000 4194304 4797429 140734140278704 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6551/tid=6554] ppid=6549 vsize=831388 CPUtime=882.09 cores=1,3,5,7
/proc/6551/task/6554/stat : 6554 (techdemo) R 6549 6551 5713 0 -1 4202560 33197 0 0 0 88199 10 0 0 25 0 4 0 608613940 851341312 71181 33554432000 4194304 4797429 140734140278704 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6551/tid=6555] ppid=6549 vsize=831388 CPUtime=882.1 cores=1,3,5,7
/proc/6551/task/6555/stat : 6555 (techdemo) R 6549 6551 5713 0 -1 4202560 33927 0 0 0 88198 12 0 0 25 0 4 0 608613940 851341312 71181 33554432000 4194304 4797429 140734140278704 18446744073709551615 4430094 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3523.83
Current children cumulated vsize (KiB) 831388

[startup+942.301 s]
/proc/loadavg: 8.06 7.93 7.19 9/184 6580
/proc/meminfo: memFree=24320628/32950940 swapFree=67111364/67111528
[pid=6551] ppid=6549 vsize=834864 CPUtime=3763.51 cores=1,3,5,7
/proc/6551/stat : 6551 (techdemo) R 6549 6551 5713 0 -1 4202496 436396 0 0 0 376192 159 0 0 25 0 4 0 608613919 854900736 68693 33554432000 4194304 4797429 140734140278704 18446744073709551615 4351624 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6551/statm: 208716 68694 421 148 0 203645 0
[pid=6551/tid=6553] ppid=6549 vsize=834864 CPUtime=936.97 cores=1,3,5,7
/proc/6551/task/6553/stat : 6553 (techdemo) R 6549 6551 5713 0 -1 4202560 34851 0 0 0 93685 12 0 0 25 0 4 0 608613940 854900736 68694 33554432000 4194304 4797429 140734140278704 18446744073709551615 4430091 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6551/tid=6554] ppid=6549 vsize=834864 CPUtime=942.09 cores=1,3,5,7
/proc/6551/task/6554/stat : 6554 (techdemo) R 6549 6551 5713 0 -1 4202560 34384 0 0 0 94198 11 0 0 25 0 4 0 608613940 854900736 68694 33554432000 4194304 4797429 140734140278704 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6551/tid=6555] ppid=6549 vsize=834864 CPUtime=942.11 cores=1,3,5,7
/proc/6551/task/6555/stat : 6555 (techdemo) R 6549 6551 5713 0 -1 4202560 34900 0 0 0 94198 13 0 0 25 0 4 0 608613940 854900736 68694 33554432000 4194304 4797429 140734140278704 18446744073709551615 4520249 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3763.51
Current children cumulated vsize (KiB) 834864

[startup+1002.3 s]
/proc/loadavg: 8.09 7.96 7.24 9/184 6581
/proc/meminfo: memFree=24322104/32950940 swapFree=67111364/67111528
[pid=6551] ppid=6549 vsize=837540 CPUtime=4003.18 cores=1,3,5,7
/proc/6551/stat : 6551 (techdemo) R 6549 6551 5713 0 -1 4202496 467684 0 0 0 400147 171 0 0 25 0 4 0 608613919 857640960 67292 33554432000 4194304 4797429 140734140278704 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6551/statm: 209385 67292 421 148 0 204314 0
[pid=6551/tid=6553] ppid=6549 vsize=837540 CPUtime=996.64 cores=1,3,5,7
/proc/6551/task/6553/stat : 6553 (techdemo) R 6549 6551 5713 0 -1 4202560 35823 0 0 0 99651 13 0 0 25 0 4 0 608613940 857640960 67292 33554432000 4194304 4797429 140734140278704 18446744073709551615 4567988 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6551/tid=6554] ppid=6549 vsize=837540 CPUtime=1002.09 cores=1,3,5,7
/proc/6551/task/6554/stat : 6554 (techdemo) R 6549 6551 5713 0 -1 4202560 36690 0 0 0 100197 12 0 0 25 0 4 0 608613940 857640960 67292 33554432000 4194304 4797429 140734140278704 18446744073709551615 4424994 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6551/tid=6555] ppid=6549 vsize=837540 CPUtime=1002.11 cores=1,3,5,7
/proc/6551/task/6555/stat : 6555 (techdemo) R 6549 6551 5713 0 -1 4202560 36930 0 0 0 100198 13 0 0 25 0 4 0 608613940 857640960 67292 33554432000 4194304 4797429 140734140278704 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.18
Current children cumulated vsize (KiB) 837540

[startup+1062.3 s]
/proc/loadavg: 8.10 7.98 7.29 9/184 6583
/proc/meminfo: memFree=24293700/32950940 swapFree=67111364/67111528
[pid=6551] ppid=6549 vsize=838744 CPUtime=4242.86 cores=1,3,5,7
/proc/6551/stat : 6551 (techdemo) R 6549 6551 5713 0 -1 4202496 492942 0 0 0 424104 182 0 0 25 0 4 0 608613919 858873856 75506 33554432000 4194304 4797429 140734140278704 18446744073709551615 4351624 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6551/statm: 209686 75506 421 148 0 204615 0
[pid=6551/tid=6553] ppid=6549 vsize=838744 CPUtime=1056.32 cores=1,3,5,7
/proc/6551/task/6553/stat : 6553 (techdemo) R 6549 6551 5713 0 -1 4202560 37868 0 0 0 105618 14 0 0 25 0 4 0 608613940 858873856 75506 33554432000 4194304 4797429 140734140278704 18446744073709551615 4558715 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6551/tid=6554] ppid=6549 vsize=838744 CPUtime=1062.09 cores=1,3,5,7
/proc/6551/task/6554/stat : 6554 (techdemo) R 6549 6551 5713 0 -1 4202560 37667 0 0 0 106197 12 0 0 25 0 4 0 608613940 858873856 75506 33554432000 4194304 4797429 140734140278704 18446744073709551615 4520315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6551/tid=6555] ppid=6549 vsize=838744 CPUtime=1062.11 cores=1,3,5,7
/proc/6551/task/6555/stat : 6555 (techdemo) R 6549 6551 5713 0 -1 4202560 37881 0 0 0 106198 13 0 0 25 0 4 0 608613940 858873856 75506 33554432000 4194304 4797429 140734140278704 18446744073709551615 4415665 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4242.86
Current children cumulated vsize (KiB) 838744

[startup+1122.3 s]
/proc/loadavg: 8.04 7.98 7.33 10/184 6584
/proc/meminfo: memFree=24289348/32950940 swapFree=67111364/67111528
[pid=6551] ppid=6549 vsize=842760 CPUtime=4482.54 cores=1,3,5,7
/proc/6551/stat : 6551 (techdemo) R 6549 6551 5713 0 -1 4202496 524256 0 0 0 448058 196 0 0 25 0 4 0 608613919 862986240 71743 33554432000 4194304 4797429 140734140278704 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6551/statm: 210690 71744 421 148 0 205619 0
[pid=6551/tid=6553] ppid=6549 vsize=842760 CPUtime=1115.99 cores=1,3,5,7
/proc/6551/task/6553/stat : 6553 (techdemo) R 6549 6551 5713 0 -1 4202560 39463 0 0 0 111585 14 0 0 25 0 4 0 608613940 862986240 71744 33554432000 4194304 4797429 140734140278704 18446744073709551615 4430091 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6551/tid=6554] ppid=6549 vsize=842760 CPUtime=1122.09 cores=1,3,5,7
/proc/6551/task/6554/stat : 6554 (techdemo) R 6549 6551 5713 0 -1 4202560 40393 0 0 0 112196 13 0 0 25 0 4 0 608613940 862986240 71744 33554432000 4194304 4797429 140734140278704 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6551/tid=6555] ppid=6549 vsize=842760 CPUtime=1122.11 cores=1,3,5,7
/proc/6551/task/6555/stat : 6555 (techdemo) R 6549 6551 5713 0 -1 4202560 40289 0 0 0 112197 14 0 0 25 0 4 0 608613940 862986240 71744 33554432000 4194304 4797429 140734140278704 18446744073709551615 4524600 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4482.54
Current children cumulated vsize (KiB) 842760

[startup+1182.3 s]
/proc/loadavg: 8.07 8.00 7.38 9/184 6586
/proc/meminfo: memFree=24251768/32950940 swapFree=67111364/67111528
[pid=6551] ppid=6549 vsize=843616 CPUtime=4722.22 cores=1,3,5,7
/proc/6551/stat : 6551 (techdemo) R 6549 6551 5713 0 -1 4202496 550142 0 0 0 472014 208 0 0 25 0 4 0 608613919 863862784 80080 33554432000 4194304 4797429 140734140278704 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6551/statm: 210904 80080 421 148 0 205833 0
[pid=6551/tid=6553] ppid=6549 vsize=843616 CPUtime=1175.67 cores=1,3,5,7
/proc/6551/task/6553/stat : 6553 (techdemo) R 6549 6551 5713 0 -1 4202560 41333 0 0 0 117552 15 0 0 25 0 4 0 608613940 863862784 80080 33554432000 4194304 4797429 140734140278704 18446744073709551615 4239107 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6551/tid=6554] ppid=6549 vsize=843616 CPUtime=1182.1 cores=1,3,5,7
/proc/6551/task/6554/stat : 6554 (techdemo) R 6549 6551 5713 0 -1 4202560 41289 0 0 0 118196 14 0 0 25 0 4 0 608613940 863862784 80080 33554432000 4194304 4797429 140734140278704 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6551/tid=6555] ppid=6549 vsize=843616 CPUtime=1182.11 cores=1,3,5,7
/proc/6551/task/6555/stat : 6555 (techdemo) R 6549 6551 5713 0 -1 4202560 41883 0 0 0 118197 14 0 0 25 0 4 0 608613940 863862784 80080 33554432000 4194304 4797429 140734140278704 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.22
Current children cumulated vsize (KiB) 843616



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.05 8.00 7.39 5/179 6588
/proc/meminfo: memFree=24497196/32950940 swapFree=67111364/67111528
[pid=6551] ppid=6549 vsize=844988 CPUtime=4800.12 cores=1,3,5,7
/proc/6551/stat : 6551 (techdemo) R 6549 6551 5713 0 -1 4202496 561680 0 0 0 479800 212 0 0 25 0 4 0 608613919 865267712 73806 33554432000 4194304 4797429 140734140278704 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6551/statm: 211247 73806 421 148 0 206176 0
[pid=6551/tid=6553] ppid=6549 vsize=844988 CPUtime=1195.06 cores=1,3,5,7
/proc/6551/task/6553/stat : 6553 (techdemo) R 6549 6551 5713 0 -1 4202560 41619 0 0 0 119491 15 0 0 25 0 4 0 608613940 865267712 73806 33554432000 4194304 4797429 140734140278704 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6551/tid=6554] ppid=6549 vsize=844988 CPUtime=1201.6 cores=1,3,5,7
/proc/6551/task/6554/stat : 6554 (techdemo) R 6549 6551 5713 0 -1 4202560 42549 0 0 0 120146 14 0 0 25 0 4 0 608613940 865267712 73806 33554432000 4194304 4797429 140734140278704 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6551/tid=6555] ppid=6549 vsize=844988 CPUtime=1201.61 cores=1,3,5,7
/proc/6551/task/6555/stat : 6555 (techdemo) R 6549 6551 5713 0 -1 4202560 42165 0 0 0 120147 14 0 0 25 0 4 0 608613940 865267712 73806 33554432000 4194304 4797429 140734140278704 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 844988

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.83
CPU time (s): 4800.17
CPU user time (s): 4798.03
CPU system time (s): 2.14367
CPU usage (%): 399.406
Max. virtual memory (cumulated for all children) (KiB): 962040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.03
system time used= 2.14367
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 561681
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= 837
involuntary context switches= 21749

runsolver used 1.9547 second user time and 4.6283 second system time

The end

Launcher Data 

Begin job on node117 at 2011-04-30 19:17:11
IDJOB=3251503
IDBENCH=88225
IDSOLVER=1584
FILE ID=node117/3251503-1304183831
RUNJOBID= node117-1304183831-6529
PBS_JOBID= 13172440
Free space on /tmp= 72620 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m42-q585-n40-p15-s54275047.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3251503-1304183831/watcher-3251503-1304183831 -o /tmp/evaluation-result-3251503-1304183831/solver-3251503-1304183831 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3251503-1304183831.cnf

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

MD5SUM BENCH= 67948a6aed9ea09317abe3c8a9a27a03
RANDOM SEED=1411633217

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

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

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

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


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      24783644 kB
Buffers:       1897944 kB
Cached:        5631076 kB
SwapCached:        160 kB
Active:        1089788 kB
Inactive:      6514468 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      24783644 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           19864 kB
Writeback:           0 kB
AnonPages:       75156 kB
Mapped:          15268 kB
Slab:           500228 kB
PageTables:       4692 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:   668456 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= 72620 MiB
End job on node117 at 2011-04-30 19:37:15