Trace number 2701263

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.08 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.2 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
21.99/22.05	c 21.7687 666.672 1 247417
21.99/22.05	o 37032
22.19/22.27	c 21.9237 684.008 1 371083
22.19/22.27	o 34700
22.40/22.49	c 22.0686 684.008 2 487596
22.40/22.49	o 33881
22.69/22.71	c 22.2256 684.008 2 611268
22.69/22.71	o 31307
23.20/23.24	c 22.5836 684.137 7 870296
23.20/23.24	o 31217
23.40/23.46	c 22.7265 684.137 7 993924
23.40/23.46	o 29142
23.69/23.79	c 22.9285 684.137 9 1116001
23.69/23.79	o 28748
23.99/24.01	c 23.0715 684.137 9 1239665
23.99/24.01	o 25843
24.49/24.57	c 23.4404 684.266 31 1579024
24.49/24.57	o 24706
24.70/24.79	c 23.5994 684.266 31 1702723
24.70/24.79	o 21681
24.99/25.02	c 23.7644 684.266 32 1808814
24.99/25.02	o 21310
25.19/25.25	c 23.9194 684.266 33 1934142
25.19/25.25	o 19879
25.39/25.48	c 24.0703 684.266 33 2057830
25.39/25.48	o 16271
25.69/25.71	c 24.2253 684.266 33 2145778
25.69/25.71	o 16182
26.09/26.13	c 24.4883 684.395 133 2338882
26.09/26.13	o 14969
26.30/26.37	c 24.6433 684.523 133 2462566
26.30/26.37	o 11973
26.59/26.65	c 24.8472 684.523 138 2587696
26.59/26.65	o 11855
26.89/26.92	c 25.0362 684.523 157 2704034
26.89/26.92	o 11291
27.09/27.16	c 25.1992 684.523 160 2781739
27.09/27.16	o 11253
27.69/27.70	c 25.5711 684.02 260 2899041
27.69/27.70	o 11081
27.90/27.94	c 25.7371 684.031 261 3004345
27.90/27.94	o 10960
28.40/28.43	c 26.072 684.922 311 3083646
28.40/28.43	o 10879
28.60/28.67	c 26.239 685.051 312 3159497
28.60/28.67	o 10841
28.90/28.91	c 26.411 685.051 318 3236402
28.90/28.91	o 10783
29.10/29.15	c 26.583 685.051 318 3341308
29.10/29.15	o 10552
29.29/29.39	c 26.7579 685.051 319 3446220
29.29/29.39	o 10368
29.79/29.81	c 27.0619 684.547 443 3562029
29.79/29.81	o 9766
29.99/30.05	c 27.2309 684.559 444 3667232
29.99/30.05	o 9089
30.29/30.30	c 27.4048 684.57 444 3772065
30.29/30.30	o 8925
30.49/30.54	c 27.5718 684.582 444 3877147
30.49/30.54	o 8689
30.79/30.82	c 27.7508 684.594 449 3953541
30.79/30.82	o 8651
30.99/31.04	c 27.9088 684.605 449 3991053
30.99/31.04	o 8644
31.19/31.28	c 28.0747 684.617 450 4096384
31.19/31.28	o 8541
31.49/31.59	c 28.2957 684.629 508 4176397
31.49/31.59	o 8521
32.59/32.67	c 29.0196 684.641 608 4284499
32.59/32.67	o 8358
32.89/32.95	c 29.2046 684.781 634 4371364
32.89/32.95	o 8326
33.09/33.19	c 29.3585 684.793 637 4447398
33.09/33.19	o 8235
33.99/34.08	c 29.9594 684.805 879 4562096
33.99/34.08	o 8161
34.29/34.35	c 30.1404 684.816 882 4667768
34.29/34.35	o 7994
38.29/38.37	c 32.994 685.215 1918 4823101
38.29/38.37	o 7912
38.60/38.62	c 33.168 685.227 1938 4901151
38.60/38.62	o 7843
40.39/40.49	c 34.4668 685.367 2204 5019310
40.39/40.49	o 7658
40.70/40.74	c 34.6497 685.379 2204 5124044
40.70/40.74	o 7248
40.90/40.99	c 34.8347 685.391 2210 5229753
40.90/40.99	o 6471
41.29/41.30	c 35.0517 685.402 2214 5334872
41.29/41.30	o 6054
41.79/41.88	c 35.4466 685.543 2401 5436330
41.79/41.88	o 6037
43.19/43.21	c 36.3855 685.684 2712 5559056
43.19/43.21	o 5934
43.79/43.86	c 36.8494 685.695 2823 5680019
43.79/43.86	o 5779
44.09/44.12	c 37.0304 685.707 2823 5784963
44.09/44.12	o 5258
44.30/44.38	c 37.2283 686.352 2851 5891302
44.30/44.38	o 4787
46.79/46.84	c 39.0371 686.48 3193 6024694
46.79/46.84	o 4644
49.40/49.43	c 41.0218 686.48 3541 6134191
49.40/49.43	o 4609
49.69/49.70	c 41.2247 686.609 3544 6239318
49.69/49.70	o 4494
55.09/55.19	c 44.9662 686.867 5029 6413453
55.09/55.19	o 4061
56.10/56.12	c 45.6831 686.996 5134 6492727
56.10/56.12	o 4012
57.39/57.49	c 46.6139 686.996 5337 6606630
57.39/57.49	o 3850
58.99/59.06	c 47.7777 686.996 5840 6741133
58.99/59.06	o 3717
71.89/71.96	c 56.6104 686.879 8371 6866176
71.89/71.96	o 3709
72.20/72.22	c 56.7724 686.762 8374 6885443
72.20/72.22	o 3708
72.49/72.53	c 56.9793 686.773 8399 6991659
72.49/72.53	o 3458
79.59/79.63	c 61.9976 687.043 9777 7109018
79.59/79.63	o 3450
86.80/86.83	c 67.2798 687.184 11369 7276541
86.80/86.83	o 3369
91.60/91.67	c 70.6753 687.328 12234 7398211
91.60/91.67	o 3355
95.70/95.74	c 73.4828 687.469 13033 7540037
95.70/95.74	o 3291
101.99/102.06	c 78.1491 687.996 15641 7706848
101.99/102.06	o 3258
119.20/119.20	c 89.9623 688.652 18771 7874182
119.20/119.20	o 3254
122.20/122.20	c 92.156 688.793 19277 7993371
122.20/122.20	o 3018
122.39/122.47	c 92.359 688.805 19280 8100792
122.39/122.47	o 2756
122.69/122.73	c 92.5379 688.816 19290 8207768
122.69/122.73	o 2593
140.30/140.32	c 104.967 689.473 22896 8385763
140.30/140.32	o 2556
175.40/175.45	c 130.105 691.703 29311 8662051
175.40/175.45	o 2527
176.89/176.90	c 131.119 691.715 29640 8766925
176.89/176.90	o 2435
202.40/202.46	c 149.211 692.887 33752 8969854
202.40/202.46	o 2353
203.60/203.69	c 150.114 692.898 33829 9078851
203.60/203.69	o 2195
209.89/209.91	c 154.623 693.168 34639 9214576
209.89/209.91	o 2062
214.10/214.14	c 157.475 693.309 35499 9270764
214.10/214.14	o 2057
220.00/220.04	c 161.996 694.082 36204 9361219
220.00/220.04	o 2043
225.19/225.20	c 165.537 694.094 37531 9458848
225.19/225.20	o 2039
226.40/226.41	c 166.479 694.867 37658 9541597
226.40/226.41	o 2011
236.40/236.47	c 173.69 694.879 39115 9682184
236.40/236.47	o 1983
236.80/236.85	c 173.961 694.891 39137 9719348
236.80/236.85	o 1979
239.40/239.42	c 175.672 695.031 39569 9831500
239.40/239.42	o 1729
249.60/249.68	c 182.851 695.676 41304 9976370
249.60/249.68	o 1419
252.60/252.66	c 185.045 695.676 12042 10073170
252.60/252.66	o 1375
286.50/286.50	c 209.824 695.676 15355 10156998
286.50/286.50	o 1366
293.60/293.68	c 215.259 695.676 16227 10277606
293.60/293.68	o 1306
300.00/300.03	c 219.776 695.676 17031 10385290
300.00/300.03	o 1231
315.29/315.36	c 230.413 695.676 19545 10512413
315.29/315.36	o 1010
315.61/315.62	c 230.594 695.676 19546 10588239
315.61/315.62	o 990
315.80/315.87	c 230.763 695.676 19548 10647895
315.80/315.87	o 986
317.00/317.06	c 231.612 695.676 19788 10692189
317.00/317.06	o 984
318.60/318.66	c 232.751 695.676 20208 10796652
318.60/318.66	o 956
319.50/319.57	c 233.414 695.676 20281 10835534
319.50/319.57	o 951
330.40/330.41	c 241.276 695.676 13308 10994531
330.40/330.41	o 883
332.60/332.67	c 242.856 695.676 13617 11037929
332.60/332.67	o 881
335.60/335.68	c 245.056 695.676 14174 11123998
335.60/335.68	o 796
335.90/335.97	c 245.267 695.676 14250 11204769
335.90/335.97	o 783
354.60/354.62	c 259.009 695.676 18457 11393649
354.60/354.62	o 760
354.80/354.85	c 259.177 695.676 18468 11469139
354.80/354.85	o 718
374.50/374.54	c 273.753 695.676 21208 11625800
374.50/374.54	o 705
423.20/423.24	c 307.802 695.676 26915 11742253
423.20/423.24	o 701
432.60/432.64	c 314.53 695.676 28517 11870262
432.60/432.64	o 654
442.70/442.77	c 322.117 695.676 29667 11961996
442.70/442.77	o 638
445.10/445.16	c 323.87 695.676 29924 12040502
445.10/445.16	o 594
473.80/473.80	c 344.688 696.062 32949 12151502
473.80/473.80	o 592
490.30/490.39	c 357.39 695.816 34557 12277199
490.30/490.39	o 504
506.51/506.51	c 369.07 696.086 36661 12370873
506.51/506.51	o 501
521.31/521.35	c 380.261 696.484 39188 12539524
521.31/521.35	o 480
555.21/555.21	c 404.776 697.141 43812 12729613
555.21/555.21	o 469
555.71/555.72	c 405.153 697.152 43844 12805791
555.71/555.72	o 448
556.01/556.04	c 405.384 697.164 43868 12806416
556.01/556.04	o 447
556.41/556.40	c 405.64 697.176 43913 12845261
556.41/556.40	o 437
577.11/577.15	c 421.497 697.574 47037 13016778
577.11/577.15	o 395
577.31/577.38	c 421.65 697.586 47043 13091619
577.31/577.38	o 384
577.51/577.59	c 421.787 697.598 47044 13166426
577.51/577.59	o 373
577.90/577.92	c 422.021 697.609 47057 13241326
577.90/577.92	o 362
592.50/592.59	c 432.654 697.879 48655 13321959
592.50/592.59	o 358
693.91/693.93	c 503.972 700.34 57784 13471371
693.91/693.93	o 352
729.22/729.28	c 529.532 701.371 66390 13751117
729.22/729.28	o 337
746.21/746.27	c 542.232 701.371 15566 13862855
746.21/746.27	o 320
810.11/810.10	c 591.416 701.371 25204 14091901
810.11/810.10	o 307
1005.92/1005.98	c 737.125 701.371 43020 14396900
1005.92/1005.98	o 284
1279.72/1279.77	c 938.824 701.629 15915 14586580
1279.72/1279.77	o 283
1281.83/1281.85	c 940.407 701.629 15990 14622905
1281.83/1281.85	o 280
1444.63/1444.65	c 1063.41 701.629 28249 14750420
1444.63/1444.65	o 279
1776.73/1776.71	c 1301.52 704.594 55404 15013959
1776.73/1776.71	o 270
1796.93/1796.92	c 1316.19 704.348 56573 15058465
1796.93/1796.92	o 269
1800.04/1800.00	s SATISFIABLE
1800.04/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	269

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701263-1278538414/watcher-2701263-1278538414 -o /tmp/evaluation-result-2701263-1278538414/solver-2701263-1278538414 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701263-1278538414.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.92 1.98 1.99 4/182 18811
/proc/meminfo: memFree=30124880/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=2136 CPUtime=0
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 269 0 0 0 0 0 0 0 25 0 1 0 22054721 2187264 188 4089446400 134512640 136422188 4287548112 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/18811/statm: 534 188 144 467 0 65 0

