Trace number 2699187

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB/CT 0.1 fixedMSAT (TO) 1800.07 1800.01

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j308_1-unsat--soft-0-100-0.wbo
MD5SUM591706804da9a76ba42d2e694fd25fcb
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark0.022996
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2728
Total number of constraints8382
Number of soft constraints8382
Number of constraints which are clauses8210
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints172
Minimum length of a constraint1
Maximum length of a constraint17
Top cost 422384
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 422383
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 143
Number of bits of the biggest sum of numbers8
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.00/0.04	c constraints 0/172 clauses 0/8210 units 0
0.00/0.04	c vars 2728
0.59/0.64	c 0.58591 67.2383 88 56512
0.59/0.64	o 13276
1.79/1.83	c 1.44278 69.2305 1377 88838
1.79/1.83	o 13275
1.98/2.01	c 1.56676 69.3594 1558 122823
1.98/2.01	o 13128
2.29/2.35	c 1.82572 69.875 2020 141268
2.29/2.35	o 13125
2.29/2.38	c 1.84372 69.875 2030 156775
2.29/2.38	o 13097
2.39/2.41	c 1.86672 69.875 2044 164164
2.39/2.41	o 13095
2.69/2.70	c 2.08668 70.2852 2384 190080
2.69/2.70	o 13094
2.69/2.73	c 2.10368 70.2852 2392 195594
2.69/2.73	o 13091
2.79/2.88	c 2.20666 70.2852 2503 213287
2.79/2.88	o 13088
2.89/2.91	c 2.22266 70.2852 2513 221193
2.89/2.91	o 13087
2.89/2.92	c 2.23766 70.2852 2514 229005
2.89/2.92	o 13074
2.89/2.95	c 2.24766 70.2852 2517 238694
2.89/2.95	o 13058
2.89/2.97	c 2.26465 70.2852 2519 246578
2.89/2.97	o 13054
2.89/2.99	c 2.28165 70.4141 2523 253816
2.89/2.99	o 13053
2.99/3.01	c 2.29465 70.4141 2526 261579
2.99/3.01	o 13037
2.99/3.03	c 2.30665 70.4141 2527 271290
2.99/3.03	o 12220
2.99/3.05	c 2.31965 70.4141 2529 277455
2.99/3.05	o 12217
2.99/3.07	c 2.33564 70.4141 2533 283521
2.99/3.07	o 12214
2.99/3.09	c 2.35164 70.4141 2538 294618
2.99/3.09	o 9366
3.09/3.13	c 2.37664 70.4141 2543 305325
3.09/3.13	o 9356
3.09/3.15	c 2.39663 70.4141 2554 313885
3.09/3.15	o 9351
3.19/3.26	c 2.48562 70.4141 2654 327103
3.19/3.26	o 7673
3.19/3.29	c 2.50462 70.4141 2659 338165
3.19/3.29	o 7284
9.79/9.87	c 7.01793 71.7031 4090 397027
9.79/9.87	o 7283
13.39/13.48	c 9.43057 71.7031 4860 414266
13.39/13.48	o 7281
13.69/13.72	c 9.58354 71.7031 2640 421147
13.69/13.72	o 7275
16.39/16.46	c 11.3793 71.7031 4245 445189
16.39/16.46	o 7274
17.69/17.75	c 12.2191 71.7031 2581 461488
17.69/17.75	o 7270
22.09/22.11	c 15.1737 71.7031 2617 488952
22.09/22.11	o 7269
66.69/66.74	c 44.4172 72.7344 3855 675044
66.69/66.74	o 7268
67.40/67.47	c 44.9112 72.7344 4376 685683
67.40/67.47	o 7267
68.10/68.14	c 45.3561 72.7344 2356 696012
68.10/68.14	o 7266
91.69/91.79	c 60.8098 72.7344 2392 765807
91.69/91.79	o 7265
92.59/92.68	c 61.3917 72.7344 3071 781081
92.59/92.68	o 7264
126.19/126.25	c 83.6123 73.1211 6190 867875
126.19/126.25	o 7263
127.10/127.18	c 84.2412 73.1211 3771 878061
127.10/127.18	o 7262
146.69/146.75	c 97.0862 73.1211 2598 964042
146.69/146.75	o 7261
164.59/164.69	c 108.789 73.1211 2932 1028884
164.59/164.69	o 7260
168.40/168.47	c 111.289 73.1211 3127 1067541
168.40/168.47	o 7259
173.60/173.60	c 114.708 73.1211 4123 1109882
173.60/173.60	o 7258
218.40/218.44	c 144.68 73.6367 4044 1282869
218.40/218.44	o 7256
246.10/246.19	c 163.008 73.6367 2845 1395974
246.10/246.19	o 7255
248.20/248.20	c 164.349 73.6367 3962 1413255
248.20/248.20	o 7254
343.11/343.15	c 226.386 75.0547 4673 1643610
343.11/343.15	o 7253
350.10/350.11	c 230.939 75.0547 3484 1689100
350.10/350.11	o 7252
361.71/361.75	c 238.702 75.0547 2438 1728386
361.71/361.75	o 7251
408.20/408.27	c 269.376 75.3125 3872 1891278
408.20/408.27	o 7250
418.10/418.19	c 275.785 75.3125 3658 1931276
418.10/418.19	o 7249
423.41/423.45	c 279.29 75.3125 2554 1979818
423.41/423.45	o 7248
431.41/431.42	c 284.607 75.3125 3927 2006763
431.41/431.42	o 7247
438.20/438.27	c 289.078 75.3125 2801 2045788
438.20/438.27	o 7246
440.20/440.29	c 290.401 75.3125 3991 2060807
440.20/440.29	o 7245
448.10/448.17	c 295.777 75.3125 4623 2114076
448.10/448.17	o 7244
478.31/478.37	c 315.636 75.8281 3516 2171782
478.31/478.37	o 7243
498.60/498.61	c 328.967 75.8281 2966 2270745
498.60/498.61	o 7242
535.21/535.28	c 352.99 75.8281 3339 2419318
535.21/535.28	o 7241
577.31/577.31	c 380.876 75.8281 2571 2576368
577.31/577.31	o 7240
617.01/617.03	c 407.14 75.8281 3166 2722733
617.01/617.03	o 7239
747.41/747.40	c 493.94 76.8594 3592 2993311
747.41/747.40	o 7238
777.91/777.97	c 513.833 76.8594 4230 3108149
777.91/777.97	o 7237
779.11/779.13	c 514.609 76.8594 2421 3115332
779.11/779.13	o 7236
781.92/781.94	c 516.437 76.8594 3917 3134825
781.92/781.94	o 7235
786.82/786.82	c 519.63 76.8594 3981 3158308
786.82/786.82	o 7234
793.62/793.62	c 524.169 76.8594 4636 3177318
793.62/793.62	o 7233
811.42/811.48	c 535.898 76.8594 2822 3243031
811.42/811.48	o 7232
819.52/819.58	c 541.218 76.8594 3783 3272934
819.52/819.58	o 7231
821.31/821.32	c 542.38 76.8594 4707 3287880
821.31/821.32	o 7230
822.41/822.47	c 543.143 76.8594 3129 3303108
822.41/822.47	o 7229
823.31/823.33	c 543.74 76.8594 3526 3318126
823.31/823.33	o 7228
840.02/840.08	c 554.888 76.8594 3869 3398409
840.02/840.08	o 7227
840.62/840.62	c 555.25 76.8594 4151 3410854
840.62/840.62	o 7226
853.21/853.22	c 563.703 76.8594 4396 3493561
853.21/853.22	o 7225
914.62/914.64	c 604.026 77.1172 2531 3689115
914.62/914.64	o 7224
915.02/915.06	c 604.301 77.1172 2727 3700795
915.02/915.06	o 7222
915.72/915.77	c 604.794 77.1172 3335 3716196
915.72/915.77	o 7221
978.32/978.32	c 645.893 77.1172 2494 3982305
978.32/978.32	o 7220
985.53/985.51	c 650.51 77.1172 3433 4006574
985.53/985.51	o 7219
987.92/987.92	c 652.13 77.1172 4598 4035588
987.92/987.92	o 7218
992.23/992.24	c 654.988 77.1172 2927 4072784
992.23/992.24	o 7217
1002.92/1002.92	c 661.91 77.1172 3616 4116156
1002.92/1002.92	o 7215
1014.92/1014.97	c 669.796 77.1172 3002 4151058
1014.92/1014.97	o 7214
1091.02/1091.03	c 718.687 77.6328 3564 4316954
1091.02/1091.03	o 7213
1102.53/1102.52	c 726.29 77.6328 3366 4364256
1102.53/1102.52	o 7212
1109.43/1109.41	c 730.967 77.6328 2937 4414350
1109.43/1109.41	o 7211
1114.13/1114.15	c 734.118 77.6328 4890 4432287
1114.13/1114.15	o 7210
1120.43/1120.45	c 738.246 77.6328 3401 4470522
1120.43/1120.45	o 7209
1142.03/1142.08	c 752.638 78.0195 4793 4520230
1142.03/1142.08	o 7208
1144.13/1144.19	c 753.973 78.0195 3618 4536060
1144.13/1144.19	o 7207
1151.03/1151.04	c 758.46 78.0195 4644 4571257
1151.03/1151.04	o 7206
1190.03/1190.09	c 784.2 78.0195 4700 4730951
1190.03/1190.09	o 7205
1192.34/1192.37	c 785.726 78.0195 3417 4748808
1192.34/1192.37	o 7204
1197.23/1197.27	c 788.911 78.0195 3137 4776982
1197.23/1197.27	o 7203
1197.83/1197.81	c 789.283 78.0195 3551 4783838
1197.83/1197.81	o 7202
1203.13/1203.18	c 792.819 78.0195 3632 4803049
1203.13/1203.18	o 7201
1262.93/1262.99	c 832.319 78.0195 4211 4912025
1262.93/1262.99	o 7200
1270.44/1270.42	c 837.228 78.0195 4039 4981754
1270.44/1270.42	o 7199
1270.63/1270.62	c 837.376 78.0195 4177 4987793
1270.63/1270.62	o 7198
1270.93/1270.91	c 837.567 78.0195 4323 4993865
1270.93/1270.91	o 7197
1281.43/1281.48	c 844.57 78.0195 2493 5034411
1281.43/1281.48	o 7196
1319.44/1319.46	c 869.82 79.1953 8260 5161035
1319.44/1319.46	o 7195
1345.04/1345.00	c 886.825 79.1953 3390 5300755
1345.04/1345.00	o 7194
1345.24/1345.21	c 886.966 79.1953 3504 5307792
1345.24/1345.21	o 7193
1351.64/1351.61	c 891.304 79.1953 2639 5354930
1351.64/1351.61	o 7192
1355.14/1355.13	c 893.624 79.1953 2382 5376605
1355.14/1355.13	o 7191
1361.33/1361.37	c 897.719 79.1953 3706 5417139
1361.33/1361.37	o 7190
1362.64/1362.69	c 898.616 79.1953 4420 5431270
1362.64/1362.69	o 7189
1363.64/1363.65	c 899.239 79.1953 2434 5442127
1363.64/1363.65	o 7188
1577.65/1577.69	c 1043.86 79.582 2907 5863029
1577.65/1577.69	o 7187
1585.15/1585.15	c 1048.79 79.582 4541 5898608
1585.15/1585.15	o 7186
1648.74/1648.75	c 1090.49 79.582 4370 6108535
1648.74/1648.75	o 7185
1706.35/1706.36	c 1128.66 79.582 2429 6331007
1706.35/1706.36	o 7184
1763.15/1763.11	c 1165.77 79.582 2738 6448599
1763.15/1763.11	o 7183
1782.75/1782.74	c 1178.72 79.582 3038 6495520
1782.75/1782.74	o 7182
1790.55/1790.52	c 1183.78 79.582 2405 6536689
1790.55/1790.52	o 7181
1797.65/1797.67	c 1188.57 79.582 4310 6578404
1797.65/1797.67	o 7180
1800.05/1800.00	s SATISFIABLE
1800.05/1800.00	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 x66 x67 -x68 -x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 x110 x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 x173 x174 x175 x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 x205 x206 x207 x208 x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 x218 x219 x220 x221 -x222 -x223 x224 x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 x253 x254 x255 x256 -x257 -x258 -x259 x260 x261 x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 x299 x300 x301 -x302 x303 x304 x305 x306 x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 x340 x341 x342 x343 x344 x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 x432 -x433 -x434 -x435 -x436 x437 x438 x439 x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482 x483 x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 x515 -x516 -x517 -x518 -x519 -x520 x521 x522 -x523 -x524 -x525 x526 x527 x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 x560 x561 -x562 -x563 -x564 x565 x566 -x567 -x568 -x569 -x570 x571 x572 -x573 -x574 -x575 -x576 -x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 x614 -x615 x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 x654 x655 x656 x657 x658 x659 x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 x690 x691 x692 x693 x694 -x695 -x696 -x697 -x698 x699 x700 -x701 -x702 -x703 x704 x705 -x706 -x707 -x708 -x709 x710 x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 x748 x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 x779 x780 -x781 x782 -x783 -x784 -x785 -x786 x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 x830 x831 x832 x833 x834 x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 x862 x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 x873 x874 x875 x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 x919 x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 -x963 x964 x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 x1010 x1011 x1012 x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 x1182 x1183 x1184 x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 x1381 x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 x1390 x1391 x1392 x1393 x1394 -x1395 -x1396 x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 x1405 -x1406 -x1407 -x1408 -x1409 x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 x1418 x1419 x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 x1429 x1430 -x1431 -x1432 x1433 x1434 x1435 x1436 -x1437 -x1438 -x1439 x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 x1472 x1473 x1474 x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 x1485 x1486 x1487 x1488 x1489 x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 x1567 x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 x1580 x1581 -x1582 -x1583 -x1584 -x1585 -x1586 x1587 x1588 x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 x1603 -x1604 -x1605 -x1606 x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 x1615 x1616 x1617 x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 x1659 -x1660 -x1661 x1662 -x1663 x1664 -x1665 -x1666 x1667 x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 x1703 x1704 x1705 x1706 -x1707 x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 x1727 -x1728 -x1729 -x1730 -x1731 x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 x1751 -x1752 x1753 x1754 x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 x1778 -x1779 -x1780 -x1781 -x1782 x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 x1845 x1846 x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 x1884 -x1885 -x1886 -x1887 -x1888 x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 x1920 -x1921 -x1922 x1923 x1924 -x1925 -x1926 -x1927 x1928 x1929 -x1930 -x1931 -x1932 -x1933 x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 x1977 x1978 x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 x2017 x2018 -x2019 x2020 x2021 -x2022 x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 x2062 -x2063 -x2064 -x2065 -x2066 x2067 -x2068 -x2069 -x2070 -x2071 -x2072 x2073 x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 x2110 x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 x2131 x2132 x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 x2142 x2143 -x2144 x2145 -x2146 -x2147 -x2148 -x2149 x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 x2186 -x2187 -x2188 -x2189 -x2190 -x2191 x2192 x2193 x2194 x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 x2225 x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 x2236 x2237 x2238 x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 x2247 x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 x2325 -x2326 x2327 x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 x2373 x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 x2545 -x2546 x2547 x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 x2560 -x2561 x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 x2636 x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 x2728

