Trace number 2701261

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.09 1800.03

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/celar/
normalized-celar6-sub0_wcsp.wbo
MD5SUM5c315664b873ce8198536ea2fe9f11ce
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark231
Best CPU time to get the best result obtained on this benchmark1800.16
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables640
Total number of constraints123180
Number of soft constraints123164
Number of constraints which are clauses123164
Number of constraints which are cardinality constraints (but not clauses)16
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint44
Top cost 45316
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 22402430
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
0.59/0.62	c constraints 16/0 clauses 0/123164 units 0
0.59/0.62	c vars 640
0.59/0.62	c Setting top cost 45316
22.00/22.07	c 21.8147 666.672 1 247417
22.00/22.07	o 37032
22.29/22.30	c 21.9577 684.008 1 371083
22.29/22.30	o 34700
22.49/22.52	c 22.1086 684.008 2 487596
22.49/22.52	o 33881
22.69/22.75	c 22.2526 684.008 2 611268
22.69/22.75	o 31307
23.19/23.28	c 22.5876 684.137 7 870296
23.19/23.28	o 31217
23.49/23.51	c 22.7495 684.137 7 993924
23.49/23.51	o 29142
23.79/23.84	c 22.9725 684.137 9 1116001
23.79/23.84	o 28748
23.99/24.07	c 23.1195 684.137 9 1239665
23.99/24.07	o 25843
24.59/24.64	c 23.4874 684.266 31 1579024
24.59/24.64	o 24706
24.80/24.87	c 23.6434 684.266 31 1702723
24.80/24.87	o 21681
25.09/25.10	c 23.7964 684.266 32 1808814
25.09/25.10	o 21310
25.29/25.34	c 23.9474 684.266 33 1934142
25.29/25.34	o 19879
25.49/25.58	c 24.1153 684.266 33 2057830
25.49/25.58	o 16271
25.79/25.81	c 24.2823 684.266 33 2145778
25.79/25.81	o 16182
26.19/26.24	c 24.5823 684.395 133 2338882
26.19/26.24	o 14969
26.40/26.48	c 24.7432 684.523 133 2462566
26.40/26.48	o 11973
26.70/26.77	c 24.9552 684.523 138 2587696
26.70/26.77	o 11855
26.99/27.04	c 25.1402 684.523 157 2704034
26.99/27.04	o 11291
27.19/27.28	c 25.3012 684.523 160 2781739
27.19/27.28	o 11253
27.79/27.84	c 25.7141 684.02 260 2899041
27.79/27.84	o 11081
28.00/28.08	c 25.8841 684.031 261 3004345
28.00/28.08	o 10960
28.50/28.57	c 26.23 684.922 311 3083646
28.50/28.57	o 10879
28.79/28.82	c 26.405 685.051 312 3159497
28.79/28.82	o 10841
29.00/29.06	c 26.565 685.051 318 3236402
29.00/29.06	o 10783
29.29/29.31	c 26.7329 685.051 318 3341308
29.29/29.31	o 10552
29.49/29.55	c 26.9059 685.051 319 3446220
29.49/29.55	o 10368
29.90/29.98	c 27.2079 684.547 443 3562029
29.90/29.98	o 9766
30.19/30.23	c 27.3978 684.559 444 3667232
30.19/30.23	o 9089
30.39/30.47	c 27.5758 684.57 444 3772065
30.39/30.47	o 8925
30.70/30.72	c 27.7448 684.582 444 3877147
30.70/30.72	o 8689
30.99/31.00	c 27.9518 684.594 449 3953541
30.99/31.00	o 8651
31.20/31.24	c 28.1157 684.605 449 3991053
31.20/31.24	o 8644
31.39/31.47	c 28.2967 684.617 450 4096384
31.39/31.47	o 8541
31.69/31.80	c 28.5257 684.629 508 4176397
31.69/31.80	o 8521
32.79/32.90	c 29.3235 684.641 608 4284499
32.79/32.90	o 8358
33.10/33.18	c 29.5175 684.781 634 4371364
33.10/33.18	o 8326
33.39/33.43	c 29.6815 684.793 637 4447398
33.39/33.43	o 8235
34.30/34.33	c 30.3234 684.805 879 4562096
34.30/34.33	o 8161
34.59/34.61	c 30.5044 684.816 882 4667768
34.59/34.61	o 7994
38.59/38.68	c 33.4139 685.215 1918 4823101
38.59/38.68	o 7912
38.89/38.94	c 33.5809 685.227 1938 4901151
38.89/38.94	o 7843
40.80/40.84	c 34.9587 685.367 2204 5019310
40.80/40.84	o 7658
40.99/41.09	c 35.1477 685.379 2204 5124044
40.99/41.09	o 7248
41.29/41.35	c 35.3316 685.391 2210 5229753
41.29/41.35	o 6471
41.60/41.67	c 35.5606 685.402 2214 5334872
41.60/41.67	o 6054
42.20/42.26	c 35.9975 685.543 2401 5436330
42.20/42.26	o 6037
43.50/43.59	c 36.9594 685.684 2712 5559056
43.50/43.59	o 5934
44.19/44.26	c 37.4283 685.695 2823 5680019
44.19/44.26	o 5779
44.50/44.52	c 37.6043 685.707 2823 5784963
44.50/44.52	o 5258
44.69/44.79	c 37.8093 686.352 2851 5891302
44.69/44.79	o 4787
47.20/47.28	c 39.667 686.48 3193 6024694
47.20/47.28	o 4644
49.79/49.89	c 41.7167 686.48 3541 6134191
49.79/49.89	o 4609
50.09/50.17	c 41.9146 686.609 3544 6239318
50.09/50.17	o 4494
55.70/55.74	c 45.6941 686.867 5029 6413453
55.70/55.74	o 4061
56.59/56.67	c 46.4109 686.996 5134 6492727
56.59/56.67	o 4012
57.99/58.06	c 47.3418 686.996 5337 6606630
57.99/58.06	o 3850
59.59/59.66	c 48.5536 686.996 5840 6741133
59.59/59.66	o 3717
72.69/72.75	c 57.5622 686.879 8371 6866176
72.69/72.75	o 3709
73.00/73.01	c 57.7542 686.762 8374 6885443
73.00/73.01	o 3708
73.29/73.33	c 57.9772 686.773 8399 6991659
73.29/73.33	o 3458
80.50/80.53	c 63.1364 687.043 9777 7109018
80.50/80.53	o 3450
87.80/87.86	c 68.5426 687.184 11369 7276541
87.80/87.86	o 3369
92.69/92.78	c 71.9481 687.328 12234 7398211
92.69/92.78	o 3355
96.80/96.89	c 74.8616 687.469 13033 7540037
96.80/96.89	o 3291
103.19/103.27	c 79.5349 687.996 15641 7706848
103.19/103.27	o 3258
120.60/120.63	c 91.5211 688.652 18771 7874182
120.60/120.63	o 3254
123.59/123.65	c 93.7367 688.793 19277 7993371
123.59/123.65	o 3018
123.90/123.92	c 93.9297 688.805 19280 8100792
123.90/123.92	o 2756
124.10/124.19	c 94.1127 688.816 19290 8207768
124.10/124.19	o 2593
141.90/141.97	c 106.816 689.473 22896 8385763
141.90/141.97	o 2556
177.50/177.50	c 132.264 691.703 29311 8662051
177.50/177.50	o 2527
178.90/178.97	c 133.313 691.715 29640 8766925
178.90/178.97	o 2435
204.80/204.82	c 151.806 692.887 33752 8969854
204.80/204.82	o 2353
206.00/206.07	c 152.744 692.898 33829 9078851
206.00/206.07	o 2195
212.30/212.35	c 157.314 693.168 34639 9214576
212.30/212.35	o 2062
216.60/216.62	c 160.25 693.309 35499 9270764
216.60/216.62	o 2057
222.49/222.59	c 164.824 694.082 36204 9361219
222.49/222.59	o 2043
227.79/227.81	c 168.471 694.094 37531 9458848
227.79/227.81	o 2039
229.00/229.03	c 169.417 694.867 37658 9541597
229.00/229.03	o 2011
239.20/239.20	c 176.797 694.879 39115 9682184
239.20/239.20	o 1983
239.50/239.59	c 177.059 694.891 39137 9719348
239.50/239.59	o 1979
242.10/242.18	c 178.823 695.031 39569 9831500
242.10/242.18	o 1729
252.50/252.55	c 186.047 695.676 41304 9976370
252.50/252.55	o 1419
255.50/255.56	c 188.288 695.676 12042 10073170
255.50/255.56	o 1375
289.70/289.74	c 213.239 695.676 15355 10156998
289.70/289.74	o 1366
297.01/297.01	c 218.721 695.676 16227 10277606
297.01/297.01	o 1306
303.40/303.45	c 223.345 695.676 17031 10385290
303.40/303.45	o 1231
318.80/318.90	c 234.173 695.676 19545 10512413
318.80/318.90	o 1010
319.10/319.16	c 234.369 695.676 19546 10588239
319.10/319.16	o 990
319.40/319.42	c 234.557 695.676 19548 10647895
319.40/319.42	o 986
320.60/320.62	c 235.418 695.676 19788 10692189
320.60/320.62	o 984
322.21/322.25	c 236.606 695.676 20208 10796652
322.21/322.25	o 956
323.11/323.18	c 237.27 695.676 20281 10835534
323.11/323.18	o 951
334.10/334.18	c 245.319 695.676 13308 10994531
334.10/334.19	o 883
336.40/336.48	c 246.916 695.676 13617 11037929
336.40/336.48	o 881
339.51/339.54	c 249.144 695.676 14174 11123998
339.51/339.54	o 796
339.81/339.82	c 249.348 695.676 14250 11204769
339.81/339.82	o 783
358.70/358.77	c 263.326 695.676 18457 11393649
358.70/358.77	o 760
359.00/359.00	c 263.488 695.676 18468 11469139
359.00/359.00	o 718
378.90/378.95	c 278.273 695.676 21208 11625800
378.90/378.95	o 705
428.40/428.41	c 312.93 695.676 26915 11742253
428.40/428.41	o 701
437.90/437.95	c 319.922 695.676 28517 11870262
437.90/437.95	o 654
448.21/448.22	c 327.616 695.676 29667 11961996
448.21/448.22	o 638
450.60/450.64	c 329.378 695.676 29924 12040502
450.60/450.64	o 594
479.80/479.81	c 350.657 696.062 32949 12151502
479.80/479.81	o 592
496.61/496.66	c 363.616 695.816 34557 12277199
496.61/496.67	o 504
513.00/513.05	c 375.633 696.086 36661 12370873
513.00/513.05	o 501
528.01/528.03	c 386.955 696.484 39188 12539524
528.01/528.03	o 480
562.21/562.25	c 411.898 697.141 43812 12729613
562.21/562.25	o 469
562.71/562.76	c 412.286 697.152 43844 12805791
562.71/562.76	o 448
563.01/563.09	c 412.527 697.164 43868 12806416
563.01/563.09	o 447
563.40/563.46	c 412.807 697.176 43913 12845261
563.40/563.46	o 437
584.31/584.37	c 428.914 697.574 47037 13016778
584.31/584.37	o 395
584.51/584.59	c 429.077 697.586 47043 13091619
584.51/584.59	o 384
584.81/584.81	c 429.236 697.598 47044 13166426
584.81/584.81	o 373
585.11/585.14	c 429.467 697.609 47057 13241326
585.11/585.14	o 362
600.91/600.93	c 439.822 697.879 48655 13321959
600.91/600.93	o 358
717.31/717.34	c 500.778 700.34 57784 13471371
717.31/717.34	o 352
757.61/757.64	c 523.069 701.371 66390 13751117
757.61/757.64	o 337
777.11/777.16	c 534.646 701.371 15566 13862855
777.11/777.16	o 320
851.51/851.56	c 581.848 701.371 25204 14091901
851.51/851.56	o 307
1078.93/1078.95	c 716.967 701.371 43020 14396900
1078.93/1078.95	o 284
1396.43/1396.48	c 901.662 701.629 15915 14586580
1396.43/1396.48	o 283
1398.93/1398.92	c 903.115 701.629 15990 14622905
1398.93/1398.92	o 280
1588.64/1588.63	c 1019.12 701.629 28249 14750420
1588.64/1588.63	o 279
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

