Trace number 3266861

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.31 1201.62

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf
MD5SUM02e75ad23aeadbf30b2a4fb3c21ae723
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.466928
Satisfiable
(Un)Satisfiability was proved
Number of variables894
Number of clauses82294
Sum of the clauses size165422
Maximum clause length32
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 282264
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 530

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-3266861-1304183522.cnf'
0.00/0.00	c -- header says num vars:            894
0.00/0.00	c -- header says num clauses:       82294
0.02/0.06	c -- clauses added:            0 learnts,        82294 normals,            0 xors
0.02/0.06	c -- vars added        894
0.02/0.06	c Parsing time:  0.06 s
0.02/0.06	c  N st     0         0       894        30     82264         0    165422         0   no data   no data  --
0.02/0.06	c asymm  cl-useful: 0/30/30 lits-rem:0 time: 0.00
0.02/0.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.5M T:  0.07
0.02/0.13	c Calc non-exist non-lernt bins v-fix:     0 done:    894 time:  0.03 s
0.02/0.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.02/0.13	c Subs w/ non-existent bins:      0 time:  0.00 s
0.02/0.13	c bin-w-bin subsume rem            0 bins  time:  0.05 s
0.02/0.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
0.02/0.13	c Removed useless bin:       0  fixed:     0  bprops:   0.33M  time:  0.03 s
0.02/0.15	c lits-rem:       609  cl-subs:        0  v-elim:    566  v-fix:    0  time:  0.09 s
0.02/0.15	c learnt bin added due to v-elim: 0
0.02/0.15	c Finding binary XORs  T:     0.01 s  found:       0
0.37/0.16	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.37/0.16	c calculated reachability. Time: 0.00
0.37/0.16	c Calc default polars -  time:   0.00 s pos:       0 undec:      30 neg:     864
0.37/0.16	c =========================================================================================
0.37/0.16	c types(t): F = full restart, N = normal restart
0.37/0.16	c types(t): S = simplification begin/end, E = solution found
0.37/0.16	c restart types(rt): st = static, dy = dynamic
0.37/0.16	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.37/0.16	c  B st     0         0       864      3096     78304         0    258597         0   no data   no data  --
0.37/0.40	c Decided on static restart strategy
0.37/0.77	c  N dy    20      4046       864      3096     78304      3891    258594    447433    122.94     13.90  --
5.29/1.41	c  N dy    49      8121       864      3096     78304      5414    258590    436096     49.02     13.11  --
8.17/2.18	c  N dy    78     12198       864      3096     78304      5233    258586    442251    123.15     13.26  --
12.17/3.18	c  N dy   107     16345       864      3096     78304      9246    258582    950600    135.04     13.62  --
16.19/4.17	c  N dy   135     20351       864      3096     78304      7690    258579    719071    113.70     13.83  --
19.77/5.07	c  N dy   164     24404       864      3096     78304     11563    258579    987544     75.66     13.55  --
23.76/6.01	c  N dy   193     28488       864      3096     78304      8981    258579    694579     73.37     13.75  --
24.97/6.39	c  S st   204     30000       864      3096     78304     10448    258578    871505    125.19     13.96  --
25.35/6.47	c  S st   204     30500       864      3096     78304     10941    258572    898977    125.19     13.96  --
25.35/6.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
25.35/6.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
32.54/8.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 33.4M T:  7.16
32.54/8.28	c Calc non-exist non-lernt bins v-fix:     0 done:    864 time:  0.04 s
32.54/8.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
32.54/8.29	c Subs w/ non-existent bins:      0 time:  0.05 s
32.94/8.32	c bin-w-bin subsume rem            0 bins  time:  0.06 s
38.53/9.70	c subs with bin:        0  lits-rem:       785  v-fix:    0  time:  5.51 s
38.53/9.71	c Removed useless bin:       0  fixed:     0  bprops:   0.32M  time:  0.03 s
44.53/11.23	c lits-rem:      3207  cl-subs:     1439  v-elim:    864  v-fix:    0  time:  6.09 s
44.53/11.23	c learnt bin added due to v-elim: 0
44.53/11.24	c vivif2 --  cl tried     3096 cl shrink     2392 lits rem      16866 time: 0.02
44.53/11.25	c vivif2 --  cl tried     9502 cl shrink        0 lits rem          0 time: 0.04
45.33/11.47	c asymm  cl-useful: 17/489/3096 lits-rem:39 time: 0.88
45.33/11.47	c calculated reachability. Time: 0.00
45.33/11.47	c  N dy   204     30500       864      3096     78304      9502    239116    773933    125.19     13.96  --
45.33/11.47	c  F st   204     30500       864      3096     78304      9502    239116    773933    125.19     13.96  --
47.73/12.08	c Decided on static restart strategy
50.13/12.67	c  N dy   224     34617       864      3096     78304     13453    239116   1191568     86.91     14.29  --
54.51/13.72	c  N dy   252     38697       864      3096     78304      9766    239116    730204     82.03     14.06  --
57.71/14.56	c  N dy   280     42756       864      3096     78304     13663    239116   1045905    101.62     13.89  --
60.90/15.32	c  S st   301     45750       864      3096     78304     16552    239116   1370707    118.99     13.88  --
61.30/15.42	c  S st   301     46250       864      3096     78304     17051    239116   1402160    118.99     13.88  --
61.30/15.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
61.30/15.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
72.09/18.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 54.0M T: 10.76
72.09/18.13	c Calc non-exist non-lernt bins v-fix:     0 done:    864 time:  0.04 s
72.09/18.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
72.09/18.15	c Subs w/ non-existent bins:      0 time:  0.08 s
72.09/18.19	c bin-w-bin subsume rem            0 bins  time:  0.06 s
77.70/19.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.57 s
77.70/19.59	c Removed useless bin:       0  fixed:     0  bprops:   0.32M  time:  0.03 s
87.28/21.97	c lits-rem:      2117  cl-subs:     1451  v-elim:    864  v-fix:    0  time:  9.53 s
87.28/21.97	c learnt bin added due to v-elim: 0
87.28/21.98	c vivif2 --  cl tried     3096 cl shrink        0 lits rem          0 time: 0.01
87.28/21.99	c vivif2 --  cl tried    15600 cl shrink        0 lits rem          0 time: 0.07
88.48/22.21	c asymm  cl-useful: 0/251/3096 lits-rem:0 time: 0.88
88.48/22.22	c calculated reachability. Time: 0.00
88.48/22.22	c  N dy   301     46250       864      3096     78304     15600    239109   1273070    118.99     13.88  --
92.07/23.13	c  N dy   329     50330       864      3096     78304     10920    239109    795560    105.13     13.91  --
96.86/24.31	c  N dy   357     54445       864      3096     78304     14856    239109   1235366    111.09     14.06  --
102.46/25.74	c  N dy   385     58580       864      3096     78304     18819    239109   1593338     71.66     13.97  --
105.25/26.48	c  N dy   413     62644       864      3096     78304     13190    239109    962899    100.42     13.85  --
108.85/27.37	c  N dy   442     66790       864      3096     78304     17177    239109   1330856    107.36     13.85  --
112.05/28.13	c  S st   460     69376       864      3096     78304     19662    239109   1591072    112.34     13.86  --
112.47/28.25	c  S st   460     69876       864      3096     78304     20158    239109   1623691    112.34     13.86  --
112.47/28.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
112.47/28.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
125.65/31.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 13.30
125.65/31.60	c Calc non-exist non-lernt bins v-fix:     0 done:    864 time:  0.04 s
125.65/31.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
126.05/31.62	c Subs w/ non-existent bins:      0 time:  0.09 s
126.05/31.66	c bin-w-bin subsume rem            0 bins  time:  0.06 s
132.03/33.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.86 s
132.03/33.14	c Removed useless bin:       0  fixed:     0  bprops:   0.32M  time:  0.03 s
144.01/36.13	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.07
168.37/42.29	c Added 9 vars  tried: 80000 time: 24.60
169.17/42.40	c ORs :      9 avg-s:  0.0 cl-sh: 15922 l-rem:  15922 b-add:     18 v-rep:   0 cl-rem: 0 avg s: nan T:   25.04
169.17/42.41	c lits-rem:      2036  cl-subs:     1824  v-elim:    864  v-fix:    0  time: 37.06 s
169.17/42.41	c learnt bin added due to v-elim: 0
169.17/42.41	c vivif2 --  cl tried     3105 cl shrink        0 lits rem          0 time: 0.01
169.17/42.44	c vivif2 --  cl tried    18334 cl shrink        0 lits rem          0 time: 0.09
169.99/42.66	c asymm  cl-useful: 0/190/3105 lits-rem:0 time: 0.89
169.99/42.66	c calculated reachability. Time: 0.00
169.99/42.66	c  N dy   460     69876       873      3105     78322     18334    238835   1447713    112.34     13.86  --
169.99/42.66	c  F st   460     69876       873      3105     78322     18334    238835   1447713    112.34     13.86  --
171.57/43.07	c Decided on static restart strategy
173.56/43.50	c  N dy   482     74374       873      3105     78330     12106    238835    937658    153.12     14.46  --
177.17/44.43	c  N dy   514     79147       873      3105     78332     16617    238835   1675128    159.53     15.76  --
183.56/46.04	c  N dy   548     84309       873      3105     78332     21534    238835   2531587    176.49     16.63  --
188.75/47.32	c  N dy   584     89834       873      3105     78335     15305    238835   1503014    174.11     17.88  --
194.74/48.80	c  N dy   622     95621       873      3105     78336     20756    238835   2478620    167.19     18.91  --
202.33/50.77	c  N dy   663    101757       873      3105     78337     14269    238835   1110210    174.20     19.55  --
205.15/51.41	c  S st   684    104814       873      3105     78337     17178    238835   1590900    169.22     20.13  --
205.53/51.53	c  S st   684    105314       873      3105     78337     17678    238835   1623333    169.22     20.13  --
205.53/51.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
205.53/51.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
220.31/55.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:    678 BRemL:     18 BRemN:      0 CBin:       0 P: 60.0M T: 14.82
220.31/55.25	c Calc non-exist non-lernt bins v-fix:     0 done:    873 time:  0.04 s
220.31/55.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
220.31/55.27	c Subs w/ non-existent bins:      0 time:  0.08 s
220.71/55.31	c bin-w-bin subsume rem            0 bins  time:  0.06 s
226.72/56.86	c subs with bin:        0  lits-rem:        22  v-fix:    0  time:  6.19 s
226.72/56.87	c Removed useless bin:       0  fixed:     0  bprops:   0.25M  time:  0.02 s
239.49/60.03	c ORs :     18 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.08
239.49/60.04	c lits-rem:      1033  cl-subs:     2380  v-elim:   1185  v-fix:    0  time: 12.68 s
239.49/60.04	c learnt bin added due to v-elim: 0
239.49/60.04	c vivif2 --  cl tried     3575 cl shrink      228 lits rem        229 time: 0.01
239.49/60.08	c vivif2 --  cl tried    15298 cl shrink     1086 lits rem       2268 time: 0.13
240.68/60.34	c asymm  cl-useful: 0/232/3347 lits-rem:0 time: 1.03
240.68/60.34	c calculated reachability. Time: 0.00
240.68/60.34	c  N dy   684    105314       870      3347     78739     15298    239055   1296704    169.22     20.13  --
248.70/62.34	c  N dy   729    112065       870      3347     78739     21702    239055   2262884    160.54     20.70  --
258.66/64.84	c  N dy   776    119229       870      3347     78739     15243    239055   1148358    141.22     21.26  --
266.68/66.89	c  N dy   827    126942       870      3347     78739     22526    239055   2250093    168.29     21.99  --
278.64/69.88	c  N dy   880    135078       870      3347     78739     16016    239055   1240977    161.50     22.93  --
289.03/72.40	c  N dy   938    143839       870      3347     78739     24296    239055   2625659    147.60     24.19  --
302.21/75.78	c  N dy   998    153061       870      3347     78739     17998    239055   1518869    209.25     24.68  --
308.61/77.30	c  S st  1031    157971       870      3347     78739     22675    239055   2287527    195.03     25.09  --
309.01/77.42	c  S st  1031    158472       870      3347     78739     23175    239055   2316878    195.03     25.09  --
309.01/77.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
309.01/77.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
327.80/82.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:    229 CBin:       0 P: 60.1M T: 19.03
327.80/82.20	c Calc non-exist non-lernt bins v-fix:     0 done:    870 time:  0.04 s
327.80/82.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
328.20/82.22	c Subs w/ non-existent bins:      0 time:  0.11 s
328.20/82.28	c bin-w-bin subsume rem          225 bins  time:  0.05 s
334.57/83.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.31 s
334.57/83.86	c Removed useless bin:       0  fixed:     0  bprops:   0.27M  time:  0.03 s
351.74/88.13	c ORs :     18 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.09
351.74/88.15	c lits-rem:       551  cl-subs:     2545  v-elim:    859  v-fix:    0  time: 17.13 s
351.74/88.15	c learnt bin added due to v-elim: 0
351.74/88.15	c vivif2 --  cl tried     3347 cl shrink        0 lits rem          0 time: 0.01
351.74/88.18	c vivif2 --  cl tried    20630 cl shrink        0 lits rem          0 time: 0.10
352.94/88.49	c asymm  cl-useful: 0/112/3347 lits-rem:0 time: 1.24
352.94/88.49	c calculated reachability. Time: 0.00
352.94/88.49	c  N dy  1031    158472       870      3347     78285     20630    238597   1880444    195.03     25.09  --
371.32/93.04	c  N dy  1098    168701       907      3347     81256     32707    240705   3540754    139.52     25.97  --
386.50/96.86	c  N dy  1169    179509       907      3347     81256     25796    240705   2379949    180.10     26.37  --
404.08/101.20	c  N dy  1245    191050       907      3347     81260     18994    240705   1198994    146.59     27.26  --
420.86/105.48	c  N dy  1325    203300       907      3347     81260     30574    240705   2829352    111.89     27.66  --
440.44/110.31	c  N dy  1410    216303       907      3347     81260     24628    240705   2023551    141.21     28.04  --
471.20/118.06	c  N dy  1498    230263       907      3347     82493     39258    241757   4508868    180.19     28.27  --
481.19/120.57	c  S st  1547    237709       907      3347     82493     26522    241757   2214218    180.93     28.61  --
481.61/120.67	c  S st  1547    238211       907      3347     82493     27022    241757   2249623    180.93     28.61  --
481.61/120.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
481.61/120.68	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
500.76/125.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:     22 BRemL:     52 BRemN:     20 CBin:       0 P: 60.0M T: 19.03
500.76/125.45	c Calc non-exist non-lernt bins v-fix:     0 done:    907 time:  0.04 s
500.76/125.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
500.76/125.48	c Subs w/ non-existent bins:   1510 time:  0.14 s
500.76/125.49	c Replacing        1 vars Replaced       21 lits Time:     0.03 s 
501.16/125.54	c bin-w-bin subsume rem         1491 bins  time:  0.06 s
507.55/127.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.38 s
507.55/127.15	c Removed useless bin:    1387  fixed:     0  bprops:   0.18M  time:  0.02 s
524.73/131.42	c ORs :     18 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.10
524.73/131.44	c lits-rem:      1053  cl-subs:     2191  v-elim:    859  v-fix:    0  time: 17.16 s
524.73/131.44	c learnt bin added due to v-elim: 0
524.73/131.44	c vivif2 --  cl tried     3347 cl shrink        0 lits rem          0 time: 0.00
524.73/131.47	c vivif2 --  cl tried    23320 cl shrink       21 lits rem         42 time: 0.12
525.95/131.74	c asymm  cl-useful: 0/141/3347 lits-rem:0 time: 1.08
525.95/131.75	c calculated reachability. Time: 0.00
525.95/131.75	c  N dy  1547    238211       906      3347     79578     23305    238939   1864825    180.93     28.61  --
552.68/138.42	c  N dy  1644    253433       906      3347     79578     37650    238939   4114564    159.87     29.08  --
575.46/144.17	c  N dy  1749    269669       946      3347     82609     35433    240556   3263073    162.51     29.54  --
603.03/151.03	c  N dy  1862    287023       946      3347     82611     30435    240556   2729443    128.50     29.94  --
636.98/159.54	c  N dy  1981    305379       946      3347     82611     25605    240556   1739594    153.32     30.77  --
674.15/168.87	c  N dy  2108    324946       946      3347     83670     44694    241050   4628082    158.92     31.10  --
712.90/178.53	c  N dy  2238    345026       946      3347     83670     40342    241050   4127993    208.70     31.86  --
740.46/185.41	c  S st  2318    357317       976      3347     86082     29167    242980   1960002    155.65     32.22  --
740.46/185.50	c  S st  2318    357820       976      3347     86082     29668    242980   2002159    155.65     32.22  --
740.88/185.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
740.88/185.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
756.05/189.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:    647 BRemL:    255 BRemN:   1655 CBin:       0 P: 60.0M T: 15.50
756.45/189.40	c Calc non-exist non-lernt bins v-fix:     0 done:    976 time:  0.04 s
756.45/189.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
756.45/189.44	c Subs w/ non-existent bins:   1886 time:  0.15 s
756.45/189.44	c Replacing        3 vars Replaced       46 lits Time:     0.04 s 
756.45/189.49	c bin-w-bin subsume rem         1801 bins  time:  0.06 s
762.44/190.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.72 s
762.44/190.93	c Removed useless bin:     404  fixed:     0  bprops:   0.12M  time:  0.02 s
775.63/194.27	c ORs :     18 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 5 avg s: 3.0 T:    0.09
803.58/201.20	c Added 10 vars  tried: 80000 time: 27.68
803.98/201.35	c ORs :     10 avg-s:  0.0 cl-sh: 18127 l-rem:  18127 b-add:     20 v-rep:   0 cl-rem: 15 avg s: 3.0 T:   28.27
803.98/201.37	c lits-rem:       925  cl-subs:     1873  v-elim:    859  v-fix:    0  time: 41.70 s
803.98/201.37	c learnt bin added due to v-elim: 0
803.98/201.37	c vivif2 --  cl tried     3354 cl shrink        0 lits rem          0 time: 0.01
804.38/201.40	c vivif2 --  cl tried    25892 cl shrink       42 lits rem         85 time: 0.11
805.18/201.61	c asymm  cl-useful: 0/350/3354 lits-rem:0 time: 0.82
805.18/201.61	c calculated reachability. Time: 0.00
805.18/201.61	c  N dy  2318    357820       983      3354     82665     25855    238571   1730699    155.65     32.22  --
831.15/208.15	c  N dy  2449    377829       983      3354     82674     45158    238579   4818129    125.49     32.29  --
832.35/208.45	c Finding binary XORs  T:     0.01 s  found:       0
855.91/214.32	c  N dy  2581    397962       983      3354     82674     39742    238579   3409640     84.38     32.25  --
878.29/219.96	c  N dy  2715    418111       983      3354     82674     33423    238579   2740535    152.74     32.05  --
910.66/228.04	c  N dy  2844    438122       983      3354     82674     52432    238579   6023071    187.05     32.09  --
931.83/233.38	c  N dy  2977    458128       983      3354     83326     44915    238579   4366946    178.66     32.05  --
957.00/239.66	c  N dy  3109    478226       983      3354     83650     36583    238579   2661317    184.03     31.78  --
986.17/246.90	c  N dy  3242    498278      1024      3354     85712     56562    239393   5450525    184.82     31.69  --
1008.54/252.55	c  N dy  3374    518323      1024      3354     85712     46817    239393   4399509    208.40     31.61  --
1038.90/260.17	c  S st  3494    536731      1024      3354     85714     34567    239393   2333248    179.59     31.73  --
1039.30/260.29	c  S st  3494    537233      1024      3354     85715     35068    239393   2367729    179.59     31.73  --
1039.30/260.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1039.30/260.29	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
1056.08/264.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:    536 BRemL:    365 BRemN:   2932 CBin:       0 P: 60.1M T: 16.40
1056.08/264.41	c Calc non-exist non-lernt bins v-fix:     0 done:   1024 time:  0.04 s
1056.08/264.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1056.08/264.46	c Subs w/ non-existent bins:    328 time:  0.17 s
1056.08/264.47	c Replacing        4 vars Replaced       75 lits Time:     0.04 s 
1056.48/264.52	c bin-w-bin subsume rem          320 bins  time:  0.05 s
1062.46/266.03	c subs with bin:        0  lits-rem:         4  v-fix:    0  time:  6.03 s
1062.46/266.03	c Removed useless bin:       8  fixed:     0  bprops:   0.11M  time:  0.02 s
1078.85/270.11	c ORs :     46 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.13
1078.85/270.13	c lits-rem:      3576  cl-subs:     2970  v-elim:   1073  v-fix:    0  time: 16.37 s
1078.85/270.13	c learnt bin added due to v-elim: 0
1078.85/270.13	c vivif2 --  cl tried     3580 cl shrink       69 lits rem         69 time: 0.01
1078.85/270.17	c vivif2 --  cl tried    31769 cl shrink      544 lits rem        687 time: 0.15
1080.04/270.44	c asymm  cl-useful: 0/131/3511 lits-rem:0 time: 1.08
1080.04/270.45	c calculated reachability. Time: 0.00
1080.04/270.45	c  N dy  3494    537233      1019      3511     82509     31700    233645   1994880    179.59     31.73  --
1080.04/270.45	c  F st  3494    537233      1019      3511     82509     31700    233645   1994880    179.59     31.73  --
1082.44/271.00	c Decided on static restart strategy
1108.41/277.58	c  N dy  3618    557253      1019      3511     82596     51088    233727   5309651    189.15     31.79  --
1145.97/286.96	c  N dy  3750    577371      1019      3511     82596     39782    233727   3132617    176.98     31.86  --
1185.14/296.71	c  N dy  3879    597466      1063      3511     85342     59422    234573   6789269    227.70     32.03  --
1216.68/304.69	c  N dy  4009    617477      1063      3511     85342     46722    234573   4316899    240.22     32.11  --
1259.44/315.38	c  N dy  4139    637607      1063      3511     85342     33386    234573   1795228    186.16     32.12  --
1287.39/322.32	c  N dy  4270    657687      1063      3511     86253     52705    234705   5128439    200.18     32.10  --
1327.35/332.30	c  N dy  4399    677776      1063      3511     86253     38384    234705   2559199    199.13     32.04  --
1356.91/339.79	c  N dy  4531    697831      1096      3511     87867     58416    235375   5756018    164.93     32.01  --
1393.67/348.93	c  N dy  4663    717913      1096      3511     87867     42702    235375   3054653    169.91     32.12  --
1426.85/357.30	c  N dy  4795    737931      1096      3511     87867     61994    235375   6209562    187.74     31.94  --
1464.38/366.61	c  N dy  4927    758062      1096      3511     88810     45810    235503   3363831    155.06     31.79  --
1497.94/375.03	c  N dy  5058    778169      1096      3511     88810     65024    235503   6681307    192.40     31.78  --
1532.31/383.63	c  N dy  5189    798176      1096      3511     88810     47629    235503   3602728    195.11     31.72  --
1545.10/386.85	c  S st  5240    805853      1096      3511     88812     54971    235503   4869687    171.22     31.68  --
1546.28/387.10	c  S st  5240    806353      1096      3511     88812     55471    235503   4908683    171.22     31.68  --
1546.28/387.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1546.28/387.11	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
1571.87/393.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      1 BRemL:    763 BRemN:    732 CBin:       0 P: 60.2M T: 25.84
1571.87/393.59	c Calc non-exist non-lernt bins v-fix:     0 done:   1096 time:  0.05 s
1571.87/393.59	c Cache  BProp: 0 Set: 0 BXProp: 4 T: 0.00
1572.25/393.66	c Subs w/ non-existent bins:    779 time:  0.28 s
1572.65/393.79	c Replacing        6 vars Replaced    14361 lits Time:     0.52 s 
1573.05/393.89	c bin-w-bin subsume rem          831 bins  time:  0.06 s
1579.84/395.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.61 s
1579.84/395.55	c Removed useless bin:      36  fixed:     0  bprops:   0.10M  time:  0.02 s
1712.49/428.72	c ORs :     46 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 6 avg s: 3.0 T:    0.24
1771.18/443.40	c Added 12 vars  tried: 80000 time: 58.65
1773.99/444.11	c ORs :     12 avg-s:  0.0 cl-sh: 51684 l-rem:  51684 b-add:     25 v-rep:   0 cl-rem: 29 avg s: 3.0 T:   61.48
1773.99/444.16	c lits-rem:      4000  cl-subs:     5704  v-elim:    854  v-fix:    0  time: 194.12 s
1773.99/444.16	c learnt bin added due to v-elim: 0
1773.99/444.16	c vivif2 --  cl tried     3522 cl shrink        0 lits rem          0 time: 0.01
1774.37/444.22	c vivif2 --  cl tried    48953 cl shrink       39 lits rem         45 time: 0.24
1775.58/444.54	c asymm  cl-useful: 0/183/3522 lits-rem:0 time: 1.29
1775.58/444.54	c calculated reachability. Time: 0.00
1775.58/444.54	c  N dy  5240    806353      1102      3522     86495     48918    233517   3866651    171.22     31.68  --
1816.73/454.83	c  N dy  5371    826439      1102      3522     86500     68291    233517   7296689    182.22     31.45  --
1846.69/462.32	c  N dy  5501    846442      1102      3522     86500     50530    233517   4301437    200.96     31.33  --
1888.64/472.84	c  N dy  5629    866576      1102      3522     86536     69926    233517   7747325    172.16     31.30  --
1918.21/480.27	c  N dy  5758    886578      1102      3522     86542     50907    233517   4090695    188.08     31.22  --
1954.56/489.36	c  N dy  5887    906633      1126      3522     88436     70324    233619   7571697    191.68     31.23  --
1992.92/498.91	c  N dy  6017    926709      1126      3522     88436     50207    233619   3952899    174.79     31.28  --
2025.28/507.09	c  N dy  6146    946773      1126      3522     88436     69664    233619   7331377    160.12     31.31  --
2067.63/517.62	c  N dy  6275    966900      1150      3522     88968     48724    233725   3507497    167.90     31.19  --
2095.99/524.75	c  N dy  6406    986993      1150      3522     88968     68229    233725   6741020    148.93     31.19  --
2137.94/535.21	c  N dy  6536   1007077      1150      3522     88968     46073    233725   2922378    164.31     31.17  --
2164.72/541.99	c  N dy  6666   1027216      1150      3522     89344     65456    233725   6305332    211.90     31.37  --
2208.25/552.82	c  N dy  6796   1047254      1150      3522     89344     84795    233725   9633514    185.11     31.42  --
2236.22/559.83	c  N dy  6926   1067286      1181      3522     91239     61660    233853   5424108    142.22     31.49  --
2277.37/570.12	c  N dy  7056   1087395      1181      3522     91239     81117    233853   8769691    161.27     31.42  --
2312.12/578.84	c  N dy  7186   1107449      1181      3522     91239     57021    233853   4764576    160.49     31.39  --
2354.09/589.32	c Finding binary XORs  T:     0.01 s  found:       6
2366.88/592.52	c  N dy  7313   1127499      1181      3522     91497     76470    233861   8395323    191.60     31.45  --
2415.22/604.65	c  N dy  7443   1147574      1181      3522     91498     51426    233861   3606127    211.50     31.52  --
2448.36/612.97	c  N dy  7573   1167617      1181      3522     91498     70817    233861   7282922    189.20     31.61  --
2493.51/624.25	c  N dy  7702   1187683      1181      3522     91498     90243    233861  10950553    217.24     31.68  --
2522.27/631.49	c  N dy  7833   1207709      1181      3522     91498     64062    233861   5420421    158.88     31.68  --
2526.27/632.48	c  S st  7845   1209529      1181      3522     91498     65823    233861   5728269    176.05     31.69  --
2527.47/632.76	c  S st  7845   1210029      1181      3522     91498     66322    233861   5769445    176.05     31.69  --
2527.47/632.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2527.47/632.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2551.86/638.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:   2101 BRemN:   1242 CBin:       0 P: 60.0M T: 24.23
2551.86/638.86	c Calc non-exist non-lernt bins v-fix:     0 done:   1181 time:  0.05 s
2551.86/638.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2552.24/638.95	c Subs w/ non-existent bins:      0 time:  0.36 s
2553.04/639.15	c Replacing        8 vars Replaced    27728 lits Time:     0.82 s 
2553.43/639.26	c bin-w-bin subsume rem           41 bins  time:  0.06 s
2560.65/641.02	c subs with bin:        0  lits-rem:         4  v-fix:    0  time:  7.04 s
2560.65/641.03	c Removed useless bin:       8  fixed:     0  bprops:   0.10M  time:  0.02 s
2727.62/682.87	c ORs :     76 avg-s:  2.0 cl-sh:    60 l-rem:     60 b-add:      6 v-rep:   0 cl-rem: 15 avg s: 3.0 T:    0.58
2774.75/694.67	c Added 12 vars  tried: 80000 time: 47.12
2778.74/695.62	c ORs :     12 avg-s:  0.0 cl-sh: 64375 l-rem:  64375 b-add:     25 v-rep:   0 cl-rem: 43 avg s: 3.0 T:   50.91
2778.74/695.67	c lits-rem:      1196  cl-subs:     8237  v-elim:   1194  v-fix:    0  time: 218.25 s
2778.74/695.67	c learnt bin added due to v-elim: 0
2778.74/695.67	c vivif2 --  cl tried     3935 cl shrink      160 lits rem        160 time: 0.01
2779.14/695.78	c vivif2 --  cl tried    58037 cl shrink     2900 lits rem       5386 time: 0.43
2780.36/696.08	c asymm  cl-useful: 0/85/3775 lits-rem:0 time: 1.20
2780.36/696.09	c calculated reachability. Time: 0.00
2780.36/696.09	c  N dy  7845   1210029      1183      3775     87812     58037    230911   4469497    176.05     31.69  --
2819.91/705.99	c  N dy  7975   1230102      1183      3775     87841     77199    230911   6746312    127.54     31.64  --
2871.02/718.73	c  N dy  8105   1250167      1183      3775     87851     50309    230911   2931449    155.38     31.67  --
2905.78/727.45	c  N dy  8236   1270262      1183      3775     88677     69660    230913   5517238    135.52     31.66  --
2960.13/741.05	c  N dy  8367   1290389      1192      3775     88967     89119    230953   8304640    103.22     31.63  --
2998.47/750.60	c  N dy  8500   1310504      1192      3775     88967     61346    230953   4221769    124.19     31.58  --
3043.22/761.85	c  N dy  8631   1330590      1192      3775     89033     80669    230955   6795749     97.41     31.59  --
3104.34/777.12	c  N dy  8759   1350597      1192      3775     89040     51807    230959   2877655    105.05     31.55  --
3144.71/787.28	c  N dy  8889   1370638      1205      3775     89350     71072    231007   4979645    114.02     31.53  --
3189.06/798.39	c  N dy  9018   1390734      1205      3775     89350     90297    231007   7173499    125.87     31.45  --
3230.19/808.68	c  N dy  9150   1410850      1205      3775     89350     60702    231007   4097819    133.23     31.43  --
3272.56/819.29	c  N dy  9280   1430936      1205      3775     89440     80045    231007   6730524    160.67     31.43  --
3335.67/835.00	c  N dy  9408   1451027      1209      3775     89573     99419    231023   9517051    164.95     31.39  --
3378.03/845.69	c  N dy  9536   1471049      1209      3775     89573     68585    231023   5155895    139.58     31.36  --
3436.33/860.25	c  N dy  9667   1491153      1209      3775     89573     87899    231023   7613480    157.04     31.35  --
3503.05/876.91	c  N dy  9797   1511194      1209      3775     89573     56205    231023   3185468     94.67     31.33  --
3534.22/884.73	c  N dy  9928   1531346      1209      3775     89573     75539    231023   6027388    144.01     31.25  --
3596.54/900.34	c  N dy 10057   1551436      1209      3775     89573     94840    231023   8772585    125.20     31.24  --
3658.07/915.70	c  N dy 10186   1571502      1209      3775     89573     62255    231023   4070633    125.73     31.22  --
3708.01/928.25	c  N dy 10317   1591506      1209      3775     89573     81608    231023   6803667    123.40     31.19  --
3789.11/948.53	c  N dy 10448   1611641      1209      3775     89573    101098    231023   9584271    149.64     31.16  --
3833.86/959.74	c  N dy 10578   1631747      1209      3775     89573     67461    231023   4841505    175.80     31.10  --
3883.42/972.17	c  N dy 10708   1651882      1209      3775     89573     86988    231023   7880472    135.66     31.04  --
3950.91/989.02	c  N dy 10838   1671994      1209      3775     89573    106304    231023  10126363    125.12     31.08  --
3992.88/999.59	c  N dy 10967   1692048      1209      3775     89573     71519    231023   4420529    108.18     31.05  --
4040.41/1011.42	c  S st 11082   1710030      1209      3775     89573     88806    231023   6311421    124.39     31.05  --
4041.23/1011.64	c  S st 11082   1710530      1209      3775     89573     89306    231023   6344954    124.39     31.05  --
4041.23/1011.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
4041.23/1011.66	c Cache  BProp: 0 Set: 0 BXProp: 4 T: 0.00
4061.18/1016.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:    965 BRemN:    269 CBin:       0 P: 60.1M T: 19.87
4061.18/1016.64	c Calc non-exist non-lernt bins v-fix:     0 done:   1209 time:  0.05 s
4061.18/1016.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4061.58/1016.77	c Subs w/ non-existent bins:      0 time:  0.51 s
4061.98/1016.86	c Replacing        4 vars Replaced     8920 lits Time:     0.37 s 
4062.38/1016.98	c bin-w-bin subsume rem          144 bins  time:  0.06 s
4069.98/1018.86	c subs with bin:        0  lits-rem:        21  v-fix:    0  time:  7.48 s
4069.98/1018.86	c Removed useless bin:       1  fixed:     0  bprops:   0.10M  time:  0.02 s
4251.33/1064.22	c ORs :     98 avg-s:  2.0 cl-sh:     4 l-rem:      4 b-add:      0 v-rep:   0 cl-rem: 8 avg s: 3.0 T:    0.62
4283.31/1072.23	c Added 13 vars  tried: 80000 time: 32.00
4285.29/1072.75	c ORs :     13 avg-s:  0.0 cl-sh: 41049 l-rem:  41049 b-add:     26 v-rep:   0 cl-rem: 13 avg s: 3.0 T:   34.06
4285.69/1072.80	c lits-rem:       668  cl-subs:    19833  v-elim:   1606  v-fix:    0  time: 215.47 s
4285.69/1072.80	c learnt bin added due to v-elim: 0
4285.69/1072.81	c vivif2 --  cl tried     4501 cl shrink      385 lits rem        386 time: 0.02
4286.09/1072.91	c vivif2 --  cl tried    69461 cl shrink     1254 lits rem       1801 time: 0.41
4286.89/1073.19	c asymm  cl-useful: 0/73/4116 lits-rem:0 time: 1.11
4286.89/1073.19	c calculated reachability. Time: 0.00
4286.89/1073.19	c  N dy 11082   1710530      1214      4116     87832     69460    230394   4401442    124.39     31.05  --
4338.82/1086.16	c  N dy 11209   1730616      1214      4116     87863     88741    230394   7449161    180.44     31.02  --
4397.95/1100.97	c  N dy 11337   1750662      1214      4116     87863    108185    230394  10557964    129.99     31.00  --
4431.92/1109.45	c  N dy 11465   1770688      1214      4116     87891     72905    230394   5055592    119.42     30.91  --
4479.45/1121.34	c  N dy 11594   1790744      1214      4116     88677     92351    230394   7868979    124.81     30.90  --
4546.59/1138.17	c  N dy 11724   1810811      1216      4116     88805     55969    230402   2814743    136.89     30.90  --
4592.12/1149.50	c  N dy 11852   1830832      1216      4116     88805     75259    230402   5805693    166.68     30.90  --
4655.24/1165.32	c  N dy 11980   1850870      1216      4116     88805     94568    230402   8561004    139.47     30.85  --
4763.50/1192.43	c  N dy 12106   1870951      1220      4116     89038     56974    230422   2846291    141.81     30.84  --

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-3266861-1304183522/watcher-3266861-1304183522 -o /tmp/evaluation-result-3266861-1304183522/solver-3266861-1304183522 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3266861-1304183522.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: 7.80 8.02 8.01 1/175 11871
/proc/meminfo: memFree=29075988/32951124 swapFree=67111348/67111528
[pid=11871] ppid=11869 vsize=51232 CPUtime=0 cores=0,2,4,6
/proc/11871/stat : 11871 (techdemo) R 11869 11871 11540 0 -1 4202496 1088 0 0 0 0 0 0 0 25 0 1 0 608582723 52461568 1024 33554432000 4194304 4797429 140736759320384 18446744073709551615 252457726661 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11871/statm: 12808 1025 348 148 0 7737 0

