Trace number 2701317

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB/CT 0.1 fixedMSAT (TO) 1800.08 1800.05

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/celar/
normalized-celar7-sub1_wcsp.wbo
MD5SUMffd43b20815bdb15a4cc4b3290fc84ae
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark233546
Best CPU time to get the best result obtained on this benchmark1800.08
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables616
Total number of constraints249748
Number of soft constraints249734
Number of constraints which are clauses249734
Number of constraints which are cardinality constraints (but not clauses)14
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint44
Top cost 39275680
Min constraint cost 1
Max constraint cost 1000000
Sum of constraints costs 19104596930
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
1.28/1.33	c constraints 14/0 clauses 0/249734 units 0
1.28/1.33	c vars 616
1.28/1.34	c Setting top cost 39275680
90.68/90.72	c 90.0523 1349.91 1 500435
90.68/90.72	o 33774553
91.19/91.28	c 90.4522 1385 1 750576
91.19/91.28	o 30704451
91.88/91.95	c 90.9102 1385 5 1076261
91.88/91.95	o 29773846
92.38/92.42	c 91.2151 1385 5 1326422
92.38/92.42	o 25533138
92.88/92.90	c 91.5451 1385 5 1571449
92.88/92.90	o 25512938
93.38/93.43	c 91.912 1385 5 1816497
93.38/93.43	o 25502834
93.98/94.07	c 92.361 1385 23 2097276
93.98/94.07	o 24593340
94.48/94.60	c 92.7269 1385 23 2347381
94.48/94.60	o 14713543
95.08/95.14	c 93.0968 1385 23 2597543
95.08/95.14	o 10623543
95.69/95.71	c 93.4738 1385 27 2850796
95.69/95.71	o 9713241
96.18/96.24	c 93.8267 1385 27 3083006
96.18/96.24	o 9592538
96.68/96.79	c 94.2067 1385 27 3333144
96.68/96.79	o 8592643
97.28/97.34	c 94.5746 1385 27 3583316
97.28/97.34	o 7562735
97.78/97.89	c 94.9636 1385 27 3833440
97.78/97.89	o 6642941
98.38/98.41	c 95.3185 1385 27 4083587
98.38/98.41	o 3623041
98.88/98.90	c 95.6635 1385 27 4333748
98.88/98.91	o 2572945
99.38/99.42	c 96.0374 1385.13 33 4573140
99.38/99.42	o 2553043
100.28/100.39	c 96.7073 1385.76 133 4814183
100.28/100.39	o 2503035
100.98/101.06	c 97.1982 1386.26 157 4975754
100.98/101.06	o 2503032
101.48/101.59	c 97.5752 1386.39 158 5207942
101.48/101.59	o 2383938
103.38/103.44	c 98.914 1386.14 606 5465373
103.38/103.44	o 1542543
104.98/105.07	c 100.076 1386.41 711 5702346
104.98/105.07	o 1522534
105.49/105.56	c 100.419 1386.05 735 5843004
105.49/105.56	o 1513036
106.08/106.13	c 100.839 1386.07 753 5979316
106.08/106.13	o 1512734
106.58/106.67	c 101.199 1386.1 753 6211321
106.58/106.67	o 1432633
107.18/107.25	c 101.607 1386.12 804 6356932
107.18/107.25	o 1422736
114.18/114.26	c 106.721 1386.8 3521 6780679
114.18/114.26	o 1383335
154.48/154.57	c 136.316 1391.09 16105 7867119
154.48/154.57	o 1383141
176.08/176.11	c 152.217 1393.07 20788 8424814
176.08/176.11	o 1363244
190.19/190.29	c 162.63 1393.86 24066 8806098
190.19/190.29	o 1362943
322.78/322.86	c 257.996 1399.83 39816 9538569
322.78/322.86	o 1353438
327.98/328.04	c 261.817 1400.38 41804 9812852
327.98/328.04	o 1353345
329.48/329.51	c 262.923 1400.41 42317 9997110
329.48/329.51	o 1343652
339.18/339.25	c 270.008 1400.97 44136 10231564
339.18/339.25	o 1343141
366.48/366.59	c 289.99 1402.82 47694 10531342
366.48/366.59	o 1343140
413.68/413.70	c 324.234 1404.66 57801 11195430
413.68/413.70	o 1323543
416.38/416.41	c 326.178 1404.71 57941 11333298
416.38/416.41	o 1323349
428.89/428.98	c 335.321 1405.29 59095 11521825
428.89/428.98	o 1313748
435.08/435.12	c 339.783 1405.51 60008 11705061
435.08/435.12	o 1313044
436.49/436.56	c 340.831 1405.7 60359 11979362
436.49/436.56	o 1302949
571.09/571.13	c 440.303 1415.79 98237 13883934
571.09/571.13	o 573336
571.69/571.76	c 440.8 1415.79 14660 14115827
571.69/571.77	o 553137
572.29/572.35	c 441.215 1415.79 14660 14347725
572.29/572.35	o 543134
572.88/572.91	c 441.637 1415.79 14660 14579627
572.88/572.91	o 523334
573.49/573.53	c 442.083 1415.79 14661 14752645
573.49/573.53	o 523137
573.99/574.09	c 442.491 1415.79 14661 14984542
573.99/574.09	o 503337
574.68/574.76	c 442.987 1415.79 14663 15180899
574.68/574.76	o 503236
575.69/575.71	c 443.714 1415.79 14763 15424378
575.69/575.71	o 433039
576.29/576.31	c 444.158 1415.79 14809 15580432
576.29/576.31	o 432431
577.39/577.43	c 444.962 1415.79 14913 15721504
577.39/577.43	o 423241
579.09/579.15	c 446.242 1415.79 15054 15873619
579.09/579.15	o 413440
581.09/581.10	c 447.679 1415.79 15158 16112436
581.09/581.10	o 402733
581.89/581.95	c 448.306 1415.79 15264 16255254
581.89/581.95	o 402436
582.68/582.79	c 448.926 1415.79 15405 16400581
582.68/582.79	o 393244
585.49/585.52	c 450.978 1415.79 16164 16614429
585.49/585.52	o 392938
589.49/589.51	c 453.942 1415.79 7742 16900197
589.49/589.51	o 373144
597.69/597.70	c 459.774 1415.79 9124 17075408
597.69/597.70	o 363542
600.49/600.53	c 461.93 1415.79 10134 17389723
600.49/600.53	o 343540
601.39/601.48	c 462.633 1415.79 10248 17473531
601.39/601.48	o 343440
602.58/602.69	c 463.573 1415.79 10565 17648095
602.58/602.69	o 343043
603.39/603.46	c 464.114 1415.79 10600 17787010
603.39/603.46	o 333543
617.18/617.24	c 474.306 1415.79 15481 18193593
617.18/617.24	o 333541
618.20/618.27	c 475.046 1415.79 15597 18486726
618.20/618.27	o 323242
626.99/627.01	c 481.719 1415.79 19370 18885086
626.99/627.01	o 323241
630.30/630.36	c 484.219 1415.79 20023 19109395
630.30/630.36	o 313545
630.78/630.87	c 484.592 1415.79 20087 19248212
630.78/630.87	o 313241
631.49/631.51	c 485.073 1415.79 20342 19389405
631.49/631.51	o 313140
642.69/642.70	c 493.791 1415.79 29043 19963141
642.69/642.70	o 313034
645.19/645.22	c 495.689 1415.79 29952 20118713
645.19/645.22	o 312947
668.89/668.96	c 513.32 1415.79 36938 20733665
668.89/668.96	o 312843
712.48/712.50	c 546.615 1415.79 56700 22187264
712.48/712.50	o 302832
824.09/824.14	c 629.059 1415.79 83989 23251575
824.09/824.14	o 301737
829.89/829.97	c 633.442 1415.79 86145 23567920
829.89/829.97	o 292636
834.09/834.14	c 635.841 1415.79 88087 24027972
834.09/834.14	o 273142
845.99/846.09	c 641.218 1415.79 92293 24588555
845.99/846.09	o 262540
897.10/897.11	c 664.724 1415.79 20463 25749174
897.10/897.11	o 253248
908.79/908.84	c 671.228 1415.79 25492 26141315
908.79/908.84	o 253247
956.30/956.38	c 692.731 1415.79 41483 27048308
956.30/956.38	o 253243
967.80/967.84	c 698.951 1415.79 44315 27319132
967.80/967.84	o 252639
1088.20/1088.20	c 759.773 1415.79 98344 30289999
1088.20/1088.20	o 251840
1122.60/1122.61	c 778.563 1415.79 26886 31642907
1122.60/1122.61	o 243348
1178.70/1178.78	c 808.414 1415.79 54561 33030603
1178.70/1178.78	o 243141
1270.80/1270.87	c 855.785 1415.79 83205 34660109
1270.80/1270.87	o 242535
1289.60/1289.61	c 864.692 1415.79 89498 35173300
1289.60/1289.61	o 233546
1800.03/1800.00	s SATISFIABLE
1800.03/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

