Trace number 2701707

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 fixedOPTIMUM 731.732 731.723

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/pedigree/
normalized-pedck60-L2_wcsp.wbo
MD5SUMa154904367c42b9bf10cdf781e825b6c
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark9.90549
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables600
Total number of constraints36582
Number of soft constraints36522
Number of constraints which are clauses36522
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint10
Top cost 59
Min constraint cost 1
Max constraint cost 59
Sum of constraints costs 2124522
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 11
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.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.19/0.26	c constraints 60/0 clauses 0/36522 units 0
0.19/0.26	c vars 600
0.19/0.26	c Setting top cost 59
1.19/1.23	c 1.12883 205.312 1 37221
1.19/1.23	o 58
1.39/1.44	c 1.2968 210.742 130 38556
1.39/1.44	o 53
1.49/1.56	c 1.40179 210.742 275 41563
1.49/1.56	o 49
2.29/2.34	c 2.14667 210.871 852 45150
2.29/2.34	o 48
2.29/2.35	c 2.15467 210.871 884 46339
2.29/2.35	o 44
2.79/2.82	c 2.6106 211 1365 50511
2.79/2.82	o 43
2.89/2.96	c 2.74858 211 1525 52708
2.89/2.96	o 42
2.99/3.07	c 2.84557 211 1614 53510
2.99/3.07	o 41
4.59/4.69	c 4.39033 211.258 2888 63437
4.59/4.69	o 40
4.89/4.91	c 4.5973 211.258 3106 65872
4.89/4.91	o 39
5.39/5.43	c 5.10222 211.387 3566 69897
5.39/5.43	o 38
13.29/13.33	c 12.7171 212.418 8737 99335
13.29/13.33	o 37
13.69/13.75	c 13.107 212.418 9122 102532
13.69/13.75	o 36
13.79/13.83	c 13.185 212.547 9202 103476
13.79/13.83	o 35
20.29/20.33	c 19.434 213.32 13471 122006
20.29/20.33	o 34
29.59/29.65	c 28.3937 214.625 20011 156799
29.59/29.65	o 33
29.70/29.72	c 28.4677 214.625 20037 157483
29.70/29.72	o 32
31.49/31.56	c 30.2544 214.754 21285 165525
31.49/31.56	o 31
36.59/36.61	c 35.1387 215.398 24731 183656
36.59/36.61	o 30
44.19/44.26	c 42.5365 216.137 28397 195446
44.19/44.26	o 29
49.79/49.87	c 47.9007 216.91 32286 217222
49.79/49.87	o 28
59.79/59.89	c 57.5932 218.07 38883 244464
59.79/59.89	o 27
59.90/59.95	c 57.6502 218.07 38970 245575
59.90/59.95	o 26
62.89/62.99	c 60.5808 218.457 40677 254256
62.89/62.99	o 25
79.79/79.86	c 76.9503 220.051 14817 285507
79.79/79.86	o 24
79.79/79.87	c 76.9573 220.051 14820 285902
79.79/79.87	o 23
81.50/81.50	c 78.5221 220.051 15665 291018
81.50/81.50	o 22
92.49/92.59	c 89.3674 220.051 22344 320119
92.49/92.59	o 21
92.99/93.06	c 89.8233 220.051 22549 321214
92.99/93.06	o 20
102.39/102.42	c 99.0559 220.051 28048 333339
102.39/102.42	o 19
102.99/103.03	c 99.6559 220.051 28319 335650
102.99/103.03	o 18
118.09/118.20	c 114.505 220.051 36361 365847
118.09/118.20	o 17
148.40/148.41	c 144.038 220.051 17525 427750
148.40/148.41	o 16
154.39/154.44	c 149.907 220.051 20474 437699
154.39/154.44	o 15
185.49/185.57	c 180.481 220.051 32977 473839
185.49/185.57	o 14
208.00/208.01	c 202.458 220.051 42164 505820
208.00/208.01	o 13
300.69/300.79	c 293.212 220.051 15809 633966
300.69/300.79	o 12
353.00/353.05	c 344.574 220.051 41759 711050
353.00/353.05	o 11
359.99/360.03	c 351.424 220.051 45212 721829
359.99/360.03	o 10
631.60/631.63	c 614.975 220.051 47207 1018221
631.60/631.63	o 9
646.10/646.10	c 628.881 220.051 17365 1033478
646.10/646.10	o 8
646.90/646.95	c 629.691 220.051 17596 1034656
646.90/646.95	o 7
654.80/654.82	c 637.27 220.051 20228 1042372
654.80/654.82	o 6
717.20/717.28	c 697.49 220.051 37850 1093711
717.20/717.28	o 5
717.60/717.60	c 697.792 220.051 37916 1094059
717.60/717.60	o 4
722.60/722.62	c 702.669 220.051 39084 1098186
722.60/722.62	o 3
729.70/729.77	c 709.523 220.051 40298 1103676
729.70/729.77	o 2
731.10/731.18	c 710.87 220.051 40469 1104739
731.10/731.18	s OPTIMUM FOUND
731.10/731.18	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