[startup+0.023173 s]
/proc/loadavg: 7.80 8.02 8.01 1/175 11871
/proc/meminfo: memFree=29075988/32951124 swapFree=67111348/67111528
[pid=11871] ppid=11869 vsize=52948 CPUtime=0.02 cores=0,2,4,6
/proc/11871/stat : 11871 (techdemo) R 11869 11871 11540 0 -1 4202496 1496 0 0 0 2 0 0 0 25 0 1 0 608582723 54218752 1432 33554432000 4194304 4797429 140736759320384 18446744073709551615 252457724146 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/11871/statm: 13237 1433 348 148 0 8166 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 52948

[startup+0.130971 s]
/proc/loadavg: 7.80 8.02 8.01 1/175 11871
/proc/meminfo: memFree=29075988/32951124 swapFree=67111348/67111528
[pid=11871] ppid=11869 vsize=680428 CPUtime=0.37 cores=0,2,4,6
/proc/11871/stat : 11871 (techdemo) R 11869 11871 11540 0 -1 4202496 4770 0 0 0 35 2 0 0 18 0 4 0 608582723 696758272 4675 33554432000 4194304 4797429 140736759320384 18446744073709551615 252457727009 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11871/statm: 170176 4937 399 148 0 165105 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 680428

[startup+1.07792 s]
/proc/loadavg: 7.80 8.02 8.01 1/175 11871
/proc/meminfo: memFree=29075988/32951124 swapFree=67111348/67111528
[pid=11871] ppid=11869 vsize=688472 CPUtime=4.09 cores=0,2,4,6
/proc/11871/stat : 11871 (techdemo) R 11869 11871 11540 0 -1 4202496 10187 0 0 0 404 5 0 0 19 0 4 0 608582723 704995328 7441 33554432000 4194304 4797429 140736759320384 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11871/statm: 172118 7441 412 148 0 167047 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 688472