Verifier Data 

OK	7180

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 2.05 2.01 1.95 3/178 12842
/proc/meminfo: memFree=30030204/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=2136 CPUtime=0
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 253 0 0 0 0 0 0 0 25 0 1 0 14770239 2187264 172 4089446400 134512640 136422188 4292657216 18446744073709551615 135372878 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/12842/statm: 534 172 143 467 0 65 0

[startup+0.0950991 s]
/proc/loadavg: 2.05 2.01 1.95 3/178 12842
/proc/meminfo: memFree=30030204/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=17348 CPUtime=0.08
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 4015 0 0 0 8 0 0 0 25 0 1 0 14770239 17764352 3934 4089446400 134512640 136422188 4292657216 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 4337 3936 193 467 0 3868 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 17348

[startup+0.101104 s]
/proc/loadavg: 2.05 2.01 1.95 3/178 12842
/proc/meminfo: memFree=30030204/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=18596 CPUtime=0.09
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 4342 0 0 0 9 0 0 0 25 0 1 0 14770239 19042304 4261 4089446400 134512640 136422188 4292657216 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 4649 4263 193 467 0 4180 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18596

[startup+0.301069 s]
/proc/loadavg: 2.05 2.01 1.95 3/178 12842
/proc/meminfo: memFree=30030204/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=66360 CPUtime=0.29
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 16815 0 0 0 27 2 0 0 25 0 1 0 14770239 67952640 15842 4089446400 134512640 136422188 4292657216 18446744073709551615 135809751 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 16590 15842 203 467 0 16121 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 66360

