Trace number 2701255

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.1MSAT (TO) 1800.11 1800.08

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.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
1.79/1.84	c constraints 22/0 clauses 0/357028 units 0
1.79/1.84	c vars 928
1.79/1.85	c Setting top cost 55058437
217.70/217.73	c 216.591 1898.18 1 715525
217.70/217.73	o 45235896
218.40/218.49	c 216.92 1948.48 1 1073150
218.40/218.49	o 42165794
219.29/219.32	c 217.187 1948.48 7 1471944
219.29/219.32	o 41235588
220.00/220.02	c 217.355 1948.48 7 1829521
220.00/220.02	o 31965180
223.00/223.04	c 218.116 1949.48 16 3206530
223.00/223.04	o 31925180
223.69/223.76	c 218.305 1949.48 16 3564095
223.69/223.76	o 23954668
224.40/224.47	c 218.499 1949.48 16 3921712
224.40/224.48	o 21904261
225.09/225.19	c 218.781 1949.48 16 4252279
225.09/225.19	o 21874160
225.89/225.92	c 219.015 1949.48 16 4609866
225.89/225.92	o 20824057
226.79/226.85	c 219.278 1949.48 42 5029069
226.79/226.85	o 20783751
228.19/228.27	c 219.723 1949.48 142 5503352
228.19/228.27	o 16762855
229.00/229.04	c 219.953 1949.48 142 5860945
229.00/229.04	o 11793767
229.80/229.80	c 220.179 1949.48 142 6218585
229.80/229.80	o 9783255
230.49/230.59	c 220.418 1949.48 145 6563111
230.49/230.59	o 9763564
231.29/231.34	c 220.682 1949.61 145 6893847
231.29/231.34	o 9743852
232.09/232.11	c 221.015 1949.61 145 7224592
232.09/232.11	o 9673856
232.79/232.87	c 221.254 1949.74 145 7582172
232.79/232.87	o 8843866
233.59/233.68	c 221.501 1949.74 146 7922143
233.59/233.68	o 8804370
234.40/234.46	c 221.721 1949.74 146 8279742
234.40/234.46	o 7884259
235.09/235.18	c 221.907 1949.87 148 8482025
235.09/235.18	o 7884065
235.90/235.95	c 222.092 1950 165 8813969
235.90/235.95	o 7854063
236.60/236.68	c 222.28 1950 165 9144872
236.60/236.68	o 7743959
237.79/237.81	c 222.693 1950.13 251 9354986
237.79/237.81	o 7743556
245.20/245.27	c 225.526 1949.68 1303 10666124
245.20/245.27	o 7733753
246.30/246.31	c 225.885 1949.75 1464 10834679
246.30/246.31	o 7733658
247.50/247.59	c 226.319 1949.95 1669 11186482
247.50/247.59	o 7704161
249.19/249.27	c 227.019 1950.15 1797 11528528
249.19/249.27	o 7693552
253.49/253.55	c 228.801 1950.03 2957 11833040
253.49/253.55	o 7684258
254.30/254.30	c 228.984 1950.04 2961 12164233
254.30/254.30	o 6793749
255.49/255.50	c 229.385 1950.18 3064 12512742
255.49/255.50	o 6753857
256.99/257.00	c 229.948 1950.44 3465 12882061
256.99/257.00	o 6703752
257.90/257.98	c 230.37 1950.71 3573 13227045
257.90/257.98	o 5873762
258.80/258.83	c 230.649 1951.55 3574 13558228
258.80/258.83	o 5803855
260.89/260.99	c 231.633 1951.62 3638 13891111
260.89/260.99	o 5784363
263.69/263.77	c 233.052 1951.11 3942 14103016
263.69/263.77	o 5783661
267.99/268.00	c 235.213 1952.15 4457 14312918
267.99/268.00	o 5774257
269.99/270.09	c 236.255 1952.35 4713 14674335
269.99/270.09	o 5763760
276.19/276.24	c 239.441 1951.71 5055 15051854
276.19/276.24	o 5733959
276.89/276.96	c 239.739 1952.73 5067 15056084
276.89/276.96	o 5733958
277.70/277.70	c 240.076 1952.73 5080 15390973
277.70/277.70	o 5723655
278.59/278.67	c 240.517 1952.74 5091 15722829
278.59/278.67	o 5703655
291.19/291.28	c 247.387 1954.62 7200 16240716
291.19/291.28	o 5674255
293.10/293.13	c 248.325 1954.82 7528 16455901
293.10/293.13	o 5674160
296.29/296.31	c 249.914 1955.02 7679 16804868
296.29/296.31	o 5664057
297.39/297.41	c 250.445 1954.96 7810 17028442
297.39/297.41	o 5663750
301.00/301.08	c 252.364 1955.16 8167 17254030
301.00/301.08	o 5653952
326.19/326.22	c 266.169 1955.62 11894 17846763
326.19/326.22	o 5633556
329.39/329.41	c 267.829 1955.89 12404 18249862
329.39/329.41	o 5623552
333.59/333.67	c 270.254 1959.53 13108 18719405
333.59/333.67	o 3784260
334.50/334.52	c 270.664 1959.53 13129 19051638
334.50/334.52	o 3774253
336.10/336.10	c 271.457 1959.53 13229 19391728
336.10/336.10	o 3683962
399.49/399.55	c 308.046 1961.05 27783 20375739
399.49/399.55	o 3683758
409.00/409.08	c 312.994 1961.18 28359 20745770
409.00/409.08	o 3664366
423.30/423.31	c 319.943 1961.63 29835 21047843
423.30/423.31	o 3663649
426.40/426.45	c 321.637 1961.77 30175 21407223
426.40/426.45	o 2923853
427.30/427.33	c 322.067 1961.78 30187 21737941
427.30/427.33	o 2863756
428.09/428.18	c 322.477 1961.79 30192 22069173
428.09/428.18	o 2834057
429.10/429.10	c 322.922 1961.79 30217 22260429
429.10/429.10	o 2833747
430.40/430.40	c 323.505 1961.8 30281 22600613
430.40/430.40	o 2823656
431.21/431.27	c 323.937 1961.81 30298 22931106
431.21/431.27	o 2744057
432.10/432.12	c 324.347 1961.82 30304 23261736
432.10/432.12	o 2704253
434.00/434.02	c 325.316 1961.95 30619 23488857
434.00/434.02	o 2694350
434.80/434.81	c 325.693 1961.96 30622 23672820
434.80/434.81	o 2693751
437.60/437.61	c 327.135 1962.8 30722 23871381
437.60/437.61	o 2684158
442.50/442.53	c 329.628 1963 31142 24221078
442.50/442.53	o 2673456
443.40/443.40	c 330.047 1962.95 31156 24441443
443.40/443.40	o 2663945
444.20/444.22	c 330.447 1963.02 31191 24630060
444.20/444.22	o 2663754
445.40/445.45	c 331.054 1963.09 31380 24981353
445.40/445.45	o 2653256
453.10/453.18	c 335.692 1962.58 32214 25354890
453.10/453.18	o 2643961
454.99/455.09	c 336.599 1962.59 32377 25556625
454.99/455.09	o 2643256
456.50/456.58	c 337.41 1962.73 32508 25762362
456.50/456.58	o 2633453
464.50/464.53	c 341.55 1962.95 33371 26156738
464.50/464.53	o 2614358
468.30/468.31	c 343.517 1963.22 33885 26399062
468.30/468.31	o 2613756
486.90/486.92	c 354.643 1965.43 40581 26874651
486.90/486.92	o 2612959
503.40/503.50	c 365.31 1966.32 41429 27101842
503.40/503.50	o 2603762
508.30/508.37	c 367.881 1968.25 42096 28108005
508.30/508.37	o 2603657
510.01/510.05	c 368.865 1968.26 42215 28450940
510.01/510.05	o 2563963
578.31/578.34	c 418.95 1968.55 47134 29085855
578.31/578.34	o 2543452
776.61/776.67	c 530.772 1985.12 89697 31989125
776.61/776.67	o 2483950
1460.23/1460.20	c 880.939 2011.68 98185 38515520
1460.23/1460.20	o 1773856
1462.82/1462.89	c 881.862 2010.84 98303 38932915
1462.82/1462.89	o 1714253
1471.73/1471.80	c 885.145 2011.3 99155 39171748
1471.73/1471.80	o 1713448
1472.83/1472.81	c 885.467 2011.63 99250 39505151
1472.83/1472.81	o 1663550
1473.63/1473.63	c 885.736 2011.57 99252 39835701
1473.63/1473.63	o 1553156
1493.22/1493.23	c 895.117 2013.13 103551 40431995
1493.22/1493.23	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-2701255-1278538330/watcher-2701255-1278538330 -o /tmp/evaluation-result-2701255-1278538330/solver-2701255-1278538330 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701255-1278538330.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: 2.30 2.18 2.04 3/196 22375
/proc/meminfo: memFree=29204700/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=2272 CPUtime=0
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 273 0 0 0 0 0 0 0 22 0 1 0 22047124 2326528 192 4089446400 134512640 136421960 4294752752 18446744073709551615 135372682 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/22375/statm: 568 192 144 467 0 99 0