[startup+1.17789 s]
/proc/loadavg: 7.80 8.02 8.01 1/175 11871
/proc/meminfo: memFree=29075988/32951124 swapFree=67111348/67111528
[pid=11871] ppid=11869 vsize=688472 CPUtime=4.49 cores=0,2,4,6
/proc/11871/stat : 11871 (techdemo) R 11869 11871 11540 0 -1 4202496 10430 0 0 0 444 5 0 0 19 0 4 0 608582723 704995328 7682 33554432000 4194304 4797429 140736759320384 18446744073709551615 4425045 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11871/statm: 172118 7683 412 148 0 167047 0
Current children cumulated CPU time (s) 4.49
Current children cumulated vsize (KiB) 688472

[startup+1.57782 s]
/proc/loadavg: 7.80 8.02 8.01 1/175 11871
/proc/meminfo: memFree=29075988/32951124 swapFree=67111348/67111528
[pid=11871] ppid=11869 vsize=689156 CPUtime=6.08 cores=0,2,4,6
/proc/11871/stat : 11871 (techdemo) R 11869 11871 11540 0 -1 4202496 11542 0 0 0 603 5 0 0 20 0 4 0 608582723 705695744 8786 33554432000 4194304 4797429 140736759320384 18446744073709551615 4351629 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11871/statm: 172289 8786 412 148 0 167218 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 689156

