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-3740699-1339249566/watcher-3740699-1339249566 -o /tmp/evaluation-result-3740699-1339249566/solver-3740699-1339249566 -C 1800 -W 1900 -M 15500 run HOME/instance-3740699-1339249566.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.16 9.34 7.36 3/177 1154
/proc/meminfo: memFree=30576100/32873844 swapFree=7632/7632
[pid=1154] ppid=1152 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1154/stat : 1154 (run) S 1152 1154 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391082307 9367552 270 33554432000 4194304 5064252 140734880720992 140734880719904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1154/statm: 2287 270 229 213 0 72 0
[startup+0.047211 s]
/proc/loadavg: 8.16 9.34 7.36 3/177 1154
/proc/meminfo: memFree=30576100/32873844 swapFree=7632/7632
[pid=1154] ppid=1152 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1154/stat : 1154 (run) S 1152 1154 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391082307 9367552 270 33554432000 4194304 5064252 140734880720992 140734880719904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1154/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10028 s]
/proc/loadavg: 8.16 9.34 7.36 3/177 1154
/proc/meminfo: memFree=30576100/32873844 swapFree=7632/7632
[pid=1154] ppid=1152 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1154/stat : 1154 (run) S 1152 1154 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391082307 9367552 270 33554432000 4194304 5064252 140734880720992 140734880719904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1154/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300274 s]
/proc/loadavg: 8.16 9.34 7.36 3/177 1154
/proc/meminfo: memFree=30576100/32873844 swapFree=7632/7632
[pid=1154] ppid=1152 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1154/stat : 1154 (run) S 1152 1154 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391082307 9367552 270 33554432000 4194304 5064252 140734880720992 140734880719904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1154/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.7003 s]
/proc/loadavg: 8.16 9.34 7.36 3/177 1154
/proc/meminfo: memFree=30576100/32873844 swapFree=7632/7632
[pid=1154] ppid=1152 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1154/stat : 1154 (run) S 1152 1154 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391082307 9367552 270 33554432000 4194304 5064252 140734880720992 140734880719904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1154/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50037 s]
/proc/loadavg: 8.16 9.34 7.36 3/179 1156
/proc/meminfo: memFree=30499256/32873844 swapFree=7632/7632
[pid=1154] ppid=1152 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1154/stat : 1154 (run) S 1152 1154 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391082307 9367552 270 33554432000 4194304 5064252 140734880720992 140734880719904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1154/statm: 2287 270 229 213 0 72 0
[pid=1155] ppid=1154 vsize=143144 CPUtime=1.49 cores=1,3,5,7
/proc/1155/stat : 1155 (pb_cplex) R 1154 1154 415 0 -1 4202496 33856 0 0 0 142 7 0 0 20 0 1 0 391082307 146579456 19651 33554432000 134512640 146736320 4290984832 4290979588 135844434 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1155/statm: 35786 19651 795 2985 0 32720 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 152292
[startup+3.10036 s]
/proc/loadavg: 8.16 9.34 7.36 3/179 1156
/proc/meminfo: memFree=30477704/32873844 swapFree=7632/7632
[pid=1154] ppid=1152 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1154/stat : 1154 (run) S 1152 1154 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391082307 9367552 270 33554432000 4194304 5064252 140734880720992 140734880719904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1154/statm: 2287 270 229 213 0 72 0
[pid=1155] ppid=1154 vsize=146048 CPUtime=3.09 cores=1,3,5,7
/proc/1155/stat : 1155 (pb_cplex) R 1154 1154 415 0 -1 4202496 38298 0 0 0 301 8 0 0 20 0 1 0 391082307 149553152 20351 33554432000 134512640 146736320 4290984832 4290979516 136400456 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1155/statm: 36512 20351 795 2985 0 33446 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 155196
[startup+6.30025 s]
/proc/loadavg: 7.67 9.21 7.33 3/179 1156
/proc/meminfo: memFree=30474728/32873844 swapFree=7632/7632
[pid=1154] ppid=1152 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1154/stat : 1154 (run) S 1152 1154 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391082307 9367552 270 33554432000 4194304 5064252 140734880720992 140734880719904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1154/statm: 2287 270 229 213 0 72 0
[pid=1155] ppid=1154 vsize=146188 CPUtime=6.29 cores=1,3,5,7
/proc/1155/stat : 1155 (pb_cplex) R 1154 1154 415 0 -1 4202496 42556 0 0 0 620 9 0 0 20 0 1 0 391082307 149696512 20424 33554432000 134512640 146736320 4290984832 4290979284 136017755 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1155/statm: 36547 20424 795 2985 0 33481 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 155336
[startup+12.7003 s]
/proc/loadavg: 7.21 9.09 7.30 3/179 1156
/proc/meminfo: memFree=30477200/32873844 swapFree=7632/7632
[pid=1154] ppid=1152 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1154/stat : 1154 (run) S 1152 1154 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391082307 9367552 270 33554432000 4194304 5064252 140734880720992 140734880719904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1154/statm: 2287 270 229 213 0 72 0
[pid=1155] ppid=1154 vsize=146220 CPUtime=12.68 cores=1,3,5,7
/proc/1155/stat : 1155 (pb_cplex) R 1154 1154 415 0 -1 4202496 50027 0 0 0 1258 10 0 0 20 0 1 0 391082307 149729280 20442 33554432000 134512640 146736320 4290984832 4290979484 135854514 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1155/statm: 36555 20442 795 2985 0 33489 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 155368
[startup+25.5004 s]
/proc/loadavg: 6.06 8.75 7.22 3/179 1156
/proc/meminfo: memFree=30489416/32873844 swapFree=7632/7632
[pid=1154] ppid=1152 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1154/stat : 1154 (run) S 1152 1154 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391082307 9367552 270 33554432000 4194304 5064252 140734880720992 140734880719904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1154/statm: 2287 270 229 213 0 72 0
[pid=1155] ppid=1154 vsize=149872 CPUtime=25.48 cores=1,3,5,7
/proc/1155/stat : 1155 (pb_cplex) R 1154 1154 415 0 -1 4202496 77254 0 0 0 2532 16 0 0 20 0 1 0 391082307 153468928 21875 33554432000 134512640 146736320 4290984832 4290978908 135854509 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1155/statm: 37468 21875 865 2985 0 34402 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 159020
[startup+51.1004 s]
/proc/loadavg: 4.67 8.20 7.08 3/179 1156
/proc/meminfo: memFree=30479164/32873844 swapFree=7632/7632
[pid=1154] ppid=1152 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1154/stat : 1154 (run) S 1152 1154 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391082307 9367552 270 33554432000 4194304 5064252 140734880720992 140734880719904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1154/statm: 2287 270 229 213 0 72 0
[pid=1155] ppid=1154 vsize=150896 CPUtime=51.08 cores=1,3,5,7
/proc/1155/stat : 1155 (pb_cplex) R 1154 1154 415 0 -1 4202496 104594 0 0 0 5085 23 0 0 20 0 1 0 391082307 154517504 23468 33554432000 134512640 146736320 4290984832 4290978908 135854532 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1155/statm: 37724 23468 913 2985 0 34658 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 160044
[startup+102.307 s]
/proc/loadavg: 3.16 7.25 6.81 3/179 1156
/proc/meminfo: memFree=30460984/32873844 swapFree=7632/7632
[pid=1154] ppid=1152 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1154/stat : 1154 (run) S 1152 1154 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391082307 9367552 270 33554432000 4194304 5064252 140734880720992 140734880719904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1154/statm: 2287 270 229 213 0 72 0
[pid=1155] ppid=1154 vsize=158092 CPUtime=102.28 cores=1,3,5,7
/proc/1155/stat : 1155 (pb_cplex) R 1154 1154 415 0 -1 4202496 253842 0 0 0 10174 54 0 0 20 0 1 0 391082307 161886208 26707 33554432000 134512640 146736320 4290984832 4290979020 136017611 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1155/statm: 39523 26707 914 2985 0 36457 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 167240
[startup+162.3 s]
/proc/loadavg: 2.46 6.30 6.51 3/179 1156
/proc/meminfo: memFree=30454136/32873844 swapFree=7632/7632
[pid=1154] ppid=1152 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1154/stat : 1154 (run) S 1152 1154 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391082307 9367552 270 33554432000 4194304 5064252 140734880720992 140734880719904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1154/statm: 2287 270 229 213 0 72 0
[pid=1155] ppid=1154 vsize=152588 CPUtime=162.26 cores=1,3,5,7
/proc/1155/stat : 1155 (pb_cplex) R 1154 1154 415 0 -1 4202496 438493 0 0 0 16135 91 0 0 20 0 1 0 391082307 156250112 25744 33554432000 134512640 146736320 4290984832 4290978708 136017512 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1155/statm: 38147 25744 914 2985 0 35081 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 161736
[startup+222.3 s]
/proc/loadavg: 2.23 5.53 6.23 3/186 1170
/proc/meminfo: memFree=30414636/32873844 swapFree=7632/7632
[pid=1154] ppid=1152 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1154/stat : 1154 (run) S 1152 1154 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391082307 9367552 270 33554432000 4194304 5064252 140734880720992 140734880719904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1154/statm: 2287 270 229 213 0 72 0
[pid=1155] ppid=1154 vsize=284660 CPUtime=230.71 cores=1,3,5,7
/proc/1155/stat : 1155 (pb_cplex) S 1154 1154 415 0 -1 4202496 500731 0 0 0 22964 107 0 0 20 0 8 0 391082307 291491840 38405 33554432000 134512640 146736320 4290984832 4290978832 144580073 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1155/statm: 71165 38405 959 2985 0 68099 0
[pid=1155/tid=1164] ppid=1154 vsize=284660 CPUtime=0.57 cores=1,3,5,7
/proc/1155/task/1164/stat : 1164 (pb_cplex) S 1154 1154 415 0 -1 4202560 1881 0 0 0 57 0 0 0 20 0 8 0 391102386 291491840 38405 33554432000 134512640 146736320 4290984832 4017417872 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1155/tid=1165] ppid=1154 vsize=284660 CPUtime=0.94 cores=1,3,5,7
/proc/1155/task/1165/stat : 1165 (pb_cplex) S 1154 1154 415 0 -1 4202560 677 0 0 0 94 0 0 0 20 0 8 0 391102386 291491840 38405 33554432000 134512640 146736320 4290984832 4027903632 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1155/tid=1166] ppid=1154 vsize=284660 CPUtime=17.28 cores=1,3,5,7
/proc/1155/task/1166/stat : 1166 (pb_cplex) S 1154 1154 415 0 -1 4202560 1015 0 0 0 1728 0 0 0 20 0 8 0 391102386 291491840 38405 33554432000 134512640 146736320 4290984832 4038389392 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1155/tid=1167] ppid=1154 vsize=284660 CPUtime=3.68 cores=1,3,5,7
/proc/1155/task/1167/stat : 1167 (pb_cplex) S 1154 1154 415 0 -1 4202560 627 0 0 0 368 0 0 0 20 0 8 0 391102386 291491840 38405 33554432000 134512640 146736320 4290984832 4048875152 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1155/tid=1168] ppid=1154 vsize=284660 CPUtime=2.59 cores=1,3,5,7
/proc/1155/task/1168/stat : 1168 (pb_cplex) S 1154 1154 415 0 -1 4202560 897 0 0 0 259 0 0 0 20 0 8 0 391102386 291491840 38405 33554432000 134512640 146736320 4290984832 4080332432 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1155/tid=1169] ppid=1154 vsize=284660 CPUtime=4.14 cores=1,3,5,7
/proc/1155/task/1169/stat : 1169 (pb_cplex) R 1154 1154 415 0 -1 4202560 1015 0 0 0 414 0 0 0 20 0 8 0 391102386 291491840 38405 33554432000 134512640 146736320 4290984832 4069843536 136403112 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1155/tid=1170] ppid=1154 vsize=284660 CPUtime=0 cores=1,3,5,7
/proc/1155/task/1170/stat : 1170 (pb_cplex) S 1154 1154 415 0 -1 4202560 671 0 0 0 0 0 0 0 20 0 8 0 391102386 291491840 38405 33554432000 134512640 146736320 4290984832 4059360912 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 230.71
Current children cumulated vsize (KiB) 293808
[startup+282.3 s]
/proc/loadavg: 4.16 5.38 6.12 8/194 1187
/proc/meminfo: memFree=29811264/32873844 swapFree=7632/7632
[pid=1154] ppid=1152 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1154/stat : 1154 (run) S 1152 1154 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391082307 9367552 270 33554432000 4194304 5064252 140734880720992 140734880719904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1154/statm: 2287 270 229 213 0 72 0
[pid=1155] ppid=1154 vsize=723280 CPUtime=370.85 cores=1,3,5,7
/proc/1155/stat : 1155 (pb_cplex) R 1154 1154 415 0 -1 4202496 799462 0 0 0 36897 188 0 0 20 0 8 0 391082307 740638720 123340 33554432000 134512640 146736320 4290984832 4290977528 136475800 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1155/statm: 180820 123340 962 2985 0 177754 0
[pid=1155/tid=1171] ppid=1154 vsize=723280 CPUtime=14.92 cores=1,3,5,7
/proc/1155/task/1171/stat : 1171 (pb_cplex) R 1154 1154 415 0 -1 4202560 36443 0 0 0 1483 9 0 0 20 0 8 0 391104615 740638720 123340 33554432000 134512640 146736320 4290984832 4059357276 135854535 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=1155/tid=1172] ppid=1154 vsize=723280 CPUtime=7.15 cores=1,3,5,7
/proc/1155/task/1172/stat : 1172 (pb_cplex) S 1154 1154 415 0 -1 4202560 17850 0 0 0 710 5 0 0 20 0 8 0 391104615 740638720 123340 33554432000 134512640 146736320 4290984832 4069846672 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1155/tid=1173] ppid=1154 vsize=723280 CPUtime=14.85 cores=1,3,5,7
################
# More data... #
################
/proc/1155/statm: 186758 134830 962 2985 0 183692 0
[pid=1155/tid=1171] ppid=1154 vsize=747032 CPUtime=90.17 cores=1,3,5,7
/proc/1155/task/1171/stat : 1171 (pb_cplex) R 1154 1154 415 0 -1 4202560 126725 0 0 0 8981 36 0 0 20 0 8 0 391104615 764960768 134830 33554432000 134512640 146736320 4290984832 4059357312 135468529 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1155/tid=1172] ppid=1154 vsize=747032 CPUtime=86.77 cores=1,3,5,7
/proc/1155/task/1172/stat : 1172 (pb_cplex) R 1154 1154 415 0 -1 4202560 117927 0 0 0 8644 33 0 0 20 0 8 0 391104615 764960768 134830 33554432000 134512640 146736320 4290984832 4069843036 135854552 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=1155/tid=1173] ppid=1154 vsize=747032 CPUtime=105.31 cores=1,3,5,7
/proc/1155/task/1173/stat : 1173 (pb_cplex) R 1154 1154 415 0 -1 4202560 92757 0 0 0 10504 27 0 0 20 0 8 0 391104615 764960768 134830 33554432000 134512640 146736320 4290984832 4080328856 136007286 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1155/tid=1174] ppid=1154 vsize=747032 CPUtime=81.36 cores=1,3,5,7
/proc/1155/task/1174/stat : 1174 (pb_cplex) R 1154 1154 415 0 -1 4202560 51592 0 0 0 8119 17 0 0 20 0 8 0 391104615 764960768 134830 33554432000 134512640 146736320 4290984832 4048871576 136007668 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=1155/tid=1175] ppid=1154 vsize=747032 CPUtime=78.54 cores=1,3,5,7
/proc/1155/task/1175/stat : 1175 (pb_cplex) R 1154 1154 415 0 -1 4202560 95854 0 0 0 7823 31 0 0 20 0 8 0 391104615 764960768 134830 33554432000 134512640 146736320 4290984832 3854557824 139046836 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1155/tid=1176] ppid=1154 vsize=747032 CPUtime=129.68 cores=1,3,5,7
/proc/1155/task/1176/stat : 1176 (pb_cplex) R 1154 1154 415 0 -1 4202560 150184 0 0 0 12929 39 0 0 20 0 8 0 391104615 764960768 134830 33554432000 134512640 146736320 4290984832 3844071816 136388065 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=1155/tid=1177] ppid=1154 vsize=747032 CPUtime=91.13 cores=1,3,5,7
/proc/1155/task/1177/stat : 1177 (pb_cplex) R 1154 1154 415 0 -1 4202560 38758 0 0 0 9098 15 0 0 20 0 8 0 391104615 764960768 134830 33554432000 134512640 146736320 4290984832 3833585816 136007030 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 999.07
Current children cumulated vsize (KiB) 756180
[startup+522.3 s]
/proc/loadavg: 8.30 6.75 6.48 10/193 1188
/proc/meminfo: memFree=29683944/32873844 swapFree=7632/7632
[pid=1154] ppid=1152 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1154/stat : 1154 (run) S 1152 1154 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391082307 9367552 270 33554432000 4194304 5064252 140734880720992 140734880719904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1154/statm: 2287 270 229 213 0 72 0
[pid=1155] ppid=1154 vsize=754772 CPUtime=1238.65 cores=1,3,5,7
/proc/1155/stat : 1155 (pb_cplex) R 1154 1154 415 0 -1 4202496 1533460 0 0 0 123460 405 0 0 20 0 8 0 391082307 772886528 138089 33554432000 134512640 146736320 4290984832 4290977624 136007289 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1155/statm: 188693 138089 962 2985 0 185627 0
[pid=1155/tid=1171] ppid=1154 vsize=754772 CPUtime=120.09 cores=1,3,5,7
/proc/1155/task/1171/stat : 1171 (pb_cplex) R 1154 1154 415 0 -1 4202560 150334 0 0 0 11964 45 0 0 20 0 8 0 391104615 772886528 138089 33554432000 134512640 146736320 4290984832 4059357336 136007329 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1155/tid=1172] ppid=1154 vsize=754772 CPUtime=116.49 cores=1,3,5,7
/proc/1155/task/1172/stat : 1172 (pb_cplex) R 1154 1154 415 0 -1 4202560 126695 0 0 0 11614 35 0 0 20 0 8 0 391104615 772886528 138089 33554432000 134512640 146736320 4290984832 4069843096 136007284 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1155/tid=1173] ppid=1154 vsize=754772 CPUtime=135.42 cores=1,3,5,7
/proc/1155/task/1173/stat : 1173 (pb_cplex) R 1154 1154 415 0 -1 4202560 119320 0 0 0 13506 36 0 0 20 0 8 0 391104615 772886528 138089 33554432000 134512640 146736320 4290984832 4080328856 136007661 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1155/tid=1174] ppid=1154 vsize=754772 CPUtime=111.37 cores=1,3,5,7
/proc/1155/task/1174/stat : 1174 (pb_cplex) R 1154 1154 415 0 -1 4202560 76019 0 0 0 11114 23 0 0 20 0 8 0 391104615 772886528 138089 33554432000 134512640 146736320 4290984832 4048871576 136007213 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1155/tid=1175] ppid=1154 vsize=754772 CPUtime=108.53 cores=1,3,5,7
/proc/1155/task/1175/stat : 1175 (pb_cplex) R 1154 1154 415 0 -1 4202560 119248 0 0 0 10815 38 0 0 20 0 8 0 391104615 772886528 138089 33554432000 134512640 146736320 4290984832 3854557336 136007289 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1155/tid=1176] ppid=1154 vsize=754772 CPUtime=158.91 cores=1,3,5,7
/proc/1155/task/1176/stat : 1176 (pb_cplex) R 1154 1154 415 0 -1 4202560 177986 0 0 0 15844 47 0 0 20 0 8 0 391104615 772886528 138089 33554432000 134512640 146736320 4290984832 3844071424 136413787 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=1155/tid=1177] ppid=1154 vsize=754772 CPUtime=121.06 cores=1,3,5,7
/proc/1155/task/1177/stat : 1177 (pb_cplex) R 1154 1154 415 0 -1 4202560 57698 0 0 0 12086 20 0 0 20 0 8 0 391104615 772886528 138089 33554432000 134512640 146736320 4290984832 3833585756 135854505 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1238.65
Current children cumulated vsize (KiB) 763920
[startup+582.3 s]
/proc/loadavg: 8.58 7.12 6.62 6/193 1188
/proc/meminfo: memFree=29662292/32873844 swapFree=7632/7632
[pid=1154] ppid=1152 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1154/stat : 1154 (run) S 1152 1154 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391082307 9367552 270 33554432000 4194304 5064252 140734880720992 140734880719904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1154/statm: 2287 270 229 213 0 72 0
[pid=1155] ppid=1154 vsize=764064 CPUtime=1478.21 cores=1,3,5,7
/proc/1155/stat : 1155 (pb_cplex) S 1154 1154 415 0 -1 4202496 1679726 0 0 0 147369 452 0 0 20 0 8 0 391082307 782401536 139063 33554432000 134512640 146736320 4290984832 4290981200 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1155/statm: 191016 139063 962 2985 0 187950 0
[pid=1155/tid=1171] ppid=1154 vsize=764064 CPUtime=149.32 cores=1,3,5,7
/proc/1155/task/1171/stat : 1171 (pb_cplex) S 1154 1154 415 0 -1 4202560 151329 0 0 0 14885 47 0 0 20 0 8 0 391104615 782401536 139063 33554432000 134512640 146736320 4290984832 4059360912 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1155/tid=1172] ppid=1154 vsize=764064 CPUtime=144.42 cores=1,3,5,7
/proc/1155/task/1172/stat : 1172 (pb_cplex) S 1154 1154 415 0 -1 4202560 126984 0 0 0 14405 37 0 0 20 0 8 0 391104615 782401536 139063 33554432000 134512640 146736320 4290984832 4069846672 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1155/tid=1173] ppid=1154 vsize=764064 CPUtime=166.74 cores=1,3,5,7
/proc/1155/task/1173/stat : 1173 (pb_cplex) R 1154 1154 415 0 -1 4202560 151851 0 0 0 16628 46 0 0 20 0 8 0 391104615 782401536 139063 33554432000 134512640 146736320 4290984832 4080328640 136403465 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1155/tid=1174] ppid=1154 vsize=764064 CPUtime=142.86 cores=1,3,5,7
/proc/1155/task/1174/stat : 1174 (pb_cplex) R 1154 1154 415 0 -1 4202560 103923 0 0 0 14253 33 0 0 20 0 8 0 391104615 782401536 139063 33554432000 134512640 146736320 4290984832 4048871548 136400477 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1155/tid=1175] ppid=1154 vsize=764064 CPUtime=139.8 cores=1,3,5,7
/proc/1155/task/1175/stat : 1175 (pb_cplex) R 1154 1154 415 0 -1 4202560 149781 0 0 0 13933 47 0 0 20 0 8 0 391104615 782401536 139063 33554432000 134512640 146736320 4290984832 3854557336 136007083 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1155/tid=1176] ppid=1154 vsize=764064 CPUtime=186.25 cores=1,3,5,7
/proc/1155/task/1176/stat : 1176 (pb_cplex) S 1154 1154 415 0 -1 4202560 208422 0 0 0 18568 57 0 0 20 0 8 0 391104615 782401536 139063 33554432000 134512640 146736320 4290984832 3844075152 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1155/tid=1177] ppid=1154 vsize=764064 CPUtime=152.45 cores=1,3,5,7
/proc/1155/task/1177/stat : 1177 (pb_cplex) R 1154 1154 415 0 -1 4202560 58501 0 0 0 15223 22 0 0 20 0 8 0 391104615 782401536 139063 33554432000 134512640 146736320 4290984832 3833585788 136400496 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1478.21
Current children cumulated vsize (KiB) 773212
[startup+642.3 s]
/proc/loadavg: 8.03 7.15 6.66 10/193 1189
/proc/meminfo: memFree=29655016/32873844 swapFree=7632/7632
[pid=1154] ppid=1152 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1154/stat : 1154 (run) S 1152 1154 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391082307 9367552 270 33554432000 4194304 5064252 140734880720992 140734880719904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1154/statm: 2287 270 229 213 0 72 0
[pid=1155] ppid=1154 vsize=768044 CPUtime=1684.27 cores=1,3,5,7
/proc/1155/stat : 1155 (pb_cplex) R 1154 1154 415 0 -1 4202496 1879723 0 0 0 167913 514 0 0 20 0 8 0 391082307 786477056 140773 33554432000 134512640 146736320 4290984832 4290977288 135525510 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1155/statm: 192011 140773 962 2985 0 188945 0
[pid=1155/tid=1171] ppid=1154 vsize=768044 CPUtime=169.49 cores=1,3,5,7
/proc/1155/task/1171/stat : 1171 (pb_cplex) R 1154 1154 415 0 -1 4202560 171718 0 0 0 16894 55 0 0 20 0 8 0 391104615 786477056 140773 33554432000 134512640 146736320 4290984832 4059357336 136007277 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=1155/tid=1172] ppid=1154 vsize=768044 CPUtime=164.54 cores=1,3,5,7
/proc/1155/task/1172/stat : 1172 (pb_cplex) R 1154 1154 415 0 -1 4202560 144987 0 0 0 16411 43 0 0 20 0 8 0 391104615 786477056 140773 33554432000 134512640 146736320 4290984832 4069843096 136007313 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1155/tid=1173] ppid=1154 vsize=768044 CPUtime=196.94 cores=1,3,5,7
/proc/1155/task/1173/stat : 1173 (pb_cplex) R 1154 1154 415 0 -1 4202560 181396 0 0 0 19639 55 0 0 20 0 8 0 391104615 786477056 140773 33554432000 134512640 146736320 4290984832 4080328856 136007289 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1155/tid=1174] ppid=1154 vsize=768044 CPUtime=167.42 cores=1,3,5,7
/proc/1155/task/1174/stat : 1174 (pb_cplex) R 1154 1154 415 0 -1 4202560 131551 0 0 0 16701 41 0 0 20 0 8 0 391104615 786477056 140773 33554432000 134512640 146736320 4290984832 4048871576 136007622 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=1155/tid=1175] ppid=1154 vsize=768044 CPUtime=179.27 cores=1,3,5,7
/proc/1155/task/1175/stat : 1175 (pb_cplex) R 1154 1154 415 0 -1 4202560 184801 0 0 0 17871 56 0 0 20 0 8 0 391104615 786477056 140773 33554432000 134512640 146736320 4290984832 3854557224 139044552 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1155/tid=1176] ppid=1154 vsize=768044 CPUtime=206.39 cores=1,3,5,7
/proc/1155/task/1176/stat : 1176 (pb_cplex) R 1154 1154 415 0 -1 4202560 232627 0 0 0 20572 67 0 0 20 0 8 0 391104615 786477056 140773 33554432000 134512640 146736320 4290984832 3844071576 136007605 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1155/tid=1177] ppid=1154 vsize=768044 CPUtime=182.82 cores=1,3,5,7
/proc/1155/task/1177/stat : 1177 (pb_cplex) R 1154 1154 415 0 -1 4202560 82083 0 0 0 18252 30 0 0 20 0 8 0 391104615 786477056 140773 33554432000 134512640 146736320 4290984832 3833585592 136405505 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1684.27
Current children cumulated vsize (KiB) 777192
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+671.3 s]
/proc/loadavg: 8.41 7.32 6.73 10/193 1189
/proc/meminfo: memFree=29652784/32873844 swapFree=7632/7632
[pid=1154] ppid=1152 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1154/stat : 1154 (run) S 1152 1154 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391082307 9367552 270 33554432000 4194304 5064252 140734880720992 140734880719904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1154/statm: 2287 270 229 213 0 72 0
[pid=1155] ppid=1154 vsize=770164 CPUtime=1800.06 cores=1,3,5,7
/proc/1155/stat : 1155 (pb_cplex) R 1154 1154 415 0 -1 4202496 1984646 0 0 0 179461 545 0 0 20 0 8 0 391082307 788647936 141343 33554432000 134512640 146736320 4290984832 4290977624 136007626 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1155/statm: 192541 141343 962 2985 0 189475 0
[pid=1155/tid=1171] ppid=1154 vsize=770164 CPUtime=183.83 cores=1,3,5,7
/proc/1155/task/1171/stat : 1171 (pb_cplex) R 1154 1154 415 0 -1 4202560 186247 0 0 0 18323 60 0 0 20 0 8 0 391104615 788647936 141343 33554432000 134512640 146736320 4290984832 4059357084 136406034 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1155/tid=1172] ppid=1154 vsize=770164 CPUtime=178.96 cores=1,3,5,7
/proc/1155/task/1172/stat : 1172 (pb_cplex) R 1154 1154 415 0 -1 4202560 157121 0 0 0 17850 46 0 0 20 0 8 0 391104615 788647936 141343 33554432000 134512640 146736320 4290984832 4069843096 136007616 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1155/tid=1173] ppid=1154 vsize=770164 CPUtime=211.55 cores=1,3,5,7
/proc/1155/task/1173/stat : 1173 (pb_cplex) R 1154 1154 415 0 -1 4202560 193152 0 0 0 21096 59 0 0 20 0 8 0 391104615 788647936 141343 33554432000 134512640 146736320 4290984832 4080328704 136413878 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1155/tid=1174] ppid=1154 vsize=770164 CPUtime=181.9 cores=1,3,5,7
/proc/1155/task/1174/stat : 1174 (pb_cplex) R 1154 1154 415 0 -1 4202560 145323 0 0 0 18145 45 0 0 20 0 8 0 391104615 788647936 141343 33554432000 134512640 146736320 4290984832 4048871424 136413878 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1155/tid=1175] ppid=1154 vsize=770164 CPUtime=193.69 cores=1,3,5,7
/proc/1155/task/1175/stat : 1175 (pb_cplex) R 1154 1154 415 0 -1 4202560 196836 0 0 0 19310 59 0 0 20 0 8 0 391104615 788647936 141343 33554432000 134512640 146736320 4290984832 3854557460 136004870 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1155/tid=1176] ppid=1154 vsize=770164 CPUtime=220.69 cores=1,3,5,7
/proc/1155/task/1176/stat : 1176 (pb_cplex) R 1154 1154 415 0 -1 4202560 245709 0 0 0 21999 70 0 0 20 0 8 0 391104615 788647936 141343 33554432000 134512640 146736320 4290984832 3844071816 136388084 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=1155/tid=1177] ppid=1154 vsize=770164 CPUtime=197.24 cores=1,3,5,7
/proc/1155/task/1177/stat : 1177 (pb_cplex) R 1154 1154 415 0 -1 4202560 97703 0 0 0 19688 36 0 0 20 0 8 0 391104615 788647936 141343 33554432000 134512640 146736320 4290984832 3833585816 136007286 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 779312
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+671.3 s]
/proc/loadavg: 8.41 7.32 6.73 10/193 1189
/proc/meminfo: memFree=29652784/32873844 swapFree=7632/7632
[pid=1154] ppid=1152 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1154/stat : 1154 (run) S 1152 1154 415 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391082307 9367552 270 33554432000 4194304 5064252 140734880720992 140734880719904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1154/statm: 2287 270 229 213 0 72 0
[pid=1155] ppid=1154 vsize=770164 CPUtime=1800.06 cores=1,3,5,7
/proc/1155/stat : 1155 (pb_cplex) R 1154 1154 415 0 -1 4202496 1984646 0 0 0 179461 545 0 0 20 0 8 0 391082307 788647936 141343 33554432000 134512640 146736320 4290984832 4290977624 136007626 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1155/statm: 192541 141343 962 2985 0 189475 0
[pid=1155/tid=1171] ppid=1154 vsize=770164 CPUtime=183.83 cores=1,3,5,7
/proc/1155/task/1171/stat : 1171 (pb_cplex) R 1154 1154 415 0 -1 4202560 186247 0 0 0 18323 60 0 0 20 0 8 0 391104615 788647936 141343 33554432000 134512640 146736320 4290984832 4059357084 136406034 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1155/tid=1172] ppid=1154 vsize=770164 CPUtime=178.96 cores=1,3,5,7
/proc/1155/task/1172/stat : 1172 (pb_cplex) R 1154 1154 415 0 -1 4202560 157121 0 0 0 17850 46 0 0 20 0 8 0 391104615 788647936 141343 33554432000 134512640 146736320 4290984832 4069843096 136007616 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1155/tid=1173] ppid=1154 vsize=770164 CPUtime=211.55 cores=1,3,5,7
/proc/1155/task/1173/stat : 1173 (pb_cplex) R 1154 1154 415 0 -1 4202560 193152 0 0 0 21096 59 0 0 20 0 8 0 391104615 788647936 141343 33554432000 134512640 146736320 4290984832 4080328704 136413878 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1155/tid=1174] ppid=1154 vsize=770164 CPUtime=181.9 cores=1,3,5,7
/proc/1155/task/1174/stat : 1174 (pb_cplex) R 1154 1154 415 0 -1 4202560 145323 0 0 0 18145 45 0 0 20 0 8 0 391104615 788647936 141343 33554432000 134512640 146736320 4290984832 4048871424 136413878 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1155/tid=1175] ppid=1154 vsize=770164 CPUtime=193.69 cores=1,3,5,7
/proc/1155/task/1175/stat : 1175 (pb_cplex) R 1154 1154 415 0 -1 4202560 196836 0 0 0 19310 59 0 0 20 0 8 0 391104615 788647936 141343 33554432000 134512640 146736320 4290984832 3854557460 136004870 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1155/tid=1176] ppid=1154 vsize=770164 CPUtime=220.69 cores=1,3,5,7
/proc/1155/task/1176/stat : 1176 (pb_cplex) R 1154 1154 415 0 -1 4202560 245709 0 0 0 21999 70 0 0 20 0 8 0 391104615 788647936 141343 33554432000 134512640 146736320 4290984832 3844071816 136388084 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=1155/tid=1177] ppid=1154 vsize=770164 CPUtime=197.24 cores=1,3,5,7
/proc/1155/task/1177/stat : 1177 (pb_cplex) R 1154 1154 415 0 -1 4202560 97703 0 0 0 19688 36 0 0 20 0 8 0 391104615 788647936 141343 33554432000 134512640 146736320 4290984832 3833585816 136007286 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 779312
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1154 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 671.317
CPU time (s): 1800.06
CPU user time (s): 1794.61
CPU system time (s): 5.45
CPU usage (%): 268.138
Max. virtual memory (cumulated for all children) (KiB): 791588
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 1.69074 second user time and 4.73728 second system time
The end