[startup+0.026438 s]
/proc/loadavg: 2.30 2.18 2.04 3/196 22375
/proc/meminfo: memFree=29204700/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=2548 CPUtime=0.02
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 358 0 0 0 2 0 0 0 22 0 1 0 22047124 2609152 277 4089446400 134512640 136421960 4294752752 18446744073709551615 135818289 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/22375/statm: 637 277 144 467 0 168 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2548

[startup+0.100413 s]
/proc/loadavg: 2.30 2.18 2.04 3/196 22375
/proc/meminfo: memFree=29204700/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=3724 CPUtime=0.09
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 689 0 0 0 9 0 0 0 22 0 1 0 22047124 3813376 510 4089446400 134512640 136421960 4294752752 18446744073709551615 135818403 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/22375/statm: 931 510 144 467 0 462 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3724

[startup+0.300377 s]
/proc/loadavg: 2.30 2.18 2.04 3/196 22375
/proc/meminfo: memFree=29204700/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=5952 CPUtime=0.29
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 1399 0 0 0 29 0 0 0 22 0 1 0 22047124 6094848 1091 4089446400 134512640 136421960 4294752752 18446744073709551615 135809583 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/22375/statm: 1488 1091 144 467 0 1019 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5952

[startup+0.700307 s]
/proc/loadavg: 2.30 2.18 2.04 3/196 22375
/proc/meminfo: memFree=29204700/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=14436 CPUtime=0.69
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 3829 0 0 0 69 0 0 0 24 0 1 0 22047124 14782464 2751 4089446400 134512640 136421960 4294752752 18446744073709551615 135153291 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/22375/statm: 3609 2751 144 467 0 3140 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14436

