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-3743347-1339251782/watcher-3743347-1339251782 -o /tmp/evaluation-result-3743347-1339251782/solver-3743347-1339251782 -C 1800 -W 1900 -M 15500 run HOME/instance-3743347-1339251782.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: 3.83 2.92 3.05 10/184 4944
/proc/meminfo: memFree=29086792/32873844 swapFree=7384/7384
[pid=4944] ppid=4942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4944/stat : 4944 (run) S 4942 4944 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391306810 9367552 269 33554432000 4194304 5064252 140736782490352 140736782489264 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4944/statm: 2287 269 229 213 0 72 0
[startup+0.00692002 s]
/proc/loadavg: 3.83 2.92 3.05 10/184 4944
/proc/meminfo: memFree=29086792/32873844 swapFree=7384/7384
[pid=4944] ppid=4942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4944/stat : 4944 (run) S 4942 4944 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391306810 9367552 269 33554432000 4194304 5064252 140736782490352 140736782489264 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4944/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100242 s]
/proc/loadavg: 3.83 2.92 3.05 10/184 4944
/proc/meminfo: memFree=29086792/32873844 swapFree=7384/7384
[pid=4944] ppid=4942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4944/stat : 4944 (run) S 4942 4944 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391306810 9367552 269 33554432000 4194304 5064252 140736782490352 140736782489264 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4944/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300291 s]
/proc/loadavg: 3.83 2.92 3.05 10/184 4944
/proc/meminfo: memFree=29086792/32873844 swapFree=7384/7384
[pid=4944] ppid=4942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4944/stat : 4944 (run) S 4942 4944 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391306810 9367552 269 33554432000 4194304 5064252 140736782490352 140736782489264 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4944/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700237 s]
/proc/loadavg: 3.83 2.92 3.05 10/184 4944
/proc/meminfo: memFree=29086792/32873844 swapFree=7384/7384
[pid=4944] ppid=4942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4944/stat : 4944 (run) S 4942 4944 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391306810 9367552 269 33554432000 4194304 5064252 140736782490352 140736782489264 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4944/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 3.83 2.92 3.05 10/186 4946
/proc/meminfo: memFree=29062844/32873844 swapFree=7384/7384
[pid=4944] ppid=4942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4944/stat : 4944 (run) S 4942 4944 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391306810 9367552 269 33554432000 4194304 5064252 140736782490352 140736782489264 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4944/statm: 2287 269 229 213 0 72 0
[pid=4945] ppid=4944 vsize=64716 CPUtime=1.49 cores=0,2,4,6
/proc/4945/stat : 4945 (pb_cplex) R 4944 4944 3259 0 -1 4202496 7521 0 0 0 148 1 0 0 20 0 1 0 391306810 66269184 7128 33554432000 134512640 146736320 4291077824 4291075624 144716523 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4945/statm: 16179 7128 1104 2985 0 6221 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 73864
[startup+3.1003 s]
/proc/loadavg: 3.83 2.92 3.05 10/186 4946
/proc/meminfo: memFree=29061348/32873844 swapFree=7384/7384
[pid=4944] ppid=4942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4944/stat : 4944 (run) S 4942 4944 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391306810 9367552 269 33554432000 4194304 5064252 140736782490352 140736782489264 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4944/statm: 2287 269 229 213 0 72 0
[pid=4945] ppid=4944 vsize=65640 CPUtime=3.09 cores=0,2,4,6
/proc/4945/stat : 4945 (pb_cplex) R 4944 4944 3259 0 -1 4202496 7876 0 0 0 308 1 0 0 20 0 1 0 391306810 67215360 7483 33554432000 134512640 146736320 4291077824 4291075680 140528792 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4945/statm: 16410 7483 1246 2985 0 6452 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 74788
[startup+6.30038 s]
/proc/loadavg: 4.24 3.02 3.08 10/186 4946
/proc/meminfo: memFree=28983024/32873844 swapFree=7384/7384
[pid=4944] ppid=4942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4944/stat : 4944 (run) S 4942 4944 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391306810 9367552 269 33554432000 4194304 5064252 140736782490352 140736782489264 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4944/statm: 2287 269 229 213 0 72 0
[pid=4945] ppid=4944 vsize=180856 CPUtime=6.29 cores=0,2,4,6
/proc/4945/stat : 4945 (pb_cplex) R 4944 4944 3259 0 -1 4202496 39942 0 0 0 623 6 0 0 20 0 1 0 391306810 185196544 38065 33554432000 134512640 146736320 4291077824 4291076036 144735123 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4945/statm: 45214 38066 4540 2985 0 35256 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 190004
[startup+12.7003 s]
/proc/loadavg: 4.62 3.12 3.12 10/186 4946
/proc/meminfo: memFree=28904292/32873844 swapFree=7384/7384
[pid=4944] ppid=4942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4944/stat : 4944 (run) S 4942 4944 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391306810 9367552 269 33554432000 4194304 5064252 140736782490352 140736782489264 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4944/statm: 2287 269 229 213 0 72 0
[pid=4945] ppid=4944 vsize=216204 CPUtime=12.69 cores=0,2,4,6
/proc/4945/stat : 4945 (pb_cplex) R 4944 4944 3259 0 -1 4202496 48946 0 0 0 1260 9 0 0 20 0 1 0 391306810 221392896 48214 33554432000 134512640 146736320 4291077824 4291075680 140528805 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4945/statm: 54051 48214 5984 2985 0 44093 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 225352
[startup+25.5003 s]
/proc/loadavg: 5.59 3.41 3.21 10/186 4946
/proc/meminfo: memFree=28880700/32873844 swapFree=7384/7384
[pid=4944] ppid=4942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4944/stat : 4944 (run) S 4942 4944 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391306810 9367552 269 33554432000 4194304 5064252 140736782490352 140736782489264 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4944/statm: 2287 269 229 213 0 72 0
[pid=4945] ppid=4944 vsize=223812 CPUtime=25.48 cores=0,2,4,6
/proc/4945/stat : 4945 (pb_cplex) R 4944 4944 3259 0 -1 4202496 52042 0 0 0 2539 9 0 0 20 0 1 0 391306810 229183488 51310 33554432000 134512640 146736320 4291077824 4291075708 141014048 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4945/statm: 55953 51310 7180 2985 0 45995 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 232960
[startup+51.1003 s]
/proc/loadavg: 6.75 3.85 3.36 10/186 4946
/proc/meminfo: memFree=28857048/32873844 swapFree=7384/7384
[pid=4944] ppid=4942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4944/stat : 4944 (run) S 4942 4944 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391306810 9367552 269 33554432000 4194304 5064252 140736782490352 140736782489264 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4944/statm: 2287 269 229 213 0 72 0
[pid=4945] ppid=4944 vsize=223944 CPUtime=51.08 cores=0,2,4,6
/proc/4945/stat : 4945 (pb_cplex) R 4944 4944 3259 0 -1 4202496 52074 0 0 0 5099 9 0 0 20 0 1 0 391306810 229318656 51342 33554432000 134512640 146736320 4291077824 4291075708 141014048 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4945/statm: 55986 51342 7180 2985 0 46028 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 233092
[startup+102.306 s]
/proc/loadavg: 8.02 4.64 3.66 10/186 4946
/proc/meminfo: memFree=28815804/32873844 swapFree=7384/7384
[pid=4944] ppid=4942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4944/stat : 4944 (run) S 4942 4944 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391306810 9367552 269 33554432000 4194304 5064252 140736782490352 140736782489264 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4944/statm: 2287 269 229 213 0 72 0
[pid=4945] ppid=4944 vsize=224076 CPUtime=102.27 cores=0,2,4,6
/proc/4945/stat : 4945 (pb_cplex) R 4944 4944 3259 0 -1 4202496 52109 0 0 0 10218 9 0 0 20 0 1 0 391306810 229453824 51377 33554432000 134512640 146736320 4291077824 4291075836 140683248 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4945/statm: 56019 51377 7180 2985 0 46061 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 233224
[startup+162.3 s]
/proc/loadavg: 8.64 5.43 3.99 10/186 4946
/proc/meminfo: memFree=28803592/32873844 swapFree=7384/7384
[pid=4944] ppid=4942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4944/stat : 4944 (run) S 4942 4944 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391306810 9367552 269 33554432000 4194304 5064252 140736782490352 140736782489264 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4944/statm: 2287 269 229 213 0 72 0
[pid=4945] ppid=4944 vsize=224208 CPUtime=162.26 cores=0,2,4,6
/proc/4945/stat : 4945 (pb_cplex) R 4944 4944 3259 0 -1 4202496 52136 0 0 0 16217 9 0 0 20 0 1 0 391306810 229588992 51404 33554432000 134512640 146736320 4291077824 4291075776 140681219 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4945/statm: 56052 51404 7180 2985 0 46094 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 233356
[startup+222.3 s]
/proc/loadavg: 8.66 6.03 4.28 9/185 4946
/proc/meminfo: memFree=28798616/32873844 swapFree=7384/7384
[pid=4944] ppid=4942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4944/stat : 4944 (run) S 4942 4944 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391306810 9367552 269 33554432000 4194304 5064252 140736782490352 140736782489264 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4944/statm: 2287 269 229 213 0 72 0
[pid=4945] ppid=4944 vsize=224340 CPUtime=222.26 cores=0,2,4,6
/proc/4945/stat : 4945 (pb_cplex) R 4944 4944 3259 0 -1 4202496 52159 0 0 0 22216 10 0 0 20 0 1 0 391306810 229724160 51427 33554432000 134512640 146736320 4291077824 4291075712 141028083 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4945/statm: 56085 51427 7180 2985 0 46127 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 233488
[startup+282.3 s]
/proc/loadavg: 7.67 6.23 4.46 8/186 4947
/proc/meminfo: memFree=28786332/32873844 swapFree=7384/7384
[pid=4944] ppid=4942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4944/stat : 4944 (run) S 4942 4944 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391306810 9367552 269 33554432000 4194304 5064252 140736782490352 140736782489264 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4944/statm: 2287 269 229 213 0 72 0
[pid=4945] ppid=4944 vsize=224340 CPUtime=282.25 cores=0,2,4,6
/proc/4945/stat : 4945 (pb_cplex) R 4944 4944 3259 0 -1 4202496 52177 0 0 0 28215 10 0 0 20 0 1 0 391306810 229724160 51445 33554432000 134512640 146736320 4291077824 4291075808 140683260 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4945/statm: 56085 51445 7180 2985 0 46127 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 233488
[startup+342.3 s]
/proc/loadavg: 6.14 6.09 4.52 5/186 4947
/proc/meminfo: memFree=28782096/32873844 swapFree=7384/7384
[pid=4944] ppid=4942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4944/stat : 4944 (run) S 4942 4944 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391306810 9367552 269 33554432000 4194304 5064252 140736782490352 140736782489264 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4944/statm: 2287 269 229 213 0 72 0
[pid=4945] ppid=4944 vsize=224472 CPUtime=342.23 cores=0,2,4,6
/proc/4945/stat : 4945 (pb_cplex) R 4944 4944 3259 0 -1 4202496 52203 0 0 0 34213 10 0 0 20 0 1 0 391306810 229859328 51463 33554432000 134512640 146736320 4291077824 4291075708 141014048 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4945/statm: 56118 51463 7180 2985 0 46160 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 233620
[startup+402.3 s]
/proc/loadavg: 4.38 5.57 4.44 10/186 4947
/proc/meminfo: memFree=28189584/32873844 swapFree=7384/7384
[pid=4944] ppid=4942 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/4945/statm: 361684 241242 887 2985 0 358618 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 1455884
[startup+1182.3 s]
/proc/loadavg: 1.00 1.41 2.60 2/172 4985
/proc/meminfo: memFree=28556144/32873844 swapFree=7384/7384
[pid=4944] ppid=4942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4944/stat : 4944 (run) S 4942 4944 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391306810 9367552 269 33554432000 4194304 5064252 140736782490352 140736782489264 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4944/statm: 2287 269 229 213 0 72 0
[pid=4945] ppid=4944 vsize=1446736 CPUtime=1182.07 cores=0,2,4,6
/proc/4945/stat : 4945 (pb_cplex) R 4944 4944 3259 0 -1 4202496 383037 0 0 0 118087 120 0 0 20 0 1 0 391306810 1481457664 241242 33554432000 134512640 146736320 4291077824 4291073256 135999699 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4945/statm: 361684 241242 887 2985 0 358618 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 1455884
[startup+1242.3 s]
/proc/loadavg: 1.05 1.35 2.50 2/172 4985
/proc/meminfo: memFree=28450340/32873844 swapFree=7384/7384
[pid=4944] ppid=4942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4944/stat : 4944 (run) S 4942 4944 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391306810 9367552 269 33554432000 4194304 5064252 140736782490352 140736782489264 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4944/statm: 2287 269 229 213 0 72 0
[pid=4945] ppid=4944 vsize=1685204 CPUtime=1242.07 cores=0,2,4,6
/proc/4945/stat : 4945 (pb_cplex) R 4944 4944 3259 0 -1 4202496 479215 0 0 0 124064 143 0 0 20 0 1 0 391306810 1725648896 267464 33554432000 134512640 146736320 4291077824 4291071772 135855174 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4945/statm: 421301 267464 894 2985 0 418235 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 1694352
[startup+1302.3 s]
/proc/loadavg: 1.06 1.30 2.41 2/172 4985
/proc/meminfo: memFree=28631084/32873844 swapFree=7384/7384
[pid=4944] ppid=4942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4944/stat : 4944 (run) S 4942 4944 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391306810 9367552 269 33554432000 4194304 5064252 140736782490352 140736782489264 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4944/statm: 2287 269 229 213 0 72 0
[pid=4945] ppid=4944 vsize=1348280 CPUtime=1302.07 cores=0,2,4,6
/proc/4945/stat : 4945 (pb_cplex) R 4944 4944 3259 0 -1 4202496 559726 0 0 0 130043 164 0 0 20 0 1 0 391306810 1380638720 222486 33554432000 134512640 146736320 4291077824 4291072264 136000416 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4945/statm: 337070 222486 897 2985 0 334004 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1357428
[startup+1362.3 s]
/proc/loadavg: 1.02 1.24 2.32 2/172 4985
/proc/meminfo: memFree=28609912/32873844 swapFree=7384/7384
[pid=4944] ppid=4942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4944/stat : 4944 (run) S 4942 4944 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391306810 9367552 269 33554432000 4194304 5064252 140736782490352 140736782489264 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4944/statm: 2287 269 229 213 0 72 0
[pid=4945] ppid=4944 vsize=1377852 CPUtime=1362.05 cores=0,2,4,6
/proc/4945/stat : 4945 (pb_cplex) R 4944 4944 3259 0 -1 4202496 720251 0 0 0 135985 220 0 0 20 0 1 0 391306810 1410920448 227597 33554432000 134512640 146736320 4291077824 4291071492 136385175 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4945/statm: 344463 227597 900 2985 0 341397 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 1387000
[startup+1422.31 s]
/proc/loadavg: 1.01 1.19 2.23 2/172 4985
/proc/meminfo: memFree=28605620/32873844 swapFree=7384/7384
[pid=4944] ppid=4942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4944/stat : 4944 (run) S 4942 4944 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391306810 9367552 269 33554432000 4194304 5064252 140736782490352 140736782489264 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4944/statm: 2287 269 229 213 0 72 0
[pid=4945] ppid=4944 vsize=1377852 CPUtime=1422.05 cores=0,2,4,6
/proc/4945/stat : 4945 (pb_cplex) R 4944 4944 3259 0 -1 4202496 721819 0 0 0 141983 222 0 0 20 0 1 0 391306810 1410920448 228668 33554432000 134512640 146736320 4291077824 4291071880 135999699 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4945/statm: 344463 228668 900 2985 0 341397 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1387000
[startup+1482.3 s]
/proc/loadavg: 1.00 1.16 2.15 2/172 4986
/proc/meminfo: memFree=28597600/32873844 swapFree=7384/7384
[pid=4944] ppid=4942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4944/stat : 4944 (run) S 4942 4944 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391306810 9367552 269 33554432000 4194304 5064252 140736782490352 140736782489264 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4944/statm: 2287 269 229 213 0 72 0
[pid=4945] ppid=4944 vsize=1377852 CPUtime=1482.03 cores=0,2,4,6
/proc/4945/stat : 4945 (pb_cplex) R 4944 4944 3259 0 -1 4202496 723121 0 0 0 147980 223 0 0 20 0 1 0 391306810 1410920448 230712 33554432000 134512640 146736320 4291077824 4291071880 135999693 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4945/statm: 344463 230712 900 2985 0 341397 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1387000
[startup+1542.3 s]
/proc/loadavg: 1.00 1.12 2.08 2/172 4986
/proc/meminfo: memFree=28597464/32873844 swapFree=7384/7384
[pid=4944] ppid=4942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4944/stat : 4944 (run) S 4942 4944 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391306810 9367552 269 33554432000 4194304 5064252 140736782490352 140736782489264 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4944/statm: 2287 269 229 213 0 72 0
[pid=4945] ppid=4944 vsize=1377852 CPUtime=1542.03 cores=0,2,4,6
/proc/4945/stat : 4945 (pb_cplex) R 4944 4944 3259 0 -1 4202496 724423 0 0 0 153978 225 0 0 20 0 1 0 391306810 1410920448 230712 33554432000 134512640 146736320 4291077824 4291071880 136000412 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4945/statm: 344463 230712 900 2985 0 341397 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1387000
[startup+1602.3 s]
/proc/loadavg: 1.00 1.10 2.01 2/172 4986
/proc/meminfo: memFree=28597588/32873844 swapFree=7384/7384
[pid=4944] ppid=4942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4944/stat : 4944 (run) S 4942 4944 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391306810 9367552 269 33554432000 4194304 5064252 140736782490352 140736782489264 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4944/statm: 2287 269 229 213 0 72 0
[pid=4945] ppid=4944 vsize=1377852 CPUtime=1602.01 cores=0,2,4,6
/proc/4945/stat : 4945 (pb_cplex) R 4944 4944 3259 0 -1 4202496 725725 0 0 0 159975 226 0 0 20 0 1 0 391306810 1410920448 230712 33554432000 134512640 146736320 4291077824 4291071492 136385184 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4945/statm: 344463 230712 900 2985 0 341397 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 1387000
[startup+1662.3 s]
/proc/loadavg: 1.00 1.08 1.94 2/173 4989
/proc/meminfo: memFree=28597580/32873844 swapFree=7384/7384
[pid=4944] ppid=4942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4944/stat : 4944 (run) S 4942 4944 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391306810 9367552 269 33554432000 4194304 5064252 140736782490352 140736782489264 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4944/statm: 2287 269 229 213 0 72 0
[pid=4945] ppid=4944 vsize=1377852 CPUtime=1662.01 cores=0,2,4,6
/proc/4945/stat : 4945 (pb_cplex) R 4944 4944 3259 0 -1 4202496 727027 0 0 0 165973 228 0 0 20 0 1 0 391306810 1410920448 230712 33554432000 134512640 146736320 4291077824 4291071880 136000329 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4945/statm: 344463 230712 900 2985 0 341397 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1387000
[startup+1722.3 s]
/proc/loadavg: 1.05 1.08 1.89 2/172 4989
/proc/meminfo: memFree=28597836/32873844 swapFree=7384/7384
[pid=4944] ppid=4942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4944/stat : 4944 (run) S 4942 4944 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391306810 9367552 269 33554432000 4194304 5064252 140736782490352 140736782489264 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4944/statm: 2287 269 229 213 0 72 0
[pid=4945] ppid=4944 vsize=1377852 CPUtime=1722 cores=0,2,4,6
/proc/4945/stat : 4945 (pb_cplex) R 4944 4944 3259 0 -1 4202496 728329 0 0 0 171971 229 0 0 20 0 1 0 391306810 1410920448 230712 33554432000 134512640 146736320 4291077824 4291071480 136475822 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4945/statm: 344463 230712 900 2985 0 341397 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1387000
[startup+1782.3 s]
/proc/loadavg: 1.02 1.06 1.83 2/172 4990
/proc/meminfo: memFree=28597092/32873844 swapFree=7384/7384
[pid=4944] ppid=4942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4944/stat : 4944 (run) S 4942 4944 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391306810 9367552 269 33554432000 4194304 5064252 140736782490352 140736782489264 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4944/statm: 2287 269 229 213 0 72 0
[pid=4945] ppid=4944 vsize=1377992 CPUtime=1781.99 cores=0,2,4,6
/proc/4945/stat : 4945 (pb_cplex) R 4944 4944 3259 0 -1 4202496 731945 0 0 0 177967 232 0 0 20 0 1 0 391306810 1411063808 230868 33554432000 134512640 146736320 4291077824 4291071492 136385172 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4945/statm: 344498 230868 900 2985 0 341432 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1387140
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.01 1.06 1.81 2/172 4990
/proc/meminfo: memFree=29013240/32873844 swapFree=7384/7384
[pid=4944] ppid=4942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4944/stat : 4944 (run) S 4942 4944 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391306810 9367552 269 33554432000 4194304 5064252 140736782490352 140736782489264 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4944/statm: 2287 269 229 213 0 72 0
[pid=4945] ppid=4944 vsize=584656 CPUtime=1800.09 cores=0,2,4,6
/proc/4945/stat : 4945 (pb_cplex) R 4944 4944 3259 0 -1 4202496 873979 0 0 0 179738 271 0 0 20 0 1 0 391306810 598687744 127163 33554432000 134512640 146736320 4291077824 4291074096 137361201 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4945/statm: 146164 127163 917 2985 0 143098 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 593804
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 4944 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.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1797.38
CPU system time (s): 2.71
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 2026800
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= 354
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 2.82257 second user time and 10.4844 second system time
The end