[startup+3.10051 s]
/proc/loadavg: 7.80 8.02 8.01 11/184 11905
/proc/meminfo: memFree=28952636/32951124 swapFree=67111348/67111528
[pid=11871] ppid=11869 vsize=693816 CPUtime=12.17 cores=0,2,4,6
/proc/11871/stat : 11871 (techdemo) R 11869 11871 11540 0 -1 4202496 15756 0 0 0 1210 7 0 0 25 0 4 0 608582723 710467584 12152 33554432000 4194304 4797429 140736759320384 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11871/statm: 173454 12152 415 148 0 168383 0
[pid=11871/tid=11873] ppid=11869 vsize=693816 CPUtime=3.02 cores=0,2,4,6
/proc/11871/task/11873/stat : 11873 (techdemo) R 11869 11871 11540 0 -1 4202560 2823 0 0 0 302 0 0 0 25 0 4 0 608582730 710467584 12152 33554432000 4194304 4797429 140736759320384 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11871/tid=11874] ppid=11869 vsize=693816 CPUtime=3.02 cores=0,2,4,6
/proc/11871/task/11874/stat : 11874 (techdemo) R 11869 11871 11540 0 -1 4202560 3360 0 0 0 299 3 0 0 25 0 4 0 608582730 710467584 12152 33554432000 4194304 4797429 140736759320384 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11871/tid=11875] ppid=11869 vsize=693816 CPUtime=3 cores=0,2,4,6
/proc/11871/task/11875/stat : 11875 (techdemo) R 11869 11871 11540 0 -1 4202560 3061 0 0 0 299 1 0 0 25 0 4 0 608582730 710467584 12152 33554432000 4194304 4797429 140736759320384 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.17
Current children cumulated vsize (KiB) 693816