Verifier Data 

OK	2

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701707-1278541280/watcher-2701707-1278541280 -o /tmp/evaluation-result-2701707-1278541280/solver-2701707-1278541280 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701707-1278541280.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.94 2.29 2.06 4/196 18106
/proc/meminfo: memFree=28260124/32951124 swapFree=67111528/67111528
[pid=18106] ppid=18104 vsize=2136 CPUtime=0
/proc/18106/stat : 18106 (pbct) R 18104 18106 16390 0 -1 4202496 268 0 0 0 0 0 0 0 25 0 1 0 22341135 2187264 188 4089446400 134512640 136422188 4288021088 18446744073709551615 135372822 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18106/statm: 534 188 144 467 0 65 0

[startup+0.0726491 s]
/proc/loadavg: 2.94 2.29 2.06 4/196 18106
/proc/meminfo: memFree=28260124/32951124 swapFree=67111528/67111528
[pid=18106] ppid=18104 vsize=2924 CPUtime=0.07
/proc/18106/stat : 18106 (pbct) R 18104 18106 16390 0 -1 4202496 456 0 0 0 7 0 0 0 25 0 1 0 22341135 2994176 343 4089446400 134512640 136422188 4288021088 18446744073709551615 134537361 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18106/statm: 731 343 144 467 0 262 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2924

[startup+0.100651 s]
/proc/loadavg: 2.94 2.29 2.06 4/196 18106
/proc/meminfo: memFree=28260124/32951124 swapFree=67111528/67111528
[pid=18106] ppid=18104 vsize=3056 CPUtime=0.09
/proc/18106/stat : 18106 (pbct) R 18104 18106 16390 0 -1 4202496 510 0 0 0 9 0 0 0 25 0 1 0 22341135 3129344 397 4089446400 134512640 136422188 4288021088 18446744073709551615 135159102 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18106/statm: 764 397 144 467 0 295 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3056

[startup+0.300604 s]
/proc/loadavg: 2.94 2.29 2.06 4/196 18106
/proc/meminfo: memFree=28260124/32951124 swapFree=67111528/67111528
[pid=18106] ppid=18104 vsize=14768 CPUtime=0.29
/proc/18106/stat : 18106 (pbct) R 18104 18106 16390 0 -1 4202496 3471 0 0 0 29 0 0 0 25 0 1 0 22341135 15122432 3164 4089446400 134512640 136422188 4288021088 18446744073709551615 135650321 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18106/statm: 3692 3165 195 467 0 3223 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14768

[startup+0.700536 s]
/proc/loadavg: 2.94 2.29 2.06 4/196 18106
/proc/meminfo: memFree=28260124/32951124 swapFree=67111528/67111528
[pid=18106] ppid=18104 vsize=105412 CPUtime=0.69
/proc/18106/stat : 18106 (pbct) R 18104 18106 16390 0 -1 4202496 26896 0 0 0 66 3 0 0 25 0 1 0 22341135 107941888 25594 4089446400 134512640 136422188 4288021088 18446744073709551615 134632651 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18106/statm: 26353 25594 195 467 0 25884 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 105412