[startup+0.059683 s]
/proc/loadavg: 1.92 1.98 1.99 4/182 18811
/proc/meminfo: memFree=30124880/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=2952 CPUtime=0.05
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 468 0 0 0 5 0 0 0 25 0 1 0 22054721 3022848 354 4089446400 134512640 136422188 4287548112 18446744073709551615 135378264 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/18811/statm: 738 354 144 467 0 269 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2952

[startup+0.100664 s]
/proc/loadavg: 1.92 1.98 1.99 4/182 18811
/proc/meminfo: memFree=30124880/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=3736 CPUtime=0.1
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 684 0 0 0 10 0 0 0 25 0 1 0 22054721 3825664 505 4089446400 134512640 136422188 4287548112 18446744073709551615 135717695 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/18811/statm: 934 505 144 467 0 465 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3736

[startup+0.300644 s]
/proc/loadavg: 1.92 1.98 1.99 4/182 18811
/proc/meminfo: memFree=30124880/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=5964 CPUtime=0.29
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 1410 0 0 0 29 0 0 0 25 0 1 0 22054721 6107136 1102 4089446400 134512640 136422188 4287548112 18446744073709551615 135805467 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/18811/statm: 1491 1102 144 467 0 1022 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5964

[startup+0.700569 s]
/proc/loadavg: 1.92 1.98 1.99 4/182 18811
/proc/meminfo: memFree=30124880/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=29992 CPUtime=0.69
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 7600 0 0 0 69 0 0 0 25 0 1 0 22054721 30711808 7035 4089446400 134512640 136422188 4287548112 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18811/statm: 7498 7039 195 467 0 7029 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29992