Verifier Data 

OK	279

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.94 1.98 1.94 4/196 21256
/proc/meminfo: memFree=28636128/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=2136 CPUtime=0
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 267 0 0 0 0 0 0 0 25 0 1 0 22054138 2187264 187 4089446400 134512640 136421960 4288098000 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/21256/statm: 534 187 144 467 0 65 0

[startup+0.084576 s]
/proc/loadavg: 1.94 1.98 1.94 4/196 21256
/proc/meminfo: memFree=28636128/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=3736 CPUtime=0.08
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 671 0 0 0 8 0 0 0 25 0 1 0 22054138 3825664 493 4089446400 134512640 136421960 4288098000 18446744073709551615 135878161 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/21256/statm: 934 493 144 467 0 465 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3736

[startup+0.100574 s]
/proc/loadavg: 1.94 1.98 1.94 4/196 21256
/proc/meminfo: memFree=28636128/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=3736 CPUtime=0.09
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 683 0 0 0 9 0 0 0 25 0 1 0 22054138 3825664 505 4089446400 134512640 136421960 4288098000 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/21256/statm: 934 505 144 467 0 465 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3736

[startup+0.300536 s]
/proc/loadavg: 1.94 1.98 1.94 4/196 21256
/proc/meminfo: memFree=28636128/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=5964 CPUtime=0.29
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 1412 0 0 0 29 0 0 0 25 0 1 0 22054138 6107136 1105 4089446400 134512640 136421960 4288098000 18446744073709551615 135717567 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/21256/statm: 1491 1105 144 467 0 1022 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5964