[startup+0.70099 s]
/proc/loadavg: 2.05 2.01 1.95 3/178 12842
/proc/meminfo: memFree=30030204/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=69832 CPUtime=0.69
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 17635 0 0 0 63 6 0 0 25 0 1 0 14770239 71507968 16661 4089446400 134512640 136422188 4292657216 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 17458 16661 237 467 0 16989 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 69832

[startup+1.50085 s]
/proc/loadavg: 2.04 2.01 1.95 3/179 12843
/proc/meminfo: memFree=29964120/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=70624 CPUtime=1.49
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 17834 0 0 0 121 28 0 0 25 0 1 0 14770239 72318976 16860 4089446400 134512640 136422188 4292657216 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 17656 16860 237 467 0 17187 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 70624

[startup+3.10054 s]
/proc/loadavg: 2.04 2.01 1.95 3/179 12843
/proc/meminfo: memFree=29963004/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=72100 CPUtime=3.09
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 18220 0 0 0 235 74 0 0 25 0 1 0 14770239 73830400 17228 4089446400 134512640 136422188 4292657216 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 18025 17228 237 467 0 17556 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 72100

[startup+6.30095 s]
/proc/loadavg: 2.04 2.01 1.95 3/179 12844
/proc/meminfo: memFree=29960864/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=73420 CPUtime=6.29
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 18560 0 0 0 457 172 0 0 25 0 1 0 14770239 75182080 17564 4089446400 134512640 136422188 4292657216 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 18355 17564 237 467 0 17886 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 73420

