Trace number 2701257

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
PB/CT 0.1 fixedMSAT (TO) 1800.11 1800.07

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/celar/
normalized-celar7-sub4_wcsp.wbo
MD5SUMd0b0b5ffd622ea62c2efad9dcf2f5ece
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark503448
Best CPU time to get the best result obtained on this benchmark1800.23
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables928
Total number of constraints357050
Number of soft constraints357028
Number of constraints which are clauses357028
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint44
Top cost 55058437
Min constraint cost 1
Max constraint cost 1000000
Sum of constraints costs 28629521944
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
1.99/2.06	c constraints 22/0 clauses 0/357028 units 0
1.99/2.06	c vars 928
1.99/2.07	c Setting top cost 55058437
209.19/209.24	c 208.315 1898.18 1 715525
209.19/209.24	o 45235896
209.90/210.00	c 208.836 1948.48 1 1073150
210.00/210.00	o 42165794
210.79/210.82	c 209.415 1948.48 7 1471944
210.79/210.82	o 41235588
211.49/211.52	c 209.89 1948.48 7 1829521
211.49/211.52	o 31965180
214.50/214.53	c 211.992 1949.48 16 3206530
214.50/214.53	o 31925180
215.19/215.24	c 212.499 1949.48 16 3564095
215.19/215.24	o 23954668
215.89/215.95	c 213.015 1949.48 16 3921712
215.89/215.95	o 21904261
216.59/216.66	c 213.513 1949.48 16 4252279
216.59/216.66	o 21874160
217.29/217.38	c 214.004 1949.48 16 4609866
217.29/217.38	o 20824057
218.29/218.30	c 214.663 1949.48 42 5029069
218.29/218.30	o 20783751
219.69/219.72	c 215.686 1949.48 142 5503352
219.69/219.72	o 16762855
220.39/220.49	c 216.228 1949.48 142 5860945
220.39/220.49	o 11793767
221.19/221.25	c 216.755 1949.48 142 6218585
221.19/221.25	o 9783255
222.00/222.02	c 217.289 1949.48 145 6563111
222.00/222.02	o 9763564
222.69/222.77	c 217.815 1949.61 145 6893847
222.69/222.77	o 9743852
223.50/223.53	c 218.375 1949.61 145 7224592
223.50/223.53	o 9673856
224.19/224.28	c 218.916 1949.74 145 7582172
224.19/224.28	o 8843866
224.99/225.08	c 219.482 1949.74 146 7922143
224.99/225.08	o 8804370
225.79/225.85	c 220.031 1949.74 146 8279742
225.79/225.85	o 7884259
226.50/226.57	c 220.532 1949.87 148 8482025
226.50/226.57	o 7884065
227.29/227.33	c 221.058 1950 165 8813969
227.29/227.33	o 7854063
228.00/228.04	c 221.558 1950 165 9144872
228.00/228.04	o 7743959
229.09/229.17	c 222.374 1950.13 251 9354986
229.09/229.17	o 7743556
236.59/236.67	c 227.874 1949.68 1303 10666124
236.59/236.67	o 7733753
237.70/237.71	c 228.64 1949.75 1464 10834679
237.70/237.71	o 7733658
238.89/238.98	c 229.583 1949.95 1669 11186482
238.89/238.98	o 7704161
240.59/240.65	c 230.841 1950.15 1797 11528528
240.59/240.65	o 7693552
244.89/244.93	c 234.042 1950.03 2957 11833040
244.89/244.93	o 7684258
245.60/245.67	c 234.578 1950.04 2961 12164233
245.60/245.67	o 6793749
246.80/246.86	c 235.495 1950.18 3064 12512742
246.80/246.86	o 6753857
248.30/248.36	c 236.659 1950.44 3465 12882061
248.30/248.36	o 6703752
249.29/249.34	c 237.388 1950.71 3573 13227045
249.29/249.34	o 5873762
250.09/250.18	c 237.989 1951.55 3574 13558228
250.09/250.18	o 5803855
252.29/252.34	c 239.537 1951.62 3638 13891111
252.29/252.34	o 5784363
255.10/255.12	c 241.541 1951.11 3942 14103016
255.10/255.12	o 5783661
259.29/259.34	c 244.685 1952.15 4457 14312918
259.29/259.34	o 5774257
261.39/261.42	c 246.204 1952.35 4713 14674335
261.39/261.42	o 5763760
267.49/267.57	c 250.775 1951.71 5055 15051854
267.49/267.57	o 5733959
268.19/268.28	c 251.248 1952.73 5067 15056084
268.19/268.28	o 5733958
268.99/269.01	c 251.766 1952.73 5080 15390973
268.99/269.01	o 5723655
269.90/269.98	c 252.466 1952.74 5091 15722829
269.90/269.98	o 5703655
282.50/282.58	c 261.956 1954.62 7200 16240716
282.50/282.58	o 5674255
284.39/284.43	c 263.356 1954.82 7528 16455901
284.39/284.43	o 5674160
287.59/287.60	c 265.676 1955.02 7679 16804868
287.59/287.60	o 5664057
288.69/288.71	c 266.479 1954.96 7810 17028442
288.69/288.71	o 5663750
292.30/292.38	c 269.218 1955.16 8167 17254030
292.30/292.38	o 5653952
317.40/317.48	c 288.403 1955.62 11894 17846763
317.40/317.48	o 5633556
320.60/320.67	c 290.856 1955.89 12404 18249862
320.60/320.67	o 5623552
324.89/324.94	c 294.135 1959.53 13108 18719405
324.89/324.94	o 3784260
325.70/325.78	c 294.784 1959.53 13129 19051638
325.70/325.78	o 3774253
327.30/327.35	c 295.952 1959.53 13229 19391728
327.30/327.35	o 3683962
390.80/390.80	c 345.482 1961.05 27783 20375739
390.80/390.80	o 3683758
400.19/400.29	c 352.662 1961.18 28359 20745770
400.19/400.29	o 3664366
414.50/414.50	c 362.938 1961.63 29835 21047843
414.50/414.50	o 3663649
417.60/417.64	c 365.334 1961.77 30175 21407223
417.60/417.64	o 2923853
418.50/418.51	c 365.955 1961.78 30187 21737941
418.50/418.51	o 2863756
419.30/419.36	c 366.594 1961.79 30192 22069173
419.30/419.36	o 2834057
420.20/420.27	c 367.258 1961.79 30217 22260429
420.20/420.27	o 2833747
421.50/421.56	c 368.177 1961.8 30281 22600613
421.50/421.56	o 2823656
422.40/422.42	c 368.819 1961.81 30298 22931106
422.40/422.42	o 2744057
423.19/423.27	c 369.428 1961.82 30304 23261736
423.19/423.27	o 2704253
425.10/425.17	c 370.877 1961.95 30619 23488857
425.10/425.17	o 2694350
425.89/425.96	c 371.476 1961.96 30622 23672820
425.89/425.96	o 2693751
428.70/428.73	c 373.53 1962.8 30722 23871381
428.70/428.73	o 2684158
433.60/433.63	c 377.175 1963 31142 24221078
433.60/433.63	o 2673456
434.40/434.50	c 377.844 1962.95 31156 24441443
434.40/434.50	o 2663945
435.30/435.31	c 378.444 1963.02 31191 24630060
435.30/435.31	o 2663754
436.50/436.53	c 379.356 1963.09 31380 24981353
436.50/436.53	o 2653256
444.20/444.29	c 385.415 1962.58 32214 25354890
444.20/444.29	o 2643961
446.10/446.19	c 386.813 1962.59 32377 25556625
446.10/446.19	o 2643256
447.60/447.68	c 387.947 1962.73 32508 25762362
447.60/447.68	o 2633453
455.60/455.61	c 393.902 1962.95 33371 26156738
455.60/455.61	o 2614358
459.29/459.38	c 396.741 1963.22 33885 26399062
459.29/459.38	o 2613756
478.09/478.11	c 411.452 1965.43 40581 26874651
478.09/478.11	o 2612959
494.69/494.75	c 424.848 1966.32 41429 27101842
494.69/494.75	o 2603762
499.60/499.63	c 428.523 1968.25 42096 28108005
499.60/499.63	o 2603657
501.30/501.31	c 429.816 1968.26 42215 28450940
501.30/501.31	o 2563963
570.30/570.38	c 489.072 1968.55 47134 29085855
570.30/570.38	o 2543452
769.10/769.11	c 642.222 1985.12 89697 31989125
769.10/769.12	o 2483950
1446.22/1446.27	c 1164.47 2011.68 98185 38515520
1446.22/1446.27	o 1773856
1448.82/1448.89	c 1166.41 2010.84 98303 38932915
1448.82/1448.89	o 1714253
1457.53/1457.58	c 1172.75 2011.3 99155 39171748
1457.53/1457.58	o 1713448
1458.53/1458.56	c 1173.42 2011.63 99250 39505151
1458.53/1458.56	o 1663550
1459.32/1459.36	c 1174.02 2011.57 99252 39835701
1459.32/1459.36	o 1553156
1478.43/1478.49	c 1188.92 2013.13 103551 40431995
1478.43/1478.49	o 1543554
1800.03/1800.00	s SATISFIABLE
1800.03/1800.00	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928