[startup+6.30691 s]
/proc/loadavg: 7.82 8.02 8.00 9/184 11905
/proc/meminfo: memFree=28910748/32951124 swapFree=67111348/67111528
[pid=11871] ppid=11869 vsize=696564 CPUtime=24.97 cores=0,2,4,6
/proc/11871/stat : 11871 (techdemo) R 11869 11871 11540 0 -1 4202496 20661 0 0 0 2489 8 0 0 25 0 4 0 608582723 713281536 13651 33554432000 4194304 4797429 140736759320384 18446744073709551615 252457762449 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11871/statm: 174141 13651 416 148 0 169070 0
[pid=11871/tid=11873] ppid=11869 vsize=696564 CPUtime=6.23 cores=0,2,4,6
/proc/11871/task/11873/stat : 11873 (techdemo) R 11869 11871 11540 0 -1 4202560 3983 0 0 0 623 0 0 0 25 0 4 0 608582730 713281536 13651 33554432000 4194304 4797429 140736759320384 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11871/tid=11874] ppid=11869 vsize=696564 CPUtime=6.23 cores=0,2,4,6
/proc/11871/task/11874/stat : 11874 (techdemo) R 11869 11871 11540 0 -1 4202560 3611 0 0 0 620 3 0 0 25 0 4 0 608582730 713281536 13651 33554432000 4194304 4797429 140736759320384 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11871/tid=11875] ppid=11869 vsize=696564 CPUtime=6.2 cores=0,2,4,6
/proc/11871/task/11875/stat : 11875 (techdemo) R 11869 11871 11540 0 -1 4202560 3690 0 0 0 619 1 0 0 25 0 4 0 608582730 713281536 13651 33554432000 4194304 4797429 140736759320384 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.97
Current children cumulated vsize (KiB) 696564

[startup+12.7007 s]
/proc/loadavg: 7.91 8.04 8.01 9/184 11905
/proc/meminfo: memFree=28890436/32951124 swapFree=67111348/67111528
[pid=11871] ppid=11869 vsize=698320 CPUtime=50.53 cores=0,2,4,6
/proc/11871/stat : 11871 (techdemo) R 11869 11871 11540 0 -1 4202496 24447 0 0 0 5044 9 0 0 25 0 4 0 608582723 715079680 15518 33554432000 4194304 4797429 140736759320384 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11871/statm: 174580 15518 418 148 0 169509 0
[pid=11871/tid=11873] ppid=11869 vsize=698320 CPUtime=12.62 cores=0,2,4,6
/proc/11871/task/11873/stat : 11873 (techdemo) R 11869 11871 11540 0 -1 4202560 4716 0 0 0 1262 0 0 0 25 0 4 0 608582730 715079680 15518 33554432000 4194304 4797429 140736759320384 18446744073709551615 4427262 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11871/tid=11874] ppid=11869 vsize=698320 CPUtime=12.62 cores=0,2,4,6
/proc/11871/task/11874/stat : 11874 (techdemo) R 11869 11871 11540 0 -1 4202560 4197 0 0 0 1259 3 0 0 25 0 4 0 608582730 715079680 15518 33554432000 4194304 4797429 140736759320384 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11871/tid=11875] ppid=11869 vsize=698320 CPUtime=12.56 cores=0,2,4,6
/proc/11871/task/11875/stat : 11875 (techdemo) R 11869 11871 11540 0 -1 4202560 3951 0 0 0 1255 1 0 0 25 0 4 0 608582730 715079680 15518 33554432000 4194304 4797429 140736759320384 18446744073709551615 4520284 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.53
Current children cumulated vsize (KiB) 698320

[startup+25.5003 s]
/proc/loadavg: 7.93 8.03 8.01 9/184 11906
/proc/meminfo: memFree=28883072/32951124 swapFree=67111348/67111528
[pid=11871] ppid=11869 vsize=701292 CPUtime=101.66 cores=0,2,4,6
/proc/11871/stat : 11871 (techdemo) R 11869 11871 11540 0 -1 4202496 30849 0 0 0 10156 10 0 0 25 0 4 0 608582723 718123008 18609 33554432000 4194304 4797429 140736759320384 18446744073709551615 4425037 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11871/statm: 175323 18609 418 148 0 170252 0
[pid=11871/tid=11873] ppid=11869 vsize=701292 CPUtime=25.43 cores=0,2,4,6
/proc/11871/task/11873/stat : 11873 (techdemo) R 11869 11871 11540 0 -1 4202560 5307 0 0 0 2542 1 0 0 25 0 4 0 608582730 718123008 18609 33554432000 4194304 4797429 140736759320384 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11871/tid=11874] ppid=11869 vsize=701292 CPUtime=25.42 cores=0,2,4,6
/proc/11871/task/11874/stat : 11874 (techdemo) R 11869 11871 11540 0 -1 4202560 4761 0 0 0 2539 3 0 0 25 0 4 0 608582730 718123008 18609 33554432000 4194304 4797429 140736759320384 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11871/tid=11875] ppid=11869 vsize=701292 CPUtime=25.3 cores=0,2,4,6
/proc/11871/task/11875/stat : 11875 (techdemo) R 11869 11871 11540 0 -1 4202560 4514 0 0 0 2529 1 0 0 25 0 4 0 608582730 718123008 18609 33554432000 4194304 4797429 140736759320384 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 701292