[startup+12.7008 s]
/proc/loadavg: 2.04 2.01 1.95 3/179 12844
/proc/meminfo: memFree=29960612/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=73420 CPUtime=12.69
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 18568 0 0 0 890 379 0 0 25 0 1 0 14770239 75182080 17571 4089446400 134512640 136422188 4292657216 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 18355 17571 237 467 0 17886 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 73420

[startup+25.5004 s]
/proc/loadavg: 2.03 2.01 1.95 3/179 12844
/proc/meminfo: memFree=29960988/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=73420 CPUtime=25.49
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 18574 0 0 0 1743 806 0 0 25 0 1 0 14770239 75182080 17572 4089446400 134512640 136422188 4292657216 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 18355 17572 237 467 0 17886 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 73420

[startup+51.1006 s]
/proc/loadavg: 2.02 2.00 1.95 3/179 12844
/proc/meminfo: memFree=29959968/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=74476 CPUtime=51.09
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 18834 0 0 0 3403 1706 0 0 25 0 1 0 14770239 76263424 17832 4089446400 134512640 136422188 4292657216 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 18619 17832 237 467 0 18150 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 74476

[startup+102.306 s]
/proc/loadavg: 2.01 2.00 1.95 3/179 12846
/proc/meminfo: memFree=29959308/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=74476 CPUtime=102.29
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 18839 0 0 0 6772 3457 0 0 25 0 1 0 14770239 76263424 17832 4089446400 134512640 136422188 4292657216 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 18619 17832 237 467 0 18150 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 74476

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 12848
/proc/meminfo: memFree=29959012/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=74872 CPUtime=162.3
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 18944 0 0 0 10721 5509 0 0 25 0 1 0 14770239 76668928 17934 4089446400 134512640 136422188 4292657216 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 18718 17934 237 467 0 18249 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 74872

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 12849
/proc/meminfo: memFree=29958356/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=75400 CPUtime=222.3
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 19087 0 0 0 14719 7511 0 0 25 0 1 0 14770239 77209600 18073 4089446400 134512640 136422188 4292657216 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 18850 18073 237 467 0 18381 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 75400

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 12850
/proc/meminfo: memFree=29957688/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=76060 CPUtime=282.29
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 19248 0 0 0 18640 9589 0 0 25 0 1 0 14770239 77885440 18232 4089446400 134512640 136422188 4292657216 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 19015 18232 237 467 0 18546 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 76060

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 12852
/proc/meminfo: memFree=29957020/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=76852 CPUtime=342.3
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 19444 0 0 0 22582 11648 0 0 25 0 1 0 14770239 78696448 18428 4089446400 134512640 136422188 4292657216 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 19213 18428 237 467 0 18744 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 76852

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 12854
/proc/meminfo: memFree=29956580/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=77116 CPUtime=402.31
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 19512 0 0 0 26545 13686 0 0 25 0 1 0 14770239 78966784 18493 4089446400 134512640 136422188 4292657216 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 19279 18493 237 467 0 18810 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 77116

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 12856
/proc/meminfo: memFree=29956648/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=77116 CPUtime=462.3
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 19519 0 0 0 30500 15730 0 0 25 0 1 0 14770239 78966784 18493 4089446400 134512640 136422188 4292657216 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 19279 18493 237 467 0 18810 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 77116

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 12857
/proc/meminfo: memFree=29955864/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=77644 CPUtime=522.3
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 19650 0 0 0 34445 17785 0 0 25 0 1 0 14770239 79507456 18622 4089446400 134512640 136422188 4292657216 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 19411 18622 237 467 0 18942 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 77644