[startup+1.50039 s]
/proc/loadavg: 2.94 2.29 2.06 3/197 18107
/proc/meminfo: memFree=28072628/32951124 swapFree=67111528/67111528
[pid=18106] ppid=18104 vsize=215796 CPUtime=1.49
/proc/18106/stat : 18106 (pbct) R 18104 18106 16390 0 -1 4202496 55389 0 0 0 134 15 0 0 25 0 1 0 22341135 220975104 50886 4089446400 134512640 136422188 4288021088 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18106/statm: 53949 50886 238 467 0 53480 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 215796

[startup+3.10011 s]
/proc/loadavg: 2.94 2.29 2.06 3/197 18107
/proc/meminfo: memFree=28056136/32951124 swapFree=67111528/67111528
[pid=18106] ppid=18104 vsize=216060 CPUtime=3.09
/proc/18106/stat : 18106 (pbct) R 18104 18106 16390 0 -1 4202496 55481 0 0 0 287 22 0 0 25 0 1 0 22341135 221245440 50972 4089446400 134512640 136422188 4288021088 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18106/statm: 54015 50972 238 467 0 53546 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 216060

[startup+6.30055 s]
/proc/loadavg: 2.87 2.28 2.06 3/197 18107
/proc/meminfo: memFree=28056512/32951124 swapFree=67111528/67111528
[pid=18106] ppid=18104 vsize=216588 CPUtime=6.29
/proc/18106/stat : 18106 (pbct) R 18104 18106 16390 0 -1 4202496 55607 0 0 0 592 37 0 0 25 0 1 0 22341135 221786112 51095 4089446400 134512640 136422188 4288021088 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18106/statm: 54147 51095 238 467 0 53678 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 216588

[startup+12.7004 s]
/proc/loadavg: 2.80 2.28 2.06 3/197 18107
/proc/meminfo: memFree=28056368/32951124 swapFree=67111528/67111528
[pid=18106] ppid=18104 vsize=217380 CPUtime=12.69
/proc/18106/stat : 18106 (pbct) R 18104 18106 16390 0 -1 4202496 55818 0 0 0 1210 59 0 0 25 0 1 0 22341135 222597120 51306 4089446400 134512640 136422188 4288021088 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18106/statm: 54345 51306 238 467 0 53876 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 217380

[startup+25.5002 s]
/proc/loadavg: 2.62 2.26 2.06 3/197 18108
/proc/meminfo: memFree=28054808/32951124 swapFree=67111528/67111528
[pid=18106] ppid=18104 vsize=219228 CPUtime=25.49
/proc/18106/stat : 18106 (pbct) R 18104 18106 16390 0 -1 4202496 56271 0 0 0 2441 108 0 0 25 0 1 0 22341135 224489472 51755 4089446400 134512640 136422188 4288021088 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18106/statm: 54807 51755 238 467 0 54338 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 219228

[startup+51.1007 s]
/proc/loadavg: 2.41 2.24 2.06 3/197 18109
/proc/meminfo: memFree=28052016/32951124 swapFree=67111528/67111528
[pid=18106] ppid=18104 vsize=222244 CPUtime=51.09
/proc/18106/stat : 18106 (pbct) R 18104 18106 16390 0 -1 4202496 57024 0 0 0 4908 201 0 0 25 0 1 0 22341135 227577856 52502 4089446400 134512640 136422188 4288021088 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18106/statm: 55561 52502 238 467 0 55092 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 222244