[startup+51.1006 s]
/proc/loadavg: 8.04 8.04 8.01 9/184 11907
/proc/meminfo: memFree=28842416/32951124 swapFree=67111348/67111528
[pid=11871] ppid=11869 vsize=707660 CPUtime=203.93 cores=0,2,4,6
/proc/11871/stat : 11871 (techdemo) R 11869 11871 11540 0 -1 4202496 45791 0 0 0 20380 13 0 0 25 0 4 0 608582723 724643840 20902 33554432000 4194304 4797429 140736759320384 18446744073709551615 4425019 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11871/statm: 176915 20902 419 148 0 171844 0
[pid=11871/tid=11873] ppid=11869 vsize=707660 CPUtime=51.03 cores=0,2,4,6
/proc/11871/task/11873/stat : 11873 (techdemo) R 11869 11871 11540 0 -1 4202560 6387 0 0 0 5102 1 0 0 25 0 4 0 608582730 724643840 20902 33554432000 4194304 4797429 140736759320384 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11871/tid=11874] ppid=11869 vsize=707660 CPUtime=51.01 cores=0,2,4,6
/proc/11871/task/11874/stat : 11874 (techdemo) R 11869 11871 11540 0 -1 4202560 6123 0 0 0 5098 3 0 0 25 0 4 0 608582730 724643840 20902 33554432000 4194304 4797429 140736759320384 18446744073709551615 4404790 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11871/tid=11875] ppid=11869 vsize=707660 CPUtime=50.78 cores=0,2,4,6
/proc/11871/task/11875/stat : 11875 (techdemo) R 11869 11871 11540 0 -1 4202560 5734 0 0 0 5076 2 0 0 25 0 4 0 608582730 724643840 20902 33554432000 4194304 4797429 140736759320384 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.93
Current children cumulated vsize (KiB) 707660

[startup+102.301 s]
/proc/loadavg: 8.06 8.05 8.01 9/184 11908
/proc/meminfo: memFree=28806524/32951124 swapFree=67111348/67111528
[pid=11871] ppid=11869 vsize=715020 CPUtime=408.48 cores=0,2,4,6
/proc/11871/stat : 11871 (techdemo) R 11869 11871 11540 0 -1 4202496 73185 0 0 0 40829 19 0 0 25 0 4 0 608582723 732180480 24622 33554432000 4194304 4797429 140736759320384 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11871/statm: 178755 24622 421 148 0 173684 0
[pid=11871/tid=11873] ppid=11869 vsize=715020 CPUtime=102.22 cores=0,2,4,6
/proc/11871/task/11873/stat : 11873 (techdemo) R 11869 11871 11540 0 -1 4202560 8194 0 0 0 10221 1 0 0 25 0 4 0 608582730 732180480 24622 33554432000 4194304 4797429 140736759320384 18446744073709551615 4520284 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11871/tid=11874] ppid=11869 vsize=715020 CPUtime=102.21 cores=0,2,4,6
/proc/11871/task/11874/stat : 11874 (techdemo) R 11869 11871 11540 0 -1 4202560 7729 0 0 0 10217 4 0 0 25 0 4 0 608582730 732180480 24622 33554432000 4194304 4797429 140736759320384 18446744073709551615 4429013 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11871/tid=11875] ppid=11869 vsize=715020 CPUtime=101.72 cores=0,2,4,6
/proc/11871/task/11875/stat : 11875 (techdemo) R 11869 11871 11540 0 -1 4202560 8203 0 0 0 10170 2 0 0 25 0 4 0 608582730 732180480 24622 33554432000 4194304 4797429 140736759320384 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.48
Current children cumulated vsize (KiB) 715020

[startup+162.301 s]
/proc/loadavg: 8.05 8.05 8.01 9/184 11909
/proc/meminfo: memFree=28776408/32951124 swapFree=67111348/67111528
[pid=11871] ppid=11869 vsize=719584 CPUtime=648.18 cores=0,2,4,6
/proc/11871/stat : 11871 (techdemo) R 11869 11871 11540 0 -1 4202496 103495 0 0 0 64790 28 0 0 25 0 4 0 608582723 736854016 28330 33554432000 4194304 4797429 140736759320384 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11871/statm: 179896 28330 421 148 0 174825 0
[pid=11871/tid=11873] ppid=11869 vsize=719584 CPUtime=162.22 cores=0,2,4,6
/proc/11871/task/11873/stat : 11873 (techdemo) R 11869 11871 11540 0 -1 4202560 9936 0 0 0 16221 1 0 0 25 0 4 0 608582730 736854016 28330 33554432000 4194304 4797429 140736759320384 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11871/tid=11874] ppid=11869 vsize=719584 CPUtime=162.2 cores=0,2,4,6
/proc/11871/task/11874/stat : 11874 (techdemo) R 11869 11871 11540 0 -1 4202560 9616 0 0 0 16216 4 0 0 25 0 4 0 608582730 736854016 28330 33554432000 4194304 4797429 140736759320384 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11871/tid=11875] ppid=11869 vsize=719584 CPUtime=161.43 cores=0,2,4,6
/proc/11871/task/11875/stat : 11875 (techdemo) R 11869 11871 11540 0 -1 4202560 9992 0 0 0 16140 3 0 0 25 0 4 0 608582730 736854016 28330 33554432000 4194304 4797429 140736759320384 18446744073709551615 4495559 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 648.18
Current children cumulated vsize (KiB) 719584

[startup+222.301 s]
/proc/loadavg: 8.09 8.06 8.01 9/184 11911
/proc/meminfo: memFree=28750136/32951124 swapFree=67111348/67111528
[pid=11871] ppid=11869 vsize=723876 CPUtime=887.88 cores=0,2,4,6
/proc/11871/stat : 11871 (techdemo) R 11869 11871 11540 0 -1 4202496 131899 0 0 0 88753 35 0 0 25 0 4 0 608582723 741249024 31252 33554432000 4194304 4797429 140736759320384 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11871/statm: 180969 31252 421 148 0 175898 0
[pid=11871/tid=11873] ppid=11869 vsize=723876 CPUtime=222.23 cores=0,2,4,6
/proc/11871/task/11873/stat : 11873 (techdemo) R 11869 11871 11540 0 -1 4202560 11676 0 0 0 22221 2 0 0 25 0 4 0 608582730 741249024 31252 33554432000 4194304 4797429 140736759320384 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11871/tid=11874] ppid=11869 vsize=723876 CPUtime=222.2 cores=0,2,4,6
/proc/11871/task/11874/stat : 11874 (techdemo) R 11869 11871 11540 0 -1 4202560 11290 0 0 0 22215 5 0 0 25 0 4 0 608582730 741249024 31252 33554432000 4194304 4797429 140736759320384 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11871/tid=11875] ppid=11869 vsize=723876 CPUtime=221.13 cores=0,2,4,6
/proc/11871/task/11875/stat : 11875 (techdemo) R 11869 11871 11540 0 -1 4202560 11746 0 0 0 22110 3 0 0 25 0 4 0 608582730 741249024 31252 33554432000 4194304 4797429 140736759320384 18446744073709551615 4524449 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 887.88
Current children cumulated vsize (KiB) 723876

[startup+282.301 s]
/proc/loadavg: 8.14 8.08 8.02 9/184 11913
/proc/meminfo: memFree=28732156/32951124 swapFree=67111348/67111528
[pid=11871] ppid=11869 vsize=727732 CPUtime=1127.6 cores=0,2,4,6
/proc/11871/stat : 11871 (techdemo) R 11869 11871 11540 0 -1 4202496 166190 0 0 0 112715 45 0 0 25 0 4 0 608582723 745197568 35566 33554432000 4194304 4797429 140736759320384 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11871/statm: 181933 35566 421 148 0 176862 0
[pid=11871/tid=11873] ppid=11869 vsize=727732 CPUtime=282.23 cores=0,2,4,6

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

[pid=11871] ppid=11869 vsize=746876 CPUtime=2565.82 cores=0,2,4,6
/proc/11871/stat : 11871 (techdemo) R 11869 11871 11540 0 -1 4202496 345242 0 0 0 256486 96 0 0 25 0 4 0 608582723 764801024 47052 33554432000 4194304 4797429 140736759320384 18446744073709551615 4524592 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11871/statm: 186719 47052 421 148 0 181648 0
[pid=11871/tid=11873] ppid=11869 vsize=746876 CPUtime=642.24 cores=0,2,4,6
/proc/11871/task/11873/stat : 11873 (techdemo) R 11869 11871 11540 0 -1 4202560 22404 0 0 0 64219 5 0 0 25 0 4 0 608582730 764801024 47052 33554432000 4194304 4797429 140736759320384 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11871/tid=11874] ppid=11869 vsize=746876 CPUtime=642.16 cores=0,2,4,6
/proc/11871/task/11874/stat : 11874 (techdemo) R 11869 11871 11540 0 -1 4202560 23208 0 0 0 64207 9 0 0 25 0 4 0 608582730 764801024 47052 33554432000 4194304 4797429 140736759320384 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11871/tid=11875] ppid=11869 vsize=746876 CPUtime=639.09 cores=0,2,4,6
/proc/11871/task/11875/stat : 11875 (techdemo) R 11869 11871 11540 0 -1 4202560 22423 0 0 0 63902 7 0 0 25 0 4 0 608582730 764801024 47052 33554432000 4194304 4797429 140736759320384 18446744073709551615 4430004 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2565.82
Current children cumulated vsize (KiB) 746876

