runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3742692-1339251405/watcher-3742692-1339251405 -o /tmp/evaluation-result-3742692-1339251405/solver-3742692-1339251405 -C 1800 -W 1900 -M 15500 run HOME/instance-3742692-1339251405.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.99 2.01 2.73 3/177 21319
/proc/meminfo: memFree=31225524/32873648 swapFree=7376/7376
[pid=21319] ppid=21317 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21319/stat : 21319 (run) S 21317 21319 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391266462 9367552 270 33554432000 4194304 5064252 140735419080208 140735419079120 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21319/statm: 2287 270 229 213 0 72 0
[startup+0.0434211 s]
/proc/loadavg: 1.99 2.01 2.73 3/177 21319
/proc/meminfo: memFree=31225524/32873648 swapFree=7376/7376
[pid=21319] ppid=21317 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21319/stat : 21319 (run) S 21317 21319 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391266462 9367552 270 33554432000 4194304 5064252 140735419080208 140735419079120 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21319/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100211 s]
/proc/loadavg: 1.99 2.01 2.73 3/177 21319
/proc/meminfo: memFree=31225524/32873648 swapFree=7376/7376
[pid=21319] ppid=21317 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21319/stat : 21319 (run) S 21317 21319 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391266462 9367552 270 33554432000 4194304 5064252 140735419080208 140735419079120 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21319/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300199 s]
/proc/loadavg: 1.99 2.01 2.73 3/177 21319
/proc/meminfo: memFree=31225524/32873648 swapFree=7376/7376
[pid=21319] ppid=21317 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21319/stat : 21319 (run) S 21317 21319 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391266462 9367552 270 33554432000 4194304 5064252 140735419080208 140735419079120 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21319/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700177 s]
/proc/loadavg: 1.99 2.01 2.73 3/177 21319
/proc/meminfo: memFree=31225524/32873648 swapFree=7376/7376
[pid=21319] ppid=21317 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21319/stat : 21319 (run) S 21317 21319 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391266462 9367552 270 33554432000 4194304 5064252 140735419080208 140735419079120 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21319/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 1.99 2.01 2.73 3/179 21321
/proc/meminfo: memFree=31216332/32873648 swapFree=7376/7376
[pid=21319] ppid=21317 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21319/stat : 21319 (run) S 21317 21319 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391266462 9367552 270 33554432000 4194304 5064252 140735419080208 140735419079120 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21319/statm: 2287 270 229 213 0 72 0
[pid=21320] ppid=21319 vsize=25420 CPUtime=1.49 cores=1,3,5,7
/proc/21320/stat : 21320 (pb_cplex) R 21319 21319 20024 0 -1 4202496 4636 0 0 0 148 1 0 0 20 0 1 0 391266462 26030080 3223 33554432000 134512640 146736320 4292958960 4292951376 135460977 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/21320/statm: 6355 3223 778 2985 0 3289 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34568
[startup+3.10022 s]
/proc/loadavg: 1.99 2.01 2.73 3/179 21321
/proc/meminfo: memFree=31215564/32873648 swapFree=7376/7376
[pid=21319] ppid=21317 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21319/stat : 21319 (run) S 21317 21319 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391266462 9367552 270 33554432000 4194304 5064252 140735419080208 140735419079120 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21319/statm: 2287 270 229 213 0 72 0
[pid=21320] ppid=21319 vsize=25420 CPUtime=3.09 cores=1,3,5,7
/proc/21320/stat : 21320 (pb_cplex) R 21319 21319 20024 0 -1 4202496 4639 0 0 0 308 1 0 0 20 0 1 0 391266462 26030080 3226 33554432000 134512640 146736320 4292958960 4292953016 136475826 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/21320/statm: 6355 3226 778 2985 0 3289 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34568
[startup+6.30027 s]
/proc/loadavg: 1.99 2.01 2.73 3/179 21321
/proc/meminfo: memFree=31210788/32873648 swapFree=7376/7376
[pid=21319] ppid=21317 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21319/stat : 21319 (run) S 21317 21319 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391266462 9367552 270 33554432000 4194304 5064252 140735419080208 140735419079120 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21319/statm: 2287 270 229 213 0 72 0
[pid=21320] ppid=21319 vsize=31684 CPUtime=6.29 cores=1,3,5,7
/proc/21320/stat : 21320 (pb_cplex) R 21319 21319 20024 0 -1 4202496 7026 0 0 0 628 1 0 0 20 0 1 0 391266462 32444416 4478 33554432000 134512640 146736320 4292958960 4292952704 136000315 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/21320/statm: 7921 4478 833 2985 0 4855 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40832
[startup+12.7003 s]
/proc/loadavg: 1.99 2.01 2.72 3/186 21328
/proc/meminfo: memFree=31189652/32873648 swapFree=7376/7376
[pid=21319] ppid=21317 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21319/stat : 21319 (run) S 21317 21319 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391266462 9367552 270 33554432000 4194304 5064252 140735419080208 140735419079120 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21319/statm: 2287 270 229 213 0 72 0
[pid=21320] ppid=21319 vsize=28340 CPUtime=12.68 cores=1,3,5,7
/proc/21320/stat : 21320 (pb_cplex) R 21319 21319 20024 0 -1 4202496 7818 0 0 0 1267 1 0 0 20 0 1 0 391266462 29020160 4178 33554432000 134512640 146736320 4292958960 4292953272 136015544 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/21320/statm: 7085 4178 840 2985 0 4019 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 37488
[startup+25.5001 s]
/proc/loadavg: 1.99 2.01 2.71 3/185 21328
/proc/meminfo: memFree=31186276/32873648 swapFree=7376/7376
[pid=21319] ppid=21317 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21319/stat : 21319 (run) S 21317 21319 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391266462 9367552 270 33554432000 4194304 5064252 140735419080208 140735419079120 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21319/statm: 2287 270 229 213 0 72 0
[pid=21320] ppid=21319 vsize=34148 CPUtime=25.48 cores=1,3,5,7
/proc/21320/stat : 21320 (pb_cplex) R 21319 21319 20024 0 -1 4202496 9945 0 0 0 2546 2 0 0 20 0 1 0 391266462 34967552 5216 33554432000 134512640 146736320 4292958960 4292952824 138768258 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/21320/statm: 8537 5216 840 2985 0 5471 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 43296
[startup+51.1002 s]
/proc/loadavg: 4.38 2.57 2.88 10/185 21328
/proc/meminfo: memFree=31164508/32873648 swapFree=7376/7376
[pid=21319] ppid=21317 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21319/stat : 21319 (run) S 21317 21319 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391266462 9367552 270 33554432000 4194304 5064252 140735419080208 140735419079120 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21319/statm: 2287 270 229 213 0 72 0
[pid=21320] ppid=21319 vsize=30912 CPUtime=51.07 cores=1,3,5,7
/proc/21320/stat : 21320 (pb_cplex) R 21319 21319 20024 0 -1 4202496 11602 0 0 0 5105 2 0 0 20 0 1 0 391266462 31653888 5197 33554432000 134512640 146736320 4292958960 4292952888 136015725 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/21320/statm: 7728 5197 843 2985 0 4662 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 40060
[startup+102.307 s]
/proc/loadavg: 5.48 3.16 3.06 10/193 21336
/proc/meminfo: memFree=31113840/32873648 swapFree=7376/7376
[pid=21319] ppid=21317 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21319/stat : 21319 (run) S 21317 21319 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391266462 9367552 270 33554432000 4194304 5064252 140735419080208 140735419079120 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21319/statm: 2287 270 229 213 0 72 0
[pid=21320] ppid=21319 vsize=159660 CPUtime=139.26 cores=1,3,5,7
/proc/21320/stat : 21320 (pb_cplex) R 21319 21319 20024 0 -1 4202496 24610 0 0 0 13919 7 0 0 20 0 8 0 391266462 163491840 15631 33554432000 134512640 146736320 4292958960 4292951672 136475775 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21320/statm: 39915 15631 885 2985 0 36849 0
[pid=21320/tid=21329] ppid=21319 vsize=159660 CPUtime=6 cores=1,3,5,7
/proc/21320/task/21329/stat : 21329 (pb_cplex) R 21319 21319 20024 0 -1 4202560 970 0 0 0 600 0 0 0 20 0 8 0 391273174 163491840 15631 33554432000 134512640 146736320 4292958960 4141613112 136475849 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=21320/tid=21330] ppid=21319 vsize=159660 CPUtime=5.81 cores=1,3,5,7
/proc/21320/task/21330/stat : 21330 (pb_cplex) R 21319 21319 20024 0 -1 4202560 707 0 0 0 581 0 0 0 20 0 8 0 391273174 163491840 15631 33554432000 134512640 146736320 4292958960 4131127364 136385179 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=21320/tid=21331] ppid=21319 vsize=159660 CPUtime=5.79 cores=1,3,5,7
/proc/21320/task/21331/stat : 21331 (pb_cplex) R 21319 21319 20024 0 -1 4202560 1247 0 0 0 579 0 0 0 20 0 8 0 391273174 163491840 15631 33554432000 134512640 146736320 4292958960 4120641592 136475800 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=21320/tid=21332] ppid=21319 vsize=159660 CPUtime=6.17 cores=1,3,5,7
/proc/21320/task/21332/stat : 21332 (pb_cplex) R 21319 21319 20024 0 -1 4202560 865 0 0 0 617 0 0 0 20 0 8 0 391273174 163491840 15631 33554432000 134512640 146736320 4292958960 4110156416 139046530 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=21320/tid=21333] ppid=21319 vsize=159660 CPUtime=7.05 cores=1,3,5,7
/proc/21320/task/21333/stat : 21333 (pb_cplex) R 21319 21319 20024 0 -1 4202560 901 0 0 0 705 0 0 0 20 0 8 0 391273174 163491840 15631 33554432000 134512640 146736320 4292958960 4099670608 136403109 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=21320/tid=21334] ppid=21319 vsize=159660 CPUtime=6.1 cores=1,3,5,7
/proc/21320/task/21334/stat : 21334 (pb_cplex) R 21319 21319 20024 0 -1 4202560 1378 0 0 0 610 0 0 0 20 0 8 0 391273174 163491840 15631 33554432000 134512640 146736320 4292958960 4089184348 135855185 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=21320/tid=21335] ppid=21319 vsize=159660 CPUtime=6.11 cores=1,3,5,7
/proc/21320/task/21335/stat : 21335 (pb_cplex) R 21319 21319 20024 0 -1 4202560 818 0 0 0 611 0 0 0 20 0 8 0 391273174 163491840 15631 33554432000 134512640 146736320 4292958960 4078698564 136385175 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 139.26
Current children cumulated vsize (KiB) 168808
[startup+162.3 s]
/proc/loadavg: 8.67 4.45 3.51 11/193 21336
/proc/meminfo: memFree=31092480/32873648 swapFree=7376/7376
[pid=21319] ppid=21317 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21319/stat : 21319 (run) S 21317 21319 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391266462 9367552 270 33554432000 4194304 5064252 140735419080208 140735419079120 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21319/statm: 2287 270 229 213 0 72 0
[pid=21320] ppid=21319 vsize=163436 CPUtime=356.42 cores=1,3,5,7
/proc/21320/stat : 21320 (pb_cplex) S 21319 21319 20024 0 -1 4202496 33564 0 0 0 35629 13 0 0 20 0 8 0 391266462 167358464 17702 33554432000 134512640 146736320 4292958960 4292955344 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21320/statm: 40859 17702 908 2985 0 37793 0
[pid=21320/tid=21329] ppid=21319 vsize=163436 CPUtime=38.92 cores=1,3,5,7
/proc/21320/task/21329/stat : 21329 (pb_cplex) S 21319 21319 20024 0 -1 4202560 8714 0 0 0 3889 3 0 0 20 0 8 0 391273174 167358464 17702 33554432000 134512640 146736320 4292958960 4141616784 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21320/tid=21330] ppid=21319 vsize=163436 CPUtime=46.37 cores=1,3,5,7
/proc/21320/task/21330/stat : 21330 (pb_cplex) R 21319 21319 20024 0 -1 4202560 1335 0 0 0 4637 0 0 0 20 0 8 0 391273174 167358464 17702 33554432000 134512640 146736320 4292958960 4131127364 136385170 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=21320/tid=21331] ppid=21319 vsize=163436 CPUtime=29.7 cores=1,3,5,7
/proc/21320/task/21331/stat : 21331 (pb_cplex) S 21319 21319 20024 0 -1 4202560 1257 0 0 0 2970 0 0 0 20 0 8 0 391273174 167358464 17702 33554432000 134512640 146736320 4292958960 4120645264 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21320/tid=21332] ppid=21319 vsize=163436 CPUtime=28.32 cores=1,3,5,7
/proc/21320/task/21332/stat : 21332 (pb_cplex) S 21319 21319 20024 0 -1 4202560 874 0 0 0 2832 0 0 0 20 0 8 0 391273174 167358464 17702 33554432000 134512640 146736320 4292958960 4110159504 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21320/tid=21333] ppid=21319 vsize=163436 CPUtime=47.22 cores=1,3,5,7
/proc/21320/task/21333/stat : 21333 (pb_cplex) R 21319 21319 20024 0 -1 4202560 989 0 0 0 4722 0 0 0 20 0 8 0 391273174 167358464 17702 33554432000 134512640 146736320 4292958960 4099670224 136008000 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=21320/tid=21334] ppid=21319 vsize=163436 CPUtime=20.86 cores=1,3,5,7
/proc/21320/task/21334/stat : 21334 (pb_cplex) S 21319 21319 20024 0 -1 4202560 1579 0 0 0 2086 0 0 0 20 0 8 0 391273174 167358464 17702 33554432000 134512640 146736320 4292958960 4089187984 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21320/tid=21335] ppid=21319 vsize=163436 CPUtime=24.04 cores=1,3,5,7
/proc/21320/task/21335/stat : 21335 (pb_cplex) S 21319 21319 20024 0 -1 4202560 885 0 0 0 2404 0 0 0 20 0 8 0 391273174 167358464 17702 33554432000 134512640 146736320 4292958960 4078702224 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 356.42
Current children cumulated vsize (KiB) 172584
[startup+222.3 s]
/proc/loadavg: 9.12 5.37 3.88 7/194 21339
/proc/meminfo: memFree=31080188/32873648 swapFree=7376/7376
[pid=21319] ppid=21317 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21319/stat : 21319 (run) S 21317 21319 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391266462 9367552 270 33554432000 4194304 5064252 140735419080208 140735419079120 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21319/statm: 2287 270 229 213 0 72 0
[pid=21320] ppid=21319 vsize=164284 CPUtime=446.56 cores=1,3,5,7
/proc/21320/stat : 21320 (pb_cplex) S 21319 21319 20024 0 -1 4202496 34468 0 0 0 44643 13 0 0 20 0 8 0 391266462 168226816 18817 33554432000 134512640 146736320 4292958960 4292955344 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21320/statm: 41071 18817 909 2985 0 38005 0
[pid=21320/tid=21329] ppid=21319 vsize=164284 CPUtime=38.92 cores=1,3,5,7
/proc/21320/task/21329/stat : 21329 (pb_cplex) S 21319 21319 20024 0 -1 4202560 8714 0 0 0 3889 3 0 0 20 0 8 0 391273174 168226816 18817 33554432000 134512640 146736320 4292958960 4141616784 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21320/tid=21330] ppid=21319 vsize=164284 CPUtime=76.54 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=30935712/32873648 swapFree=7376/7376
[pid=21319] ppid=21317 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21319/stat : 21319 (run) S 21317 21319 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391266462 9367552 270 33554432000 4194304 5064252 140735419080208 140735419079120 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21319/statm: 2287 270 229 213 0 72 0
[pid=21320] ppid=21319 vsize=105456 CPUtime=1056.74 cores=1,3,5,7
/proc/21320/stat : 21320 (pb_cplex) R 21319 21319 20024 0 -1 4202496 46491 0 0 0 105634 40 0 0 20 0 1 0 391266462 107986944 12825 33554432000 134512640 146736320 4292958960 4292952900 136385175 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/21320/statm: 26364 12825 912 2985 0 23298 0
Current children cumulated CPU time (s) 1056.74
Current children cumulated vsize (KiB) 114604
[startup+462.3 s]
/proc/loadavg: 7.92 7.88 5.33 5/193 21361
/proc/meminfo: memFree=30751872/32873648 swapFree=7376/7376
[pid=21319] ppid=21317 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21319/stat : 21319 (run) S 21317 21319 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391266462 9367552 270 33554432000 4194304 5064252 140735419080208 140735419079120 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21319/statm: 2287 270 229 213 0 72 0
[pid=21320] ppid=21319 vsize=370072 CPUtime=1116.72 cores=1,3,5,7
/proc/21320/stat : 21320 (pb_cplex) R 21319 21319 20024 0 -1 4202496 51116 0 0 0 111629 43 0 0 20 0 8 0 391266462 378953728 56755 33554432000 134512640 146736320 4292958960 4292951684 136385179 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21320/statm: 92518 56755 915 2985 0 89452 0
[pid=21320/tid=21355] ppid=21319 vsize=370072 CPUtime=0 cores=1,3,5,7
/proc/21320/task/21355/stat : 21355 (pb_cplex) S 21319 21319 20024 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 391310797 378953728 56755 33554432000 134512640 146736320 4292958960 4078702224 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21320/tid=21356] ppid=21319 vsize=370072 CPUtime=0 cores=1,3,5,7
/proc/21320/task/21356/stat : 21356 (pb_cplex) S 21319 21319 20024 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 391310797 378953728 56755 33554432000 134512640 146736320 4292958960 4089187984 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21320/tid=21357] ppid=21319 vsize=370072 CPUtime=0 cores=1,3,5,7
/proc/21320/task/21357/stat : 21357 (pb_cplex) S 21319 21319 20024 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 391310797 378953728 56755 33554432000 134512640 146736320 4292958960 4099673744 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21320/tid=21358] ppid=21319 vsize=370072 CPUtime=0 cores=1,3,5,7
/proc/21320/task/21358/stat : 21358 (pb_cplex) S 21319 21319 20024 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 391310797 378953728 56755 33554432000 134512640 146736320 4292958960 4110159504 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21320/tid=21359] ppid=21319 vsize=370072 CPUtime=0 cores=1,3,5,7
/proc/21320/task/21359/stat : 21359 (pb_cplex) S 21319 21319 20024 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 391310797 378953728 56755 33554432000 134512640 146736320 4292958960 3854274192 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21320/tid=21360] ppid=21319 vsize=370072 CPUtime=0 cores=1,3,5,7
/proc/21320/task/21360/stat : 21360 (pb_cplex) S 21319 21319 20024 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 391310797 378953728 56755 33554432000 134512640 146736320 4292958960 3843788432 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21320/tid=21361] ppid=21319 vsize=370072 CPUtime=0 cores=1,3,5,7
/proc/21320/task/21361/stat : 21361 (pb_cplex) S 21319 21319 20024 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 391310797 378953728 56755 33554432000 134512640 146736320 4292958960 3833302672 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1116.72
Current children cumulated vsize (KiB) 379220
[startup+522.3 s]
/proc/loadavg: 8.85 8.16 5.58 16/193 21361
/proc/meminfo: memFree=30720332/32873648 swapFree=7376/7376
[pid=21319] ppid=21317 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21319/stat : 21319 (run) S 21317 21319 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391266462 9367552 270 33554432000 4194304 5064252 140735419080208 140735419079120 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21319/statm: 2287 270 229 213 0 72 0
[pid=21320] ppid=21319 vsize=395000 CPUtime=1354.01 cores=1,3,5,7
/proc/21320/stat : 21320 (pb_cplex) S 21319 21319 20024 0 -1 4202496 60956 0 0 0 135351 50 0 0 20 0 8 0 391266462 404480000 62121 33554432000 134512640 146736320 4292958960 4292955344 144580073 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21320/statm: 98750 62121 915 2985 0 95684 0
[pid=21320/tid=21355] ppid=21319 vsize=395000 CPUtime=29.75 cores=1,3,5,7
/proc/21320/task/21355/stat : 21355 (pb_cplex) R 21319 21319 20024 0 -1 4202560 635 0 0 0 2975 0 0 0 20 0 8 0 391310797 404480000 62121 33554432000 134512640 146736320 4292958960 4078698704 136008056 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=21320/tid=21356] ppid=21319 vsize=395000 CPUtime=29.72 cores=1,3,5,7
/proc/21320/task/21356/stat : 21356 (pb_cplex) R 21319 21319 20024 0 -1 4202560 845 0 0 0 2972 0 0 0 20 0 8 0 391310797 404480000 62121 33554432000 134512640 146736320 4292958960 4089182672 135459784 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=21320/tid=21357] ppid=21319 vsize=395000 CPUtime=30.02 cores=1,3,5,7
/proc/21320/task/21357/stat : 21357 (pb_cplex) R 21319 21319 20024 0 -1 4202560 2033 0 0 0 3002 0 0 0 20 0 8 0 391310797 404480000 62121 33554432000 134512640 146736320 4292958960 4099670472 136001649 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=21320/tid=21358] ppid=21319 vsize=395000 CPUtime=30.24 cores=1,3,5,7
/proc/21320/task/21358/stat : 21358 (pb_cplex) R 21319 21319 20024 0 -1 4202560 1265 0 0 0 3022 2 0 0 20 0 8 0 391310797 404480000 62121 33554432000 134512640 146736320 4292958960 4110155992 136008924 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=21320/tid=21359] ppid=21319 vsize=395000 CPUtime=29.82 cores=1,3,5,7
/proc/21320/task/21359/stat : 21359 (pb_cplex) R 21319 21319 20024 0 -1 4202560 1354 0 0 0 2982 0 0 0 20 0 8 0 391310797 404480000 62121 33554432000 134512640 146736320 4292958960 3854270556 135855165 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=21320/tid=21360] ppid=21319 vsize=395000 CPUtime=29.62 cores=1,3,5,7
/proc/21320/task/21360/stat : 21360 (pb_cplex) R 21319 21319 20024 0 -1 4202560 2505 0 0 0 2961 1 0 0 20 0 8 0 391310797 404480000 62121 33554432000 134512640 146736320 4292958960 3843784912 136008172 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=21320/tid=21361] ppid=21319 vsize=395000 CPUtime=29.67 cores=1,3,5,7
/proc/21320/task/21361/stat : 21361 (pb_cplex) R 21319 21319 20024 0 -1 4202560 846 0 0 0 2967 0 0 0 20 0 8 0 391310797 404480000 62121 33554432000 134512640 146736320 4292958960 3833298944 136019069 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1354.01
Current children cumulated vsize (KiB) 404148
[startup+582.3 s]
/proc/loadavg: 9.74 8.69 5.93 3/186 21411
/proc/meminfo: memFree=30936900/32873648 swapFree=7376/7376
[pid=21319] ppid=21317 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21319/stat : 21319 (run) S 21317 21319 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391266462 9367552 270 33554432000 4194304 5064252 140735419080208 140735419079120 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21319/statm: 2287 270 229 213 0 72 0
[pid=21320] ppid=21319 vsize=397048 CPUtime=1519.88 cores=1,3,5,7
/proc/21320/stat : 21320 (pb_cplex) S 21319 21319 20024 0 -1 4202496 62405 0 0 0 151936 52 0 0 20 0 8 0 391266462 406577152 62520 33554432000 134512640 146736320 4292958960 4292955344 144580073 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21320/statm: 99262 62520 915 2985 0 96196 0
[pid=21320/tid=21355] ppid=21319 vsize=397048 CPUtime=44.9 cores=1,3,5,7
/proc/21320/task/21355/stat : 21355 (pb_cplex) S 21319 21319 20024 0 -1 4202560 765 0 0 0 4490 0 0 0 20 0 8 0 391310797 406577152 62520 33554432000 134512640 146736320 4292958960 4078702224 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21320/tid=21356] ppid=21319 vsize=397048 CPUtime=77.91 cores=1,3,5,7
/proc/21320/task/21356/stat : 21356 (pb_cplex) R 21319 21319 20024 0 -1 4202560 885 0 0 0 7790 1 0 0 20 0 8 0 391310797 406577152 62520 33554432000 134512640 146736320 4292958960 4089184712 136000333 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=21320/tid=21357] ppid=21319 vsize=397048 CPUtime=54.06 cores=1,3,5,7
/proc/21320/task/21357/stat : 21357 (pb_cplex) S 21319 21319 20024 0 -1 4202560 2183 0 0 0 5405 1 0 0 20 0 8 0 391310797 406577152 62520 33554432000 134512640 146736320 4292958960 4099673744 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21320/tid=21358] ppid=21319 vsize=397048 CPUtime=61.19 cores=1,3,5,7
/proc/21320/task/21358/stat : 21358 (pb_cplex) S 21319 21319 20024 0 -1 4202560 1727 0 0 0 6117 2 0 0 20 0 8 0 391310797 406577152 62520 33554432000 134512640 146736320 4292958960 4110159504 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21320/tid=21359] ppid=21319 vsize=397048 CPUtime=47.41 cores=1,3,5,7
/proc/21320/task/21359/stat : 21359 (pb_cplex) S 21319 21319 20024 0 -1 4202560 1673 0 0 0 4740 1 0 0 20 0 8 0 391310797 406577152 62520 33554432000 134512640 146736320 4292958960 3854274192 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21320/tid=21360] ppid=21319 vsize=397048 CPUtime=47.12 cores=1,3,5,7
/proc/21320/task/21360/stat : 21360 (pb_cplex) S 21319 21319 20024 0 -1 4202560 2648 0 0 0 4711 1 0 0 20 0 8 0 391310797 406577152 62520 33554432000 134512640 146736320 4292958960 3843788432 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21320/tid=21361] ppid=21319 vsize=397048 CPUtime=42.03 cores=1,3,5,7
/proc/21320/task/21361/stat : 21361 (pb_cplex) S 21319 21319 20024 0 -1 4202560 1051 0 0 0 4203 0 0 0 20 0 8 0 391310797 406577152 62520 33554432000 134512640 146736320 4292958960 3833302672 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1519.88
Current children cumulated vsize (KiB) 406196
[startup+642.3 s]
/proc/loadavg: 5.46 7.61 5.72 10/187 21413
/proc/meminfo: memFree=30778584/32873648 swapFree=7376/7376
[pid=21319] ppid=21317 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21319/stat : 21319 (run) S 21317 21319 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391266462 9367552 270 33554432000 4194304 5064252 140735419080208 140735419079120 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21319/statm: 2287 270 229 213 0 72 0
[pid=21320] ppid=21319 vsize=397672 CPUtime=1607.42 cores=1,3,5,7
/proc/21320/stat : 21320 (pb_cplex) R 21319 21319 20024 0 -1 4202496 63910 0 0 0 160688 54 0 0 20 0 8 0 391266462 407216128 64081 33554432000 134512640 146736320 4292958960 4292951824 136008007 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21320/statm: 99418 64081 915 2985 0 96352 0
[pid=21320/tid=21355] ppid=21319 vsize=397672 CPUtime=49.65 cores=1,3,5,7
/proc/21320/task/21355/stat : 21355 (pb_cplex) R 21319 21319 20024 0 -1 4202560 859 0 0 0 4965 0 0 0 20 0 8 0 391310797 407216128 64081 33554432000 134512640 146736320 4292958960 4078698588 135855165 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=21320/tid=21356] ppid=21319 vsize=397672 CPUtime=133.16 cores=1,3,5,7
/proc/21320/task/21356/stat : 21356 (pb_cplex) R 21319 21319 20024 0 -1 4202560 1054 0 0 0 13312 4 0 0 20 0 8 0 391310797 407216128 64081 33554432000 134512640 146736320 4292958960 4089184464 136008309 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=21320/tid=21357] ppid=21319 vsize=397672 CPUtime=58.82 cores=1,3,5,7
/proc/21320/task/21357/stat : 21357 (pb_cplex) R 21319 21319 20024 0 -1 4202560 2589 0 0 0 5881 1 0 0 20 0 8 0 391310797 407216128 64081 33554432000 134512640 146736320 4292958960 4099670072 136475800 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=21320/tid=21358] ppid=21319 vsize=397672 CPUtime=65.74 cores=1,3,5,7
/proc/21320/task/21358/stat : 21358 (pb_cplex) R 21319 21319 20024 0 -1 4202560 1826 0 0 0 6572 2 0 0 20 0 8 0 391310797 407216128 64081 33554432000 134512640 146736320 4292958960 4110155984 136008416 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=21320/tid=21359] ppid=21319 vsize=397672 CPUtime=51.89 cores=1,3,5,7
/proc/21320/task/21359/stat : 21359 (pb_cplex) R 21319 21319 20024 0 -1 4202560 2022 0 0 0 5188 1 0 0 20 0 8 0 391310797 407216128 64081 33554432000 134512640 146736320 4292958960 3854270532 136385184 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=21320/tid=21360] ppid=21319 vsize=397672 CPUtime=51.64 cores=1,3,5,7
/proc/21320/task/21360/stat : 21360 (pb_cplex) R 21319 21319 20024 0 -1 4202560 2722 0 0 0 5163 1 0 0 20 0 8 0 391310797 407216128 64081 33554432000 134512640 146736320 4292958960 3843784912 136008441 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=21320/tid=21361] ppid=21319 vsize=397672 CPUtime=46.5 cores=1,3,5,7
/proc/21320/task/21361/stat : 21361 (pb_cplex) R 21319 21319 20024 0 -1 4202560 1183 0 0 0 4650 0 0 0 20 0 8 0 391310797 407216128 64081 33554432000 134512640 146736320 4292958960 3833298760 135525918 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1607.42
Current children cumulated vsize (KiB) 406820
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+691.2 s]
/proc/loadavg: 7.24 7.77 5.88 10/186 21413
/proc/meminfo: memFree=30769284/32873648 swapFree=7376/7376
[pid=21319] ppid=21317 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21319/stat : 21319 (run) S 21317 21319 20024 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391266462 9367552 270 33554432000 4194304 5064252 140735419080208 140735419079120 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21319/statm: 2287 270 229 213 0 72 0
[pid=21320] ppid=21319 vsize=401324 CPUtime=1799.92 cores=1,3,5,7
/proc/21320/stat : 21320 (pb_cplex) R 21319 21319 20024 0 -1 4202496 66336 0 0 0 179934 58 0 0 20 0 8 0 391266462 410955776 66305 33554432000 134512640 146736320 4292958960 4292951432 135526401 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21320/statm: 100331 66305 918 2985 0 97265 0
[pid=21320/tid=21355] ppid=21319 vsize=401324 CPUtime=74.3 cores=1,3,5,7
/proc/21320/task/21355/stat : 21355 (pb_cplex) R 21319 21319 20024 0 -1 4202560 914 0 0 0 7428 2 0 0 20 0 8 0 391310797 410955776 66305 33554432000 134512640 146736320 4292958960 4078699496 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=21320/tid=21356] ppid=21319 vsize=401324 CPUtime=158.37 cores=1,3,5,7
/proc/21320/task/21356/stat : 21356 (pb_cplex) R 21319 21319 20024 0 -1 4202560 1091 0 0 0 15833 4 0 0 20 0 8 0 391310797 410955776 66305 33554432000 134512640 146736320 4292958960 4089184328 139042902 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=21320/tid=21357] ppid=21319 vsize=401324 CPUtime=82.02 cores=1,3,5,7
/proc/21320/task/21357/stat : 21357 (pb_cplex) R 21319 21319 20024 0 -1 4202560 3099 0 0 0 8200 2 0 0 20 0 8 0 391310797 410955776 66305 33554432000 134512640 146736320 4292958960 4099670072 136475812 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=21320/tid=21358] ppid=21319 vsize=401324 CPUtime=90.16 cores=1,3,5,7
/proc/21320/task/21358/stat : 21358 (pb_cplex) R 21319 21319 20024 0 -1 4202560 2217 0 0 0 9013 3 0 0 20 0 8 0 391310797 410955776 66305 33554432000 134512640 146736320 4292958960 4110156232 136000415 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=21320/tid=21359] ppid=21319 vsize=401324 CPUtime=76.28 cores=1,3,5,7
/proc/21320/task/21359/stat : 21359 (pb_cplex) R 21319 21319 20024 0 -1 4202560 2862 0 0 0 7625 3 0 0 20 0 8 0 391310797 410955776 66305 33554432000 134512640 146736320 4292958960 3854270504 139044580 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=21320/tid=21360] ppid=21319 vsize=401324 CPUtime=75.53 cores=1,3,5,7
/proc/21320/task/21360/stat : 21360 (pb_cplex) R 21319 21319 20024 0 -1 4202560 2747 0 0 0 7551 2 0 0 20 0 8 0 391310797 410955776 66305 33554432000 134512640 146736320 4292958960 3843784912 136008416 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=21320/tid=21361] ppid=21319 vsize=401324 CPUtime=70.92 cores=1,3,5,7
/proc/21320/task/21361/stat : 21361 (pb_cplex) R 21319 21319 20024 0 -1 4202560 1400 0 0 0 7090 2 0 0 20 0 8 0 391310797 410955776 66305 33554432000 134512640 146736320 4292958960 3833299400 136001985 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.92
Current children cumulated vsize (KiB) 410472
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21319 and gives
# childrusage.ru_utime.tv_sec=1798
# childrusage.ru_utime.tv_usec=867530
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=703892
# CPU time returned by wait4() is 1799.57
# while last known CPU time is 1799.92
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.469971
# lost CPU user time (s): 0.609985
# lost CPU system time (s): -0.14
Real time (s): 691.216
CPU time (s): 1800.39
CPU user time (s): 1799.95
CPU system time (s): 0.44
CPU usage (%): 260.467
Max. virtual memory (cumulated for all children) (KiB): 410472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.87
system time used= 0.703892
maximum resident set size= 265228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66701
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= 3387
involuntary context switches= 90874
runsolver used 1.40878 second user time and 3.2845 second system time
The end