[startup+582.301 s]
/proc/loadavg: 2.03 2.01 1.95 3/179 12858
/proc/meminfo: memFree=29955948/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=77644 CPUtime=582.31
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 19652 0 0 0 38411 19820 0 0 25 0 1 0 14770239 79507456 18622 4089446400 134512640 136422188 4292657216 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 19411 18622 237 467 0 18942 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 77644

[startup+642.301 s]
/proc/loadavg: 2.01 2.01 1.95 3/179 12860
/proc/meminfo: memFree=29955764/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=77776 CPUtime=642.32
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 19678 0 0 0 42387 21845 0 0 25 0 1 0 14770239 79642624 18647 4089446400 134512640 136422188 4292657216 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 19444 18647 237 467 0 18975 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 77776

[startup+702.301 s]

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

[startup+822.3 s]
/proc/loadavg: 1.28 1.74 1.86 2/171 12887
/proc/meminfo: memFree=29982056/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=78700 CPUtime=822.32
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 19945 0 0 0 54302 27930 0 0 25 0 1 0 14770239 80588800 18905 4089446400 134512640 136422188 4292657216 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 19675 18905 237 467 0 19206 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 78700

[startup+882.3 s]
/proc/loadavg: 1.10 1.60 1.80 2/171 12888
/proc/meminfo: memFree=29981880/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=78700 CPUtime=882.32
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 19950 0 0 0 58264 29968 0 0 25 0 1 0 14770239 80588800 18905 4089446400 134512640 136422188 4292657216 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 19675 18905 237 467 0 19206 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 78700