[startup+1.50015 s]
/proc/loadavg: 2.30 2.18 2.04 3/197 22376
/proc/meminfo: memFree=29192168/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=26716 CPUtime=1.49
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 7508 0 0 0 148 1 0 0 25 0 1 0 22047124 27357184 5405 4089446400 134512640 136421960 4294752752 18446744073709551615 135529010 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/22375/statm: 6679 5405 144 467 0 6210 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26716

[startup+3.10087 s]
/proc/loadavg: 2.30 2.18 2.04 3/197 22376
/proc/meminfo: memFree=29121240/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=328308 CPUtime=3.09
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 86760 0 0 0 297 12 0 0 25 0 1 0 22047124 336187392 78630 4089446400 134512640 136421960 4294752752 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/22375/statm: 82077 78633 194 467 0 81608 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 328308

[startup+6.30029 s]
/proc/loadavg: 2.28 2.18 2.04 3/197 22376
/proc/meminfo: memFree=28353904/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=1071852 CPUtime=6.29
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 284451 0 0 0 593 36 0 0 25 0 1 0 22047124 1097576448 257178 4089446400 134512640 136421960 4294752752 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/22375/statm: 267963 257181 194 467 0 267494 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1071852

[startup+12.7001 s]
/proc/loadavg: 2.25 2.18 2.03 3/197 22377
/proc/meminfo: memFree=27359068/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=1880316 CPUtime=12.69
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 493792 0 0 0 1210 59 0 0 25 0 1 0 22047124 1925443584 461164 4089446400 134512640 136421960 4294752752 18446744073709551615 135017513 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/22375/statm: 470079 461164 211 467 0 469610 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1880316