[startup+102.306 s]
/proc/loadavg: 2.18 2.20 2.05 3/197 18111
/proc/meminfo: memFree=28048884/32951124 swapFree=67111528/67111528
[pid=18106] ppid=18104 vsize=225328 CPUtime=102.3
/proc/18106/stat : 18106 (pbct) R 18104 18106 16390 0 -1 4202496 57813 0 0 0 9893 337 0 0 25 0 1 0 22341135 230735872 53283 4089446400 134512640 136422188 4288021088 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18106/statm: 56332 53283 238 467 0 55863 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 225328

[startup+162.3 s]
/proc/loadavg: 2.14 2.19 2.06 3/197 18111
/proc/meminfo: memFree=28048692/32951124 swapFree=67111528/67111528
[pid=18106] ppid=18104 vsize=225328 CPUtime=162.3
/proc/18106/stat : 18106 (pbct) R 18104 18106 16390 0 -1 4202496 57818 0 0 0 15762 468 0 0 25 0 1 0 22341135 230735872 53283 4089446400 134512640 136422188 4288021088 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18106/statm: 56332 53283 238 467 0 55863 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 225328

[startup+222.301 s]
/proc/loadavg: 2.05 2.15 2.05 3/197 18113
/proc/meminfo: memFree=28048756/32951124 swapFree=67111528/67111528
[pid=18106] ppid=18104 vsize=225328 CPUtime=222.3
/proc/18106/stat : 18106 (pbct) R 18104 18106 16390 0 -1 4202496 57820 0 0 0 21647 583 0 0 25 0 1 0 22341135 230735872 53283 4089446400 134512640 136422188 4288021088 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18106/statm: 56332 53283 238 467 0 55863 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 225328

[startup+282.301 s]
/proc/loadavg: 2.02 2.12 2.04 3/197 18115
/proc/meminfo: memFree=28030224/32951124 swapFree=67111528/67111528
[pid=18106] ppid=18104 vsize=225328 CPUtime=282.29
/proc/18106/stat : 18106 (pbct) R 18104 18106 16390 0 -1 4202496 57820 0 0 0 27520 709 0 0 25 0 1 0 22341135 230735872 53283 4089446400 134512640 136422188 4288021088 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18106/statm: 56332 53283 238 467 0 55863 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 225328

[startup+342.3 s]
/proc/loadavg: 2.00 2.10 2.04 3/197 18117
/proc/meminfo: memFree=27930740/32951124 swapFree=67111528/67111528
[pid=18106] ppid=18104 vsize=225328 CPUtime=342.3
/proc/18106/stat : 18106 (pbct) R 18104 18106 16390 0 -1 4202496 57823 0 0 0 33403 827 0 0 25 0 1 0 22341135 230735872 53285 4089446400 134512640 136422188 4288021088 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18106/statm: 56332 53285 238 467 0 55863 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 225328

[startup+402.301 s]
/proc/loadavg: 2.00 2.08 2.03 3/197 18119
/proc/meminfo: memFree=27929884/32951124 swapFree=67111528/67111528
[pid=18106] ppid=18104 vsize=225328 CPUtime=402.29
/proc/18106/stat : 18106 (pbct) R 18104 18106 16390 0 -1 4202496 57825 0 0 0 39291 938 0 0 25 0 1 0 22341135 230735872 53285 4089446400 134512640 136422188 4288021088 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/18106/statm: 56332 53285 238 467 0 55863 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 225328

[startup+462.3 s]
/proc/loadavg: 2.00 2.06 2.03 3/179 18149
/proc/meminfo: memFree=26272280/32951124 swapFree=67111528/67111528
[pid=18106] ppid=18104 vsize=225328 CPUtime=462.3
/proc/18106/stat : 18106 (pbct) R 18104 18106 16390 0 -1 4202496 57825 0 0 0 45158 1072 0 0 25 0 1 0 22341135 230735872 53285 4089446400 134512640 136422188 4288021088 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18106/statm: 56332 53285 238 467 0 55863 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 225328

