Trace number 2701441

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB/CT 0.1MSAT (TO) 1800.06 1800.02

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/
scens/normalized-scen06-30_wcsp.wbo
MD5SUM6fa6f4309c56d1f5de2d242aa329505b
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark6818
Best CPU time to get the best result obtained on this benchmark1800.2
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1018
Total number of constraints50646
Number of soft constraints50547
Number of constraints which are clauses50547
Number of constraints which are cardinality constraints (but not clauses)99
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint14
Top cost 245952
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 7842900
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 15
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c PB/CT 0.1.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.40/0.47	c constraints 99/0 clauses 0/49892 units 18
0.40/0.47	c vars 1018
0.40/0.48	c Setting top cost 245952
4.59/4.67	c 4.5663 276.18 1 101022
4.59/4.67	o 141463
4.69/4.76	c 4.6253 279.508 1 151195
4.69/4.76	o 140444
4.79/4.85	c 4.68129 279.637 2 180924
4.79/4.85	o 140353
4.89/4.97	c 4.77027 279.637 25 251908
4.89/4.97	o 111924
4.99/5.09	c 4.85626 279.637 28 318329
4.99/5.09	o 89048
5.09/5.18	c 4.92025 279.637 35 368291
5.09/5.18	o 88097
5.19/5.27	c 4.97824 279.766 35 418505
5.19/5.27	o 81381
5.29/5.37	c 5.04023 279.766 35 468719
5.29/5.37	o 78124
5.79/5.89	c 5.39618 280.023 166 558648
5.79/5.89	o 72481
5.89/5.99	c 5.46317 280.023 167 609000
5.89/5.99	o 67234
6.29/6.31	c 5.69313 280.152 300 682159
6.29/6.31	o 67194
11.79/11.80	c 9.24259 283.117 2902 858693
11.79/11.81	o 67177
11.89/11.98	c 9.36458 283.117 2914 890583
11.89/11.98	o 67172
18.29/18.36	c 13.6179 286.617 6124 1018447
18.29/18.36	o 67166
19.00/19.00	c 14.0609 286.746 6224 1073443
19.00/19.00	o 66705
19.09/19.10	c 14.1379 286.746 6224 1120063
19.09/19.10	o 66537
19.20/19.20	c 14.2068 286.746 6224 1154042
19.20/19.20	o 66513
19.29/19.30	c 14.2718 286.746 6224 1187266
19.29/19.30	o 66499
19.59/19.65	c 14.5228 286.875 6324 1239203
19.59/19.65	o 66411
19.70/19.76	c 14.6008 286.875 6324 1289519
19.70/19.76	o 58371
19.80/19.86	c 14.6738 286.875 6326 1336439
19.80/19.86	o 57410
19.99/20.05	c 14.7967 286.875 6387 1366508
19.99/20.05	o 57402
63.99/64.03	c 43.8393 300.48 17147 2206945
63.99/64.03	o 57399
73.49/73.58	c 50.0474 300.48 11527 2332680
73.49/73.58	o 57390
73.89/73.97	c 50.3293 300.48 11662 2373479
73.89/73.97	o 57360
89.99/90.07	c 60.6818 300.48 10508 2707981
89.99/90.07	o 57359
93.70/93.78	c 63.2744 300.48 12217 2832558
93.70/93.78	o 57308
97.30/97.34	c 65.2991 300.48 13623 2907237
97.30/97.34	o 57279
99.70/99.79	c 67.0068 300.48 14681 2981197
99.70/99.79	o 57278
115.20/115.21	c 77.1513 300.48 13801 3236957
115.20/115.21	o 57261
116.09/116.16	c 77.5882 300.48 14091 3284492
116.09/116.16	o 57260
121.00/121.07	c 80.8897 300.48 16284 3413450
121.00/121.07	o 56680
122.49/122.59	c 81.7296 300.48 16869 3471209
122.49/122.59	o 56672
131.49/131.50	c 87.1508 300.48 12206 3644920
131.49/131.50	o 56663
131.69/131.72	c 87.3167 300.48 12284 3677249
131.69/131.72	o 56653
136.60/136.61	c 90.3733 300.48 14508 3808273
136.60/136.61	o 56637
160.50/160.54	c 106.33 300.48 16615 4046146
160.50/160.54	o 56632
166.60/166.63	c 110.146 300.48 10180 4248767
166.60/166.63	o 56524
169.40/169.45	c 111.68 300.48 11589 4341020
169.40/169.45	o 56521
185.69/185.75	c 122.254 300.48 10162 4614931
185.69/185.75	o 56517
206.10/206.13	c 134.98 300.48 17310 4803706
206.10/206.13	o 56453
207.09/207.15	c 135.641 300.48 17708 4860096
207.09/207.15	o 56440
215.99/216.05	c 141.245 300.48 13365 5102017
215.99/216.05	o 56439
219.91/219.94	c 144.001 300.48 15238 5244492
219.91/219.94	o 56416
234.20/234.25	c 153.219 300.48 12442 5477438
234.20/234.25	o 56411
251.00/251.03	c 164.346 300.48 11700 5684108
251.00/251.03	o 56410
263.00/263.04	c 172.323 300.48 9414 5972590
263.00/263.04	o 56402
265.50/265.57	c 174.155 300.48 11186 6068475
265.50/265.57	o 56395
276.90/276.97	c 181.788 300.48 10019 6361752
276.90/276.97	o 56347
280.41/280.44	c 183.867 300.48 11383 6461679
280.41/280.44	o 56346
283.50/283.52	c 185.948 300.48 12584 6568308
283.50/283.52	o 55093
283.90/283.93	c 186.234 300.48 12631 6590380
283.90/283.93	o 55089
314.40/314.45	c 205.617 300.48 9610 7067964
314.40/314.45	o 55080
332.00/332.04	c 216.475 300.48 17076 7220387
332.00/332.04	o 55048
366.20/366.24	c 238.474 300.48 15602 7853779
366.20/366.24	o 55023
366.70/366.73	c 238.803 300.48 15737 7892855
366.70/366.73	o 55013
368.80/368.87	c 240.24 300.48 16232 7938275
368.80/368.87	o 55010
373.90/373.92	c 243.494 300.48 9802 8072540
373.90/373.92	o 55008
380.00/380.04	c 247.444 300.48 12513 8183055
380.00/380.04	o 55003
387.00/387.05	c 251.972 300.48 14999 8320458
387.00/387.05	o 54981
440.01/440.05	c 285.811 303.059 9774 9008018
440.01/440.05	o 54937
448.40/448.48	c 291.327 303.059 14001 9229070
448.40/448.48	o 54936
455.11/455.15	c 295.607 303.059 16450 9355905
455.11/455.15	o 54885
501.70/501.71	c 325.507 303.059 10304 10043646
501.70/501.71	o 54881
511.30/511.35	c 331.742 303.059 14256 10227837
511.30/511.35	o 54877
511.90/511.95	c 332.175 303.059 14504 10272866
511.90/511.95	o 54869
551.51/551.59	c 357.48 303.059 11302 10834892
551.51/551.59	o 54862
559.91/559.99	c 362.996 303.059 15260 11023044
559.91/559.99	o 54857
560.81/560.85	c 363.613 303.059 15695 11099016
560.81/560.85	o 54851
602.90/602.92	c 391.197 303.059 16379 11595087
602.90/602.92	o 54839
624.81/624.83	c 405.425 303.059 9665 12056041
624.81/624.83	o 54831
625.20/625.26	c 405.73 303.059 9728 12074742
625.20/625.26	o 54830
651.91/651.98	c 422.919 303.059 15409 12531082
651.91/651.98	o 54824
675.11/675.15	c 437.518 303.059 18014 12887493
675.11/675.15	o 54820
760.61/760.61	c 491.064 314.273 11086 13228472
760.61/760.61	o 54817
776.11/776.13	c 501.153 314.273 10355 13663612
776.11/776.13	o 54616
792.81/792.89	c 512.146 314.273 10632 14030470
792.81/792.89	o 54583
816.91/816.96	c 527.571 314.273 11419 14390029
816.91/816.96	o 54582
824.11/824.13	c 532.142 314.273 14863 14540797
824.11/824.13	o 54581
843.91/843.96	c 545 314.273 15624 14890287
843.91/843.96	o 54572
845.82/845.87	c 546.237 314.273 16177 14928733
845.82/845.87	o 54571
857.31/857.34	c 553.676 314.273 12375 15172014
857.31/857.34	o 54568
871.61/871.62	c 562.657 314.273 10538 15363401
871.61/871.62	o 54561
872.11/872.12	c 563.027 314.273 10852 15419989
872.11/872.12	o 54496
933.11/933.12	c 602.7 314.273 11500 16499047
933.11/933.12	o 54490
966.31/966.33	c 623.782 314.273 10087 17065035
966.31/966.33	o 54485
967.62/967.68	c 624.708 314.273 10581 17146324
967.62/967.68	o 54419
994.21/994.23	c 641.648 314.273 14505 17635802
994.21/994.23	o 54413
1030.51/1030.59	c 664.558 314.273 11189 18154774
1030.51/1030.59	o 54412
1040.72/1040.72	c 671.269 314.273 15485 18370414
1040.72/1040.72	o 54369
1062.01/1062.00	c 684.686 314.273 16996 18801047
1062.01/1062.00	o 54341
1071.22/1071.21	c 690.807 314.273 13019 19015547
1071.22/1071.21	o 54334
1105.53/1105.51	c 713.63 314.273 12343 19558095
1105.53/1105.51	o 54277
1120.62/1120.63	c 723.437 314.273 12484 19978241
1120.62/1120.63	o 54273
1134.13/1134.11	c 732.219 314.273 17410 20178408
1134.13/1134.11	o 54272
1142.32/1142.34	c 737.725 314.273 12183 20384347
1142.32/1142.34	o 54252
1156.42/1156.41	c 746.788 314.273 9054 20594710
1156.42/1156.41	o 54251
1183.42/1183.45	c 764.217 314.273 14008 20993662
1183.42/1183.45	o 54250
1204.03/1204.01	c 777.646 314.273 14866 21366280
1204.03/1204.01	o 54246
1211.03/1211.03	c 782.228 314.273 9235 21513429
1211.03/1211.03	o 54245
1221.92/1221.90	c 789.326 314.273 16186 21688539
1221.92/1221.90	o 54244
1278.82/1278.87	c 824.219 314.273 20797 22329201
1278.82/1278.87	o 54240
1302.92/1302.93	c 839.735 314.273 13868 22828993
1302.92/1302.93	o 54231
1325.72/1325.75	c 854.501 314.273 14847 23184361
1325.72/1325.75	o 54229
1341.32/1341.33	c 864.519 314.273 12764 23437684
1341.32/1341.33	o 54228
1341.72/1341.70	c 864.792 314.273 12823 23478552
1341.72/1341.70	o 54167
1342.92/1342.91	c 865.45 314.273 13269 23539002
1342.92/1342.91	o 54162
1368.13/1368.14	c 882.02 314.273 9232 23899961
1368.13/1368.14	o 54154
1389.03/1389.08	c 895.514 314.273 10375 24346287
1389.03/1389.08	o 54041
1430.32/1430.39	c 922.383 314.273 11093 24973730
1430.32/1430.39	o 54040
1457.93/1457.92	c 940.152 314.273 11849 25166734
1457.93/1457.92	o 54039
1750.14/1750.12	c 1133.07 320.332 18795 27654860
1750.14/1750.12	o 53978
1757.64/1757.67	c 1138.03 320.332 13026 27810997
1757.64/1757.67	o 53971
1770.54/1770.53	c 1146.16 320.332 9747 28097357
1770.54/1770.53	o 53970
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 -x641 -x642 -x643 x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 x680 -x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 x735 -x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 x746 -x747 -x748 -x749 x750 -x751 -x752 -x753 -x754 -x755 x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 x784 -x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 -x793 -x794 x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 x862 x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 x948 -x949 -x950 x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 x984 x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 x1011 -x1012 -x1013 -x1014 x1015 -x1016 -x1017 -x1018

