Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pb_cplex 2010-07-01 | ? (TO) | 1800.11 | 714.934 |
Name | /PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf8.ucl--soft-33-100-0.wbo |
MD5SUM | 0f4cdf827473fd69202dfaa2ec82572c |
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 | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.32295 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 6832 |
Total number of constraints | 19477 |
Number of soft constraints | 13064 |
Number of constraints which are clauses | 18953 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 524 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
Top cost | 665815 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 665814 |
Biggest number in a constraint | 33 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 126 |
Number of bits of the biggest sum of numbers | 7 |
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-2697502-1278055358.wbo. 0.00/0.00 c Instance file HOME/instance-2697502-1278055358.wbo 0.00/0.00 c File size is 641753 bytes. 34.37/34.44 c Highest Coefficient sum: 126 34.37/34.44 c IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ". 34.37/34.45 c ============================[ Problem Statistics ]============================= 34.37/34.45 c | | 34.37/34.45 c | Parsing time: 34.43 s | 34.37/34.45 c | Number Variables: 19896 | 34.37/34.46 c | Number Constraints: 19478 | 34.37/34.46 c =============================================================================== 1800.11/714.93 c Remaining time 1765.57 sec. 1800.11/714.93 c 1800.11/714.93 c *** INTERRUPTED *** 1800.11/714.93 s UNKNOWN 1800.11/714.93 c Total CPU time : 1797.91 s 1800.11/714.93 c Memory used : 357.18 MB 1800.11/714.93 c CPU time : 1797.91 s 1800.11/714.93 c 1800.11/714.93 c *** INTERRUPTED ***
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2697502-1278055358/watcher-2697502-1278055358 -o /tmp/evaluation-result-2697502-1278055358/solver-2697502-1278055358 -C 1800 -W 2000 -M 3800 run HOME/instance-2697502-1278055358.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: 8.88 7.26 3.71 3/179 21643 /proc/meminfo: memFree=31558112/32950928 swapFree=67111528/67111528 [pid=21643] ppid=21641 vsize=8700 CPUtime=0 /proc/21643/stat : 21643 (run) S 21641 21643 21119 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146832486 8908800 248 4089446400 4194304 4922060 140734094789248 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/21643/statm: 2175 248 208 178 0 68 0 [startup+0.0969759 s] /proc/loadavg: 8.88 7.26 3.71 3/179 21643 /proc/meminfo: memFree=31558112/32950928 swapFree=67111528/67111528 [pid=21643] ppid=21641 vsize=8700 CPUtime=0 /proc/21643/stat : 21643 (run) S 21641 21643 21119 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146832486 8908800 248 4089446400 4194304 4922060 140734094789248 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/21643/statm: 2175 248 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100975 s] /proc/loadavg: 8.88 7.26 3.71 3/179 21643 /proc/meminfo: memFree=31558112/32950928 swapFree=67111528/67111528 [pid=21643] ppid=21641 vsize=8700 CPUtime=0 /proc/21643/stat : 21643 (run) S 21641 21643 21119 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146832486 8908800 248 4089446400 4194304 4922060 140734094789248 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/21643/statm: 2175 248 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300939 s] /proc/loadavg: 8.88 7.26 3.71 3/179 21643 /proc/meminfo: memFree=31558112/32950928 swapFree=67111528/67111528 [pid=21643] ppid=21641 vsize=8700 CPUtime=0 /proc/21643/stat : 21643 (run) S 21641 21643 21119 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146832486 8908800 248 4089446400 4194304 4922060 140734094789248 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/21643/statm: 2175 248 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700869 s] /proc/loadavg: 8.88 7.26 3.71 3/179 21643 /proc/meminfo: memFree=31558112/32950928 swapFree=67111528/67111528 [pid=21643] ppid=21641 vsize=8700 CPUtime=0 /proc/21643/stat : 21643 (run) S 21641 21643 21119 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146832486 8908800 248 4089446400 4194304 4922060 140734094789248 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/21643/statm: 2175 248 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50073 s] /proc/loadavg: 8.88 7.26 3.71 3/181 21645 /proc/meminfo: memFree=31554500/32950928 swapFree=67111528/67111528 [pid=21643] ppid=21641 vsize=8700 CPUtime=0 /proc/21643/stat : 21643 (run) S 21641 21643 21119 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146832486 8908800 248 4089446400 4194304 4922060 140734094789248 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/21643/statm: 2175 248 208 178 0 68 0 [pid=21644] ppid=21643 vsize=15176 CPUtime=1.49 /proc/21644/stat : 21644 (pb_cplex) R 21643 21643 21119 0 -1 4202496 855 0 0 0 149 0 0 0 25 0 1 0 146832486 15540224 809 4089446400 134512640 146736320 4290673728 18446744073709551615 134814122 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/21644/statm: 3794 809 316 2985 0 571 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23876 [startup+3.10044 s] /proc/loadavg: 8.33 7.17 3.70 3/181 21645 /proc/meminfo: memFree=31553136/32950928 swapFree=67111528/67111528 [pid=21643] ppid=21641 vsize=8700 CPUtime=0 /proc/21643/stat : 21643 (run) S 21641 21643 21119 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146832486 8908800 248 4089446400 4194304 4922060 140734094789248 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/21643/statm: 2175 248 208 178 0 68 0 [pid=21644] ppid=21643 vsize=15864 CPUtime=3.09 /proc/21644/stat : 21644 (pb_cplex) R 21643 21643 21119 0 -1 4202496 1039 0 0 0 309 0 0 0 25 0 1 0 146832486 16244736 993 4089446400 134512640 146736320 4290673728 18446744073709551615 140681235 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/21644/statm: 3966 993 329 2985 0 743 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24564 [startup+6.3009 s] /proc/loadavg: 8.33 7.17 3.70 3/181 21645 /proc/meminfo: memFree=31551028/32950928 swapFree=67111528/67111528 [pid=21643] ppid=21641 vsize=8700 CPUtime=0 /proc/21643/stat : 21643 (run) S 21641 21643 21119 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146832486 8908800 248 4089446400 4194304 4922060 140734094789248 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/21643/statm: 2175 248 208 178 0 68 0 [pid=21644] ppid=21643 vsize=16888 CPUtime=6.29 /proc/21644/stat : 21644 (pb_cplex) R 21643 21643 21119 0 -1 4202496 1307 0 0 0 629 0 0 0 25 0 1 0 146832486 17293312 1261 4089446400 134512640 146736320 4290673728 18446744073709551615 140679052 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/21644/statm: 4222 1261 348 2985 0 999 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25588 [startup+12.7008 s] /proc/loadavg: 7.35 7.00 3.68 3/181 21645 /proc/meminfo: memFree=31526632/32950928 swapFree=67111528/67111528 [pid=21643] ppid=21641 vsize=8700 CPUtime=0 /proc/21643/stat : 21643 (run) S 21641 21643 21119 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146832486 8908800 248 4089446400 4194304 4922060 140734094789248 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/21643/statm: 2175 248 208 178 0 68 0 [pid=21644] ppid=21643 vsize=18664 CPUtime=12.69 /proc/21644/stat : 21644 (pb_cplex) R 21643 21643 21119 0 -1 4202496 1791 0 0 0 1269 0 0 0 25 0 1 0 146832486 19111936 1712 4089446400 134512640 146736320 4290673728 18446744073709551615 134814118 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/21644/statm: 4666 1712 376 2985 0 1443 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27364 [startup+25.5005 s] /proc/loadavg: 6.53 6.83 3.67 3/188 21660 /proc/meminfo: memFree=31376744/32950928 swapFree=67111528/67111528 [pid=21643] ppid=21641 vsize=8700 CPUtime=0 /proc/21643/stat : 21643 (run) S 21641 21643 21119 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146832486 8908800 248 4089446400 4194304 4922060 140734094789248 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/21643/statm: 2175 248 208 178 0 68 0 [pid=21644] ppid=21643 vsize=20484 CPUtime=25.49 /proc/21644/stat : 21644 (pb_cplex) R 21643 21643 21119 0 -1 4202496 2269 0 0 0 2549 0 0 0 25 0 1 0 146832486 20975616 2190 4089446400 134512640 146736320 4290673728 18446744073709551615 134814122 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/21644/statm: 5121 2190 413 2985 0 1898 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 29184 [startup+51.101 s] /proc/loadavg: 5.44 6.57 3.66 5/188 21668 /proc/meminfo: memFree=31230076/32950928 swapFree=67111528/67111528 [pid=21643] ppid=21641 vsize=8700 CPUtime=0 /proc/21643/stat : 21643 (run) S 21641 21643 21119 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146832486 8908800 248 4089446400 4194304 4922060 140734094789248 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/21643/statm: 2175 248 208 178 0 68 0 [pid=21644] ppid=21643 vsize=412456 CPUtime=65.96 /proc/21644/stat : 21644 (pb_cplex) S 21643 21643 21119 0 -1 4202496 173685 0 0 0 6568 28 0 0 19 0 8 0 146832486 422354944 57421 4089446400 134512640 146736320 4290673728 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 /proc/21644/statm: 103114 57421 1159 2985 0 99656 0 [pid=21644/tid=21662] ppid=21643 vsize=412456 CPUtime=2.32 /proc/21644/task/21662/stat : 21662 (pb_cplex) R 21643 21643 21119 0 -1 4202560 5212 0 0 0 232 0 0 0 21 0 8 0 146837180 422354944 57421 4089446400 134512640 146736320 4290673728 18446744073709551615 136007599 0 2 4096 16387 0 0 0 -1 3 0 0 0 [pid=21644/tid=21663] ppid=21643 vsize=412456 CPUtime=2.31 /proc/21644/task/21663/stat : 21663 (pb_cplex) S 21643 21643 21119 0 -1 4202560 9786 0 0 0 229 2 0 0 22 0 8 0 146837180 422354944 57421 4089446400 134512640 146736320 4290673728 18446744073709551615 144580073 0 2 4096 16387 18446604453960939712 0 0 -1 6 0 0 0 [pid=21644/tid=21664] ppid=21643 vsize=412456 CPUtime=3.34 /proc/21644/task/21664/stat : 21664 (pb_cplex) R 21643 21643 21119 0 -1 4202560 8441 0 0 0 333 1 0 0 20 0 8 0 146837180 422354944 57421 4089446400 134512640 146736320 4290673728 18446744073709551615 139042916 0 2 4096 16387 0 0 0 -1 2 0 0 0 [pid=21644/tid=21665] ppid=21643 vsize=412456 CPUtime=2.53 /proc/21644/task/21665/stat : 21665 (pb_cplex) S 21643 21643 21119 0 -1 4202560 9542 0 0 0 251 2 0 0 22 0 8 0 146837180 422354944 57421 4089446400 134512640 146736320 4290673728 18446744073709551615 144580073 0 2 4096 16387 18446604453960939712 0 0 -1 5 0 0 0 [pid=21644/tid=21666] ppid=21643 vsize=412456 CPUtime=3.34 /proc/21644/task/21666/stat : 21666 (pb_cplex) R 21643 21643 21119 0 -1 4202560 12944 0 0 0 332 2 0 0 20 0 8 0 146837180 422354944 57421 4089446400 134512640 146736320 4290673728 18446744073709551615 136006911 0 2 4096 16387 0 0 0 -1 4 0 0 0 [pid=21644/tid=21667] ppid=21643 vsize=412456 CPUtime=1.71 /proc/21644/task/21667/stat : 21667 (pb_cplex) S 21643 21643 21119 0 -1 4202560 7259 0 0 0 170 1 0 0 20 0 8 0 146837180 422354944 57421 4089446400 134512640 146736320 4290673728 18446744073709551615 144580073 0 2 4096 16387 18446604453960939712 0 0 -1 6 0 0 0 [pid=21644/tid=21668] ppid=21643 vsize=412456 CPUtime=1.64 /proc/21644/task/21668/stat : 21668 (pb_cplex) S 21643 21643 21119 0 -1 4202560 8713 0 0 0 163 1 0 0 17 0 8 0 146837180 422354944 57421 4089446400 134512640 146736320 4290673728 18446744073709551615 144580073 0 2 4096 16387 18446604453960939712 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 65.96 Current children cumulated vsize (KiB) 421156 [startup+102.307 s] /proc/loadavg: 8.41 7.20 4.04 18/195 21683 /proc/meminfo: memFree=31125648/32950928 swapFree=67111528/67111528 [pid=21643] ppid=21641 vsize=8700 CPUtime=0 /proc/21643/stat : 21643 (run) S 21641 21643 21119 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146832486 8908800 248 4089446400 4194304 4922060 140734094789248 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/21643/statm: 2175 248 208 178 0 68 0 [pid=21644] ppid=21643 vsize=437004 CPUtime=219.94 /proc/21644/stat : 21644 (pb_cplex) R 21643 21643 21119 0 -1 4202496 446656 0 0 0 21910 84 0 0 19 0 8 0 146832486 447492096 71385 4089446400 134512640 146736320 4290673728 18446744073709551615 136400418 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/21644/statm: 109251 71396 1205 2985 0 105793 0 [pid=21644/tid=21662] ppid=21643 vsize=437004 CPUtime=24.52 /proc/21644/task/21662/stat : 21662 (pb_cplex) R 21643 21643 21119 0 -1 4202560 43064 0 0 0 2444 8 0 0 19 0 8 0 146837180 447492096 71403 4089446400 134512640 146736320 4290673728 18446744073709551615 136007277 0 2 4096 16387 0 0 0 -1 6 0 0 0 [pid=21644/tid=21663] ppid=21643 vsize=437004 CPUtime=18.27 /proc/21644/task/21663/stat : 21663 (pb_cplex) R 21643 21643 21119 0 -1 4202560 40546 0 0 0 1818 9 0 0 19 0 8 0 146837180 447492096 71408 4089446400 134512640 146736320 4290673728 18446744073709551615 136475059 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=21644/tid=21664] ppid=21643 vsize=437004 CPUtime=21.31 /proc/21644/task/21664/stat : 21664 (pb_cplex) R 21643 21643 21119 0 -1 4202560 42458 0 0 0 2124 7 0 0 19 0 8 0 146837180 447492096 71408 4089446400 134512640 146736320 4290673728 18446744073709551615 138462910 0 2 4096 16387 0 0 0 -1 0 0 0 0 [pid=21644/tid=21665] ppid=21643 vsize=437004 CPUtime=18.69 /proc/21644/task/21665/stat : 21665 (pb_cplex) R 21643 21643 21119 0 -1 4202560 35876 0 0 0 1860 9 0 0 19 0 8 0 146837180 447492096 71408 4089446400 134512640 146736320 4290673728 18446744073709551615 136007274 0 2 4096 16387 0 0 0 -1 4 0 0 0 [pid=21644/tid=21666] ppid=21643 vsize=437004 CPUtime=22.97 /proc/21644/task/21666/stat : 21666 (pb_cplex) R 21643 21643 21119 0 -1 4202560 54733 0 0 0 2287 10 0 0 19 0 8 0 146837180 447492096 71408 4089446400 134512640 146736320 4290673728 18446744073709551615 135468175 0 2 4096 16387 0 0 0 -1 1 0 0 0 [pid=21644/tid=21667] ppid=21643 vsize=437004 CPUtime=22.12 /proc/21644/task/21667/stat : 21667 (pb_cplex) R 21643 21643 21119 0 -1 4202560 39803 0 0 0 2205 7 0 0 19 0 8 0 146837180 447492096 71408 4089446400 134512640 146736320 4290673728 18446744073709551615 136400447 0 2 4096 16387 0 0 0 -1 3 0 0 0 [pid=21644/tid=21668] ppid=21643 vsize=437004 CPUtime=19.53 /proc/21644/task/21668/stat : 21668 (pb_cplex) R 21643 21643 21119 0 -1 4202560 37556 0 0 0 1946 7 0 0 25 0 8 0 146837180 447492096 71408 4089446400 134512640 146736320 4290673728 18446744073709551615 136400477 0 2 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 219.94 Current children cumulated vsize (KiB) 445704 [startup+162.3 s] /proc/loadavg: 7.19 7.11 4.21 11/188 21684 /proc/meminfo: memFree=31224048/32950928 swapFree=67111528/67111528 [pid=21643] ppid=21641 vsize=8700 CPUtime=0 /proc/21643/stat : 21643 (run) S 21641 21643 21119 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146832486 8908800 248 4089446400 4194304 4922060 140734094789248 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/21643/statm: 2175 248 208 178 0 68 0 [pid=21644] ppid=21643 vsize=251812 CPUtime=291.06 /proc/21644/stat : 21644 (pb_cplex) R 21643 21643 21119 0 -1 4202496 486422 0 0 0 29006 100 0 0 25 0 1 0 146832486 257855488 44105 4089446400 134512640 146736320 4290673728 18446744073709551615 135857530 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/21644/statm: 62953 44105 1076 2985 0 59495 0 Current children cumulated CPU time (s) 291.06 Current children cumulated vsize (KiB) 260512 [startup+222.301 s] /proc/loadavg: 7.90 7.33 4.47 12/188 21686 /proc/meminfo: memFree=31202180/32950928 swapFree=67111528/67111528 [pid=21643] ppid=21641 vsize=8700 CPUtime=0 /proc/21643/stat : 21643 (run) S 21641 21643 21119 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146832486 8908800 248 4089446400 4194304 4922060 140734094789248 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/21643/statm: 2175 248 208 178 0 68 0 [pid=21644] ppid=21643 vsize=251812 CPUtime=348.07 /proc/21644/stat : 21644 (pb_cplex) R 21643 21643 21119 0 -1 4202496 486422 0 0 0 34707 100 0 0 25 0 1 0 146832486 257855488 44105 4089446400 134512640 146736320 4290673728 18446744073709551615 136400477 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/21644/statm: 62953 44105 1076 2985 0 59495 0 Current children cumulated CPU time (s) 348.07 Current children cumulated vsize (KiB) 260512 [startup+282.301 s] /proc/loadavg: 8.98 7.72 4.78 13/195 21695 /proc/meminfo: memFree=31173288/32950928 swapFree=67111528/67111528 [pid=21643] ppid=21641 vsize=8700 CPUtime=0 /proc/21643/stat : 21643 (run) S 21641 21643 21119 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146832486 8908800 248 4089446400 4194304 4922060 140734094789248 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/21643/statm: 2175 248 208 178 0 68 0 [pid=21644] ppid=21643 vsize=333168 CPUtime=445.46 /proc/21644/stat : 21644 (pb_cplex) R 21643 21643 21119 0 -1 4202496 519240 0 0 0 44435 111 0 0 18 0 8 0 146832486 341164032 57599 4089446400 134512640 146736320 4290673728 18446744073709551615 138462673 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/21644/statm: 83292 57599 1090 2985 0 79834 0 ################ # More data... # ################ /proc/21644/statm: 87764 62938 1078 2985 0 84306 0 [pid=21644/tid=21688] ppid=21643 vsize=351056 CPUtime=117.78 /proc/21644/task/21688/stat : 21688 (pb_cplex) R 21643 21643 21119 0 -1 4202560 17503 0 0 0 11770 8 0 0 25 0 8 0 146857173 359481344 62938 4089446400 134512640 146736320 4290673728 18446744073709551615 135525911 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=21644/tid=21689] ppid=21643 vsize=351056 CPUtime=99.19 /proc/21644/task/21689/stat : 21689 (pb_cplex) R 21643 21643 21119 0 -1 4202560 11619 0 0 0 9913 6 0 0 25 0 8 0 146857173 359481344 62938 4089446400 134512640 146736320 4290673728 18446744073709551615 136006074 0 2 4096 16387 0 0 0 -1 6 0 0 0 [pid=21644/tid=21690] ppid=21643 vsize=351056 CPUtime=127.78 /proc/21644/task/21690/stat : 21690 (pb_cplex) R 21643 21643 21119 0 -1 4202560 36715 0 0 0 12769 9 0 0 25 0 8 0 146857173 359481344 62938 4089446400 134512640 146736320 4290673728 18446744073709551615 139044505 0 2 4096 16387 0 0 0 -1 3 0 0 0 [pid=21644/tid=21691] ppid=21643 vsize=351056 CPUtime=111.34 /proc/21644/task/21691/stat : 21691 (pb_cplex) R 21643 21643 21119 0 -1 4202560 19735 0 0 0 11123 11 0 0 25 0 8 0 146857173 359481344 62938 4089446400 134512640 146736320 4290673728 18446744073709551615 136004384 0 2 4096 16387 0 0 0 -1 0 0 0 0 [pid=21644/tid=21692] ppid=21643 vsize=351056 CPUtime=108.57 /proc/21644/task/21692/stat : 21692 (pb_cplex) R 21643 21643 21119 0 -1 4202560 36782 0 0 0 10848 9 0 0 25 0 8 0 146857173 359481344 62938 4089446400 134512640 146736320 4290673728 18446744073709551615 136008065 0 2 4096 16387 0 0 0 -1 2 0 0 0 [pid=21644/tid=21693] ppid=21643 vsize=351056 CPUtime=99.93 /proc/21644/task/21693/stat : 21693 (pb_cplex) R 21643 21643 21119 0 -1 4202560 23906 0 0 0 9985 8 0 0 25 0 8 0 146857173 359481344 62938 4089446400 134512640 146736320 4290673728 18446744073709551615 136008168 0 2 4096 16387 0 0 0 -1 5 0 0 0 [pid=21644/tid=21694] ppid=21643 vsize=351056 CPUtime=104.17 /proc/21644/task/21694/stat : 21694 (pb_cplex) R 21643 21643 21119 0 -1 4202560 16725 0 0 0 10412 5 0 0 25 0 8 0 146857173 359481344 62938 4089446400 134512640 146736320 4290673728 18446744073709551615 135854535 0 2 4096 16387 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1245.52 Current children cumulated vsize (KiB) 359756 [startup+582.314 s] /proc/loadavg: 15.49 11.45 7.08 17/195 21791 /proc/meminfo: memFree=31253936/32950928 swapFree=67111528/67111528 [pid=21643] ppid=21641 vsize=8700 CPUtime=0 /proc/21643/stat : 21643 (run) S 21641 21643 21119 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146832486 8908800 248 4089446400 4194304 4922060 140734094789248 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/21643/statm: 2175 248 208 178 0 68 0 [pid=21644] ppid=21643 vsize=348880 CPUtime=1328.52 /proc/21644/stat : 21644 (pb_cplex) R 21643 21643 21119 0 -1 4202496 677641 0 0 0 132671 181 0 0 25 0 8 0 146832486 357253120 62697 4089446400 134512640 146736320 4290673728 18446744073709551615 139042902 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 /proc/21644/statm: 87220 62697 1080 2985 0 83762 0 [pid=21644/tid=21688] ppid=21643 vsize=348880 CPUtime=128.53 /proc/21644/task/21688/stat : 21688 (pb_cplex) R 21643 21643 21119 0 -1 4202560 18506 0 0 0 12842 11 0 0 25 0 8 0 146857173 357253120 62697 4089446400 134512640 146736320 4290673728 18446744073709551615 136403109 0 2 4096 16387 0 0 0 -1 0 0 0 0 [pid=21644/tid=21689] ppid=21643 vsize=348880 CPUtime=110.96 /proc/21644/task/21689/stat : 21689 (pb_cplex) R 21643 21643 21119 0 -1 4202560 15101 0 0 0 11087 9 0 0 25 0 8 0 146857173 357253120 62697 4089446400 134512640 146736320 4290673728 18446744073709551615 136403109 0 2 4096 16387 0 0 0 -1 5 0 0 0 [pid=21644/tid=21690] ppid=21643 vsize=348880 CPUtime=136.9 /proc/21644/task/21690/stat : 21690 (pb_cplex) R 21643 21643 21119 0 -1 4202560 40046 0 0 0 13678 12 0 0 25 0 8 0 146857173 357253120 62697 4089446400 134512640 146736320 4290673728 18446744073709551615 135854189 0 2 4096 16387 0 0 0 -1 1 0 0 0 [pid=21644/tid=21691] ppid=21643 vsize=348880 CPUtime=121.54 /proc/21644/task/21691/stat : 21691 (pb_cplex) R 21643 21643 21119 0 -1 4202560 19737 0 0 0 12142 12 0 0 25 0 8 0 146857173 357253120 62697 4089446400 134512640 146736320 4290673728 18446744073709551615 136008176 0 2 4096 16387 0 0 0 -1 3 0 0 0 [pid=21644/tid=21692] ppid=21643 vsize=348880 CPUtime=117.55 /proc/21644/task/21692/stat : 21692 (pb_cplex) R 21643 21643 21119 0 -1 4202560 37796 0 0 0 11745 10 0 0 25 0 8 0 146857173 357253120 62697 4089446400 134512640 146736320 4290673728 18446744073709551615 136007661 0 2 4096 16387 0 0 0 -1 2 0 0 0 [pid=21644/tid=21693] ppid=21643 vsize=348880 CPUtime=110.59 /proc/21644/task/21693/stat : 21693 (pb_cplex) R 21643 21643 21119 0 -1 4202560 23906 0 0 0 11050 9 0 0 25 0 8 0 146857173 357253120 62697 4089446400 134512640 146736320 4290673728 18446744073709551615 136001480 0 2 4096 16387 0 0 0 -1 6 0 0 0 [pid=21644/tid=21694] ppid=21643 vsize=348880 CPUtime=114.53 /proc/21644/task/21694/stat : 21694 (pb_cplex) R 21643 21643 21119 0 -1 4202560 17619 0 0 0 11447 6 0 0 25 0 8 0 146857173 357253120 62697 4089446400 134512640 146736320 4290673728 18446744073709551615 139042910 0 2 4096 16387 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1328.52 Current children cumulated vsize (KiB) 357580 [startup+642.301 s] /proc/loadavg: 13.76 11.64 7.42 20/195 21849 /proc/meminfo: memFree=31150532/32950928 swapFree=67111528/67111528 [pid=21643] ppid=21641 vsize=8700 CPUtime=0 /proc/21643/stat : 21643 (run) S 21641 21643 21119 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146832486 8908800 248 4089446400 4194304 4922060 140734094789248 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/21643/statm: 2175 248 208 178 0 68 0 [pid=21644] ppid=21643 vsize=367208 CPUtime=1561.85 /proc/21644/stat : 21644 (pb_cplex) R 21643 21643 21119 0 -1 4202496 748224 0 0 0 155978 207 0 0 21 0 8 0 146832486 376020992 66012 4089446400 134512640 146736320 4290673728 18446744073709551615 136008050 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/21644/statm: 91802 66012 1076 2985 0 88344 0 [pid=21644/tid=21688] ppid=21643 vsize=367208 CPUtime=158.64 /proc/21644/task/21688/stat : 21688 (pb_cplex) R 21643 21643 21119 0 -1 4202560 27549 0 0 0 15849 15 0 0 25 0 8 0 146857173 376020992 66012 4089446400 134512640 146736320 4290673728 18446744073709551615 136001929 0 2 4096 16387 0 0 0 -1 5 0 0 0 [pid=21644/tid=21689] ppid=21643 vsize=367208 CPUtime=140.92 /proc/21644/task/21689/stat : 21689 (pb_cplex) R 21643 21643 21119 0 -1 4202560 32379 0 0 0 14078 14 0 0 25 0 8 0 146857173 376020992 66012 4089446400 134512640 146736320 4290673728 18446744073709551615 139044505 0 2 4096 16387 0 0 0 -1 2 0 0 0 [pid=21644/tid=21690] ppid=21643 vsize=367208 CPUtime=164.87 /proc/21644/task/21690/stat : 21690 (pb_cplex) R 21643 21643 21119 0 -1 4202560 54153 0 0 0 16470 17 0 0 21 0 8 0 146857173 376020992 66012 4089446400 134512640 146736320 4290673728 18446744073709551615 136008309 0 2 4096 16387 0 0 0 -1 4 0 0 0 [pid=21644/tid=21691] ppid=21643 vsize=367208 CPUtime=150.4 /proc/21644/task/21691/stat : 21691 (pb_cplex) R 21643 21643 21119 0 -1 4202560 19772 0 0 0 15027 13 0 0 21 0 8 0 146857173 376020992 66012 4089446400 134512640 146736320 4290673728 18446744073709551615 139028313 0 2 4096 16387 0 0 0 -1 3 0 0 0 [pid=21644/tid=21692] ppid=21643 vsize=367208 CPUtime=151.37 /proc/21644/task/21692/stat : 21692 (pb_cplex) R 21643 21643 21119 0 -1 4202560 54630 0 0 0 15122 15 0 0 25 0 8 0 146857173 376020992 66012 4089446400 134512640 146736320 4290673728 18446744073709551615 136008441 0 2 4096 16387 0 0 0 -1 0 0 0 0 [pid=21644/tid=21693] ppid=21643 vsize=367208 CPUtime=136.36 /proc/21644/task/21693/stat : 21693 (pb_cplex) R 21643 21643 21119 0 -1 4202560 33249 0 0 0 13624 12 0 0 19 0 8 0 146857173 376020992 66012 4089446400 134512640 146736320 4290673728 18446744073709551615 136019034 0 2 4096 16387 0 0 0 -1 1 0 0 0 [pid=21644/tid=21694] ppid=21643 vsize=367208 CPUtime=140.03 /proc/21644/task/21694/stat : 21694 (pb_cplex) R 21643 21643 21119 0 -1 4202560 21528 0 0 0 13995 8 0 0 20 0 8 0 146857173 376020992 66012 4089446400 134512640 146736320 4290673728 18446744073709551615 139044583 0 2 4096 16387 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1561.85 Current children cumulated vsize (KiB) 375908 [startup+702.301 s] /proc/loadavg: 14.28 12.05 7.81 11/195 21850 /proc/meminfo: memFree=31149220/32950928 swapFree=67111528/67111528 [pid=21643] ppid=21641 vsize=8700 CPUtime=0 /proc/21643/stat : 21643 (run) S 21641 21643 21119 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146832486 8908800 248 4089446400 4194304 4922060 140734094789248 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/21643/statm: 2175 248 208 178 0 68 0 [pid=21644] ppid=21643 vsize=365716 CPUtime=1768.92 /proc/21644/stat : 21644 (pb_cplex) R 21643 21643 21119 0 -1 4202496 782139 0 0 0 176668 224 0 0 25 0 8 0 146832486 374493184 66094 4089446400 134512640 146736320 4290673728 18446744073709551615 139042904 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/21644/statm: 91429 66094 1076 2985 0 87971 0 [pid=21644/tid=21688] ppid=21643 vsize=365716 CPUtime=183.69 /proc/21644/task/21688/stat : 21688 (pb_cplex) R 21643 21643 21119 0 -1 4202560 34059 0 0 0 18351 18 0 0 25 0 8 0 146857173 374493184 66094 4089446400 134512640 146736320 4290673728 18446744073709551615 136008047 0 2 4096 16387 0 0 0 -1 4 0 0 0 [pid=21644/tid=21689] ppid=21643 vsize=365716 CPUtime=167.57 /proc/21644/task/21689/stat : 21689 (pb_cplex) R 21643 21643 21119 0 -1 4202560 36302 0 0 0 16741 16 0 0 25 0 8 0 146857173 374493184 66094 4089446400 134512640 146736320 4290673728 18446744073709551615 136008602 0 2 4096 16387 0 0 0 -1 1 0 0 0 [pid=21644/tid=21690] ppid=21643 vsize=365716 CPUtime=191.46 /proc/21644/task/21690/stat : 21690 (pb_cplex) R 21643 21643 21119 0 -1 4202560 58242 0 0 0 19128 18 0 0 25 0 8 0 146857173 374493184 66094 4089446400 134512640 146736320 4290673728 18446744073709551615 135454047 0 2 4096 16387 0 0 0 -1 3 0 0 0 [pid=21644/tid=21691] ppid=21643 vsize=365716 CPUtime=176.36 /proc/21644/task/21691/stat : 21691 (pb_cplex) R 21643 21643 21119 0 -1 4202560 20826 0 0 0 17622 14 0 0 25 0 8 0 146857173 374493184 66094 4089446400 134512640 146736320 4290673728 18446744073709551615 139028298 0 2 4096 16387 0 0 0 -1 6 0 0 0 [pid=21644/tid=21692] ppid=21643 vsize=365716 CPUtime=177.1 /proc/21644/task/21692/stat : 21692 (pb_cplex) R 21643 21643 21119 0 -1 4202560 64251 0 0 0 17693 17 0 0 25 0 8 0 146857173 374493184 66094 4089446400 134512640 146736320 4290673728 18446744073709551615 136008050 0 2 4096 16387 0 0 0 -1 5 0 0 0 [pid=21644/tid=21693] ppid=21643 vsize=365716 CPUtime=163.12 /proc/21644/task/21693/stat : 21693 (pb_cplex) R 21643 21643 21119 0 -1 4202560 37105 0 0 0 16295 17 0 0 25 0 8 0 146857173 374493184 66094 4089446400 134512640 146736320 4290673728 18446744073709551615 136006882 0 2 4096 16387 0 0 0 -1 1 0 0 0 [pid=21644/tid=21694] ppid=21643 vsize=365716 CPUtime=164.57 /proc/21644/task/21694/stat : 21694 (pb_cplex) R 21643 21643 21119 0 -1 4202560 26389 0 0 0 16447 10 0 0 25 0 8 0 146857173 374493184 66094 4089446400 134512640 146736320 4290673728 18446744073709551615 139044547 0 2 4096 16387 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1768.92 Current children cumulated vsize (KiB) 374416 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+714.593 s] /proc/loadavg: 14.55 12.18 7.90 16/195 21858 /proc/meminfo: memFree=31113304/32950928 swapFree=67111528/67111528 [pid=21643] ppid=21641 vsize=8700 CPUtime=0 /proc/21643/stat : 21643 (run) S 21641 21643 21119 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146832486 8908800 248 4089446400 4194304 4922060 140734094789248 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/21643/statm: 2175 248 208 178 0 68 0 [pid=21644] ppid=21643 vsize=365752 CPUtime=1800.1 /proc/21644/stat : 21644 (pb_cplex) R 21643 21643 21119 0 -1 4202496 782949 0 0 0 179784 226 0 0 25 0 8 0 146832486 374530048 66109 4089446400 134512640 146736320 4290673728 18446744073709551615 135450603 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 /proc/21644/statm: 91438 66109 1076 2985 0 87980 0 [pid=21644/tid=21688] ppid=21643 vsize=365752 CPUtime=188.1 /proc/21644/task/21688/stat : 21688 (pb_cplex) R 21643 21643 21119 0 -1 4202560 34438 0 0 0 18792 18 0 0 25 0 8 0 146857173 374530048 66109 4089446400 134512640 146736320 4290673728 18446744073709551615 136388871 0 2 4096 16387 0 0 0 -1 6 0 0 0 [pid=21644/tid=21689] ppid=21643 vsize=365752 CPUtime=171.44 /proc/21644/task/21689/stat : 21689 (pb_cplex) R 21643 21643 21119 0 -1 4202560 36305 0 0 0 17128 16 0 0 25 0 8 0 146857173 374530048 66109 4089446400 134512640 146736320 4290673728 18446744073709551615 136017519 0 2 4096 16387 0 0 0 -1 1 0 0 0 [pid=21644/tid=21690] ppid=21643 vsize=365752 CPUtime=195.41 /proc/21644/task/21690/stat : 21690 (pb_cplex) R 21643 21643 21119 0 -1 4202560 58242 0 0 0 19523 18 0 0 25 0 8 0 146857173 374530048 66109 4089446400 134512640 146736320 4290673728 18446744073709551615 139028294 0 2 4096 16387 0 0 0 -1 3 0 0 0 [pid=21644/tid=21691] ppid=21643 vsize=365752 CPUtime=180.46 /proc/21644/task/21691/stat : 21691 (pb_cplex) R 21643 21643 21119 0 -1 4202560 20834 0 0 0 18032 14 0 0 25 0 8 0 146857173 374530048 66109 4089446400 134512640 146736320 4290673728 18446744073709551615 136008065 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=21644/tid=21692] ppid=21643 vsize=365752 CPUtime=180 /proc/21644/task/21692/stat : 21692 (pb_cplex) R 21643 21643 21119 0 -1 4202560 64670 0 0 0 17982 18 0 0 25 0 8 0 146857173 374530048 66109 4089446400 134512640 146736320 4290673728 18446744073709551615 136008168 0 2 4096 16387 0 0 0 -1 5 0 0 0 [pid=21644/tid=21693] ppid=21643 vsize=365752 CPUtime=167.39 /proc/21644/task/21693/stat : 21693 (pb_cplex) R 21643 21643 21119 0 -1 4202560 37105 0 0 0 16722 17 0 0 25 0 8 0 146857173 374530048 66109 4089446400 134512640 146736320 4290673728 18446744073709551615 136008042 0 2 4096 16387 0 0 0 -1 4 0 0 0 [pid=21644/tid=21694] ppid=21643 vsize=365752 CPUtime=168.97 /proc/21644/task/21694/stat : 21694 (pb_cplex) S 21643 21643 21119 0 -1 4202560 26390 0 0 0 16887 10 0 0 25 0 8 0 146857173 374530048 66109 4089446400 134512640 146736320 4290673728 18446744073709551615 144580073 0 2 4096 16387 18446604453960939712 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 374452 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+714.901 s] /proc/loadavg: 14.55 12.18 7.90 16/195 21858 /proc/meminfo: memFree=31113304/32950928 swapFree=67111528/67111528 [pid=21643] ppid=21641 vsize=8700 CPUtime=0 /proc/21643/stat : 21643 (run) R 21641 21643 21119 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 146832486 8908800 248 4089446400 4194304 4922060 140734094789248 18446744073709551615 274473786501 256 65536 4100 65538 0 0 0 17 5 0 0 0 /proc/21643/statm: 2175 248 208 178 0 68 0 [pid=21644] ppid=21643 vsize=365752 CPUtime=1800.11 /proc/21644/stat : 21644 (pb_cplex) R 21643 21643 21119 0 -1 4202496 782949 0 0 0 179785 226 0 0 25 0 8 0 146832486 374530048 66109 4089446400 134512640 146736320 4290673728 18446744073709551615 135450603 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 /proc/21644/statm: 91438 66109 1076 2985 0 87980 0 [pid=21644/tid=21688] ppid=21643 vsize=365752 CPUtime=188.1 /proc/21644/task/21688/stat : 21688 (pb_cplex) R 21643 21643 21119 0 -1 4202560 34438 0 0 0 18792 18 0 0 25 0 8 0 146857173 374530048 66109 4089446400 134512640 146736320 4290673728 18446744073709551615 136388871 0 2 4096 16387 0 0 0 -1 6 0 0 0 [pid=21644/tid=21689] ppid=21643 vsize=365752 CPUtime=171.44 /proc/21644/task/21689/stat : 21689 (pb_cplex) R 21643 21643 21119 0 -1 4202560 36305 0 0 0 17128 16 0 0 25 0 8 0 146857173 374530048 66109 4089446400 134512640 146736320 4290673728 18446744073709551615 136017519 0 2 4096 16387 0 0 0 -1 1 0 0 0 [pid=21644/tid=21690] ppid=21643 vsize=365752 CPUtime=195.41 /proc/21644/task/21690/stat : 21690 (pb_cplex) R 21643 21643 21119 0 -1 4202560 58242 0 0 0 19523 18 0 0 25 0 8 0 146857173 374530048 66109 4089446400 134512640 146736320 4290673728 18446744073709551615 139028294 0 2 4096 16387 0 0 0 -1 3 0 0 0 [pid=21644/tid=21691] ppid=21643 vsize=365752 CPUtime=180.46 /proc/21644/task/21691/stat : 21691 (pb_cplex) R 21643 21643 21119 0 -1 4202560 20834 0 0 0 18032 14 0 0 25 0 8 0 146857173 374530048 66109 4089446400 134512640 146736320 4290673728 18446744073709551615 136008065 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=21644/tid=21692] ppid=21643 vsize=365752 CPUtime=180 /proc/21644/task/21692/stat : 21692 (pb_cplex) R 21643 21643 21119 0 -1 4202560 64670 0 0 0 17982 18 0 0 25 0 8 0 146857173 374530048 66109 4089446400 134512640 146736320 4290673728 18446744073709551615 136008168 0 2 4096 16387 0 0 0 -1 5 0 0 0 [pid=21644/tid=21693] ppid=21643 vsize=365752 CPUtime=167.39 /proc/21644/task/21693/stat : 21693 (pb_cplex) R 21643 21643 21119 0 -1 4202560 37105 0 0 0 16722 17 0 0 25 0 8 0 146857173 374530048 66109 4089446400 134512640 146736320 4290673728 18446744073709551615 136008178 0 2 4096 16387 0 0 0 -1 4 0 0 0 [pid=21644/tid=21694] ppid=21643 vsize=365752 CPUtime=168.97 /proc/21644/task/21694/stat : 21694 (pb_cplex) S 21643 21643 21119 0 -1 4202560 26390 0 0 0 16887 10 0 0 25 0 8 0 146857173 374530048 66109 4089446400 134512640 146736320 4290673728 18446744073709551615 144580073 0 2 4096 16387 18446604453960939712 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 374452 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 21643 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=999 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=999 # CPU time returned by wait4() is 0.001998 # while last known CPU time is 1800.11 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 714.934 CPU time (s): 1800.11 CPU user time (s): 1797.85 CPU system time (s): 2.26 CPU usage (%): 251.787 Max. virtual memory (cumulated for all children) (KiB): 476392 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.000999 system time used= 0.000999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 364 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= 2 involuntary context switches= 1 runsolver used 1.2818 second user time and 2.54561 second system time The end
Begin job on node125 at 2010-07-02 09:22:38 IDJOB=2697502 IDBENCH=79050 IDSOLVER=1210 FILE ID=node125/2697502-1278055358 PBS_JOBID= 11198931 Free space on /tmp= 74176 MiB SOLVER NAME= pb_cplex 2010-07-01 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.rf8.ucl--soft-33-100-0.wbo COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2697502-1278055358/watcher-2697502-1278055358 -o /tmp/evaluation-result-2697502-1278055358/solver-2697502-1278055358 -C 1800 -W 2000 -M 3800 run HOME/instance-2697502-1278055358.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0f4cdf827473fd69202dfaa2ec82572c RANDOM SEED=1934137626 node125.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.822 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.822 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 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.822 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.822 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.822 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.822 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.822 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.75 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.822 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: 31558516 kB Buffers: 220296 kB Cached: 959584 kB SwapCached: 0 kB Active: 577796 kB Inactive: 666128 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31558516 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 34452 kB Writeback: 0 kB AnonPages: 64856 kB Mapped: 15440 kB Slab: 82928 kB PageTables: 4600 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 208000 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= 74160 MiB End job on node125 at 2010-07-02 09:34:35