[startup+942.301 s]
/proc/loadavg: 1.04 1.49 1.75 2/171 12890
/proc/meminfo: memFree=29981816/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=78964 CPUtime=942.32
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 20008 0 0 0 62212 32020 0 0 25 0 1 0 14770239 80859136 18960 4089446400 134512640 136422188 4292657216 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 19741 18960 237 467 0 19272 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 78964

[startup+1002.3 s]
/proc/loadavg: 1.01 1.40 1.70 2/171 12892
/proc/meminfo: memFree=29981748/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=78964 CPUtime=1002.33
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 20021 0 0 0 66149 34084 0 0 25 0 1 0 14770239 80859136 18969 4089446400 134512640 136422188 4292657216 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 19741 18969 237 467 0 19272 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 78964

[startup+1062.3 s]
/proc/loadavg: 1.00 1.32 1.65 2/171 12894
/proc/meminfo: memFree=29981316/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=79492 CPUtime=1062.33
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 20152 0 0 0 69992 36241 0 0 25 0 1 0 14770239 81399808 19098 4089446400 134512640 136422188 4292657216 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 19873 19098 237 467 0 19404 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 79492

[startup+1122.3 s]
/proc/loadavg: 1.00 1.26 1.61 2/171 12895
/proc/meminfo: memFree=29981276/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=79492 CPUtime=1122.33
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 20157 0 0 0 73947 38286 0 0 25 0 1 0 14770239 81399808 19098 4089446400 134512640 136422188 4292657216 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 19873 19098 237 467 0 19404 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 79492