Verifier Data 

OK	53970

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701441-1278540094/watcher-2701441-1278540094 -o /tmp/evaluation-result-2701441-1278540094/solver-2701441-1278540094 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701441-1278540094.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: 3.76 2.59 2.17 4/178 19939
/proc/meminfo: memFree=28488740/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=2280 CPUtime=0
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 276 0 0 0 0 0 0 0 25 0 1 0 22222780 2334720 195 4089446400 134512640 136421960 4293640832 18446744073709551615 135818481 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/19939/statm: 570 195 144 467 0 101 0

[startup+0.0327259 s]
/proc/loadavg: 3.76 2.59 2.17 4/178 19939
/proc/meminfo: memFree=28488740/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=2556 CPUtime=0.03
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 366 0 0 0 3 0 0 0 25 0 1 0 22222780 2617344 285 4089446400 134512640 136421960 4293640832 18446744073709551615 135155133 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/19939/statm: 639 285 144 467 0 170 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2556

[startup+0.100678 s]
/proc/loadavg: 3.76 2.59 2.17 4/178 19939
/proc/meminfo: memFree=28488740/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=3732 CPUtime=0.1
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 692 0 0 0 10 0 0 0 25 0 1 0 22222780 3821568 513 4089446400 134512640 136421960 4293640832 18446744073709551615 135311968 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/19939/statm: 933 513 144 467 0 464 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3732