[startup+25.5008 s]
/proc/loadavg: 2.20 2.17 2.03 3/197 22377
/proc/meminfo: memFree=27352408/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=1888440 CPUtime=25.49
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 495815 0 0 0 2490 59 0 0 25 0 1 0 22047124 1933762560 463187 4089446400 134512640 136421960 4294752752 18446744073709551615 135017513 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/22375/statm: 472110 463187 211 467 0 471641 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1888440

[startup+51.1011 s]
/proc/loadavg: 2.13 2.15 2.03 3/197 22377
/proc/meminfo: memFree=27342456/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=1897608 CPUtime=51.09
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 498691 0 0 0 5049 60 0 0 25 0 1 0 22047124 1943150592 465484 4089446400 134512640 136421960 4294752752 18446744073709551615 135017513 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/22375/statm: 474402 465484 211 467 0 473933 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1897608

[startup+102.307 s]
/proc/loadavg: 2.05 2.13 2.03 3/197 22379
/proc/meminfo: memFree=27337124/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=1903152 CPUtime=102.29
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 500075 0 0 0 10169 60 0 0 25 0 1 0 22047124 1948827648 466868 4089446400 134512640 136421960 4294752752 18446744073709551615 135017513 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/22375/statm: 475788 466868 211 467 0 475319 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1903152

[startup+162.301 s]
/proc/loadavg: 2.02 2.10 2.02 3/197 22381
/proc/meminfo: memFree=27330852/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=1909224 CPUtime=162.29
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 501613 0 0 0 16168 61 0 0 25 0 1 0 22047124 1955045376 468406 4089446400 134512640 136421960 4294752752 18446744073709551615 135017513 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/22375/statm: 477306 468406 211 467 0 476837 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1909224

[startup+222.301 s]
/proc/loadavg: 2.00 2.08 2.01 3/197 22382
/proc/meminfo: memFree=27294212/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=1996268 CPUtime=222.29
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 525336 0 0 0 21791 438 0 0 25 0 1 0 22047124 2044178432 477404 4089446400 134512640 136421960 4294752752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/22375/statm: 499067 477404 238 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.06 2.01 3/197 22383
/proc/meminfo: memFree=27290652/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=2000264 CPUtime=282.29
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 540234 0 0 0 24245 3984 0 0 25 0 1 0 22047124 2048270336 478361 4089446400 134512640 136421960 4294752752 18446744073709551615 135022200 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/22375/statm: 500066 478361 239 467 0 499597 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 2000264

[startup+342.301 s]
/proc/loadavg: 2.00 2.05 2.00 3/197 22385
/proc/meminfo: memFree=27284256/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=2006552 CPUtime=342.3
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 547384 0 0 0 27504 6726 0 0 25 0 1 0 22047124 2054709248 479929 4089446400 134512640 136421960 4294752752 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/22375/statm: 501638 479929 239 467 0 501169 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 2006552

