Trace number 2701443

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.07 1802.02

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/
scens/normalized-scen06-30_wcsp.wbo
MD5SUM6fa6f4309c56d1f5de2d242aa329505b
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark6818
Best CPU time to get the best result obtained on this benchmark1800.2
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1018
Total number of constraints50646
Number of soft constraints50547
Number of constraints which are clauses50547
Number of constraints which are cardinality constraints (but not clauses)99
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint14
Top cost 245952
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 7842900
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 15
Number of bits of the biggest sum of numbers4
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
0.19/0.25	c constraints 99/0 clauses 0/50547 units 0
0.19/0.25	c vars 1018
0.19/0.25	c Setting top cost 245952
4.49/4.58	c 4.44832 279.41 1 102368
4.49/4.58	o 142461
4.59/4.67	c 4.47632 282.785 2 147172
4.59/4.67	o 142330
4.79/4.86	c 4.52831 282.785 47 261422
4.79/4.86	o 103035
4.89/4.95	c 4.56031 282.914 48 312302
4.89/4.95	o 99957
5.09/5.16	c 4.66129 283.043 155 374559
5.09/5.16	o 71973
5.59/5.60	c 4.88526 283.816 657 462652
5.59/5.60	o 67660
5.69/5.70	c 4.91725 283.816 657 512736
5.69/5.70	o 66873
9.20/9.29	c 6.44502 285.621 2369 659908
9.20/9.29	o 66633
13.29/13.35	c 8.19375 287.426 3869 794030
13.29/13.35	o 56539
35.69/35.78	c 17.2904 295.66 11883 1100560
35.69/35.78	o 56535
51.70/51.76	c 23.8414 301.59 18200 1262070
51.70/51.76	o 56531
61.69/61.75	c 28.0217 301.59 13654 1467725
61.69/61.75	o 56527
71.20/71.21	c 31.6722 301.59 9679 1649289
71.20/71.21	o 56519
77.19/77.23	c 33.5309 301.59 12055 1781401
77.19/77.23	o 56516
80.20/80.30	c 34.6517 301.59 13873 1951371
80.20/80.30	o 56512
88.19/88.27	c 37.4923 301.59 16737 2093874
88.19/88.27	o 56511
97.79/97.84	c 40.9768 301.59 11769 2254301
97.79/97.84	o 56507
101.79/101.84	c 42.5635 301.59 13337 2336731
101.79/101.84	o 56506
136.49/136.54	c 55.4236 301.59 14167 2648702
136.49/136.54	o 56495
138.40/138.49	c 56.2285 301.59 15053 2734605
138.40/138.49	o 56440
154.60/154.61	c 62.8744 301.59 14681 3132907
154.60/154.61	o 56436
218.20/218.24	c 89.5614 310.996 21177 3897895
218.20/218.24	o 56416
223.50/223.57	c 91.925 310.996 13222 4031712
223.50/223.57	o 56400
224.30/224.31	c 92.271 310.996 13652 4101617
224.30/224.31	o 56321
244.40/244.45	c 100.813 310.996 15743 4444844
244.40/244.45	o 56320
253.90/254.00	c 104.618 310.996 10848 4659289
253.90/254.00	o 56316
254.30/254.30	c 104.764 310.996 10948 4708045
254.30/254.30	o 56256
320.40/320.40	c 130.706 310.996 11843 5266764
320.40/320.40	o 56253
347.51/347.52	c 141.664 310.996 12731 5688957
347.51/347.52	o 56247
364.30/364.37	c 148.747 310.996 11921 6034093
364.30/364.37	o 56229
373.40/373.43	c 152.501 310.996 16880 6241841
373.40/373.43	o 56227
384.80/384.81	c 157.197 310.996 13045 6515941
384.80/384.81	o 56219
480.90/480.98	c 197.107 316.926 11526 7515665
480.90/480.98	o 56069
503.30/503.39	c 205.873 316.926 9817 7832332
503.30/503.39	o 56002
505.70/505.70	c 206.76 316.926 11026 7933196
505.70/505.70	o 56001
510.10/510.10	c 208.358 316.926 12719 8039756
510.10/510.10	o 55998
542.50/542.52	c 221.374 316.926 9598 8569472
542.50/542.52	o 55997
575.41/575.46	c 234.157 316.926 16561 8998838
575.41/575.46	o 55994
575.61/575.60	c 234.223 316.926 16567 9021348
575.61/575.60	o 55988
576.01/576.00	c 234.406 316.926 16771 9079000
576.01/576.00	o 55945
581.81/581.88	c 236.844 316.926 11141 9271320
581.81/581.88	o 55819
583.40/583.44	c 237.374 316.926 11662 9342416
583.40/583.44	o 55817
597.11/597.11	c 242.246 316.926 9573 9618981
597.11/597.11	o 55815
617.02/617.10	c 249.057 316.926 16976 9836022
617.02/617.10	o 55697
638.41/638.48	c 255.679 316.926 17205 10183499
638.41/638.48	o 55695
642.21/642.27	c 257.083 316.926 10035 10287401
642.21/642.27	o 55687
719.51/719.51	c 279.308 316.926 11518 10727464
719.51/719.51	o 55339
757.51/757.56	c 291.93 316.926 12238 11454670
757.51/757.56	o 55338
765.81/765.87	c 294.619 316.926 15578 11602981
765.81/765.87	o 55337
774.71/774.79	c 297.426 316.926 10485 11787336
774.71/774.79	o 55334
800.61/800.60	c 307.061 316.926 22297 12069201
800.61/800.60	o 55265
801.61/801.64	c 307.434 316.926 11529 12156633
801.61/801.64	o 55078
814.12/814.15	c 311.528 316.926 15564 12347958
814.12/814.15	o 55045
839.92/839.90	c 319.947 316.926 18694 12767570
839.92/839.90	o 55042
851.91/851.90	c 323.702 316.926 14612 13029640
851.91/851.90	o 55040
855.91/855.98	c 324.876 316.926 15397 13077930
855.91/855.98	o 55033
869.42/869.43	c 329.411 316.926 12104 13346373
869.42/869.43	o 55032
871.12/871.14	c 330.022 316.926 12704 13432647
871.12/871.14	o 55022
961.92/961.90	c 361.163 316.926 24624 14034606
961.92/961.90	o 55021
985.42/985.49	c 369.335 316.926 12840 14486298
985.42/985.49	o 55018
989.02/989.01	c 370.55 316.926 14467 14610374
989.02/989.01	o 55012
989.22/989.22	c 370.63 316.926 14487 14641579
989.22/989.22	o 55010
1028.43/1028.48	c 384.024 316.926 17103 15345543
1028.43/1028.48	o 54998
1037.02/1037.09	c 386.743 316.926 11091 15524984
1037.02/1037.09	o 54989
1055.23/1055.26	c 393.033 316.926 12264 15943265
1055.23/1055.26	o 54966
1055.82/1055.84	c 393.27 316.926 12403 15991061
1055.82/1055.84	o 54965
1082.33/1082.34	c 402.248 316.926 15524 16499462
1082.33/1082.34	o 54961
1134.52/1134.50	c 419.31 316.926 11672 17045982
1134.52/1134.50	o 54912
1135.32/1135.30	c 419.566 316.926 12056 17116620
1135.32/1135.31	o 54878
1154.12/1154.12	c 425.428 316.926 18127 17357896
1154.12/1154.12	o 54863
1159.53/1159.57	c 427.291 316.926 11260 17480685
1159.53/1159.57	o 54861
1186.43/1186.49	c 436.319 316.926 13854 17889877
1186.43/1186.49	o 54859
1187.52/1187.50	c 436.653 316.926 14300 17967696
1187.52/1187.50	o 54849
1214.03/1214.00	c 444.941 316.926 14748 18306851
1214.03/1214.00	o 54842
1230.23/1230.21	c 451.873 316.926 11188 18719610
1230.23/1230.21	o 54810
1258.23/1258.26	c 461.831 316.926 17638 19191715
1258.23/1258.26	o 54809
1272.83/1272.85	c 466.447 316.926 14161 19425976
1272.83/1272.85	o 54806
1276.23/1276.24	c 467.648 316.926 15527 19512160
1276.23/1276.24	o 54799
1407.63/1407.64	c 510.61 318.086 14812 20521639
1407.63/1407.64	o 54735
1415.04/1415.01	c 513.032 318.086 17165 20647873
1415.04/1415.01	o 54715
1421.43/1421.44	c 515.318 318.086 11781 20765828
1421.43/1421.44	o 54710
1433.63/1433.60	c 519.573 318.086 17290 21008844
1433.63/1433.60	o 54709
1446.44/1446.48	c 523.763 318.086 13198 21190270
1446.44/1446.48	o 54708
1450.64/1450.60	c 525.079 318.086 14870 21278844
1450.64/1450.60	o 54707
1464.14/1464.12	c 529.615 318.086 12884 21537853
1464.14/1464.12	o 54706
1466.34/1466.38	c 530.398 318.086 13893 21617844
1466.34/1466.38	o 54667
1467.44/1467.46	c 530.782 318.086 14144 21635607
1467.44/1467.46	o 54666
1477.44/1477.40	c 534.581 318.086 10973 21802145
1477.44/1477.40	o 54665
1480.43/1480.44	c 535.578 318.086 11976 21868704
1480.43/1480.44	o 54664
1496.73/1496.79	c 540.99 318.086 17780 22123617
1496.73/1496.79	o 54633
1504.43/1504.47	c 543.808 318.086 13256 22339874
1504.43/1504.47	o 54625
1504.93/1504.90	c 543.92 318.086 13297 22367605
1504.93/1504.90	o 54624
1522.74/1522.72	c 549.704 318.086 13012 22690551
1522.74/1522.72	o 54623
1528.83/1528.89	c 551.706 318.086 15204 22777949
1528.83/1528.89	o 54622
1584.94/1584.91	c 569.915 318.086 16483 23505109
1584.94/1584.91	o 54598
1596.44/1596.41	c 573.559 318.086 12790 23735928
1596.44/1596.41	o 54595
1600.24/1600.21	c 574.925 318.086 14716 23875863
1600.24/1600.21	o 54559
1617.84/1617.87	c 580.927 318.086 13934 24182292
1617.84/1617.88	o 54558
1630.54/1630.58	c 585.079 318.086 10128 24387584
1630.54/1630.58	o 54555
1634.24/1634.25	c 586.298 318.086 11716 24485361
1634.24/1634.25	o 54475
1635.74/1635.74	c 586.781 318.086 12353 24566632
1635.74/1635.74	o 54196
1652.44/1652.49	c 592.388 318.086 10504 24750162
1652.44/1652.49	o 54191
1661.84/1661.84	c 595.405 318.086 14692 24934427
1661.84/1661.84	o 54189
1662.84/1662.85	c 595.828 318.086 15204 25004422
1662.84/1662.85	o 54151
1702.94/1702.95	c 608.939 318.086 13859 25579143
1702.94/1702.95	o 54145
1725.74/1725.79	c 616.465 318.086 15167 25972165
1725.74/1725.79	o 54144
1800.05/1800.00	s SATISFIABLE
1800.05/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 -x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 x949 -x950 -x951 -x952 -x953 -x954 x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018

