Trace number 3266905

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.34 1201.52

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m27-q255-n25-p15-s2076598.cnf
MD5SUMf5a22d1154b549fd98215f1710a15f46
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.357944
Satisfiable
(Un)Satisfiability was proved
Number of variables545
Number of clauses29734
Sum of the clauses size59963
Maximum clause length27
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 229709
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 525

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-3266905-1304183629.cnf'
0.00/0.00	c -- header says num vars:            545
0.00/0.00	c -- header says num clauses:       29734
0.00/0.02	c -- clauses added:            0 learnts,        29734 normals,            0 xors
0.00/0.02	c -- vars added        545
0.00/0.02	c Parsing time:  0.02 s
0.00/0.02	c  N st     0         0       545        25     29709         0     59963         0   no data   no data  --
0.00/0.02	c asymm  cl-useful: 0/25/25 lits-rem:0 time: 0.00
0.00/0.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.2M T:  0.03
0.00/0.04	c Calc non-exist non-lernt bins v-fix:     0 done:    545 time:  0.01 s
0.00/0.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.00/0.04	c Subs w/ non-existent bins:      0 time:  0.00 s
0.00/0.04	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.00/0.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.00/0.05	c Removed useless bin:       0  fixed:     0  bprops:   0.12M  time:  0.01 s
0.00/0.05	c lits-rem:        66  cl-subs:        0  v-elim:    337  v-fix:    0  time:  0.02 s
0.00/0.05	c learnt bin added due to v-elim: 0
0.00/0.05	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.05	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.05	c calculated reachability. Time: 0.00
0.00/0.05	c Calc default polars -  time:   0.00 s pos:       0 undec:      25 neg:     520
0.00/0.05	c =========================================================================================
0.00/0.05	c types(t): F = full restart, N = normal restart
0.00/0.05	c types(t): S = simplification begin/end, E = solution found
0.00/0.05	c restart types(rt): st = static, dy = dynamic
0.00/0.05	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.00/0.05	c  B st     0         0       520       376     28813         0     71750         0   no data   no data  --
0.31/0.18	c Decided on static restart strategy
1.50/0.46	c  N dy    20      4137       520       376     28813      3914     71750    422843    108.21     13.73  --
3.92/1.05	c  N dy    49      8262       520       376     28821      5507     71750    480340     88.02     15.31  --
6.30/1.66	c  N dy    78     12318       520       376     28821      5339     71750    411180     80.68     16.07  --
9.10/2.38	c  N dy   106     16326       520       376     28822      9174     71750    849534    120.53     16.90  --
12.30/3.13	c  N dy   134     20379       520       376     28822      7642     71749    625325    105.04     17.21  --
15.49/3.91	c  N dy   162     24436       520       376     28822     11544     71749   1015036     97.21     17.44  --
18.69/4.73	c  N dy   190     28534       520       376     28822      8930     71749    703879     87.49     17.63  --
19.88/5.02	c  S st   201     30000       520       376     28822     10346     71749    838474     98.52     17.74  --
19.88/5.08	c  S st   201     30501       520       376     28822     10841     71749    875178     98.52     17.74  --
19.88/5.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
19.88/5.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
24.28/6.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 22.4M T:  4.43
24.28/6.19	c Calc non-exist non-lernt bins v-fix:     0 done:    520 time:  0.02 s
24.28/6.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
24.68/6.20	c Subs w/ non-existent bins:      0 time:  0.03 s
24.68/6.22	c bin-w-bin subsume rem            0 bins  time:  0.02 s
29.87/7.54	c subs with bin:        0  lits-rem:        43  v-fix:    0  time:  5.29 s
29.87/7.55	c Removed useless bin:       0  fixed:     0  bprops:   0.12M  time:  0.01 s
41.45/10.40	c lits-rem:       841  cl-subs:     1153  v-elim:    520  v-fix:    0  time: 11.41 s
41.45/10.40	c learnt bin added due to v-elim: 0
41.45/10.40	c vivif2 --  cl tried      376 cl shrink       63 lits rem        513 time: 0.00
41.45/10.41	c vivif2 --  cl tried     9688 cl shrink      157 lits rem        290 time: 0.04
42.25/10.63	c asymm  cl-useful: 0/372/376 lits-rem:0 time: 0.88
42.25/10.63	c calculated reachability. Time: 0.00
42.25/10.63	c  N dy   201     30501       520       376     28822      9688     71123    764102     98.52     17.74  --
42.25/10.63	c  F st   201     30501       520       376     28822      9688     71123    764102     98.52     17.74  --
43.46/10.94	c Decided on static restart strategy
45.05/11.35	c  N dy   221     34602       520       376     28822     13616     71123   1200572     90.83     17.83  --
48.64/12.24	c  N dy   249     38664       520       376     28822      9961     71123    772950     98.53     18.03  --
52.25/13.16	c  N dy   277     42757       520       376     28822     13906     71123   1164838    100.83     18.41  --
55.84/14.01	c  S st   298     45752       520       376     28822     16768     71123   1467544    106.28     18.42  --
56.24/14.12	c  S st   298     46255       520       376     28822      8685     71123    639905    106.28     18.42  --
56.24/14.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
56.24/14.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
60.63/15.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 26.4M T:  4.33
60.63/15.21	c Calc non-exist non-lernt bins v-fix:     0 done:    520 time:  0.02 s
60.63/15.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
60.63/15.22	c Subs w/ non-existent bins:      0 time:  0.02 s
60.63/15.23	c bin-w-bin subsume rem            0 bins  time:  0.02 s
65.85/16.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.28 s
65.85/16.56	c Removed useless bin:       0  fixed:     0  bprops:   0.12M  time:  0.01 s
70.24/17.61	c lits-rem:       165  cl-subs:      178  v-elim:    520  v-fix:    0  time:  4.18 s
70.24/17.61	c learnt bin added due to v-elim: 0
70.24/17.61	c vivif2 --  cl tried      376 cl shrink        0 lits rem          0 time: 0.00
70.24/17.61	c vivif2 --  cl tried     8507 cl shrink        0 lits rem          0 time: 0.02
70.62/17.76	c asymm  cl-useful: 0/376/376 lits-rem:0 time: 0.61
70.62/17.77	c calculated reachability. Time: 0.00
70.62/17.77	c  N dy   298     46255       520       376     28822      8507     71116    625588    106.28     18.42  --
73.42/18.48	c  N dy   326     50297       520       376     28822     12397     71116   1016575    102.51     18.33  --
77.81/19.53	c  N dy   354     54323       520       376     28822     16248     71116   1396578     90.54     18.30  --
82.60/20.71	c  N dy   382     58360       520       376     28822     10549     71116    775639     93.34     18.42  --
85.80/21.50	c  N dy   410     62450       520       376     28822     14458     71116   1176127    107.04     18.40  --
89.80/22.54	c  N dy   438     66539       520       376     28822     18373     71116   1557463     91.08     18.28  --
93.79/23.54	c  S st   458     69383       520       376     28822     10565     71116    752408     88.29     18.22  --
94.19/23.61	c  S st   458     69886       520       376     28822     11063     71116    786139     88.29     18.22  --
94.19/23.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
94.19/23.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
100.19/25.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      1 BRemL:      0 BRemN:      0 CBin:       0 P: 41.9M T:  6.35
100.59/25.20	c Calc non-exist non-lernt bins v-fix:     0 done:    520 time:  0.01 s
100.59/25.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
100.59/25.21	c Subs w/ non-existent bins:      0 time:  0.03 s
100.59/25.23	c bin-w-bin subsume rem            0 bins  time:  0.02 s
105.77/26.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.43 s
105.77/26.59	c Removed useless bin:       0  fixed:     0  bprops:   0.12M  time:  0.01 s
116.96/29.39	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.03
130.56/32.70	c Added 6 vars  tried: 80000 time: 13.22
130.56/32.74	c ORs :      6 avg-s:  0.0 cl-sh:  8415 l-rem:   8415 b-add:     12 v-rep:   0 cl-rem: 0 avg s: nan T:   13.38
130.56/32.75	c lits-rem:       214  cl-subs:      274  v-elim:    520  v-fix:    0  time: 24.62 s
130.56/32.75	c learnt bin added due to v-elim: 0
130.56/32.75	c vivif2 --  cl tried      382 cl shrink        0 lits rem          0 time: 0.00
130.56/32.76	c vivif2 --  cl tried    10789 cl shrink       37 lits rem         37 time: 0.03
131.36/32.93	c asymm  cl-useful: 0/382/382 lits-rem:0 time: 0.67
131.36/32.93	c calculated reachability. Time: 0.00
131.36/32.93	c  N dy   458     69886       526       382     28835     10789     71077    756817     88.29     18.22  --
131.36/32.93	c  F st   458     69886       526       382     28835     10789     71077    756817     88.29     18.22  --
132.95/33.32	c Decided on static restart strategy
134.95/33.84	c  N dy   481     74422       526       382     28837     15133     71077   1151608     89.18     18.35  --
140.56/35.29	c  N dy   514     79281       526       382     28837     19789     71077   1628384    104.84     18.34  --
146.53/36.72	c  N dy   549     84378       526       382     28837     13201     71077    998051    105.11     18.32  --
151.72/38.04	c  N dy   586     89765       526       382     28837     18371     71077   1482004    100.53     18.34  --
159.72/40.00	c  N dy   625     95568       526       382     28837     23935     71077   2058837    108.31     18.39  --
165.71/41.56	c  N dy   668    101776       526       382     28837     17449     71077   1352604     93.73     18.37  --
169.70/42.58	c  S st   689    104831       526       382     28837     20399     71077   1645373    101.43     18.37  --
170.10/42.68	c  S st   689    105332       526       382     28838     20891     71077   1687399    101.43     18.37  --
170.10/42.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
170.10/42.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
182.49/45.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:    371 BRemL:      1 BRemN:      0 CBin:       0 P: 60.1M T: 12.04
182.49/45.70	c Calc non-exist non-lernt bins v-fix:     0 done:    526 time:  0.02 s
182.49/45.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
182.49/45.72	c Subs w/ non-existent bins:      0 time:  0.06 s
182.49/45.75	c bin-w-bin subsume rem            0 bins  time:  0.02 s
188.50/47.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.12 s
188.50/47.29	c Removed useless bin:       0  fixed:     0  bprops:   0.09M  time:  0.01 s
208.07/52.14	c ORs :      9 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.04
208.07/52.16	c lits-rem:       267  cl-subs:     2894  v-elim:    784  v-fix:    0  time: 19.46 s
208.07/52.16	c learnt bin added due to v-elim: 0
208.07/52.16	c vivif2 --  cl tried      717 cl shrink      182 lits rem        182 time: 0.00
208.07/52.18	c vivif2 --  cl tried    17997 cl shrink      792 lits rem       1228 time: 0.09
209.26/52.45	c asymm  cl-useful: 0/202/535 lits-rem:0 time: 1.07
209.26/52.45	c calculated reachability. Time: 0.00
209.26/52.45	c  N dy   689    105332       523       535     29043     17997     71212   1430162    101.43     18.37  --
220.04/55.12	c  N dy   735    112130       523       535     29043     24531     71212   2114168    110.75     18.40  --
229.24/57.49	c  N dy   784    119405       523       535     29043     18115     71212   1411369    102.12     18.29  --
240.42/60.26	c  N dy   836    127098       523       535     29043     25445     71212   2123251    103.00     18.23  --
250.81/62.83	c  N dy   891    135308       523       535     29043     18923     71212   1415284     84.72     18.16  --
264.79/66.35	c  N dy   950    144003       523       535     29044     27178     71212   2052518     70.27     18.27  --
276.40/69.26	c  N dy  1012    153221       523       535     29045     20650     71212   1457419     93.20     18.17  --
283.17/70.97	c  S st  1045    157998       523       535     29045     25225     71212   1841858     82.63     18.17  --
283.97/71.11	c  S st  1045    158500       523       535     29045     25724     71212   1880203     82.63     18.17  --
283.97/71.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
283.97/71.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
296.36/74.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:    182 CBin:       0 P: 60.0M T: 12.37
296.36/74.21	c Calc non-exist non-lernt bins v-fix:     0 done:    523 time:  0.02 s
296.36/74.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
296.36/74.23	c Subs w/ non-existent bins:      0 time:  0.08 s
296.36/74.27	c bin-w-bin subsume rem          182 bins  time:  0.02 s
301.95/75.65	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  5.55 s
301.95/75.66	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.01 s
318.73/79.86	c ORs :      9 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.04
318.73/79.88	c lits-rem:       494  cl-subs:     1896  v-elim:    517  v-fix:    0  time: 16.89 s
318.73/79.88	c learnt bin added due to v-elim: 0
318.73/79.88	c vivif2 --  cl tried      535 cl shrink        0 lits rem          0 time: 0.00
319.14/79.91	c vivif2 --  cl tried    23827 cl shrink       17 lits rem         17 time: 0.08
319.94/80.17	c asymm  cl-useful: 0/142/535 lits-rem:0 time: 1.06
319.94/80.17	c calculated reachability. Time: 0.00
319.94/80.17	c  N dy  1045    158500       523       535     28681     23827     70848   1735377     82.63     18.17  --
335.91/84.11	c  N dy  1114    168730       541       535     29506     17637     71276   1166397     78.73     18.21  --
349.10/87.46	c  N dy  1188    179623       541       535     29507     28029     71276   1949952     71.43     18.17  --
365.88/91.64	c  N dy  1267    191217       541       535     29507     21829     71276   1503535     89.31     18.19  --
383.45/96.03	c  N dy  1349    203473       541       535     29507     33409     71276   2391275     87.10     18.15  --
401.04/100.42	c  N dy  1438    216496       541       535     29985     28189     71708   1813454     89.37     18.13  --
425.82/106.70	c  N dy  1533    230401       541       535     29986     22213     71708   1346349     92.15     18.35  --
437.79/109.62	c  S st  1584    237752       541       535     29986     29275     71708   2025655     94.61     18.43  --
438.19/109.77	c  S st  1584    238255       541       535     29986     29776     71708   2062965     94.61     18.43  --
438.19/109.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
438.19/109.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
452.60/113.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      3 BRemL:     57 BRemN:     68 CBin:       0 P: 60.0M T: 14.08
452.60/113.31	c Calc non-exist non-lernt bins v-fix:     0 done:    541 time:  0.02 s
452.60/113.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
452.60/113.33	c Subs w/ non-existent bins:    401 time:  0.09 s
452.60/113.37	c bin-w-bin subsume rem          357 bins  time:  0.02 s
458.17/114.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.61 s
458.17/114.77	c Removed useless bin:     398  fixed:     0  bprops:   0.08M  time:  0.01 s
481.34/120.51	c ORs :      9 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 3.0 T:    0.04
481.34/120.53	c lits-rem:      1064  cl-subs:     3346  v-elim:    517  v-fix:    0  time: 22.99 s
481.34/120.53	c learnt bin added due to v-elim: 0
481.34/120.53	c vivif2 --  cl tried      535 cl shrink        1 lits rem          1 time: 0.00
481.34/120.55	c vivif2 --  cl tried    26028 cl shrink      133 lits rem        135 time: 0.10
482.54/120.81	c asymm  cl-useful: 0/141/535 lits-rem:0 time: 1.03
482.54/120.81	c calculated reachability. Time: 0.00
482.54/120.81	c  N dy  1584    238255       541       535     29114     26023     70775   1875585     94.61     18.43  --
515.70/129.16	c  N dy  1687    253519       547       535     29129     20674     70799   1229176     78.16     18.35  --
542.07/135.79	c  N dy  1798    269809       547       535     29129     36309     70799   2727339    111.05     18.48  --
574.84/143.94	c  N dy  1916    287110       547       535     29445     32100     71047   2232191    107.78     18.62  --
610.40/152.87	c  N dy  2042    305543       547       535     29445     27662     71047   1794457     87.24     18.79  --
651.14/163.02	c  N dy  2176    325087       547       535     29446     23344     71047   1351685     95.10     18.82  --
685.53/171.60	c  N dy  2315    345206       571       535     30861     44049     72363   3212398    110.69     18.87  --
707.10/177.03	c  S st  2398    357382       571       535     30861     31054     72363   1938802     84.14     18.91  --
707.51/177.19	c  S st  2398    357887       571       535     30866     31552     72363   1971919     84.14     18.91  --
707.51/177.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
707.51/177.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
720.69/180.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:    232 BRemL:     63 BRemN:    359 CBin:       0 P: 60.0M T: 12.95
720.69/180.44	c Calc non-exist non-lernt bins v-fix:     0 done:    571 time:  0.02 s
720.69/180.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
720.69/180.46	c Subs w/ non-existent bins:    632 time:  0.10 s
721.07/180.52	c Replacing        3 vars Replaced     9509 lits Time:     0.23 s 
721.07/180.56	c bin-w-bin subsume rem          700 bins  time:  0.02 s
727.47/182.19	c subs with bin:        2  lits-rem:         8  v-fix:    0  time:  6.53 s
727.47/182.19	c Removed useless bin:     502  fixed:     0  bprops:   0.06M  time:  0.01 s
747.84/187.28	c ORs :      9 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.04
783.00/196.07	c Added 6 vars  tried: 80000 time: 35.10
784.19/196.36	c ORs :      6 avg-s:  0.0 cl-sh: 28875 l-rem:  28875 b-add:     12 v-rep:   0 cl-rem: 4 avg s: 3.0 T:   36.27
784.19/196.38	c lits-rem:       499  cl-subs:     1802  v-elim:    517  v-fix:    0  time: 56.67 s
784.19/196.38	c learnt bin added due to v-elim: 0
784.19/196.38	c vivif2 --  cl tried      541 cl shrink        0 lits rem          0 time: 0.00
784.59/196.40	c vivif2 --  cl tried    29112 cl shrink       98 lits rem        129 time: 0.10
785.39/196.65	c asymm  cl-useful: 0/228/541 lits-rem:0 time: 1.00
785.39/196.66	c calculated reachability. Time: 0.00
785.39/196.66	c  N dy  2398    357887       574       541     29479     29110     70529   1822312     84.14     18.91  --
814.96/204.10	c  N dy  2533    377982       574       541     29520     48787     70547   3686492     89.57     18.75  --
841.73/210.77	c Finding binary XORs  T:     0.00 s  found:       0
844.52/211.44	c  N dy  2669    398074       574       541     29558     42983     70547   3104132     91.79     18.66  --
872.90/218.50	c  N dy  2805    418227       574       541     29569     36382     70547   2468209    102.76     18.59  --
912.86/228.56	c  N dy  2941    438232       574       541     29593     28661     70547   1552699     72.54     18.49  --
939.62/235.22	c  N dy  3076    458349       586       541     30028     48078     70599   3193916     93.17     18.36  --
966.81/242.01	c  N dy  3213    478487       586       541     30028     39559     70599   2458047     85.90     18.27  --
1003.54/251.26	c  N dy  3349    498538       586       541     30031     29980     70599   1535932     97.98     18.25  --
1033.10/258.62	c  N dy  3484    518563       586       541     30545     50075     71107   3476238    115.66     18.19  --
1065.88/266.80	c  S st  3607    536830       598       541     30848     37514     71303   2091013    109.50     18.14  --
1066.27/266.97	c  S st  3607    537331       598       541     30848     38014     71303   2128508    109.50     18.14  --
1066.27/266.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1066.27/266.98	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
1078.66/270.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:    265 BRemL:    138 BRemN:    770 CBin:       0 P: 60.1M T: 12.42
1078.66/270.09	c Calc non-exist non-lernt bins v-fix:     0 done:    598 time:  0.02 s
1078.66/270.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1079.06/270.13	c Subs w/ non-existent bins:    332 time:  0.13 s
1079.06/270.13	c Replacing        3 vars Replaced      424 lits Time:     0.04 s 
1079.06/270.17	c bin-w-bin subsume rem          317 bins  time:  0.02 s
1085.47/271.74	c subs with bin:      196  lits-rem:       314  v-fix:    0  time:  6.26 s
1085.47/271.74	c Removed useless bin:     128  fixed:     0  bprops:   0.05M  time:  0.01 s
1114.62/279.03	c ORs :     16 avg-s:  2.0 cl-sh:     3 l-rem:      3 b-add:      0 v-rep:   0 cl-rem: 3 avg s: 3.0 T:    0.06
1114.62/279.05	c lits-rem:       570  cl-subs:     6028  v-elim:    824  v-fix:    0  time: 29.22 s
1114.62/279.05	c learnt bin added due to v-elim: 0
1114.62/279.05	c vivif2 --  cl tried      989 cl shrink      258 lits rem        260 time: 0.00
1114.62/279.09	c vivif2 --  cl tried    31457 cl shrink     1345 lits rem       2401 time: 0.14
1115.83/279.32	c asymm  cl-useful: 0/135/732 lits-rem:0 time: 0.93
1115.83/279.33	c calculated reachability. Time: 0.00
1115.83/279.33	c  N dy  3607    537331       590       732     29667     31349     69649   1718429    109.50     18.14  --
1115.83/279.33	c  F st  3607    537331       590       732     29667     31349     69649   1718429    109.50     18.14  --
1117.41/279.79	c Decided on static restart strategy
1145.39/286.75	c  N dy  3732    557332       590       732     29667     50656     69649   3748017    105.20     18.13  --
1174.54/294.04	c  N dy  3867    577336       590       732     29667     39168     69649   2404301    103.70     18.07  --
1211.30/303.21	c  N dy  4002    597447       590       732     29676     58901     69667   4368914     84.16     18.02  --
1245.27/311.70	c  N dy  4135    617485       608       732     30555     47020     70403   3091469     91.57     17.99  --
1286.42/322.04	c  N dy  4269    637607       608       732     30555     66433     70403   4974906     94.12     17.94  --
1320.78/330.69	c  N dy  4402    657634       608       732     30555     52457     70403   3630749    103.67     17.91  --
1367.11/342.20	c  N dy  4534    677718       608       732     31070     38097     70815   2089753     98.64     17.85  --
1398.28/350.08	c  N dy  4666    697770       608       732     31070     57469     70815   4033736    107.89     17.87  --
1433.85/358.93	c  N dy  4800    717889       608       732     31070     41852     70815   2346683     87.12     17.82  --
1469.41/367.88	c  N dy  4934    738036       608       732     31070     61303     70815   4116787     91.18     17.77  --
1509.76/377.95	c  N dy  5067    758088       608       732     31070     44774     70815   2581040     86.28     17.72  --
1548.11/387.56	c  N dy  5200    778202       608       732     31072     64157     70815   4269682    101.97     17.66  --
1587.26/397.34	c  N dy  5332    798213       608       732     31072     46723     70815   2803470    102.03     17.62  --
1600.05/400.57	c  S st  5383    805996       608       732     31072     54208     70815   3568792     81.96     17.65  --
1600.85/400.75	c  S st  5383    806496       608       732     31072     54705     70815   3606096     81.96     17.65  --
1600.85/400.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1600.85/400.76	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
1617.25/404.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:    260 BRemN:    736 CBin:       0 P: 60.1M T: 16.51
1617.63/404.90	c Calc non-exist non-lernt bins v-fix:     0 done:    608 time:  0.02 s
1617.63/404.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1617.63/404.95	c Subs w/ non-existent bins:    551 time:  0.21 s
1617.63/404.96	c Replacing        1 vars Replaced       16 lits Time:     0.05 s 
1618.03/405.03	c bin-w-bin subsume rem          764 bins  time:  0.02 s
1624.82/406.71	c subs with bin:      137  lits-rem:        24  v-fix:    0  time:  6.73 s
1624.82/406.71	c Removed useless bin:     266  fixed:     0  bprops:   0.05M  time:  0.00 s
1673.16/418.89	c ORs :     16 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.10
1728.69/432.74	c Added 7 vars  tried: 80000 time: 55.31
1731.89/433.54	c ORs :      7 avg-s:  0.0 cl-sh: 42484 l-rem:  42484 b-add:     15 v-rep:   0 cl-rem: 8 avg s: 3.0 T:   58.50
1731.89/433.57	c lits-rem:       612  cl-subs:     5154  v-elim:    512  v-fix:    0  time: 107.29 s
1731.89/433.57	c learnt bin added due to v-elim: 0
1731.89/433.57	c vivif2 --  cl tried      739 cl shrink        0 lits rem          0 time: 0.00
1732.29/433.62	c vivif2 --  cl tried    48851 cl shrink      107 lits rem        120 time: 0.19
1733.49/433.90	c asymm  cl-useful: 0/79/739 lits-rem:0 time: 1.12
1733.49/433.90	c calculated reachability. Time: 0.00
1733.49/433.90	c  N dy  5383    806496       614       739     29156     48758     68775   3104572     81.96     17.65  --
1777.83/445.00	c  N dy  5517    826508       614       739     29177     67894     68775   5248203    114.15     18.14  --
1822.58/456.25	c  N dy  5651    846619       614       739     29177     49881     68775   3397012    123.41     18.60  --
1880.93/470.88	c  N dy  5785    866761       614       739     29177     68890     68775   5623137    103.75     19.12  --
1907.68/477.53	c  N dy  5920    886855       614       739     29418     50233     68777   3290045     88.07     19.44  --
1942.83/486.34	c  N dy  6053    906948       614       739     29419     69416     68777   5484421     88.69     19.80  --
1973.22/493.94	c  N dy  6186    927077       642       739     30682     50230     69865   3213409    123.80     20.08  --
2001.97/501.16	c Finding binary XORs  T:     0.00 s  found:       4
2005.17/501.99	c  N dy  6321    947191       642       739     30682     69519     69865   5336108    126.58     20.35  --
2035.14/509.40	c  N dy  6453    967220       642       739     30682     48173     69865   2930404    126.18     20.61  --
2074.31/519.24	c  N dy  6587    987238       642       739     31123     67665     70217   5197308    123.44     21.01  --
2116.24/529.78	c  N dy  6720   1007247       642       739     31123     45435     70217   2434891     81.16     21.34  --
2153.01/538.97	c  N dy  6854   1027273       642       739     31139     64632     70217   4727586    132.59     21.70  --
2215.33/554.58	c  N dy  6988   1047315       670       739     32189     84813     71031   6995174    129.46     22.06  --
2239.70/560.69	c  N dy  7123   1067358       670       739     32189     61221     71031   4082091    121.90     22.21  --
2272.86/568.96	c  N dy  7257   1087408       670       739     32189     80419     71031   6127594     95.74     22.32  --
2304.02/576.71	c  N dy  7391   1107443       670       739     32520     56343     71195   3533143     88.84     22.51  --
2337.19/585.04	c  N dy  7525   1127531       670       739     32520     75456     71195   5346371    123.66     22.64  --
2380.34/595.87	c  N dy  7659   1147593       698       739     33626     50844     71883   2784785    111.70     22.88  --
2417.88/605.22	c  N dy  7793   1167628       698       739     33627     69969     71883   4986258    130.25     23.18  --
2461.84/616.21	c  N dy  7926   1187718       698       739     33852     89305     71977   7108337    110.99     23.34  --
2485.00/622.02	c  N dy  8060   1207798       698       739     33852     63195     71977   3892794    103.28     23.39  --
2488.61/622.99	c  S st  8073   1209749       698       739     33852     65053     71977   4091641    100.20     23.41  --
2489.81/623.20	c  S st  8073   1210251       698       739     33853     65547     71977   4128864    100.20     23.41  --
2489.81/623.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2489.81/623.21	c Cache  BProp: 0 Set: 0 BXProp: 4 T: 0.00
2507.79/627.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bin:     18 BRemL:    442 BRemN:    848 CBin:       0 P: 60.1M T: 17.92
2507.79/627.70	c Calc non-exist non-lernt bins v-fix:     0 done:    698 time:  0.02 s
2507.79/627.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2507.79/627.77	c Subs w/ non-existent bins:   1427 time:  0.28 s
2508.59/627.90	c Replacing       12 vars Replaced    22416 lits Time:     0.52 s 
2508.59/627.97	c bin-w-bin subsume rem         1323 bins  time:  0.02 s
2516.58/629.93	c subs with bin:        3  lits-rem:        14  v-fix:    0  time:  7.81 s
2516.58/629.93	c Removed useless bin:     439  fixed:     0  bprops:   0.04M  time:  0.01 s
2596.47/649.96	c ORs :     33 avg-s:  2.0 cl-sh:    96 l-rem:     96 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 3.0 T:    0.20
2658.42/665.44	c Added 7 vars  tried: 80000 time: 61.84
2659.60/665.79	c ORs :      7 avg-s:  0.0 cl-sh: 29287 l-rem:  29287 b-add:     14 v-rep:   0 cl-rem: 8 avg s: 3.0 T:   63.24
2660.00/665.83	c lits-rem:      1005  cl-subs:    10133  v-elim:    655  v-fix:    0  time: 143.41 s
2660.00/665.83	c learnt bin added due to v-elim: 0
2660.00/665.83	c vivif2 --  cl tried      905 cl shrink       43 lits rem         43 time: 0.00
2660.00/665.89	c vivif2 --  cl tried    53975 cl shrink      718 lits rem       1991 time: 0.23
2661.20/666.18	c asymm  cl-useful: 0/79/864 lits-rem:0 time: 1.16
2661.20/666.18	c calculated reachability. Time: 0.00
2661.20/666.18	c  N dy  8073   1210251       691       864     30688     53955     69399   3228951    100.20     23.41  --
2694.36/674.40	c  N dy  8208   1230319       691       864     30688     73292     69399   5319892     92.77     23.49  --
2748.29/687.94	c  N dy  8338   1250323       691       864     30703     47082     69399   2319489     91.17     23.50  --
2777.86/695.35	c  N dy  8471   1270428       691       864     30704     66477     69399   4480077    130.69     23.61  --
2830.60/708.55	c  N dy  8605   1290552       719       864     31772     86375     69663   6802580    131.26     23.72  --
2878.94/720.69	c  N dy  8738   1310677       719       864     31772     58814     69663   3588780    120.23     23.88  --
2928.09/732.99	c  N dy  8869   1330727       719       864     32011     78134     69747   6027608    132.93     24.10  --
2996.41/750.07	c  N dy  9001   1350755       735       864     32449     49511     69985   2461443    123.86     24.23  --
3033.16/759.20	c  N dy  9132   1370772       735       864     32449     68784     69985   4696551    112.89     24.33  --
3092.29/774.08	c  N dy  9264   1390836       735       864     32691     88214     70081   7068207     92.83     24.46  --
3143.83/786.95	c  N dy  9395   1410915       767       864     33687     58608     70435   3388198    118.36     24.59  --
3185.79/797.44	c  N dy  9527   1431003       767       864     33687     77976     70435   5766064    114.77     24.72  --
3253.31/814.35	c  N dy  9657   1451118       767       864     33978     97304     70437   8064475    109.61     24.82  --
3292.47/824.16	c  N dy  9790   1471254       767       864     34004     66474     70437   4239384     96.97     24.93  --
3344.42/837.13	c  N dy  9920   1491310       767       864     34004     85717     70437   6600950    109.63     25.06  --
3406.33/852.61	c  N dy 10051   1511470       767       864     34004     54074     70437   2729577    101.58     25.13  --
3442.29/861.68	c  N dy 10182   1531615       767       864     34004     73422     70437   4980854    113.52     25.17  --
3477.05/870.30	c Finding binary XORs  T:     0.00 s  found:       6
3495.83/875.00	c  N dy 10313   1551713       767       864     34004     92638     70437   7235161    121.01     25.24  --
3549.37/888.49	c  N dy 10444   1571800       767       864     34004     60047     70437   3394255    116.76     25.32  --
3590.54/898.73	c  N dy 10574   1591890       767       864     34004     79330     70437   5715769    114.66     25.43  --
3658.04/915.61	c  N dy 10704   1612027       767       864     34004     98513     70437   8098463    134.99     25.56  --
3709.20/928.49	c  N dy 10833   1632096       767       864     34004     65036     70437   3910520    122.58     25.66  --
3760.32/941.29	c  N dy 10963   1652110       767       864     34004     84233     70437   6138487    111.44     25.75  --
3837.02/960.46	c  N dy 11094   1672212       767       864     34004    103500     70437   8399243    106.62     25.83  --
3877.78/970.64	c  N dy 11226   1692345       767       864     34004     69132     70437   4311213    117.62     25.91  --
3924.14/982.20	c  S st 11343   1710251       767       864     34004     86312     70437   6392067    100.85     26.00  --
3924.92/982.48	c  S st 11343   1710753       767       864     34004     86810     70437   6434625    100.85     26.00  --
3924.92/982.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
3924.92/982.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3945.70/987.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:    472 BRemN:   1871 CBin:       0 P: 60.1M T: 20.49
3945.70/987.63	c Calc non-exist non-lernt bins v-fix:     0 done:    767 time:  0.03 s
3945.70/987.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3946.11/987.73	c Subs w/ non-existent bins:    365 time:  0.41 s
3946.11/987.75	c Replacing        6 vars Replaced      208 lits Time:     0.08 s 
3946.52/987.86	c bin-w-bin subsume rem          351 bins  time:  0.02 s
3954.10/989.70	c subs with bin:        3  lits-rem:       114  v-fix:    0  time:  7.35 s
3954.10/989.70	c Removed useless bin:      53  fixed:     0  bprops:   0.03M  time:  0.01 s
4278.90/1071.08	c ORs :     47 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 4 avg s: 3.0 T:    0.57
4383.59/1097.23	c Added 8 vars  tried: 80000 time: 104.48
4390.77/1099.09	c ORs :      8 avg-s:  0.0 cl-sh: 79602 l-rem:  79602 b-add:     16 v-rep:   0 cl-rem: 30 avg s: 5.5 T:  111.89
4391.17/1099.15	c lits-rem:      1761  cl-subs:    12348  v-elim:    682  v-fix:    0  time: 437.22 s
4391.17/1099.15	c learnt bin added due to v-elim: 0
4391.17/1099.15	c vivif2 --  cl tried     1128 cl shrink       99 lits rem         99 time: 0.00
4391.57/1099.23	c vivif2 --  cl tried    74065 cl shrink      424 lits rem        717 time: 0.34
4392.77/1099.51	c asymm  cl-useful: 0/172/1031 lits-rem:0 time: 1.10
4392.77/1099.51	c calculated reachability. Time: 0.00
4392.77/1099.51	c  N dy 11343   1710753       766      1031     31077     74062     66624   5098601    100.85     26.00  --
4443.90/1112.37	c  N dy 11475   1730826       766      1031     31094     93344     66624   7407128    116.19     26.01  --
4521.83/1131.81	c  N dy 11605   1750886       766      1031     31104     58287     66624   3004881     86.34     25.99  --
4565.38/1142.72	c  N dy 11736   1770944       782      1031     31743     77550     66692   5069197    100.72     25.97  --
4684.03/1172.40	c  N dy 11786   1801295       782      1031     31743    106270     66692   7855866     48.94     25.90  --
4732.78/1184.67	c  N dy 11919   1821381       814      1031     32894     70673     67076   4271087    107.97     25.94  --
4788.30/1198.56	c  N dy 12050   1841482       814      1031     32894     89933     67076   6291158    117.99     25.92  --

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-3266905-1304183629/watcher-3266905-1304183629 -o /tmp/evaluation-result-3266905-1304183629/solver-3266905-1304183629 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3266905-1304183629.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 6.73 7.79 7.78 2/174 1781
/proc/meminfo: memFree=25849384/32951124 swapFree=67051468/67111528
[pid=1781] ppid=1779 vsize=50016 CPUtime=0 cores=0,2,4,6
/proc/1781/stat : 1781 (techdemo) R 1779 1781 931 0 -1 4202496 648 0 0 0 0 0 0 0 23 0 1 0 529965667 51216384 583 33554432000 4194304 4797429 140734180594384 18446744073709551615 218370618053 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1781/statm: 12537 586 347 148 0 7466 0