[startup+702.301 s]
/proc/loadavg: 8.04 8.09 8.03 9/184 11924
/proc/meminfo: memFree=28601788/32951124 swapFree=67111348/67111528
[pid=11871] ppid=11869 vsize=749704 CPUtime=2805.5 cores=0,2,4,6
/proc/11871/stat : 11871 (techdemo) R 11869 11871 11540 0 -1 4202496 352275 0 0 0 280451 99 0 0 25 0 4 0 608582723 767696896 48728 33554432000 4194304 4797429 140736759320384 18446744073709551615 4424720 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11871/statm: 187426 48728 421 148 0 182355 0
[pid=11871/tid=11873] ppid=11869 vsize=749704 CPUtime=702.24 cores=0,2,4,6
/proc/11871/task/11873/stat : 11873 (techdemo) R 11869 11871 11540 0 -1 4202560 24141 0 0 0 70218 6 0 0 25 0 4 0 608582730 767696896 48728 33554432000 4194304 4797429 140736759320384 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11871/tid=11874] ppid=11869 vsize=749704 CPUtime=702.15 cores=0,2,4,6
/proc/11871/task/11874/stat : 11874 (techdemo) R 11869 11871 11540 0 -1 4202560 24723 0 0 0 70206 9 0 0 25 0 4 0 608582730 767696896 48728 33554432000 4194304 4797429 140736759320384 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11871/tid=11875] ppid=11869 vsize=749704 CPUtime=698.77 cores=0,2,4,6
/proc/11871/task/11875/stat : 11875 (techdemo) R 11869 11871 11540 0 -1 4202560 24065 0 0 0 69870 7 0 0 25 0 4 0 608582730 767696896 48728 33554432000 4194304 4797429 140736759320384 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.5
Current children cumulated vsize (KiB) 749704

[startup+762.3 s]
/proc/loadavg: 8.05 8.08 8.03 9/184 11925
/proc/meminfo: memFree=28598212/32951124 swapFree=67111348/67111528
[pid=11871] ppid=11869 vsize=750504 CPUtime=3045.21 cores=0,2,4,6
/proc/11871/stat : 11871 (techdemo) R 11869 11871 11540 0 -1 4202496 374833 0 0 0 304416 105 0 0 25 0 4 0 608582723 768516096 51719 33554432000 4194304 4797429 140736759320384 18446744073709551615 4351656 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11871/statm: 187626 51719 421 148 0 182555 0
[pid=11871/tid=11873] ppid=11869 vsize=750504 CPUtime=762.24 cores=0,2,4,6
/proc/11871/task/11873/stat : 11873 (techdemo) R 11869 11871 11540 0 -1 4202560 25016 0 0 0 76218 6 0 0 25 0 4 0 608582730 768516096 51719 33554432000 4194304 4797429 140736759320384 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11871/tid=11874] ppid=11869 vsize=750504 CPUtime=762.15 cores=0,2,4,6
/proc/11871/task/11874/stat : 11874 (techdemo) R 11869 11871 11540 0 -1 4202560 25881 0 0 0 76205 10 0 0 25 0 4 0 608582730 768516096 51719 33554432000 4194304 4797429 140736759320384 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11871/tid=11875] ppid=11869 vsize=750504 CPUtime=758.48 cores=0,2,4,6
/proc/11871/task/11875/stat : 11875 (techdemo) R 11869 11871 11540 0 -1 4202560 25369 0 0 0 75841 7 0 0 25 0 4 0 608582730 768516096 51719 33554432000 4194304 4797429 140736759320384 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.21
Current children cumulated vsize (KiB) 750504

[startup+822.3 s]
/proc/loadavg: 8.06 8.08 8.03 9/184 11927
/proc/meminfo: memFree=28588060/32951124 swapFree=67111348/67111528
[pid=11871] ppid=11869 vsize=753292 CPUtime=3284.92 cores=0,2,4,6
/proc/11871/stat : 11871 (techdemo) R 11869 11871 11540 0 -1 4202496 397838 0 0 0 328380 112 0 0 25 0 4 0 608582723 771371008 51869 33554432000 4194304 4797429 140736759320384 18446744073709551615 4425057 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11871/statm: 188323 51869 421 148 0 183252 0
[pid=11871/tid=11873] ppid=11869 vsize=753292 CPUtime=822.24 cores=0,2,4,6
/proc/11871/task/11873/stat : 11873 (techdemo) R 11869 11871 11540 0 -1 4202560 26793 0 0 0 82218 6 0 0 25 0 4 0 608582730 771371008 51869 33554432000 4194304 4797429 140736759320384 18446744073709551615 4428966 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11871/tid=11874] ppid=11869 vsize=753292 CPUtime=822.14 cores=0,2,4,6
/proc/11871/task/11874/stat : 11874 (techdemo) R 11869 11871 11540 0 -1 4202560 27362 0 0 0 82204 10 0 0 25 0 4 0 608582730 771371008 51869 33554432000 4194304 4797429 140736759320384 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11871/tid=11875] ppid=11869 vsize=753292 CPUtime=818.19 cores=0,2,4,6
/proc/11871/task/11875/stat : 11875 (techdemo) R 11869 11871 11540 0 -1 4202560 27030 0 0 0 81811 8 0 0 25 0 4 0 608582730 771371008 51869 33554432000 4194304 4797429 140736759320384 18446744073709551615 4427295 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.92
Current children cumulated vsize (KiB) 753292

[startup+882.301 s]
/proc/loadavg: 8.02 8.06 8.03 9/184 11929
/proc/meminfo: memFree=28587340/32951124 swapFree=67111348/67111528
[pid=11871] ppid=11869 vsize=757456 CPUtime=3524.62 cores=0,2,4,6
/proc/11871/stat : 11871 (techdemo) R 11869 11871 11540 0 -1 4202496 420166 0 0 0 352343 119 0 0 25 0 4 0 608582723 775634944 50724 33554432000 4194304 4797429 140736759320384 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11871/statm: 189364 50724 421 148 0 184293 0
[pid=11871/tid=11873] ppid=11869 vsize=757456 CPUtime=882.25 cores=0,2,4,6
/proc/11871/task/11873/stat : 11873 (techdemo) R 11869 11871 11540 0 -1 4202560 28495 0 0 0 88217 8 0 0 25 0 4 0 608582730 775634944 50724 33554432000 4194304 4797429 140736759320384 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11871/tid=11874] ppid=11869 vsize=757456 CPUtime=882.14 cores=0,2,4,6
/proc/11871/task/11874/stat : 11874 (techdemo) R 11869 11871 11540 0 -1 4202560 28382 0 0 0 88204 10 0 0 25 0 4 0 608582730 775634944 50724 33554432000 4194304 4797429 140736759320384 18446744073709551615 4520378 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11871/tid=11875] ppid=11869 vsize=757456 CPUtime=877.9 cores=0,2,4,6
/proc/11871/task/11875/stat : 11875 (techdemo) R 11869 11871 11540 0 -1 4202560 28927 0 0 0 87781 9 0 0 25 0 4 0 608582730 775634944 50724 33554432000 4194304 4797429 140736759320384 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.62
Current children cumulated vsize (KiB) 757456

[startup+942.301 s]
/proc/loadavg: 8.16 8.10 8.04 9/184 11930
/proc/meminfo: memFree=28555260/32951124 swapFree=67111348/67111528
[pid=11871] ppid=11869 vsize=758776 CPUtime=3764.36 cores=0,2,4,6
/proc/11871/stat : 11871 (techdemo) R 11869 11871 11540 0 -1 4202496 437663 0 0 0 376310 126 0 0 25 0 4 0 608582723 776986624 56162 33554432000 4194304 4797429 140736759320384 18446744073709551615 4424987 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11871/statm: 189694 56162 421 148 0 184623 0
[pid=11871/tid=11873] ppid=11869 vsize=758776 CPUtime=942.25 cores=0,2,4,6
/proc/11871/task/11873/stat : 11873 (techdemo) R 11869 11871 11540 0 -1 4202560 29410 0 0 0 94217 8 0 0 25 0 4 0 608582730 776986624 56162 33554432000 4194304 4797429 140736759320384 18446744073709551615 4520284 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11871/tid=11874] ppid=11869 vsize=758776 CPUtime=942.14 cores=0,2,4,6
/proc/11871/task/11874/stat : 11874 (techdemo) R 11869 11871 11540 0 -1 4202560 30034 0 0 0 94203 11 0 0 25 0 4 0 608582730 776986624 56162 33554432000 4194304 4797429 140736759320384 18446744073709551615 4520385 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11871/tid=11875] ppid=11869 vsize=758776 CPUtime=937.62 cores=0,2,4,6
/proc/11871/task/11875/stat : 11875 (techdemo) R 11869 11871 11540 0 -1 4202560 29899 0 0 0 93753 9 0 0 25 0 4 0 608582730 776986624 56162 33554432000 4194304 4797429 140736759320384 18446744073709551615 4524502 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.36
Current children cumulated vsize (KiB) 758776