Verifier Data 

OK	54144

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701443-1278540102/watcher-2701443-1278540102 -o /tmp/evaluation-result-2701443-1278540102/solver-2701443-1278540102 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701443-1278540102.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.00 2.00 2.00 4/182 28669
/proc/meminfo: memFree=28298924/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=2280 CPUtime=0
/proc/28669/stat : 28669 (pbct) R 28667 28669 26971 0 -1 4202496 274 0 0 0 0 0 0 0 25 0 1 0 22223522 2334720 194 4089446400 134512640 136422188 4291489072 18446744073709551615 135809711 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28669/statm: 570 194 144 467 0 101 0

[startup+0.0840911 s]
/proc/loadavg: 2.00 2.00 2.00 4/182 28669
/proc/meminfo: memFree=28298924/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=3212 CPUtime=0.08
/proc/28669/stat : 28669 (pbct) R 28667 28669 26971 0 -1 4202496 543 0 0 0 8 0 0 0 25 0 1 0 22223522 3289088 430 4089446400 134512640 136422188 4291489072 18446744073709551615 135818512 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28669/statm: 803 431 144 467 0 334 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3212

[startup+0.101078 s]
/proc/loadavg: 2.00 2.00 2.00 4/182 28669
/proc/meminfo: memFree=28298924/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=3732 CPUtime=0.09
/proc/28669/stat : 28669 (pbct) R 28667 28669 26971 0 -1 4202496 689 0 0 0 9 0 0 0 25 0 1 0 22223522 3821568 511 4089446400 134512640 136422188 4291489072 18446744073709551615 135527192 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28669/statm: 933 511 144 467 0 464 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3732