[startup+0.0734079 s]
/proc/loadavg: 6.73 7.79 7.78 2/174 1781
/proc/meminfo: memFree=25849384/32951124 swapFree=67051468/67111528
[pid=1781] ppid=1779 vsize=674984 CPUtime=0.2 cores=0,2,4,6
/proc/1781/stat : 1781 (techdemo) R 1779 1781 931 0 -1 4202496 2324 0 0 0 19 1 0 0 18 0 4 0 529965667 691183616 2234 33554432000 4194304 4797429 140734180594384 18446744073709551615 4341486 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1781/statm: 168746 2236 409 148 0 163675 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 674984

[startup+0.1004 s]
/proc/loadavg: 6.73 7.79 7.78 2/174 1781
/proc/meminfo: memFree=25849384/32951124 swapFree=67051468/67111528
[pid=1781] ppid=1779 vsize=675116 CPUtime=0.31 cores=0,2,4,6
/proc/1781/stat : 1781 (techdemo) R 1779 1781 931 0 -1 4202496 2557 0 0 0 30 1 0 0 18 0 4 0 529965667 691318784 2467 33554432000 4194304 4797429 140734180594384 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1781/statm: 168779 2467 409 148 0 163708 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 675116

[startup+0.300368 s]
/proc/loadavg: 6.73 7.79 7.78 2/174 1781
/proc/meminfo: memFree=25849384/32951124 swapFree=67051468/67111528
[pid=1781] ppid=1779 vsize=675800 CPUtime=1.11 cores=0,2,4,6
/proc/1781/stat : 1781 (techdemo) R 1779 1781 931 0 -1 4202496 3679 0 0 0 109 2 0 0 18 0 4 0 529965667 692019200 3575 33554432000 4194304 4797429 140734180594384 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1781/statm: 168950 3575 411 148 0 163879 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 675800