Verifier Data 

OK	1543554

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701257-1278538374/watcher-2701257-1278538374 -o /tmp/evaluation-result-2701257-1278538374/solver-2701257-1278538374 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701257-1278538374.wbo 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.98 2.00 2.04 4/178 19942
/proc/meminfo: memFree=30167248/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=2272 CPUtime=0
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 273 0 0 0 0 0 0 0 22 0 1 0 22051378 2326528 192 4089446400 134512640 136422188 4291875200 18446744073709551615 135160473 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19942/statm: 568 192 144 467 0 99 0

[startup+0.0736011 s]
/proc/loadavg: 1.98 2.00 2.04 4/178 19942
/proc/meminfo: memFree=30167248/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=3072 CPUtime=0.07
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 495 0 0 0 7 0 0 0 22 0 1 0 22051378 3145728 381 4089446400 134512640 136422188 4291875200 18446744073709551615 135806208 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19942/statm: 768 382 144 467 0 299 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3072

[startup+0.1006 s]
/proc/loadavg: 1.98 2.00 2.04 4/178 19942
/proc/meminfo: memFree=30167248/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=3724 CPUtime=0.09
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 683 0 0 0 9 0 0 0 22 0 1 0 22051378 3813376 504 4089446400 134512640 136422188 4291875200 18446744073709551615 135528738 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19942/statm: 931 504 144 467 0 462 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3724

