Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pb_cplex 2010-07-01 | OPTIMUM | 106.533 | 44.8654 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/ academics/normalized-send_wcsp.wbo |
MD5SUM | 579550ba8a4368ea911c9080981cd647 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.511921 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 84 |
Total number of constraints | 11473 |
Number of soft constraints | 11462 |
Number of constraints which are clauses | 11462 |
Number of constraints which are cardinality constraints (but not clauses) | 11 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 10 |
Top cost | 1 |
Min constraint cost | 1 |
Max constraint cost | 1 |
Sum of constraints costs | 11462 |
Biggest number in a constraint | 4 |
Number of bits of the biggest number in a constraint | 3 |
Biggest sum of numbers in a constraint | 11 |
Number of bits of the biggest sum of numbers | 4 |
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.00 c pb_cplex 1.0 - 20100701 0.00/0.00 c Parsing wbo file format. File HOME/instance-2699485-1278533760.wbo. 0.00/0.00 c Instance file HOME/instance-2699485-1278533760.wbo 0.00/0.00 c File size is 507577 bytes. 25.79/25.85 c Highest Coefficient sum: 11 25.79/25.85 c IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ". 25.79/25.87 c ============================[ Problem Statistics ]============================= 25.79/25.87 c | | 25.79/25.87 c | Parsing time: 25.86 s | 25.79/25.87 c | Number Variables: 11546 | 25.79/25.87 c | Number Constraints: 11485 | 25.79/25.87 c =============================================================================== 106.45/44.85 c Remaining time 1774.14 sec. 106.45/44.85 s OPTIMUM FOUND 106.45/44.85 c Solution value = 0.00 106.45/44.85 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 106.45/44.85 c Total CPU time : 104.784 s
OK 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699485-1278533760/watcher-2699485-1278533760 -o /tmp/evaluation-result-2699485-1278533760/solver-2699485-1278533760 -C 1800 -W 2000 -M 3800 run HOME/instance-2699485-1278533760.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: 0.00 0.00 0.00 5/197 18359 /proc/meminfo: memFree=29776644/32950928 swapFree=67111528/67111528 [pid=18359] ppid=18357 vsize=8700 CPUtime=0 /proc/18359/stat : 18359 (run) S 18357 18359 18287 0 -1 4202496 366 0 0 0 0 0 0 0 20 0 1 0 21588584 8908800 249 4089446400 4194304 4922060 140733338076432 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/18359/statm: 2175 249 208 178 0 68 0 [startup+0.0690249 s] /proc/loadavg: 0.00 0.00 0.00 5/197 18359 /proc/meminfo: memFree=29776644/32950928 swapFree=67111528/67111528 [pid=18359] ppid=18357 vsize=8700 CPUtime=0 /proc/18359/stat : 18359 (run) S 18357 18359 18287 0 -1 4202496 366 0 0 0 0 0 0 0 20 0 1 0 21588584 8908800 249 4089446400 4194304 4922060 140733338076432 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/18359/statm: 2175 249 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101019 s] /proc/loadavg: 0.00 0.00 0.00 5/197 18359 /proc/meminfo: memFree=29776644/32950928 swapFree=67111528/67111528 [pid=18359] ppid=18357 vsize=8700 CPUtime=0 /proc/18359/stat : 18359 (run) S 18357 18359 18287 0 -1 4202496 366 0 0 0 0 0 0 0 20 0 1 0 21588584 8908800 249 4089446400 4194304 4922060 140733338076432 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/18359/statm: 2175 249 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300921 s] /proc/loadavg: 0.00 0.00 0.00 5/197 18359 /proc/meminfo: memFree=29776644/32950928 swapFree=67111528/67111528 [pid=18359] ppid=18357 vsize=8700 CPUtime=0 /proc/18359/stat : 18359 (run) S 18357 18359 18287 0 -1 4202496 366 0 0 0 0 0 0 0 20 0 1 0 21588584 8908800 249 4089446400 4194304 4922060 140733338076432 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/18359/statm: 2175 249 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700921 s] /proc/loadavg: 0.00 0.00 0.00 5/197 18359 /proc/meminfo: memFree=29776644/32950928 swapFree=67111528/67111528 [pid=18359] ppid=18357 vsize=8700 CPUtime=0 /proc/18359/stat : 18359 (run) S 18357 18359 18287 0 -1 4202496 366 0 0 0 0 0 0 0 20 0 1 0 21588584 8908800 249 4089446400 4194304 4922060 140733338076432 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/18359/statm: 2175 249 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50076 s] /proc/loadavg: 0.00 0.00 0.00 2/178 18364 /proc/meminfo: memFree=29906500/32950928 swapFree=67111528/67111528 [pid=18359] ppid=18357 vsize=8700 CPUtime=0 /proc/18359/stat : 18359 (run) S 18357 18359 18287 0 -1 4202496 366 0 0 0 0 0 0 0 20 0 1 0 21588584 8908800 249 4089446400 4194304 4922060 140733338076432 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/18359/statm: 2175 249 208 178 0 68 0 [pid=18360] ppid=18359 vsize=14508 CPUtime=1.49 /proc/18360/stat : 18360 (pb_cplex) R 18359 18359 18287 0 -1 4202496 742 0 0 0 149 0 0 0 25 0 1 0 21588585 14856192 695 4089446400 134512640 146736320 4293901952 18446744073709551615 134814122 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/18360/statm: 3627 695 315 2985 0 437 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23208 [startup+3.10046 s] /proc/loadavg: 0.00 0.00 0.00 2/175 18381 /proc/meminfo: memFree=29906384/32950928 swapFree=67111528/67111528 [pid=18359] ppid=18357 vsize=8700 CPUtime=0 /proc/18359/stat : 18359 (run) S 18357 18359 18287 0 -1 4202496 366 0 0 0 0 0 0 0 20 0 1 0 21588584 8908800 249 4089446400 4194304 4922060 140733338076432 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/18359/statm: 2175 249 208 178 0 68 0 [pid=18360] ppid=18359 vsize=15052 CPUtime=3.09 /proc/18360/stat : 18360 (pb_cplex) R 18359 18359 18287 0 -1 4202496 881 0 0 0 309 0 0 0 25 0 1 0 21588585 15413248 834 4089446400 134512640 146736320 4293901952 18446744073709551615 140681168 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/18360/statm: 3763 834 329 2985 0 573 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23752 [startup+6.30084 s] /proc/loadavg: 0.08 0.02 0.01 2/175 18381 /proc/meminfo: memFree=29906220/32950928 swapFree=67111528/67111528 [pid=18359] ppid=18357 vsize=8700 CPUtime=0 /proc/18359/stat : 18359 (run) S 18357 18359 18287 0 -1 4202496 366 0 0 0 0 0 0 0 20 0 1 0 21588584 8908800 249 4089446400 4194304 4922060 140733338076432 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/18359/statm: 2175 249 208 178 0 68 0 [pid=18360] ppid=18359 vsize=15924 CPUtime=6.29 /proc/18360/stat : 18360 (pb_cplex) R 18359 18359 18287 0 -1 4202496 1112 0 0 0 629 0 0 0 25 0 1 0 21588585 16306176 1065 4089446400 134512640 146736320 4293901952 18446744073709551615 141028083 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/18360/statm: 3981 1065 348 2985 0 791 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24624 [startup+12.7006 s] /proc/loadavg: 0.15 0.03 0.01 2/175 18381 /proc/meminfo: memFree=29906356/32950928 swapFree=67111528/67111528 [pid=18359] ppid=18357 vsize=8700 CPUtime=0 /proc/18359/stat : 18359 (run) S 18357 18359 18287 0 -1 4202496 366 0 0 0 0 0 0 0 20 0 1 0 21588584 8908800 249 4089446400 4194304 4922060 140733338076432 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/18359/statm: 2175 249 208 178 0 68 0 [pid=18360] ppid=18359 vsize=17028 CPUtime=12.69 /proc/18360/stat : 18360 (pb_cplex) R 18359 18359 18287 0 -1 4202496 1422 0 0 0 1269 0 0 0 25 0 1 0 21588585 17436672 1375 4089446400 134512640 146736320 4293901952 18446744073709551615 140528736 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/18360/statm: 4257 1375 376 2985 0 1067 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25728 [startup+25.5011 s] /proc/loadavg: 0.34 0.08 0.02 2/175 18381 /proc/meminfo: memFree=29906036/32950928 swapFree=67111528/67111528 [pid=18359] ppid=18357 vsize=8700 CPUtime=0 /proc/18359/stat : 18359 (run) S 18357 18359 18287 0 -1 4202496 366 0 0 0 0 0 0 0 20 0 1 0 21588584 8908800 249 4089446400 4194304 4922060 140733338076432 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/18359/statm: 2175 249 208 178 0 68 0 [pid=18360] ppid=18359 vsize=18588 CPUtime=25.49 /proc/18360/stat : 18360 (pb_cplex) R 18359 18359 18287 0 -1 4202496 1821 0 0 0 2549 0 0 0 25 0 1 0 21588585 19034112 1774 4089446400 134512640 146736320 4293901952 18446744073709551615 140684635 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/18360/statm: 4647 1774 410 2985 0 1457 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 27288 Solver just ended. Dumping a history of the last processes samples [startup+38.3006 s] /proc/loadavg: 0.52 0.13 0.04 7/182 18410 /proc/meminfo: memFree=29765860/32950928 swapFree=67111528/67111528 [pid=18359] ppid=18357 vsize=8700 CPUtime=0 /proc/18359/stat : 18359 (run) S 18357 18359 18287 0 -1 4202496 366 0 0 0 0 0 0 0 20 0 1 0 21588584 8908800 249 4089446400 4194304 4922060 140733338076432 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/18359/statm: 2175 249 208 178 0 68 0 [pid=18360] ppid=18359 vsize=251704 CPUtime=76.28 /proc/18360/stat : 18360 (pb_cplex) R 18359 18359 18287 0 -1 4202496 362929 0 0 0 7511 117 0 0 16 0 8 0 21588585 257744896 36781 4089446400 134512640 146736320 4293901952 18446744073709551615 139023058 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/18360/statm: 62926 36781 1099 2985 0 59468 0 [pid=18360/tid=18404] ppid=18359 vsize=251704 CPUtime=5.51 /proc/18360/task/18404/stat : 18404 (pb_cplex) R 18359 18359 18287 0 -1 4202560 45336 0 0 0 535 16 0 0 15 0 8 0 21591608 257744896 36781 4089446400 134512640 146736320 4293901952 18446744073709551615 144798020 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=18360/tid=18405] ppid=18359 vsize=251704 CPUtime=5.05 /proc/18360/task/18405/stat : 18405 (pb_cplex) R 18359 18359 18287 0 -1 4202560 7308 0 0 0 501 4 0 0 15 0 8 0 21591608 257744896 36781 4089446400 134512640 146736320 4293901952 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 [pid=18360/tid=18406] ppid=18359 vsize=251704 CPUtime=5.52 /proc/18360/task/18406/stat : 18406 (pb_cplex) R 18359 18359 18287 0 -1 4202560 27194 0 0 0 539 13 0 0 15 0 8 0 21591608 257744896 36781 4089446400 134512640 146736320 4293901952 18446744073709551615 135454178 0 2 4096 16387 0 0 0 -1 3 0 0 0 [pid=18360/tid=18407] ppid=18359 vsize=251704 CPUtime=5.15 /proc/18360/task/18407/stat : 18407 (pb_cplex) R 18359 18359 18287 0 -1 4202560 12563 0 0 0 508 7 0 0 16 0 8 0 21591608 257744896 36781 4089446400 134512640 146736320 4293901952 18446744073709551615 135454174 0 2 4096 16387 0 0 0 -1 6 0 0 0 [pid=18360/tid=18408] ppid=18359 vsize=251704 CPUtime=5.05 /proc/18360/task/18408/stat : 18408 (pb_cplex) R 18359 18359 18287 0 -1 4202560 19404 0 0 0 496 9 0 0 15 0 8 0 21591608 257744896 36788 4089446400 134512640 146736320 4293901952 18446744073709551615 135454131 0 2 4096 16387 0 0 0 -1 0 0 0 0 [pid=18360/tid=18409] ppid=18359 vsize=251704 CPUtime=5.34 /proc/18360/task/18409/stat : 18409 (pb_cplex) R 18359 18359 18287 0 -1 4202560 23940 0 0 0 524 10 0 0 15 0 8 0 21591608 257744896 36796 4089446400 134512640 146736320 4293901952 18446744073709551615 136403129 0 2 4096 16387 0 0 0 -1 2 0 0 0 [pid=18360/tid=18410] ppid=18359 vsize=251704 CPUtime=4.89 /proc/18360/task/18410/stat : 18410 (pb_cplex) R 18359 18359 18287 0 -1 4202560 21379 0 0 0 479 10 0 0 15 0 8 0 21591608 257744896 36796 4089446400 134512640 146736320 4293901952 18446744073709551615 139023093 0 2 4096 16387 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 76.28 Current children cumulated vsize (KiB) 260404 [startup+41.501 s] /proc/loadavg: 0.88 0.21 0.07 10/187 18427 /proc/meminfo: memFree=29457704/32950928 swapFree=67111528/67111528 [pid=18359] ppid=18357 vsize=8700 CPUtime=0 /proc/18359/stat : 18359 (run) S 18357 18359 18287 0 -1 4202496 366 0 0 0 0 0 0 0 20 0 1 0 21588584 8908800 249 4089446400 4194304 4922060 140733338076432 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/18359/statm: 2175 249 208 178 0 68 0 [pid=18360] ppid=18359 vsize=249028 CPUtime=91.31 /proc/18360/stat : 18360 (pb_cplex) S 18359 18359 18287 0 -1 4202496 394222 0 0 0 8987 144 0 0 16 0 8 0 21588585 255004672 37758 4089446400 134512640 146736320 4293901952 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/18360/statm: 62257 37758 1100 2985 0 58799 0 [pid=18360/tid=18421] ppid=18359 vsize=249028 CPUtime=1.15 /proc/18360/task/18421/stat : 18421 (pb_cplex) R 18359 18359 18287 0 -1 4202560 1010 0 0 0 113 2 0 0 17 0 8 0 21592478 255004672 37758 4089446400 134512640 146736320 4293901952 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 [pid=18360/tid=18422] ppid=18359 vsize=249028 CPUtime=1.5 /proc/18360/task/18422/stat : 18422 (pb_cplex) S 18359 18359 18287 0 -1 4202560 5505 0 0 0 148 2 0 0 16 0 8 0 21592478 255004672 37758 4089446400 134512640 146736320 4293901952 18446744073709551615 144580073 0 2 4096 16387 18446604468992714752 0 0 -1 4 0 0 0 [pid=18360/tid=18423] ppid=18359 vsize=249028 CPUtime=1.6 /proc/18360/task/18423/stat : 18423 (pb_cplex) S 18359 18359 18287 0 -1 4202560 1915 0 0 0 158 2 0 0 16 0 8 0 21592478 255004672 37758 4089446400 134512640 146736320 4293901952 18446744073709551615 144580073 0 2 4096 16387 18446604468992714752 0 0 -1 5 0 0 0 [pid=18360/tid=18424] ppid=18359 vsize=249028 CPUtime=1.54 /proc/18360/task/18424/stat : 18424 (pb_cplex) S 18359 18359 18287 0 -1 4202560 5828 0 0 0 152 2 0 0 15 0 8 0 21592478 255004672 37758 4089446400 134512640 146736320 4293901952 18446744073709551615 144580073 0 2 4096 16387 18446604468992714752 0 0 -1 2 0 0 0 [pid=18360/tid=18425] ppid=18359 vsize=249028 CPUtime=1.59 /proc/18360/task/18425/stat : 18425 (pb_cplex) S 18359 18359 18287 0 -1 4202560 5378 0 0 0 156 3 0 0 15 0 8 0 21592478 255004672 37758 4089446400 134512640 146736320 4293901952 18446744073709551615 144580073 0 2 4096 16387 18446604468992714752 0 0 -1 1 0 0 0 [pid=18360/tid=18426] ppid=18359 vsize=249028 CPUtime=1.48 /proc/18360/task/18426/stat : 18426 (pb_cplex) S 18359 18359 18287 0 -1 4202560 1570 0 0 0 146 2 0 0 16 0 8 0 21592478 255004672 37758 4089446400 134512640 146736320 4293901952 18446744073709551615 144580073 0 2 4096 16387 18446604468992714752 0 0 -1 7 0 0 0 [pid=18360/tid=18427] ppid=18359 vsize=249028 CPUtime=1.53 /proc/18360/task/18427/stat : 18427 (pb_cplex) S 18359 18359 18287 0 -1 4202560 1437 0 0 0 150 3 0 0 16 0 8 0 21592478 255004672 37758 4089446400 134512640 146736320 4293901952 18446744073709551615 144580073 0 2 4096 16387 18446604468992714752 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 91.31 Current children cumulated vsize (KiB) 257728 [startup+43.1007 s] /proc/loadavg: 0.97 0.24 0.08 10/187 18427 /proc/meminfo: memFree=29456588/32950928 swapFree=67111528/67111528 [pid=18359] ppid=18357 vsize=8700 CPUtime=0 /proc/18359/stat : 18359 (run) S 18357 18359 18287 0 -1 4202496 366 0 0 0 0 0 0 0 20 0 1 0 21588584 8908800 249 4089446400 4194304 4922060 140733338076432 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/18359/statm: 2175 249 208 178 0 68 0 [pid=18360] ppid=18359 vsize=249028 CPUtime=98.78 /proc/18360/stat : 18360 (pb_cplex) S 18359 18359 18287 0 -1 4202496 412038 0 0 0 9719 159 0 0 15 0 8 0 21588585 255004672 37801 4089446400 134512640 146736320 4293901952 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/18360/statm: 62257 37801 1100 2985 0 58799 0 [pid=18360/tid=18421] ppid=18359 vsize=249028 CPUtime=1.84 /proc/18360/task/18421/stat : 18421 (pb_cplex) R 18359 18359 18287 0 -1 4202560 1812 0 0 0 181 3 0 0 18 0 8 0 21592478 255004672 37801 4089446400 134512640 146736320 4293901952 18446744073709551615 135850288 0 2 4096 16387 0 0 0 -1 0 0 0 0 [pid=18360/tid=18422] ppid=18359 vsize=249028 CPUtime=2.46 /proc/18360/task/18422/stat : 18422 (pb_cplex) S 18359 18359 18287 0 -1 4202560 8152 0 0 0 241 5 0 0 15 0 8 0 21592478 255004672 37801 4089446400 134512640 146736320 4293901952 18446744073709551615 144580073 0 2 4096 16387 18446604468992714752 0 0 -1 4 0 0 0 [pid=18360/tid=18423] ppid=18359 vsize=249028 CPUtime=2.58 /proc/18360/task/18423/stat : 18423 (pb_cplex) S 18359 18359 18287 0 -1 4202560 3373 0 0 0 254 4 0 0 15 0 8 0 21592478 255004672 37801 4089446400 134512640 146736320 4293901952 18446744073709551615 144580073 0 2 4096 16387 18446604468992714752 0 0 -1 5 0 0 0 [pid=18360/tid=18424] ppid=18359 vsize=249028 CPUtime=2.49 /proc/18360/task/18424/stat : 18424 (pb_cplex) S 18359 18359 18287 0 -1 4202560 8219 0 0 0 246 3 0 0 16 0 8 0 21592478 255004672 37801 4089446400 134512640 146736320 4293901952 18446744073709551615 144580073 0 2 4096 16387 18446604468992714752 0 0 -1 2 0 0 0 [pid=18360/tid=18425] ppid=18359 vsize=249028 CPUtime=2.56 /proc/18360/task/18425/stat : 18425 (pb_cplex) S 18359 18359 18287 0 -1 4202560 7717 0 0 0 251 5 0 0 15 0 8 0 21592478 255004672 37801 4089446400 134512640 146736320 4293901952 18446744073709551615 144580073 0 2 4096 16387 18446604468992714752 0 0 -1 1 0 0 0 [pid=18360/tid=18426] ppid=18359 vsize=249028 CPUtime=2.44 /proc/18360/task/18426/stat : 18426 (pb_cplex) S 18359 18359 18287 0 -1 4202560 2345 0 0 0 240 4 0 0 15 0 8 0 21592478 255004672 37801 4089446400 134512640 146736320 4293901952 18446744073709551615 144580073 0 2 4096 16387 18446604468992714752 0 0 -1 7 0 0 0 [pid=18360/tid=18427] ppid=18359 vsize=249028 CPUtime=2.51 /proc/18360/task/18427/stat : 18427 (pb_cplex) S 18359 18359 18287 0 -1 4202560 5682 0 0 0 246 5 0 0 15 0 8 0 21592478 255004672 37801 4089446400 134512640 146736320 4293901952 18446744073709551615 144580073 0 2 4096 16387 18446604468992714752 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 98.78 Current children cumulated vsize (KiB) 257728 [startup+43.9005 s] /proc/loadavg: 0.97 0.24 0.08 3/187 18427 /proc/meminfo: memFree=29456836/32950928 swapFree=67111528/67111528 [pid=18359] ppid=18357 vsize=8700 CPUtime=0 /proc/18359/stat : 18359 (run) S 18357 18359 18287 0 -1 4202496 366 0 0 0 0 0 0 0 20 0 1 0 21588584 8908800 249 4089446400 4194304 4922060 140733338076432 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/18359/statm: 2175 249 208 178 0 68 0 [pid=18360] ppid=18359 vsize=249028 CPUtime=102.78 /proc/18360/stat : 18360 (pb_cplex) S 18359 18359 18287 0 -1 4202496 416623 0 0 0 10113 165 0 0 15 0 8 0 21588585 255004672 37808 4089446400 134512640 146736320 4293901952 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/18360/statm: 62257 37808 1099 2985 0 58799 0 [pid=18360/tid=18421] ppid=18359 vsize=249028 CPUtime=2.24 /proc/18360/task/18421/stat : 18421 (pb_cplex) R 18359 18359 18287 0 -1 4202560 2700 0 0 0 220 4 0 0 18 0 8 0 21592478 255004672 37808 4089446400 134512640 146736320 4293901952 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 [pid=18360/tid=18422] ppid=18359 vsize=249028 CPUtime=2.93 /proc/18360/task/18422/stat : 18422 (pb_cplex) S 18359 18359 18287 0 -1 4202560 8807 0 0 0 288 5 0 0 15 0 8 0 21592478 255004672 37808 4089446400 134512640 146736320 4293901952 18446744073709551615 144580073 0 2 4096 16387 18446604468992714752 0 0 -1 4 0 0 0 [pid=18360/tid=18423] ppid=18359 vsize=249028 CPUtime=3.12 /proc/18360/task/18423/stat : 18423 (pb_cplex) S 18359 18359 18287 0 -1 4202560 3373 0 0 0 308 4 0 0 15 0 8 0 21592478 255004672 37808 4089446400 134512640 146736320 4293901952 18446744073709551615 144580073 0 2 4096 16387 18446604468992714752 0 0 -1 5 0 0 0 [pid=18360/tid=18424] ppid=18359 vsize=249028 CPUtime=2.98 /proc/18360/task/18424/stat : 18424 (pb_cplex) S 18359 18359 18287 0 -1 4202560 8219 0 0 0 294 4 0 0 15 0 8 0 21592478 255004672 37808 4089446400 134512640 146736320 4293901952 18446744073709551615 144580073 0 2 4096 16387 18446604468992714752 0 0 -1 2 0 0 0 [pid=18360/tid=18425] ppid=18359 vsize=249028 CPUtime=3.1 /proc/18360/task/18425/stat : 18425 (pb_cplex) S 18359 18359 18287 0 -1 4202560 9195 0 0 0 304 6 0 0 15 0 8 0 21592478 255004672 37808 4089446400 134512640 146736320 4293901952 18446744073709551615 144580073 0 2 4096 16387 18446604468992714752 0 0 -1 7 0 0 0 [pid=18360/tid=18426] ppid=18359 vsize=249028 CPUtime=2.96 /proc/18360/task/18426/stat : 18426 (pb_cplex) S 18359 18359 18287 0 -1 4202560 3121 0 0 0 291 5 0 0 15 0 8 0 21592478 255004672 37808 4089446400 134512640 146736320 4293901952 18446744073709551615 144580073 0 2 4096 16387 18446604468992714752 0 0 -1 6 0 0 0 [pid=18360/tid=18427] ppid=18359 vsize=249028 CPUtime=3.05 /proc/18360/task/18427/stat : 18427 (pb_cplex) S 18359 18359 18287 0 -1 4202560 5682 0 0 0 299 6 0 0 15 0 8 0 21592478 255004672 37808 4089446400 134512640 146736320 4293901952 18446744073709551615 144580073 0 2 4096 16387 18446604468992714752 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 102.78 Current children cumulated vsize (KiB) 257728 [startup+44.3024 s] /proc/loadavg: 0.97 0.24 0.08 3/187 18427 /proc/meminfo: memFree=29456836/32950928 swapFree=67111528/67111528 [pid=18359] ppid=18357 vsize=8700 CPUtime=0 /proc/18359/stat : 18359 (run) S 18357 18359 18287 0 -1 4202496 366 0 0 0 0 0 0 0 20 0 1 0 21588584 8908800 249 4089446400 4194304 4922060 140733338076432 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/18359/statm: 2175 249 208 178 0 68 0 [pid=18360] ppid=18359 vsize=249028 CPUtime=104.61 /proc/18360/stat : 18360 (pb_cplex) R 18359 18359 18287 0 -1 4202496 422674 0 0 0 10291 170 0 0 15 0 8 0 21588585 255004672 37813 4089446400 134512640 146736320 4293901952 18446744073709551615 135443538 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/18360/statm: 62257 37813 1099 2985 0 58799 0 [pid=18360/tid=18421] ppid=18359 vsize=249028 CPUtime=2.4 /proc/18360/task/18421/stat : 18421 (pb_cplex) R 18359 18359 18287 0 -1 4202560 2788 0 0 0 236 4 0 0 18 0 8 0 21592478 255004672 37813 4089446400 134512640 146736320 4293901952 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 [pid=18360/tid=18422] ppid=18359 vsize=249028 CPUtime=3.16 /proc/18360/task/18422/stat : 18422 (pb_cplex) S 18359 18359 18287 0 -1 4202560 9835 0 0 0 310 6 0 0 15 0 8 0 21592478 255004672 37813 4089446400 134512640 146736320 4293901952 18446744073709551615 144580073 0 2 4096 16387 18446604468992714752 0 0 -1 4 0 0 0 [pid=18360/tid=18423] ppid=18359 vsize=249028 CPUtime=3.36 /proc/18360/task/18423/stat : 18423 (pb_cplex) S 18359 18359 18287 0 -1 4202560 4137 0 0 0 331 5 0 0 15 0 8 0 21592478 255004672 37813 4089446400 134512640 146736320 4293901952 18446744073709551615 144580073 0 2 4096 16387 18446604468992714752 0 0 -1 5 0 0 0 [pid=18360/tid=18424] ppid=18359 vsize=249028 CPUtime=3.22 /proc/18360/task/18424/stat : 18424 (pb_cplex) S 18359 18359 18287 0 -1 4202560 9584 0 0 0 318 4 0 0 16 0 8 0 21592478 255004672 37813 4089446400 134512640 146736320 4293901952 18446744073709551615 144580073 0 2 4096 16387 18446604468992714752 0 0 -1 2 0 0 0 [pid=18360/tid=18425] ppid=18359 vsize=249028 CPUtime=3.33 /proc/18360/task/18425/stat : 18425 (pb_cplex) R 18359 18359 18287 0 -1 4202560 10619 0 0 0 326 7 0 0 16 0 8 0 21592478 255004672 37813 4089446400 134512640 146736320 4293901952 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=18360/tid=18426] ppid=18359 vsize=249028 CPUtime=3.2 /proc/18360/task/18426/stat : 18426 (pb_cplex) R 18359 18359 18287 0 -1 4202560 3833 0 0 0 315 5 0 0 16 0 8 0 21592478 255004672 37813 4089446400 134512640 146736320 4293901952 18446744073709551615 135850063 0 2 4096 16387 0 0 0 -1 6 0 0 0 [pid=18360/tid=18427] ppid=18359 vsize=249028 CPUtime=3.3 /proc/18360/task/18427/stat : 18427 (pb_cplex) R 18359 18359 18287 0 -1 4202560 5682 0 0 0 323 7 0 0 16 0 8 0 21592478 255004672 37813 4089446400 134512640 146736320 4293901952 18446744073709551615 135526874 0 2 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 104.61 Current children cumulated vsize (KiB) 257728 [startup+44.7014 s] /proc/loadavg: 0.97 0.24 0.08 3/187 18427 /proc/meminfo: memFree=29456836/32950928 swapFree=67111528/67111528 [pid=18359] ppid=18357 vsize=8700 CPUtime=0 /proc/18359/stat : 18359 (run) S 18357 18359 18287 0 -1 4202496 366 0 0 0 0 0 0 0 20 0 1 0 21588584 8908800 249 4089446400 4194304 4922060 140733338076432 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/18359/statm: 2175 249 208 178 0 68 0 [pid=18360] ppid=18359 vsize=185460 CPUtime=106.35 /proc/18360/stat : 18360 (pb_cplex) R 18359 18359 18287 0 -1 4202496 426009 0 0 0 10462 173 0 0 16 0 1 0 21588585 189911040 30194 4089446400 134512640 146736320 4293901952 18446744073709551615 136765696 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18360/statm: 46365 30194 1105 2985 0 42907 0 Current children cumulated CPU time (s) 106.35 Current children cumulated vsize (KiB) 194160 [startup+44.8004 s] /proc/loadavg: 0.97 0.24 0.08 3/187 18427 /proc/meminfo: memFree=29456836/32950928 swapFree=67111528/67111528 [pid=18359] ppid=18357 vsize=8700 CPUtime=0 /proc/18359/stat : 18359 (run) S 18357 18359 18287 0 -1 4202496 366 0 0 0 0 0 0 0 20 0 1 0 21588584 8908800 249 4089446400 4194304 4922060 140733338076432 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0 /proc/18359/statm: 2175 249 208 178 0 68 0 [pid=18360] ppid=18359 vsize=185460 CPUtime=106.45 /proc/18360/stat : 18360 (pb_cplex) R 18359 18359 18287 0 -1 4202496 426009 0 0 0 10472 173 0 0 16 0 1 0 21588585 189911040 30194 4089446400 134512640 146736320 4293901952 18446744073709551615 136765704 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/18360/statm: 46365 30194 1105 2985 0 42907 0 Current children cumulated CPU time (s) 106.45 Current children cumulated vsize (KiB) 194160 Child status: 0 Real time (s): 44.8654 CPU time (s): 106.533 CPU user time (s): 104.787 CPU system time (s): 1.74573 CPU usage (%): 237.45 Max. virtual memory (cumulated for all children) (KiB): 312932 getrusage(RUSAGE_CHILDREN,...) data: user time used= 104.787 system time used= 1.74573 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 426398 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= 35414 involuntary context switches= 1024 runsolver used 0.078987 second user time and 0.144977 second system time The end
Begin job on node148 at 2010-07-07 22:16:00 IDJOB=2699485 IDBENCH=79348 IDSOLVER=1210 FILE ID=node148/2699485-1278533760 PBS_JOBID= 11239181 Free space on /tmp= 73724 MiB SOLVER NAME= pb_cplex 2010-07-01 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/academics/normalized-send_wcsp.wbo COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699485-1278533760/watcher-2699485-1278533760 -o /tmp/evaluation-result-2699485-1278533760/solver-2699485-1278533760 -C 1800 -W 2000 -M 3800 run HOME/instance-2699485-1278533760.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 579550ba8a4368ea911c9080981cd647 RANDOM SEED=291721097 node148.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.825 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.65 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.825 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.825 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.825 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.77 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.825 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.825 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.75 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.825 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.83 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.825 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29777420 kB Buffers: 137924 kB Cached: 2685672 kB SwapCached: 0 kB Active: 1123804 kB Inactive: 1894300 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29777420 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 17656 kB Writeback: 0 kB AnonPages: 195012 kB Mapped: 19512 kB Slab: 92100 kB PageTables: 5356 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1656700 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= 73700 MiB End job on node148 at 2010-07-07 22:16:45