[startup+0.700296 s]
/proc/loadavg: 6.73 7.79 7.78 2/174 1781
/proc/meminfo: memFree=25849384/32951124 swapFree=67051468/67111528
[pid=1781] ppid=1779 vsize=680076 CPUtime=2.71 cores=0,2,4,6
/proc/1781/stat : 1781 (techdemo) R 1779 1781 931 0 -1 4202496 6179 0 0 0 268 3 0 0 18 0 4 0 529965667 696397824 4337 33554432000 4194304 4797429 140734180594384 18446744073709551615 4389652 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1781/statm: 170019 4337 412 148 0 164948 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 680076

[startup+1.50112 s]
/proc/loadavg: 6.73 7.79 7.78 6/181 1791
/proc/meminfo: memFree=25729184/32951124 swapFree=67051468/67111528
[pid=1781] ppid=1779 vsize=681992 CPUtime=5.91 cores=0,2,4,6
/proc/1781/stat : 1781 (techdemo) R 1779 1781 931 0 -1 4202496 8798 0 0 0 588 3 0 0 19 0 4 0 529965667 698359808 6949 33554432000 4194304 4797429 140734180594384 18446744073709551615 4425057 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1781/statm: 170498 6949 415 148 0 165427 0
[pid=1781/tid=1783] ppid=1779 vsize=681992 CPUtime=1.47 cores=0,2,4,6
/proc/1781/task/1783/stat : 1783 (techdemo) R 1779 1781 931 0 -1 4202560 1572 0 0 0 147 0 0 0 25 0 4 0 529965670 698359808 6949 33554432000 4194304 4797429 140734180594384 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1781/tid=1784] ppid=1779 vsize=681992 CPUtime=1.46 cores=0,2,4,6
/proc/1781/task/1784/stat : 1784 (techdemo) R 1779 1781 931 0 -1 4202560 1921 0 0 0 146 0 0 0 25 0 4 0 529965670 698359808 6949 33554432000 4194304 4797429 140734180594384 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1781/tid=1785] ppid=1779 vsize=681992 CPUtime=1.46 cores=0,2,4,6
/proc/1781/task/1785/stat : 1785 (techdemo) R 1779 1781 931 0 -1 4202560 1904 0 0 0 145 1 0 0 20 0 4 0 529965670 698359808 6949 33554432000 4194304 4797429 140734180594384 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.91
Current children cumulated vsize (KiB) 681992