[startup+0.300565 s]
/proc/loadavg: 1.98 2.00 2.04 4/178 19942
/proc/meminfo: memFree=30167248/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=5688 CPUtime=0.29
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 1323 0 0 0 29 0 0 0 22 0 1 0 22051378 5824512 1015 4089446400 134512640 136422188 4291875200 18446744073709551615 135806271 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19942/statm: 1422 1015 144 467 0 953 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5688

[startup+0.700491 s]
/proc/loadavg: 1.98 2.00 2.04 4/178 19942
/proc/meminfo: memFree=30167248/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=10012 CPUtime=0.69
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 2692 0 0 0 69 0 0 0 24 0 1 0 22051378 10252288 2127 4089446400 134512640 136422188 4291875200 18446744073709551615 135160466 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19942/statm: 2503 2127 144 467 0 2034 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10012

[startup+1.50035 s]
/proc/loadavg: 1.98 2.00 2.04 3/179 19943
/proc/meminfo: memFree=30155832/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=28572 CPUtime=1.49
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 6241 0 0 0 148 1 0 0 25 0 1 0 22051378 29257728 5163 4089446400 134512640 136422188 4291875200 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19942/statm: 7143 5163 144 467 0 6674 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28572

[startup+3.10107 s]
/proc/loadavg: 1.98 2.00 2.04 3/179 19944
/proc/meminfo: memFree=30138504/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=243004 CPUtime=3.09
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 64458 0 0 0 299 10 0 0 25 0 1 0 22051378 248836096 59383 4089446400 134512640 136422188 4291875200 18446744073709551615 134784372 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19942/statm: 60751 59383 195 467 0 60282 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 243004