[startup+1002.3 s]
/proc/loadavg: 8.09 8.09 8.04 9/184 11932
/proc/meminfo: memFree=28539188/32951124 swapFree=67111348/67111528
[pid=11871] ppid=11869 vsize=760928 CPUtime=4004.05 cores=0,2,4,6
/proc/11871/stat : 11871 (techdemo) R 11869 11871 11540 0 -1 4202496 459955 0 0 0 400272 133 0 0 25 0 4 0 608582723 779190272 51612 33554432000 4194304 4797429 140736759320384 18446744073709551615 4425057 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11871/statm: 190232 51612 421 148 0 185161 0
[pid=11871/tid=11873] ppid=11869 vsize=760928 CPUtime=1002.24 cores=0,2,4,6
/proc/11871/task/11873/stat : 11873 (techdemo) R 11869 11871 11540 0 -1 4202560 31108 0 0 0 100216 8 0 0 25 0 4 0 608582730 779190272 51612 33554432000 4194304 4797429 140736759320384 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11871/tid=11874] ppid=11869 vsize=760928 CPUtime=1002.13 cores=0,2,4,6
/proc/11871/task/11874/stat : 11874 (techdemo) R 11869 11871 11540 0 -1 4202560 31744 0 0 0 100201 12 0 0 25 0 4 0 608582730 779190272 51612 33554432000 4194304 4797429 140736759320384 18446744073709551615 4422918 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11871/tid=11875] ppid=11869 vsize=760928 CPUtime=997.33 cores=0,2,4,6
/proc/11871/task/11875/stat : 11875 (techdemo) R 11869 11871 11540 0 -1 4202560 31584 0 0 0 99724 9 0 0 25 0 4 0 608582730 779190272 51612 33554432000 4194304 4797429 140736759320384 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4004.05
Current children cumulated vsize (KiB) 760928

[startup+1062.31 s]
/proc/loadavg: 8.15 8.10 8.04 9/184 11934
/proc/meminfo: memFree=28523572/32951124 swapFree=67111348/67111528
[pid=11871] ppid=11869 vsize=760928 CPUtime=4243.77 cores=0,2,4,6
/proc/11871/stat : 11871 (techdemo) R 11869 11871 11540 0 -1 4202496 466160 0 0 0 424241 136 0 0 25 0 4 0 608582723 779190272 57725 33554432000 4194304 4797429 140736759320384 18446744073709551615 4568029 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11871/statm: 190232 57725 421 148 0 185161 0
[pid=11871/tid=11873] ppid=11869 vsize=760928 CPUtime=1062.26 cores=0,2,4,6
/proc/11871/task/11873/stat : 11873 (techdemo) R 11869 11871 11540 0 -1 4202560 31973 0 0 0 106217 9 0 0 25 0 4 0 608582730 779190272 57725 33554432000 4194304 4797429 140736759320384 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11871/tid=11874] ppid=11869 vsize=760928 CPUtime=1062.13 cores=0,2,4,6
/proc/11871/task/11874/stat : 11874 (techdemo) R 11869 11871 11540 0 -1 4202560 32680 0 0 0 106201 12 0 0 25 0 4 0 608582730 779190272 57725 33554432000 4194304 4797429 140736759320384 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11871/tid=11875] ppid=11869 vsize=760928 CPUtime=1057.02 cores=0,2,4,6
/proc/11871/task/11875/stat : 11875 (techdemo) R 11869 11871 11540 0 -1 4202560 32516 0 0 0 105692 10 0 0 25 0 4 0 608582730 779190272 57725 33554432000 4194304 4797429 140736759320384 18446744073709551615 4404796 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.77
Current children cumulated vsize (KiB) 760928

[startup+1122.3 s]
/proc/loadavg: 8.05 8.08 8.04 9/184 11935
/proc/meminfo: memFree=28532060/32951124 swapFree=67111348/67111528
[pid=11871] ppid=11869 vsize=762612 CPUtime=4483.44 cores=0,2,4,6
/proc/11871/stat : 11871 (techdemo) R 11869 11871 11540 0 -1 4202496 486403 0 0 0 448202 142 0 0 25 0 4 0 608582723 780914688 58690 33554432000 4194304 4797429 140736759320384 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11871/statm: 190653 58690 421 148 0 185582 0
[pid=11871/tid=11873] ppid=11869 vsize=762612 CPUtime=1122.25 cores=0,2,4,6
/proc/11871/task/11873/stat : 11873 (techdemo) R 11869 11871 11540 0 -1 4202560 33681 0 0 0 112216 9 0 0 25 0 4 0 608582730 780914688 58690 33554432000 4194304 4797429 140736759320384 18446744073709551615 4520484 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11871/tid=11874] ppid=11869 vsize=762612 CPUtime=1122.11 cores=0,2,4,6
/proc/11871/task/11874/stat : 11874 (techdemo) R 11869 11871 11540 0 -1 4202560 34322 0 0 0 112199 12 0 0 25 0 4 0 608582730 780914688 58690 33554432000 4194304 4797429 140736759320384 18446744073709551615 4524585 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11871/tid=11875] ppid=11869 vsize=762612 CPUtime=1116.73 cores=0,2,4,6
/proc/11871/task/11875/stat : 11875 (techdemo) R 11869 11871 11540 0 -1 4202560 34362 0 0 0 111662 11 0 0 25 0 4 0 608582730 780914688 58690 33554432000 4194304 4797429 140736759320384 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.44
Current children cumulated vsize (KiB) 762612

[startup+1182.3 s]
/proc/loadavg: 8.05 8.08 8.04 9/184 11937
/proc/meminfo: memFree=28517464/32951124 swapFree=67111348/67111528
[pid=11871] ppid=11869 vsize=762860 CPUtime=4723.15 cores=0,2,4,6
/proc/11871/stat : 11871 (techdemo) R 11869 11871 11540 0 -1 4202496 501898 0 0 0 472166 149 0 0 25 0 4 0 608582723 781168640 63227 33554432000 4194304 4797429 140736759320384 18446744073709551615 4425045 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11871/statm: 190715 63227 421 148 0 185644 0
[pid=11871/tid=11873] ppid=11869 vsize=762860 CPUtime=1182.25 cores=0,2,4,6
/proc/11871/task/11873/stat : 11873 (techdemo) R 11869 11871 11540 0 -1 4202560 34617 0 0 0 118215 10 0 0 25 0 4 0 608582730 781168640 63227 33554432000 4194304 4797429 140736759320384 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11871/tid=11874] ppid=11869 vsize=762860 CPUtime=1182.11 cores=0,2,4,6
/proc/11871/task/11874/stat : 11874 (techdemo) R 11869 11871 11540 0 -1 4202560 35235 0 0 0 118198 13 0 0 25 0 4 0 608582730 781168640 63227 33554432000 4194304 4797429 140736759320384 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11871/tid=11875] ppid=11869 vsize=762860 CPUtime=1176.42 cores=0,2,4,6
/proc/11871/task/11875/stat : 11875 (techdemo) R 11869 11871 11540 0 -1 4202560 35273 0 0 0 117631 11 0 0 25 0 4 0 608582730 781168640 63227 33554432000 4194304 4797429 140736759320384 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4723.15
Current children cumulated vsize (KiB) 762860



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 8.10 8.09 8.04 9/184 11937
/proc/meminfo: memFree=28534280/32951124 swapFree=67111348/67111528
[pid=11871] ppid=11869 vsize=765232 CPUtime=4800.27 cores=0,2,4,6
/proc/11871/stat : 11871 (techdemo) R 11869 11871 11540 0 -1 4202496 511245 0 0 0 479875 152 0 0 25 0 4 0 608582723 783597568 56915 33554432000 4194304 4797429 140736759320384 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11871/statm: 191308 56915 421 148 0 186237 0
[pid=11871/tid=11873] ppid=11869 vsize=765232 CPUtime=1201.56 cores=0,2,4,6
/proc/11871/task/11873/stat : 11873 (techdemo) R 11869 11871 11540 0 -1 4202560 35743 0 0 0 120146 10 0 0 25 0 4 0 608582730 783597568 56915 33554432000 4194304 4797429 140736759320384 18446744073709551615 4524473 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11871/tid=11874] ppid=11869 vsize=765232 CPUtime=1201.42 cores=0,2,4,6
/proc/11871/task/11874/stat : 11874 (techdemo) R 11869 11871 11540 0 -1 4202560 35443 0 0 0 120129 13 0 0 25 0 4 0 608582730 783597568 56915 33554432000 4194304 4797429 140736759320384 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11871/tid=11875] ppid=11869 vsize=765232 CPUtime=1195.63 cores=0,2,4,6
/proc/11871/task/11875/stat : 11875 (techdemo) R 11869 11871 11540 0 -1 4202560 36494 0 0 0 119552 11 0 0 25 0 4 0 608582730 783597568 56915 33554432000 4194304 4797429 140736759320384 18446744073709551615 4495559 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 765232

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.62
CPU time (s): 4800.31
CPU user time (s): 4798.78
CPU system time (s): 1.53177
CPU usage (%): 399.485
Max. virtual memory (cumulated for all children) (KiB): 877408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.78
system time used= 1.53177
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 511247
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= 458
involuntary context switches= 21961

runsolver used 1.87671 second user time and 4.07438 second system time

The end

Launcher Data 

Begin job on node111 at 2011-04-30 19:12:02
IDJOB=3266861
IDBENCH=88215
IDSOLVER=1584
FILE ID=node111/3266861-1304183522
RUNJOBID= node111-1304181115-11558
PBS_JOBID= 13172463
Free space on /tmp= 72476 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3266861-1304183522/watcher-3266861-1304183522 -o /tmp/evaluation-result-3266861-1304183522/solver-3266861-1304183522 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3266861-1304183522.cnf

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

MD5SUM BENCH= 02e75ad23aeadbf30b2a4fb3c21ae723
RANDOM SEED=1623296283

node111.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	: 5428.12
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.75
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.86
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.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.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.67
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	: 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:      29076152 kB
Buffers:       1038528 kB
Cached:        2320444 kB
SwapCached:          0 kB
Active:         237528 kB
Inactive:      3187132 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29076152 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            8808 kB
Writeback:           0 kB
AnonPages:       65596 kB
Mapped:          15012 kB
Slab:           386492 kB
PageTables:       4628 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   222084 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= 72464 MiB
End job on node111 at 2011-04-30 19:32:06