[startup+3.10084 s]
/proc/loadavg: 6.73 7.79 7.78 9/184 1794
/proc/meminfo: memFree=25641496/32951124 swapFree=67051468/67111528
[pid=1781] ppid=1779 vsize=688088 CPUtime=12.3 cores=0,2,4,6
/proc/1781/stat : 1781 (techdemo) R 1779 1781 931 0 -1 4202496 13823 0 0 0 1225 5 0 0 25 0 4 0 529965667 704602112 10195 33554432000 4194304 4797429 140734180594384 18446744073709551615 4387526 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1781/statm: 172022 10195 415 148 0 166951 0
[pid=1781/tid=1783] ppid=1779 vsize=688088 CPUtime=3.06 cores=0,2,4,6
/proc/1781/task/1783/stat : 1783 (techdemo) R 1779 1781 931 0 -1 4202560 2419 0 0 0 306 0 0 0 25 0 4 0 529965670 704602112 10195 33554432000 4194304 4797429 140734180594384 18446744073709551615 4568110 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1781/tid=1784] ppid=1779 vsize=688088 CPUtime=3.05 cores=0,2,4,6
/proc/1781/task/1784/stat : 1784 (techdemo) R 1779 1781 931 0 -1 4202560 3170 0 0 0 305 0 0 0 25 0 4 0 529965670 704602112 10195 33554432000 4194304 4797429 140734180594384 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1781/tid=1785] ppid=1779 vsize=688088 CPUtime=3.06 cores=0,2,4,6
/proc/1781/task/1785/stat : 1785 (techdemo) R 1779 1781 931 0 -1 4202560 2940 0 0 0 305 1 0 0 25 0 4 0 529965670 704602112 10195 33554432000 4194304 4797429 140734180594384 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 688088