[startup+0.700461 s]
/proc/loadavg: 1.94 1.98 1.94 4/196 21256
/proc/meminfo: memFree=28636128/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=30652 CPUtime=0.69
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 7774 0 0 0 69 0 0 0 25 0 1 0 22054138 31387648 7210 4089446400 134512640 136421960 4288098000 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/21256/statm: 7749 7227 194 467 0 7280 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30652

[startup+1.50032 s]
/proc/loadavg: 1.94 1.98 1.94 3/197 21257
/proc/meminfo: memFree=28535552/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=219452 CPUtime=1.49
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 57226 0 0 0 143 6 0 0 25 0 1 0 22054138 224718848 53842 4089446400 134512640 136421960 4288098000 18446744073709551615 134632344 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/21256/statm: 54863 53842 194 467 0 54394 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 219452

[startup+3.10102 s]
/proc/loadavg: 1.94 1.98 1.94 3/197 21257
/proc/meminfo: memFree=28277880/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=655628 CPUtime=3.09
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 171262 0 0 0 291 18 0 0 25 0 1 0 22054138 671363072 158092 4089446400 134512640 136421960 4288098000 18446744073709551615 134587680 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/21256/statm: 163907 158093 201 467 0 163438 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 655628

[startup+6.30044 s]
/proc/loadavg: 1.94 1.98 1.94 3/197 21257
/proc/meminfo: memFree=27990084/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=669080 CPUtime=6.29
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 174985 0 0 0 611 18 0 0 25 0 1 0 22054138 685137920 161694 4089446400 134512640 136421960 4288098000 18446744073709551615 135017499 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/21256/statm: 167270 161694 209 467 0 166801 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 669080