[startup+522.301 s]
/proc/loadavg: 2.00 2.05 2.02 3/179 18151
/proc/meminfo: memFree=26258736/32951124 swapFree=67111528/67111528
[pid=18106] ppid=18104 vsize=225328 CPUtime=522.29
/proc/18106/stat : 18106 (pbct) R 18104 18106 16390 0 -1 4202496 57825 0 0 0 50966 1263 0 0 25 0 1 0 22341135 230735872 53285 4089446400 134512640 136422188 4288021088 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18106/statm: 56332 53285 238 467 0 55863 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 225328

[startup+582.301 s]
/proc/loadavg: 2.00 2.04 2.02 3/179 18153
/proc/meminfo: memFree=26251724/32951124 swapFree=67111528/67111528
[pid=18106] ppid=18104 vsize=225328 CPUtime=582.29
/proc/18106/stat : 18106 (pbct) R 18104 18106 16390 0 -1 4202496 57825 0 0 0 56742 1487 0 0 25 0 1 0 22341135 230735872 53285 4089446400 134512640 136422188 4288021088 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18106/statm: 56332 53285 238 467 0 55863 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 225328

[startup+642.301 s]
/proc/loadavg: 2.00 2.03 2.01 3/179 18155
/proc/meminfo: memFree=26246832/32951124 swapFree=67111528/67111528
[pid=18106] ppid=18104 vsize=225328 CPUtime=642.3
/proc/18106/stat : 18106 (pbct) R 18104 18106 16390 0 -1 4202496 57826 0 0 0 62524 1706 0 0 25 0 1 0 22341135 230735872 53285 4089446400 134512640 136422188 4288021088 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18106/statm: 56332 53285 238 467 0 55863 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 225328

[startup+702.301 s]
/proc/loadavg: 2.04 2.03 2.01 3/179 18157
/proc/meminfo: memFree=26236240/32951124 swapFree=67111528/67111528
[pid=18106] ppid=18104 vsize=225328 CPUtime=702.3
/proc/18106/stat : 18106 (pbct) R 18104 18106 16390 0 -1 4202496 57830 0 0 0 68300 1930 0 0 25 0 1 0 22341135 230735872 53286 4089446400 134512640 136422188 4288021088 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18106/statm: 56332 53286 238 467 0 55863 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 225328

Solver just ended. Dumping a history of the last processes samples

[startup+716.701 s]
/proc/loadavg: 2.03 2.03 2.01 3/179 18157
/proc/meminfo: memFree=26236100/32951124 swapFree=67111528/67111528
[pid=18106] ppid=18104 vsize=225328 CPUtime=716.7
/proc/18106/stat : 18106 (pbct) R 18104 18106 16390 0 -1 4202496 57830 0 0 0 69693 1977 0 0 25 0 1 0 22341135 230735872 53286 4089446400 134512640 136422188 4288021088 18446744073709551615 135022548 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18106/statm: 56332 53286 238 467 0 55863 0
Current children cumulated CPU time (s) 716.7
Current children cumulated vsize (KiB) 225328

[startup+723.1 s]
/proc/loadavg: 2.03 2.03 2.01 3/179 18157
/proc/meminfo: memFree=26235604/32951124 swapFree=67111528/67111528
[pid=18106] ppid=18104 vsize=225328 CPUtime=723.1
/proc/18106/stat : 18106 (pbct) R 18104 18106 16390 0 -1 4202496 57833 0 0 0 70312 1998 0 0 25 0 1 0 22341135 230735872 53286 4089446400 134512640 136422188 4288021088 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18106/statm: 56332 53286 238 467 0 55863 0
Current children cumulated CPU time (s) 723.1
Current children cumulated vsize (KiB) 225328

[startup+726.301 s]
/proc/loadavg: 2.03 2.03 2.01 3/179 18157
/proc/meminfo: memFree=26235468/32951124 swapFree=67111528/67111528
[pid=18106] ppid=18104 vsize=225328 CPUtime=726.3
/proc/18106/stat : 18106 (pbct) R 18104 18106 16390 0 -1 4202496 57833 0 0 0 70616 2014 0 0 25 0 1 0 22341135 230735872 53286 4089446400 134512640 136422188 4288021088 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18106/statm: 56332 53286 238 467 0 55863 0
Current children cumulated CPU time (s) 726.3
Current children cumulated vsize (KiB) 225328