[startup+6.30027 s]
/proc/loadavg: 6.91 7.81 7.79 9/184 1794
/proc/meminfo: memFree=25602376/32951124 swapFree=67051468/67111528
[pid=1781] ppid=1779 vsize=690428 CPUtime=25.07 cores=0,2,4,6
/proc/1781/stat : 1781 (techdemo) R 1779 1781 931 0 -1 4202496 18434 0 0 0 2501 6 0 0 25 0 4 0 529965667 706998272 11367 33554432000 4194304 4797429 140734180594384 18446744073709551615 4520392 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1781/statm: 172607 11367 416 148 0 167536 0
[pid=1781/tid=1783] ppid=1779 vsize=690428 CPUtime=6.26 cores=0,2,4,6
/proc/1781/task/1783/stat : 1783 (techdemo) R 1779 1781 931 0 -1 4202560 2916 0 0 0 626 0 0 0 25 0 4 0 529965670 706998272 11367 33554432000 4194304 4797429 140734180594384 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1781/tid=1784] ppid=1779 vsize=690428 CPUtime=6.23 cores=0,2,4,6
/proc/1781/task/1784/stat : 1784 (techdemo) R 1779 1781 931 0 -1 4202560 3712 0 0 0 623 0 0 0 25 0 4 0 529965670 706998272 11367 33554432000 4194304 4797429 140734180594384 18446744073709551615 4427262 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1781/tid=1785] ppid=1779 vsize=690428 CPUtime=6.26 cores=0,2,4,6
/proc/1781/task/1785/stat : 1785 (techdemo) R 1779 1781 931 0 -1 4202560 3445 0 0 0 625 1 0 0 25 0 4 0 529965670 706998272 11367 33554432000 4194304 4797429 140734180594384 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 690428

[startup+12.7011 s]
/proc/loadavg: 7.00 7.81 7.79 9/184 1794
/proc/meminfo: memFree=25563452/32951124 swapFree=67051468/67111528
[pid=1781] ppid=1779 vsize=691092 CPUtime=50.64 cores=0,2,4,6
/proc/1781/stat : 1781 (techdemo) R 1779 1781 931 0 -1 4202496 21151 0 0 0 5058 6 0 0 25 0 4 0 529965667 707678208 12572 33554432000 4194304 4797429 140734180594384 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1781/statm: 172773 12572 418 148 0 167702 0
[pid=1781/tid=1783] ppid=1779 vsize=691092 CPUtime=12.66 cores=0,2,4,6
/proc/1781/task/1783/stat : 1783 (techdemo) R 1779 1781 931 0 -1 4202560 3285 0 0 0 1266 0 0 0 25 0 4 0 529965670 707678208 12572 33554432000 4194304 4797429 140734180594384 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1781/tid=1784] ppid=1779 vsize=691092 CPUtime=12.6 cores=0,2,4,6
/proc/1781/task/1784/stat : 1784 (techdemo) R 1779 1781 931 0 -1 4202560 3995 0 0 0 1260 0 0 0 25 0 4 0 529965670 707678208 12572 33554432000 4194304 4797429 140734180594384 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1781/tid=1785] ppid=1779 vsize=691092 CPUtime=12.66 cores=0,2,4,6
/proc/1781/task/1785/stat : 1785 (techdemo) R 1779 1781 931 0 -1 4202560 3724 0 0 0 1265 1 0 0 25 0 4 0 529965670 707678208 12572 33554432000 4194304 4797429 140734180594384 18446744073709551615 4520256 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 691092

[startup+25.5008 s]
/proc/loadavg: 7.22 7.82 7.79 9/184 1795
/proc/meminfo: memFree=25543760/32951124 swapFree=67051468/67111528
[pid=1781] ppid=1779 vsize=695384 CPUtime=101.78 cores=0,2,4,6
/proc/1781/stat : 1781 (techdemo) R 1779 1781 931 0 -1 4202496 29024 0 0 0 10170 8 0 0 25 0 4 0 529965667 712073216 14594 33554432000 4194304 4797429 140734180594384 18446744073709551615 4520264 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1781/statm: 173846 14594 418 148 0 168775 0
[pid=1781/tid=1783] ppid=1779 vsize=695384 CPUtime=25.46 cores=0,2,4,6
/proc/1781/task/1783/stat : 1783 (techdemo) R 1779 1781 931 0 -1 4202560 4327 0 0 0 2546 0 0 0 25 0 4 0 529965670 712073216 14594 33554432000 4194304 4797429 140734180594384 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1781/tid=1784] ppid=1779 vsize=695384 CPUtime=25.34 cores=0,2,4,6
/proc/1781/task/1784/stat : 1784 (techdemo) R 1779 1781 931 0 -1 4202560 4750 0 0 0 2534 0 0 0 25 0 4 0 529965670 712073216 14594 33554432000 4194304 4797429 140734180594384 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1781/tid=1785] ppid=1779 vsize=695384 CPUtime=25.46 cores=0,2,4,6
/proc/1781/task/1785/stat : 1785 (techdemo) R 1779 1781 931 0 -1 4202560 4375 0 0 0 2545 1 0 0 25 0 4 0 529965670 712073216 14594 33554432000 4194304 4797429 140734180594384 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 695384