[startup+1182.3 s]
/proc/loadavg: 1.00 1.21 1.57 2/171 12896
/proc/meminfo: memFree=29980736/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=79888 CPUtime=1182.33
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 20265 0 0 0 77910 40323 0 0 25 0 1 0 14770239 81805312 19203 4089446400 134512640 136422188 4292657216 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 19972 19203 237 467 0 19503 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 79888

[startup+1242.3 s]
/proc/loadavg: 1.00 1.17 1.53 2/171 12898
/proc/meminfo: memFree=29980816/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=79888 CPUtime=1242.33
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 20270 0 0 0 81860 42373 0 0 25 0 1 0 14770239 81805312 19203 4089446400 134512640 136422188 4292657216 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 19972 19203 237 467 0 19503 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 79888

[startup+1302.3 s]
/proc/loadavg: 1.00 1.14 1.50 2/171 12900
/proc/meminfo: memFree=29980648/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=79888 CPUtime=1302.34
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 20275 0 0 0 85834 44400 0 0 25 0 1 0 14770239 81805312 19203 4089446400 134512640 136422188 4292657216 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 19972 19203 237 467 0 19503 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 79888

[startup+1362.3 s]
/proc/loadavg: 1.00 1.11 1.46 2/171 12902
/proc/meminfo: memFree=29979588/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=81092 CPUtime=1362.34
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 20572 0 0 0 89835 46399 0 0 25 0 1 0 14770239 83038208 19494 4089446400 134512640 136422188 4292657216 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 20273 19494 237 467 0 19804 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 81092

[startup+1422.31 s]
/proc/loadavg: 1.04 1.10 1.43 2/171 12903
/proc/meminfo: memFree=29979412/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=81356 CPUtime=1422.34
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 20621 0 0 0 93853 48381 0 0 25 0 1 0 14770239 83308544 19541 4089446400 134512640 136422188 4292657216 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 20339 19541 237 467 0 19870 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 81356

