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-3741096-1339249807/watcher-3741096-1339249807 -o /tmp/evaluation-result-3741096-1339249807/solver-3741096-1339249807 -C 1800 -W 1900 -M 15500 run HOME/instance-3741096-1339249807.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: 8.71 6.43 6.09 9/185 24122
/proc/meminfo: memFree=29944964/32873648 swapFree=7372/7372
[pid=24122] ppid=24120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24122/stat : 24122 (run) S 24120 24122 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391106645 9367552 270 33554432000 4194304 5064252 140736178054496 140736178053408 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24122/statm: 2287 270 229 213 0 72 0
[startup+0.0991991 s]
/proc/loadavg: 8.71 6.43 6.09 9/185 24122
/proc/meminfo: memFree=29944964/32873648 swapFree=7372/7372
[pid=24122] ppid=24120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24122/stat : 24122 (run) S 24120 24122 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391106645 9367552 270 33554432000 4194304 5064252 140736178054496 140736178053408 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24122/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100191 s]
/proc/loadavg: 8.71 6.43 6.09 9/185 24122
/proc/meminfo: memFree=29944964/32873648 swapFree=7372/7372
[pid=24122] ppid=24120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24122/stat : 24122 (run) S 24120 24122 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391106645 9367552 270 33554432000 4194304 5064252 140736178054496 140736178053408 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24122/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.301044 s]
/proc/loadavg: 8.71 6.43 6.09 9/185 24122
/proc/meminfo: memFree=29944964/32873648 swapFree=7372/7372
[pid=24122] ppid=24120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24122/stat : 24122 (run) S 24120 24122 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391106645 9367552 270 33554432000 4194304 5064252 140736178054496 140736178053408 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24122/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.701039 s]
/proc/loadavg: 8.71 6.43 6.09 9/185 24122
/proc/meminfo: memFree=29944964/32873648 swapFree=7372/7372
[pid=24122] ppid=24120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24122/stat : 24122 (run) S 24120 24122 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391106645 9367552 270 33554432000 4194304 5064252 140736178054496 140736178053408 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24122/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50113 s]
/proc/loadavg: 8.65 6.45 6.10 9/187 24124
/proc/meminfo: memFree=29908020/32873648 swapFree=7372/7372
[pid=24122] ppid=24120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24122/stat : 24122 (run) S 24120 24122 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391106645 9367552 270 33554432000 4194304 5064252 140736178054496 140736178053408 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24122/statm: 2287 270 229 213 0 72 0
[pid=24123] ppid=24122 vsize=132300 CPUtime=1.49 cores=0,2,4,6
/proc/24123/stat : 24123 (pb_cplex) R 24122 24122 22465 0 -1 4202496 33220 0 0 0 144 5 0 0 20 0 1 0 391106645 135475200 28151 33554432000 134512640 146736320 4288152320 4288150280 135812009 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24123/statm: 33075 28151 525 2985 0 30009 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 141448
[startup+3.10053 s]
/proc/loadavg: 8.65 6.45 6.10 9/187 24124
/proc/meminfo: memFree=29818908/32873648 swapFree=7372/7372
[pid=24122] ppid=24120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24122/stat : 24122 (run) S 24120 24122 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391106645 9367552 270 33554432000 4194304 5064252 140736178054496 140736178053408 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24122/statm: 2287 270 229 213 0 72 0
[pid=24123] ppid=24122 vsize=250920 CPUtime=3.09 cores=0,2,4,6
/proc/24123/stat : 24123 (pb_cplex) R 24122 24122 22465 0 -1 4202496 70392 0 0 0 298 11 0 0 20 0 1 0 391106645 256942080 34748 33554432000 134512640 146736320 4288152320 4288148760 138686376 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24123/statm: 62730 34748 617 2985 0 59664 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 260068
[startup+6.30035 s]
/proc/loadavg: 8.65 6.45 6.10 9/187 24124
/proc/meminfo: memFree=29794412/32873648 swapFree=7372/7372
[pid=24122] ppid=24120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24122/stat : 24122 (run) S 24120 24122 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391106645 9367552 270 33554432000 4194304 5064252 140736178054496 140736178053408 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24122/statm: 2287 270 229 213 0 72 0
[pid=24123] ppid=24122 vsize=267456 CPUtime=6.28 cores=0,2,4,6
/proc/24123/stat : 24123 (pb_cplex) R 24122 24122 22465 0 -1 4202496 92568 0 0 0 613 15 0 0 20 0 1 0 391106645 273874944 38167 33554432000 134512640 146736320 4288152320 4288147272 136461573 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24123/statm: 66864 38167 715 2985 0 63798 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 276604
[startup+12.7003 s]
/proc/loadavg: 8.55 6.51 6.12 9/187 24124
/proc/meminfo: memFree=29791724/32873648 swapFree=7372/7372
[pid=24122] ppid=24120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24122/stat : 24122 (run) S 24120 24122 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391106645 9367552 270 33554432000 4194304 5064252 140736178054496 140736178053408 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24122/statm: 2287 270 229 213 0 72 0
[pid=24123] ppid=24122 vsize=268048 CPUtime=12.68 cores=0,2,4,6
/proc/24123/stat : 24123 (pb_cplex) R 24122 24122 22465 0 -1 4202496 92629 0 0 0 1253 15 0 0 20 0 1 0 391106645 274481152 38228 33554432000 134512640 146736320 4288152320 4288147928 144757825 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24123/statm: 67012 38228 715 2985 0 63946 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 277196
[startup+25.5003 s]
/proc/loadavg: 8.47 6.55 6.14 9/187 24125
/proc/meminfo: memFree=29791848/32873648 swapFree=7372/7372
[pid=24122] ppid=24120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24122/stat : 24122 (run) S 24120 24122 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391106645 9367552 270 33554432000 4194304 5064252 140736178054496 140736178053408 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24122/statm: 2287 270 229 213 0 72 0
[pid=24123] ppid=24122 vsize=268048 CPUtime=25.49 cores=0,2,4,6
/proc/24123/stat : 24123 (pb_cplex) R 24122 24122 22465 0 -1 4202496 92630 0 0 0 2533 16 0 0 20 0 1 0 391106645 274481152 38229 33554432000 134512640 146736320 4288152320 4288146360 135997372 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24123/statm: 67012 38229 715 2985 0 63946 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 277196
[startup+51.1003 s]
/proc/loadavg: 8.23 6.65 6.18 9/187 24125
/proc/meminfo: memFree=29730440/32873648 swapFree=7372/7372
[pid=24122] ppid=24120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24122/stat : 24122 (run) S 24120 24122 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391106645 9367552 270 33554432000 4194304 5064252 140736178054496 140736178053408 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24122/statm: 2287 270 229 213 0 72 0
[pid=24123] ppid=24122 vsize=340048 CPUtime=51.08 cores=0,2,4,6
/proc/24123/stat : 24123 (pb_cplex) R 24122 24122 22465 0 -1 4202496 163431 0 0 0 5077 31 0 0 20 0 1 0 391106645 348209152 53552 33554432000 134512640 146736320 4288152320 4288146252 139028313 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24123/statm: 85012 53552 835 2985 0 81946 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 349196
[startup+102.307 s]
/proc/loadavg: 8.09 6.88 6.28 9/186 24125
/proc/meminfo: memFree=29719124/32873648 swapFree=7372/7372
[pid=24122] ppid=24120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24122/stat : 24122 (run) S 24120 24122 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391106645 9367552 270 33554432000 4194304 5064252 140736178054496 140736178053408 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24122/statm: 2287 270 229 213 0 72 0
[pid=24123] ppid=24122 vsize=342480 CPUtime=102.27 cores=0,2,4,6
/proc/24123/stat : 24123 (pb_cplex) R 24122 24122 22465 0 -1 4202496 173173 0 0 0 10194 33 0 0 20 0 1 0 391106645 350699520 56130 33554432000 134512640 146736320 4288152320 4288146304 136018935 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24123/statm: 85620 56130 835 2985 0 82554 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 351628
[startup+162.301 s]
/proc/loadavg: 6.55 6.70 6.26 10/186 24196
/proc/meminfo: memFree=29964632/32873648 swapFree=7372/7372
[pid=24122] ppid=24120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24122/stat : 24122 (run) S 24120 24122 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391106645 9367552 270 33554432000 4194304 5064252 140736178054496 140736178053408 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24122/statm: 2287 270 229 213 0 72 0
[pid=24123] ppid=24122 vsize=342480 CPUtime=162.26 cores=0,2,4,6
/proc/24123/stat : 24123 (pb_cplex) R 24122 24122 22465 0 -1 4202496 184275 0 0 0 16189 37 0 0 20 0 1 0 391106645 350699520 57801 33554432000 134512640 146736320 4288152320 4288146616 136015570 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24123/statm: 85620 57801 835 2985 0 82554 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 351628
[startup+222.3 s]
/proc/loadavg: 6.89 6.76 6.30 9/186 24196
/proc/meminfo: memFree=29958216/32873648 swapFree=7372/7372
[pid=24122] ppid=24120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24122/stat : 24122 (run) S 24120 24122 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391106645 9367552 270 33554432000 4194304 5064252 140736178054496 140736178053408 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24122/statm: 2287 270 229 213 0 72 0
[pid=24123] ppid=24122 vsize=342480 CPUtime=222.25 cores=0,2,4,6
/proc/24123/stat : 24123 (pb_cplex) R 24122 24122 22465 0 -1 4202496 196522 0 0 0 22184 41 0 0 20 0 1 0 391106645 350699520 58639 33554432000 134512640 146736320 4288152320 4288146616 136015684 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24123/statm: 85620 58639 835 2985 0 82554 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 351628
[startup+282.3 s]
/proc/loadavg: 6.79 6.74 6.32 10/186 24196
/proc/meminfo: memFree=29968464/32873648 swapFree=7372/7372
[pid=24122] ppid=24120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24122/stat : 24122 (run) S 24120 24122 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391106645 9367552 270 33554432000 4194304 5064252 140736178054496 140736178053408 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24122/statm: 2287 270 229 213 0 72 0
[pid=24123] ppid=24122 vsize=344268 CPUtime=282.24 cores=0,2,4,6
/proc/24123/stat : 24123 (pb_cplex) R 24122 24122 22465 0 -1 4202496 230629 0 0 0 28172 52 0 0 20 0 1 0 391106645 352530432 56113 33554432000 134512640 146736320 4288152320 4288146252 139028323 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24123/statm: 86067 56113 836 2985 0 83001 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 353416
[startup+342.3 s]
/proc/loadavg: 7.34 6.90 6.40 4/186 24197
/proc/meminfo: memFree=29958032/32873648 swapFree=7372/7372
[pid=24122] ppid=24120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24122/stat : 24122 (run) S 24120 24122 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391106645 9367552 270 33554432000 4194304 5064252 140736178054496 140736178053408 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24122/statm: 2287 270 229 213 0 72 0
[pid=24123] ppid=24122 vsize=344340 CPUtime=342.23 cores=0,2,4,6
/proc/24123/stat : 24123 (pb_cplex) R 24122 24122 22465 0 -1 4202496 242147 0 0 0 34167 56 0 0 20 0 1 0 391106645 352604160 58152 33554432000 134512640 146736320 4288152320 4288146616 136015579 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24123/statm: 86085 58152 836 2985 0 83019 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 353488
[startup+402.3 s]
/proc/loadavg: 6.94 6.87 6.42 9/186 24197
/proc/meminfo: memFree=29964548/32873648 swapFree=7372/7372
[pid=24122] ppid=24120 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=24123] ppid=24122 vsize=348440 CPUtime=1062.11 cores=0,2,4,6
/proc/24123/stat : 24123 (pb_cplex) R 24122 24122 22465 0 -1 4202496 607703 0 0 0 106057 154 0 0 20 0 1 0 391106645 356802560 58221 33554432000 134512640 146736320 4288152320 4288146124 136018134 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24123/statm: 87110 58221 840 2985 0 84044 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 357588
[startup+1122.3 s]
/proc/loadavg: 8.23 7.44 6.79 10/186 24296
/proc/meminfo: memFree=29713892/32873648 swapFree=7372/7372
[pid=24122] ppid=24120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24122/stat : 24122 (run) S 24120 24122 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391106645 9367552 270 33554432000 4194304 5064252 140736178054496 140736178053408 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24122/statm: 2287 270 229 213 0 72 0
[pid=24123] ppid=24122 vsize=339420 CPUtime=1122.11 cores=0,2,4,6
/proc/24123/stat : 24123 (pb_cplex) R 24122 24122 22465 0 -1 4202496 880439 0 0 0 111982 229 0 0 20 0 1 0 391106645 347566080 57321 33554432000 134512640 146736320 4288152320 4288146760 136462641 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24123/statm: 84855 57321 849 2985 0 81789 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 348568
[startup+1182.3 s]
/proc/loadavg: 8.32 7.61 6.89 9/186 24353
/proc/meminfo: memFree=29137984/32873648 swapFree=7372/7372
[pid=24122] ppid=24120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24122/stat : 24122 (run) S 24120 24122 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391106645 9367552 270 33554432000 4194304 5064252 140736178054496 140736178053408 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24122/statm: 2287 270 229 213 0 72 0
[pid=24123] ppid=24122 vsize=1415588 CPUtime=1266.96 cores=0,2,4,6
/proc/24123/stat : 24123 (pb_cplex) R 24122 24122 22465 0 -1 4202496 1227524 0 0 0 126334 362 0 0 20 0 8 0 391106645 1449562112 264279 33554432000 134512640 146736320 4288152320 4288144776 135526330 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24123/statm: 353897 264279 886 2985 0 350831 0
[pid=24123/tid=24297] ppid=24122 vsize=1415588 CPUtime=14.88 cores=0,2,4,6
/proc/24123/task/24297/stat : 24297 (pb_cplex) R 24122 24122 22465 0 -1 4202560 31914 0 0 0 1473 15 0 0 20 0 8 0 391221954 1449562112 264279 33554432000 134512640 146736320 4288152320 3612430336 136413878 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=24123/tid=24298] ppid=24122 vsize=1415588 CPUtime=15.1 cores=0,2,4,6
/proc/24123/task/24298/stat : 24298 (pb_cplex) R 24122 24122 22465 0 -1 4202560 19600 0 0 0 1502 8 0 0 20 0 8 0 391221954 1449562112 264279 33554432000 134512640 146736320 4288152320 3601943600 136384857 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24123/tid=24299] ppid=24122 vsize=1415588 CPUtime=15.42 cores=0,2,4,6
/proc/24123/task/24299/stat : 24299 (pb_cplex) R 24122 24122 22465 0 -1 4202560 22121 0 0 0 1533 9 0 0 20 0 8 0 391221954 1449562112 264279 33554432000 134512640 146736320 4288152320 3591457784 136475798 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24123/tid=24300] ppid=24122 vsize=1415588 CPUtime=14.87 cores=0,2,4,6
/proc/24123/task/24300/stat : 24300 (pb_cplex) R 24122 24122 22465 0 -1 4202560 32081 0 0 0 1473 14 0 0 20 0 8 0 391221954 1449562112 264279 33554432000 134512640 146736320 4288152320 3580973128 139042876 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24123/tid=24301] ppid=24122 vsize=1415588 CPUtime=15.09 cores=0,2,4,6
/proc/24123/task/24301/stat : 24301 (pb_cplex) R 24122 24122 22465 0 -1 4202560 31923 0 0 0 1494 15 0 0 20 0 8 0 391221954 1449562112 264279 33554432000 134512640 146736320 4288152320 3570487408 136384852 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24123/tid=24302] ppid=24122 vsize=1415588 CPUtime=15.79 cores=0,2,4,6
/proc/24123/task/24302/stat : 24302 (pb_cplex) R 24122 24122 22465 0 -1 4202560 10199 0 0 0 1571 8 0 0 20 0 8 0 391221954 1449562112 264279 33554432000 134512640 146736320 4288152320 3560002128 136403112 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=24123/tid=24303] ppid=24122 vsize=1415588 CPUtime=7.07 cores=0,2,4,6
/proc/24123/task/24303/stat : 24303 (pb_cplex) S 24122 24122 22465 0 -1 4202560 21795 0 0 0 696 11 0 0 20 0 8 0 391221954 1449562112 264279 33554432000 134512640 146736320 4288152320 3549519504 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1266.96
Current children cumulated vsize (KiB) 1424736
[startup+1242.3 s]
/proc/loadavg: 5.57 7.01 6.73 4/186 24356
/proc/meminfo: memFree=29099808/32873648 swapFree=7372/7372
[pid=24122] ppid=24120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24122/stat : 24122 (run) S 24120 24122 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391106645 9367552 270 33554432000 4194304 5064252 140736178054496 140736178053408 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24122/statm: 2287 270 229 213 0 72 0
[pid=24123] ppid=24122 vsize=1463932 CPUtime=1437.53 cores=0,2,4,6
/proc/24123/stat : 24123 (pb_cplex) S 24122 24122 22465 0 -1 4202496 1337765 0 0 0 143337 416 0 0 20 0 8 0 391106645 1499066368 273808 33554432000 134512640 146736320 4288152320 4288148688 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24123/statm: 365983 273808 886 2985 0 362917 0
[pid=24123/tid=24297] ppid=24122 vsize=1463932 CPUtime=21.15 cores=0,2,4,6
/proc/24123/task/24297/stat : 24297 (pb_cplex) S 24122 24122 22465 0 -1 4202560 36014 0 0 0 2097 18 0 0 20 0 8 0 391221954 1499066368 273808 33554432000 134512640 146736320 4288152320 3612434064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24123/tid=24298] ppid=24122 vsize=1463932 CPUtime=36.41 cores=0,2,4,6
/proc/24123/task/24298/stat : 24298 (pb_cplex) S 24122 24122 22465 0 -1 4202560 44508 0 0 0 3623 18 0 0 20 0 8 0 391221954 1499066368 273808 33554432000 134512640 146736320 4288152320 3601948304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24123/tid=24299] ppid=24122 vsize=1463932 CPUtime=33.81 cores=0,2,4,6
/proc/24123/task/24299/stat : 24299 (pb_cplex) S 24122 24122 22465 0 -1 4202560 58529 0 0 0 3355 26 0 0 20 0 8 0 391221954 1499066368 273808 33554432000 134512640 146736320 4288152320 3591462544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24123/tid=24300] ppid=24122 vsize=1463932 CPUtime=68.34 cores=0,2,4,6
/proc/24123/task/24300/stat : 24300 (pb_cplex) R 24122 24122 22465 0 -1 4202560 44564 0 0 0 6812 22 0 0 20 0 8 0 391221954 1499066368 273808 33554432000 134512640 146736320 4288152320 3580973448 136388073 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24123/tid=24301] ppid=24122 vsize=1463932 CPUtime=20.29 cores=0,2,4,6
/proc/24123/task/24301/stat : 24301 (pb_cplex) S 24122 24122 22465 0 -1 4202560 37012 0 0 0 2011 18 0 0 20 0 8 0 391221954 1499066368 273808 33554432000 134512640 146736320 4288152320 3570491024 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24123/tid=24302] ppid=24122 vsize=1463932 CPUtime=69.59 cores=0,2,4,6
/proc/24123/task/24302/stat : 24302 (pb_cplex) R 24122 24122 22465 0 -1 4202560 30447 0 0 0 6940 19 0 0 20 0 8 0 391221954 1499066368 273808 33554432000 134512640 146736320 4288152320 3560001848 136015584 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24123/tid=24303] ppid=24122 vsize=1463932 CPUtime=7.07 cores=0,2,4,6
/proc/24123/task/24303/stat : 24303 (pb_cplex) S 24122 24122 22465 0 -1 4202560 21795 0 0 0 696 11 0 0 20 0 8 0 391221954 1499066368 273808 33554432000 134512640 146736320 4288152320 3549519504 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1437.53
Current children cumulated vsize (KiB) 1473080
[startup+1302.3 s]
/proc/loadavg: 3.72 6.23 6.48 3/186 24357
/proc/meminfo: memFree=29063508/32873648 swapFree=7372/7372
[pid=24122] ppid=24120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24122/stat : 24122 (run) S 24120 24122 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391106645 9367552 270 33554432000 4194304 5064252 140736178054496 140736178053408 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24122/statm: 2287 270 229 213 0 72 0
[pid=24123] ppid=24122 vsize=1465744 CPUtime=1543.95 cores=0,2,4,6
/proc/24123/stat : 24123 (pb_cplex) S 24122 24122 22465 0 -1 4202496 1377914 0 0 0 153965 430 0 0 20 0 8 0 391106645 1500921856 282956 33554432000 134512640 146736320 4288152320 4288148688 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24123/statm: 366436 282956 886 2985 0 363370 0
[pid=24123/tid=24297] ppid=24122 vsize=1465744 CPUtime=21.15 cores=0,2,4,6
/proc/24123/task/24297/stat : 24297 (pb_cplex) S 24122 24122 22465 0 -1 4202560 36014 0 0 0 2097 18 0 0 20 0 8 0 391221954 1500921856 282956 33554432000 134512640 146736320 4288152320 3612434064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24123/tid=24298] ppid=24122 vsize=1465744 CPUtime=36.41 cores=0,2,4,6
/proc/24123/task/24298/stat : 24298 (pb_cplex) S 24122 24122 22465 0 -1 4202560 44508 0 0 0 3623 18 0 0 20 0 8 0 391221954 1500921856 282956 33554432000 134512640 146736320 4288152320 3601948304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24123/tid=24299] ppid=24122 vsize=1465744 CPUtime=33.81 cores=0,2,4,6
/proc/24123/task/24299/stat : 24299 (pb_cplex) S 24122 24122 22465 0 -1 4202560 58529 0 0 0 3355 26 0 0 20 0 8 0 391221954 1500921856 282956 33554432000 134512640 146736320 4288152320 3591462544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24123/tid=24300] ppid=24122 vsize=1465744 CPUtime=114.66 cores=0,2,4,6
/proc/24123/task/24300/stat : 24300 (pb_cplex) S 24122 24122 22465 0 -1 4202560 73343 0 0 0 11435 31 0 0 20 0 8 0 391221954 1500921856 282956 33554432000 134512640 146736320 4288152320 3580976784 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24123/tid=24301] ppid=24122 vsize=1465744 CPUtime=20.29 cores=0,2,4,6
/proc/24123/task/24301/stat : 24301 (pb_cplex) S 24122 24122 22465 0 -1 4202560 37012 0 0 0 2011 18 0 0 20 0 8 0 391221954 1500921856 282956 33554432000 134512640 146736320 4288152320 3570491024 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24123/tid=24302] ppid=24122 vsize=1465744 CPUtime=129.44 cores=0,2,4,6
/proc/24123/task/24302/stat : 24302 (pb_cplex) R 24122 24122 22465 0 -1 4202560 41817 0 0 0 12919 25 0 0 20 0 8 0 391221954 1500921856 282956 33554432000 134512640 146736320 4288152320 3560002176 139046527 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24123/tid=24303] ppid=24122 vsize=1465744 CPUtime=7.07 cores=0,2,4,6
/proc/24123/task/24303/stat : 24303 (pb_cplex) S 24122 24122 22465 0 -1 4202560 21795 0 0 0 696 11 0 0 20 0 8 0 391221954 1500921856 282956 33554432000 134512640 146736320 4288152320 3549519504 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1543.95
Current children cumulated vsize (KiB) 1474892
[startup+1362.3 s]
/proc/loadavg: 3.71 5.69 6.27 10/186 24357
/proc/meminfo: memFree=29109548/32873648 swapFree=7372/7372
[pid=24122] ppid=24120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24122/stat : 24122 (run) S 24120 24122 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391106645 9367552 270 33554432000 4194304 5064252 140736178054496 140736178053408 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24122/statm: 2287 270 229 213 0 72 0
[pid=24123] ppid=24122 vsize=1419928 CPUtime=1631.61 cores=0,2,4,6
/proc/24123/stat : 24123 (pb_cplex) R 24122 24122 22465 0 -1 4202496 1463490 0 0 0 162688 473 0 0 20 0 8 0 391106645 1454006272 272303 33554432000 134512640 146736320 4288152320 4288145168 136008047 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24123/statm: 354982 272303 886 2985 0 351916 0
[pid=24123/tid=24297] ppid=24122 vsize=1419928 CPUtime=25.53 cores=0,2,4,6
/proc/24123/task/24297/stat : 24297 (pb_cplex) R 24122 24122 22465 0 -1 4202560 48097 0 0 0 2530 23 0 0 20 0 8 0 391221954 1454006272 272303 33554432000 134512640 146736320 4288152320 3612429840 136403112 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24123/tid=24298] ppid=24122 vsize=1419928 CPUtime=41.03 cores=0,2,4,6
/proc/24123/task/24298/stat : 24298 (pb_cplex) R 24122 24122 22465 0 -1 4202560 54467 0 0 0 4079 24 0 0 20 0 8 0 391221954 1454006272 272303 33554432000 134512640 146736320 4288152320 3601944728 136007037 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24123/tid=24299] ppid=24122 vsize=1419928 CPUtime=38.39 cores=0,2,4,6
/proc/24123/task/24299/stat : 24299 (pb_cplex) R 24122 24122 22465 0 -1 4202560 64217 0 0 0 3809 30 0 0 20 0 8 0 391221954 1454006272 272303 33554432000 134512640 146736320 4288152320 3591459244 136400481 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=24123/tid=24300] ppid=24122 vsize=1419928 CPUtime=119.26 cores=0,2,4,6
/proc/24123/task/24300/stat : 24300 (pb_cplex) R 24122 24122 22465 0 -1 4202560 77754 0 0 0 11891 35 0 0 20 0 8 0 391221954 1454006272 272303 33554432000 134512640 146736320 4288152320 3580973264 136008172 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24123/tid=24301] ppid=24122 vsize=1419928 CPUtime=24.86 cores=0,2,4,6
/proc/24123/task/24301/stat : 24301 (pb_cplex) R 24122 24122 22465 0 -1 4202560 49621 0 0 0 2462 24 0 0 20 0 8 0 391221954 1454006272 272303 33554432000 134512640 146736320 4288152320 3570487368 139042876 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=24123/tid=24302] ppid=24122 vsize=1419928 CPUtime=184.75 cores=0,2,4,6
/proc/24123/task/24302/stat : 24302 (pb_cplex) R 24122 24122 22465 0 -1 4202560 69317 0 0 0 18440 35 0 0 20 0 8 0 391221954 1454006272 272303 33554432000 134512640 146736320 4288152320 3560000744 135467718 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24123/tid=24303] ppid=24122 vsize=1419928 CPUtime=11.73 cores=0,2,4,6
/proc/24123/task/24303/stat : 24303 (pb_cplex) R 24122 24122 22465 0 -1 4202560 28457 0 0 0 1158 15 0 0 20 0 8 0 391221954 1454006272 272303 33554432000 134512640 146736320 4288152320 3549516088 136015570 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1631.61
Current children cumulated vsize (KiB) 1429076
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1404.6 s]
/proc/loadavg: 6.28 6.10 6.38 10/185 24357
/proc/meminfo: memFree=29086420/32873648 swapFree=7372/7372
[pid=24122] ppid=24120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24122/stat : 24122 (run) S 24120 24122 22465 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391106645 9367552 270 33554432000 4194304 5064252 140736178054496 140736178053408 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24122/statm: 2287 270 229 213 0 72 0
[pid=24123] ppid=24122 vsize=1436888 CPUtime=1800.17 cores=0,2,4,6
/proc/24123/stat : 24123 (pb_cplex) R 24122 24122 22465 0 -1 4202496 1518473 0 0 0 179510 507 0 0 20 0 8 0 391106645 1471373312 277349 33554432000 134512640 146736320 4288152320 4288145168 136008042 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/24123/statm: 359222 277349 886 2985 0 356156 0
[pid=24123/tid=24297] ppid=24122 vsize=1436888 CPUtime=46.6 cores=0,2,4,6
/proc/24123/task/24297/stat : 24297 (pb_cplex) R 24122 24122 22465 0 -1 4202560 55672 0 0 0 4633 27 0 0 20 0 8 0 391221954 1471373312 277349 33554432000 134512640 146736320 4288152320 3612430544 136008230 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24123/tid=24298] ppid=24122 vsize=1436888 CPUtime=62.2 cores=0,2,4,6
/proc/24123/task/24298/stat : 24298 (pb_cplex) R 24122 24122 22465 0 -1 4202560 59083 0 0 0 6192 28 0 0 20 0 8 0 391221954 1471373312 277349 33554432000 134512640 146736320 4288152320 3601944688 136384890 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24123/tid=24299] ppid=24122 vsize=1436888 CPUtime=59.58 cores=0,2,4,6
/proc/24123/task/24299/stat : 24299 (pb_cplex) R 24122 24122 22465 0 -1 4202560 71556 0 0 0 5924 34 0 0 20 0 8 0 391221954 1471373312 277349 33554432000 134512640 146736320 4288152320 3591459024 136007963 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=24123/tid=24300] ppid=24122 vsize=1436888 CPUtime=140.25 cores=0,2,4,6
/proc/24123/task/24300/stat : 24300 (pb_cplex) R 24122 24122 22465 0 -1 4202560 87177 0 0 0 13983 42 0 0 20 0 8 0 391221954 1471373312 277349 33554432000 134512640 146736320 4288152320 3580973648 136403109 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=24123/tid=24301] ppid=24122 vsize=1436888 CPUtime=45.62 cores=0,2,4,6
/proc/24123/task/24301/stat : 24301 (pb_cplex) R 24122 24122 22465 0 -1 4202560 57339 0 0 0 4532 30 0 0 20 0 8 0 391221954 1471373312 277349 33554432000 134512640 146736320 4288152320 3570487936 139046511 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=24123/tid=24302] ppid=24122 vsize=1436888 CPUtime=206.15 cores=0,2,4,6
/proc/24123/task/24302/stat : 24302 (pb_cplex) R 24122 24122 22465 0 -1 4202560 77255 0 0 0 20575 40 0 0 20 0 8 0 391221954 1471373312 277349 33554432000 134512640 146736320 4288152320 3560000904 136001981 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24123/tid=24303] ppid=24122 vsize=1436888 CPUtime=32.7 cores=0,2,4,6
/proc/24123/task/24303/stat : 24303 (pb_cplex) R 24122 24122 22465 0 -1 4202560 30598 0 0 0 3254 16 0 0 20 0 8 0 391221954 1471373312 277349 33554432000 134512640 146736320 4288152320 3549515888 136384892 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 1446036
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 24122 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.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1404.64
CPU time (s): 1800.17
CPU user time (s): 1795.1
CPU system time (s): 5.07
CPU usage (%): 128.159
Max. virtual memory (cumulated for all children) (KiB): 1492784
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.98955 second user time and 8.48471 second system time
The end