[startup+51.1003 s]
/proc/loadavg: 7.49 7.83 7.80 9/184 1795
/proc/meminfo: memFree=25502716/32951124 swapFree=67051468/67111528
[pid=1781] ppid=1779 vsize=698092 CPUtime=204.07 cores=0,2,4,6
/proc/1781/stat : 1781 (techdemo) R 1779 1781 931 0 -1 4202496 39277 0 0 0 20396 11 0 0 25 0 4 0 529965667 714846208 18841 33554432000 4194304 4797429 140734180594384 18446744073709551615 4526447 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1781/statm: 174523 18841 419 148 0 169452 0
[pid=1781/tid=1783] ppid=1779 vsize=698092 CPUtime=51.06 cores=0,2,4,6
/proc/1781/task/1783/stat : 1783 (techdemo) R 1779 1781 931 0 -1 4202560 5315 0 0 0 5105 1 0 0 25 0 4 0 529965670 714846208 18841 33554432000 4194304 4797429 140734180594384 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1781/tid=1784] ppid=1779 vsize=698092 CPUtime=50.83 cores=0,2,4,6
/proc/1781/task/1784/stat : 1784 (techdemo) R 1779 1781 931 0 -1 4202560 5695 0 0 0 5082 1 0 0 25 0 4 0 529965670 714846208 18841 33554432000 4194304 4797429 140734180594384 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1781/tid=1785] ppid=1779 vsize=698092 CPUtime=51.06 cores=0,2,4,6
/proc/1781/task/1785/stat : 1785 (techdemo) R 1779 1781 931 0 -1 4202560 5576 0 0 0 5104 2 0 0 25 0 4 0 529965670 714846208 18841 33554432000 4194304 4797429 140734180594384 18446744073709551615 4520284 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.07
Current children cumulated vsize (KiB) 698092

[startup+102.306 s]
/proc/loadavg: 7.85 7.87 7.81 9/184 1797
/proc/meminfo: memFree=25447532/32951124 swapFree=67051468/67111528
[pid=1781] ppid=1779 vsize=704464 CPUtime=408.65 cores=0,2,4,6
/proc/1781/stat : 1781 (techdemo) R 1779 1781 931 0 -1 4202496 62191 0 0 0 40847 18 0 0 25 0 4 0 529965667 721371136 22163 33554432000 4194304 4797429 140734180594384 18446744073709551615 4425057 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1781/statm: 176116 22163 419 148 0 171045 0
[pid=1781/tid=1783] ppid=1779 vsize=704464 CPUtime=102.27 cores=0,2,4,6
/proc/1781/task/1783/stat : 1783 (techdemo) R 1779 1781 931 0 -1 4202560 6629 0 0 0 10225 2 0 0 25 0 4 0 529965670 721371136 22163 33554432000 4194304 4797429 140734180594384 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1781/tid=1784] ppid=1779 vsize=704464 CPUtime=101.8 cores=0,2,4,6
/proc/1781/task/1784/stat : 1784 (techdemo) R 1779 1781 931 0 -1 4202560 7540 0 0 0 10179 1 0 0 25 0 4 0 529965670 721371136 22163 33554432000 4194304 4797429 140734180594384 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1781/tid=1785] ppid=1779 vsize=704464 CPUtime=102.27 cores=0,2,4,6
/proc/1781/task/1785/stat : 1785 (techdemo) R 1779 1781 931 0 -1 4202560 8099 0 0 0 10224 3 0 0 25 0 4 0 529965670 721371136 22163 33554432000 4194304 4797429 140734180594384 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 704464

[startup+162.3 s]
/proc/loadavg: 8.02 7.91 7.83 9/184 1798
/proc/meminfo: memFree=25412300/32951124 swapFree=67051468/67111528
[pid=1781] ppid=1779 vsize=708008 CPUtime=648.35 cores=0,2,4,6
/proc/1781/stat : 1781 (techdemo) R 1779 1781 931 0 -1 4202496 83277 0 0 0 64809 26 0 0 25 0 4 0 529965667 725000192 26611 33554432000 4194304 4797429 140734180594384 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1781/statm: 177002 26611 421 148 0 171931 0
[pid=1781/tid=1783] ppid=1779 vsize=708008 CPUtime=162.26 cores=0,2,4,6
/proc/1781/task/1783/stat : 1783 (techdemo) R 1779 1781 931 0 -1 4202560 9221 0 0 0 16224 2 0 0 25 0 4 0 529965670 725000192 26611 33554432000 4194304 4797429 140734180594384 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1781/tid=1784] ppid=1779 vsize=708008 CPUtime=161.52 cores=0,2,4,6
/proc/1781/task/1784/stat : 1784 (techdemo) R 1779 1781 931 0 -1 4202560 9084 0 0 0 16150 2 0 0 25 0 4 0 529965670 725000192 26611 33554432000 4194304 4797429 140734180594384 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1781/tid=1785] ppid=1779 vsize=708008 CPUtime=162.26 cores=0,2,4,6
/proc/1781/task/1785/stat : 1785 (techdemo) R 1779 1781 931 0 -1 4202560 9288 0 0 0 16223 3 0 0 25 0 4 0 529965670 725000192 26611 33554432000 4194304 4797429 140734180594384 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 648.35
Current children cumulated vsize (KiB) 708008

[startup+222.301 s]
/proc/loadavg: 8.07 7.94 7.84 9/184 1800
/proc/meminfo: memFree=25404700/32951124 swapFree=67051468/67111528
[pid=1781] ppid=1779 vsize=711892 CPUtime=888.07 cores=0,2,4,6
/proc/1781/stat : 1781 (techdemo) R 1779 1781 931 0 -1 4202496 105244 0 0 0 88774 33 0 0 25 0 4 0 529965667 728977408 28492 33554432000 4194304 4797429 140734180594384 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1781/statm: 177973 28492 421 148 0 172902 0
[pid=1781/tid=1783] ppid=1779 vsize=711892 CPUtime=222.26 cores=0,2,4,6
/proc/1781/task/1783/stat : 1783 (techdemo) R 1779 1781 931 0 -1 4202560 11005 0 0 0 22223 3 0 0 25 0 4 0 529965670 728977408 28492 33554432000 4194304 4797429 140734180594384 18446744073709551615 4495525 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1781/tid=1784] ppid=1779 vsize=711892 CPUtime=221.25 cores=0,2,4,6
/proc/1781/task/1784/stat : 1784 (techdemo) R 1779 1781 931 0 -1 4202560 10698 0 0 0 22122 3 0 0 25 0 4 0 529965670 728977408 28492 33554432000 4194304 4797429 140734180594384 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1781/tid=1785] ppid=1779 vsize=711892 CPUtime=222.26 cores=0,2,4,6
/proc/1781/task/1785/stat : 1785 (techdemo) R 1779 1781 931 0 -1 4202560 11156 0 0 0 22223 3 0 0 25 0 4 0 529965670 728977408 28492 33554432000 4194304 4797429 140734180594384 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 888.07
Current children cumulated vsize (KiB) 711892

[startup+282.301 s]

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

[pid=1781] ppid=1779 vsize=729980 CPUtime=2805.83 cores=0,2,4,6
/proc/1781/stat : 1781 (techdemo) R 1779 1781 931 0 -1 4202496 276868 0 0 0 280500 83 0 0 25 0 4 0 529965667 747499520 44283 33554432000 4194304 4797429 140734180594384 18446744073709551615 4425057 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1781/statm: 182495 44283 421 148 0 177424 0
[pid=1781/tid=1783] ppid=1779 vsize=729980 CPUtime=702.27 cores=0,2,4,6
/proc/1781/task/1783/stat : 1783 (techdemo) R 1779 1781 931 0 -1 4202560 23788 0 0 0 70220 7 0 0 25 0 4 0 529965670 747499520 44283 33554432000 4194304 4797429 140734180594384 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1781/tid=1784] ppid=1779 vsize=729980 CPUtime=699.01 cores=0,2,4,6
/proc/1781/task/1784/stat : 1784 (techdemo) R 1779 1781 931 0 -1 4202560 22273 0 0 0 69895 6 0 0 25 0 4 0 529965670 747499520 44283 33554432000 4194304 4797429 140734180594384 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1781/tid=1785] ppid=1779 vsize=729980 CPUtime=702.28 cores=0,2,4,6
/proc/1781/task/1785/stat : 1785 (techdemo) R 1779 1781 931 0 -1 4202560 23332 0 0 0 70221 7 0 0 25 0 4 0 529965670 747499520 44283 33554432000 4194304 4797429 140734180594384 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.83
Current children cumulated vsize (KiB) 729980