[startup+0.300642 s]
/proc/loadavg: 3.76 2.59 2.17 4/178 19939
/proc/meminfo: memFree=28488740/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=5564 CPUtime=0.3
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 1280 0 0 0 30 0 0 0 25 0 1 0 22222780 5697536 972 4089446400 134512640 136421960 4293640832 18446744073709551615 135161806 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/19939/statm: 1391 972 145 467 0 922 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 5564

[startup+0.700571 s]
/proc/loadavg: 3.76 2.59 2.17 4/178 19939
/proc/meminfo: memFree=28488740/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=60112 CPUtime=0.69
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 14997 0 0 0 68 1 0 0 25 0 1 0 22222780 61554688 14521 4089446400 134512640 136421960 4293640832 18446744073709551615 134706995 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/19939/statm: 15028 14521 194 467 0 14559 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 60112

[startup+1.50043 s]
/proc/loadavg: 3.76 2.59 2.17 3/179 19940
/proc/meminfo: memFree=28360896/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=266640 CPUtime=1.49
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 69184 0 0 0 142 7 0 0 25 0 1 0 22222780 273039360 65777 4089446400 134512640 136421960 4293640832 18446744073709551615 135007829 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/19939/statm: 66660 65777 201 467 0 66191 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 266640

[startup+3.10021 s]
/proc/loadavg: 3.76 2.59 2.17 3/179 19940
/proc/meminfo: memFree=28219164/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=277904 CPUtime=3.09
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 71977 0 0 0 302 7 0 0 25 0 1 0 22222780 284573696 67618 4089446400 134512640 136421960 4293640832 18446744073709551615 135017052 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/19939/statm: 69476 67618 209 467 0 69007 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 277904

