Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pb_cplex 2010-07-01 | ? (TO) | 1800.29 | 330.915 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900559676--soft-0-100-0.wbo |
MD5SUM | b818ef86615e3f5ee29c4c2fadd6f1fe |
Bench Category | SOFT-SMALLINT-LIN (only soft 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 | 368.019 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of soft constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Top cost | 136843 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 136842 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 625 |
Number of bits of the biggest sum of numbers | 10 |
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-2697462-1278055797.wbo. 0.00/0.00 c Instance file HOME/instance-2697462-1278055797.wbo 0.00/0.00 c File size is 96748 bytes. 1.39/1.43 c Highest Coefficient sum: 625 1.39/1.43 c IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ". 1.39/1.43 c ============================[ Problem Statistics ]============================= 1.39/1.43 c | | 1.39/1.43 c | Parsing time: 1.44 s | 1.39/1.43 c | Number Variables: 2938 | 1.39/1.43 c | Number Constraints: 2708 | 1.39/1.43 c =============================================================================== 1800.26/330.91 c Remaining time 1798.56 sec. 1800.26/330.91 c 1800.26/330.91 c *** INTERRUPTED *** 1800.26/330.91 s UNKNOWN 1800.26/330.91 c Total CPU time : 1781.22 s 1800.26/330.91 c Memory used : 148.78 MB 1800.26/330.91 c CPU time : 1781.22 s 1800.26/330.91 c 1800.26/330.91 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-2697462-1278055797/watcher-2697462-1278055797 -o /tmp/evaluation-result-2697462-1278055797/solver-2697462-1278055797 -C 1800 -W 2000 -M 3800 run HOME/instance-2697462-1278055797.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: 5.52 7.31 5.29 4/179 24816 /proc/meminfo: memFree=31141016/32951124 swapFree=67111528/67111528 [pid=24816] ppid=24814 vsize=8700 CPUtime=0 /proc/24816/stat : 24816 (run) S 24814 24816 23962 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146874318 8908800 249 4089446400 4194304 4922060 140735275703808 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/24816/statm: 2175 249 208 178 0 68 0 [startup+0.071885 s] /proc/loadavg: 5.52 7.31 5.29 4/179 24816 /proc/meminfo: memFree=31141016/32951124 swapFree=67111528/67111528 [pid=24816] ppid=24814 vsize=8700 CPUtime=0 /proc/24816/stat : 24816 (run) S 24814 24816 23962 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146874318 8908800 249 4089446400 4194304 4922060 140735275703808 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/24816/statm: 2175 249 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100875 s] /proc/loadavg: 5.52 7.31 5.29 4/179 24816 /proc/meminfo: memFree=31141016/32951124 swapFree=67111528/67111528 [pid=24816] ppid=24814 vsize=8700 CPUtime=0 /proc/24816/stat : 24816 (run) S 24814 24816 23962 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146874318 8908800 249 4089446400 4194304 4922060 140735275703808 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/24816/statm: 2175 249 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300851 s] /proc/loadavg: 5.52 7.31 5.29 4/179 24816 /proc/meminfo: memFree=31141016/32951124 swapFree=67111528/67111528 [pid=24816] ppid=24814 vsize=8700 CPUtime=0 /proc/24816/stat : 24816 (run) S 24814 24816 23962 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146874318 8908800 249 4089446400 4194304 4922060 140735275703808 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/24816/statm: 2175 249 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700769 s] /proc/loadavg: 5.52 7.31 5.29 4/179 24816 /proc/meminfo: memFree=31141016/32951124 swapFree=67111528/67111528 [pid=24816] ppid=24814 vsize=8700 CPUtime=0 /proc/24816/stat : 24816 (run) S 24814 24816 23962 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146874318 8908800 249 4089446400 4194304 4922060 140735275703808 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/24816/statm: 2175 249 208 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50056 s] /proc/loadavg: 5.52 7.31 5.29 3/181 24818 /proc/meminfo: memFree=31140132/32951124 swapFree=67111528/67111528 [pid=24816] ppid=24814 vsize=8700 CPUtime=0 /proc/24816/stat : 24816 (run) S 24814 24816 23962 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146874318 8908800 249 4089446400 4194304 4922060 140735275703808 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/24816/statm: 2175 249 208 178 0 68 0 [pid=24817] ppid=24816 vsize=25844 CPUtime=1.49 /proc/24817/stat : 24817 (pb_cplex) R 24816 24816 23962 0 -1 4202496 3295 0 0 0 149 0 0 0 25 0 1 0 146874318 26464256 2861 4089446400 134512640 146736320 4294338640 18446744073709551615 137185435 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/24817/statm: 6461 2861 953 2985 0 3003 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34544 [startup+3.10025 s] /proc/loadavg: 5.52 7.31 5.29 8/188 24832 /proc/meminfo: memFree=31100768/32951124 swapFree=67111528/67111528 [pid=24816] ppid=24814 vsize=8700 CPUtime=0 /proc/24816/stat : 24816 (run) S 24814 24816 23962 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146874318 8908800 249 4089446400 4194304 4922060 140735275703808 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/24816/statm: 2175 249 208 178 0 68 0 [pid=24817] ppid=24816 vsize=137480 CPUtime=5.51 /proc/24817/stat : 24817 (pb_cplex) S 24816 24816 23962 0 -1 4202496 27119 0 0 0 542 9 0 0 17 0 8 0 146874318 140779520 11445 4089446400 134512640 146736320 4294338640 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 /proc/24817/statm: 34370 11445 1083 2985 0 30912 0 Current children cumulated CPU time (s) 5.51 Current children cumulated vsize (KiB) 146180 [startup+6.30068 s] /proc/loadavg: 5.24 7.22 5.27 4/188 24853 /proc/meminfo: memFree=31101096/32951124 swapFree=67111528/67111528 [pid=24816] ppid=24814 vsize=8700 CPUtime=0 /proc/24816/stat : 24816 (run) S 24814 24816 23962 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146874318 8908800 249 4089446400 4194304 4922060 140735275703808 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/24816/statm: 2175 249 208 178 0 68 0 [pid=24817] ppid=24816 vsize=133280 CPUtime=13.64 /proc/24817/stat : 24817 (pb_cplex) S 24816 24816 23962 0 -1 4202496 41511 0 0 0 1349 15 0 0 18 0 8 0 146874318 136478720 11401 4089446400 134512640 146736320 4294338640 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 /proc/24817/statm: 33320 11401 1083 2985 0 29862 0 [pid=24817/tid=24847] ppid=24816 vsize=133280 CPUtime=0.78 /proc/24817/task/24847/stat : 24847 (pb_cplex) S 24816 24816 23962 0 -1 4202560 1019 0 0 0 78 0 0 0 16 0 8 0 146874636 136478720 11401 4089446400 134512640 146736320 4294338640 18446744073709551615 144580073 0 2 4096 16387 18446604471146660288 0 0 -1 6 0 0 0 [pid=24817/tid=24848] ppid=24816 vsize=133280 CPUtime=0.69 /proc/24817/task/24848/stat : 24848 (pb_cplex) S 24816 24816 23962 0 -1 4202560 162 0 0 0 69 0 0 0 15 0 8 0 146874636 136478720 11401 4089446400 134512640 146736320 4294338640 18446744073709551615 144580073 0 2 4096 16387 18446604471146660288 0 0 -1 5 0 0 0 [pid=24817/tid=24849] ppid=24816 vsize=133280 CPUtime=0.75 /proc/24817/task/24849/stat : 24849 (pb_cplex) S 24816 24816 23962 0 -1 4202560 324 0 0 0 75 0 0 0 15 0 8 0 146874636 136478720 11401 4089446400 134512640 146736320 4294338640 18446744073709551615 144580073 0 2 4096 16387 18446604471146660288 0 0 -1 2 0 0 0 [pid=24817/tid=24850] ppid=24816 vsize=133280 CPUtime=0.68 /proc/24817/task/24850/stat : 24850 (pb_cplex) S 24816 24816 23962 0 -1 4202560 405 0 0 0 68 0 0 0 16 0 8 0 146874636 136478720 11401 4089446400 134512640 146736320 4294338640 18446744073709551615 144580073 0 2 4096 16387 18446604471146660288 0 0 -1 3 0 0 0 [pid=24817/tid=24851] ppid=24816 vsize=133280 CPUtime=0.7 /proc/24817/task/24851/stat : 24851 (pb_cplex) S 24816 24816 23962 0 -1 4202560 2239 0 0 0 69 1 0 0 15 0 8 0 146874636 136478720 11401 4089446400 134512640 146736320 4294338640 18446744073709551615 144580073 0 2 4096 16387 18446604471146660288 0 0 -1 5 0 0 0 [pid=24817/tid=24852] ppid=24816 vsize=133280 CPUtime=0.89 /proc/24817/task/24852/stat : 24852 (pb_cplex) S 24816 24816 23962 0 -1 4202560 767 0 0 0 89 0 0 0 15 0 8 0 146874636 136478720 11401 4089446400 134512640 146736320 4294338640 18446744073709551615 144580073 0 2 4096 16387 18446604471146660288 0 0 -1 1 0 0 0 [pid=24817/tid=24853] ppid=24816 vsize=133280 CPUtime=0.91 /proc/24817/task/24853/stat : 24853 (pb_cplex) R 24816 24816 23962 0 -1 4202560 153 0 0 0 91 0 0 0 16 0 8 0 146874636 136478720 11401 4089446400 134512640 146736320 4294338640 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 13.64 Current children cumulated vsize (KiB) 141980 [startup+12.7305 s] /proc/loadavg: 4.98 7.13 5.25 8/188 24853 /proc/meminfo: memFree=31093292/32951124 swapFree=67111528/67111528 [pid=24816] ppid=24814 vsize=8700 CPUtime=0 /proc/24816/stat : 24816 (run) S 24814 24816 23962 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146874318 8908800 249 4089446400 4194304 4922060 140735275703808 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/24816/statm: 2175 249 208 178 0 68 0 [pid=24817] ppid=24816 vsize=141472 CPUtime=43.49 /proc/24817/stat : 24817 (pb_cplex) R 24816 24816 23962 0 -1 4202496 53971 0 0 0 4297 52 0 0 15 0 8 0 146874318 144867328 13001 4089446400 134512640 146736320 4294338640 18446744073709551615 138799147 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/24817/statm: 35368 13001 1083 2985 0 31910 0 [pid=24817/tid=24847] ppid=24816 vsize=141472 CPUtime=4.54 /proc/24817/task/24847/stat : 24847 (pb_cplex) R 24816 24816 23962 0 -1 4202560 2294 0 0 0 449 5 0 0 16 0 8 0 146874636 144867328 13001 4089446400 134512640 146736320 4294338640 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 [pid=24817/tid=24848] ppid=24816 vsize=141472 CPUtime=4.44 /proc/24817/task/24848/stat : 24848 (pb_cplex) S 24816 24816 23962 0 -1 4202560 869 0 0 0 440 4 0 0 15 0 8 0 146874636 144867328 13001 4089446400 134512640 146736320 4294338640 18446744073709551615 144580073 0 2 4096 16387 18446604471146660288 0 0 -1 6 0 0 0 [pid=24817/tid=24849] ppid=24816 vsize=141472 CPUtime=4.51 /proc/24817/task/24849/stat : 24849 (pb_cplex) R 24816 24816 23962 0 -1 4202560 2397 0 0 0 447 4 0 0 15 0 8 0 146874636 144867328 13001 4089446400 134512640 146736320 4294338640 18446744073709551615 136490027 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=24817/tid=24850] ppid=24816 vsize=141472 CPUtime=4.38 /proc/24817/task/24850/stat : 24850 (pb_cplex) S 24816 24816 23962 0 -1 4202560 892 0 0 0 433 5 0 0 15 0 8 0 146874636 144867328 13001 4089446400 134512640 146736320 4294338640 18446744073709551615 144580073 0 2 4096 16387 18446604471146660288 0 0 -1 4 0 0 0 [pid=24817/tid=24851] ppid=24816 vsize=141472 CPUtime=4.27 /proc/24817/task/24851/stat : 24851 (pb_cplex) R 24816 24816 23962 0 -1 4202560 3633 0 0 0 421 6 0 0 15 0 8 0 146874636 144867328 13001 4089446400 134512640 146736320 4294338640 18446744073709551615 136008050 0 2 4096 16387 0 0 0 -1 1 0 0 0 [pid=24817/tid=24852] ppid=24816 vsize=141472 CPUtime=4.63 /proc/24817/task/24852/stat : 24852 (pb_cplex) R 24816 24816 23962 0 -1 4202560 3010 0 0 0 459 4 0 0 15 0 8 0 146874636 144867328 13001 4089446400 134512640 146736320 4294338640 18446744073709551615 136006284 0 2 4096 16387 0 0 0 -1 2 0 0 0 [pid=24817/tid=24853] ppid=24816 vsize=141472 CPUtime=4.64 /proc/24817/task/24853/stat : 24853 (pb_cplex) R 24816 24816 23962 0 -1 4202560 694 0 0 0 459 5 0 0 15 0 8 0 146874636 144867328 13001 4089446400 134512640 146736320 4294338640 18446744073709551615 136007050 0 2 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 43.49 Current children cumulated vsize (KiB) 150172 [startup+25.5192 s] /proc/loadavg: 6.16 7.29 5.33 5/188 24867 /proc/meminfo: memFree=31086348/32951124 swapFree=67111528/67111528 [pid=24816] ppid=24814 vsize=8700 CPUtime=0 /proc/24816/stat : 24816 (run) S 24814 24816 23962 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146874318 8908800 249 4089446400 4194304 4922060 140735275703808 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/24816/statm: 2175 249 208 178 0 68 0 [pid=24817] ppid=24816 vsize=146204 CPUtime=101.59 /proc/24817/stat : 24817 (pb_cplex) S 24816 24816 23962 0 -1 4202496 82682 0 0 0 10049 110 0 0 16 0 8 0 146874318 149712896 13954 4089446400 134512640 146736320 4294338640 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 /proc/24817/statm: 36551 13954 1086 2985 0 33093 0 [pid=24817/tid=24861] ppid=24816 vsize=146204 CPUtime=4.47 /proc/24817/task/24861/stat : 24861 (pb_cplex) R 24816 24816 23962 0 -1 4202560 1792 0 0 0 444 3 0 0 15 0 8 0 146875989 149712896 13954 4089446400 134512640 146736320 4294338640 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=24817/tid=24862] ppid=24816 vsize=146204 CPUtime=4.94 /proc/24817/task/24862/stat : 24862 (pb_cplex) R 24816 24816 23962 0 -1 4202560 958 0 0 0 492 2 0 0 15 0 8 0 146875989 149712896 13954 4089446400 134512640 146736320 4294338640 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 [pid=24817/tid=24863] ppid=24816 vsize=146204 CPUtime=5.72 /proc/24817/task/24863/stat : 24863 (pb_cplex) R 24816 24816 23962 0 -1 4202560 1524 0 0 0 570 2 0 0 16 0 8 0 146875989 149712896 13954 4089446400 134512640 146736320 4294338640 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 [pid=24817/tid=24864] ppid=24816 vsize=146204 CPUtime=6.66 /proc/24817/task/24864/stat : 24864 (pb_cplex) R 24816 24816 23962 0 -1 4202560 5602 0 0 0 663 3 0 0 16 0 8 0 146875989 149712896 13954 4089446400 134512640 146736320 4294338640 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 [pid=24817/tid=24865] ppid=24816 vsize=146204 CPUtime=4.42 /proc/24817/task/24865/stat : 24865 (pb_cplex) R 24816 24816 23962 0 -1 4202560 387 0 0 0 439 3 0 0 16 0 8 0 146875989 149712896 13954 4089446400 134512640 146736320 4294338640 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 [pid=24817/tid=24866] ppid=24816 vsize=146204 CPUtime=5.3 /proc/24817/task/24866/stat : 24866 (pb_cplex) R 24816 24816 23962 0 -1 4202560 1460 0 0 0 529 1 0 0 16 0 8 0 146875989 149712896 13954 4089446400 134512640 146736320 4294338640 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 [pid=24817/tid=24867] ppid=24816 vsize=146204 CPUtime=3.75 /proc/24817/task/24867/stat : 24867 (pb_cplex) R 24816 24816 23962 0 -1 4202560 1276 0 0 0 372 3 0 0 16 0 8 0 146875989 149712896 13954 4089446400 134512640 146736320 4294338640 18446744073709551615 136403112 0 2 4096 16387 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 101.59 Current children cumulated vsize (KiB) 154904 [startup+51.1005 s] /proc/loadavg: 6.97 7.38 5.41 12/188 24868 /proc/meminfo: memFree=31082284/32951124 swapFree=67111528/67111528 [pid=24816] ppid=24814 vsize=8700 CPUtime=0 /proc/24816/stat : 24816 (run) S 24814 24816 23962 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146874318 8908800 249 4089446400 4194304 4922060 140735275703808 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/24816/statm: 2175 249 208 178 0 68 0 [pid=24817] ppid=24816 vsize=150300 CPUtime=237.57 /proc/24817/stat : 24817 (pb_cplex) S 24816 24816 23962 0 -1 4202496 126863 0 0 0 23506 251 0 0 15 0 8 0 146874318 153907200 14844 4089446400 134512640 146736320 4294338640 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 /proc/24817/statm: 37575 14844 1086 2985 0 34117 0 [pid=24817/tid=24861] ppid=24816 vsize=150300 CPUtime=21.45 /proc/24817/task/24861/stat : 24861 (pb_cplex) S 24816 24816 23962 0 -1 4202560 3635 0 0 0 2127 18 0 0 15 0 8 0 146875989 153907200 14844 4089446400 134512640 146736320 4294338640 18446744073709551615 144580073 0 2 4096 16387 18446604471146660288 0 0 -1 7 0 0 0 [pid=24817/tid=24862] ppid=24816 vsize=150300 CPUtime=22.22 /proc/24817/task/24862/stat : 24862 (pb_cplex) R 24816 24816 23962 0 -1 4202560 9408 0 0 0 2202 20 0 0 15 0 8 0 146875989 153907200 14844 4089446400 134512640 146736320 4294338640 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 [pid=24817/tid=24863] ppid=24816 vsize=150300 CPUtime=22.47 /proc/24817/task/24863/stat : 24863 (pb_cplex) R 24816 24816 23962 0 -1 4202560 4000 0 0 0 2229 18 0 0 15 0 8 0 146875989 153907200 14844 4089446400 134512640 146736320 4294338640 18446744073709551615 135455279 0 2 4096 16387 0 0 0 -1 6 0 0 0 [pid=24817/tid=24864] ppid=24816 vsize=150300 CPUtime=23.48 /proc/24817/task/24864/stat : 24864 (pb_cplex) S 24816 24816 23962 0 -1 4202560 11562 0 0 0 2328 20 0 0 15 0 8 0 146875989 153907200 14844 4089446400 134512640 146736320 4294338640 18446744073709551615 144580073 0 2 4096 16387 18446604471146660288 0 0 -1 1 0 0 0 [pid=24817/tid=24865] ppid=24816 vsize=150300 CPUtime=21.39 /proc/24817/task/24865/stat : 24865 (pb_cplex) S 24816 24816 23962 0 -1 4202560 8272 0 0 0 2116 23 0 0 15 0 8 0 146875989 153907200 14844 4089446400 134512640 146736320 4294338640 18446744073709551615 144580073 0 2 4096 16387 18446604471146660288 0 0 -1 5 0 0 0 [pid=24817/tid=24866] ppid=24816 vsize=150300 CPUtime=22.34 /proc/24817/task/24866/stat : 24866 (pb_cplex) R 24816 24816 23962 0 -1 4202560 5938 0 0 0 2217 17 0 0 15 0 8 0 146875989 153907200 14844 4089446400 134512640 146736320 4294338640 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 [pid=24817/tid=24867] ppid=24816 vsize=150300 CPUtime=20.82 /proc/24817/task/24867/stat : 24867 (pb_cplex) R 24816 24816 23962 0 -1 4202560 5911 0 0 0 2058 24 0 0 16 0 8 0 146875989 153907200 14844 4089446400 134512640 146736320 4294338640 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 237.57 Current children cumulated vsize (KiB) 159000 [startup+102.306 s] /proc/loadavg: 5.48 6.95 5.37 4/188 24869 /proc/meminfo: memFree=31073808/32951124 swapFree=67111528/67111528 [pid=24816] ppid=24814 vsize=8700 CPUtime=0 /proc/24816/stat : 24816 (run) S 24814 24816 23962 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146874318 8908800 249 4089446400 4194304 4922060 140735275703808 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/24816/statm: 2175 249 208 178 0 68 0 [pid=24817] ppid=24816 vsize=152348 CPUtime=481.04 /proc/24817/stat : 24817 (pb_cplex) R 24816 24816 23962 0 -1 4202496 145478 0 0 0 47603 501 0 0 15 0 8 0 146874318 156004352 15341 4089446400 134512640 146736320 4294338640 18446744073709551615 135468690 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/24817/statm: 38087 15341 1086 2985 0 34629 0 [pid=24817/tid=24861] ppid=24816 vsize=152348 CPUtime=51.8 /proc/24817/task/24861/stat : 24861 (pb_cplex) R 24816 24816 23962 0 -1 4202560 4903 0 0 0 5129 51 0 0 15 0 8 0 146875989 156004352 15341 4089446400 134512640 146736320 4294338640 18446744073709551615 136015579 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=24817/tid=24862] ppid=24816 vsize=152348 CPUtime=53.01 /proc/24817/task/24862/stat : 24862 (pb_cplex) R 24816 24816 23962 0 -1 4202560 12668 0 0 0 5249 52 0 0 15 0 8 0 146875989 156004352 15341 4089446400 134512640 146736320 4294338640 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 [pid=24817/tid=24863] ppid=24816 vsize=152348 CPUtime=52.85 /proc/24817/task/24863/stat : 24863 (pb_cplex) R 24816 24816 23962 0 -1 4202560 5967 0 0 0 5236 49 0 0 15 0 8 0 146875989 156004352 15341 4089446400 134512640 146736320 4294338640 18446744073709551615 136001933 0 2 4096 16387 0 0 0 -1 5 0 0 0 [pid=24817/tid=24864] ppid=24816 vsize=152348 CPUtime=53.76 /proc/24817/task/24864/stat : 24864 (pb_cplex) R 24816 24816 23962 0 -1 4202560 15158 0 0 0 5324 52 0 0 15 0 8 0 146875989 156004352 15341 4089446400 134512640 146736320 4294338640 18446744073709551615 139044580 0 2 4096 16387 0 0 0 -1 0 0 0 0 [pid=24817/tid=24865] ppid=24816 vsize=152348 CPUtime=51.9 /proc/24817/task/24865/stat : 24865 (pb_cplex) R 24816 24816 23962 0 -1 4202560 10446 0 0 0 5139 51 0 0 16 0 8 0 146875989 156004352 15341 4089446400 134512640 146736320 4294338640 18446744073709551615 136746108 0 2 4096 16387 0 0 0 -1 3 0 0 0 [pid=24817/tid=24866] ppid=24816 vsize=152348 CPUtime=53 /proc/24817/task/24866/stat : 24866 (pb_cplex) R 24816 24816 23962 0 -1 4202560 7016 0 0 0 5254 46 0 0 15 0 8 0 146875989 156004352 15341 4089446400 134512640 146736320 4294338640 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 [pid=24817/tid=24867] ppid=24816 vsize=152348 CPUtime=50.74 /proc/24817/task/24867/stat : 24867 (pb_cplex) R 24816 24816 23962 0 -1 4202560 7677 0 0 0 5020 54 0 0 15 0 8 0 146875989 156004352 15341 4089446400 134512640 146736320 4294338640 18446744073709551615 135454096 0 2 4096 16387 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 481.04 Current children cumulated vsize (KiB) 161048 [startup+162.301 s] /proc/loadavg: 9.64 7.77 5.75 18/195 24881 /proc/meminfo: memFree=30935024/32951124 swapFree=67111528/67111528 [pid=24816] ppid=24814 vsize=8700 CPUtime=0 /proc/24816/stat : 24816 (run) S 24814 24816 23962 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146874318 8908800 249 4089446400 4194304 4922060 140735275703808 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/24816/statm: 2175 249 208 178 0 68 0 [pid=24817] ppid=24816 vsize=152348 CPUtime=765.89 /proc/24817/stat : 24817 (pb_cplex) R 24816 24816 23962 0 -1 4202496 169262 0 0 0 75789 800 0 0 16 0 8 0 146874318 156004352 15354 4089446400 134512640 146736320 4294338640 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 /proc/24817/statm: 38087 15354 1087 2985 0 34629 0 [pid=24817/tid=24861] ppid=24816 vsize=152348 CPUtime=87.17 /proc/24817/task/24861/stat : 24861 (pb_cplex) R 24816 24816 23962 0 -1 4202560 7261 0 0 0 8631 86 0 0 16 0 8 0 146875989 156004352 15354 4089446400 134512640 146736320 4294338640 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 6 0 0 0 [pid=24817/tid=24862] ppid=24816 vsize=152348 CPUtime=88.49 /proc/24817/task/24862/stat : 24862 (pb_cplex) R 24816 24816 23962 0 -1 4202560 13938 0 0 0 8758 91 0 0 16 0 8 0 146875989 156004352 15354 4089446400 134512640 146736320 4294338640 18446744073709551615 135237143 0 2 4096 16387 0 0 0 -1 4 0 0 0 [pid=24817/tid=24863] ppid=24816 vsize=152348 CPUtime=88.57 /proc/24817/task/24863/stat : 24863 (pb_cplex) R 24816 24816 23962 0 -1 4202560 10703 0 0 0 8769 88 0 0 16 0 8 0 146875989 156004352 15354 4089446400 134512640 146736320 4294338640 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=24817/tid=24864] ppid=24816 vsize=152348 CPUtime=89.46 /proc/24817/task/24864/stat : 24864 (pb_cplex) R 24816 24816 23962 0 -1 4202560 17916 0 0 0 8855 91 0 0 16 0 8 0 146875989 156004352 15354 4089446400 134512640 146736320 4294338640 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 [pid=24817/tid=24865] ppid=24816 vsize=152348 CPUtime=87.68 /proc/24817/task/24865/stat : 24865 (pb_cplex) R 24816 24816 23962 0 -1 4202560 13238 0 0 0 8684 84 0 0 15 0 8 0 146875989 156004352 15354 4089446400 134512640 146736320 4294338640 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 [pid=24817/tid=24866] ppid=24816 vsize=152348 CPUtime=88.53 /proc/24817/task/24866/stat : 24866 (pb_cplex) R 24816 24816 23962 0 -1 4202560 9924 0 0 0 8767 86 0 0 16 0 8 0 146875989 156004352 15354 4089446400 134512640 146736320 4294338640 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 [pid=24817/tid=24867] ppid=24816 vsize=152348 CPUtime=86.07 /proc/24817/task/24867/stat : 24867 (pb_cplex) R 24816 24816 23962 0 -1 4202560 13056 0 0 0 8517 90 0 0 16 0 8 0 146875989 156004352 15354 4089446400 134512640 146736320 4294338640 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 765.89 Current children cumulated vsize (KiB) 161048 [startup+222.339 s] /proc/loadavg: 13.35 9.23 6.37 11/195 24883 /proc/meminfo: memFree=30930344/32951124 swapFree=67111528/67111528 [pid=24816] ppid=24814 vsize=8700 CPUtime=0 /proc/24816/stat : 24816 (run) S 24814 24816 23962 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146874318 8908800 249 4089446400 4194304 4922060 140735275703808 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/24816/statm: 2175 249 208 178 0 68 0 [pid=24817] ppid=24816 vsize=152348 CPUtime=1154.54 /proc/24817/stat : 24817 (pb_cplex) R 24816 24816 23962 0 -1 4202496 189635 0 0 0 114234 1220 0 0 16 0 8 0 146874318 156004352 15430 4089446400 134512640 146736320 4294338640 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 /proc/24817/statm: 38087 15430 1105 2985 0 34629 0 [pid=24817/tid=24861] ppid=24816 vsize=152348 CPUtime=135.58 /proc/24817/task/24861/stat : 24861 (pb_cplex) R 24816 24816 23962 0 -1 4202560 9543 0 0 0 13421 137 0 0 15 0 8 0 146875989 156004352 15430 4089446400 134512640 146736320 4294338640 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 [pid=24817/tid=24862] ppid=24816 vsize=152348 CPUtime=136.9 /proc/24817/task/24862/stat : 24862 (pb_cplex) R 24816 24816 23962 0 -1 4202560 16104 0 0 0 13545 145 0 0 16 0 8 0 146875989 156004352 15430 4089446400 134512640 146736320 4294338640 18446744073709551615 136007286 0 2 4096 16387 0 0 0 -1 4 0 0 0 [pid=24817/tid=24863] ppid=24816 vsize=152348 CPUtime=137.12 /proc/24817/task/24863/stat : 24863 (pb_cplex) R 24816 24816 23962 0 -1 4202560 12016 0 0 0 13570 142 0 0 15 0 8 0 146875989 156004352 15430 4089446400 134512640 146736320 4294338640 18446744073709551615 139043577 0 2 4096 16387 0 0 0 -1 2 0 0 0 [pid=24817/tid=24864] ppid=24816 vsize=152348 CPUtime=138.17 /proc/24817/task/24864/stat : 24864 (pb_cplex) R 24816 24816 23962 0 -1 4202560 22414 0 0 0 13670 147 0 0 15 0 8 0 146875989 156004352 15430 4089446400 134512640 146736320 4294338640 18446744073709551615 136007041 0 2 4096 16387 0 0 0 -1 1 0 0 0 [pid=24817/tid=24865] ppid=24816 vsize=152348 CPUtime=135.88 /proc/24817/task/24865/stat : 24865 (pb_cplex) R 24816 24816 23962 0 -1 4202560 15523 0 0 0 13467 121 0 0 15 0 8 0 146875989 156004352 15430 4089446400 134512640 146736320 4294338640 18446744073709551615 135854544 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=24817/tid=24866] ppid=24816 vsize=152348 CPUtime=137.2 /proc/24817/task/24866/stat : 24866 (pb_cplex) R 24816 24816 23962 0 -1 4202560 11602 0 0 0 13575 145 0 0 15 0 8 0 146875989 156004352 15430 4089446400 134512640 146736320 4294338640 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 6 0 0 0 [pid=24817/tid=24867] ppid=24816 vsize=152348 CPUtime=134.6 /proc/24817/task/24867/stat : 24867 (pb_cplex) R 24816 24816 23962 0 -1 4202560 16169 0 0 0 13317 143 0 0 15 0 8 0 146875989 156004352 15430 4089446400 134512640 146736320 4294338640 18446744073709551615 135468690 0 2 4096 16387 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1154.54 Current children cumulated vsize (KiB) 161048 [startup+282.301 s] /proc/loadavg: 14.98 10.49 6.99 17/195 24884 /proc/meminfo: memFree=30928544/32951124 swapFree=67111528/67111528 [pid=24816] ppid=24814 vsize=8700 CPUtime=0 /proc/24816/stat : 24816 (run) S 24814 24816 23962 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146874318 8908800 249 4089446400 4194304 4922060 140735275703808 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/24816/statm: 2175 249 208 178 0 68 0 [pid=24817] ppid=24816 vsize=152348 CPUtime=1553.69 /proc/24817/stat : 24817 (pb_cplex) R 24816 24816 23962 0 -1 4202496 209409 0 0 0 153728 1641 0 0 16 0 8 0 146874318 156004352 15458 4089446400 134512640 146736320 4294338640 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 /proc/24817/statm: 38087 15458 1105 2985 0 34629 0 [pid=24817/tid=24861] ppid=24816 vsize=152348 CPUtime=185.42 /proc/24817/task/24861/stat : 24861 (pb_cplex) R 24816 24816 23962 0 -1 4202560 11572 0 0 0 18374 168 0 0 15 0 8 0 146875989 156004352 15458 4089446400 134512640 146736320 4294338640 18446744073709551615 136403109 0 2 4096 16387 0 0 0 -1 0 0 0 0 [pid=24817/tid=24862] ppid=24816 vsize=152348 CPUtime=186.6 /proc/24817/task/24862/stat : 24862 (pb_cplex) R 24816 24816 23962 0 -1 4202560 19215 0 0 0 18461 199 0 0 15 0 8 0 146875989 156004352 15458 4089446400 134512640 146736320 4294338640 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 [pid=24817/tid=24863] ppid=24816 vsize=152348 CPUtime=186.93 /proc/24817/task/24863/stat : 24863 (pb_cplex) R 24816 24816 23962 0 -1 4202560 13478 0 0 0 18495 198 0 0 15 0 8 0 146875989 156004352 15458 4089446400 134512640 146736320 4294338640 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 6 0 0 0 [pid=24817/tid=24864] ppid=24816 vsize=152348 CPUtime=188.29 /proc/24817/task/24864/stat : 24864 (pb_cplex) R 24816 24816 23962 0 -1 4202560 28714 0 0 0 18625 204 0 0 16 0 8 0 146875989 156004352 15458 4089446400 134512640 146736320 4294338640 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 [pid=24817/tid=24865] ppid=24816 vsize=152348 CPUtime=185.42 /proc/24817/task/24865/stat : 24865 (pb_cplex) R 24816 24816 23962 0 -1 4202560 17073 0 0 0 18367 175 0 0 15 0 8 0 146875989 156004352 15458 4089446400 134512640 146736320 4294338640 18446744073709551615 137057650 0 2 4096 16387 0 0 0 -1 7 0 0 0 [pid=24817/tid=24866] ppid=24816 vsize=152348 CPUtime=187.04 /proc/24817/task/24866/stat : 24866 (pb_cplex) R 24816 24816 23962 0 -1 4202560 12897 0 0 0 18503 201 0 0 16 0 8 0 146875989 156004352 15458 4089446400 134512640 146736320 4294338640 18446744073709551615 136017495 0 2 4096 16387 0 0 0 -1 1 0 0 0 [pid=24817/tid=24867] ppid=24816 vsize=152348 CPUtime=184.54 /proc/24817/task/24867/stat : 24867 (pb_cplex) R 24816 24816 23962 0 -1 4202560 17651 0 0 0 18254 200 0 0 15 0 8 0 146875989 156004352 15458 4089446400 134512640 146736320 4294338640 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1553.69 Current children cumulated vsize (KiB) 161048 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+330.9 s] /proc/loadavg: 12.41 10.59 7.21 6/195 24885 /proc/meminfo: memFree=30925528/32951124 swapFree=67111528/67111528 [pid=24816] ppid=24814 vsize=8700 CPUtime=0 /proc/24816/stat : 24816 (run) S 24814 24816 23962 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146874318 8908800 249 4089446400 4194304 4922060 140735275703808 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/24816/statm: 2175 249 208 178 0 68 0 [pid=24817] ppid=24816 vsize=152348 CPUtime=1800.26 /proc/24817/stat : 24817 (pb_cplex) S 24816 24816 23962 0 -1 4202496 223507 0 0 0 178120 1906 0 0 15 0 8 0 146874318 156004352 15505 4089446400 134512640 146736320 4294338640 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 /proc/24817/statm: 38087 15505 1105 2985 0 34629 0 [pid=24817/tid=24861] ppid=24816 vsize=152348 CPUtime=216.01 /proc/24817/task/24861/stat : 24861 (pb_cplex) S 24816 24816 23962 0 -1 4202560 12652 0 0 0 21407 194 0 0 15 0 8 0 146875989 156004352 15505 4089446400 134512640 146736320 4294338640 18446744073709551615 144580073 0 2 4096 16387 18446604471146660288 0 0 -1 6 0 0 0 [pid=24817/tid=24862] ppid=24816 vsize=152348 CPUtime=217.56 /proc/24817/task/24862/stat : 24862 (pb_cplex) S 24816 24816 23962 0 -1 4202560 21038 0 0 0 21523 233 0 0 15 0 8 0 146875989 156004352 15505 4089446400 134512640 146736320 4294338640 18446744073709551615 144580073 0 2 4096 16387 18446604471146660288 0 0 -1 2 0 0 0 [pid=24817/tid=24863] ppid=24816 vsize=152348 CPUtime=217.59 /proc/24817/task/24863/stat : 24863 (pb_cplex) S 24816 24816 23962 0 -1 4202560 15603 0 0 0 21528 231 0 0 15 0 8 0 146875989 156004352 15505 4089446400 134512640 146736320 4294338640 18446744073709551615 144580073 0 2 4096 16387 18446604471146660288 0 0 -1 6 0 0 0 [pid=24817/tid=24864] ppid=24816 vsize=152348 CPUtime=219.05 /proc/24817/task/24864/stat : 24864 (pb_cplex) S 24816 24816 23962 0 -1 4202560 29925 0 0 0 21669 236 0 0 15 0 8 0 146875989 156004352 15505 4089446400 134512640 146736320 4294338640 18446744073709551615 144580073 0 2 4096 16387 18446604471146660288 0 0 -1 1 0 0 0 [pid=24817/tid=24865] ppid=24816 vsize=152348 CPUtime=216.12 /proc/24817/task/24865/stat : 24865 (pb_cplex) S 24816 24816 23962 0 -1 4202560 18753 0 0 0 21401 211 0 0 15 0 8 0 146875989 156004352 15505 4089446400 134512640 146736320 4294338640 18446744073709551615 144580073 0 2 4096 16387 18446604471146660288 0 0 -1 7 0 0 0 [pid=24817/tid=24866] ppid=24816 vsize=152348 CPUtime=218.07 /proc/24817/task/24866/stat : 24866 (pb_cplex) R 24816 24816 23962 0 -1 4202560 14335 0 0 0 21572 235 0 0 16 0 8 0 146875989 156004352 15505 4089446400 134512640 146736320 4294338640 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 [pid=24817/tid=24867] ppid=24816 vsize=152348 CPUtime=215.1 /proc/24817/task/24867/stat : 24867 (pb_cplex) R 24816 24816 23962 0 -1 4202560 19691 0 0 0 21277 233 0 0 15 0 8 0 146875989 156004352 15505 4089446400 134512640 146736320 4294338640 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 161048 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+330.9 s] /proc/loadavg: 12.41 10.59 7.21 6/195 24885 /proc/meminfo: memFree=30925528/32951124 swapFree=67111528/67111528 [pid=24816] ppid=24814 vsize=8700 CPUtime=0 /proc/24816/stat : 24816 (run) S 24814 24816 23962 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 146874318 8908800 249 4089446400 4194304 4922060 140735275703808 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/24816/statm: 2175 249 208 178 0 68 0 [pid=24817] ppid=24816 vsize=152348 CPUtime=1800.26 /proc/24817/stat : 24817 (pb_cplex) S 24816 24816 23962 0 -1 4202496 223507 0 0 0 178120 1906 0 0 15 0 8 0 146874318 156004352 15505 4089446400 134512640 146736320 4294338640 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 /proc/24817/statm: 38087 15505 1105 2985 0 34629 0 [pid=24817/tid=24861] ppid=24816 vsize=152348 CPUtime=216.01 /proc/24817/task/24861/stat : 24861 (pb_cplex) S 24816 24816 23962 0 -1 4202560 12652 0 0 0 21407 194 0 0 15 0 8 0 146875989 156004352 15505 4089446400 134512640 146736320 4294338640 18446744073709551615 144580073 0 2 4096 16387 18446604471146660288 0 0 -1 6 0 0 0 [pid=24817/tid=24862] ppid=24816 vsize=152348 CPUtime=217.56 /proc/24817/task/24862/stat : 24862 (pb_cplex) S 24816 24816 23962 0 -1 4202560 21038 0 0 0 21523 233 0 0 15 0 8 0 146875989 156004352 15505 4089446400 134512640 146736320 4294338640 18446744073709551615 144580073 0 2 4096 16387 18446604471146660288 0 0 -1 2 0 0 0 [pid=24817/tid=24863] ppid=24816 vsize=152348 CPUtime=217.59 /proc/24817/task/24863/stat : 24863 (pb_cplex) S 24816 24816 23962 0 -1 4202560 15603 0 0 0 21528 231 0 0 15 0 8 0 146875989 156004352 15505 4089446400 134512640 146736320 4294338640 18446744073709551615 144580073 0 2 4096 16387 18446604471146660288 0 0 -1 6 0 0 0 [pid=24817/tid=24864] ppid=24816 vsize=152348 CPUtime=219.05 /proc/24817/task/24864/stat : 24864 (pb_cplex) S 24816 24816 23962 0 -1 4202560 29925 0 0 0 21669 236 0 0 15 0 8 0 146875989 156004352 15505 4089446400 134512640 146736320 4294338640 18446744073709551615 144580073 0 2 4096 16387 18446604471146660288 0 0 -1 1 0 0 0 [pid=24817/tid=24865] ppid=24816 vsize=152348 CPUtime=216.12 /proc/24817/task/24865/stat : 24865 (pb_cplex) S 24816 24816 23962 0 -1 4202560 18753 0 0 0 21401 211 0 0 15 0 8 0 146875989 156004352 15505 4089446400 134512640 146736320 4294338640 18446744073709551615 144580073 0 2 4096 16387 18446604471146660288 0 0 -1 7 0 0 0 [pid=24817/tid=24866] ppid=24816 vsize=152348 CPUtime=218.07 /proc/24817/task/24866/stat : 24866 (pb_cplex) R 24816 24816 23962 0 -1 4202560 14335 0 0 0 21572 235 0 0 16 0 8 0 146875989 156004352 15505 4089446400 134512640 146736320 4294338640 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 [pid=24817/tid=24867] ppid=24816 vsize=152348 CPUtime=215.1 /proc/24817/task/24867/stat : 24867 (pb_cplex) R 24816 24816 23962 0 -1 4202560 19691 0 0 0 21277 233 0 0 15 0 8 0 146875989 156004352 15505 4089446400 134512640 146736320 4294338640 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 161048 Child status: 0 Real time (s): 330.915 CPU time (s): 1800.29 CPU user time (s): 1781.22 CPU system time (s): 19.0691 CPU usage (%): 544.033 Max. virtual memory (cumulated for all children) (KiB): 164120 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.22 system time used= 19.0691 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 223880 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= 369375 involuntary context switches= 9227 runsolver used 0.689895 second user time and 1.3068 second system time The end
Begin job on node142 at 2010-07-02 09:29:57 IDJOB=2697462 IDBENCH=79302 IDSOLVER=1210 FILE ID=node142/2697462-1278055797 PBS_JOBID= 11198898 Free space on /tmp= 74192 MiB SOLVER NAME= pb_cplex 2010-07-01 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900559676--soft-0-100-0.wbo COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2697462-1278055797/watcher-2697462-1278055797 -o /tmp/evaluation-result-2697462-1278055797/solver-2697462-1278055797 -C 1800 -W 2000 -M 3800 run HOME/instance-2697462-1278055797.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b818ef86615e3f5ee29c4c2fadd6f1fe RANDOM SEED=1438158264 node142.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.827 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.827 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.16 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.827 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.827 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.75 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.827 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.827 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.827 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.827 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: 32951124 kB MemFree: 31141544 kB Buffers: 221564 kB Cached: 1208260 kB SwapCached: 0 kB Active: 711640 kB Inactive: 948692 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31141544 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 16720 kB Writeback: 0 kB AnonPages: 231324 kB Mapped: 18944 kB Slab: 83288 kB PageTables: 5560 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 438236 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= 74176 MiB End job on node142 at 2010-07-02 09:35:28