[startup+762.307 s]
/proc/loadavg: 8.00 8.00 7.91 9/184 1814
/proc/meminfo: memFree=25211592/32951124 swapFree=67051468/67111528
[pid=1781] ppid=1779 vsize=731804 CPUtime=3045.58 cores=0,2,4,6
/proc/1781/stat : 1781 (techdemo) R 1779 1781 931 0 -1 4202496 297212 0 0 0 304468 90 0 0 25 0 4 0 529965667 749367296 46501 33554432000 4194304 4797429 140734180594384 18446744073709551615 4425057 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1781/statm: 182951 46501 421 148 0 177880 0
[pid=1781/tid=1783] ppid=1779 vsize=731804 CPUtime=762.29 cores=0,2,4,6
/proc/1781/task/1783/stat : 1783 (techdemo) R 1779 1781 931 0 -1 4202560 25410 0 0 0 76221 8 0 0 25 0 4 0 529965670 749367296 46501 33554432000 4194304 4797429 140734180594384 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1781/tid=1784] ppid=1779 vsize=731804 CPUtime=758.74 cores=0,2,4,6
/proc/1781/task/1784/stat : 1784 (techdemo) R 1779 1781 931 0 -1 4202560 23331 0 0 0 75868 6 0 0 25 0 4 0 529965670 749367296 46501 33554432000 4194304 4797429 140734180594384 18446744073709551615 4413827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1781/tid=1785] ppid=1779 vsize=731804 CPUtime=762.29 cores=0,2,4,6
/proc/1781/task/1785/stat : 1785 (techdemo) R 1779 1781 931 0 -1 4202560 24223 0 0 0 76222 7 0 0 25 0 4 0 529965670 749367296 46501 33554432000 4194304 4797429 140734180594384 18446744073709551615 4567816 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3045.58
Current children cumulated vsize (KiB) 731804

[startup+822.301 s]
/proc/loadavg: 8.09 8.03 7.92 9/184 1816
/proc/meminfo: memFree=25225964/32951124 swapFree=67051468/67111528
[pid=1781] ppid=1779 vsize=734700 CPUtime=3285.28 cores=0,2,4,6
/proc/1781/stat : 1781 (techdemo) R 1779 1781 931 0 -1 4202496 318361 0 0 0 328432 96 0 0 25 0 4 0 529965667 752332800 44990 33554432000 4194304 4797429 140734180594384 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1781/statm: 183675 44990 421 148 0 178604 0
[pid=1781/tid=1783] ppid=1779 vsize=734700 CPUtime=822.28 cores=0,2,4,6
/proc/1781/task/1783/stat : 1783 (techdemo) R 1779 1781 931 0 -1 4202560 26981 0 0 0 82220 8 0 0 25 0 4 0 529965670 752332800 44990 33554432000 4194304 4797429 140734180594384 18446744073709551615 4524507 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1781/tid=1784] ppid=1779 vsize=734700 CPUtime=818.46 cores=0,2,4,6
/proc/1781/task/1784/stat : 1784 (techdemo) R 1779 1781 931 0 -1 4202560 25009 0 0 0 81839 7 0 0 25 0 4 0 529965670 752332800 44990 33554432000 4194304 4797429 140734180594384 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1781/tid=1785] ppid=1779 vsize=734700 CPUtime=822.29 cores=0,2,4,6
/proc/1781/task/1785/stat : 1785 (techdemo) R 1779 1781 931 0 -1 4202560 25759 0 0 0 82221 8 0 0 25 0 4 0 529965670 752332800 44990 33554432000 4194304 4797429 140734180594384 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3285.28
Current children cumulated vsize (KiB) 734700

[startup+882.3 s]
/proc/loadavg: 8.18 8.07 7.94 9/184 1817
/proc/meminfo: memFree=25194076/32951124 swapFree=67051468/67111528
[pid=1781] ppid=1779 vsize=735644 CPUtime=3525 cores=0,2,4,6
/proc/1781/stat : 1781 (techdemo) R 1779 1781 931 0 -1 4202496 336457 0 0 0 352398 102 0 0 25 0 4 0 529965667 753299456 50804 33554432000 4194304 4797429 140734180594384 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1781/statm: 183911 50804 421 148 0 178840 0
[pid=1781/tid=1783] ppid=1779 vsize=735644 CPUtime=882.27 cores=0,2,4,6
/proc/1781/task/1783/stat : 1783 (techdemo) R 1779 1781 931 0 -1 4202560 28162 0 0 0 88219 8 0 0 25 0 4 0 529965670 753299456 50804 33554432000 4194304 4797429 140734180594384 18446744073709551615 4425072 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1781/tid=1784] ppid=1779 vsize=735644 CPUtime=878.18 cores=0,2,4,6
/proc/1781/task/1784/stat : 1784 (techdemo) R 1779 1781 931 0 -1 4202560 26690 0 0 0 87811 7 0 0 25 0 4 0 529965670 753299456 50804 33554432000 4194304 4797429 140734180594384 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1781/tid=1785] ppid=1779 vsize=735644 CPUtime=882.28 cores=0,2,4,6
/proc/1781/task/1785/stat : 1785 (techdemo) R 1779 1781 931 0 -1 4202560 27370 0 0 0 88220 8 0 0 25 0 4 0 529965670 753299456 50804 33554432000 4194304 4797429 140734180594384 18446744073709551615 4524992 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3525
Current children cumulated vsize (KiB) 735644

[startup+942.3 s]
/proc/loadavg: 8.18 8.08 7.95 9/184 1819
/proc/meminfo: memFree=25172848/32951124 swapFree=67051468/67111528
[pid=1781] ppid=1779 vsize=802128 CPUtime=3764.72 cores=0,2,4,6
/proc/1781/stat : 1781 (techdemo) R 1779 1781 931 0 -1 4202496 357823 0 0 0 376362 110 0 0 25 0 4 0 529965667 821379072 49059 33554432000 4194304 4797429 140734180594384 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1781/statm: 200532 49059 421 148 0 195461 0
[pid=1781/tid=1783] ppid=1779 vsize=802128 CPUtime=942.28 cores=0,2,4,6
/proc/1781/task/1783/stat : 1783 (techdemo) R 1779 1781 931 0 -1 4202560 29769 0 0 0 94219 9 0 0 25 0 4 0 529965670 821379072 49059 33554432000 4194304 4797429 140734180594384 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1781/tid=1784] ppid=1779 vsize=802128 CPUtime=937.91 cores=0,2,4,6
/proc/1781/task/1784/stat : 1784 (techdemo) R 1779 1781 931 0 -1 4202560 28153 0 0 0 93783 8 0 0 25 0 4 0 529965670 821379072 49059 33554432000 4194304 4797429 140734180594384 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1781/tid=1785] ppid=1779 vsize=802128 CPUtime=942.29 cores=0,2,4,6
/proc/1781/task/1785/stat : 1785 (techdemo) R 1779 1781 931 0 -1 4202560 29212 0 0 0 94220 9 0 0 25 0 4 0 529965670 821379072 49059 33554432000 4194304 4797429 140734180594384 18446744073709551615 4520363 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3764.72
Current children cumulated vsize (KiB) 802128

[startup+1002.3 s]
/proc/loadavg: 8.13 8.08 7.95 9/184 1821
/proc/meminfo: memFree=25136968/32951124 swapFree=67051468/67111528
[pid=1781] ppid=1779 vsize=804504 CPUtime=4004.43 cores=0,2,4,6
/proc/1781/stat : 1781 (techdemo) R 1779 1781 931 0 -1 4202496 374168 0 0 0 400329 114 0 0 25 0 4 0 529965667 823812096 54228 33554432000 4194304 4797429 140734180594384 18446744073709551615 4524384 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1781/statm: 201126 54228 421 148 0 196055 0
[pid=1781/tid=1783] ppid=1779 vsize=804504 CPUtime=1002.28 cores=0,2,4,6
/proc/1781/task/1783/stat : 1783 (techdemo) R 1779 1781 931 0 -1 4202560 31395 0 0 0 100218 10 0 0 25 0 4 0 529965670 823812096 54228 33554432000 4194304 4797429 140734180594384 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1781/tid=1784] ppid=1779 vsize=804504 CPUtime=997.62 cores=0,2,4,6
/proc/1781/task/1784/stat : 1784 (techdemo) R 1779 1781 931 0 -1 4202560 29354 0 0 0 99754 8 0 0 25 0 4 0 529965670 823812096 54228 33554432000 4194304 4797429 140734180594384 18446744073709551615 4520192 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1781/tid=1785] ppid=1779 vsize=804504 CPUtime=1002.29 cores=0,2,4,6
/proc/1781/task/1785/stat : 1785 (techdemo) R 1779 1781 931 0 -1 4202560 30129 0 0 0 100220 9 0 0 25 0 4 0 529965670 823812096 54228 33554432000 4194304 4797429 140734180594384 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4004.43
Current children cumulated vsize (KiB) 804504

[startup+1062.3 s]
/proc/loadavg: 8.19 8.11 7.97 9/184 1822
/proc/meminfo: memFree=25139924/32951124 swapFree=67051468/67111528
[pid=1781] ppid=1779 vsize=805148 CPUtime=4244.15 cores=0,2,4,6
/proc/1781/stat : 1781 (techdemo) R 1779 1781 931 0 -1 4202496 378206 0 0 0 424299 116 0 0 25 0 4 0 529965667 824471552 54450 33554432000 4194304 4797429 140734180594384 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1781/statm: 201287 54450 421 148 0 196216 0
[pid=1781/tid=1783] ppid=1779 vsize=805148 CPUtime=1062.28 cores=0,2,4,6
/proc/1781/task/1783/stat : 1783 (techdemo) R 1779 1781 931 0 -1 4202560 32274 0 0 0 106218 10 0 0 25 0 4 0 529965670 824471552 54450 33554432000 4194304 4797429 140734180594384 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1781/tid=1784] ppid=1779 vsize=805148 CPUtime=1057.34 cores=0,2,4,6
/proc/1781/task/1784/stat : 1784 (techdemo) R 1779 1781 931 0 -1 4202560 30891 0 0 0 105725 9 0 0 25 0 4 0 529965670 824471552 54450 33554432000 4194304 4797429 140734180594384 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1781/tid=1785] ppid=1779 vsize=805148 CPUtime=1062.29 cores=0,2,4,6
/proc/1781/task/1785/stat : 1785 (techdemo) R 1779 1781 931 0 -1 4202560 31747 0 0 0 106220 9 0 0 25 0 4 0 529965670 824471552 54450 33554432000 4194304 4797429 140734180594384 18446744073709551615 4429163 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4244.15
Current children cumulated vsize (KiB) 805148

