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-3741886-1339250672/watcher-3741886-1339250672 -o /tmp/evaluation-result-3741886-1339250672/solver-3741886-1339250672 -C 1800 -W 1900 -M 15500 run HOME/instance-3741886-1339250672.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.09 3/175 12353
/proc/meminfo: memFree=31048744/32873852 swapFree=7632/7632
[pid=12353] ppid=12351 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12353/stat : 12353 (run) S 12351 12353 11452 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391192243 9367552 269 33554432000 4194304 5064252 140733778419328 140733778418240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12353/statm: 2287 269 229 213 0 72 0
[startup+0.025954 s]
/proc/loadavg: 2.00 2.00 2.09 3/175 12353
/proc/meminfo: memFree=31048744/32873852 swapFree=7632/7632
[pid=12353] ppid=12351 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12353/stat : 12353 (run) S 12351 12353 11452 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391192243 9367552 269 33554432000 4194304 5064252 140733778419328 140733778418240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12353/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100256 s]
/proc/loadavg: 2.00 2.00 2.09 3/175 12353
/proc/meminfo: memFree=31048744/32873852 swapFree=7632/7632
[pid=12353] ppid=12351 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12353/stat : 12353 (run) S 12351 12353 11452 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391192243 9367552 269 33554432000 4194304 5064252 140733778419328 140733778418240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12353/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300237 s]
/proc/loadavg: 2.00 2.00 2.09 3/175 12353
/proc/meminfo: memFree=31048744/32873852 swapFree=7632/7632
[pid=12353] ppid=12351 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12353/stat : 12353 (run) S 12351 12353 11452 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391192243 9367552 269 33554432000 4194304 5064252 140733778419328 140733778418240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12353/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700222 s]
/proc/loadavg: 2.00 2.00 2.09 3/175 12353
/proc/meminfo: memFree=31048744/32873852 swapFree=7632/7632
[pid=12353] ppid=12351 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12353/stat : 12353 (run) S 12351 12353 11452 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391192243 9367552 269 33554432000 4194304 5064252 140733778419328 140733778418240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12353/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.09 3/177 12355
/proc/meminfo: memFree=31035072/32873852 swapFree=7632/7632
[pid=12353] ppid=12351 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12353/stat : 12353 (run) S 12351 12353 11452 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391192243 9367552 269 33554432000 4194304 5064252 140733778419328 140733778418240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12353/statm: 2287 269 229 213 0 72 0
[pid=12354] ppid=12353 vsize=30976 CPUtime=1.48 cores=0,2,4,6
/proc/12354/stat : 12354 (pb_cplex) R 12353 12353 11452 0 -1 4202496 5100 0 0 0 148 0 0 0 20 0 1 0 391192244 31719424 4155 33554432000 134512640 146736320 4291332544 4291326920 135525908 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/12354/statm: 7744 4155 722 2985 0 4678 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 40124
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.09 3/177 12355
/proc/meminfo: memFree=31034576/32873852 swapFree=7632/7632
[pid=12353] ppid=12351 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12353/stat : 12353 (run) S 12351 12353 11452 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391192243 9367552 269 33554432000 4194304 5064252 140733778419328 140733778418240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12353/statm: 2287 269 229 213 0 72 0
[pid=12354] ppid=12353 vsize=31188 CPUtime=3.08 cores=0,2,4,6
/proc/12354/stat : 12354 (pb_cplex) R 12353 12353 11452 0 -1 4202496 6104 0 0 0 308 0 0 0 20 0 1 0 391192244 31936512 4288 33554432000 134512640 146736320 4291332544 4291326576 136384846 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/12354/statm: 7797 4288 778 2985 0 4731 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 40336
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.09 3/177 12355
/proc/meminfo: memFree=31033460/32873852 swapFree=7632/7632
[pid=12353] ppid=12351 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12353/stat : 12353 (run) S 12351 12353 11452 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391192243 9367552 269 33554432000 4194304 5064252 140733778419328 140733778418240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12353/statm: 2287 269 229 213 0 72 0
[pid=12354] ppid=12353 vsize=31188 CPUtime=6.28 cores=0,2,4,6
/proc/12354/stat : 12354 (pb_cplex) R 12353 12353 11452 0 -1 4202496 6109 0 0 0 628 0 0 0 20 0 1 0 391192244 31936512 4293 33554432000 134512640 146736320 4291332544 4291326984 136000767 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/12354/statm: 7797 4293 778 2985 0 4731 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 40336
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.09 3/177 12355
/proc/meminfo: memFree=31033104/32873852 swapFree=7632/7632
[pid=12353] ppid=12351 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12353/stat : 12353 (run) S 12351 12353 11452 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391192243 9367552 269 33554432000 4194304 5064252 140733778419328 140733778418240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12353/statm: 2287 269 229 213 0 72 0
[pid=12354] ppid=12353 vsize=31188 CPUtime=12.68 cores=0,2,4,6
/proc/12354/stat : 12354 (pb_cplex) R 12353 12353 11452 0 -1 4202496 6111 0 0 0 1268 0 0 0 20 0 1 0 391192244 31936512 4295 33554432000 134512640 146736320 4291332544 4291326840 136015579 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/12354/statm: 7797 4295 778 2985 0 4731 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 40336
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.09 3/177 12355
/proc/meminfo: memFree=31025276/32873852 swapFree=7632/7632
[pid=12353] ppid=12351 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12353/stat : 12353 (run) S 12351 12353 11452 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391192243 9367552 269 33554432000 4194304 5064252 140733778419328 140733778418240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12353/statm: 2287 269 229 213 0 72 0
[pid=12354] ppid=12353 vsize=41656 CPUtime=25.49 cores=0,2,4,6
/proc/12354/stat : 12354 (pb_cplex) R 12353 12353 11452 0 -1 4202496 10565 0 0 0 2548 1 0 0 20 0 1 0 391192244 42655744 6212 33554432000 134512640 146736320 4291332544 4291326456 136475775 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/12354/statm: 10414 6212 837 2985 0 7348 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 50804
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.08 3/177 12355
/proc/meminfo: memFree=31023372/32873852 swapFree=7632/7632
[pid=12353] ppid=12351 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12353/stat : 12353 (run) S 12351 12353 11452 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391192243 9367552 269 33554432000 4194304 5064252 140733778419328 140733778418240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12353/statm: 2287 269 229 213 0 72 0
[pid=12354] ppid=12353 vsize=37244 CPUtime=51.08 cores=0,2,4,6
/proc/12354/stat : 12354 (pb_cplex) R 12353 12353 11452 0 -1 4202496 10977 0 0 0 5107 1 0 0 20 0 1 0 391192244 38137856 5997 33554432000 134512640 146736320 4291332544 4291326840 136015579 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/12354/statm: 9311 5997 840 2985 0 6245 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 46392
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.08 3/177 12355
/proc/meminfo: memFree=31016288/32873852 swapFree=7632/7632
[pid=12353] ppid=12351 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12353/stat : 12353 (run) S 12351 12353 11452 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391192243 9367552 269 33554432000 4194304 5064252 140733778419328 140733778418240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12353/statm: 2287 269 229 213 0 72 0
[pid=12354] ppid=12353 vsize=43276 CPUtime=102.28 cores=0,2,4,6
/proc/12354/stat : 12354 (pb_cplex) R 12353 12353 11452 0 -1 4202496 14839 0 0 0 10226 2 0 0 20 0 1 0 391192244 44314624 6912 33554432000 134512640 146736320 4291332544 4291326492 135855174 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/12354/statm: 10819 6912 842 2985 0 7753 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 52424
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/184 12363
/proc/meminfo: memFree=30039988/32873852 swapFree=7632/7632
[pid=12353] ppid=12351 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12353/stat : 12353 (run) S 12351 12353 11452 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391192243 9367552 269 33554432000 4194304 5064252 140733778419328 140733778418240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12353/statm: 2287 269 229 213 0 72 0
[pid=12354] ppid=12353 vsize=43088 CPUtime=162.26 cores=0,2,4,6
/proc/12354/stat : 12354 (pb_cplex) R 12353 12353 11452 0 -1 4202496 20210 0 0 0 16223 3 0 0 20 0 1 0 391192244 44122112 6859 33554432000 134512640 146736320 4291332544 4291326504 136384781 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/12354/statm: 10772 6859 861 2985 0 7706 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 52236
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/184 12363
/proc/meminfo: memFree=30033392/32873852 swapFree=7632/7632
[pid=12353] ppid=12351 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12353/stat : 12353 (run) S 12351 12353 11452 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391192243 9367552 269 33554432000 4194304 5064252 140733778419328 140733778418240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12353/statm: 2287 269 229 213 0 72 0
[pid=12354] ppid=12353 vsize=37244 CPUtime=222.25 cores=0,2,4,6
/proc/12354/stat : 12354 (pb_cplex) R 12353 12353 11452 0 -1 4202496 20361 0 0 0 22222 3 0 0 20 0 1 0 391192244 38137856 6037 33554432000 134512640 146736320 4291332544 4291327016 136015261 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/12354/statm: 9311 6037 874 2985 0 6245 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 46392
[startup+282.3 s]
/proc/loadavg: 5.96 3.08 2.43 10/184 12363
/proc/meminfo: memFree=29341948/32873852 swapFree=7632/7632
[pid=12353] ppid=12351 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12353/stat : 12353 (run) S 12351 12353 11452 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391192243 9367552 269 33554432000 4194304 5064252 140733778419328 140733778418240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12353/statm: 2287 269 229 213 0 72 0
[pid=12354] ppid=12353 vsize=155088 CPUtime=282.24 cores=0,2,4,6
/proc/12354/stat : 12354 (pb_cplex) R 12353 12353 11452 0 -1 4202496 28971 0 0 0 28219 5 0 0 20 0 8 0 391192244 158810112 14199 33554432000 134512640 146736320 4291332544 4291325496 136015696 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12354/statm: 38772 14199 903 2985 0 35706 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 164236
[startup+342.3 s]
/proc/loadavg: 9.43 4.50 2.95 17/192 12373
/proc/meminfo: memFree=29212712/32873852 swapFree=7632/7632
[pid=12353] ppid=12351 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12353/stat : 12353 (run) S 12351 12353 11452 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391192243 9367552 269 33554432000 4194304 5064252 140733778419328 140733778418240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12353/statm: 2287 269 229 213 0 72 0
[pid=12354] ppid=12353 vsize=194592 CPUtime=382.17 cores=0,2,4,6
/proc/12354/stat : 12354 (pb_cplex) R 12353 12353 11452 0 -1 4202496 42602 0 0 0 38207 10 0 0 20 0 8 0 391192244 199262208 22282 33554432000 134512640 146736320 4291332544 4291325640 136000308 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/12354/statm: 48648 22282 906 2985 0 45582 0
[pid=12354/tid=12364] ppid=12353 vsize=194592 CPUtime=6.94 cores=0,2,4,6
/proc/12354/task/12364/stat : 12364 (pb_cplex) R 12353 12353 11452 0 -1 4202560 1229 0 0 0 694 0 0 0 20 0 8 0 391220431 199262208 22282 33554432000 134512640 146736320 4291332544 4135152784 136008086 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=12354/tid=12365] ppid=12353 vsize=194592 CPUtime=6.37 cores=0,2,4,6
/proc/12354/task/12365/stat : 12365 (pb_cplex) R 12353 12353 11452 0 -1 4202560 6212 0 0 0 635 2 0 0 20 0 8 0 391220431 199262208 22282 33554432000 134512640 146736320 4291332544 4124667052 135454093 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12354/tid=12366] ppid=12353 vsize=194592 CPUtime=6.51 cores=0,2,4,6
/proc/12354/task/12366/stat : 12366 (pb_cplex) R 12353 12353 11452 0 -1 4202560 1190 0 0 0 651 0 0 0 20 0 8 0 391220431 199262208 22282 33554432000 134512640 146736320 4291332544 4114181696 139046470 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12354/tid=12367] ppid=12353 vsize=194592 CPUtime=6.44 cores=0,2,4,6
################
# More data... #
################
/proc/12354/statm: 49857 23547 909 2985 0 46791 0
[pid=12354/tid=12364] ppid=12353 vsize=199428 CPUtime=65.19 cores=0,2,4,6
/proc/12354/task/12364/stat : 12364 (pb_cplex) S 12353 12353 11452 0 -1 4202560 2527 0 0 0 6518 1 0 0 20 0 8 0 391220431 204214272 23547 33554432000 134512640 146736320 4291332544 4135157392 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12354/tid=12365] ppid=12353 vsize=199428 CPUtime=71.25 cores=0,2,4,6
/proc/12354/task/12365/stat : 12365 (pb_cplex) S 12353 12353 11452 0 -1 4202560 18056 0 0 0 7118 7 0 0 20 0 8 0 391220431 204214272 23547 33554432000 134512640 146736320 4291332544 4124671632 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12354/tid=12366] ppid=12353 vsize=199428 CPUtime=61.19 cores=0,2,4,6
/proc/12354/task/12366/stat : 12366 (pb_cplex) S 12353 12353 11452 0 -1 4202560 3257 0 0 0 6118 1 0 0 20 0 8 0 391220431 204214272 23547 33554432000 134512640 146736320 4291332544 4114185872 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12354/tid=12367] ppid=12353 vsize=199428 CPUtime=117.04 cores=0,2,4,6
/proc/12354/task/12367/stat : 12367 (pb_cplex) S 12353 12353 11452 0 -1 4202560 1833 0 0 0 11702 2 0 0 20 0 8 0 391220431 204214272 23547 33554432000 134512640 146736320 4291332544 4103700112 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12354/tid=12368] ppid=12353 vsize=199428 CPUtime=93.14 cores=0,2,4,6
/proc/12354/task/12368/stat : 12368 (pb_cplex) S 12353 12353 11452 0 -1 4202560 1071 0 0 0 9312 2 0 0 20 0 8 0 391220431 204214272 23547 33554432000 134512640 146736320 4291332544 4093214352 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12354/tid=12369] ppid=12353 vsize=199428 CPUtime=129.52 cores=0,2,4,6
/proc/12354/task/12369/stat : 12369 (pb_cplex) R 12353 12353 11452 0 -1 4202560 8790 0 0 0 12948 4 0 0 20 0 8 0 391220431 204214272 23547 33554432000 134512640 146736320 4291332544 4082725140 136003826 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12354/tid=12370] ppid=12353 vsize=199428 CPUtime=69.04 cores=0,2,4,6
/proc/12354/task/12370/stat : 12370 (pb_cplex) S 12353 12353 11452 0 -1 4202560 1561 0 0 0 6902 2 0 0 20 0 8 0 391220431 204214272 23547 33554432000 134512640 146736320 4291332544 4072242832 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 992.22
Current children cumulated vsize (KiB) 208576
[startup+582.3 s]
/proc/loadavg: 11.97 9.09 5.26 17/191 12374
/proc/meminfo: memFree=29219304/32873852 swapFree=7632/7632
[pid=12353] ppid=12351 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12353/stat : 12353 (run) S 12351 12353 11452 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391192243 9367552 269 33554432000 4194304 5064252 140733778419328 140733778418240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12353/statm: 2287 269 229 213 0 72 0
[pid=12354] ppid=12353 vsize=200436 CPUtime=1106.74 cores=0,2,4,6
/proc/12354/stat : 12354 (pb_cplex) R 12353 12353 11452 0 -1 4202496 70909 0 0 0 110644 30 0 0 20 0 8 0 391192244 205246464 24871 33554432000 134512640 146736320 4291332544 4291324312 139028313 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12354/statm: 50109 24871 909 2985 0 47043 0
[pid=12354/tid=12364] ppid=12353 vsize=200436 CPUtime=74.21 cores=0,2,4,6
/proc/12354/task/12364/stat : 12364 (pb_cplex) R 12353 12353 11452 0 -1 4202560 2949 0 0 0 7419 2 0 0 20 0 8 0 391220431 205246464 24871 33554432000 134512640 146736320 4291332544 4135153664 136018922 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=12354/tid=12365] ppid=12353 vsize=200436 CPUtime=80.36 cores=0,2,4,6
/proc/12354/task/12365/stat : 12365 (pb_cplex) R 12353 12353 11452 0 -1 4202560 18151 0 0 0 8029 7 0 0 20 0 8 0 391220431 205246464 24871 33554432000 134512640 146736320 4291332544 4124666732 135457161 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12354/tid=12366] ppid=12353 vsize=200436 CPUtime=70.3 cores=0,2,4,6
/proc/12354/task/12366/stat : 12366 (pb_cplex) R 12353 12353 11452 0 -1 4202560 3467 0 0 0 7027 3 0 0 20 0 8 0 391220431 205246464 24871 33554432000 134512640 146736320 4291332544 4114181512 136000416 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12354/tid=12367] ppid=12353 vsize=200436 CPUtime=126.14 cores=0,2,4,6
/proc/12354/task/12367/stat : 12367 (pb_cplex) R 12353 12353 11452 0 -1 4202560 2880 0 0 0 12611 3 0 0 20 0 8 0 391220431 205246464 24871 33554432000 134512640 146736320 4291332544 4103696476 135855179 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12354/tid=12368] ppid=12353 vsize=200436 CPUtime=102.24 cores=0,2,4,6
/proc/12354/task/12368/stat : 12368 (pb_cplex) R 12353 12353 11452 0 -1 4202560 1382 0 0 0 10221 3 0 0 20 0 8 0 391220431 205246464 24871 33554432000 134512640 146736320 4291332544 4093210716 135855167 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12354/tid=12369] ppid=12353 vsize=200436 CPUtime=180.15 cores=0,2,4,6
/proc/12354/task/12369/stat : 12369 (pb_cplex) R 12353 12353 11452 0 -1 4202560 9794 0 0 0 18009 6 0 0 20 0 8 0 391220431 205246464 24871 33554432000 134512640 146736320 4291332544 4082725320 136000790 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=12354/tid=12370] ppid=12353 vsize=200436 CPUtime=78.14 cores=0,2,4,6
/proc/12354/task/12370/stat : 12370 (pb_cplex) R 12353 12353 11452 0 -1 4202560 2182 0 0 0 7812 2 0 0 20 0 8 0 391220431 205246464 24871 33554432000 134512640 146736320 4291332544 4072239696 136403103 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1106.74
Current children cumulated vsize (KiB) 209584
[startup+642.3 s]
/proc/loadavg: 10.78 9.35 5.59 10/184 12424
/proc/meminfo: memFree=31323508/32873852 swapFree=7632/7632
[pid=12353] ppid=12351 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12353/stat : 12353 (run) S 12351 12353 11452 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391192243 9367552 269 33554432000 4194304 5064252 140733778419328 140733778418240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12353/statm: 2287 269 229 213 0 72 0
[pid=12354] ppid=12353 vsize=200600 CPUtime=1345.85 cores=0,2,4,6
/proc/12354/stat : 12354 (pb_cplex) R 12353 12353 11452 0 -1 4202496 77198 0 0 0 134550 35 0 0 20 0 8 0 391192244 205414400 26743 33554432000 134512640 146736320 4291332544 4291325296 136384857 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12354/statm: 50150 26743 909 2985 0 47084 0
[pid=12354/tid=12364] ppid=12353 vsize=200600 CPUtime=103.94 cores=0,2,4,6
/proc/12354/task/12364/stat : 12364 (pb_cplex) R 12353 12353 11452 0 -1 4202560 3068 0 0 0 10391 3 0 0 20 0 8 0 391220431 205414400 26743 33554432000 134512640 146736320 4291332544 4135153756 135855123 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=12354/tid=12365] ppid=12353 vsize=200600 CPUtime=110.41 cores=0,2,4,6
/proc/12354/task/12365/stat : 12365 (pb_cplex) R 12353 12353 11452 0 -1 4202560 18213 0 0 0 11033 8 0 0 20 0 8 0 391220431 205414400 26743 33554432000 134512640 146736320 4291332544 4124667960 136475800 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12354/tid=12366] ppid=12353 vsize=200600 CPUtime=100.14 cores=0,2,4,6
/proc/12354/task/12366/stat : 12366 (pb_cplex) R 12353 12353 11452 0 -1 4202560 3687 0 0 0 10011 3 0 0 20 0 8 0 391220431 205414400 26743 33554432000 134512640 146736320 4291332544 4114182236 135855117 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12354/tid=12367] ppid=12353 vsize=200600 CPUtime=156.03 cores=0,2,4,6
/proc/12354/task/12367/stat : 12367 (pb_cplex) R 12353 12353 11452 0 -1 4202560 4032 0 0 0 15598 5 0 0 20 0 8 0 391220431 205414400 26743 33554432000 134512640 146736320 4291332544 4103696072 136002862 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=12354/tid=12368] ppid=12353 vsize=200600 CPUtime=132.08 cores=0,2,4,6
/proc/12354/task/12368/stat : 12368 (pb_cplex) R 12353 12353 11452 0 -1 4202560 1397 0 0 0 13204 4 0 0 20 0 8 0 391220431 205414400 26743 33554432000 134512640 146736320 4291332544 4093210816 136471177 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=12354/tid=12369] ppid=12353 vsize=200600 CPUtime=209.73 cores=0,2,4,6
/proc/12354/task/12369/stat : 12369 (pb_cplex) R 12353 12353 11452 0 -1 4202560 13695 0 0 0 20964 9 0 0 20 0 8 0 391220431 205414400 26743 33554432000 134512640 146736320 4291332544 4082725320 136002053 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=12354/tid=12370] ppid=12353 vsize=200600 CPUtime=108.18 cores=0,2,4,6
/proc/12354/task/12370/stat : 12370 (pb_cplex) R 12353 12353 11452 0 -1 4202560 2738 0 0 0 10815 3 0 0 20 0 8 0 391220431 205414400 26743 33554432000 134512640 146736320 4291332544 4072240104 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1345.85
Current children cumulated vsize (KiB) 209748
[startup+702.3 s]
/proc/loadavg: 9.65 9.29 5.80 10/184 12424
/proc/meminfo: memFree=31316908/32873852 swapFree=7632/7632
[pid=12353] ppid=12351 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12353/stat : 12353 (run) S 12351 12353 11452 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391192243 9367552 269 33554432000 4194304 5064252 140733778419328 140733778418240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12353/statm: 2287 269 229 213 0 72 0
[pid=12354] ppid=12353 vsize=201060 CPUtime=1584.9 cores=0,2,4,6
/proc/12354/stat : 12354 (pb_cplex) R 12353 12353 11452 0 -1 4202496 80716 0 0 0 158451 39 0 0 20 0 8 0 391192244 205885440 28263 33554432000 134512640 146736320 4291332544 4291324348 135453306 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12354/statm: 50265 28263 909 2985 0 47199 0
[pid=12354/tid=12364] ppid=12353 vsize=201060 CPUtime=134.21 cores=0,2,4,6
/proc/12354/task/12364/stat : 12364 (pb_cplex) R 12353 12353 11452 0 -1 4202560 4553 0 0 0 13417 4 0 0 20 0 8 0 391220431 205885440 28263 33554432000 134512640 146736320 4291332544 4135153756 135855174 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=12354/tid=12365] ppid=12353 vsize=201060 CPUtime=140.45 cores=0,2,4,6
/proc/12354/task/12365/stat : 12365 (pb_cplex) R 12353 12353 11452 0 -1 4202560 18275 0 0 0 14036 9 0 0 20 0 8 0 391220431 205885440 28263 33554432000 134512640 146736320 4291332544 4124667996 135855174 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12354/tid=12366] ppid=12353 vsize=201060 CPUtime=130.02 cores=0,2,4,6
/proc/12354/task/12366/stat : 12366 (pb_cplex) R 12353 12353 11452 0 -1 4202560 3748 0 0 0 12999 3 0 0 20 0 8 0 391220431 205885440 28263 33554432000 134512640 146736320 4291332544 4114180492 135465099 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12354/tid=12367] ppid=12353 vsize=201060 CPUtime=185.47 cores=0,2,4,6
/proc/12354/task/12367/stat : 12367 (pb_cplex) R 12353 12353 11452 0 -1 4202560 4269 0 0 0 18541 6 0 0 20 0 8 0 391220431 205885440 28263 33554432000 134512640 146736320 4291332544 4103696440 136475763 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=12354/tid=12368] ppid=12353 vsize=201060 CPUtime=161.91 cores=0,2,4,6
/proc/12354/task/12368/stat : 12368 (pb_cplex) R 12353 12353 11452 0 -1 4202560 2265 0 0 0 16186 5 0 0 20 0 8 0 391220431 205885440 28263 33554432000 134512640 146736320 4291332544 4093210832 136007963 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12354/tid=12369] ppid=12353 vsize=201060 CPUtime=239.62 cores=0,2,4,6
/proc/12354/task/12369/stat : 12369 (pb_cplex) R 12353 12353 11452 0 -1 4202560 13835 0 0 0 23953 9 0 0 20 0 8 0 391220431 205885440 28263 33554432000 134512640 146736320 4291332544 4082724904 139044581 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=12354/tid=12370] ppid=12353 vsize=201060 CPUtime=137.99 cores=0,2,4,6
/proc/12354/task/12370/stat : 12370 (pb_cplex) R 12353 12353 11452 0 -1 4202560 3164 0 0 0 13795 4 0 0 20 0 8 0 391220431 205885440 28263 33554432000 134512640 146736320 4291332544 4072238224 136008168 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1584.9
Current children cumulated vsize (KiB) 210208
[startup+762.306 s]
/proc/loadavg: 7.71 8.86 5.88 10/184 12425
/proc/meminfo: memFree=31301796/32873852 swapFree=7632/7632
[pid=12353] ppid=12351 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12353/stat : 12353 (run) S 12351 12353 11452 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391192243 9367552 269 33554432000 4194304 5064252 140733778419328 140733778418240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12353/statm: 2287 269 229 213 0 72 0
[pid=12354] ppid=12353 vsize=203508 CPUtime=1794.88 cores=0,2,4,6
/proc/12354/stat : 12354 (pb_cplex) R 12353 12353 11452 0 -1 4202496 89051 0 0 0 179444 44 0 0 20 0 8 0 391192244 208392192 28706 33554432000 134512640 146736320 4291332544 4291325184 136018931 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12354/statm: 50877 28706 909 2985 0 47811 0
[pid=12354/tid=12364] ppid=12353 vsize=203508 CPUtime=159.15 cores=0,2,4,6
/proc/12354/task/12364/stat : 12364 (pb_cplex) R 12353 12353 11452 0 -1 4202560 5528 0 0 0 15910 5 0 0 20 0 8 0 391220431 208392192 28706 33554432000 134512640 146736320 4291332544 4135153872 136008385 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=12354/tid=12365] ppid=12353 vsize=203508 CPUtime=161.6 cores=0,2,4,6
/proc/12354/task/12365/stat : 12365 (pb_cplex) R 12353 12353 11452 0 -1 4202560 18617 0 0 0 16150 10 0 0 20 0 8 0 391220431 208392192 28706 33554432000 134512640 146736320 4291332544 4124668544 139046511 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12354/tid=12366] ppid=12353 vsize=203508 CPUtime=168.34 cores=0,2,4,6
/proc/12354/task/12366/stat : 12366 (pb_cplex) R 12353 12353 11452 0 -1 4202560 4188 0 0 0 16830 4 0 0 20 0 8 0 391220431 208392192 28706 33554432000 134512640 146736320 4291332544 4114182600 136001992 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=12354/tid=12367] ppid=12353 vsize=203508 CPUtime=209.41 cores=0,2,4,6
/proc/12354/task/12367/stat : 12367 (pb_cplex) R 12353 12353 11452 0 -1 4202560 5588 0 0 0 20933 8 0 0 20 0 8 0 391220431 208392192 28706 33554432000 134512640 146736320 4291332544 4103696476 135855170 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12354/tid=12368] ppid=12353 vsize=203508 CPUtime=180.08 cores=0,2,4,6
/proc/12354/task/12368/stat : 12368 (pb_cplex) R 12353 12353 11452 0 -1 4202560 2794 0 0 0 18002 6 0 0 20 0 8 0 391220431 208392192 28706 33554432000 134512640 146736320 4291332544 4093210832 136008176 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=12354/tid=12369] ppid=12353 vsize=203508 CPUtime=271.79 cores=0,2,4,6
/proc/12354/task/12369/stat : 12369 (pb_cplex) R 12353 12353 11452 0 -1 4202560 16445 0 0 0 27167 12 0 0 20 0 8 0 391220431 208392192 28706 33554432000 134512640 146736320 4291332544 4082724968 136384778 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12354/tid=12370] ppid=12353 vsize=203508 CPUtime=166.68 cores=0,2,4,6
/proc/12354/task/12370/stat : 12370 (pb_cplex) R 12353 12353 11452 0 -1 4202560 4919 0 0 0 16663 5 0 0 20 0 8 0 391220431 208392192 28706 33554432000 134512640 146736320 4291332544 4072239196 135855174 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1794.88
Current children cumulated vsize (KiB) 212656
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+763.6 s]
/proc/loadavg: 7.71 8.86 5.88 10/184 12425
/proc/meminfo: memFree=31301424/32873852 swapFree=7632/7632
[pid=12353] ppid=12351 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12353/stat : 12353 (run) S 12351 12353 11452 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391192243 9367552 269 33554432000 4194304 5064252 140733778419328 140733778418240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12353/statm: 2287 269 229 213 0 72 0
[pid=12354] ppid=12353 vsize=204532 CPUtime=1800.06 cores=0,2,4,6
/proc/12354/stat : 12354 (pb_cplex) R 12353 12353 11452 0 -1 4202496 89919 0 0 0 179961 45 0 0 20 0 8 0 391192244 209440768 28742 33554432000 134512640 146736320 4291332544 4291325256 139042897 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12354/statm: 51133 28742 909 2985 0 48067 0
[pid=12354/tid=12364] ppid=12353 vsize=204532 CPUtime=159.79 cores=0,2,4,6
/proc/12354/task/12364/stat : 12364 (pb_cplex) R 12353 12353 11452 0 -1 4202560 5594 0 0 0 15974 5 0 0 20 0 8 0 391220431 209440768 28742 33554432000 134512640 146736320 4291332544 4135154120 136000412 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=12354/tid=12365] ppid=12353 vsize=204532 CPUtime=162.24 cores=0,2,4,6
/proc/12354/task/12365/stat : 12365 (pb_cplex) R 12353 12353 11452 0 -1 4202560 18617 0 0 0 16214 10 0 0 20 0 8 0 391220431 209440768 28742 33554432000 134512640 146736320 4291332544 4124668112 136008165 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12354/tid=12366] ppid=12353 vsize=204532 CPUtime=168.97 cores=0,2,4,6
/proc/12354/task/12366/stat : 12366 (pb_cplex) R 12353 12353 11452 0 -1 4202560 4188 0 0 0 16893 4 0 0 20 0 8 0 391220431 209440768 28742 33554432000 134512640 146736320 4291332544 4114182184 139044507 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=12354/tid=12367] ppid=12353 vsize=204532 CPUtime=210.05 cores=0,2,4,6
/proc/12354/task/12367/stat : 12367 (pb_cplex) R 12353 12353 11452 0 -1 4202560 6023 0 0 0 20997 8 0 0 20 0 8 0 391220431 209440768 28742 33554432000 134512640 146736320 4291332544 4103696976 136403116 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12354/tid=12368] ppid=12353 vsize=204532 CPUtime=180.72 cores=0,2,4,6
/proc/12354/task/12368/stat : 12368 (pb_cplex) R 12353 12353 11452 0 -1 4202560 2794 0 0 0 18066 6 0 0 20 0 8 0 391220431 209440768 28742 33554432000 134512640 146736320 4291332544 4093210832 136008039 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=12354/tid=12369] ppid=12353 vsize=204532 CPUtime=272.44 cores=0,2,4,6
/proc/12354/task/12369/stat : 12369 (pb_cplex) R 12353 12353 11452 0 -1 4202560 16726 0 0 0 27232 12 0 0 20 0 8 0 391220431 209440768 28742 33554432000 134512640 146736320 4291332544 4082725072 136008050 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12354/tid=12370] ppid=12353 vsize=204532 CPUtime=167.33 cores=0,2,4,6
/proc/12354/task/12370/stat : 12370 (pb_cplex) R 12353 12353 11452 0 -1 4202560 5005 0 0 0 16728 5 0 0 20 0 8 0 391220431 209440768 28742 33554432000 134512640 146736320 4291332544 4072239560 136001985 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 213680
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12353 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 763.616
CPU time (s): 1800.06
CPU user time (s): 1799.61
CPU system time (s): 0.45
CPU usage (%): 235.728
Max. virtual memory (cumulated for all children) (KiB): 214300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 353
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.89071 second user time and 4.35434 second system time
The end