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-3733204-1339247406/watcher-3733204-1339247406 -o /tmp/evaluation-result-3733204-1339247406/solver-3733204-1339247406 -C 1800 -W 1900 -M 15500 run HOME/instance-3733204-1339247406.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: 9.67 6.62 3.31 10/185 25214
/proc/meminfo: memFree=29297308/32873844 swapFree=8660/8660
[pid=25214] ppid=25212 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25214/stat : 25214 (run) S 25212 25214 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390869157 9367552 270 33554432000 4194304 5064252 140735992909008 140735992907920 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25214/statm: 2287 270 229 213 0 72 0
[startup+0.071388 s]
/proc/loadavg: 9.67 6.62 3.31 10/185 25214
/proc/meminfo: memFree=29297308/32873844 swapFree=8660/8660
[pid=25214] ppid=25212 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25214/stat : 25214 (run) S 25212 25214 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390869157 9367552 270 33554432000 4194304 5064252 140735992909008 140735992907920 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25214/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100277 s]
/proc/loadavg: 9.67 6.62 3.31 10/185 25214
/proc/meminfo: memFree=29297308/32873844 swapFree=8660/8660
[pid=25214] ppid=25212 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25214/stat : 25214 (run) S 25212 25214 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390869157 9367552 270 33554432000 4194304 5064252 140735992909008 140735992907920 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25214/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30025 s]
/proc/loadavg: 9.67 6.62 3.31 10/185 25214
/proc/meminfo: memFree=29297308/32873844 swapFree=8660/8660
[pid=25214] ppid=25212 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25214/stat : 25214 (run) S 25212 25214 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390869157 9367552 270 33554432000 4194304 5064252 140735992909008 140735992907920 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25214/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700296 s]
/proc/loadavg: 9.67 6.62 3.31 10/185 25214
/proc/meminfo: memFree=29297308/32873844 swapFree=8660/8660
[pid=25214] ppid=25212 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25214/stat : 25214 (run) S 25212 25214 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390869157 9367552 270 33554432000 4194304 5064252 140735992909008 140735992907920 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25214/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 9.62 6.66 3.34 10/187 25216
/proc/meminfo: memFree=29251908/32873844 swapFree=8660/8660
[pid=25214] ppid=25212 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25214/stat : 25214 (run) S 25212 25214 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390869157 9367552 270 33554432000 4194304 5064252 140735992909008 140735992907920 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25214/statm: 2287 270 229 213 0 72 0
[pid=25215] ppid=25214 vsize=54688 CPUtime=1.49 cores=0,2,4,6
/proc/25215/stat : 25215 (pb_cplex) R 25214 25214 24699 0 -1 4202496 17157 0 0 0 147 2 0 0 20 0 1 0 390869157 56000512 10929 33554432000 134512640 146736320 4292338240 4292336400 138729845 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/25215/statm: 13672 10929 656 2985 0 10606 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 63836
[startup+3.10029 s]
/proc/loadavg: 9.62 6.66 3.34 10/187 25216
/proc/meminfo: memFree=29240436/32873844 swapFree=8660/8660
[pid=25214] ppid=25212 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25214/stat : 25214 (run) S 25212 25214 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390869157 9367552 270 33554432000 4194304 5064252 140735992909008 140735992907920 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25214/statm: 2287 270 229 213 0 72 0
[pid=25215] ppid=25214 vsize=115816 CPUtime=3.09 cores=0,2,4,6
/proc/25215/stat : 25215 (pb_cplex) R 25214 25214 24699 0 -1 4202496 27871 0 0 0 305 4 0 0 20 0 1 0 390869157 118595584 15185 33554432000 134512640 146736320 4292338240 4292333372 138666424 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/25215/statm: 28954 15185 783 2985 0 25888 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 124964
[startup+6.30036 s]
/proc/loadavg: 9.57 6.70 3.37 10/187 25216
/proc/meminfo: memFree=29233304/32873844 swapFree=8660/8660
[pid=25214] ppid=25212 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25214/stat : 25214 (run) S 25212 25214 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390869157 9367552 270 33554432000 4194304 5064252 140735992909008 140735992907920 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25214/statm: 2287 270 229 213 0 72 0
[pid=25215] ppid=25214 vsize=121968 CPUtime=6.29 cores=0,2,4,6
/proc/25215/stat : 25215 (pb_cplex) R 25214 25214 24699 0 -1 4202496 29154 0 0 0 625 4 0 0 20 0 1 0 390869157 124895232 16444 33554432000 134512640 146736320 4292338240 4292332680 135851850 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/25215/statm: 30492 16444 793 2985 0 27426 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 131116
[startup+12.7004 s]
/proc/loadavg: 9.52 6.74 3.40 10/187 25216
/proc/meminfo: memFree=29233112/32873844 swapFree=8660/8660
[pid=25214] ppid=25212 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25214/stat : 25214 (run) S 25212 25214 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390869157 9367552 270 33554432000 4194304 5064252 140735992909008 140735992907920 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25214/statm: 2287 270 229 213 0 72 0
[pid=25215] ppid=25214 vsize=121988 CPUtime=12.68 cores=0,2,4,6
/proc/25215/stat : 25215 (pb_cplex) R 25214 25214 24699 0 -1 4202496 29159 0 0 0 1264 4 0 0 20 0 1 0 390869157 124915712 16449 33554432000 134512640 146736320 4292338240 4292332792 138768264 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/25215/statm: 30497 16449 793 2985 0 27431 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 131136
[startup+25.5004 s]
/proc/loadavg: 9.41 6.85 3.49 10/187 25216
/proc/meminfo: memFree=29232724/32873844 swapFree=8660/8660
[pid=25214] ppid=25212 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25214/stat : 25214 (run) S 25212 25214 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390869157 9367552 270 33554432000 4194304 5064252 140735992909008 140735992907920 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25214/statm: 2287 270 229 213 0 72 0
[pid=25215] ppid=25214 vsize=122012 CPUtime=25.48 cores=0,2,4,6
/proc/25215/stat : 25215 (pb_cplex) R 25214 25214 24699 0 -1 4202496 29165 0 0 0 2544 4 0 0 20 0 1 0 390869157 124940288 16459 33554432000 134512640 146736320 4292338240 4292332792 138768282 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/25215/statm: 30503 16459 793 2985 0 27437 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 131160
[startup+51.1003 s]
/proc/loadavg: 9.27 7.02 3.63 10/187 25217
/proc/meminfo: memFree=29180160/32873844 swapFree=8660/8660
[pid=25214] ppid=25212 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25214/stat : 25214 (run) S 25212 25214 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390869157 9367552 270 33554432000 4194304 5064252 140735992909008 140735992907920 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25214/statm: 2287 270 229 213 0 72 0
[pid=25215] ppid=25214 vsize=183652 CPUtime=51.07 cores=0,2,4,6
/proc/25215/stat : 25215 (pb_cplex) R 25214 25214 24699 0 -1 4202496 42813 0 0 0 5100 7 0 0 20 0 1 0 390869157 188059648 29310 33554432000 134512640 146736320 4292338240 4292334032 137698804 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/25215/statm: 45913 29310 882 2985 0 42847 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 192800
[startup+102.307 s]
/proc/loadavg: 9.11 7.32 3.91 10/186 25217
/proc/meminfo: memFree=29188276/32873844 swapFree=8660/8660
[pid=25214] ppid=25212 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25214/stat : 25214 (run) S 25212 25214 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390869157 9367552 270 33554432000 4194304 5064252 140735992909008 140735992907920 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25214/statm: 2287 270 229 213 0 72 0
[pid=25215] ppid=25214 vsize=165944 CPUtime=102.27 cores=0,2,4,6
/proc/25215/stat : 25215 (pb_cplex) R 25214 25214 24699 0 -1 4202496 77290 0 0 0 10212 15 0 0 20 0 1 0 390869157 169926656 27048 33554432000 134512640 146736320 4292338240 4292332116 136017748 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/25215/statm: 41486 27048 911 2985 0 38420 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 175092
[startup+162.3 s]
/proc/loadavg: 9.10 7.64 4.23 10/186 25217
/proc/meminfo: memFree=29178392/32873844 swapFree=8660/8660
[pid=25214] ppid=25212 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25214/stat : 25214 (run) S 25212 25214 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390869157 9367552 270 33554432000 4194304 5064252 140735992909008 140735992907920 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25214/statm: 2287 270 229 213 0 72 0
[pid=25215] ppid=25214 vsize=167280 CPUtime=162.26 cores=0,2,4,6
/proc/25215/stat : 25215 (pb_cplex) R 25214 25214 24699 0 -1 4202496 112998 0 0 0 16204 22 0 0 20 0 1 0 390869157 171294720 27267 33554432000 134512640 146736320 4292338240 4292332428 136017505 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/25215/statm: 41820 27267 911 2985 0 38754 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 176428
[startup+222.3 s]
/proc/loadavg: 9.03 7.88 4.53 10/186 25217
/proc/meminfo: memFree=29174216/32873844 swapFree=8660/8660
[pid=25214] ppid=25212 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25214/stat : 25214 (run) S 25212 25214 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390869157 9367552 270 33554432000 4194304 5064252 140735992909008 140735992907920 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25214/statm: 2287 270 229 213 0 72 0
[pid=25215] ppid=25214 vsize=167280 CPUtime=222.25 cores=0,2,4,6
/proc/25215/stat : 25215 (pb_cplex) R 25214 25214 24699 0 -1 4202496 148444 0 0 0 22197 28 0 0 20 0 1 0 390869157 171294720 27270 33554432000 134512640 146736320 4292338240 4292332296 139043568 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/25215/statm: 41820 27270 911 2985 0 38754 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 176428
[startup+282.3 s]
/proc/loadavg: 8.57 7.99 4.77 8/186 25217
/proc/meminfo: memFree=29178120/32873844 swapFree=8660/8660
[pid=25214] ppid=25212 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25214/stat : 25214 (run) S 25212 25214 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390869157 9367552 270 33554432000 4194304 5064252 140735992909008 140735992907920 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25214/statm: 2287 270 229 213 0 72 0
[pid=25215] ppid=25214 vsize=161440 CPUtime=282.24 cores=0,2,4,6
/proc/25215/stat : 25215 (pb_cplex) R 25214 25214 24699 0 -1 4202496 197659 0 0 0 28186 38 0 0 20 0 1 0 390869157 165314560 25819 33554432000 134512640 146736320 4292338240 4292332816 136403117 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/25215/statm: 40360 25819 912 2985 0 37294 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 170588
[startup+342.3 s]
/proc/loadavg: 4.84 6.98 4.62 10/186 25352
/proc/meminfo: memFree=29457132/32873844 swapFree=8660/8660
[pid=25214] ppid=25212 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25214/stat : 25214 (run) S 25212 25214 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390869157 9367552 270 33554432000 4194304 5064252 140735992909008 140735992907920 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25214/statm: 2287 270 229 213 0 72 0
[pid=25215] ppid=25214 vsize=157760 CPUtime=342.23 cores=0,2,4,6
/proc/25215/stat : 25215 (pb_cplex) R 25214 25214 24699 0 -1 4202496 252268 0 0 0 34175 48 0 0 20 0 1 0 390869157 161546240 25201 33554432000 134512640 146736320 4292338240 4292332816 136403109 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/25215/statm: 39440 25201 912 2985 0 36374 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 166908
[startup+402.3 s]
/proc/loadavg: 3.19 6.19 4.50 4/186 25387
/proc/meminfo: memFree=29461772/32873844 swapFree=8660/8660
[pid=25214] ppid=25212 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/25215/statm: 101924 69882 967 2985 0 98858 0
[pid=25215/tid=25405] ppid=25214 vsize=407696 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25405/stat : 25405 (pb_cplex) S 25214 25214 24699 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390932790 417480704 69882 33554432000 134512640 146736320 4292338240 3978137232 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25215/tid=25406] ppid=25214 vsize=407696 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25406/stat : 25406 (pb_cplex) S 25214 25214 24699 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390932790 417480704 69882 33554432000 134512640 146736320 4292338240 4030566032 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25215/tid=25407] ppid=25214 vsize=407696 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25407/stat : 25407 (pb_cplex) S 25214 25214 24699 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390932790 417480704 69882 33554432000 134512640 146736320 4292338240 4041051792 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25215/tid=25408] ppid=25214 vsize=407696 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25408/stat : 25408 (pb_cplex) S 25214 25214 24699 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390932790 417480704 69882 33554432000 134512640 146736320 4292338240 4020080272 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25215/tid=25409] ppid=25214 vsize=407696 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25409/stat : 25409 (pb_cplex) S 25214 25214 24699 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 390932790 417480704 69882 33554432000 134512640 146736320 4292338240 3929525904 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25215/tid=25410] ppid=25214 vsize=407696 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25410/stat : 25410 (pb_cplex) S 25214 25214 24699 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 390932790 417480704 69882 33554432000 134512640 146736320 4292338240 3919040144 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25215/tid=25411] ppid=25214 vsize=407696 CPUtime=0 cores=0,2,4,6
/proc/25215/task/25411/stat : 25411 (pb_cplex) S 25214 25214 24699 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 390932790 417480704 69882 33554432000 134512640 146736320 4292338240 3908554384 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 889.79
Current children cumulated vsize (KiB) 416844
[startup+942.3 s]
/proc/loadavg: 2.35 2.56 3.29 10/193 25412
/proc/meminfo: memFree=29129604/32873844 swapFree=8660/8660
[pid=25214] ppid=25212 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25214/stat : 25214 (run) S 25212 25214 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390869157 9367552 270 33554432000 4194304 5064252 140735992909008 140735992907920 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25214/statm: 2287 270 229 213 0 72 0
[pid=25215] ppid=25214 vsize=628672 CPUtime=968.54 cores=0,2,4,6
/proc/25215/stat : 25215 (pb_cplex) R 25214 25214 24699 0 -1 4202496 839011 0 0 0 96668 186 0 0 20 0 8 0 390869157 643760128 108247 33554432000 134512640 146736320 4292338240 4292331104 139028294 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25215/statm: 157168 108247 967 2985 0 154102 0
[pid=25215/tid=25405] ppid=25214 vsize=628672 CPUtime=3.07 cores=0,2,4,6
/proc/25215/task/25405/stat : 25405 (pb_cplex) R 25214 25214 24699 0 -1 4202560 4648 0 0 0 306 1 0 0 20 0 8 0 390932790 643760128 108247 33554432000 134512640 146736320 4292338240 3978133656 136007605 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=25215/tid=25406] ppid=25214 vsize=628672 CPUtime=3.27 cores=0,2,4,6
/proc/25215/task/25406/stat : 25406 (pb_cplex) R 25214 25214 24699 0 -1 4202560 4329 0 0 0 325 2 0 0 20 0 8 0 390932790 643760128 108247 33554432000 134512640 146736320 4292338240 4030562456 136007661 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=25215/tid=25407] ppid=25214 vsize=628672 CPUtime=3.11 cores=0,2,4,6
/proc/25215/task/25407/stat : 25407 (pb_cplex) R 25214 25214 24699 0 -1 4202560 4608 0 0 0 310 1 0 0 20 0 8 0 390932790 643760128 108247 33554432000 134512640 146736320 4292338240 4041048704 139046528 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25215/tid=25408] ppid=25214 vsize=628672 CPUtime=3 cores=0,2,4,6
/proc/25215/task/25408/stat : 25408 (pb_cplex) R 25214 25214 24699 0 -1 4202560 4076 0 0 0 298 2 0 0 20 0 8 0 390932790 643760128 108247 33554432000 134512640 146736320 4292338240 4020076584 139044505 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=25215/tid=25409] ppid=25214 vsize=628672 CPUtime=3.2 cores=0,2,4,6
/proc/25215/task/25409/stat : 25409 (pb_cplex) R 25214 25214 24699 0 -1 4202560 5343 0 0 0 318 2 0 0 20 0 8 0 390932790 643760128 108247 33554432000 134512640 146736320 4292338240 3929522328 136007605 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=25215/tid=25410] ppid=25214 vsize=628672 CPUtime=3.13 cores=0,2,4,6
/proc/25215/task/25410/stat : 25410 (pb_cplex) R 25214 25214 24699 0 -1 4202560 4783 0 0 0 311 2 0 0 20 0 8 0 390932790 643760128 108247 33554432000 134512640 146736320 4292338240 3919037008 136403109 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=25215/tid=25411] ppid=25214 vsize=628672 CPUtime=3.01 cores=0,2,4,6
/proc/25215/task/25411/stat : 25411 (pb_cplex) R 25214 25214 24699 0 -1 4202560 5356 0 0 0 299 2 0 0 20 0 8 0 390932790 643760128 108247 33554432000 134512640 146736320 4292338240 3908550760 136384772 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 968.54
Current children cumulated vsize (KiB) 637820
[startup+1002.3 s]
/proc/loadavg: 6.56 3.74 3.65 10/193 25413
/proc/meminfo: memFree=29117328/32873844 swapFree=8660/8660
[pid=25214] ppid=25212 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25214/stat : 25214 (run) S 25212 25214 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390869157 9367552 270 33554432000 4194304 5064252 140735992909008 140735992907920 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25214/statm: 2287 270 229 213 0 72 0
[pid=25215] ppid=25214 vsize=637872 CPUtime=1207.62 cores=0,2,4,6
/proc/25215/stat : 25215 (pb_cplex) R 25214 25214 24699 0 -1 4202496 927438 0 0 0 120549 213 0 0 20 0 8 0 390869157 653180928 110710 33554432000 134512640 146736320 4292338240 4292330028 135454073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25215/statm: 159468 110710 967 2985 0 156402 0
[pid=25215/tid=25405] ppid=25214 vsize=637872 CPUtime=32.69 cores=0,2,4,6
/proc/25215/task/25405/stat : 25405 (pb_cplex) R 25214 25214 24699 0 -1 4202560 15274 0 0 0 3263 6 0 0 20 0 8 0 390932790 653180928 110710 33554432000 134512640 146736320 4292338240 3978133544 139044550 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25215/tid=25406] ppid=25214 vsize=637872 CPUtime=33.02 cores=0,2,4,6
/proc/25215/task/25406/stat : 25406 (pb_cplex) R 25214 25214 24699 0 -1 4202560 14809 0 0 0 3297 5 0 0 20 0 8 0 390932790 653180928 110710 33554432000 134512640 146736320 4292338240 4030563304 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=25215/tid=25407] ppid=25214 vsize=637872 CPUtime=32.7 cores=0,2,4,6
/proc/25215/task/25407/stat : 25407 (pb_cplex) R 25214 25214 24699 0 -1 4202560 15190 0 0 0 3265 5 0 0 20 0 8 0 390932790 653180928 110710 33554432000 134512640 146736320 4292338240 4041048176 136384883 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=25215/tid=25408] ppid=25214 vsize=637872 CPUtime=33.01 cores=0,2,4,6
/proc/25215/task/25408/stat : 25408 (pb_cplex) R 25214 25214 24699 0 -1 4202560 14731 0 0 0 3297 4 0 0 20 0 8 0 390932790 653180928 110710 33554432000 134512640 146736320 4292338240 4020076584 139044550 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=25215/tid=25409] ppid=25214 vsize=637872 CPUtime=33.31 cores=0,2,4,6
/proc/25215/task/25409/stat : 25409 (pb_cplex) R 25214 25214 24699 0 -1 4202560 17382 0 0 0 3326 5 0 0 20 0 8 0 390932790 653180928 110710 33554432000 134512640 146736320 4292338240 3929522768 136403109 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=25215/tid=25410] ppid=25214 vsize=637872 CPUtime=32.97 cores=0,2,4,6
/proc/25215/task/25410/stat : 25410 (pb_cplex) R 25214 25214 24699 0 -1 4202560 16428 0 0 0 3293 4 0 0 20 0 8 0 390932790 653180928 110710 33554432000 134512640 146736320 4292338240 3919036568 136007588 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=25215/tid=25411] ppid=25214 vsize=637872 CPUtime=32.89 cores=0,2,4,6
/proc/25215/task/25411/stat : 25411 (pb_cplex) R 25214 25214 24699 0 -1 4202560 17328 0 0 0 3284 5 0 0 20 0 8 0 390932790 653180928 110710 33554432000 134512640 146736320 4292338240 3908550808 136007083 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1207.62
Current children cumulated vsize (KiB) 647020
[startup+1062.3 s]
/proc/loadavg: 7.94 4.66 3.97 17/193 25413
/proc/meminfo: memFree=29084528/32873844 swapFree=8660/8660
[pid=25214] ppid=25212 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25214/stat : 25214 (run) S 25212 25214 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390869157 9367552 270 33554432000 4194304 5064252 140735992909008 140735992907920 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25214/statm: 2287 270 229 213 0 72 0
[pid=25215] ppid=25214 vsize=645672 CPUtime=1446.72 cores=0,2,4,6
/proc/25215/stat : 25215 (pb_cplex) R 25214 25214 24699 0 -1 4202496 1019345 0 0 0 144433 239 0 0 20 0 8 0 390869157 661168128 118919 33554432000 134512640 146736320 4292338240 4292330992 136384857 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25215/statm: 161418 118919 967 2985 0 158352 0
[pid=25215/tid=25405] ppid=25214 vsize=645672 CPUtime=62.62 cores=0,2,4,6
/proc/25215/task/25405/stat : 25405 (pb_cplex) R 25214 25214 24699 0 -1 4202560 25165 0 0 0 6253 9 0 0 20 0 8 0 390932790 661168128 118919 33554432000 134512640 146736320 4292338240 3978133544 139044550 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25215/tid=25406] ppid=25214 vsize=645672 CPUtime=63.07 cores=0,2,4,6
/proc/25215/task/25406/stat : 25406 (pb_cplex) R 25214 25214 24699 0 -1 4202560 27396 0 0 0 6300 7 0 0 20 0 8 0 390932790 661168128 118919 33554432000 134512640 146736320 4292338240 4030561368 136007053 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=25215/tid=25407] ppid=25214 vsize=645672 CPUtime=62.44 cores=0,2,4,6
/proc/25215/task/25407/stat : 25407 (pb_cplex) R 25214 25214 24699 0 -1 4202560 25561 0 0 0 6236 8 0 0 20 0 8 0 390932790 661168128 118919 33554432000 134512640 146736320 4292338240 4041048216 136007605 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25215/tid=25408] ppid=25214 vsize=645672 CPUtime=62.96 cores=0,2,4,6
/proc/25215/task/25408/stat : 25408 (pb_cplex) R 25214 25214 24699 0 -1 4202560 25285 0 0 0 6290 6 0 0 20 0 8 0 390932790 661168128 118919 33554432000 134512640 146736320 4292338240 4020076656 136384857 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=25215/tid=25409] ppid=25214 vsize=645672 CPUtime=63.08 cores=0,2,4,6
/proc/25215/task/25409/stat : 25409 (pb_cplex) R 25214 25214 24699 0 -1 4202560 28624 0 0 0 6299 9 0 0 20 0 8 0 390932790 661168128 118919 33554432000 134512640 146736320 4292338240 3929522288 136384852 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=25215/tid=25410] ppid=25214 vsize=645672 CPUtime=62.78 cores=0,2,4,6
/proc/25215/task/25410/stat : 25410 (pb_cplex) R 25214 25214 24699 0 -1 4202560 29143 0 0 0 6271 7 0 0 20 0 8 0 390932790 661168128 118919 33554432000 134512640 146736320 4292338240 3919035480 136007674 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=25215/tid=25411] ppid=25214 vsize=645672 CPUtime=62.82 cores=0,2,4,6
/proc/25215/task/25411/stat : 25411 (pb_cplex) R 25214 25214 24699 0 -1 4202560 30457 0 0 0 6273 9 0 0 20 0 8 0 390932790 661168128 118919 33554432000 134512640 146736320 4292338240 3908549720 136007584 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1446.72
Current children cumulated vsize (KiB) 654820
[startup+1122.3 s]
/proc/loadavg: 8.46 5.40 4.27 10/193 25413
/proc/meminfo: memFree=29073292/32873844 swapFree=8660/8660
[pid=25214] ppid=25212 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25214/stat : 25214 (run) S 25212 25214 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390869157 9367552 270 33554432000 4194304 5064252 140735992909008 140735992907920 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25214/statm: 2287 270 229 213 0 72 0
[pid=25215] ppid=25214 vsize=653428 CPUtime=1685.79 cores=0,2,4,6
/proc/25215/stat : 25215 (pb_cplex) R 25214 25214 24699 0 -1 4202496 1115490 0 0 0 168310 269 0 0 20 0 8 0 390869157 669110272 121824 33554432000 134512640 146736320 4292338240 4292331032 136007059 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25215/statm: 163357 121824 967 2985 0 160291 0
[pid=25215/tid=25405] ppid=25214 vsize=653428 CPUtime=92.6 cores=0,2,4,6
/proc/25215/task/25405/stat : 25405 (pb_cplex) R 25214 25214 24699 0 -1 4202560 35856 0 0 0 9246 14 0 0 20 0 8 0 390932790 669110272 121824 33554432000 134512640 146736320 4292338240 3978132568 136007674 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25215/tid=25406] ppid=25214 vsize=653428 CPUtime=92.98 cores=0,2,4,6
/proc/25215/task/25406/stat : 25406 (pb_cplex) R 25214 25214 24699 0 -1 4202560 41257 0 0 0 9283 15 0 0 20 0 8 0 390932790 669110272 121824 33554432000 134512640 146736320 4292338240 4030562432 139023039 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=25215/tid=25407] ppid=25214 vsize=653428 CPUtime=92.52 cores=0,2,4,6
/proc/25215/task/25407/stat : 25407 (pb_cplex) R 25214 25214 24699 0 -1 4202560 39020 0 0 0 9240 12 0 0 20 0 8 0 390932790 669110272 121824 33554432000 134512640 146736320 4292338240 4041047624 136388010 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=25215/tid=25408] ppid=25214 vsize=653428 CPUtime=92.69 cores=0,2,4,6
/proc/25215/task/25408/stat : 25408 (pb_cplex) R 25214 25214 24699 0 -1 4202560 39438 0 0 0 9257 12 0 0 20 0 8 0 390932790 669110272 121824 33554432000 134512640 146736320 4292338240 4020075568 136384857 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=25215/tid=25409] ppid=25214 vsize=653428 CPUtime=92.71 cores=0,2,4,6
/proc/25215/task/25409/stat : 25409 (pb_cplex) R 25214 25214 24699 0 -1 4202560 39781 0 0 0 9258 13 0 0 20 0 8 0 390932790 669110272 121824 33554432000 134512640 146736320 4292338240 3929522328 136007643 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25215/tid=25410] ppid=25214 vsize=653428 CPUtime=92.71 cores=0,2,4,6
/proc/25215/task/25410/stat : 25410 (pb_cplex) R 25214 25214 24699 0 -1 4202560 41679 0 0 0 9258 13 0 0 20 0 8 0 390932790 669110272 121824 33554432000 134512640 146736320 4292338240 3919035480 136007654 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=25215/tid=25411] ppid=25214 vsize=653428 CPUtime=92.52 cores=0,2,4,6
/proc/25215/task/25411/stat : 25411 (pb_cplex) R 25214 25214 24699 0 -1 4202560 40962 0 0 0 9240 12 0 0 20 0 8 0 390932790 669110272 121824 33554432000 134512640 146736320 4292338240 3908549608 139044499 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1685.79
Current children cumulated vsize (KiB) 662576
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1151 s]
/proc/loadavg: 8.75 5.76 4.42 10/193 25413
/proc/meminfo: memFree=29074532/32873844 swapFree=8660/8660
[pid=25214] ppid=25212 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25214/stat : 25214 (run) S 25212 25214 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390869157 9367552 270 33554432000 4194304 5064252 140735992909008 140735992907920 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25214/statm: 2287 270 229 213 0 72 0
[pid=25215] ppid=25214 vsize=650388 CPUtime=1800.18 cores=0,2,4,6
/proc/25215/stat : 25215 (pb_cplex) R 25214 25214 24699 0 -1 4202496 1151197 0 0 0 179735 283 0 0 20 0 8 0 390869157 665997312 121584 33554432000 134512640 146736320 4292338240 4292331104 139028294 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/25215/statm: 162597 121584 967 2985 0 159531 0
[pid=25215/tid=25405] ppid=25214 vsize=650388 CPUtime=107.05 cores=0,2,4,6
/proc/25215/task/25405/stat : 25405 (pb_cplex) R 25214 25214 24699 0 -1 4202560 39427 0 0 0 10688 17 0 0 20 0 8 0 390932790 665997312 121584 33554432000 134512640 146736320 4292338240 3978133656 136007640 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=25215/tid=25406] ppid=25214 vsize=650388 CPUtime=107.3 cores=0,2,4,6
/proc/25215/task/25406/stat : 25406 (pb_cplex) R 25214 25214 24699 0 -1 4202560 46043 0 0 0 10714 16 0 0 20 0 8 0 390932790 665997312 121584 33554432000 134512640 146736320 4292338240 4030562456 136007083 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=25215/tid=25407] ppid=25214 vsize=650388 CPUtime=106.76 cores=0,2,4,6
/proc/25215/task/25407/stat : 25407 (pb_cplex) R 25214 25214 24699 0 -1 4202560 42602 0 0 0 10663 13 0 0 20 0 8 0 390932790 665997312 121584 33554432000 134512640 146736320 4292338240 4041047384 136007616 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=25215/tid=25408] ppid=25214 vsize=650388 CPUtime=106.89 cores=0,2,4,6
/proc/25215/task/25408/stat : 25408 (pb_cplex) R 25214 25214 24699 0 -1 4202560 44537 0 0 0 10676 13 0 0 20 0 8 0 390932790 665997312 121584 33554432000 134512640 146736320 4292338240 4020075864 136007605 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=25215/tid=25409] ppid=25214 vsize=650388 CPUtime=106.93 cores=0,2,4,6
/proc/25215/task/25409/stat : 25409 (pb_cplex) R 25214 25214 24699 0 -1 4202560 43185 0 0 0 10679 14 0 0 20 0 8 0 390932790 665997312 121584 33554432000 134512640 146736320 4292338240 3929520980 136017471 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=25215/tid=25410] ppid=25214 vsize=650388 CPUtime=107.03 cores=0,2,4,6
/proc/25215/task/25410/stat : 25410 (pb_cplex) R 25214 25214 24699 0 -1 4202560 47086 0 0 0 10687 16 0 0 20 0 8 0 390932790 665997312 121584 33554432000 134512640 146736320 4292338240 3919037008 136403109 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=25215/tid=25411] ppid=25214 vsize=650388 CPUtime=106.83 cores=0,2,4,6
/proc/25215/task/25411/stat : 25411 (pb_cplex) R 25214 25214 24699 0 -1 4202560 47799 0 0 0 10669 14 0 0 20 0 8 0 390932790 665997312 121584 33554432000 134512640 146736320 4292338240 3908551976 137412916 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 659536
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 25214 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.18
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1151.02
CPU time (s): 1800.18
CPU user time (s): 1797.35
CPU system time (s): 2.83
CPU usage (%): 156.399
Max. virtual memory (cumulated for all children) (KiB): 666672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355
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.6096 second user time and 7.10392 second system time
The end