[startup+729.5 s]
/proc/loadavg: 2.03 2.03 2.01 3/179 18157
/proc/meminfo: memFree=26235340/32951124 swapFree=67111528/67111528
[pid=18106] ppid=18104 vsize=225328 CPUtime=729.5
/proc/18106/stat : 18106 (pbct) R 18104 18106 16390 0 -1 4202496 57833 0 0 0 70925 2025 0 0 25 0 1 0 22341135 230735872 53286 4089446400 134512640 136422188 4288021088 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18106/statm: 56332 53286 238 467 0 55863 0
Current children cumulated CPU time (s) 729.5
Current children cumulated vsize (KiB) 225328

[startup+731.101 s]
/proc/loadavg: 2.02 2.03 2.01 3/179 18157
/proc/meminfo: memFree=26235216/32951124 swapFree=67111528/67111528
[pid=18106] ppid=18104 vsize=225328 CPUtime=731.1
/proc/18106/stat : 18106 (pbct) R 18104 18106 16390 0 -1 4202496 57834 0 0 0 71078 2032 0 0 25 0 1 0 22341135 230735872 53286 4089446400 134512640 136422188 4288021088 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18106/statm: 56332 53286 238 467 0 55863 0
Current children cumulated CPU time (s) 731.1
Current children cumulated vsize (KiB) 225328

[startup+731.507 s]
/proc/loadavg: 2.02 2.03 2.01 3/179 18157
/proc/meminfo: memFree=26244764/32951124 swapFree=67111528/67111528
[pid=18106] ppid=18104 vsize=210244 CPUtime=731.5
/proc/18106/stat : 18106 (pbct) R 18104 18106 16390 0 -1 4202496 57838 0 0 0 71118 2032 0 0 25 0 1 0 22341135 215289856 50703 4089446400 134512640 136422188 4288021088 18446744073709551615 134701755 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18106/statm: 52561 50703 241 467 0 52092 0
Current children cumulated CPU time (s) 731.5
Current children cumulated vsize (KiB) 210244

[startup+731.701 s]
/proc/loadavg: 2.02 2.03 2.01 3/179 18157
/proc/meminfo: memFree=26244764/32951124 swapFree=67111528/67111528
[pid=18106] ppid=18104 vsize=197652 CPUtime=731.7
/proc/18106/stat : 18106 (pbct) R 18104 18106 16390 0 -1 4202496 57838 0 0 0 71138 2032 0 0 25 0 1 0 22341135 202395648 48909 4089446400 134512640 136422188 4288021088 18446744073709551615 135801396 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/18106/statm: 49413 48909 241 467 0 48944 0
Current children cumulated CPU time (s) 731.7
Current children cumulated vsize (KiB) 197652

Child status: 0
Real time (s): 731.723
CPU time (s): 731.732
CPU user time (s): 711.395
CPU system time (s): 20.3369
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 225328

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

runsolver used 1.13383 second user time and 2.44363 second system time

The end

Launcher Data 

Begin job on node136 at 2010-07-08 00:21:20
IDJOB=2701707
IDBENCH=79623
IDSOLVER=1212
FILE ID=node136/2701707-1278541280
PBS_JOBID= 11239206
Free space on /tmp= 73356 MiB

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

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

MD5SUM BENCH= a154904367c42b9bf10cdf781e825b6c
RANDOM SEED=2140339636

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28260644 kB
Buffers:        145468 kB
Cached:        3361632 kB
SwapCached:          0 kB
Active:        1867504 kB
Inactive:      2658936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28260644 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3384 kB
Writeback:           0 kB
AnonPages:     1018868 kB
Mapped:          20260 kB
Slab:            99012 kB
PageTables:       6624 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1656520 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= 73364 MiB
End job on node136 at 2010-07-08 00:33:32