[startup+0.301053 s]
/proc/loadavg: 2.00 2.00 2.00 4/182 28669
/proc/meminfo: memFree=28298924/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=16820 CPUtime=0.29
/proc/28669/stat : 28669 (pbct) R 28667 28669 26971 0 -1 4202496 4049 0 0 0 29 0 0 0 25 0 1 0 22223522 17223680 3742 4089446400 134512640 136422188 4291489072 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/28669/statm: 4205 3748 195 467 0 3736 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16820

[startup+0.700973 s]
/proc/loadavg: 2.00 2.00 2.00 4/182 28669
/proc/meminfo: memFree=28298924/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=110652 CPUtime=0.69
/proc/28669/stat : 28669 (pbct) R 28667 28669 26971 0 -1 4202496 28277 0 0 0 66 3 0 0 25 0 1 0 22223522 113307648 27016 4089446400 134512640 136422188 4291489072 18446744073709551615 134632651 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/28669/statm: 27663 27016 195 467 0 27194 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 110652

[startup+1.50082 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 28670
/proc/meminfo: memFree=28117256/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=278660 CPUtime=1.49
/proc/28669/stat : 28669 (pbct) R 28667 28669 26971 0 -1 4202496 72188 0 0 0 142 7 0 0 25 0 1 0 22223522 285347840 67815 4089446400 134512640 136422188 4291489072 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/28669/statm: 69665 67815 209 467 0 69196 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 278660

[startup+3.10049 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 28670
/proc/meminfo: memFree=28025620/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=281400 CPUtime=3.09
/proc/28669/stat : 28669 (pbct) R 28667 28669 26971 0 -1 4202496 72884 0 0 0 302 7 0 0 25 0 1 0 22223522 288153600 68511 4089446400 134512640 136422188 4291489072 18446744073709551615 135017388 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/28669/statm: 70350 68511 209 467 0 69881 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 281400

[startup+6.30094 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 28670
/proc/meminfo: memFree=28019400/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=290624 CPUtime=6.29
/proc/28669/stat : 28669 (pbct) R 28667 28669 26971 0 -1 4202496 75320 0 0 0 514 115 0 0 25 0 1 0 22223522 297598976 70076 4089446400 134512640 136422188 4291489072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/28669/statm: 72656 70076 238 467 0 72187 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 290624

[startup+12.7008 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 28671
/proc/meminfo: memFree=28015812/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=293528 CPUtime=12.69
/proc/28669/stat : 28669 (pbct) R 28667 28669 26971 0 -1 4202496 76057 0 0 0 792 477 0 0 25 0 1 0 22223522 300572672 70812 4089446400 134512640 136422188 4291489072 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/28669/statm: 73382 70812 238 467 0 72913 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 293528

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 28671
/proc/meminfo: memFree=28011348/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=297860 CPUtime=25.49
/proc/28669/stat : 28669 (pbct) R 28667 28669 26971 0 -1 4202496 77137 0 0 0 1310 1239 0 0 25 0 1 0 22223522 305008640 71891 4089446400 134512640 136422188 4291489072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/28669/statm: 74465 71891 238 467 0 73996 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 297860

[startup+51.1008 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 28672
/proc/meminfo: memFree=28000256/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=308164 CPUtime=51.09
/proc/28669/stat : 28669 (pbct) R 28667 28669 26971 0 -1 4202496 79703 0 0 0 2354 2755 0 0 25 0 1 0 22223522 315559936 74456 4089446400 134512640 136422188 4291489072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/28669/statm: 77041 74456 238 467 0 76572 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 308164

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 28673
/proc/meminfo: memFree=27996256/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=308824 CPUtime=102.3
/proc/28669/stat : 28669 (pbct) R 28667 28669 26971 0 -1 4202496 79866 0 0 0 4279 5951 0 0 25 0 1 0 22223522 316235776 74611 4089446400 134512640 136422188 4291489072 18446744073709551615 134860008 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/28669/statm: 77206 74611 238 467 0 76737 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 308824

[startup+162.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 28675
/proc/meminfo: memFree=27995580/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=308824 CPUtime=162.3
/proc/28669/stat : 28669 (pbct) R 28667 28669 26971 0 -1 4202496 79869 0 0 0 6587 9643 0 0 25 0 1 0 22223522 316235776 74611 4089446400 134512640 136422188 4291489072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/28669/statm: 77206 74611 238 467 0 76737 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 308824

[startup+222.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 28676
/proc/meminfo: memFree=27985132/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=318456 CPUtime=222.3
/proc/28669/stat : 28669 (pbct) R 28667 28669 26971 0 -1 4202496 82267 0 0 0 9136 13094 0 0 25 0 1 0 22223522 326098944 77008 4089446400 134512640 136422188 4291489072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/28669/statm: 79614 77008 238 467 0 79145 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 318456

[startup+282.301 s]
/proc/loadavg: 2.09 2.03 2.00 3/183 28678
/proc/meminfo: memFree=27983344/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=318456 CPUtime=282.3
/proc/28669/stat : 28669 (pbct) R 28667 28669 26971 0 -1 4202496 82272 0 0 0 11604 16626 0 0 25 0 1 0 22223522 326098944 77008 4089446400 134512640 136422188 4291489072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/28669/statm: 79614 77008 238 467 0 79145 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 318456

[startup+342.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 28680
/proc/meminfo: memFree=27982556/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=318456 CPUtime=342.3
/proc/28669/stat : 28669 (pbct) R 28667 28669 26971 0 -1 4202496 82273 0 0 0 13944 20286 0 0 25 0 1 0 22223522 326098944 77008 4089446400 134512640 136422188 4291489072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/28669/statm: 79614 77008 238 467 0 79145 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 318456

[startup+402.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 28681
/proc/meminfo: memFree=27982388/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=318456 CPUtime=402.3
/proc/28669/stat : 28669 (pbct) R 28667 28669 26971 0 -1 4202496 82277 0 0 0 16397 23833 0 0 25 0 1 0 22223522 326098944 77008 4089446400 134512640 136422188 4291489072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/28669/statm: 79614 77008 238 467 0 79145 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 318456

[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 28683
/proc/meminfo: memFree=27977652/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=322416 CPUtime=462.31
/proc/28669/stat : 28669 (pbct) R 28667 28669 26971 0 -1 4202496 83292 0 0 0 18818 27413 0 0 25 0 1 0 22223522 330153984 78023 4089446400 134512640 136422188 4291489072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/28669/statm: 80604 78023 238 467 0 80135 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 322416

[startup+522.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/183 28684
/proc/meminfo: memFree=27973520/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=324528 CPUtime=522.31
/proc/28669/stat : 28669 (pbct) R 28667 28669 26971 0 -1 4202496 83817 0 0 0 21319 30912 0 0 25 0 1 0 22223522 332316672 78544 4089446400 134512640 136422188 4291489072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/28669/statm: 81132 78544 238 467 0 80663 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 324528

[startup+582.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/183 28686
/proc/meminfo: memFree=27963560/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=324528 CPUtime=582.31
/proc/28669/stat : 28669 (pbct) R 28667 28669 26971 0 -1 4202496 83822 0 0 0 23703 34528 0 0 25 0 1 0 22223522 332316672 78544 4089446400 134512640 136422188 4291489072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/28669/statm: 81132 78544 238 467 0 80663 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 324528

[startup+642.301 s]
/proc/loadavg: 1.97 2.00 2.00 3/201 28898
/proc/meminfo: memFree=29624520/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=324528 CPUtime=642.31
/proc/28669/stat : 28669 (pbct) R 28667 28669 26971 0 -1 4202496 83827 0 0 0 25709 38522 0 0 25 0 1 0 22223522 332316672 78544 4089446400 134512640 136422188 4291489072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/28669/statm: 81132 78544 238 467 0 80663 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 324528

[startup+702.301 s]

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

/proc/28669/stat : 28669 (pbct) R 28667 28669 26971 0 -1 4202496 83843 0 0 0 37525 62707 0 0 25 0 1 0 22223522 332316672 78544 4089446400 134512640 136422188 4291489072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/28669/statm: 81132 78544 238 467 0 80663 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 324528

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/201 28912
/proc/meminfo: memFree=29612236/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=324528 CPUtime=1062.32
/proc/28669/stat : 28669 (pbct) R 28667 28669 26971 0 -1 4202496 83847 0 0 0 39530 66702 0 0 25 0 1 0 22223522 332316672 78544 4089446400 134512640 136422188 4291489072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/28669/statm: 81132 78544 238 467 0 80663 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 324528

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/201 28913
/proc/meminfo: memFree=29600700/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=324528 CPUtime=1122.33
/proc/28669/stat : 28669 (pbct) R 28667 28669 26971 0 -1 4202496 83848 0 0 0 41468 70765 0 0 25 0 1 0 22223522 332316672 78544 4089446400 134512640 136422188 4291489072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/28669/statm: 81132 78544 238 467 0 80663 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 324528

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/201 28915
/proc/meminfo: memFree=29597660/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=324528 CPUtime=1182.32
/proc/28669/stat : 28669 (pbct) R 28667 28669 26971 0 -1 4202496 83852 0 0 0 43490 74742 0 0 25 0 1 0 22223522 332316672 78544 4089446400 134512640 136422188 4291489072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/28669/statm: 81132 78544 238 467 0 80663 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 324528

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/201 28917
/proc/meminfo: memFree=29597104/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=324528 CPUtime=1242.33
/proc/28669/stat : 28669 (pbct) R 28667 28669 26971 0 -1 4202496 83856 0 0 0 45642 78591 0 0 25 0 1 0 22223522 332316672 78544 4089446400 134512640 136422188 4291489072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/28669/statm: 81132 78544 238 467 0 80663 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 324528

[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/201 28918
/proc/meminfo: memFree=29596540/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=324528 CPUtime=1302.34
/proc/28669/stat : 28669 (pbct) R 28667 28669 26971 0 -1 4202496 83859 0 0 0 47653 82581 0 0 25 0 1 0 22223522 332316672 78544 4089446400 134512640 136422188 4291489072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/28669/statm: 81132 78544 238 467 0 80663 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 324528

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/201 28920
/proc/meminfo: memFree=29583728/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=324528 CPUtime=1362.33
/proc/28669/stat : 28669 (pbct) R 28667 28669 26971 0 -1 4202496 83859 0 0 0 49315 86918 0 0 25 0 1 0 22223522 332316672 78544 4089446400 134512640 136422188 4291489072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/28669/statm: 81132 78544 238 467 0 80663 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 324528

[startup+1422.31 s]
/proc/loadavg: 2.04 2.02 2.00 3/201 28921
/proc/meminfo: memFree=29562472/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=325716 CPUtime=1422.34
/proc/28669/stat : 28669 (pbct) R 28667 28669 26971 0 -1 4202496 84144 0 0 0 51561 90673 0 0 25 0 1 0 22223522 333533184 78826 4089446400 134512640 136422188 4291489072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/28669/statm: 81429 78826 238 467 0 80960 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 325716

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/201 28923
/proc/meminfo: memFree=29562544/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=325716 CPUtime=1482.34
/proc/28669/stat : 28669 (pbct) R 28667 28669 26971 0 -1 4202496 84152 0 0 0 53623 94611 0 0 25 0 1 0 22223522 333533184 78826 4089446400 134512640 136422188 4291489072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/28669/statm: 81429 78826 238 467 0 80960 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 325716

[startup+1542.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/201 28925
/proc/meminfo: memFree=29562488/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=325716 CPUtime=1542.33
/proc/28669/stat : 28669 (pbct) R 28667 28669 26971 0 -1 4202496 84157 0 0 0 55580 98653 0 0 25 0 1 0 22223522 333533184 78826 4089446400 134512640 136422188 4291489072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/28669/statm: 81429 78826 238 467 0 80960 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 325716

[startup+1602.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/201 28926
/proc/meminfo: memFree=29562184/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=325716 CPUtime=1602.34
/proc/28669/stat : 28669 (pbct) R 28667 28669 26971 0 -1 4202496 84160 0 0 0 57575 102659 0 0 25 0 1 0 22223522 333533184 78826 4089446400 134512640 136422188 4291489072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/28669/statm: 81429 78826 238 467 0 80960 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 325716

[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/201 28928
/proc/meminfo: memFree=29561996/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=325716 CPUtime=1662.34
/proc/28669/stat : 28669 (pbct) R 28667 28669 26971 0 -1 4202496 84166 0 0 0 59559 106675 0 0 25 0 1 0 22223522 333533184 78826 4089446400 134512640 136422188 4291489072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/28669/statm: 81429 78826 238 467 0 80960 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 325716

[startup+1722.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/201 28929
/proc/meminfo: memFree=29562092/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=325716 CPUtime=1722.34
/proc/28669/stat : 28669 (pbct) R 28667 28669 26971 0 -1 4202496 84170 0 0 0 61531 110703 0 0 25 0 1 0 22223522 333533184 78828 4089446400 134512640 136422188 4291489072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/28669/statm: 81429 78828 238 467 0 80960 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 325716

[startup+1782.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/201 28931
/proc/meminfo: memFree=29561052/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=325716 CPUtime=1782.35
/proc/28669/stat : 28669 (pbct) R 28667 28669 26971 0 -1 4202496 84171 0 0 0 63676 114559 0 0 25 0 1 0 22223522 333533184 78828 4089446400 134512640 136422188 4291489072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/28669/statm: 81429 78828 238 467 0 80960 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 325716



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.07 2.05 2.01 3/201 28931
/proc/meminfo: memFree=29560908/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=325716 CPUtime=1800.05
/proc/28669/stat : 28669 (pbct) R 28667 28669 26971 0 -1 4202496 84171 0 0 0 64502 115503 0 0 25 0 1 0 22223522 333533184 78828 4089446400 134512640 136422188 4291489072 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/28669/statm: 81429 78828 238 467 0 80960 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 325716

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -28669

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

[startup+1801.4 s]
/proc/loadavg: 2.07 2.05 2.01 2/202 28932
/proc/meminfo: memFree=29560784/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=325716 CPUtime=1800.05
/proc/28669/stat : 28669 (pbct) S 28667 28669 26971 0 -1 4194304 84171 0 0 0 64502 115503 0 0 25 0 1 0 22223522 333533184 78828 4089446400 134512640 136422188 4291489072 18446744073709551615 135884590 0 16384 4096 16387 18446604468494064704 0 0 17 3 0 0 0
/proc/28669/statm: 81429 78828 238 467 0 80960 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 325716

[startup+1801.81 s]
/proc/loadavg: 2.07 2.05 2.01 2/202 28932
/proc/meminfo: memFree=29560784/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=325716 CPUtime=1800.05
/proc/28669/stat : 28669 (pbct) S 28667 28669 26971 0 -1 4194304 84171 0 0 0 64502 115503 0 0 25 0 1 0 22223522 333533184 78828 4089446400 134512640 136422188 4291489072 18446744073709551615 135884590 0 16384 4096 16387 18446604468494064704 0 0 17 3 0 0 0
/proc/28669/statm: 81429 78828 238 467 0 80960 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 325716

[startup+1802 s]
/proc/loadavg: 2.07 2.05 2.01 2/202 28932
/proc/meminfo: memFree=29560784/32951124 swapFree=67111528/67111528
[pid=28669] ppid=28667 vsize=325716 CPUtime=1800.05
/proc/28669/stat : 28669 (pbct) S 28667 28669 26971 0 -1 4194304 84171 0 0 0 64502 115503 0 0 25 0 1 0 22223522 333533184 78828 4089446400 134512640 136422188 4291489072 18446744073709551615 135884590 0 16384 4096 16387 18446604468494064704 0 0 17 3 0 0 0
/proc/28669/statm: 81429 78828 238 467 0 80960 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 325716

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.02
CPU time (s): 1800.07
CPU user time (s): 645.027
CPU system time (s): 1155.04
CPU usage (%): 99.892
Max. virtual memory (cumulated for all children) (KiB): 325716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 645.027
system time used= 1155.04
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84171
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= 2
involuntary context switches= 4512

runsolver used 3.12252 second user time and 5.82911 second system time

The end

Launcher Data 

Begin job on node134 at 2010-07-08 00:01:42
IDJOB=2701443
IDBENCH=79580
IDSOLVER=1212
FILE ID=node134/2701443-1278540102
PBS_JOBID= 11239210
Free space on /tmp= 73704 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/scens/normalized-scen06-30_wcsp.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701443-1278540102/watcher-2701443-1278540102 -o /tmp/evaluation-result-2701443-1278540102/solver-2701443-1278540102 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2701443-1278540102.wbo

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

MD5SUM BENCH= 6fa6f4309c56d1f5de2d242aa329505b
RANDOM SEED=821691060

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.801
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.74
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.801
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:      28299444 kB
Buffers:        151592 kB
Cached:        2486656 kB
SwapCached:          0 kB
Active:        3113856 kB
Inactive:      1388608 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28299444 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3164 kB
Writeback:           0 kB
AnonPages:     1864288 kB
Mapped:          15580 kB
Slab:            82056 kB
PageTables:       8440 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  2091728 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73712 MiB
End job on node134 at 2010-07-08 00:31:44