[startup+6.30058 s]
/proc/loadavg: 3.62 2.58 2.17 3/179 19940
/proc/meminfo: memFree=28212096/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=286872 CPUtime=6.29
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 74350 0 0 0 568 61 0 0 25 0 1 0 22222780 293756928 69127 4089446400 134512640 136421960 4293640832 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/19939/statm: 71718 69127 238 467 0 71249 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 286872

[startup+12.7004 s]
/proc/loadavg: 3.49 2.57 2.17 3/179 19940
/proc/meminfo: memFree=28208400/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=289908 CPUtime=12.69
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 75103 0 0 0 986 283 0 0 25 0 1 0 22222780 296865792 69877 4089446400 134512640 136421960 4293640832 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/19939/statm: 72477 69877 238 467 0 72008 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 289908

[startup+25.5002 s]
/proc/loadavg: 3.16 2.54 2.16 3/179 19941
/proc/meminfo: memFree=28201156/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=295476 CPUtime=25.49
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 76472 0 0 0 1844 705 0 0 25 0 1 0 22222780 302567424 71237 4089446400 134512640 136421960 4293640832 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/19939/statm: 73869 71237 238 467 0 73400 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 295476

[startup+51.1006 s]
/proc/loadavg: 2.76 2.49 2.16 3/179 19942
/proc/meminfo: memFree=28188628/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=307688 CPUtime=51.09
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 79524 0 0 0 3546 1563 0 0 25 0 1 0 22222780 315072512 74289 4089446400 134512640 136421960 4293640832 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/19939/statm: 76922 74289 238 467 0 76453 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 307688