[startup+6.30051 s]
/proc/loadavg: 2.06 2.02 2.04 3/179 19944
/proc/meminfo: memFree=29444600/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=888516 CPUtime=6.29
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 236724 0 0 0 594 35 0 0 25 0 1 0 22051378 909840384 219605 4089446400 134512640 136422188 4291875200 18446744073709551615 135408634 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19942/statm: 222129 219605 195 467 0 221660 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 888516

[startup+12.7004 s]
/proc/loadavg: 2.06 2.01 2.04 3/179 19944
/proc/meminfo: memFree=28322052/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=1880184 CPUtime=12.69
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 493741 0 0 0 1202 67 0 0 25 0 1 0 22051378 1925308416 461113 4089446400 134512640 136422188 4291875200 18446744073709551615 135017388 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19942/statm: 470046 461113 211 467 0 469577 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1880184

[startup+25.5001 s]
/proc/loadavg: 2.04 2.01 2.04 3/179 19944
/proc/meminfo: memFree=28314576/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=1887516 CPUtime=25.49
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 495601 0 0 0 2481 68 0 0 25 0 1 0 22051378 1932816384 462973 4089446400 134512640 136422188 4291875200 18446744073709551615 135017819 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19942/statm: 471879 462973 211 467 0 471410 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1887516

[startup+51.1006 s]
/proc/loadavg: 2.03 2.01 2.04 3/179 19945
/proc/meminfo: memFree=28307672/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=1894248 CPUtime=51.09
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 497288 0 0 0 5041 68 0 0 25 0 1 0 22051378 1939709952 464660 4089446400 134512640 136422188 4291875200 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19942/statm: 473562 464660 211 467 0 473093 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1894248

[startup+102.306 s]
/proc/loadavg: 2.01 2.01 2.03 3/179 19946
/proc/meminfo: memFree=28299348/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=1902888 CPUtime=102.3
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 500001 0 0 0 10161 69 0 0 25 0 1 0 22051378 1948557312 466794 4089446400 134512640 136422188 4291875200 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19942/statm: 475722 466794 211 467 0 475253 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1902888

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 19948
/proc/meminfo: memFree=28292364/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=1909488 CPUtime=162.3
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 501664 0 0 0 16160 70 0 0 25 0 1 0 22051378 1955315712 468457 4089446400 134512640 136422188 4291875200 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19942/statm: 477372 468457 211 467 0 476903 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1909488

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 19949
/proc/meminfo: memFree=28256456/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=1996268 CPUtime=222.29
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 525381 0 0 0 21747 482 0 0 25 0 1 0 22051378 2044178432 477439 4089446400 134512640 136422188 4291875200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19942/statm: 499067 477439 239 467 0 498598 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1996268

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 19951
/proc/meminfo: memFree=28251820/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=2002772 CPUtime=282.29
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 540864 0 0 0 26172 2057 0 0 25 0 1 0 22051378 2050838528 478991 4089446400 134512640 136422188 4291875200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19942/statm: 500693 478991 239 467 0 500224 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 2002772

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 19952
/proc/meminfo: memFree=28246316/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=2006552 CPUtime=342.29
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 547383 0 0 0 30756 3473 0 0 25 0 1 0 22051378 2054709248 479928 4089446400 134512640 136422188 4291875200 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19942/statm: 501638 479928 239 467 0 501169 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 2006552

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19954
/proc/meminfo: memFree=28244272/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=2008104 CPUtime=402.29
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 551546 0 0 0 35416 4813 0 0 25 0 1 0 22051378 2056298496 480319 4089446400 134512640 136422188 4291875200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19942/statm: 502026 480319 239 467 0 501557 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 2008104