[startup+1.50043 s]
/proc/loadavg: 1.92 1.98 1.99 3/183 18812
/proc/meminfo: memFree=30025312/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=219452 CPUtime=1.49
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 57228 0 0 0 142 7 0 0 25 0 1 0 22054721 224718848 53843 4089446400 134512640 136422188 4287548112 18446744073709551615 134632651 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18811/statm: 54863 53843 195 467 0 54394 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 219452

[startup+3.10015 s]
/proc/loadavg: 1.92 1.98 1.99 3/183 18812
/proc/meminfo: memFree=29769624/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=651860 CPUtime=3.09
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 170515 0 0 0 290 19 0 0 25 0 1 0 22054721 667504640 157602 4089446400 134512640 136422188 4287548112 18446744073709551615 135801377 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18811/statm: 162965 157602 201 467 0 162496 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 651860

[startup+6.30057 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 18812
/proc/meminfo: memFree=29479348/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=669080 CPUtime=6.29
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 174987 0 0 0 609 20 0 0 25 0 1 0 22054721 685137920 161695 4089446400 134512640 136422188 4287548112 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18811/statm: 167270 161695 209 467 0 166801 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 669080

[startup+12.7004 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 18812
/proc/meminfo: memFree=29474380/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=672776 CPUtime=12.69
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 175939 0 0 0 1249 20 0 0 25 0 1 0 22054721 688922624 162647 4089446400 134512640 136422188 4287548112 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18811/statm: 168194 162647 209 467 0 167725 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 672776

[startup+25.5002 s]
/proc/loadavg: 1.95 1.98 1.99 3/183 18812
/proc/meminfo: memFree=29462948/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=700684 CPUtime=25.49
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 183262 0 0 0 2408 141 0 0 18 0 1 0 22054721 717500416 165587 4089446400 134512640 136422188 4287548112 18446744073709551615 134870615 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18811/statm: 175171 165587 237 467 0 174702 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 700684

[startup+51.1006 s]
/proc/loadavg: 2.10 2.02 2.00 3/183 18813
/proc/meminfo: memFree=29460784/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=703084 CPUtime=51.09
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 187514 0 0 0 4218 891 0 0 25 0 1 0 22054721 719958016 166115 4089446400 134512640 136422188 4287548112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18811/statm: 175771 166115 238 467 0 175302 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 703084

[startup+102.306 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 18814
/proc/meminfo: memFree=29458132/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=704504 CPUtime=102.3
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 189108 0 0 0 7832 2398 0 0 25 0 1 0 22054721 721412096 166519 4089446400 134512640 136422188 4287548112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18811/statm: 176126 166519 238 467 0 175657 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 704504

[startup+162.301 s]
/proc/loadavg: 2.09 2.03 2.01 3/183 18816
/proc/meminfo: memFree=29456352/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=707336 CPUtime=162.29
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 190553 0 0 0 12083 4146 0 0 25 0 1 0 22054721 724312064 167198 4089446400 134512640 136422188 4287548112 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18811/statm: 176834 167198 238 467 0 176365 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 707336

[startup+222.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 18818
/proc/meminfo: memFree=29452700/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=710736 CPUtime=222.3
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 192284 0 0 0 16365 5865 0 0 25 0 1 0 22054721 727793664 168076 4089446400 134512640 136422188 4287548112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18811/statm: 177684 168076 238 467 0 177215 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 710736

[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 18819
/proc/meminfo: memFree=29450544/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=712368 CPUtime=282.3
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 193414 0 0 0 20686 7544 0 0 25 0 1 0 22054721 729464832 168471 4089446400 134512640 136422188 4287548112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18811/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.05 2.03 2.00 3/201 18867
/proc/meminfo: memFree=29276812/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=712368 CPUtime=342.3
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 193434 0 0 0 24998 9232 0 0 25 0 1 0 22054721 729464832 168478 4089446400 134512640 136422188 4287548112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18811/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.02 2.02 2.00 3/201 18868
/proc/meminfo: memFree=29274776/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=712368 CPUtime=402.3
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 193437 0 0 0 29312 10918 0 0 25 0 1 0 22054721 729464832 168478 4089446400 134512640 136422188 4287548112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18811/statm: 178092 168478 238 467 0 177623 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 712368

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/201 18870
/proc/meminfo: memFree=29273336/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=712368 CPUtime=462.3
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 193441 0 0 0 33664 12566 0 0 25 0 1 0 22054721 729464832 168478 4089446400 134512640 136422188 4287548112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18811/statm: 178092 168478 238 467 0 177623 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 712368

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/201 18872
/proc/meminfo: memFree=29272792/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=713196 CPUtime=522.3
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 194065 0 0 0 38094 14136 0 0 25 0 1 0 22054721 730312704 168688 4089446400 134512640 136422188 4287548112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18811/statm: 178299 168688 238 467 0 177830 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 713196

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/201 18873
/proc/meminfo: memFree=29271020/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=714348 CPUtime=582.3
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 195542 0 0 0 42522 15708 0 0 25 0 1 0 22054721 731492352 169000 4089446400 134512640 136422188 4287548112 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18811/statm: 178587 169000 238 467 0 178118 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 714348

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/201 18875
/proc/meminfo: memFree=29270720/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=715416 CPUtime=642.31
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 195952 0 0 0 46919 17312 0 0 25 0 1 0 22054721 732585984 169254 4089446400 134512640 136422188 4287548112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18811/statm: 178854 169254 238 467 0 178385 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 715416

[startup+702.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/201 18880
/proc/meminfo: memFree=29266968/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=718200 CPUtime=822.32
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 196952 0 0 0 60080 22152 0 0 25 0 1 0 22054721 735436800 169951 4089446400 134512640 136422188 4287548112 18446744073709551615 135006280 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18811/statm: 179550 169951 238 467 0 179081 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 718200

[startup+882.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/201 18881
/proc/meminfo: memFree=29267044/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=718200 CPUtime=882.31
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 196952 0 0 0 64478 23753 0 0 25 0 1 0 22054721 735436800 169951 4089446400 134512640 136422188 4287548112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18811/statm: 179550 169951 238 467 0 179081 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 718200

[startup+942.301 s]
/proc/loadavg: 2.16 2.04 2.01 3/201 18883
/proc/meminfo: memFree=29266888/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=718200 CPUtime=942.32
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 196952 0 0 0 69088 25144 0 0 25 0 1 0 22054721 735436800 169951 4089446400 134512640 136422188 4287548112 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18811/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.06 2.03 2.00 3/201 18884
/proc/meminfo: memFree=29267344/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=718200 CPUtime=1002.32
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 196952 0 0 0 73423 26809 0 0 25 0 1 0 22054721 735436800 169951 4089446400 134512640 136422188 4287548112 18446744073709551615 135006280 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18811/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.05 2.03 2.00 3/201 18886
/proc/meminfo: memFree=29267304/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=718200 CPUtime=1062.32
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 196953 0 0 0 77818 28414 0 0 25 0 1 0 22054721 735436800 169951 4089446400 134512640 136422188 4287548112 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18811/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.06 2.04 2.00 3/201 18888
/proc/meminfo: memFree=29267388/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=718200 CPUtime=1122.32
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 196953 0 0 0 82033 30199 0 0 25 0 1 0 22054721 735436800 169951 4089446400 134512640 136422188 4287548112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18811/statm: 179550 169951 238 467 0 179081 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 718200

[startup+1182.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/201 18889
/proc/meminfo: memFree=29267716/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=718200 CPUtime=1182.32
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 196953 0 0 0 86525 31707 0 0 25 0 1 0 22054721 735436800 169951 4089446400 134512640 136422188 4287548112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18811/statm: 179550 169951 238 467 0 179081 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 718200

[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/201 18891
/proc/meminfo: memFree=29267560/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=718200 CPUtime=1242.32
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 196953 0 0 0 91116 33116 0 0 25 0 1 0 22054721 735436800 169951 4089446400 134512640 136422188 4287548112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18811/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.09 2.05 2.01 3/201 18892
/proc/meminfo: memFree=29267632/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=718464 CPUtime=1302.33
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 196997 0 0 0 95515 34718 0 0 25 0 1 0 22054721 735707136 169993 4089446400 134512640 136422188 4287548112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18811/statm: 179616 169993 238 467 0 179147 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 718464

[startup+1362.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/201 18894
/proc/meminfo: memFree=29267476/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=718464 CPUtime=1362.33
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 196997 0 0 0 100198 36035 0 0 25 0 1 0 22054721 735707136 169993 4089446400 134512640 136422188 4287548112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18811/statm: 179616 169993 238 467 0 179147 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 718464

[startup+1422.31 s]
/proc/loadavg: 2.01 2.03 2.00 3/201 18896
/proc/meminfo: memFree=29267676/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=718464 CPUtime=1422.33
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 196997 0 0 0 104666 37567 0 0 25 0 1 0 22054721 735707136 169993 4089446400 134512640 136422188 4287548112 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18811/statm: 179616 169993 238 467 0 179147 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 718464

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/201 18897
/proc/meminfo: memFree=29267004/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=718464 CPUtime=1482.33
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 196998 0 0 0 109062 39171 0 0 25 0 1 0 22054721 735707136 169993 4089446400 134512640 136422188 4287548112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18811/statm: 179616 169993 238 467 0 179147 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 718464

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/201 18899
/proc/meminfo: memFree=29267072/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=718464 CPUtime=1542.33
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 196998 0 0 0 113552 40681 0 0 25 0 1 0 22054721 735707136 169993 4089446400 134512640 136422188 4287548112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18811/statm: 179616 169993 238 467 0 179147 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 718464

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/201 18900
/proc/meminfo: memFree=29266908/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=718464 CPUtime=1602.33
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 196998 0 0 0 117892 42341 0 0 25 0 1 0 22054721 735707136 169993 4089446400 134512640 136422188 4287548112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18811/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.00 2.01 2.00 3/201 18911
/proc/meminfo: memFree=29265692/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=718464 CPUtime=1662.33
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 196998 0 0 0 122241 43992 0 0 25 0 1 0 22054721 735707136 169993 4089446400 134512640 136422188 4287548112 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18811/statm: 179616 169993 238 467 0 179147 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 718464

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/201 18913
/proc/meminfo: memFree=29265260/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=719520 CPUtime=1722.34
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 197256 0 0 0 126402 45832 0 0 25 0 1 0 22054721 736788480 170251 4089446400 134512640 136422188 4287548112 18446744073709551615 135028660 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18811/statm: 179880 170251 238 467 0 179411 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 719520

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/201 18914
/proc/meminfo: memFree=29263240/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=721500 CPUtime=1782.33
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 197756 0 0 0 130546 47687 0 0 25 0 1 0 22054721 738816000 170750 4089446400 134512640 136422188 4287548112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18811/statm: 180375 170750 238 467 0 179906 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 721500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/201 18915
/proc/meminfo: memFree=29262864/32951124 swapFree=67111528/67111528
[pid=18811] ppid=18809 vsize=721248 CPUtime=1800.04
/proc/18811/stat : 18811 (pbct) R 18809 18811 17251 0 -1 4202496 197868 0 0 0 131847 48157 0 0 25 0 1 0 22054721 738557952 170713 4089446400 134512640 136422188 4287548112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18811/statm: 180312 170713 238 467 0 179843 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 721248

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.08
CPU user time (s): 1318.48
CPU system time (s): 481.602
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 721896

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

runsolver used 2.87056 second user time and 6.34104 second system time

The end

Launcher Data 

Begin job on node132 at 2010-07-07 23:33:34
IDJOB=2701263
IDBENCH=79550
IDSOLVER=1212
FILE ID=node132/2701263-1278538414
PBS_JOBID= 11239213
Free space on /tmp= 73576 MiB

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

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

MD5SUM BENCH= 5c315664b873ce8198536ea2fe9f11ce
RANDOM SEED=210761828

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30125400 kB
Buffers:        134908 kB
Cached:        2450196 kB
SwapCached:          0 kB
Active:         949860 kB
Inactive:      1731200 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30125400 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5476 kB
Writeback:           0 kB
AnonPages:       95840 kB
Mapped:          15480 kB
Slab:            81716 kB
PageTables:       5352 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   241584 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= 73572 MiB
End job on node132 at 2010-07-08 00:03:36