[startup+102.307 s]
/proc/loadavg: 2.33 2.42 2.15 3/179 19943
/proc/meminfo: memFree=28185372/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=307688 CPUtime=102.3
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 79532 0 0 0 6862 3368 0 0 25 0 1 0 22222780 315072512 74290 4089446400 134512640 136421960 4293640832 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/19939/statm: 76922 74290 238 467 0 76453 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 307688

[startup+162.301 s]
/proc/loadavg: 2.12 2.34 2.14 3/179 19944
/proc/meminfo: memFree=28176008/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=307688 CPUtime=162.29
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 79540 0 0 0 10733 5496 0 0 25 0 1 0 22222780 315072512 74290 4089446400 134512640 136421960 4293640832 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/19939/statm: 76922 74290 238 467 0 76453 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 307688

[startup+222.3 s]
/proc/loadavg: 2.04 2.27 2.13 3/179 19946
/proc/meminfo: memFree=28168276/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=307688 CPUtime=222.29
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 79547 0 0 0 14533 7696 0 0 25 0 1 0 22222780 315072512 74290 4089446400 134512640 136421960 4293640832 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/19939/statm: 76922 74290 238 467 0 76453 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 307688

[startup+282.301 s]
/proc/loadavg: 2.01 2.22 2.11 3/179 19948
/proc/meminfo: memFree=28164516/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=307688 CPUtime=282.3
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 79553 0 0 0 18512 9718 0 0 25 0 1 0 22222780 315072512 74290 4089446400 134512640 136421960 4293640832 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/19939/statm: 76922 74290 238 467 0 76453 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 307688

[startup+342.301 s]
/proc/loadavg: 2.06 2.19 2.11 3/179 19950
/proc/meminfo: memFree=28159380/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=307688 CPUtime=342.3
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 79557 0 0 0 22304 11926 0 0 25 0 1 0 22222780 315072512 74290 4089446400 134512640 136421960 4293640832 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/19939/statm: 76922 74290 238 467 0 76453 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 307688

[startup+402.3 s]
/proc/loadavg: 2.02 2.16 2.10 3/179 19951
/proc/meminfo: memFree=28154128/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=307688 CPUtime=402.3
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 79563 0 0 0 26206 14024 0 0 25 0 1 0 22222780 315072512 74290 4089446400 134512640 136421960 4293640832 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/19939/statm: 76922 74290 238 467 0 76453 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 307688

[startup+462.301 s]
/proc/loadavg: 2.01 2.13 2.09 3/179 19952
/proc/meminfo: memFree=28146152/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=310328 CPUtime=462.31
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 80225 0 0 0 30023 16208 0 0 25 0 1 0 22222780 317775872 74949 4089446400 134512640 136421960 4293640832 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/19939/statm: 77582 74949 238 467 0 77113 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 310328

[startup+522.3 s]
/proc/loadavg: 2.05 2.11 2.09 3/179 19954
/proc/meminfo: memFree=28142004/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=310328 CPUtime=522.31
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 80228 0 0 0 33899 18332 0 0 25 0 1 0 22222780 317775872 74949 4089446400 134512640 136421960 4293640832 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/19939/statm: 77582 74949 238 467 0 77113 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 310328

[startup+582.301 s]
/proc/loadavg: 2.02 2.09 2.08 3/179 19956
/proc/meminfo: memFree=28136628/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=310328 CPUtime=582.31
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 80231 0 0 0 37767 20464 0 0 25 0 1 0 22222780 317775872 74949 4089446400 134512640 136421960 4293640832 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/19939/statm: 77582 74949 238 467 0 77113 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 310328