[startup+462.301 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 19956
/proc/meminfo: memFree=28241624/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=2010336 CPUtime=462.3
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 576315 0 0 0 39880 6350 0 0 25 0 1 0 22051378 2058584064 480883 4089446400 134512640 136422188 4291875200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19942/statm: 502584 480883 239 467 0 502115 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2010336

[startup+522.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 19957
/proc/meminfo: memFree=28236500/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=2015492 CPUtime=522.3
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 581804 0 0 0 44684 7546 0 0 25 0 1 0 22051378 2063863808 482161 4089446400 134512640 136422188 4291875200 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19942/statm: 503873 482161 239 467 0 503404 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2015492

[startup+582.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 19959
/proc/meminfo: memFree=28234088/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=2017524 CPUtime=582.3
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 583839 0 0 0 49808 8422 0 0 25 0 1 0 22051378 2065944576 482675 4089446400 134512640 136422188 4291875200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19942/statm: 504381 482675 239 467 0 503912 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2017524

[startup+642.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 19960
/proc/meminfo: memFree=28231580/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=2021088 CPUtime=642.31
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 584723 0 0 0 54355 9876 0 0 25 0 1 0 22051378 2069594112 483559 4089446400 134512640 136422188 4291875200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19942/statm: 505272 483559 239 467 0 504803 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 2021088

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19965
/proc/meminfo: memFree=28214180/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=2038124 CPUtime=822.3
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 595708 0 0 0 68508 13722 0 0 25 0 1 0 22051378 2087038976 487825 4089446400 134512640 136422188 4291875200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19942/statm: 509531 487825 239 467 0 509062 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 2038124

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19967
/proc/meminfo: memFree=28207308/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=2045852 CPUtime=882.31
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 600425 0 0 0 72981 15250 0 0 25 0 1 0 22051378 2094952448 489750 4089446400 134512640 136422188 4291875200 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19942/statm: 511463 489750 239 467 0 510994 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 2045852

[startup+942.3 s]
/proc/loadavg: 1.94 1.98 1.99 3/197 20014
/proc/meminfo: memFree=28031240/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=2054532 CPUtime=942.31
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 602590 0 0 0 77938 16293 0 0 25 0 1 0 22051378 2103840768 491915 4089446400 134512640 136422188 4291875200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19942/statm: 513633 491915 239 467 0 513164 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 2054532

[startup+1002.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/197 20016
/proc/meminfo: memFree=28010780/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=2054796 CPUtime=1002.31
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 602643 0 0 0 82579 17652 0 0 25 0 1 0 22051378 2104111104 491968 4089446400 134512640 136422188 4291875200 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19942/statm: 513699 491968 239 467 0 513230 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 2054796

[startup+1062.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/197 20018
/proc/meminfo: memFree=28009476/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=2054796 CPUtime=1062.31
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 602643 0 0 0 86985 19246 0 0 25 0 1 0 22051378 2104111104 491968 4089446400 134512640 136422188 4291875200 18446744073709551615 135006280 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19942/statm: 513699 491968 239 467 0 513230 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 2054796

[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/197 20019
/proc/meminfo: memFree=28009156/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=2054796 CPUtime=1122.32
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 602643 0 0 0 91423 20809 0 0 25 0 1 0 22051378 2104111104 491968 4089446400 134512640 136422188 4291875200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19942/statm: 513699 491968 239 467 0 513230 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2054796

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 20021
/proc/meminfo: memFree=28008228/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=2054796 CPUtime=1182.31
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 602643 0 0 0 95926 22305 0 0 25 0 1 0 22051378 2104111104 491968 4089446400 134512640 136422188 4291875200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19942/statm: 513699 491968 239 467 0 513230 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 2054796

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 20022
/proc/meminfo: memFree=28007408/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=2054796 CPUtime=1242.31
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 602643 0 0 0 100494 23737 0 0 25 0 1 0 22051378 2104111104 491968 4089446400 134512640 136422188 4291875200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19942/statm: 513699 491968 239 467 0 513230 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 2054796

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 20024
/proc/meminfo: memFree=28003856/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=2058072 CPUtime=1302.32
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 603482 0 0 0 105169 25063 0 0 25 0 1 0 22051378 2107465728 492807 4089446400 134512640 136422188 4291875200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19942/statm: 514518 492807 239 467 0 514049 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 2058072

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 20026
/proc/meminfo: memFree=27990056/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=2058760 CPUtime=1362.31
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 603637 0 0 0 109880 26351 0 0 25 0 1 0 22051378 2108170240 492962 4089446400 134512640 136422188 4291875200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19942/statm: 514690 492962 239 467 0 514221 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 2058760

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 20027
/proc/meminfo: memFree=27988632/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=2058760 CPUtime=1422.33
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 603637 0 0 0 114582 27651 0 0 25 0 1 0 22051378 2108170240 492962 4089446400 134512640 136422188 4291875200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19942/statm: 514690 492962 239 467 0 514221 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 2058760

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 20029
/proc/meminfo: memFree=27984984/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=2061440 CPUtime=1482.31
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 608112 0 0 0 119166 29065 0 0 25 0 1 0 22051378 2110914560 493658 4089446400 134512640 136422188 4291875200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19942/statm: 515360 493658 239 467 0 514891 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 2061440

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 20030
/proc/meminfo: memFree=27980100/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=2066328 CPUtime=1542.32
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 609325 0 0 0 123703 30529 0 0 25 0 1 0 22051378 2115919872 494871 4089446400 134512640 136422188 4291875200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19942/statm: 516582 494871 239 467 0 516113 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 2066328

[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/197 20032
/proc/meminfo: memFree=27975212/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=2070684 CPUtime=1602.32
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 610403 0 0 0 128225 32007 0 0 25 0 1 0 22051378 2120380416 495949 4089446400 134512640 136422188 4291875200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19942/statm: 517671 495949 239 467 0 517202 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 2070684

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/197 20034
/proc/meminfo: memFree=27975140/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=2070684 CPUtime=1662.32
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 610421 0 0 0 132943 33289 0 0 25 0 1 0 22051378 2120380416 495967 4089446400 134512640 136422188 4291875200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19942/statm: 517671 495967 239 467 0 517202 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 2070684

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/197 20044
/proc/meminfo: memFree=27973828/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=2070684 CPUtime=1722.33
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 610421 0 0 0 137495 34738 0 0 25 0 1 0 22051378 2120380416 495967 4089446400 134512640 136422188 4291875200 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19942/statm: 517671 495967 239 467 0 517202 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 2070684

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 20046
/proc/meminfo: memFree=27973904/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=2070684 CPUtime=1782.33
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 610421 0 0 0 142275 35958 0 0 25 0 1 0 22051378 2120380416 495967 4089446400 134512640 136422188 4291875200 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19942/statm: 517671 495967 239 467 0 517202 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 2070684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 20046
/proc/meminfo: memFree=27973888/32951124 swapFree=67111528/67111528
[pid=19942] ppid=19940 vsize=2070684 CPUtime=1800.03
/proc/19942/stat : 19942 (pbct) R 19940 19942 19224 0 -1 4202496 610421 0 0 0 143631 36372 0 0 25 0 1 0 22051378 2120380416 495967 4089446400 134512640 136422188 4291875200 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/19942/statm: 517671 495967 239 467 0 517202 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2070684

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

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

Child status: 0
Real time (s): 1800.07
CPU time (s): 1800.11
CPU user time (s): 1436.32
CPU system time (s): 363.793
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2070684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1436.32
system time used= 363.793
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 610422
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= 1
involuntary context switches= 2651

runsolver used 2.6416 second user time and 5.62514 second system time

The end

Launcher Data 

Begin job on node119 at 2010-07-07 23:32:54
IDJOB=2701257
IDBENCH=79549
IDSOLVER=1212
FILE ID=node119/2701257-1278538374
PBS_JOBID= 11239239
Free space on /tmp= 73216 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/celar/normalized-celar7-sub4_wcsp.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701257-1278538374/watcher-2701257-1278538374 -o /tmp/evaluation-result-2701257-1278538374/solver-2701257-1278538374 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2701257-1278538374.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= d0b0b5ffd622ea62c2efad9dcf2f5ece
RANDOM SEED=736935088

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30167768 kB
Buffers:        143960 kB
Cached:        2378976 kB
SwapCached:          0 kB
Active:        1157188 kB
Inactive:      1461492 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30167768 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           12452 kB
Writeback:           0 kB
AnonPages:       95520 kB
Mapped:          15376 kB
Slab:            99564 kB
PageTables:       4876 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   240776 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= 73212 MiB
End job on node119 at 2010-07-08 00:02:56