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-3740479-1339249380/watcher-3740479-1339249380 -o /tmp/evaluation-result-3740479-1339249380/solver-3740479-1339249380 -C 1800 -W 1900 -M 15500 run HOME/instance-3740479-1339249380.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 8.65 9.15 7.48 3/177 3838
/proc/meminfo: memFree=31119304/32873844 swapFree=7116/7116
[pid=3838] ppid=3836 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3838/stat : 3838 (run) S 3836 3838 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391066659 9367552 270 33554432000 4194304 5064252 140733775646992 140733775645904 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3838/statm: 2287 270 229 213 0 72 0
[startup+0.103025 s]
/proc/loadavg: 8.65 9.15 7.48 3/177 3838
/proc/meminfo: memFree=31119304/32873844 swapFree=7116/7116
[pid=3838] ppid=3836 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3838/stat : 3838 (run) S 3836 3838 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391066659 9367552 270 33554432000 4194304 5064252 140733775646992 140733775645904 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3838/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200361 s]
/proc/loadavg: 8.65 9.15 7.48 3/177 3838
/proc/meminfo: memFree=31119304/32873844 swapFree=7116/7116
[pid=3838] ppid=3836 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3838/stat : 3838 (run) S 3836 3838 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391066659 9367552 270 33554432000 4194304 5064252 140733775646992 140733775645904 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3838/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300344 s]
/proc/loadavg: 8.65 9.15 7.48 3/177 3838
/proc/meminfo: memFree=31119304/32873844 swapFree=7116/7116
[pid=3838] ppid=3836 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3838/stat : 3838 (run) S 3836 3838 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391066659 9367552 270 33554432000 4194304 5064252 140733775646992 140733775645904 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3838/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700289 s]
/proc/loadavg: 8.65 9.15 7.48 3/177 3838
/proc/meminfo: memFree=31119304/32873844 swapFree=7116/7116
[pid=3838] ppid=3836 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3838/stat : 3838 (run) S 3836 3838 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391066659 9367552 270 33554432000 4194304 5064252 140733775646992 140733775645904 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3838/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 8.12 9.03 7.45 3/179 3840
/proc/meminfo: memFree=31058960/32873844 swapFree=7116/7116
[pid=3838] ppid=3836 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3838/stat : 3838 (run) S 3836 3838 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391066659 9367552 270 33554432000 4194304 5064252 140733775646992 140733775645904 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3838/statm: 2287 270 229 213 0 72 0
[pid=3839] ppid=3838 vsize=83252 CPUtime=1.49 cores=1,3,5,7
/proc/3839/stat : 3839 (pb_cplex) R 3838 3838 2899 0 -1 4202496 17893 0 0 0 146 3 0 0 20 0 1 0 391066659 85250048 17323 33554432000 134512640 146736320 4290832368 4290830168 144716523 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 20813 17323 2184 2985 0 15730 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 92400
[startup+3.10036 s]
/proc/loadavg: 8.12 9.03 7.45 3/179 3840
/proc/meminfo: memFree=30993356/32873844 swapFree=7116/7116
[pid=3838] ppid=3836 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3838/stat : 3838 (run) S 3836 3838 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391066659 9367552 270 33554432000 4194304 5064252 140733775646992 140733775645904 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3838/statm: 2287 270 229 213 0 72 0
[pid=3839] ppid=3838 vsize=167872 CPUtime=3.09 cores=1,3,5,7
/proc/3839/stat : 3839 (pb_cplex) R 3838 3838 2899 0 -1 4202496 59262 0 0 0 299 10 0 0 20 0 1 0 391066659 171900928 37136 33554432000 134512640 146736320 4290832368 4290830168 135795117 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 41968 37136 651 2985 0 38902 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 177020
[startup+6.30039 s]
/proc/loadavg: 7.71 8.93 7.43 3/179 3840
/proc/meminfo: memFree=30848136/32873844 swapFree=7116/7116
[pid=3838] ppid=3836 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3838/stat : 3838 (run) S 3836 3838 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391066659 9367552 270 33554432000 4194304 5064252 140733775646992 140733775645904 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3838/statm: 2287 270 229 213 0 72 0
[pid=3839] ppid=3838 vsize=475092 CPUtime=6.29 cores=1,3,5,7
/proc/3839/stat : 3839 (pb_cplex) R 3838 3838 2899 0 -1 4202496 121236 0 0 0 600 29 0 0 20 0 1 0 391066659 486494208 68925 33554432000 134512640 146736320 4290832368 4290826944 136413789 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 118773 68925 794 2985 0 115707 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 484240
[startup+12.7004 s]
/proc/loadavg: 7.25 8.82 7.40 3/179 3840
/proc/meminfo: memFree=30846920/32873844 swapFree=7116/7116
[pid=3838] ppid=3836 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3838/stat : 3838 (run) S 3836 3838 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391066659 9367552 270 33554432000 4194304 5064252 140733775646992 140733775645904 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3838/statm: 2287 270 229 213 0 72 0
[pid=3839] ppid=3838 vsize=481324 CPUtime=12.68 cores=1,3,5,7
/proc/3839/stat : 3839 (pb_cplex) R 3838 3838 2899 0 -1 4202496 128154 0 0 0 1235 33 0 0 20 0 1 0 391066659 492875776 70793 33554432000 134512640 146736320 4290832368 4290826984 139044509 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 120331 70793 794 2985 0 117265 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 490472
[startup+25.5005 s]
/proc/loadavg: 6.45 8.59 7.34 3/179 3840
/proc/meminfo: memFree=30836008/32873844 swapFree=7116/7116
[pid=3838] ppid=3836 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3838/stat : 3838 (run) S 3836 3838 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391066659 9367552 270 33554432000 4194304 5064252 140733775646992 140733775645904 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3838/statm: 2287 270 229 213 0 72 0
[pid=3839] ppid=3838 vsize=489148 CPUtime=25.48 cores=1,3,5,7
/proc/3839/stat : 3839 (pb_cplex) R 3838 3838 2899 0 -1 4202496 143015 0 0 0 2508 40 0 0 20 0 1 0 391066659 500887552 73262 33554432000 134512640 146736320 4290832368 4290826880 136403418 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 122287 73262 794 2985 0 119221 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 498296
[startup+51.1004 s]
/proc/loadavg: 4.69 7.96 7.17 3/179 3840
/proc/meminfo: memFree=30835936/32873844 swapFree=7116/7116
[pid=3838] ppid=3836 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3838/stat : 3838 (run) S 3836 3838 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391066659 9367552 270 33554432000 4194304 5064252 140733775646992 140733775645904 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3838/statm: 2287 270 229 213 0 72 0
[pid=3839] ppid=3838 vsize=489600 CPUtime=51.08 cores=1,3,5,7
/proc/3839/stat : 3839 (pb_cplex) R 3838 3838 2899 0 -1 4202496 151154 0 0 0 5063 45 0 0 20 0 1 0 391066659 501350400 73399 33554432000 134512640 146736320 4290832368 4290827120 135979167 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 122400 73399 794 2985 0 119334 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 498748
[startup+102.3 s]
/proc/loadavg: 3.22 7.06 6.90 3/186 3847
/proc/meminfo: memFree=30795236/32873844 swapFree=7116/7116
[pid=3838] ppid=3836 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3838/stat : 3838 (run) S 3836 3838 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391066659 9367552 270 33554432000 4194304 5064252 140733775646992 140733775645904 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3838/statm: 2287 270 229 213 0 72 0
[pid=3839] ppid=3838 vsize=492144 CPUtime=102.28 cores=1,3,5,7
/proc/3839/stat : 3839 (pb_cplex) R 3838 3838 2899 0 -1 4202496 172540 0 0 0 10173 55 0 0 20 0 1 0 391066659 503955456 75075 33554432000 134512640 146736320 4290832368 4290827016 136473113 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 123036 75075 794 2985 0 119970 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 501292
[startup+162.3 s]
/proc/loadavg: 6.65 7.31 6.99 10/186 3847
/proc/meminfo: memFree=30712800/32873844 swapFree=7116/7116
[pid=3838] ppid=3836 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3838/stat : 3838 (run) S 3836 3838 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391066659 9367552 270 33554432000 4194304 5064252 140733775646992 140733775645904 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3838/statm: 2287 270 229 213 0 72 0
[pid=3839] ppid=3838 vsize=502756 CPUtime=162.26 cores=1,3,5,7
/proc/3839/stat : 3839 (pb_cplex) R 3838 3838 2899 0 -1 4202496 211900 0 0 0 16157 69 0 0 20 0 1 0 391066659 514822144 81558 33554432000 134512640 146736320 4290832368 4290825708 136400428 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 125689 81558 850 2985 0 122623 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 511904
[startup+222.307 s]
/proc/loadavg: 7.91 7.57 7.10 9/186 3848
/proc/meminfo: memFree=30698572/32873844 swapFree=7116/7116
[pid=3838] ppid=3836 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3838/stat : 3838 (run) S 3836 3838 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391066659 9367552 270 33554432000 4194304 5064252 140733775646992 140733775645904 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3838/statm: 2287 270 229 213 0 72 0
[pid=3839] ppid=3838 vsize=502756 CPUtime=222.26 cores=1,3,5,7
/proc/3839/stat : 3839 (pb_cplex) R 3838 3838 2899 0 -1 4202496 223232 0 0 0 22151 75 0 0 20 0 1 0 391066659 514822144 84752 33554432000 134512640 146736320 4290832368 4290825484 136017755 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 125689 84752 850 2985 0 122623 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 511904
[startup+282.3 s]
/proc/loadavg: 6.42 7.23 7.01 6/186 3848
/proc/meminfo: memFree=30739932/32873844 swapFree=7116/7116
[pid=3838] ppid=3836 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3838/stat : 3838 (run) S 3836 3838 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391066659 9367552 270 33554432000 4194304 5064252 140733775646992 140733775645904 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3838/statm: 2287 270 229 213 0 72 0
[pid=3839] ppid=3838 vsize=477588 CPUtime=282.24 cores=1,3,5,7
/proc/3839/stat : 3839 (pb_cplex) R 3838 3838 2899 0 -1 4202496 367123 0 0 0 28105 119 0 0 20 0 1 0 391066659 489050112 74767 33554432000 134512640 146736320 4290832368 4290826368 136413787 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 119397 74767 925 2985 0 116331 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 486736
[startup+342.3 s]
/proc/loadavg: 5.09 6.71 6.85 5/186 3848
/proc/meminfo: memFree=30727792/32873844 swapFree=7116/7116
[pid=3838] ppid=3836 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3838/stat : 3838 (run) S 3836 3838 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391066659 9367552 270 33554432000 4194304 5064252 140733775646992 140733775645904 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3838/statm: 2287 270 229 213 0 72 0
[pid=3839] ppid=3838 vsize=481668 CPUtime=342.23 cores=1,3,5,7
/proc/3839/stat : 3839 (pb_cplex) R 3838 3838 2899 0 -1 4202496 395145 0 0 0 34092 131 0 0 20 0 1 0 391066659 493228032 76878 33554432000 134512640 146736320 4290832368 4290826268 136405587 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 120417 76878 925 2985 0 117351 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 490816
[startup+402.3 s]
/proc/loadavg: 3.27 5.89 6.56 3/186 3848
/proc/meminfo: memFree=30708424/32873844 swapFree=7116/7116
[pid=3838] ppid=3836 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/3839/statm: 521933 380377 968 2985 0 518867 0
[pid=3839/tid=3931] ppid=3838 vsize=2087732 CPUtime=23.04 cores=1,3,5,7
/proc/3839/task/3931/stat : 3931 (pb_cplex) R 3838 3838 2899 0 -1 4202560 18598 0 0 0 2293 11 0 0 20 0 8 0 391132501 2137837568 380377 33554432000 134512640 146736320 4290832368 3665687528 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3839/tid=3932] ppid=3838 vsize=2087732 CPUtime=22.74 cores=1,3,5,7
/proc/3839/task/3932/stat : 3932 (pb_cplex) R 3838 3838 2899 0 -1 4202560 23326 0 0 0 2262 12 0 0 20 0 8 0 391132501 2137837568 380377 33554432000 134512640 146736320 4290832368 3676171452 135526877 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3839/tid=3933] ppid=3838 vsize=2087732 CPUtime=23.22 cores=1,3,5,7
/proc/3839/task/3933/stat : 3933 (pb_cplex) R 3838 3838 2899 0 -1 4202560 23451 0 0 0 2310 12 0 0 20 0 8 0 391132501 2137837568 380377 33554432000 134512640 146736320 4290832368 3686657196 135454141 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3839/tid=3934] ppid=3838 vsize=2087732 CPUtime=23.12 cores=1,3,5,7
/proc/3839/task/3934/stat : 3934 (pb_cplex) R 3838 3838 2899 0 -1 4202560 10998 0 0 0 2303 9 0 0 20 0 8 0 391132501 2137837568 380377 33554432000 134512640 146736320 4290832368 3697143960 136006886 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3839/tid=3935] ppid=3838 vsize=2087732 CPUtime=22.84 cores=1,3,5,7
/proc/3839/task/3935/stat : 3935 (pb_cplex) R 3838 3838 2899 0 -1 4202560 22254 0 0 0 2272 12 0 0 20 0 8 0 391132501 2137837568 380377 33554432000 134512640 146736320 4290832368 3294318852 136385268 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3839/tid=3936] ppid=3838 vsize=2087732 CPUtime=23.01 cores=1,3,5,7
/proc/3839/task/3936/stat : 3936 (pb_cplex) R 3838 3838 2899 0 -1 4202560 20392 0 0 0 2290 11 0 0 20 0 8 0 391132501 2137837568 380377 33554432000 134512640 146736320 4290832368 3283832984 136007289 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3839/tid=3937] ppid=3838 vsize=2087732 CPUtime=23.12 cores=1,3,5,7
/proc/3839/task/3937/stat : 3937 (pb_cplex) R 3838 3838 2899 0 -1 4202560 9795 0 0 0 2303 9 0 0 20 0 8 0 391132501 2137837568 380377 33554432000 134512640 146736320 4290832368 3273347712 139046496 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 926.35
Current children cumulated vsize (KiB) 2096880
[startup+822.3 s]
/proc/loadavg: 13.74 9.60 7.85 14/193 3938
/proc/meminfo: memFree=29580276/32873844 swapFree=7116/7116
[pid=3838] ppid=3836 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3838/stat : 3838 (run) S 3836 3838 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391066659 9367552 270 33554432000 4194304 5064252 140733775646992 140733775645904 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3838/statm: 2287 270 229 213 0 72 0
[pid=3839] ppid=3838 vsize=2103964 CPUtime=1165.33 cores=1,3,5,7
/proc/3839/stat : 3839 (pb_cplex) R 3838 3838 2899 0 -1 4202496 1414552 0 0 0 115997 536 0 0 20 0 8 0 391066659 2154459136 387132 33554432000 134512640 146736320 4290832368 4290825180 136006527 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3839/statm: 525991 387132 969 2985 0 522925 0
[pid=3839/tid=3931] ppid=3838 vsize=2103964 CPUtime=53.2 cores=1,3,5,7
/proc/3839/task/3931/stat : 3931 (pb_cplex) R 3838 3838 2899 0 -1 4202560 30775 0 0 0 5302 18 0 0 20 0 8 0 391132501 2154459136 387132 33554432000 134512640 146736320 4290832368 3665686680 136007313 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3839/tid=3932] ppid=3838 vsize=2103964 CPUtime=52.88 cores=1,3,5,7
/proc/3839/task/3932/stat : 3932 (pb_cplex) R 3838 3838 2899 0 -1 4202560 36453 0 0 0 5268 20 0 0 20 0 8 0 391132501 2154459136 387132 33554432000 134512640 146736320 4290832368 3676172412 136400479 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3839/tid=3933] ppid=3838 vsize=2103964 CPUtime=53.21 cores=1,3,5,7
/proc/3839/task/3933/stat : 3933 (pb_cplex) R 3838 3838 2899 0 -1 4202560 42156 0 0 0 5301 20 0 0 20 0 8 0 391132501 2154459136 387132 33554432000 134512640 146736320 4290832368 3686658048 136413881 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3839/tid=3934] ppid=3838 vsize=2103964 CPUtime=53.24 cores=1,3,5,7
/proc/3839/task/3934/stat : 3934 (pb_cplex) R 3838 3838 2899 0 -1 4202560 32224 0 0 0 5307 17 0 0 20 0 8 0 391132501 2154459136 387132 33554432000 134512640 146736320 4290832368 3697143708 136405713 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3839/tid=3935] ppid=3838 vsize=2103964 CPUtime=52.47 cores=1,3,5,7
/proc/3839/task/3935/stat : 3935 (pb_cplex) R 3838 3838 2899 0 -1 4202560 33972 0 0 0 5227 20 0 0 20 0 8 0 391132501 2154459136 387132 33554432000 134512640 146736320 4290832368 3294319020 136400430 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3839/tid=3936] ppid=3838 vsize=2103964 CPUtime=52.33 cores=1,3,5,7
/proc/3839/task/3936/stat : 3936 (pb_cplex) R 3838 3838 2899 0 -1 4202560 45077 0 0 0 5211 22 0 0 20 0 8 0 391132501 2154459136 387132 33554432000 134512640 146736320 4290832368 3283832984 136007303 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3839/tid=3937] ppid=3838 vsize=2103964 CPUtime=53.19 cores=1,3,5,7
/proc/3839/task/3937/stat : 3937 (pb_cplex) R 3838 3838 2899 0 -1 4202560 30937 0 0 0 5301 18 0 0 20 0 8 0 391132501 2154459136 387132 33554432000 134512640 146736320 4290832368 3273346280 135467759 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1165.33
Current children cumulated vsize (KiB) 2113112
[startup+882.307 s]
/proc/loadavg: 14.15 10.45 8.25 15/193 3938
/proc/meminfo: memFree=29510476/32873844 swapFree=7116/7116
[pid=3838] ppid=3836 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3838/stat : 3838 (run) S 3836 3838 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391066659 9367552 270 33554432000 4194304 5064252 140733775646992 140733775645904 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3838/statm: 2287 270 229 213 0 72 0
[pid=3839] ppid=3838 vsize=2124016 CPUtime=1404.34 cores=1,3,5,7
/proc/3839/stat : 3839 (pb_cplex) S 3838 3838 2899 0 -1 4202496 1502237 0 0 0 139838 596 0 0 20 0 8 0 391066659 2174992384 401261 33554432000 134512640 146736320 4290832368 4290828752 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 531004 401261 969 2985 0 527938 0
[pid=3839/tid=3931] ppid=3838 vsize=2124016 CPUtime=86.61 cores=1,3,5,7
/proc/3839/task/3931/stat : 3931 (pb_cplex) R 3838 3838 2899 0 -1 4202560 39042 0 0 0 8638 23 0 0 20 0 8 0 391132501 2174992384 401261 33554432000 134512640 146736320 4290832368 3665686804 136004384 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3839/tid=3932] ppid=3838 vsize=2124016 CPUtime=85.42 cores=1,3,5,7
/proc/3839/task/3932/stat : 3932 (pb_cplex) R 3838 3838 2899 0 -1 4202560 48684 0 0 0 8513 29 0 0 20 0 8 0 391132501 2174992384 401261 33554432000 134512640 146736320 4290832368 3676172440 136006861 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3839/tid=3933] ppid=3838 vsize=2124016 CPUtime=86.94 cores=1,3,5,7
/proc/3839/task/3933/stat : 3933 (pb_cplex) R 3838 3838 2899 0 -1 4202560 56977 0 0 0 8664 30 0 0 20 0 8 0 391132501 2174992384 401261 33554432000 134512640 146736320 4290832368 3686658200 136007313 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3839/tid=3934] ppid=3838 vsize=2124016 CPUtime=86.24 cores=1,3,5,7
/proc/3839/task/3934/stat : 3934 (pb_cplex) R 3838 3838 2899 0 -1 4202560 41642 0 0 0 8599 25 0 0 20 0 8 0 391132501 2174992384 401261 33554432000 134512640 146736320 4290832368 3697143960 136006890 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3839/tid=3935] ppid=3838 vsize=2124016 CPUtime=85.49 cores=1,3,5,7
/proc/3839/task/3935/stat : 3935 (pb_cplex) R 3838 3838 2899 0 -1 4202560 51544 0 0 0 8518 31 0 0 20 0 8 0 391132501 2174992384 401261 33554432000 134512640 146736320 4290832368 3294318764 135454079 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3839/tid=3936] ppid=3838 vsize=2124016 CPUtime=84.7 cores=1,3,5,7
/proc/3839/task/3936/stat : 3936 (pb_cplex) R 3838 3838 2899 0 -1 4202560 54408 0 0 0 8440 30 0 0 20 0 8 0 391132501 2174992384 401261 33554432000 134512640 146736320 4290832368 3283831980 135454079 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3839/tid=3937] ppid=3838 vsize=2124016 CPUtime=86.69 cores=1,3,5,7
/proc/3839/task/3937/stat : 3937 (pb_cplex) R 3838 3838 2899 0 -1 4202560 41581 0 0 0 8641 28 0 0 20 0 8 0 391132501 2174992384 401261 33554432000 134512640 146736320 4290832368 3273347224 136007313 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1404.34
Current children cumulated vsize (KiB) 2133164
[startup+942.3 s]
/proc/loadavg: 13.43 10.94 8.56 14/193 3938
/proc/meminfo: memFree=29462648/32873844 swapFree=7116/7116
[pid=3838] ppid=3836 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3838/stat : 3838 (run) S 3836 3838 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391066659 9367552 270 33554432000 4194304 5064252 140733775646992 140733775645904 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3838/statm: 2287 270 229 213 0 72 0
[pid=3839] ppid=3838 vsize=2163188 CPUtime=1643.16 cores=1,3,5,7
/proc/3839/stat : 3839 (pb_cplex) S 3838 3838 2899 0 -1 4202496 1605903 0 0 0 163656 660 0 0 20 0 8 0 391066659 2215104512 414736 33554432000 134512640 146736320 4290832368 4290828752 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 540797 414736 969 2985 0 537731 0
[pid=3839/tid=3931] ppid=3838 vsize=2163188 CPUtime=125 cores=1,3,5,7
/proc/3839/task/3931/stat : 3931 (pb_cplex) R 3838 3838 2899 0 -1 4202560 50955 0 0 0 12469 31 0 0 20 0 8 0 391132501 2215104512 414736 33554432000 134512640 146736320 4290832368 3665686680 136007059 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3839/tid=3932] ppid=3838 vsize=2163188 CPUtime=124.14 cores=1,3,5,7
/proc/3839/task/3932/stat : 3932 (pb_cplex) R 3838 3838 2899 0 -1 4202560 60070 0 0 0 12376 38 0 0 20 0 8 0 391132501 2215104512 414736 33554432000 134512640 146736320 4290832368 3676171496 135467715 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3839/tid=3933] ppid=3838 vsize=2163188 CPUtime=125.08 cores=1,3,5,7
/proc/3839/task/3933/stat : 3933 (pb_cplex) R 3838 3838 2899 0 -1 4202560 80907 0 0 0 12464 44 0 0 20 0 8 0 391132501 2215104512 414736 33554432000 134512640 146736320 4290832368 3686656896 136403555 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3839/tid=3934] ppid=3838 vsize=2163188 CPUtime=125.93 cores=1,3,5,7
/proc/3839/task/3934/stat : 3934 (pb_cplex) R 3838 3838 2899 0 -1 4202560 53086 0 0 0 12559 34 0 0 20 0 8 0 391132501 2215104512 414736 33554432000 134512640 146736320 4290832368 3697144084 136004450 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3839/tid=3935] ppid=3838 vsize=2163188 CPUtime=91.41 cores=1,3,5,7
/proc/3839/task/3935/stat : 3935 (pb_cplex) S 3838 3838 2899 0 -1 4202560 53886 0 0 0 9108 33 0 0 20 0 8 0 391132501 2215104512 414736 33554432000 134512640 146736320 4290832368 3294322320 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3839/tid=3936] ppid=3838 vsize=2163188 CPUtime=123.91 cores=1,3,5,7
/proc/3839/task/3936/stat : 3936 (pb_cplex) R 3838 3838 2899 0 -1 4202560 71784 0 0 0 12351 40 0 0 20 0 8 0 391132501 2215104512 414736 33554432000 134512640 146736320 4290832368 3283831896 136007270 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3839/tid=3937] ppid=3838 vsize=2163188 CPUtime=125.79 cores=1,3,5,7
/proc/3839/task/3937/stat : 3937 (pb_cplex) R 3838 3838 2899 0 -1 4202560 66856 0 0 0 12537 42 0 0 20 0 8 0 391132501 2215104512 414736 33554432000 134512640 146736320 4290832368 3273346240 136400753 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1643.16
Current children cumulated vsize (KiB) 2172336
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+981.8 s]
/proc/loadavg: 13.01 11.15 8.73 13/192 3938
/proc/meminfo: memFree=29440872/32873844 swapFree=7116/7116
[pid=3838] ppid=3836 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3838/stat : 3838 (run) S 3836 3838 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391066659 9367552 270 33554432000 4194304 5064252 140733775646992 140733775645904 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3838/statm: 2287 270 229 213 0 72 0
[pid=3839] ppid=3838 vsize=2188048 CPUtime=1800.38 cores=1,3,5,7
/proc/3839/stat : 3839 (pb_cplex) S 3838 3838 2899 0 -1 4202496 1735597 0 0 0 179311 727 0 0 20 0 8 0 391066659 2240561152 418863 33554432000 134512640 146736320 4290832368 4290828752 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 547012 418863 969 2985 0 543946 0
[pid=3839/tid=3931] ppid=3838 vsize=2188048 CPUtime=153.64 cores=1,3,5,7
/proc/3839/task/3931/stat : 3931 (pb_cplex) R 3838 3838 2899 0 -1 4202560 70598 0 0 0 15321 43 0 0 20 0 8 0 391132501 2240561152 418863 33554432000 134512640 146736320 4290832368 3665685592 136007616 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3839/tid=3932] ppid=3838 vsize=2188048 CPUtime=153.54 cores=1,3,5,7
/proc/3839/task/3932/stat : 3932 (pb_cplex) R 3838 3838 2899 0 -1 4202560 80654 0 0 0 15304 50 0 0 20 0 8 0 391132501 2240561152 418863 33554432000 134512640 146736320 4290832368 3676171352 136007626 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3839/tid=3933] ppid=3838 vsize=2188048 CPUtime=145.89 cores=1,3,5,7
/proc/3839/task/3933/stat : 3933 (pb_cplex) S 3838 3838 2899 0 -1 4202560 117018 0 0 0 14527 62 0 0 20 0 8 0 391132501 2240561152 418863 33554432000 134512640 146736320 4290832368 3686661776 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3839/tid=3934] ppid=3838 vsize=2188048 CPUtime=147.02 cores=1,3,5,7
/proc/3839/task/3934/stat : 3934 (pb_cplex) S 3838 3838 2899 0 -1 4202560 65983 0 0 0 14661 41 0 0 20 0 8 0 391132501 2240561152 418863 33554432000 134512640 146736320 4290832368 3697147536 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3839/tid=3935] ppid=3838 vsize=2188048 CPUtime=91.41 cores=1,3,5,7
/proc/3839/task/3935/stat : 3935 (pb_cplex) S 3838 3838 2899 0 -1 4202560 53886 0 0 0 9108 33 0 0 20 0 8 0 391132501 2240561152 418863 33554432000 134512640 146736320 4290832368 3294322320 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3839/tid=3936] ppid=3838 vsize=2188048 CPUtime=152.22 cores=1,3,5,7
/proc/3839/task/3936/stat : 3936 (pb_cplex) R 3838 3838 2899 0 -1 4202560 93147 0 0 0 15169 53 0 0 20 0 8 0 391132501 2240561152 418863 33554432000 134512640 146736320 4290832368 3283831896 136007616 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3839/tid=3937] ppid=3838 vsize=2188048 CPUtime=155 cores=1,3,5,7
/proc/3839/task/3937/stat : 3937 (pb_cplex) R 3838 3838 2899 0 -1 4202560 85952 0 0 0 15446 54 0 0 20 0 8 0 391132501 2240561152 418863 33554432000 134512640 146736320 4290832368 3273346944 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.38
Current children cumulated vsize (KiB) 2197196
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+981.8 s]
/proc/loadavg: 13.01 11.15 8.73 13/192 3938
/proc/meminfo: memFree=29440872/32873844 swapFree=7116/7116
[pid=3838] ppid=3836 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3838/stat : 3838 (run) S 3836 3838 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391066659 9367552 270 33554432000 4194304 5064252 140733775646992 140733775645904 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3838/statm: 2287 270 229 213 0 72 0
[pid=3839] ppid=3838 vsize=2188048 CPUtime=1800.38 cores=1,3,5,7
/proc/3839/stat : 3839 (pb_cplex) S 3838 3838 2899 0 -1 4202496 1735597 0 0 0 179311 727 0 0 20 0 8 0 391066659 2240561152 418863 33554432000 134512640 146736320 4290832368 4290828752 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 547012 418863 969 2985 0 543946 0
[pid=3839/tid=3931] ppid=3838 vsize=2188048 CPUtime=153.64 cores=1,3,5,7
/proc/3839/task/3931/stat : 3931 (pb_cplex) R 3838 3838 2899 0 -1 4202560 70598 0 0 0 15321 43 0 0 20 0 8 0 391132501 2240561152 418863 33554432000 134512640 146736320 4290832368 3665685592 136007616 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3839/tid=3932] ppid=3838 vsize=2188048 CPUtime=153.54 cores=1,3,5,7
/proc/3839/task/3932/stat : 3932 (pb_cplex) R 3838 3838 2899 0 -1 4202560 80654 0 0 0 15304 50 0 0 20 0 8 0 391132501 2240561152 418863 33554432000 134512640 146736320 4290832368 3676171352 136007626 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3839/tid=3933] ppid=3838 vsize=2188048 CPUtime=145.89 cores=1,3,5,7
/proc/3839/task/3933/stat : 3933 (pb_cplex) S 3838 3838 2899 0 -1 4202560 117018 0 0 0 14527 62 0 0 20 0 8 0 391132501 2240561152 418863 33554432000 134512640 146736320 4290832368 3686661776 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3839/tid=3934] ppid=3838 vsize=2188048 CPUtime=147.02 cores=1,3,5,7
/proc/3839/task/3934/stat : 3934 (pb_cplex) S 3838 3838 2899 0 -1 4202560 65983 0 0 0 14661 41 0 0 20 0 8 0 391132501 2240561152 418863 33554432000 134512640 146736320 4290832368 3697147536 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3839/tid=3935] ppid=3838 vsize=2188048 CPUtime=91.41 cores=1,3,5,7
/proc/3839/task/3935/stat : 3935 (pb_cplex) S 3838 3838 2899 0 -1 4202560 53886 0 0 0 9108 33 0 0 20 0 8 0 391132501 2240561152 418863 33554432000 134512640 146736320 4290832368 3294322320 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3839/tid=3936] ppid=3838 vsize=2188048 CPUtime=152.22 cores=1,3,5,7
/proc/3839/task/3936/stat : 3936 (pb_cplex) R 3838 3838 2899 0 -1 4202560 93147 0 0 0 15169 53 0 0 20 0 8 0 391132501 2240561152 418863 33554432000 134512640 146736320 4290832368 3283831896 136007616 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3839/tid=3937] ppid=3838 vsize=2188048 CPUtime=155 cores=1,3,5,7
/proc/3839/task/3937/stat : 3937 (pb_cplex) R 3838 3838 2899 0 -1 4202560 85952 0 0 0 15446 54 0 0 20 0 8 0 391132501 2240561152 418863 33554432000 134512640 146736320 4290832368 3273346944 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.38
Current children cumulated vsize (KiB) 2197196
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3838 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.38
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 981.817
CPU time (s): 1800.38
CPU user time (s): 1793.11
CPU system time (s): 7.27
CPU usage (%): 183.372
Max. virtual memory (cumulated for all children) (KiB): 2231380
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= 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.43963 second user time and 6.53601 second system time
The end