[startup+402.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/197 22387
/proc/meminfo: memFree=27281456/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=2008768 CPUtime=402.3
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 550208 0 0 0 30942 9288 0 0 25 0 1 0 22047124 2056978432 480477 4089446400 134512640 136421960 4294752752 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/22375/statm: 502192 480477 239 467 0 501723 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2008768

[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/197 22389
/proc/meminfo: memFree=27279612/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=2010164 CPUtime=462.3
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 572165 0 0 0 34053 12177 0 0 25 0 1 0 22047124 2058407936 480824 4089446400 134512640 136421960 4294752752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/22375/statm: 502541 480824 239 467 0 502072 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2010164

[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 22390
/proc/meminfo: memFree=27273468/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=2015492 CPUtime=522.3
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 581804 0 0 0 37600 14630 0 0 25 0 1 0 22047124 2063863808 482161 4089446400 134512640 136421960 4294752752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/22375/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.00 2.02 2.00 3/197 22391
/proc/meminfo: memFree=27273140/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=2016324 CPUtime=582.3
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 583271 0 0 0 42100 16130 0 0 25 0 1 0 22047124 2064715776 482355 4089446400 134512640 136421960 4294752752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/22375/statm: 504081 482355 239 467 0 503612 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2016324

[startup+642.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 22393
/proc/meminfo: memFree=27268828/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=2020428 CPUtime=642.31
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 584553 0 0 0 45281 18950 0 0 25 0 1 0 22047124 2068918272 483389 4089446400 134512640 136421960 4294752752 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/22375/statm: 505107 483389 239 467 0 504638 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 2020428

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 22398
/proc/meminfo: memFree=27250868/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=2038196 CPUtime=822.31
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 591564 0 0 0 56056 26175 0 0 25 0 1 0 22047124 2087112704 487847 4089446400 134512640 136421960 4294752752 18446744073709551615 135022200 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/22375/statm: 509549 487847 239 467 0 509080 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 2038196

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 22399
/proc/meminfo: memFree=27244088/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=2045192 CPUtime=882.31
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 600246 0 0 0 59221 29010 0 0 25 0 1 0 22047124 2094276608 489571 4089446400 134512640 136421960 4294752752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/22375/statm: 511298 489571 239 467 0 510829 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 2045192

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 22401
/proc/meminfo: memFree=27234596/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=2054532 CPUtime=942.32
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 602591 0 0 0 63010 31222 0 0 25 0 1 0 22047124 2103840768 491916 4089446400 134512640 136421960 4294752752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/22375/statm: 513633 491916 239 467 0 513164 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 2054532

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 22403
/proc/meminfo: memFree=27233888/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=2054796 CPUtime=1002.31
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 602644 0 0 0 66683 33548 0 0 25 0 1 0 22047124 2104111104 491969 4089446400 134512640 136421960 4294752752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/22375/statm: 513699 491969 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.03 2.01 2.00 2/177 22408
/proc/meminfo: memFree=27290500/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=2054796 CPUtime=1062.32
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 602644 0 0 0 69677 36555 0 0 25 0 1 0 22047124 2104111104 491969 4089446400 134512640 136421960 4294752752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/22375/statm: 513699 491969 239 467 0 513230 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2054796

[startup+1122.3 s]
/proc/loadavg: 2.53 2.13 2.04 3/196 22481
/proc/meminfo: memFree=26944124/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=2054796 CPUtime=1122.32
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 602644 0 0 0 72148 40084 0 0 25 0 1 0 22047124 2104111104 491969 4089446400 134512640 136421960 4294752752 18446744073709551615 135241875 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/22375/statm: 513699 491969 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.63 2.20 2.06 3/196 22482
/proc/meminfo: memFree=26824176/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=2054796 CPUtime=1182.32
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 602644 0 0 0 74731 43501 0 0 25 0 1 0 22047124 2104111104 491969 4089446400 134512640 136421960 4294752752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/22375/statm: 513699 491969 239 467 0 513230 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2054796

[startup+1242.3 s]
/proc/loadavg: 2.61 2.32 2.11 3/196 22484
/proc/meminfo: memFree=26760224/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=2054796 CPUtime=1242.33
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 602644 0 0 0 77454 46779 0 0 25 0 1 0 22047124 2104111104 491969 4089446400 134512640 136421960 4294752752 18446744073709551615 135022200 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/22375/statm: 513699 491969 239 467 0 513230 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 2054796

[startup+1302.3 s]
/proc/loadavg: 2.85 2.45 2.17 3/196 22486
/proc/meminfo: memFree=26692056/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=2058072 CPUtime=1302.33
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 603483 0 0 0 80315 49918 0 0 25 0 1 0 22047124 2107465728 492808 4089446400 134512640 136421960 4294752752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/22375/statm: 514518 492808 239 467 0 514049 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 2058072

[startup+1362.3 s]
/proc/loadavg: 2.44 2.41 2.17 3/196 22488
/proc/meminfo: memFree=26643540/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=2058760 CPUtime=1362.33
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 603638 0 0 0 83237 52996 0 0 25 0 1 0 22047124 2108170240 492963 4089446400 134512640 136421960 4294752752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/22375/statm: 514690 492963 239 467 0 514221 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 2058760

[startup+1422.31 s]
/proc/loadavg: 2.43 2.43 2.20 3/196 22489
/proc/meminfo: memFree=26556964/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=2058760 CPUtime=1422.34
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 603638 0 0 0 86281 55953 0 0 25 0 1 0 22047124 2108170240 492963 4089446400 134512640 136421960 4294752752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/22375/statm: 514690 492963 239 467 0 514221 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 2058760

[startup+1482.3 s]
/proc/loadavg: 3.03 2.55 2.24 6/196 22490
/proc/meminfo: memFree=26516988/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=2060240 CPUtime=1482.33
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 606954 0 0 0 89001 59232 0 0 25 0 1 0 22047124 2109685760 493353 4089446400 134512640 136421960 4294752752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/22375/statm: 515060 493353 239 467 0 514591 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 2060240

[startup+1542.3 s]
/proc/loadavg: 2.54 2.50 2.25 3/196 22492
/proc/meminfo: memFree=26475304/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=2065800 CPUtime=1542.32
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 609184 0 0 0 91710 62522 0 0 25 0 1 0 22047124 2115379200 494730 4089446400 134512640 136421960 4294752752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/22375/statm: 516450 494730 239 467 0 515981 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 2065800

[startup+1602.3 s]
/proc/loadavg: 2.77 2.56 2.28 3/196 22494
/proc/meminfo: memFree=26435968/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=2070684 CPUtime=1602.33
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 610404 0 0 0 94737 65496 0 0 25 0 1 0 22047124 2120380416 495950 4089446400 134512640 136421960 4294752752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/22375/statm: 517671 495950 239 467 0 517202 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 2070684

[startup+1662.3 s]
/proc/loadavg: 2.43 2.49 2.27 3/196 22496
/proc/meminfo: memFree=26400356/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=2070684 CPUtime=1662.33
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 610422 0 0 0 97619 68614 0 0 25 0 1 0 22047124 2120380416 495968 4089446400 134512640 136421960 4294752752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/22375/statm: 517671 495968 239 467 0 517202 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2070684

[startup+1722.3 s]
/proc/loadavg: 3.58 2.83 2.40 6/196 22497
/proc/meminfo: memFree=26367676/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=2070684 CPUtime=1722.33
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 610422 0 0 0 100550 71683 0 0 25 0 1 0 22047124 2120380416 495968 4089446400 134512640 136421960 4294752752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/22375/statm: 517671 495968 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.45 2.65 2.36 3/196 22507
/proc/meminfo: memFree=26333392/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=2070684 CPUtime=1782.33
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 610422 0 0 0 103665 74568 0 0 25 0 1 0 22047124 2120380416 495968 4089446400 134512640 136421960 4294752752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/22375/statm: 517671 495968 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.38 2.62 2.36 6/196 22508
/proc/meminfo: memFree=26323888/32951124 swapFree=67111528/67111528
[pid=22375] ppid=22373 vsize=2070684 CPUtime=1800.03
/proc/22375/stat : 22375 (pbct) R 22373 22375 20232 0 -1 4202496 610422 0 0 0 104679 75324 0 0 25 0 1 0 22047124 2120380416 495968 4089446400 134512640 136421960 4294752752 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/22375/statm: 517671 495968 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.08
CPU time (s): 1800.11
CPU user time (s): 1046.8
CPU system time (s): 753.314
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2070684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1046.8
system time used= 753.314
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 610423
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= 16249

runsolver used 3.08253 second user time and 6.19506 second system time

The end

Launcher Data 

Begin job on node109 at 2010-07-07 23:32:11
IDJOB=2701255
IDBENCH=79549
IDSOLVER=1208
FILE ID=node109/2701255-1278538330
PBS_JOBID= 11239260
Free space on /tmp= 73760 MiB

SOLVER NAME= PB/CT 0.1
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-2701255-1278538330/watcher-2701255-1278538330 -o /tmp/evaluation-result-2701255-1278538330/solver-2701255-1278538330 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2701255-1278538330.wbo

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

MD5SUM BENCH= d0b0b5ffd622ea62c2efad9dcf2f5ece
RANDOM SEED=1904697202

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29205344 kB
Buffers:        144772 kB
Cached:        3333752 kB
SwapCached:          0 kB
Active:        2020060 kB
Inactive:      1578516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29205344 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           12732 kB
Writeback:           0 kB
AnonPages:      120568 kB
Mapped:          20380 kB
Slab:            81952 kB
PageTables:       5708 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1645764 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= 73704 MiB
End job on node109 at 2010-07-08 00:02:13