runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4241519-1500628580/watcher-4241519-1500628580 -o /tmp/evaluation-result-4241519-1500628580/solver-4241519-1500628580 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500623775-3431 --watchdog 2560 BTD 2400 HOME/instance-4241519-1500628580.xml
pid=5243
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 1.97 3/186 5246
/proc/meminfo: memFree=29417424/32770624 swapFree=6792/944120
[pid=5246] ppid=5243 vsize=31200 CPUtime=0 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 548 0 0 0 0 0 0 0 20 0 1 0 16291512 31948800 357 33554432000 4194304 35031059 140726607149808 140726607149808 7408842 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 7800 357 232 7529 0 247 0
[startup+0.100174 s]
/proc/loadavg: 2.00 2.01 1.97 3/186 5246
/proc/meminfo: memFree=29417424/32770624 swapFree=6792/944120
[pid=5246] ppid=5243 vsize=36580 CPUtime=0.09 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 1915 0 0 0 9 0 0 0 20 0 1 0 16291512 37457920 1752 33554432000 4194304 35031059 140726607149808 140726607146984 4745655 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 9145 1752 232 7529 0 1592 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36580
[startup+0.200388 s]
/proc/loadavg: 2.00 2.01 1.97 3/186 5246
/proc/meminfo: memFree=29417424/32770624 swapFree=6792/944120
[pid=5246] ppid=5243 vsize=37988 CPUtime=0.19 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 2340 0 0 0 19 0 0 0 20 0 1 0 16291512 38899712 2037 33554432000 4194304 35031059 140726607149808 140726607141288 7408842 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 9497 2037 285 7529 0 1944 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37988
[startup+0.300413 s]
/proc/loadavg: 2.00 2.01 1.97 3/186 5246
/proc/meminfo: memFree=29417424/32770624 swapFree=6792/944120
[pid=5246] ppid=5243 vsize=38252 CPUtime=0.29 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 2412 0 0 0 29 0 0 0 20 0 1 0 16291512 39170048 2103 33554432000 4194304 35031059 140726607149808 140726607141288 7408842 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 9563 2103 285 7529 0 2010 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38252
[startup+0.700279 s]
/proc/loadavg: 2.00 2.01 1.97 3/186 5246
/proc/meminfo: memFree=29417424/32770624 swapFree=6792/944120
[pid=5246] ppid=5243 vsize=39320 CPUtime=0.69 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 2692 0 0 0 69 0 0 0 20 0 1 0 16291512 40263680 2367 33554432000 4194304 35031059 140726607149808 140726607142440 7511522 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 9830 2367 285 7529 0 2277 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39320
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 5247
/proc/meminfo: memFree=29407244/32770624 swapFree=6792/944184
[pid=5246] ppid=5243 vsize=41384 CPUtime=1.49 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 3209 0 0 0 149 0 0 0 20 0 1 0 16291512 42377216 2895 33554432000 4194304 35031059 140726607149808 140726607142440 6439936 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 10346 2895 285 7529 0 2793 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41384
[startup+3.1003 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 5247
/proc/meminfo: memFree=29403152/32770624 swapFree=6792/944184
[pid=5246] ppid=5243 vsize=45228 CPUtime=3.09 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 6472 0 0 0 309 0 0 0 20 0 1 0 16291512 46313472 3805 33554432000 4194304 35031059 140726607149808 140726607142440 4753342 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 11307 3805 285 7529 0 3754 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45228
[startup+6.30035 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 5247
/proc/meminfo: memFree=29391852/32770624 swapFree=6792/944184
[pid=5246] ppid=5243 vsize=50872 CPUtime=6.29 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 11390 0 0 0 628 1 0 0 20 0 1 0 16291512 52092928 5278 33554432000 4194304 35031059 140726607149808 140726607142440 7398371 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 12718 5278 285 7529 0 5165 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50872
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 5247
/proc/meminfo: memFree=29377036/32770624 swapFree=6792/944200
[pid=5246] ppid=5243 vsize=57316 CPUtime=12.68 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 18207 0 0 0 1267 1 0 0 20 0 1 0 16291512 58691584 6831 33554432000 4194304 35031059 140726607149808 140726607142632 4256528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 14329 6831 287 7529 0 6776 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 57316
[startup+25.5005 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 5247
/proc/meminfo: memFree=29354344/32770624 swapFree=6792/944208
[pid=5246] ppid=5243 vsize=66036 CPUtime=25.48 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 34086 0 0 0 2546 2 0 0 20 0 1 0 16291512 67620864 9043 33554432000 4194304 35031059 140726607149808 140726607142632 4256442 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 16509 9043 287 7529 0 8956 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 66036
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 5247
/proc/meminfo: memFree=29253904/32770624 swapFree=6792/944232
[pid=5246] ppid=5243 vsize=139888 CPUtime=51.07 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 63401 0 0 0 4979 128 0 0 20 0 1 0 16291512 143245312 27162 33554432000 4194304 35031059 140726607149808 140726607148808 7760138 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 34972 27162 344 7529 0 27419 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 139888
[startup+102.3 s]
/proc/loadavg: 2.12 2.04 1.98 3/187 5248
/proc/meminfo: memFree=29198408/32770624 swapFree=6792/944260
[pid=5246] ppid=5243 vsize=139888 CPUtime=102.27 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 73885 0 0 0 9601 626 0 0 20 0 1 0 16291512 143245312 27202 33554432000 4194304 35031059 140726607149808 140726607148808 7760138 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 34972 27202 344 7529 0 27419 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 139888
[startup+162.3 s]
/proc/loadavg: 2.04 2.04 1.98 3/187 5249
/proc/meminfo: memFree=29138440/32770624 swapFree=6792/944284
[pid=5246] ppid=5243 vsize=140020 CPUtime=162.25 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 84345 0 0 0 15022 1203 0 0 20 0 1 0 16291512 143380480 27222 33554432000 4194304 35031059 140726607149808 140726607148808 7760138 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 35005 27222 344 7529 0 27452 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 140020
[startup+222.306 s]
/proc/loadavg: 2.02 2.03 1.98 3/188 5258
/proc/meminfo: memFree=29074252/32770624 swapFree=6792/944316
[pid=5246] ppid=5243 vsize=140020 CPUtime=222.24 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 94794 0 0 0 20441 1783 0 0 20 0 1 0 16291512 143380480 27229 33554432000 4194304 35031059 140726607149808 140726607148808 7760138 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 35005 27229 344 7529 0 27452 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 140020
[startup+282.3 s]
/proc/loadavg: 2.01 2.03 1.98 3/188 5259
/proc/meminfo: memFree=29012144/32770624 swapFree=6792/944348
[pid=5246] ppid=5243 vsize=140020 CPUtime=282.24 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 105238 0 0 0 25863 2361 0 0 20 0 1 0 16291512 143380480 27233 33554432000 4194304 35031059 140726607149808 140726607148808 7760138 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 35005 27233 344 7529 0 27452 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 140020
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/188 5260
/proc/meminfo: memFree=28948932/32770624 swapFree=6792/944384
[pid=5246] ppid=5243 vsize=140020 CPUtime=342.22 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 115672 0 0 0 31283 2939 0 0 20 0 1 0 16291512 143380480 27238 33554432000 4194304 35031059 140726607149808 140726607148808 7760138 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 35005 27238 344 7529 0 27452 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 140020
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 5261
/proc/meminfo: memFree=28886560/32770624 swapFree=6792/944420
[pid=5246] ppid=5243 vsize=140020 CPUtime=402.22 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 126101 0 0 0 36695 3527 0 0 20 0 1 0 16291512 143380480 27242 33554432000 4194304 35031059 140726607149808 140726607148808 7760138 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 35005 27242 344 7529 0 27452 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 140020
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 5262
/proc/meminfo: memFree=28822204/32770624 swapFree=6792/944448
[pid=5246] ppid=5243 vsize=140152 CPUtime=462.21 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 136507 0 0 0 42116 4105 0 0 20 0 1 0 16291512 143515648 27245 33554432000 4194304 35031059 140726607149808 140726607148808 7760138 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 35038 27245 344 7529 0 27485 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 140152
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 5264
/proc/meminfo: memFree=28757684/32770624 swapFree=6792/944476
[pid=5246] ppid=5243 vsize=140152 CPUtime=522.2 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 146958 0 0 0 47549 4671 0 0 20 0 1 0 16291512 143515648 27250 33554432000 4194304 35031059 140726607149808 140726607148808 7760138 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 35038 27250 344 7529 0 27485 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 140152
[startup+582.3 s]
/proc/loadavg: 2.06 2.03 1.99 3/187 5265
/proc/meminfo: memFree=28694808/32770624 swapFree=6792/944512
[pid=5246] ppid=5243 vsize=140152 CPUtime=582.19 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 157378 0 0 0 52970 5249 0 0 20 0 1 0 16291512 143515648 27253 33554432000 4194304 35031059 140726607149808 140726607148808 7760138 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 35038 27253 344 7529 0 27485 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 140152
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.08 2.04 2.04 3/188 5356
/proc/meminfo: memFree=30795116/32770624 swapFree=6792/945044
[pid=5246] ppid=5243 vsize=140284 CPUtime=1482.04 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 172898 0 0 0 133710 14494 0 0 20 0 1 0 16291512 143650816 27781 33554432000 4194304 35031059 140726607149808 140726607148808 7760138 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 35071 27781 344 7529 0 27518 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 140284
[startup+1542.31 s]
/proc/loadavg: 2.03 2.04 2.04 3/188 5357
/proc/meminfo: memFree=30795420/32770624 swapFree=6792/945080
[pid=5246] ppid=5243 vsize=140284 CPUtime=1542.04 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 172940 0 0 0 139084 15120 0 0 20 0 1 0 16291512 143650816 27782 33554432000 4194304 35031059 140726607149808 140726607148808 7760138 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 35071 27782 344 7529 0 27518 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 140284
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.04 3/188 5358
/proc/meminfo: memFree=30795472/32770624 swapFree=6792/945108
[pid=5246] ppid=5243 vsize=140284 CPUtime=1602.03 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 173222 0 0 0 144474 15729 0 0 20 0 1 0 16291512 143650816 27783 33554432000 4194304 35031059 140726607149808 140726607148808 7760138 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 35071 27783 344 7529 0 27518 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 140284
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/188 5359
/proc/meminfo: memFree=30795632/32770624 swapFree=6792/945140
[pid=5246] ppid=5243 vsize=140284 CPUtime=1662.02 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 173269 0 0 0 149875 16327 0 0 20 0 1 0 16291512 143650816 27783 33554432000 4194304 35031059 140726607149808 140726607148808 7760138 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 35071 27783 344 7529 0 27518 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 140284
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/188 5360
/proc/meminfo: memFree=30795632/32770624 swapFree=6792/945172
[pid=5246] ppid=5243 vsize=140284 CPUtime=1722.01 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 173314 0 0 0 155259 16942 0 0 20 0 1 0 16291512 143650816 27783 33554432000 4194304 35031059 140726607149808 140726607148808 7760138 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 35071 27783 344 7529 0 27518 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 140284
[startup+1782.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 5361
/proc/meminfo: memFree=30795276/32770624 swapFree=6792/945196
[pid=5246] ppid=5243 vsize=140284 CPUtime=1782 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 173590 0 0 0 160640 17560 0 0 20 0 1 0 16291512 143650816 27786 33554432000 4194304 35031059 140726607149808 140726607148808 7760138 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 35071 27786 344 7529 0 27518 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 140284
[startup+1842.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 5362
/proc/meminfo: memFree=30795440/32770624 swapFree=6792/945232
[pid=5246] ppid=5243 vsize=140284 CPUtime=1842 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 173635 0 0 0 166036 18164 0 0 20 0 1 0 16291512 143650816 27786 33554432000 4194304 35031059 140726607149808 140726607148808 7760138 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 35071 27786 344 7529 0 27518 0
Current children cumulated CPU time (s) 1842
Current children cumulated vsize (KiB) 140284
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 5363
/proc/meminfo: memFree=30795148/32770624 swapFree=6792/945260
[pid=5246] ppid=5243 vsize=140284 CPUtime=1901.98 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 173680 0 0 0 171431 18767 0 0 20 0 1 0 16291512 143650816 27786 33554432000 4194304 35031059 140726607149808 140726607148808 7760138 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 35071 27786 344 7529 0 27518 0
Current children cumulated CPU time (s) 1901.98
Current children cumulated vsize (KiB) 140284
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5364
/proc/meminfo: memFree=30795068/32770624 swapFree=6792/945292
[pid=5246] ppid=5243 vsize=140284 CPUtime=1961.98 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 173954 0 0 0 176829 19369 0 0 20 0 1 0 16291512 143650816 27787 33554432000 4194304 35031059 140726607149808 140726607148808 7760138 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 35071 27787 344 7529 0 27518 0
Current children cumulated CPU time (s) 1961.98
Current children cumulated vsize (KiB) 140284
[startup+2022.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/187 5372
/proc/meminfo: memFree=30793752/32770624 swapFree=6792/945320
[pid=5246] ppid=5243 vsize=140284 CPUtime=2021.97 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 174012 0 0 0 182227 19970 0 0 20 0 1 0 16291512 143650816 27788 33554432000 4194304 35031059 140726607149808 140726607148808 7760138 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 35071 27788 344 7529 0 27518 0
Current children cumulated CPU time (s) 2021.97
Current children cumulated vsize (KiB) 140284
[startup+2082.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/187 5373
/proc/meminfo: memFree=30794660/32770624 swapFree=6792/945356
[pid=5246] ppid=5243 vsize=140284 CPUtime=2081.97 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 174072 0 0 0 187621 20576 0 0 20 0 1 0 16291512 143650816 27788 33554432000 4194304 35031059 140726607149808 140726607148808 7760138 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 35071 27788 344 7529 0 27518 0
Current children cumulated CPU time (s) 2081.97
Current children cumulated vsize (KiB) 140284
[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 5374
/proc/meminfo: memFree=30794924/32770624 swapFree=6792/945388
[pid=5246] ppid=5243 vsize=140284 CPUtime=2141.95 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 174350 0 0 0 193015 21180 0 0 20 0 1 0 16291512 143650816 27789 33554432000 4194304 35031059 140726607149808 140726607148808 7760138 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 35071 27789 344 7529 0 27518 0
Current children cumulated CPU time (s) 2141.95
Current children cumulated vsize (KiB) 140284
[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 5375
/proc/meminfo: memFree=30795292/32770624 swapFree=6792/945420
[pid=5246] ppid=5243 vsize=140284 CPUtime=2201.96 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 174391 0 0 0 198406 21790 0 0 20 0 1 0 16291512 143650816 27789 33554432000 4194304 35031059 140726607149808 140726607148808 7760138 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 35071 27789 344 7529 0 27518 0
Current children cumulated CPU time (s) 2201.96
Current children cumulated vsize (KiB) 140284
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 5376
/proc/meminfo: memFree=30795200/32770624 swapFree=6792/945456
[pid=5246] ppid=5243 vsize=140284 CPUtime=2261.94 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 174433 0 0 0 203769 22425 0 0 20 0 1 0 16291512 143650816 27789 33554432000 4194304 35031059 140726607149808 140726607148808 7760138 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 35071 27789 344 7529 0 27518 0
Current children cumulated CPU time (s) 2261.94
Current children cumulated vsize (KiB) 140284
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5378
/proc/meminfo: memFree=30794644/32770624 swapFree=6792/945484
[pid=5246] ppid=5243 vsize=140284 CPUtime=2321.93 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 174721 0 0 0 209138 23055 0 0 20 0 1 0 16291512 143650816 27792 33554432000 4194304 35031059 140726607149808 140726607148808 7760138 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 35071 27792 344 7529 0 27518 0
Current children cumulated CPU time (s) 2321.93
Current children cumulated vsize (KiB) 140284
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5379
/proc/meminfo: memFree=30794932/32770624 swapFree=6792/945516
[pid=5246] ppid=5243 vsize=140284 CPUtime=2381.92 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 174776 0 0 0 214515 23677 0 0 20 0 1 0 16291512 143650816 27792 33554432000 4194304 35031059 140726607149808 140726607148808 7760138 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 35071 27792 344 7529 0 27518 0
Current children cumulated CPU time (s) 2381.92
Current children cumulated vsize (KiB) 140284
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5380
/proc/meminfo: memFree=30794932/32770624 swapFree=6792/945536
[pid=5246] ppid=5243 vsize=137708 CPUtime=2400.02 cores=0,2,4,6
/proc/5246/stat : 5246 (BTD) R 5243 5246 3400 0 -1 4202496 175214 0 0 0 216141 23861 0 0 20 0 1 0 16291512 141012992 27156 33554432000 4194304 35031059 140726607149808 140726607149160 4537390 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 61771776 140726607152378 140726607152454 140726607152454 140726607155153 0
/proc/5246/statm: 34427 27156 352 7529 0 26874 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 137708
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5246 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.4
CPU time (s): 2400.03
CPU user time (s): 2161.42
CPU system time (s): 238.614
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 140284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2161.42
system time used= 238.614
maximum resident set size= 111168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175214
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= 28
involuntary context switches= 121848
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.66117 second user time and 8.3223 second system time
The end