[startup+1122.3 s]
/proc/loadavg: 8.10 8.10 7.97 9/184 1824
/proc/meminfo: memFree=25096112/32951124 swapFree=67051468/67111528
[pid=1781] ppid=1779 vsize=805940 CPUtime=4483.86 cores=0,2,4,6
/proc/1781/stat : 1781 (techdemo) R 1779 1781 931 0 -1 4202496 385500 0 0 0 448269 117 0 0 25 0 4 0 529965667 825282560 59692 33554432000 4194304 4797429 140734180594384 18446744073709551615 4425054 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1781/statm: 201485 59692 421 148 0 196414 0
[pid=1781/tid=1783] ppid=1779 vsize=805940 CPUtime=1122.28 cores=0,2,4,6
/proc/1781/task/1783/stat : 1783 (techdemo) R 1779 1781 931 0 -1 4202560 34154 0 0 0 112217 11 0 0 25 0 4 0 529965670 825282560 59692 33554432000 4194304 4797429 140734180594384 18446744073709551615 4520385 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1781/tid=1784] ppid=1779 vsize=805940 CPUtime=1117.05 cores=0,2,4,6
/proc/1781/task/1784/stat : 1784 (techdemo) R 1779 1781 931 0 -1 4202560 31875 0 0 0 111696 9 0 0 25 0 4 0 529965670 825282560 59692 33554432000 4194304 4797429 140734180594384 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1781/tid=1785] ppid=1779 vsize=805940 CPUtime=1122.29 cores=0,2,4,6
/proc/1781/task/1785/stat : 1785 (techdemo) R 1779 1781 931 0 -1 4202560 32638 0 0 0 112220 9 0 0 25 0 4 0 529965670 825282560 59692 33554432000 4194304 4797429 140734180594384 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4483.86
Current children cumulated vsize (KiB) 805940

[startup+1182.3 s]
/proc/loadavg: 8.15 8.11 7.98 9/184 1825
/proc/meminfo: memFree=25103644/32951124 swapFree=67051468/67111528
[pid=1781] ppid=1779 vsize=809312 CPUtime=4723.59 cores=0,2,4,6
/proc/1781/stat : 1781 (techdemo) R 1779 1781 931 0 -1 4202496 405084 0 0 0 472235 124 0 0 25 0 4 0 529965667 828735488 53911 33554432000 4194304 4797429 140734180594384 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1781/statm: 202328 53911 421 148 0 197257 0
[pid=1781/tid=1783] ppid=1779 vsize=809312 CPUtime=1182.29 cores=0,2,4,6
/proc/1781/task/1783/stat : 1783 (techdemo) R 1779 1781 931 0 -1 4202560 35968 0 0 0 118217 12 0 0 25 0 4 0 529965670 828735488 53911 33554432000 4194304 4797429 140734180594384 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1781/tid=1784] ppid=1779 vsize=809312 CPUtime=1176.78 cores=0,2,4,6
/proc/1781/task/1784/stat : 1784 (techdemo) R 1779 1781 931 0 -1 4202560 33770 0 0 0 117668 10 0 0 25 0 4 0 529965670 828735488 53911 33554432000 4194304 4797429 140734180594384 18446744073709551615 4429121 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1781/tid=1785] ppid=1779 vsize=809312 CPUtime=1182.29 cores=0,2,4,6
/proc/1781/task/1785/stat : 1785 (techdemo) R 1779 1781 931 0 -1 4202560 34573 0 0 0 118219 10 0 0 25 0 4 0 529965670 828735488 53911 33554432000 4194304 4797429 140734180594384 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4723.59
Current children cumulated vsize (KiB) 809312



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.5 s]
/proc/loadavg: 8.10 8.10 7.98 9/184 1826
/proc/meminfo: memFree=25133396/32951124 swapFree=67051468/67111528
[pid=1781] ppid=1779 vsize=809312 CPUtime=4800.29 cores=0,2,4,6
/proc/1781/stat : 1781 (techdemo) R 1779 1781 931 0 -1 4202496 408784 0 0 0 479904 125 0 0 25 0 4 0 529965667 828735488 57566 33554432000 4194304 4797429 140734180594384 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1781/statm: 202328 57566 421 148 0 197257 0
[pid=1781/tid=1783] ppid=1779 vsize=809312 CPUtime=1201.49 cores=0,2,4,6
/proc/1781/task/1783/stat : 1783 (techdemo) R 1779 1781 931 0 -1 4202560 36237 0 0 0 120137 12 0 0 25 0 4 0 529965670 828735488 57566 33554432000 4194304 4797429 140734180594384 18446744073709551615 4524604 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1781/tid=1784] ppid=1779 vsize=809312 CPUtime=1195.88 cores=0,2,4,6
/proc/1781/task/1784/stat : 1784 (techdemo) R 1779 1781 931 0 -1 4202560 34079 0 0 0 119578 10 0 0 25 0 4 0 529965670 828735488 57566 33554432000 4194304 4797429 140734180594384 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1781/tid=1785] ppid=1779 vsize=809312 CPUtime=1201.5 cores=0,2,4,6
/proc/1781/task/1785/stat : 1785 (techdemo) R 1779 1781 931 0 -1 4202560 34836 0 0 0 120140 10 0 0 25 0 4 0 529965670 828735488 57566 33554432000 4194304 4797429 140734180594384 18446744073709551615 4430024 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 809312

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

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

[startup+1201.5 s]
/proc/loadavg: 8.10 8.10 7.98 9/184 1826
/proc/meminfo: memFree=25133396/32951124 swapFree=67051468/67111528
[pid=1781] ppid=1779 vsize=809312 CPUtime=4800.29 cores=0,2,4,6
/proc/1781/stat : 1781 (techdemo) R 1779 1781 931 0 -1 4202496 408784 0 0 0 479904 125 0 0 25 0 4 0 529965667 828735488 57566 33554432000 4194304 4797429 140734180594384 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1781/statm: 202328 57566 421 148 0 197257 0
[pid=1781/tid=1783] ppid=1779 vsize=809312 CPUtime=1201.49 cores=0,2,4,6
/proc/1781/task/1783/stat : 1783 (techdemo) R 1779 1781 931 0 -1 4202560 36237 0 0 0 120137 12 0 0 25 0 4 0 529965670 828735488 57566 33554432000 4194304 4797429 140734180594384 18446744073709551615 4524604 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1781/tid=1784] ppid=1779 vsize=809312 CPUtime=1195.88 cores=0,2,4,6
/proc/1781/task/1784/stat : 1784 (techdemo) R 1779 1781 931 0 -1 4202560 34079 0 0 0 119578 10 0 0 25 0 4 0 529965670 828735488 57566 33554432000 4194304 4797429 140734180594384 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1781/tid=1785] ppid=1779 vsize=809312 CPUtime=1201.5 cores=0,2,4,6
/proc/1781/task/1785/stat : 1785 (techdemo) R 1779 1781 931 0 -1 4202560 34836 0 0 0 120140 10 0 0 25 0 4 0 529965670 828735488 57566 33554432000 4194304 4797429 140734180594384 18446744073709551615 4430024 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 809312

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.52
CPU time (s): 4800.34
CPU user time (s): 4799.08
CPU system time (s): 1.26781
CPU usage (%): 399.521
Max. virtual memory (cumulated for all children) (KiB): 847216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.08
system time used= 1.26781
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 408784
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= 247
involuntary context switches= 32428

runsolver used 1.64875 second user time and 3.90241 second system time

The end

Launcher Data 

Begin job on node101 at 2011-04-30 19:13:49
IDJOB=3266905
IDBENCH=88220
IDSOLVER=1584
FILE ID=node101/3266905-1304183629
RUNJOBID= node101-1304183629-1767
PBS_JOBID= 13172432
Free space on /tmp= 72160 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m27-q255-n25-p15-s2076598.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3266905-1304183629/watcher-3266905-1304183629 -o /tmp/evaluation-result-3266905-1304183629/solver-3266905-1304183629 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3266905-1304183629.cnf

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

MD5SUM BENCH= f5a22d1154b549fd98215f1710a15f46
RANDOM SEED=1655258327

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25849796 kB
Buffers:       1927408 kB
Cached:        4693416 kB
SwapCached:      30424 kB
Active:        1788720 kB
Inactive:      4869192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25849796 kB
SwapTotal:    67111528 kB
SwapFree:     67051468 kB
Dirty:            9880 kB
Writeback:           0 kB
AnonPages:       27968 kB
Mapped:           8596 kB
Slab:           379960 kB
PageTables:       4828 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   191108 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= 72132 MiB
End job on node101 at 2011-04-30 19:33:53