[startup+642.301 s]
/proc/loadavg: 2.00 2.07 2.08 3/179 19958
/proc/meminfo: memFree=28132136/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=310328 CPUtime=642.31
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 80234 0 0 0 41687 22544 0 0 25 0 1 0 22222780 317775872 74949 4089446400 134512640 136421960 4293640832 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/19939/statm: 77582 74949 238 467 0 77113 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 310328

[startup+702.3 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.03 2.06 3/179 19962
/proc/meminfo: memFree=28112804/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=321812 CPUtime=822.32
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 83125 0 0 0 53102 29130 0 0 25 0 1 0 22222780 329535488 77834 4089446400 134512640 136421960 4293640832 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/19939/statm: 80453 77834 238 467 0 79984 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 321812

[startup+882.3 s]
/proc/loadavg: 2.08 2.04 2.06 3/179 19964
/proc/meminfo: memFree=28110644/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=321812 CPUtime=882.31
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 83132 0 0 0 56979 31252 0 0 25 0 1 0 22222780 329535488 77835 4089446400 134512640 136421960 4293640832 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/19939/statm: 80453 77835 238 467 0 79984 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 321812

[startup+942.301 s]
/proc/loadavg: 2.03 2.03 2.05 3/179 19966
/proc/meminfo: memFree=28108992/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=321812 CPUtime=942.31
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 83133 0 0 0 60853 33378 0 0 25 0 1 0 22222780 329535488 77835 4089446400 134512640 136421960 4293640832 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/19939/statm: 80453 77835 238 467 0 79984 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 321812

[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/179 19967
/proc/meminfo: memFree=28106848/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=321812 CPUtime=1002.31
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 83136 0 0 0 64663 35568 0 0 25 0 1 0 22222780 329535488 77835 4089446400 134512640 136421960 4293640832 18446744073709551615 134859887 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/19939/statm: 80453 77835 238 467 0 79984 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 321812

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/179 19971
/proc/meminfo: memFree=28104508/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=321812 CPUtime=1062.32
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 83139 0 0 0 68491 37741 0 0 25 0 1 0 22222780 329535488 77835 4089446400 134512640 136421960 4293640832 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/19939/statm: 80453 77835 238 467 0 79984 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 321812

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/179 19973
/proc/meminfo: memFree=28102248/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=321812 CPUtime=1122.32
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 83142 0 0 0 72460 39772 0 0 25 0 1 0 22222780 329535488 77835 4089446400 134512640 136421960 4293640832 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/19939/statm: 80453 77835 238 467 0 79984 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 321812

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/179 19975
/proc/meminfo: memFree=28099984/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=321812 CPUtime=1182.32
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 83145 0 0 0 76343 41889 0 0 25 0 1 0 22222780 329535488 77835 4089446400 134512640 136421960 4293640832 18446744073709551615 134642064 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/19939/statm: 80453 77835 238 467 0 79984 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 321812

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/176 19981
/proc/meminfo: memFree=29786860/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=321812 CPUtime=1242.32
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 83149 0 0 0 80257 43975 0 0 25 0 1 0 22222780 329535488 77835 4089446400 134512640 136421960 4293640832 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/19939/statm: 80453 77835 238 467 0 79984 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 321812

[startup+1302.3 s]
/proc/loadavg: 1.93 1.97 2.01 3/179 20098
/proc/meminfo: memFree=29048924/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=321812 CPUtime=1302.33
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 83150 0 0 0 83934 46299 0 0 25 0 1 0 22222780 329535488 77835 4089446400 134512640 136421960 4293640832 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/19939/statm: 80453 77835 238 467 0 79984 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 321812

[startup+1362.3 s]
/proc/loadavg: 1.97 1.97 2.00 3/179 20099
/proc/meminfo: memFree=29032868/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=321812 CPUtime=1362.32
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 83157 0 0 0 87803 48429 0 0 25 0 1 0 22222780 329535488 77837 4089446400 134512640 136421960 4293640832 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/19939/statm: 80453 77837 238 467 0 79984 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 321812

[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 2.00 3/179 20101
/proc/meminfo: memFree=29019816/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=321812 CPUtime=1422.34
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 83159 0 0 0 91696 50538 0 0 25 0 1 0 22222780 329535488 77837 4089446400 134512640 136421960 4293640832 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/19939/statm: 80453 77837 238 467 0 79984 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 321812

[startup+1482.3 s]
/proc/loadavg: 2.04 1.99 2.00 3/179 20103
/proc/meminfo: memFree=29007484/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=321812 CPUtime=1482.33
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 83163 0 0 0 95745 52488 0 0 25 0 1 0 22222780 329535488 77839 4089446400 134512640 136421960 4293640832 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/19939/statm: 80453 77839 238 467 0 79984 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 321812

[startup+1542.3 s]
/proc/loadavg: 2.01 1.99 2.00 3/179 20105
/proc/meminfo: memFree=28993676/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=322604 CPUtime=1542.33
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 83372 0 0 0 99506 54727 0 0 25 0 1 0 22222780 330346496 78048 4089446400 134512640 136421960 4293640832 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/19939/statm: 80651 78048 238 467 0 80182 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 322604

[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 2.00 3/179 20106
/proc/meminfo: memFree=28977252/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=328016 CPUtime=1602.33
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 84717 0 0 0 103229 57004 0 0 25 0 1 0 22222780 335888384 79393 4089446400 134512640 136421960 4293640832 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/19939/statm: 82004 79393 238 467 0 81535 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 328016

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 2.00 3/179 20107
/proc/meminfo: memFree=28964192/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=328016 CPUtime=1662.34
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 84719 0 0 0 107192 59042 0 0 25 0 1 0 22222780 335888384 79395 4089446400 134512640 136421960 4293640832 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/19939/statm: 82004 79395 238 467 0 81535 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 328016

[startup+1722.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 20109
/proc/meminfo: memFree=28952860/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=328016 CPUtime=1722.34
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 84719 0 0 0 111375 60859 0 0 25 0 1 0 22222780 335888384 79395 4089446400 134512640 136421960 4293640832 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/19939/statm: 82004 79395 238 467 0 81535 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 328016

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 20111
/proc/meminfo: memFree=28940420/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=328016 CPUtime=1782.33
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 84722 0 0 0 115329 62904 0 0 25 0 1 0 22222780 335888384 79395 4089446400 134512640 136421960 4293640832 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/19939/statm: 82004 79395 238 467 0 81535 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 328016



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 20111
/proc/meminfo: memFree=28936932/32950928 swapFree=4192956/4192956
[pid=19939] ppid=19937 vsize=328016 CPUtime=1800.04
/proc/19939/stat : 19939 (pbct) R 19937 19939 16719 0 -1 4202496 84722 0 0 0 116461 63543 0 0 25 0 1 0 22222780 335888384 79395 4089446400 134512640 136421960 4293640832 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/19939/statm: 82004 79395 238 467 0 81535 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 328016

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.02
CPU time (s): 1800.06
CPU user time (s): 1164.62
CPU system time (s): 635.447
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 328016

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

runsolver used 2.67859 second user time and 5.9251 second system time

The end

Launcher Data 

Begin job on node124 at 2010-07-08 00:01:34
IDJOB=2701441
IDBENCH=79580
IDSOLVER=1208
FILE ID=node124/2701441-1278540094
PBS_JOBID= 11239230
Free space on /tmp= 130196 MiB

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

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

MD5SUM BENCH= 6fa6f4309c56d1f5de2d242aa329505b
RANDOM SEED=176564582

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      28489144 kB
Buffers:        145384 kB
Cached:        2524384 kB
SwapCached:          0 kB
Active:        2601164 kB
Inactive:      1738004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28489144 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            7048 kB
Writeback:           0 kB
AnonPages:     1668944 kB
Mapped:          15396 kB
Slab:            87368 kB
PageTables:       8044 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  20668420 kB
Committed_AS:  1905532 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    265212 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 130196 MiB
End job on node124 at 2010-07-08 00:31:36