Verifier Data 

OK	233546

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 18878
/proc/meminfo: memFree=28540400/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=2136 CPUtime=0
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 267 0 0 0 0 0 0 0 25 0 1 0 22143107 2187264 186 4089446400 134512640 136422188 4289114992 18446744073709551615 135873822 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18878/statm: 534 186 144 467 0 65 0

[startup+0.093854 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 18878
/proc/meminfo: memFree=28540400/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=3732 CPUtime=0.09
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 676 0 0 0 9 0 0 0 25 0 1 0 22143107 3821568 497 4089446400 134512640 136422188 4289114992 18446744073709551615 135152367 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18878/statm: 933 497 144 467 0 464 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3732

[startup+0.100853 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 18878
/proc/meminfo: memFree=28540400/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=3732 CPUtime=0.1
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 681 0 0 0 10 0 0 0 25 0 1 0 22143107 3821568 502 4089446400 134512640 136422188 4289114992 18446744073709551615 135380716 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18878/statm: 933 502 144 467 0 464 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3732

[startup+0.300818 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 18878
/proc/meminfo: memFree=28540400/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=5828 CPUtime=0.29
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 1384 0 0 0 29 0 0 0 25 0 1 0 22143107 5967872 1076 4089446400 134512640 136422188 4289114992 18446744073709551615 135160492 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18878/statm: 1457 1076 144 467 0 988 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5828

[startup+0.700745 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 18878
/proc/meminfo: memFree=28540400/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=14444 CPUtime=0.69
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 3818 0 0 0 69 0 0 0 25 0 1 0 22143107 14790656 2740 4089446400 134512640 136422188 4289114992 18446744073709551615 135524561 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18878/statm: 3611 2740 144 467 0 3142 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14444

[startup+1.5006 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 18879
/proc/meminfo: memFree=28528628/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=55144 CPUtime=1.48
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 14215 0 0 0 147 1 0 0 25 0 1 0 22143107 56467456 13137 4089446400 134512640 136422188 4289114992 18446744073709551615 135801512 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18878/statm: 13786 13137 195 467 0 13317 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 55144

[startup+3.10038 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 18879
/proc/meminfo: memFree=28353664/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=402172 CPUtime=3.09
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 105932 0 0 0 296 13 0 0 25 0 1 0 22143107 411824128 98446 4089446400 134512640 136422188 4289114992 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18878/statm: 100543 98450 195 467 0 100074 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 402172

[startup+6.30076 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 18879
/proc/meminfo: memFree=27689392/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=1136608 CPUtime=6.29
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 300333 0 0 0 588 41 0 0 25 0 1 0 22143107 1163886592 275326 4089446400 134512640 136422188 4289114992 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18878/statm: 284152 275337 196 467 0 283683 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1136608

[startup+12.7007 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 18879
/proc/meminfo: memFree=27241744/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=1342344 CPUtime=12.69
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 353046 0 0 0 1222 47 0 0 25 0 1 0 22143107 1374560256 324426 4089446400 134512640 136422188 4289114992 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18878/statm: 335586 324426 211 467 0 335117 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1342344

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 18880
/proc/meminfo: memFree=27235624/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=1349148 CPUtime=25.49
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 354760 0 0 0 2502 47 0 0 25 0 1 0 22143107 1381527552 326140 4089446400 134512640 136422188 4289114992 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18878/statm: 337287 326140 211 467 0 336818 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1349148

[startup+51.1009 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 18881
/proc/meminfo: memFree=27228756/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=1355616 CPUtime=51.09
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 356371 0 0 0 5061 48 0 0 25 0 1 0 22143107 1388150784 327751 4089446400 134512640 136422188 4289114992 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/18878/statm: 338904 327751 211 467 0 338435 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1355616

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 18882
/proc/meminfo: memFree=27197480/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=1419660 CPUtime=102.28
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 374176 0 0 0 9815 413 0 0 25 0 1 0 22143107 1453731840 335379 4089446400 134512640 136422188 4289114992 18446744073709551615 135160832 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18878/statm: 354915 335379 239 467 0 354446 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1419660

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 18883
/proc/meminfo: memFree=27192196/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=1425268 CPUtime=162.28
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 380094 0 0 0 14211 2017 0 0 25 0 1 0 22143107 1459474432 336772 4089446400 134512640 136422188 4289114992 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18878/statm: 356317 336772 239 467 0 355848 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 1425268

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 18885
/proc/meminfo: memFree=27187436/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=1427576 CPUtime=222.28
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 381480 0 0 0 18604 3624 0 0 25 0 1 0 22143107 1461837824 337367 4089446400 134512640 136422188 4289114992 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18878/statm: 356894 337367 239 467 0 356425 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 1427576

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 18887
/proc/meminfo: memFree=27185540/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=1430084 CPUtime=282.28
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 382093 0 0 0 22918 5310 0 0 25 0 1 0 22143107 1464406016 337980 4089446400 134512640 136422188 4289114992 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18878/statm: 357521 337980 239 467 0 357052 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 1430084

[startup+342.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/197 18889
/proc/meminfo: memFree=27180272/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=1434588 CPUtime=342.28
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 385143 0 0 0 27218 7010 0 0 25 0 1 0 22143107 1469018112 339149 4089446400 134512640 136422188 4289114992 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18878/statm: 358647 339149 239 467 0 358178 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 1434588

[startup+402.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/197 18890
/proc/meminfo: memFree=27177388/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=1437660 CPUtime=402.28
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 387330 0 0 0 31611 8617 0 0 25 0 1 0 22143107 1472163840 339964 4089446400 134512640 136422188 4289114992 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18878/statm: 359415 339964 239 467 0 358946 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 1437660

[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/197 18891
/proc/meminfo: memFree=27174360/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=1440892 CPUtime=462.28
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 392361 0 0 0 35958 10270 0 0 25 0 1 0 22143107 1475473408 340772 4089446400 134512640 136422188 4289114992 18446744073709551615 135024008 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18878/statm: 360223 340772 239 467 0 359754 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 1440892

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 18893
/proc/meminfo: memFree=27167644/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=1447456 CPUtime=522.29
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 394979 0 0 0 40518 11711 0 0 25 0 1 0 22143107 1482194944 342430 4089446400 134512640 136422188 4289114992 18446744073709551615 135160832 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18878/statm: 361864 342430 239 467 0 361395 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 1447456

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 18895
/proc/meminfo: memFree=27164836/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=1449764 CPUtime=582.29
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 396164 0 0 0 44857 13372 0 0 25 0 1 0 22143107 1484558336 342980 4089446400 134512640 136422188 4289114992 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18878/statm: 362441 342980 239 467 0 361972 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 1449764

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 18897
/proc/meminfo: memFree=27164764/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=1449764 CPUtime=642.29
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 396179 0 0 0 49349 14880 0 0 25 0 1 0 22143107 1484558336 342981 4089446400 134512640 136422188 4289114992 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18878/statm: 362441 342981 239 467 0 361972 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 1449764

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 18910
/proc/meminfo: memFree=27165248/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=1449764 CPUtime=822.29
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 396183 0 0 0 62771 19458 0 0 25 0 1 0 22143107 1484558336 342981 4089446400 134512640 136422188 4289114992 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18878/statm: 362441 342981 239 467 0 361972 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 1449764

[startup+882.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/196 18959
/proc/meminfo: memFree=27646248/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=1449764 CPUtime=882.29
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 396191 0 0 0 65758 22471 0 0 25 0 1 0 22143107 1484558336 342985 4089446400 134512640 136422188 4289114992 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18878/statm: 362441 342985 239 467 0 361972 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 1449764

[startup+942.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/196 18961
/proc/meminfo: memFree=27571248/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=1449764 CPUtime=942.29
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 396193 0 0 0 68562 25667 0 0 25 0 1 0 22143107 1484558336 342985 4089446400 134512640 136422188 4289114992 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18878/statm: 362441 342985 239 467 0 361972 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 1449764

[startup+1002.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/179 19112
/proc/meminfo: memFree=27879668/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=1449764 CPUtime=1002.3
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 396195 0 0 0 71713 28517 0 0 25 0 1 0 22143107 1484558336 342985 4089446400 134512640 136422188 4289114992 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18878/statm: 362441 342985 239 467 0 361972 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 1449764

[startup+1062.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 19113
/proc/meminfo: memFree=27874864/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=1449764 CPUtime=1062.3
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 396195 0 0 0 74692 31538 0 0 25 0 1 0 22143107 1484558336 342985 4089446400 134512640 136422188 4289114992 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18878/statm: 362441 342985 239 467 0 361972 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 1449764

[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 19115
/proc/meminfo: memFree=27874060/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=1449764 CPUtime=1122.3
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 396196 0 0 0 77837 34393 0 0 25 0 1 0 22143107 1484558336 342985 4089446400 134512640 136422188 4289114992 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18878/statm: 362441 342985 239 467 0 361972 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 1449764

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 19117
/proc/meminfo: memFree=27863612/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=1449764 CPUtime=1182.3
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 396198 0 0 0 81032 37198 0 0 25 0 1 0 22143107 1484558336 342985 4089446400 134512640 136422188 4289114992 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18878/statm: 362441 342985 239 467 0 361972 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 1449764

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 19119
/proc/meminfo: memFree=27863548/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=1449764 CPUtime=1242.31
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 396198 0 0 0 84120 40111 0 0 25 0 1 0 22143107 1484558336 342985 4089446400 134512640 136422188 4289114992 18446744073709551615 134870615 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18878/statm: 362441 342985 239 467 0 361972 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 1449764

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19120
/proc/meminfo: memFree=27863356/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=1449764 CPUtime=1302.31
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 396200 0 0 0 87063 43168 0 0 25 0 1 0 22143107 1484558336 342985 4089446400 134512640 136422188 4289114992 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18878/statm: 362441 342985 239 467 0 361972 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 1449764

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19121
/proc/meminfo: memFree=27863808/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=1449764 CPUtime=1362.3
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 396201 0 0 0 89779 46451 0 0 25 0 1 0 22143107 1484558336 342986 4089446400 134512640 136422188 4289114992 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18878/statm: 362441 342986 239 467 0 361972 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 1449764

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19123
/proc/meminfo: memFree=27863620/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=1449764 CPUtime=1422.31
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 396201 0 0 0 92691 49540 0 0 25 0 1 0 22143107 1484558336 342986 4089446400 134512640 136422188 4289114992 18446744073709551615 135006440 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18878/statm: 362441 342986 239 467 0 361972 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 1449764

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19125
/proc/meminfo: memFree=27863696/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=1449764 CPUtime=1482.31
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 396201 0 0 0 95927 52304 0 0 25 0 1 0 22143107 1484558336 342986 4089446400 134512640 136422188 4289114992 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18878/statm: 362441 342986 239 467 0 361972 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 1449764

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19127
/proc/meminfo: memFree=27863856/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=1449764 CPUtime=1542.31
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 396213 0 0 0 99034 55197 0 0 25 0 1 0 22143107 1484558336 342998 4089446400 134512640 136422188 4289114992 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18878/statm: 362441 342998 239 467 0 361972 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 1449764

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19128
/proc/meminfo: memFree=27863708/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=1450292 CPUtime=1602.31
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 396335 0 0 0 102037 58194 0 0 25 0 1 0 22143107 1485099008 343120 4089446400 134512640 136422188 4289114992 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18878/statm: 362573 343120 239 467 0 362104 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 1450292

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19129
/proc/meminfo: memFree=27863748/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=1450292 CPUtime=1662.31
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 396335 0 0 0 105011 61220 0 0 25 0 1 0 22143107 1485099008 343120 4089446400 134512640 136422188 4289114992 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18878/statm: 362573 343120 239 467 0 362104 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 1450292

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19131
/proc/meminfo: memFree=27863840/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=1450292 CPUtime=1722.32
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 396335 0 0 0 108057 64175 0 0 25 0 1 0 22143107 1485099008 343120 4089446400 134512640 136422188 4289114992 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18878/statm: 362573 343120 239 467 0 362104 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 1450292

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19133
/proc/meminfo: memFree=27863792/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=1450292 CPUtime=1782.32
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 396335 0 0 0 111010 67222 0 0 25 0 1 0 22143107 1485099008 343120 4089446400 134512640 136422188 4289114992 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18878/statm: 362573 343120 239 467 0 362104 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 1450292



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19133
/proc/meminfo: memFree=27863528/32950928 swapFree=67111528/67111528
[pid=18878] ppid=18876 vsize=1450292 CPUtime=1800.03
/proc/18878/stat : 18878 (pbct) R 18876 18878 17264 0 -1 4202496 396335 0 0 0 111897 68106 0 0 25 0 1 0 22143107 1485099008 343120 4089446400 134512640 136422188 4289114992 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18878/statm: 362573 343120 239 467 0 362104 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1450292

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.05
CPU time (s): 1800.08
CPU user time (s): 1118.97
CPU system time (s): 681.108
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 1451828

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

runsolver used 3.21051 second user time and 6.33704 second system time

The end

Launcher Data 

Begin job on node125 at 2010-07-07 23:48:13
IDJOB=2701317
IDBENCH=79559
IDSOLVER=1212
FILE ID=node125/2701317-1278539293
PBS_JOBID= 11239227
Free space on /tmp= 73524 MiB

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

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

MD5SUM BENCH= ffd43b20815bdb15a4cc4b3290fc84ae
RANDOM SEED=365377467

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      28540928 kB
Buffers:        119804 kB
Cached:        3253548 kB
SwapCached:          0 kB
Active:        1719780 kB
Inactive:      2544668 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28540928 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            9300 kB
Writeback:           0 kB
AnonPages:      890672 kB
Mapped:          20348 kB
Slab:            79496 kB
PageTables:       6820 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1657324 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= 73532 MiB
End job on node125 at 2010-07-08 00:18:15