[startup+12.7002 s]
/proc/loadavg: 2.03 2.00 1.95 3/197 21257
/proc/meminfo: memFree=27984896/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=672908 CPUtime=12.69
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 175955 0 0 0 1250 19 0 0 25 0 1 0 22054138 689057792 162664 4089446400 134512640 136421960 4288098000 18446744073709551615 135017499 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/21256/statm: 168227 162664 209 467 0 167758 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 672908

[startup+25.5009 s]
/proc/loadavg: 2.02 2.00 1.95 3/197 21257
/proc/meminfo: memFree=27973592/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=700684 CPUtime=25.49
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 183252 0 0 0 2405 144 0 0 25 0 1 0 22054138 717500416 165579 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/21256/statm: 175171 165579 237 467 0 174702 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 700684

[startup+51.1011 s]
/proc/loadavg: 2.01 2.00 1.95 3/197 21258
/proc/meminfo: memFree=27971144/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=703084 CPUtime=51.09
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 187513 0 0 0 4253 856 0 0 25 0 1 0 22054138 719958016 166115 4089446400 134512640 136421960 4288098000 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/21256/statm: 175771 166115 238 467 0 175302 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 703084

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.95 3/197 21259
/proc/meminfo: memFree=27969204/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=704096 CPUtime=102.3
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 188837 0 0 0 7886 2344 0 0 25 0 1 0 22054138 720994304 166402 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/21256/statm: 176024 166402 238 467 0 175555 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 704096

[startup+162.3 s]
/proc/loadavg: 2.06 2.02 1.95 3/197 21261
/proc/meminfo: memFree=27966680/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=707204 CPUtime=162.3
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 190520 0 0 0 12145 4085 0 0 25 0 1 0 22054138 724176896 167166 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/21256/statm: 176801 167166 238 467 0 176332 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 707204