[startup+1482.3 s]
/proc/loadavg: 1.01 1.08 1.41 2/171 12904
/proc/meminfo: memFree=29979460/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=81356 CPUtime=1482.34
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 20621 0 0 0 97884 50350 0 0 25 0 1 0 14770239 83308544 19541 4089446400 134512640 136422188 4292657216 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 20339 19541 237 467 0 19870 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 81356

[startup+1542.3 s]
/proc/loadavg: 1.00 1.06 1.38 2/171 12906
/proc/meminfo: memFree=29979140/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=81488 CPUtime=1542.34
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 20673 0 0 0 101991 52243 0 0 25 0 1 0 14770239 83443712 19593 4089446400 134512640 136422188 4292657216 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 20372 19593 237 467 0 19903 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 81488

[startup+1602.3 s]
/proc/loadavg: 1.00 1.05 1.35 2/171 12908
/proc/meminfo: memFree=29979188/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=81488 CPUtime=1602.34
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 20675 0 0 0 106008 54226 0 0 25 0 1 0 14770239 83443712 19593 4089446400 134512640 136422188 4292657216 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 20372 19593 237 467 0 19903 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 81488

[startup+1662.3 s]
/proc/loadavg: 1.00 1.04 1.33 2/171 12910
/proc/meminfo: memFree=29979252/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=81488 CPUtime=1662.34
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 20676 0 0 0 109939 56295 0 0 25 0 1 0 14770239 83443712 19593 4089446400 134512640 136422188 4292657216 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 20372 19593 237 467 0 19903 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 81488

[startup+1722.3 s]
/proc/loadavg: 1.00 1.03 1.30 2/171 12911
/proc/meminfo: memFree=29978948/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=81488 CPUtime=1722.34
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 20677 0 0 0 113899 58335 0 0 25 0 1 0 14770239 83443712 19593 4089446400 134512640 136422188 4292657216 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 20372 19593 237 467 0 19903 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 81488

[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.28 2/171 12912
/proc/meminfo: memFree=29979016/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=81488 CPUtime=1782.35
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 20678 0 0 0 117843 60392 0 0 25 0 1 0 14770239 83443712 19593 4089446400 134512640 136422188 4292657216 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 20372 19593 237 467 0 19903 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 81488



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.00 1.02 1.27 2/171 12913
/proc/meminfo: memFree=29978984/32950928 swapFree=67111528/67111528
[pid=12842] ppid=12840 vsize=81488 CPUtime=1800.05
/proc/12842/stat : 12842 (pbct) R 12840 12842 11801 0 -1 4202496 20681 0 0 0 119014 60991 0 0 25 0 1 0 14770239 83443712 19593 4089446400 134512640 136422188 4292657216 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12842/statm: 20372 19593 237 467 0 19903 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 81488

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.01
CPU time (s): 1800.07
CPU user time (s): 1190.15
CPU system time (s): 609.92
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 81488

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

runsolver used 2.45163 second user time and 5.74213 second system time

The end

Launcher Data 

Begin job on node113 at 2010-07-07 03:19:21
IDJOB=2699187
IDBENCH=79346
IDSOLVER=1212
FILE ID=node113/2699187-1278465560
PBS_JOBID= 11233767
Free space on /tmp= 73812 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB10/oliveras/j30/normalized-j308_1-unsat--soft-0-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699187-1278465560/watcher-2699187-1278465560 -o /tmp/evaluation-result-2699187-1278465560/solver-2699187-1278465560 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2699187-1278465560.wbo

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

MD5SUM BENCH= 591706804da9a76ba42d2e694fd25fcb
RANDOM SEED=76568498

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30030732 kB
Buffers:        105932 kB
Cached:        2591364 kB
SwapCached:          0 kB
Active:        1214984 kB
Inactive:      1568560 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30030732 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1968 kB
Writeback:           0 kB
AnonPages:       86492 kB
Mapped:          15616 kB
Slab:            73696 kB
PageTables:       4900 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   225552 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= 73812 MiB
End job on node113 at 2010-07-07 03:49:23