Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| npSolver inc-topDown (fixed) | OPTIMUM | 501.637 | 502.162 |
| Name | /PARTIAL-BIGINT-LIN/wcsp/ logistics/normalized-logistics01cc_wcsp.wbo |
| MD5SUM | 0efbcca36ef016461f7a86cda6be3e66 |
| Bench Category | PARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 4198 |
| Best CPU time to get the best result obtained on this benchmark | 1.69374 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 490 |
| Total number of constraints | 3179 |
| Number of soft constraints | 3015 |
| Number of constraints which are clauses | 3015 |
| Number of constraints which are cardinality constraints (but not clauses) | 164 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 4 |
| Top cost | 33536 |
| Min constraint cost | 1 |
| Max constraint cost | 33536 |
| Sum of constraints costs | 94436428 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 5 |
| Number of bits of the biggest sum of numbers | 3 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.04 c run usual solver 0.00/0.10 o 268496 0.00/0.10 c fallback to adder encoding 167.30/167.42 o 258249 167.30/167.42 c fallback to adder encoding 232.58/233.04 o 258247 232.58/233.04 c fallback to adder encoding 275.31/275.79 o 256429 275.31/275.79 c fallback to adder encoding 310.40/310.88 o 231205 310.40/310.88 c fallback to adder encoding 353.37/353.85 o 129963 353.37/353.85 c fallback to adder encoding 391.79/392.26 o 48267 391.79/392.26 c fallback to adder encoding 411.57/412.12 o 44771 411.57/412.12 c fallback to adder encoding 418.81/419.36 o 44770 418.81/419.36 c fallback to adder encoding 438.75/439.04 o 14882 438.75/439.04 c fallback to adder encoding 438.86/439.27 o 14399 438.86/439.27 c fallback to adder encoding 439.09/439.54 o 11780 439.09/439.54 c fallback to adder encoding 439.34/439.88 o 11776 439.34/439.88 c fallback to adder encoding 439.69/440.08 o 10368 439.69/440.08 c fallback to adder encoding 439.96/440.21 o 6013 439.96/440.21 c fallback to adder encoding 440.02/440.59 o 5982 440.02/440.59 c fallback to adder encoding 440.41/440.94 o 5690 440.41/440.94 c fallback to adder encoding 441.16/441.40 o 5686 441.16/441.40 c fallback to adder encoding 441.21/441.56 o 5657 441.21/441.56 c fallback to adder encoding 441.37/442.09 o 5649 441.37/442.09 c fallback to adder encoding 441.91/442.43 o 5645 441.91/442.43 c fallback to adder encoding 442.67/442.92 o 5640 442.67/442.92 c fallback to adder encoding 442.96/443.27 o 5623 442.96/443.27 c fallback to adder encoding 443.35/443.60 o 5609 443.35/443.60 c fallback to adder encoding 443.77/444.01 o 5582 443.77/444.01 c fallback to adder encoding 443.80/444.28 o 5578 443.80/444.28 c fallback to adder encoding 444.07/444.56 o 5576 444.07/444.56 c fallback to adder encoding 444.84/445.11 o 5561 444.84/445.11 c fallback to adder encoding 445.24/445.51 o 5495 445.24/445.51 c fallback to adder encoding 445.54/445.81 o 5493 445.54/445.81 c fallback to adder encoding 445.61/446.24 o 5488 445.61/446.24 c fallback to adder encoding 446.24/446.54 o 5484 446.24/446.54 c fallback to adder encoding 446.33/446.89 o 5468 446.33/446.89 c fallback to adder encoding 446.69/447.17 o 5467 446.69/447.17 c fallback to adder encoding 446.97/447.48 o 5450 446.97/447.48 c fallback to adder encoding 447.64/447.93 o 5436 447.64/447.93 c fallback to adder encoding 447.73/448.35 o 5434 447.73/448.35 c fallback to adder encoding 448.14/448.65 o 5432 448.14/448.65 c fallback to adder encoding 448.65/448.94 o 5420 448.65/448.94 c fallback to adder encoding 448.74/449.23 o 5419 448.74/449.23 c fallback to adder encoding 448.97/449.55 o 5418 448.97/449.55 c fallback to adder encoding 449.60/449.95 o 5417 449.60/449.95 c fallback to adder encoding 449.98/450.30 o 5416 449.98/450.30 c fallback to adder encoding 450.04/450.78 o 5412 450.04/450.78 c fallback to adder encoding 450.80/451.13 o 5404 450.80/451.13 c fallback to adder encoding 451.20/451.51 o 5397 451.20/451.51 c fallback to adder encoding 451.26/451.78 o 5396 451.26/451.78 c fallback to adder encoding 451.80/452.13 o 5356 451.80/452.13 c fallback to adder encoding 451.87/452.44 o 5355 451.87/452.44 c fallback to adder encoding 452.48/452.80 o 5322 452.48/452.80 c fallback to adder encoding 452.90/453.26 o 5315 452.90/453.26 c fallback to adder encoding 452.99/453.58 o 5313 452.99/453.58 c fallback to adder encoding 453.32/453.85 o 5307 453.32/453.85 c fallback to adder encoding 453.80/454.12 o 5305 453.80/454.12 c fallback to adder encoding 454.07/454.44 o 5272 454.07/454.44 c fallback to adder encoding 454.37/454.71 o 5271 454.37/454.71 c fallback to adder encoding 454.44/455.17 o 5270 454.44/455.17 c fallback to adder encoding 455.46/455.89 o 5269 455.46/455.89 c fallback to adder encoding 455.61/456.17 o 5267 455.61/456.17 c fallback to adder encoding 456.28/456.66 o 5260 456.28/456.66 c fallback to adder encoding 456.37/456.97 o 5259 456.37/456.97 c fallback to adder encoding 456.69/457.43 o 5232 456.69/457.43 c fallback to adder encoding 457.46/457.87 o 5207 457.46/457.87 c fallback to adder encoding 457.57/458.18 o 5205 457.57/458.18 c fallback to adder encoding 457.90/458.54 o 5203 457.90/458.54 c fallback to adder encoding 458.85/459.21 o 5186 458.85/459.21 c fallback to adder encoding 459.16/459.50 o 5184 459.16/459.50 c fallback to adder encoding 459.46/459.89 o 5179 459.46/459.89 c fallback to adder encoding 459.76/460.13 o 5172 459.76/460.13 c fallback to adder encoding 459.82/460.57 o 5126 459.82/460.57 c fallback to adder encoding 460.56/460.94 o 5117 460.56/460.94 c fallback to adder encoding 460.64/461.37 o 5115 460.64/461.37 c fallback to adder encoding 461.54/461.99 o 5103 461.54/461.99 c fallback to adder encoding 462.05/462.42 o 5097 462.05/462.42 c fallback to adder encoding 462.46/462.82 o 5060 462.46/462.82 c fallback to adder encoding 462.85/463.23 o 5055 462.85/463.23 c fallback to adder encoding 462.92/463.79 o 5052 462.92/463.79 c fallback to adder encoding 463.95/464.32 o 5010 463.95/464.32 c fallback to adder encoding 463.99/464.79 o 5008 463.99/464.79 c fallback to adder encoding 464.44/465.08 o 5002 464.44/465.08 c fallback to adder encoding 465.02/465.44 o 4949 465.02/465.44 c fallback to adder encoding 465.10/465.86 o 4909 465.10/465.86 c fallback to adder encoding 465.81/466.21 o 4886 465.81/466.21 c fallback to adder encoding 466.40/466.87 o 4885 466.40/466.87 c fallback to adder encoding 466.54/467.18 o 4878 466.54/467.18 c fallback to adder encoding 467.01/467.47 o 4871 467.01/467.47 c fallback to adder encoding 467.14/467.98 o 4870 467.14/467.98 c fallback to adder encoding 467.64/468.36 o 4859 467.64/468.36 c fallback to adder encoding 468.32/468.73 o 4852 468.32/468.73 c fallback to adder encoding 468.38/469.29 o 4849 468.38/469.29 c fallback to adder encoding 469.31/469.75 o 4825 469.31/469.75 c fallback to adder encoding 469.40/470.16 o 4803 469.40/470.16 c fallback to adder encoding 470.12/470.53 o 4743 470.12/470.53 c fallback to adder encoding 470.41/470.85 o 4735 470.41/470.85 c fallback to adder encoding 470.50/471.34 o 4730 470.50/471.34 c fallback to adder encoding 470.99/471.56 o 4722 470.99/471.56 c fallback to adder encoding 471.70/472.10 o 4717 471.70/472.10 c fallback to adder encoding 472.01/472.42 o 4703 472.01/472.42 c fallback to adder encoding 472.08/472.89 o 4692 472.08/472.89 c fallback to adder encoding 472.55/473.66 o 4691 472.55/473.66 c fallback to adder encoding 473.62/474.02 o 4690 473.62/474.02 c fallback to adder encoding 473.90/474.35 o 4689 473.90/474.35 c fallback to adder encoding 473.97/474.77 o 4679 473.97/474.77 c fallback to adder encoding 474.40/475.08 o 4672 474.40/475.08 c fallback to adder encoding 474.70/475.53 o 4671 474.70/475.53 c fallback to adder encoding 475.16/475.85 o 4666 475.16/475.85 c fallback to adder encoding 475.47/476.17 o 4655 475.47/476.17 c fallback to adder encoding 476.28/476.71 o 4638 476.28/476.71 c fallback to adder encoding 476.98/477.46 o 4636 476.98/477.46 c fallback to adder encoding 477.07/477.79 o 4610 477.07/477.79 c fallback to adder encoding 477.42/478.18 o 4568 477.42/478.18 c fallback to adder encoding 477.97/478.46 o 4554 477.97/478.46 c fallback to adder encoding 478.07/478.88 o 4549 478.07/478.88 c fallback to adder encoding 479.00/479.43 o 4548 479.00/479.43 c fallback to adder encoding 479.27/479.75 o 4547 479.27/479.75 c fallback to adder encoding 479.37/480.14 o 4545 479.37/480.14 c fallback to adder encoding 479.76/480.47 o 4543 479.76/480.47 c fallback to adder encoding 480.37/480.80 o 4478 480.37/480.80 c fallback to adder encoding 480.42/481.23 o 4427 480.42/481.23 c fallback to adder encoding 480.86/481.57 o 4425 480.86/481.57 c fallback to adder encoding 481.40/481.88 o 4347 481.40/481.88 c fallback to adder encoding 481.50/482.25 o 4328 481.50/482.25 c fallback to adder encoding 481.87/482.68 o 4326 481.87/482.68 c fallback to adder encoding 482.68/483.17 o 4325 482.68/483.17 c fallback to adder encoding 482.78/483.68 o 4324 482.78/483.68 c fallback to adder encoding 483.58/484.09 o 4318 483.58/484.09 c fallback to adder encoding 483.72/484.58 o 4317 483.72/484.58 c fallback to adder encoding 484.55/485.07 o 4293 484.55/485.07 c fallback to adder encoding 484.65/485.53 o 4292 484.65/485.53 c fallback to adder encoding 485.43/485.91 o 4291 485.43/485.91 c fallback to adder encoding 485.75/486.26 o 4290 485.75/486.26 c fallback to adder encoding 485.84/486.56 o 4288 485.84/486.56 c fallback to adder encoding 486.14/487.14 o 4287 486.14/487.14 c fallback to adder encoding 487.03/487.50 o 4272 487.03/487.50 c fallback to adder encoding 487.55/488.01 o 4271 487.55/488.01 c fallback to adder encoding 488.04/488.54 o 4267 488.04/488.54 c fallback to adder encoding 488.12/488.93 o 4259 488.12/488.93 c fallback to adder encoding 488.53/489.35 o 4257 488.53/489.35 c fallback to adder encoding 489.33/489.85 o 4256 489.33/489.85 c fallback to adder encoding 490.25/490.77 o 4255 490.25/490.77 c fallback to adder encoding 490.36/491.27 o 4254 490.36/491.27 c fallback to adder encoding 491.34/491.89 o 4251 491.34/491.89 c fallback to adder encoding 491.48/492.35 o 4238 491.48/492.35 c fallback to adder encoding 492.34/492.81 o 4237 492.34/492.81 c fallback to adder encoding 492.40/493.25 o 4235 492.40/493.25 c fallback to adder encoding 492.84/493.65 o 4225 492.84/493.65 c fallback to adder encoding 493.75/494.28 o 4224 493.75/494.28 c fallback to adder encoding 493.86/494.63 o 4222 493.86/494.63 c fallback to adder encoding 494.55/495.08 o 4221 494.55/495.08 c fallback to adder encoding 494.64/495.48 o 4220 494.64/495.48 c fallback to adder encoding 495.53/496.02 o 4219 495.53/496.02 c fallback to adder encoding 495.91/496.41 o 4218 495.91/496.41 c fallback to adder encoding 496.52/497.00 o 4213 496.52/497.00 c fallback to adder encoding 496.80/497.30 o 4212 496.80/497.30 c fallback to adder encoding 496.86/497.66 o 4211 496.86/497.66 c fallback to adder encoding 497.23/498.09 o 4210 497.23/498.09 c fallback to adder encoding 498.01/498.55 o 4204 498.01/498.55 c fallback to adder encoding 498.11/499.09 o 4203 498.11/499.09 c fallback to adder encoding 499.13/499.60 o 4200 499.13/499.60 c fallback to adder encoding 499.51/500.09 o 4199 499.51/500.09 c fallback to adder encoding 499.95/500.53 o 4198 499.95/500.53 c fallback to adder encoding 501.55/502.15 c display solution 501.55/502.15 s OPTIMUM FOUND 501.55/502.15 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
OK 4198
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3753442-1339207986/watcher-3753442-1339207986 -o /tmp/evaluation-result-3753442-1339207986/solver-3753442-1339207986 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753442-1339207986.wbo 95173408 HOME HOME running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.55 3.47 2.92 3/180 9490 /proc/meminfo: memFree=30655856/32873844 swapFree=7120/7120 [pid=9490] ppid=9488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9490/stat : 9490 (npSolver-wbo-It) S 9488 9490 8864 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386923514 9367552 275 33554432000 4194304 5064252 140733227455616 140733227454528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/9490/statm: 2287 275 233 213 0 72 0 [startup+0.0657139 s] /proc/loadavg: 4.55 3.47 2.92 3/180 9490 /proc/meminfo: memFree=30655856/32873844 swapFree=7120/7120 [pid=9490] ppid=9488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9490/stat : 9490 (npSolver-wbo-It) S 9488 9490 8864 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386923514 9367552 275 33554432000 4194304 5064252 140733227455616 140733227454528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/9490/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100261 s] /proc/loadavg: 4.55 3.47 2.92 3/180 9490 /proc/meminfo: memFree=30655856/32873844 swapFree=7120/7120 [pid=9490] ppid=9488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9490/stat : 9490 (npSolver-wbo-It) S 9488 9490 8864 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386923514 9367552 275 33554432000 4194304 5064252 140733227455616 140733227454528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/9490/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300231 s] /proc/loadavg: 4.55 3.47 2.92 3/180 9490 /proc/meminfo: memFree=30655856/32873844 swapFree=7120/7120 [pid=9490] ppid=9488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9490/stat : 9490 (npSolver-wbo-It) S 9488 9490 8864 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386923514 9367552 275 33554432000 4194304 5064252 140733227455616 140733227454528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/9490/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700218 s] /proc/loadavg: 4.55 3.47 2.92 3/180 9490 /proc/meminfo: memFree=30655856/32873844 swapFree=7120/7120 [pid=9490] ppid=9488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9490/stat : 9490 (npSolver-wbo-It) S 9488 9490 8864 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386923514 9367552 275 33554432000 4194304 5064252 140733227455616 140733227454528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/9490/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50041 s] /proc/loadavg: 4.55 3.47 2.92 3/184 9504 /proc/meminfo: memFree=30519692/32873844 swapFree=7120/7120 [pid=9490] ppid=9488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9490/stat : 9490 (npSolver-wbo-It) S 9488 9490 8864 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386923514 9367552 275 33554432000 4194304 5064252 140733227455616 140733227454528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/9490/statm: 2287 275 233 213 0 72 0 [pid=9491] ppid=9490 vsize=90340 CPUtime=0.81 cores=0,2,4,6 /proc/9491/stat : 9491 (npSolver-wbo) S 9490 9490 8864 0 -1 4202496 7235 6244 0 0 67 10 3 1 20 0 1 0 386923514 92508160 15937 33554432000 4194304 6006132 140735062486016 140735062477408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 2 0 0 /proc/9491/statm: 22585 15937 178 443 0 22138 0 [pid=9503] ppid=9491 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9503/stat : 9503 (satsolver.sh) S 9491 9490 8864 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386923599 9367552 267 33554432000 4194304 5064252 140736414293856 140736414292768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/9503/statm: 2287 267 226 213 0 72 0 [pid=9504] ppid=9503 vsize=107720 CPUtime=0.63 cores=0,2,4,6 /proc/9504/stat : 9504 (glucose) R 9503 9490 8864 0 -1 4202496 23797 0 0 0 57 6 0 0 20 0 1 0 386923599 110305280 23466 33554432000 4194304 5208918 140733523021792 140733521971480 4229006 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/9504/statm: 26930 23466 96 248 0 26679 0 Current children cumulated CPU time (s) 1.44 Current children cumulated vsize (KiB) 216356 [startup+3.10041 s] /proc/loadavg: 4.55 3.47 2.92 3/184 9504 /proc/meminfo: memFree=30458764/32873844 swapFree=7120/7120 [pid=9490] ppid=9488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9490/stat : 9490 (npSolver-wbo-It) S 9488 9490 8864 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386923514 9367552 275 33554432000 4194304 5064252 140733227455616 140733227454528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/9490/statm: 2287 275 233 213 0 72 0 [pid=9491] ppid=9490 vsize=90340 CPUtime=0.81 cores=0,2,4,6 /proc/9491/stat : 9491 (npSolver-wbo) S 9490 9490 8864 0 -1 4202496 7235 6244 0 0 67 10 3 1 20 0 1 0 386923514 92508160 15937 33554432000 4194304 6006132 140735062486016 140735062477408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 2 0 0 /proc/9491/statm: 22585 15937 178 443 0 22138 0 [pid=9503] ppid=9491 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9503/stat : 9503 (satsolver.sh) S 9491 9490 8864 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386923599 9367552 267 33554432000 4194304 5064252 140736414293856 140736414292768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/9503/statm: 2287 267 226 213 0 72 0 [pid=9504] ppid=9503 vsize=107860 CPUtime=2.23 cores=0,2,4,6 /proc/9504/stat : 9504 (glucose) R 9503 9490 8864 0 -1 4202496 23838 0 0 0 217 6 0 0 20 0 1 0 386923599 110448640 23507 33554432000 4194304 5208918 140733523021792 140733523019752 4211030 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/9504/statm: 26965 23507 105 248 0 26714 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 216496 [startup+6.30042 s] /proc/loadavg: 4.34 3.44 2.91 3/184 9504 /proc/meminfo: memFree=30456328/32873844 swapFree=7120/7120 [pid=9490] ppid=9488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9490/stat : 9490 (npSolver-wbo-It) S 9488 9490 8864 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386923514 9367552 275 33554432000 4194304 5064252 140733227455616 140733227454528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/9490/statm: 2287 275 233 213 0 72 0 [pid=9491] ppid=9490 vsize=90340 CPUtime=0.81 cores=0,2,4,6 /proc/9491/stat : 9491 (npSolver-wbo) S 9490 9490 8864 0 -1 4202496 7235 6244 0 0 67 10 3 1 20 0 1 0 386923514 92508160 15937 33554432000 4194304 6006132 140735062486016 140735062477408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 2 0 0 /proc/9491/statm: 22585 15937 178 443 0 22138 0 [pid=9503] ppid=9491 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9503/stat : 9503 (satsolver.sh) S 9491 9490 8864 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386923599 9367552 267 33554432000 4194304 5064252 140736414293856 140736414292768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/9503/statm: 2287 267 226 213 0 72 0 [pid=9504] ppid=9503 vsize=108016 CPUtime=5.43 cores=0,2,4,6 /proc/9504/stat : 9504 (glucose) R 9503 9490 8864 0 -1 4202496 23881 0 0 0 537 6 0 0 20 0 1 0 386923599 110608384 24061 33554432000 4194304 5208918 140733523021792 140733523019752 4211599 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/9504/statm: 27004 24061 105 248 0 26753 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 216652 [startup+12.7004 s] /proc/loadavg: 4.15 3.42 2.91 3/184 9504 /proc/meminfo: memFree=30453684/32873844 swapFree=7120/7120 [pid=9490] ppid=9488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9490/stat : 9490 (npSolver-wbo-It) S 9488 9490 8864 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386923514 9367552 275 33554432000 4194304 5064252 140733227455616 140733227454528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/9490/statm: 2287 275 233 213 0 72 0 [pid=9491] ppid=9490 vsize=90340 CPUtime=0.81 cores=0,2,4,6 /proc/9491/stat : 9491 (npSolver-wbo) S 9490 9490 8864 0 -1 4202496 7235 6244 0 0 67 10 3 1 20 0 1 0 386923514 92508160 15937 33554432000 4194304 6006132 140735062486016 140735062477408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 2 0 0 /proc/9491/statm: 22585 15937 178 443 0 22138 0 [pid=9503] ppid=9491 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9503/stat : 9503 (satsolver.sh) S 9491 9490 8864 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386923599 9367552 267 33554432000 4194304 5064252 140736414293856 140736414292768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/9503/statm: 2287 267 226 213 0 72 0 [pid=9504] ppid=9503 vsize=109228 CPUtime=11.83 cores=0,2,4,6 /proc/9504/stat : 9504 (glucose) R 9503 9490 8864 0 -1 4202496 24226 0 0 0 1177 6 0 0 20 0 1 0 386923599 111849472 24406 33554432000 4194304 5208918 140733523021792 140733523019544 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/9504/statm: 27307 24406 106 248 0 27056 0 Current children cumulated CPU time (s) 12.64 Current children cumulated vsize (KiB) 217864 [startup+25.5003 s] /proc/loadavg: 3.75 3.37 2.90 3/184 9504 /proc/meminfo: memFree=30447684/32873844 swapFree=7120/7120 [pid=9490] ppid=9488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9490/stat : 9490 (npSolver-wbo-It) S 9488 9490 8864 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386923514 9367552 275 33554432000 4194304 5064252 140733227455616 140733227454528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/9490/statm: 2287 275 233 213 0 72 0 [pid=9491] ppid=9490 vsize=90340 CPUtime=0.81 cores=0,2,4,6 /proc/9491/stat : 9491 (npSolver-wbo) S 9490 9490 8864 0 -1 4202496 7235 6244 0 0 67 10 3 1 20 0 1 0 386923514 92508160 15937 33554432000 4194304 6006132 140735062486016 140735062477408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 2 0 0 /proc/9491/statm: 22585 15937 178 443 0 22138 0 [pid=9503] ppid=9491 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9503/stat : 9503 (satsolver.sh) S 9491 9490 8864 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386923599 9367552 267 33554432000 4194304 5064252 140736414293856 140736414292768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/9503/statm: 2287 267 226 213 0 72 0 [pid=9504] ppid=9503 vsize=110856 CPUtime=24.63 cores=0,2,4,6 /proc/9504/stat : 9504 (glucose) R 9503 9490 8864 0 -1 4202496 25303 0 0 0 2456 7 0 0 20 0 1 0 386923599 113516544 24802 33554432000 4194304 5208918 140733523021792 140733523018168 4211027 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/9504/statm: 27714 24802 106 248 0 27463 0 Current children cumulated CPU time (s) 25.44 Current children cumulated vsize (KiB) 219492 [startup+51.1003 s] /proc/loadavg: 3.23 3.27 2.88 3/184 9504 /proc/meminfo: memFree=30435072/32873844 swapFree=7120/7120 [pid=9490] ppid=9488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9490/stat : 9490 (npSolver-wbo-It) S 9488 9490 8864 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386923514 9367552 275 33554432000 4194304 5064252 140733227455616 140733227454528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/9490/statm: 2287 275 233 213 0 72 0 [pid=9491] ppid=9490 vsize=90340 CPUtime=0.81 cores=0,2,4,6 /proc/9491/stat : 9491 (npSolver-wbo) S 9490 9490 8864 0 -1 4202496 7235 6244 0 0 67 10 3 1 20 0 1 0 386923514 92508160 15937 33554432000 4194304 6006132 140735062486016 140735062477408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 2 0 0 /proc/9491/statm: 22585 15937 178 443 0 22138 0 [pid=9503] ppid=9491 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9503/stat : 9503 (satsolver.sh) S 9491 9490 8864 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386923599 9367552 267 33554432000 4194304 5064252 140736414293856 140736414292768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/9503/statm: 2287 267 226 213 0 72 0 [pid=9504] ppid=9503 vsize=124508 CPUtime=50.22 cores=0,2,4,6 /proc/9504/stat : 9504 (glucose) R 9503 9490 8864 0 -1 4202496 26313 0 0 0 5014 8 0 0 20 0 1 0 386923599 127496192 26825 33554432000 4194304 5208918 140733523021792 140733523019464 4211901 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/9504/statm: 31127 26825 106 248 0 30876 0 Current children cumulated CPU time (s) 51.03 Current children cumulated vsize (KiB) 233144 [startup+102.307 s] /proc/loadavg: 2.53 3.07 2.83 3/183 9505 /proc/meminfo: memFree=30432308/32873844 swapFree=7120/7120 [pid=9490] ppid=9488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9490/stat : 9490 (npSolver-wbo-It) S 9488 9490 8864 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386923514 9367552 275 33554432000 4194304 5064252 140733227455616 140733227454528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/9490/statm: 2287 275 233 213 0 72 0 [pid=9491] ppid=9490 vsize=90340 CPUtime=0.81 cores=0,2,4,6 /proc/9491/stat : 9491 (npSolver-wbo) S 9490 9490 8864 0 -1 4202496 7235 6244 0 0 67 10 3 1 20 0 1 0 386923514 92508160 15937 33554432000 4194304 6006132 140735062486016 140735062477408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 2 0 0 /proc/9491/statm: 22585 15937 178 443 0 22138 0 [pid=9503] ppid=9491 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9503/stat : 9503 (satsolver.sh) S 9491 9490 8864 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386923599 9367552 267 33554432000 4194304 5064252 140736414293856 140736414292768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/9503/statm: 2287 267 226 213 0 72 0 [pid=9504] ppid=9503 vsize=145456 CPUtime=101.42 cores=0,2,4,6 /proc/9504/stat : 9504 (glucose) R 9503 9490 8864 0 -1 4202496 28201 0 0 0 10133 9 0 0 20 0 1 0 386923599 148946944 32061 33554432000 4194304 5208918 140733523021792 140733523018168 4211897 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/9504/statm: 36364 32061 106 248 0 36113 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 254092 [startup+162.3 s] /proc/loadavg: 2.27 2.90 2.79 3/183 9505 /proc/meminfo: memFree=30394264/32873844 swapFree=7120/7120 [pid=9490] ppid=9488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9490/stat : 9490 (npSolver-wbo-It) S 9488 9490 8864 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386923514 9367552 275 33554432000 4194304 5064252 140733227455616 140733227454528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/9490/statm: 2287 275 233 213 0 72 0 [pid=9491] ppid=9490 vsize=90340 CPUtime=0.81 cores=0,2,4,6 /proc/9491/stat : 9491 (npSolver-wbo) S 9490 9490 8864 0 -1 4202496 7235 6244 0 0 67 10 3 1 20 0 1 0 386923514 92508160 15937 33554432000 4194304 6006132 140735062486016 140735062477408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 2 0 0 /proc/9491/statm: 22585 15937 178 443 0 22138 0 [pid=9503] ppid=9491 vsize=9148 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ /proc/9490/statm: 2287 275 233 213 0 72 0 [pid=9491] ppid=9490 vsize=73960 CPUtime=276.36 cores=0,2,4,6 /proc/9491/stat : 9491 (npSolver-wbo) S 9490 9490 8864 0 -1 4202496 23210 98343 0 0 249 33 27277 77 20 0 1 0 386923514 75735040 11362 33554432000 4194304 6006132 140735062486016 140735062477408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 2 0 0 /proc/9491/statm: 18490 11362 178 443 0 18043 0 [pid=9525] ppid=9491 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9525/stat : 9525 (satsolver.sh) S 9491 9490 8864 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386951161 9367552 267 33554432000 4194304 5064252 140735490835552 140735490834464 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/9525/statm: 2287 267 226 213 0 72 0 [pid=9526] ppid=9525 vsize=106392 CPUtime=5.81 cores=0,2,4,6 /proc/9526/stat : 9526 (glucose) R 9525 9490 8864 0 -1 4202496 22872 0 0 0 576 5 0 0 20 0 1 0 386951161 108945408 22262 33554432000 4194304 5208918 140734036766208 140734036764056 4211027 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/9526/statm: 26598 22262 104 248 0 26347 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 198648 [startup+342.3 s] /proc/loadavg: 2.04 2.51 2.65 3/183 9533 /proc/meminfo: memFree=30471432/32873844 swapFree=7120/7120 [pid=9490] ppid=9488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9490/stat : 9490 (npSolver-wbo-It) S 9488 9490 8864 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386923514 9367552 275 33554432000 4194304 5064252 140733227455616 140733227454528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/9490/statm: 2287 275 233 213 0 72 0 [pid=9491] ppid=9490 vsize=73960 CPUtime=311.45 cores=0,2,4,6 /proc/9491/stat : 9491 (npSolver-wbo) S 9490 9490 8864 0 -1 4202496 28535 126985 0 0 309 42 30694 100 20 0 1 0 386923514 75735040 11362 33554432000 4194304 6006132 140735062486016 140735062477408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 2 0 0 /proc/9491/statm: 18490 11362 178 443 0 18043 0 [pid=9532] ppid=9491 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9532/stat : 9532 (satsolver.sh) S 9491 9490 8864 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386954670 9367552 266 33554432000 4194304 5064252 140734444659136 140734444658048 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/9532/statm: 2287 266 226 213 0 72 0 [pid=9533] ppid=9532 vsize=112496 CPUtime=30.72 cores=0,2,4,6 /proc/9533/stat : 9533 (glucose) R 9532 9490 8864 0 -1 4202496 25118 0 0 0 3067 5 0 0 20 0 1 0 386954671 115195904 24840 33554432000 4194304 5208918 140737320007616 140737320005368 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/9533/statm: 28124 24840 105 248 0 27873 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 204752 [startup+402.3 s] /proc/loadavg: 2.06 2.43 2.61 3/182 9547 /proc/meminfo: memFree=30485852/32873844 swapFree=7120/7120 [pid=9490] ppid=9488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9490/stat : 9490 (npSolver-wbo-It) S 9488 9490 8864 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386923514 9367552 275 33554432000 4194304 5064252 140733227455616 140733227454528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/9490/statm: 2287 275 233 213 0 72 0 [pid=9491] ppid=9490 vsize=40816 CPUtime=392.72 cores=0,2,4,6 /proc/9491/stat : 9491 (npSolver-wbo) S 9490 9490 8864 0 -1 4202496 38392 184832 0 0 419 56 38652 145 20 0 1 0 386923514 41795584 9798 33554432000 4194304 6006132 140735062486016 140735062477408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 2 0 0 /proc/9491/statm: 10204 9798 178 443 0 9757 0 [pid=9546] ppid=9491 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9546/stat : 9546 (satsolver.sh) S 9491 9490 8864 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386962800 9367552 267 33554432000 4194304 5064252 140736674240288 140736674239200 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/9546/statm: 2287 267 226 213 0 72 0 [pid=9547] ppid=9546 vsize=95012 CPUtime=9.43 cores=0,2,4,6 /proc/9547/stat : 9547 (glucose) R 9546 9490 8864 0 -1 4202496 19944 0 0 0 938 5 0 0 20 0 1 0 386962800 97292288 20713 33554432000 4194304 5208918 140736537445248 140736537441624 4229338 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/9547/statm: 23753 20713 105 248 0 23502 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 154124 [startup+462.3 s] /proc/loadavg: 1.95 2.33 2.56 3/184 10006 /proc/meminfo: memFree=30580252/32873844 swapFree=7120/7120 [pid=9490] ppid=9488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9490/stat : 9490 (npSolver-wbo-It) S 9488 9490 8864 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386923514 9367552 275 33554432000 4194304 5064252 140733227455616 140733227454528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/9490/statm: 2287 275 233 213 0 72 0 [pid=9491] ppid=9490 vsize=40812 CPUtime=461.69 cores=0,2,4,6 /proc/9491/stat : 9491 (npSolver-wbo) S 9490 9490 8864 0 -1 4202496 118286 618517 0 0 709 90 45028 342 20 0 1 0 386923514 41791488 9818 33554432000 4194304 6006132 140735062486016 140735062477408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0 /proc/9491/statm: 10203 9818 178 443 0 9756 0 Current children cumulated CPU time (s) 461.69 Current children cumulated vsize (KiB) 49960 Solver just ended. Dumping a history of the last processes samples [startup+486.3 s] /proc/loadavg: 1.89 2.29 2.54 3/183 10412 /proc/meminfo: memFree=30577260/32873844 swapFree=7120/7120 [pid=9490] ppid=9488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9490/stat : 9490 (npSolver-wbo-It) S 9488 9490 8864 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386923514 9367552 275 33554432000 4194304 5064252 140733227455616 140733227454528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/9490/statm: 2287 275 233 213 0 72 0 [pid=9491] ppid=9490 vsize=40812 CPUtime=485.84 cores=0,2,4,6 /proc/9491/stat : 9491 (npSolver-wbo) S 9490 9490 8864 0 -1 4202496 182898 945080 0 0 865 109 47142 468 20 0 1 0 386923514 41791488 9818 33554432000 4194304 6006132 140735062486016 140735062477408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0 /proc/9491/statm: 10203 9818 178 443 0 9756 0 Current children cumulated CPU time (s) 485.84 Current children cumulated vsize (KiB) 49960 [startup+492.7 s] /proc/loadavg: 1.89 2.28 2.54 3/183 10503 /proc/meminfo: memFree=30576632/32873844 swapFree=7120/7120 [pid=9490] ppid=9488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9490/stat : 9490 (npSolver-wbo-It) S 9488 9490 8864 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386923514 9367552 275 33554432000 4194304 5064252 140733227455616 140733227454528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/9490/statm: 2287 275 233 213 0 72 0 [pid=9491] ppid=9490 vsize=40812 CPUtime=491.94 cores=0,2,4,6 /proc/9491/stat : 9491 (npSolver-wbo) S 9490 9490 8864 0 -1 4202496 196266 1014834 0 0 898 113 47688 495 20 0 1 0 386923514 41791488 9818 33554432000 4194304 6006132 140735062486016 140735062477408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0 /proc/9491/statm: 10203 9818 178 443 0 9756 0 [pid=10502] ppid=9491 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10502/stat : 10502 (satsolver.sh) S 9491 9490 8864 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386972751 9367552 266 33554432000 4194304 5064252 140733374770256 140733374769168 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/10502/statm: 2287 266 226 213 0 72 0 [pid=10503] ppid=10502 vsize=9024 CPUtime=0.31 cores=0,2,4,6 /proc/10503/stat : 10503 (glucose) R 10502 9490 8864 0 -1 4202496 2227 0 0 0 31 0 0 0 20 0 1 0 386972752 9240576 1968 33554432000 4194304 5208918 140734236694528 140734236692488 4213236 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/10503/statm: 2256 1968 104 248 0 2005 0 Current children cumulated CPU time (s) 492.25 Current children cumulated vsize (KiB) 68132 [startup+499.1 s] /proc/loadavg: 1.82 2.26 2.53 3/183 10594 /proc/meminfo: memFree=30575832/32873844 swapFree=7120/7120 [pid=9490] ppid=9488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9490/stat : 9490 (npSolver-wbo-It) S 9488 9490 8864 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386923514 9367552 275 33554432000 4194304 5064252 140733227455616 140733227454528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/9490/statm: 2287 275 233 213 0 72 0 [pid=9491] ppid=9490 vsize=40812 CPUtime=498.63 cores=0,2,4,6 /proc/9491/stat : 9491 (npSolver-wbo) R 9490 9490 8864 0 -1 4202496 212433 1100078 0 0 936 118 48278 531 20 0 1 0 386923514 41791488 9818 33554432000 4194304 6006132 140735062486016 140735062477984 5056705 0 0 4096 0 0 0 0 17 2 0 0 7 0 0 /proc/9491/statm: 10203 9818 178 443 0 9756 0 Current children cumulated CPU time (s) 498.63 Current children cumulated vsize (KiB) 49960 [startup+500.7 s] /proc/loadavg: 1.84 2.26 2.53 3/183 10622 /proc/meminfo: memFree=30574716/32873844 swapFree=7120/7120 [pid=9490] ppid=9488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9490/stat : 9490 (npSolver-wbo-It) S 9488 9490 8864 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386923514 9367552 275 33554432000 4194304 5064252 140733227455616 140733227454528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/9490/statm: 2287 275 233 213 0 72 0 [pid=9491] ppid=9490 vsize=40812 CPUtime=500.03 cores=0,2,4,6 /proc/9491/stat : 9491 (npSolver-wbo) S 9490 9490 8864 0 -1 4202496 216318 1115887 0 0 946 120 48400 537 20 0 1 0 386923514 41791488 9818 33554432000 4194304 6006132 140735062486016 140735062477408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0 /proc/9491/statm: 10203 9818 178 443 0 9756 0 Current children cumulated CPU time (s) 500.03 Current children cumulated vsize (KiB) 49960 [startup+501.5 s] /proc/loadavg: 1.84 2.26 2.53 3/183 10629 /proc/meminfo: memFree=30571808/32873844 swapFree=7120/7120 [pid=9490] ppid=9488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9490/stat : 9490 (npSolver-wbo-It) S 9488 9490 8864 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386923514 9367552 275 33554432000 4194304 5064252 140733227455616 140733227454528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/9490/statm: 2287 275 233 213 0 72 0 [pid=9491] ppid=9490 vsize=40812 CPUtime=500.03 cores=0,2,4,6 /proc/9491/stat : 9491 (npSolver-wbo) S 9490 9490 8864 0 -1 4202496 216318 1115887 0 0 946 120 48400 537 20 0 1 0 386923514 41791488 9818 33554432000 4194304 6006132 140735062486016 140735062477408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0 /proc/9491/statm: 10203 9818 178 443 0 9756 0 [pid=10628] ppid=9491 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10628/stat : 10628 (satsolver.sh) S 9491 9490 8864 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386973570 9367552 265 33554432000 4194304 5064252 140734102061856 140734102060768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/10628/statm: 2287 265 226 213 0 72 0 [pid=10629] ppid=10628 vsize=12000 CPUtime=0.92 cores=0,2,4,6 /proc/10629/stat : 10629 (glucose) R 10628 9490 8864 0 -1 4202496 3339 0 0 0 92 0 0 0 20 0 1 0 386973571 12288000 2608 33554432000 4194304 5208918 140734145784576 140734144734264 4229299 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/10629/statm: 3000 2608 104 248 0 2749 0 Current children cumulated CPU time (s) 500.95 Current children cumulated vsize (KiB) 71108 [startup+501.9 s] /proc/loadavg: 1.84 2.26 2.53 3/183 10629 /proc/meminfo: memFree=30571808/32873844 swapFree=7120/7120 [pid=9490] ppid=9488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9490/stat : 9490 (npSolver-wbo-It) S 9488 9490 8864 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386923514 9367552 275 33554432000 4194304 5064252 140733227455616 140733227454528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/9490/statm: 2287 275 233 213 0 72 0 [pid=9491] ppid=9490 vsize=40812 CPUtime=500.03 cores=0,2,4,6 /proc/9491/stat : 9491 (npSolver-wbo) S 9490 9490 8864 0 -1 4202496 216318 1115887 0 0 946 120 48400 537 20 0 1 0 386923514 41791488 9818 33554432000 4194304 6006132 140735062486016 140735062477408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0 /proc/9491/statm: 10203 9818 178 443 0 9756 0 [pid=10628] ppid=9491 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10628/stat : 10628 (satsolver.sh) S 9491 9490 8864 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386973570 9367552 265 33554432000 4194304 5064252 140734102061856 140734102060768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/10628/statm: 2287 265 226 213 0 72 0 [pid=10629] ppid=10628 vsize=12000 CPUtime=1.32 cores=0,2,4,6 /proc/10629/stat : 10629 (glucose) R 10628 9490 8864 0 -1 4202496 3373 0 0 0 132 0 0 0 20 0 1 0 386973571 12288000 2641 33554432000 4194304 5208918 140734145784576 140734145782520 4229344 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/10629/statm: 3000 2641 104 248 0 2749 0 Current children cumulated CPU time (s) 501.35 Current children cumulated vsize (KiB) 71108 [startup+502.1 s] /proc/loadavg: 1.84 2.26 2.53 3/183 10629 /proc/meminfo: memFree=30571808/32873844 swapFree=7120/7120 [pid=9490] ppid=9488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9490/stat : 9490 (npSolver-wbo-It) S 9488 9490 8864 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386923514 9367552 275 33554432000 4194304 5064252 140733227455616 140733227454528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/9490/statm: 2287 275 233 213 0 72 0 [pid=9491] ppid=9490 vsize=40812 CPUtime=500.03 cores=0,2,4,6 /proc/9491/stat : 9491 (npSolver-wbo) S 9490 9490 8864 0 -1 4202496 216318 1115887 0 0 946 120 48400 537 20 0 1 0 386923514 41791488 9818 33554432000 4194304 6006132 140735062486016 140735062477408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0 /proc/9491/statm: 10203 9818 178 443 0 9756 0 [pid=10628] ppid=9491 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10628/stat : 10628 (satsolver.sh) S 9491 9490 8864 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386973570 9367552 265 33554432000 4194304 5064252 140734102061856 140734102060768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/10628/statm: 2287 265 226 213 0 72 0 [pid=10629] ppid=10628 vsize=12000 CPUtime=1.52 cores=0,2,4,6 /proc/10629/stat : 10629 (glucose) R 10628 9490 8864 0 -1 4202496 3448 0 0 0 152 0 0 0 20 0 1 0 386973571 12288000 2714 33554432000 4194304 5208918 140734145784576 140734145782520 4229776 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/10629/statm: 3000 2714 104 248 0 2749 0 Current children cumulated CPU time (s) 501.55 Current children cumulated vsize (KiB) 71108 Child status: 0 Real time (s): 502.162 CPU time (s): 501.637 CPU user time (s): 495.04 CPU system time (s): 6.597 CPU usage (%): 99.8955 Max. virtual memory (cumulated for all children) (KiB): 272764 getrusage(RUSAGE_CHILDREN,...) data: user time used= 495.04 system time used= 6.597 maximum resident set size= 151120 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1339598 page faults= 0 swaps= 0 block input operations= 8 block output operations= 1227256 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7364 involuntary context switches= 2222 runsolver used 0.964853 second user time and 2.48862 second system time The end
Begin job on node142 at 2012-06-09 04:13:06 IDJOB=3753442 IDBENCH=79633 IDSOLVER=2337 FILE ID=node142/3753442-1339207986 RUNJOBID= node142-1339205141-8880 PBS_JOBID= 14643874 Free space on /tmp= 71308 MiB SOLVER NAME= npSolver inc-topDown BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/logistics/normalized-logistics01cc_wcsp.wbo COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3753442-1339207986/watcher-3753442-1339207986 -o /tmp/evaluation-result-3753442-1339207986/solver-3753442-1339207986 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753442-1339207986.wbo 95173408 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0efbcca36ef016461f7a86cda6be3e66 RANDOM SEED=95173408 node142.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.776 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.776 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.776 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5391.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.776 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.776 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.776 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.776 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.776 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30656608 kB Buffers: 309288 kB Cached: 326960 kB SwapCached: 1388 kB Active: 1285556 kB Inactive: 25112 kB Active(anon): 672340 kB Inactive(anon): 3568 kB Active(file): 613216 kB Inactive(file): 21544 kB Unevictable: 7120 kB Mlocked: 7120 kB SwapTotal: 67108856 kB SwapFree: 67100560 kB Dirty: 12476 kB Writeback: 0 kB AnonPages: 681652 kB Mapped: 8980 kB Shmem: 4 kB Slab: 762852 kB SReclaimable: 203880 kB SUnreclaim: 558972 kB KernelStack: 1472 kB PageTables: 5440 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 917848 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 462848 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71300 MiB End job on node142 at 2012-06-09 04:21:29