[startup+222.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/197 21263
/proc/meminfo: memFree=27963528/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=710208 CPUtime=222.3
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 192149 0 0 0 16460 5770 0 0 25 0 1 0 22054138 727252992 167943 4089446400 134512640 136421960 4288098000 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/21256/statm: 177552 167943 238 467 0 177083 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 710208

[startup+282.301 s]
/proc/loadavg: 2.01 2.00 1.95 3/197 21264
/proc/meminfo: memFree=27961264/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=712368 CPUtime=282.3
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 193413 0 0 0 20803 7427 0 0 25 0 1 0 22054138 729464832 168471 4089446400 134512640 136421960 4288098000 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/21256/statm: 178092 168471 238 467 0 177623 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 712368

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/197 21266
/proc/meminfo: memFree=27961196/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=712368 CPUtime=342.3
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 193433 0 0 0 25121 9109 0 0 25 0 1 0 22054138 729464832 168478 4089446400 134512640 136421960 4288098000 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/21256/statm: 178092 168478 238 467 0 177623 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 712368

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/197 21267
/proc/meminfo: memFree=27960420/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=712368 CPUtime=402.3
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 193436 0 0 0 29476 10754 0 0 25 0 1 0 22054138 729464832 168478 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/21256/statm: 178092 168478 238 467 0 177623 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 712368

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/197 21269
/proc/meminfo: memFree=27960508/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=712368 CPUtime=462.31
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 193440 0 0 0 33810 12421 0 0 25 0 1 0 22054138 729464832 168478 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/21256/statm: 178092 168478 238 467 0 177623 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 712368

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/197 21271
/proc/meminfo: memFree=27959724/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=713052 CPUtime=522.3
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 193866 0 0 0 38281 13949 0 0 25 0 1 0 22054138 730165248 168625 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/21256/statm: 178263 168625 238 467 0 177794 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 713052

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/197 21272
/proc/meminfo: memFree=27958692/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=714036 CPUtime=582.3
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 194819 0 0 0 42725 15505 0 0 25 0 1 0 22054138 731172864 168895 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/21256/statm: 178509 168895 238 467 0 178040 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 714036

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 21304
/proc/meminfo: memFree=27987992/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=715284 CPUtime=642.32
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 195934 0 0 0 46478 17754 0 0 25 0 1 0 22054138 732450816 169237 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/21256/statm: 178821 169237 238 467 0 178352 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 715284

[startup+702.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 21309
/proc/meminfo: memFree=27975220/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=718200 CPUtime=822.31
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 196950 0 0 0 56334 25897 0 0 25 0 1 0 22054138 735436800 169951 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/21256/statm: 179550 169951 238 467 0 179081 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 718200

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 21310
/proc/meminfo: memFree=27975204/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=718200 CPUtime=882.32
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 196951 0 0 0 59950 28282 0 0 25 0 1 0 22054138 735436800 169951 4089446400 134512640 136421960 4288098000 18446744073709551615 135005945 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/21256/statm: 179550 169951 238 467 0 179081 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 718200

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 21312
/proc/meminfo: memFree=27974924/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=718200 CPUtime=942.32
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 196951 0 0 0 63555 30677 0 0 25 0 1 0 22054138 735436800 169951 4089446400 134512640 136421960 4288098000 18446744073709551615 135005984 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/21256/statm: 179550 169951 238 467 0 179081 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 718200

[startup+1002.3 s]
/proc/loadavg: 2.07 2.02 1.96 3/179 21313
/proc/meminfo: memFree=27974888/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=718200 CPUtime=1002.32
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 196951 0 0 0 67358 32874 0 0 25 0 1 0 22054138 735436800 169951 4089446400 134512640 136421960 4288098000 18446744073709551615 135022200 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/21256/statm: 179550 169951 238 467 0 179081 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 718200

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/179 21315
/proc/meminfo: memFree=27973488/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=718200 CPUtime=1062.32
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 196951 0 0 0 70765 35467 0 0 25 0 1 0 22054138 735436800 169951 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/21256/statm: 179550 169951 238 467 0 179081 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 718200

[startup+1122.3 s]
/proc/loadavg: 2.04 2.02 1.96 3/179 21317
/proc/meminfo: memFree=27973464/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=718200 CPUtime=1122.33
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 196952 0 0 0 74170 38063 0 0 25 0 1 0 22054138 735436800 169951 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/21256/statm: 179550 169951 238 467 0 179081 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 718200

[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/179 21318
/proc/meminfo: memFree=27973316/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=718200 CPUtime=1182.33
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 196952 0 0 0 77559 40674 0 0 25 0 1 0 22054138 735436800 169951 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/21256/statm: 179550 169951 238 467 0 179081 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 718200

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/179 21320
/proc/meminfo: memFree=27973028/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=718200 CPUtime=1242.32
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 196952 0 0 0 80628 43604 0 0 25 0 1 0 22054138 735436800 169951 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/21256/statm: 179550 169951 238 467 0 179081 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 718200

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 21321
/proc/meminfo: memFree=27972512/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=718200 CPUtime=1302.34
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 196952 0 0 0 84466 45768 0 0 25 0 1 0 22054138 735436800 169951 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/21256/statm: 179550 169951 238 467 0 179081 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 718200

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 21323
/proc/meminfo: memFree=27970372/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=718200 CPUtime=1362.33
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 196952 0 0 0 88154 48079 0 0 25 0 1 0 22054138 735436800 169951 4089446400 134512640 136421960 4288098000 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/21256/statm: 179550 169951 238 467 0 179081 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 718200

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 21325
/proc/meminfo: memFree=27970700/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=718464 CPUtime=1422.34
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 196996 0 0 0 91573 50661 0 0 25 0 1 0 22054138 735707136 169993 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/21256/statm: 179616 169993 238 467 0 179147 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 718464

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 21326
/proc/meminfo: memFree=27970656/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=718464 CPUtime=1482.34
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 196996 0 0 0 95258 52976 0 0 25 0 1 0 22054138 735707136 169993 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/21256/statm: 179616 169993 238 467 0 179147 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 718464

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 21328
/proc/meminfo: memFree=27967404/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=718464 CPUtime=1542.34
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 196996 0 0 0 99230 55004 0 0 25 0 1 0 22054138 735707136 169993 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/21256/statm: 179616 169993 238 467 0 179147 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 718464

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 21329
/proc/meminfo: memFree=27966856/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=718464 CPUtime=1602.33
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 196997 0 0 0 102663 57570 0 0 25 0 1 0 22054138 735707136 169993 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/21256/statm: 179616 169993 238 467 0 179147 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 718464

[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 1.97 3/179 21340
/proc/meminfo: memFree=27964580/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=718464 CPUtime=1662.35
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 196997 0 0 0 105979 60256 0 0 25 0 1 0 22054138 735707136 169993 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/21256/statm: 179616 169993 238 467 0 179147 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 718464

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/179 21342
/proc/meminfo: memFree=27965732/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=718464 CPUtime=1722.34
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 196997 0 0 0 109009 63225 0 0 25 0 1 0 22054138 735707136 169993 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/21256/statm: 179616 169993 238 467 0 179147 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 718464

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 21343
/proc/meminfo: memFree=27962460/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=718464 CPUtime=1782.35
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 196997 0 0 0 111830 66405 0 0 25 0 1 0 22054138 735707136 169993 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/21256/statm: 179616 169993 238 467 0 179147 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 718464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 21344
/proc/meminfo: memFree=27960344/32951124 swapFree=67111528/67111528
[pid=21256] ppid=21254 vsize=718464 CPUtime=1800.05
/proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 196997 0 0 0 112580 67425 0 0 25 0 1 0 22054138 735707136 169993 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/21256/statm: 179616 169993 238 467 0 179147 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 718464

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.03
CPU time (s): 1800.09
CPU user time (s): 1125.81
CPU system time (s): 674.28
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 718848

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

runsolver used 3.16452 second user time and 6.46002 second system time

The end

Launcher Data 

Begin job on node111 at 2010-07-07 23:33:20
IDJOB=2701261
IDBENCH=79550
IDSOLVER=1208
FILE ID=node111/2701261-1278538400
PBS_JOBID= 11239256
Free space on /tmp= 73612 MiB

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

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

MD5SUM BENCH= 5c315664b873ce8198536ea2fe9f11ce
RANDOM SEED=1846553854

node111.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28636656 kB
Buffers:        145056 kB
Cached:        3555716 kB
SwapCached:          0 kB
Active:        2448272 kB
Inactive:      1719016 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28636656 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5684 kB
Writeback:           0 kB
AnonPages:      466624 kB
Mapped:          20344 kB
Slab:            84388 kB
PageTables:       5356 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1640872 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= 73612 MiB
End job on node111 at 2010-07-08 00:03:22