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-4260362-1502241154/watcher-4260362-1502241154 -o /tmp/evaluation-result-4260362-1502241154/solver-4260362-1502241154 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502235469-7073 --watchdog 2580 BTD 2520 HOME/instance-4260362-1502241154.xml
pid=7956
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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 2.00 3/180 7959
/proc/meminfo: memFree=31728004/32770624 swapFree=0/263956
[pid=7959] ppid=7956 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/7959/stat : 7959 (runsolver) D 7956 7959 6971 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 12456157 24240128 108 18446744073709551615 4194304 4338465 140724456390112 140724456387752 140057382617815 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 31502336 140724456394966 140724456395338 140724456395338 140724456398794 0
/proc/7959/statm: 5918 108 54 36 0 2156 0
[startup+0.107202 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 7959
/proc/meminfo: memFree=31728004/32770624 swapFree=0/263956
[pid=7959] ppid=7956 vsize=31332 CPUtime=0.01 cores=0,2,4,6
/proc/7959/stat : 7959 (BTD) R 7956 7959 6971 0 -1 4202496 637 0 0 0 1 0 0 0 20 0 1 0 12456157 32083968 456 18446744073709551615 4194304 35031035 140723881915424 140723881914424 7760122 0 0 1 0 0 0 0 17 6 0 0 9 0 0 37130264 37226188 57122816 140723881918981 140723881919057 140723881919057 140723881922513 0
/proc/7959/statm: 7833 456 282 7529 0 280 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 31332
[startup+0.200235 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 7959
/proc/meminfo: memFree=31728004/32770624 swapFree=0/263956
[pid=7959] ppid=7956 vsize=31332 CPUtime=0.1 cores=0,2,4,6
/proc/7959/stat : 7959 (BTD) R 7956 7959 6971 0 -1 4202496 638 0 0 0 10 0 0 0 20 0 1 0 12456157 32083968 456 18446744073709551615 4194304 35031035 140723881915424 140723881914424 4444634 0 0 1 0 0 0 0 17 6 0 0 9 0 0 37130264 37226188 57122816 140723881918981 140723881919057 140723881919057 140723881922513 0
/proc/7959/statm: 7833 456 282 7529 0 280 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 31332
[startup+0.300302 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 7959
/proc/meminfo: memFree=31728004/32770624 swapFree=0/263956
[pid=7959] ppid=7956 vsize=31332 CPUtime=0.2 cores=0,2,4,6
/proc/7959/stat : 7959 (BTD) R 7956 7959 6971 0 -1 4202496 639 0 0 0 20 0 0 0 20 0 1 0 12456157 32083968 456 18446744073709551615 4194304 35031035 140723881915424 140723881914424 4445291 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 57122816 140723881918981 140723881919057 140723881919057 140723881922513 0
/proc/7959/statm: 7833 456 282 7529 0 280 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 31332
[startup+0.700278 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 7959
/proc/meminfo: memFree=31728004/32770624 swapFree=0/263956
[pid=7959] ppid=7956 vsize=31464 CPUtime=0.6 cores=0,2,4,6
/proc/7959/stat : 7959 (BTD) R 7956 7959 6971 0 -1 4202496 644 0 0 0 60 0 0 0 20 0 1 0 12456157 32219136 456 18446744073709551615 4194304 35031035 140723881915424 140723881914424 4445171 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 57122816 140723881918981 140723881919057 140723881919057 140723881922513 0
/proc/7959/statm: 7866 456 282 7529 0 313 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 31464
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 7960
/proc/meminfo: memFree=31726524/32770624 swapFree=0/263948
[pid=7959] ppid=7956 vsize=31464 CPUtime=1.39 cores=0,2,4,6
/proc/7959/stat : 7959 (BTD) R 7956 7959 6971 0 -1 4202496 651 0 0 0 139 0 0 0 20 0 1 0 12456157 32219136 522 18446744073709551615 4194304 35031035 140723881915424 140723881914424 4213314 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 57122816 140723881918981 140723881919057 140723881919057 140723881922513 0
/proc/7959/statm: 7866 522 294 7529 0 313 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 31464
[startup+3.10028 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 7960
/proc/meminfo: memFree=31726156/32770624 swapFree=0/263948
[pid=7959] ppid=7956 vsize=31464 CPUtime=3 cores=0,2,4,6
/proc/7959/stat : 7959 (BTD) R 7956 7959 6971 0 -1 4202496 802 0 0 0 298 2 0 0 20 0 1 0 12456157 32219136 532 18446744073709551615 4194304 35031035 140723881915424 140723881914424 4445128 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 57122816 140723881918981 140723881919057 140723881919057 140723881922513 0
/proc/7959/statm: 7866 532 294 7529 0 313 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 31464
[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 7960
/proc/meminfo: memFree=31725756/32770624 swapFree=0/263956
[pid=7959] ppid=7956 vsize=31464 CPUtime=6.2 cores=0,2,4,6
/proc/7959/stat : 7959 (BTD) R 7956 7959 6971 0 -1 4202496 962 0 0 0 616 4 0 0 20 0 1 0 12456157 32219136 541 18446744073709551615 4194304 35031035 140723881915424 140723881914424 6458441 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 57122816 140723881918981 140723881919057 140723881919057 140723881922513 0
/proc/7959/statm: 7866 541 294 7529 0 313 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 31464
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 7960
/proc/meminfo: memFree=31725420/32770624 swapFree=0/263956
[pid=7959] ppid=7956 vsize=31464 CPUtime=12.59 cores=0,2,4,6
/proc/7959/stat : 7959 (BTD) R 7956 7959 6971 0 -1 4202496 1129 0 0 0 1250 9 0 0 20 0 1 0 12456157 32219136 547 18446744073709551615 4194304 35031035 140723881915424 140723881914424 4443321 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 57122816 140723881918981 140723881919057 140723881919057 140723881922513 0
/proc/7959/statm: 7866 547 294 7529 0 313 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 31464
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 7960
/proc/meminfo: memFree=31725296/32770624 swapFree=0/263972
[pid=7959] ppid=7956 vsize=31596 CPUtime=25.39 cores=0,2,4,6
/proc/7959/stat : 7959 (BTD) R 7956 7959 6971 0 -1 4202496 1465 0 0 0 2521 18 0 0 20 0 1 0 12456157 32354304 561 18446744073709551615 4194304 35031035 140723881915424 140723881914424 7760122 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 57122816 140723881918981 140723881919057 140723881919057 140723881922513 0
/proc/7959/statm: 7899 561 294 7529 0 346 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 31596
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 7960
/proc/meminfo: memFree=31725180/32770624 swapFree=0/263984
[pid=7959] ppid=7956 vsize=31596 CPUtime=50.99 cores=0,2,4,6
/proc/7959/stat : 7959 (BTD) R 7956 7959 6971 0 -1 4202496 1657 0 0 0 5061 38 0 0 20 0 1 0 12456157 32354304 568 18446744073709551615 4194304 35031035 140723881915424 140723881914424 7760122 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 57122816 140723881918981 140723881919057 140723881919057 140723881922513 0
/proc/7959/statm: 7899 568 294 7529 0 346 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 31596
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/185 7977
/proc/meminfo: memFree=31721168/32770624 swapFree=0/264024
[pid=7959] ppid=7956 vsize=31596 CPUtime=102.2 cores=0,2,4,6
/proc/7959/stat : 7959 (BTD) R 7956 7959 6971 0 -1 4202496 1855 0 0 0 10140 80 0 0 20 0 1 0 12456157 32354304 575 18446744073709551615 4194304 35031035 140723881915424 140723881914424 7760122 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 57122816 140723881918981 140723881919057 140723881919057 140723881922513 0
/proc/7959/statm: 7899 575 294 7529 0 346 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 31596
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/185 8039
/proc/meminfo: memFree=31741476/32770624 swapFree=0/264112
[pid=7959] ppid=7956 vsize=31596 CPUtime=162.19 cores=0,2,4,6
/proc/7959/stat : 7959 (BTD) R 7956 7959 6971 0 -1 4202496 2052 0 0 0 16090 129 0 0 20 0 1 0 12456157 32354304 581 18446744073709551615 4194304 35031035 140723881915424 140723881914424 4213296 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 57122816 140723881918981 140723881919057 140723881919057 140723881922513 0
/proc/7959/statm: 7899 581 294 7529 0 346 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 31596
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.00 3/186 8066
/proc/meminfo: memFree=31692496/32770624 swapFree=0/264196
[pid=7959] ppid=7956 vsize=31728 CPUtime=222.19 cores=0,2,4,6
/proc/7959/stat : 7959 (BTD) R 7956 7959 6971 0 -1 4202496 2253 0 0 0 22045 174 0 0 20 0 1 0 12456157 32489472 588 18446744073709551615 4194304 35031035 140723881915424 140723881914424 7760122 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 57122816 140723881918981 140723881919057 140723881919057 140723881922513 0
/proc/7959/statm: 7932 588 294 7529 0 379 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 31728
[startup+282.3 s]
/proc/loadavg: 1.96 2.00 1.99 3/183 8068
/proc/meminfo: memFree=31695260/32770624 swapFree=0/264232
[pid=7959] ppid=7956 vsize=31728 CPUtime=282.18 cores=0,2,4,6
/proc/7959/stat : 7959 (BTD) R 7956 7959 6971 0 -1 4202496 2459 0 0 0 27996 222 0 0 20 0 1 0 12456157 32489472 591 18446744073709551615 4194304 35031035 140723881915424 140723881914424 7760122 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 57122816 140723881918981 140723881919057 140723881919057 140723881922513 0
/proc/7959/statm: 7932 591 294 7529 0 379 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 31728
[startup+342.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/183 8070
/proc/meminfo: memFree=31696008/32770624 swapFree=0/264264
[pid=7959] ppid=7956 vsize=31728 CPUtime=342.18 cores=0,2,4,6
/proc/7959/stat : 7959 (BTD) R 7956 7959 6971 0 -1 4202496 2666 0 0 0 33944 274 0 0 20 0 1 0 12456157 32489472 593 18446744073709551615 4194304 35031035 140723881915424 140723881914424 7760122 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 57122816 140723881918981 140723881919057 140723881919057 140723881922513 0
/proc/7959/statm: 7932 593 294 7529 0 379 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 31728
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 8072
/proc/meminfo: memFree=31696380/32770624 swapFree=0/264300
[pid=7959] ppid=7956 vsize=31728 CPUtime=402.18 cores=0,2,4,6
/proc/7959/stat : 7959 (BTD) R 7956 7959 6971 0 -1 4202496 2856 0 0 0 39898 320 0 0 20 0 1 0 12456157 32489472 596 18446744073709551615 4194304 35031035 140723881915424 140723881914424 4443308 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 57122816 140723881918981 140723881919057 140723881919057 140723881922513 0
/proc/7959/statm: 7932 596 294 7529 0 379 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 31728
[startup+462.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/182 8074
/proc/meminfo: memFree=31696156/32770624 swapFree=0/264328
[pid=7959] ppid=7956 vsize=31728 CPUtime=462.18 cores=0,2,4,6
/proc/7959/stat : 7959 (BTD) R 7956 7959 6971 0 -1 4202496 3078 0 0 0 45851 367 0 0 20 0 1 0 12456157 32489472 598 18446744073709551615 4194304 35031035 140723881915424 140723881914424 7398506 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 57122816 140723881918981 140723881919057 140723881919057 140723881922513 0
/proc/7959/statm: 7932 598 294 7529 0 379 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 31728
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 8076
/proc/meminfo: memFree=31696644/32770624 swapFree=0/264360
[pid=7959] ppid=7956 vsize=31728 CPUtime=522.18 cores=0,2,4,6
/proc/7959/stat : 7959 (BTD) R 7956 7959 6971 0 -1 4202496 3284 0 0 0 51804 414 0 0 20 0 1 0 12456157 32489472 599 18446744073709551615 4194304 35031035 140723881915424 140723881914424 4213195 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 57122816 140723881918981 140723881919057 140723881919057 140723881922513 0
/proc/7959/statm: 7932 599 294 7529 0 379 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 31728
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 8078
/proc/meminfo: memFree=31696396/32770624 swapFree=0/264388
[pid=7959] ppid=7956 vsize=31728 CPUtime=582.18 cores=0,2,4,6
/proc/7959/stat : 7959 (BTD) R 7956 7959 6971 0 -1 4202496 3489 0 0 0 57753 465 0 0 20 0 1 0 12456157 32489472 602 18446744073709551615 4194304 35031035 140723881915424 140723881914424 4213232 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 57122816 140723881918981 140723881919057 140723881919057 140723881922513 0
/proc/7959/statm: 7932 602 294 7529 0 379 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 31728
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.02 3/182 8201
/proc/meminfo: memFree=31693444/32770624 swapFree=0/265432
[pid=7959] ppid=7956 vsize=31728 CPUtime=1602.14 cores=0,2,4,6
/proc/7959/stat : 7959 (BTD) R 7956 7959 6971 0 -1 4202496 6824 0 0 0 158933 1281 0 0 20 0 1 0 12456157 32489472 619 18446744073709551615 4194304 35031035 140723881915424 140723881914424 4445137 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 57122816 140723881918981 140723881919057 140723881919057 140723881922513 0
/proc/7959/statm: 7932 619 294 7529 0 379 0
Current children cumulated CPU time (s) 1602.14
Current children cumulated vsize (KiB) 31728
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.02 3/182 8204
/proc/meminfo: memFree=31693460/32770624 swapFree=0/265472
[pid=7959] ppid=7956 vsize=31728 CPUtime=1662.14 cores=0,2,4,6
/proc/7959/stat : 7959 (BTD) R 7956 7959 6971 0 -1 4202496 7002 0 0 0 164885 1329 0 0 20 0 1 0 12456157 32489472 619 18446744073709551615 4194304 35031035 140723881915424 140723881914424 7760122 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 57122816 140723881918981 140723881919057 140723881919057 140723881922513 0
/proc/7959/statm: 7932 619 294 7529 0 379 0
Current children cumulated CPU time (s) 1662.14
Current children cumulated vsize (KiB) 31728
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/181 8206
/proc/meminfo: memFree=31693724/32770624 swapFree=0/265504
[pid=7959] ppid=7956 vsize=31728 CPUtime=1722.14 cores=0,2,4,6
/proc/7959/stat : 7959 (BTD) R 7956 7959 6971 0 -1 4202496 7226 0 0 0 170836 1378 0 0 20 0 1 0 12456157 32489472 619 18446744073709551615 4194304 35031035 140723881915424 140723881914424 7760122 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 57122816 140723881918981 140723881919057 140723881919057 140723881922513 0
/proc/7959/statm: 7932 619 294 7529 0 379 0
Current children cumulated CPU time (s) 1722.14
Current children cumulated vsize (KiB) 31728
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/181 8208
/proc/meminfo: memFree=31693732/32770624 swapFree=0/265540
[pid=7959] ppid=7956 vsize=31728 CPUtime=1782.14 cores=0,2,4,6
/proc/7959/stat : 7959 (BTD) R 7956 7959 6971 0 -1 4202496 7404 0 0 0 176786 1428 0 0 20 0 1 0 12456157 32489472 620 18446744073709551615 4194304 35031035 140723881915424 140723881914424 7760122 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 57122816 140723881918981 140723881919057 140723881919057 140723881922513 0
/proc/7959/statm: 7932 620 294 7529 0 379 0
Current children cumulated CPU time (s) 1782.14
Current children cumulated vsize (KiB) 31728
[startup+1842.3 s]
/proc/loadavg: 2.08 2.03 2.03 3/181 8211
/proc/meminfo: memFree=31693848/32770624 swapFree=0/265572
[pid=7959] ppid=7956 vsize=31728 CPUtime=1842.13 cores=0,2,4,6
/proc/7959/stat : 7959 (BTD) R 7956 7959 6971 0 -1 4202496 7579 0 0 0 182739 1474 0 0 20 0 1 0 12456157 32489472 620 18446744073709551615 4194304 35031035 140723881915424 140723881914424 4442982 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 57122816 140723881918981 140723881919057 140723881919057 140723881922513 0
/proc/7959/statm: 7932 620 294 7529 0 379 0
Current children cumulated CPU time (s) 1842.13
Current children cumulated vsize (KiB) 31728
[startup+1902.3 s]
/proc/loadavg: 2.03 2.02 2.03 3/181 8213
/proc/meminfo: memFree=31693564/32770624 swapFree=0/265600
[pid=7959] ppid=7956 vsize=31860 CPUtime=1902.14 cores=0,2,4,6
/proc/7959/stat : 7959 (BTD) R 7956 7959 6971 0 -1 4202496 7786 0 0 0 188691 1523 0 0 20 0 1 0 12456157 32624640 622 18446744073709551615 4194304 35031035 140723881915424 140723881914424 7760122 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 57122816 140723881918981 140723881919057 140723881919057 140723881922513 0
/proc/7959/statm: 7965 622 294 7529 0 412 0
Current children cumulated CPU time (s) 1902.14
Current children cumulated vsize (KiB) 31860
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.03 3/185 8230
/proc/meminfo: memFree=31690156/32770624 swapFree=0/265664
[pid=7959] ppid=7956 vsize=31860 CPUtime=1962.13 cores=0,2,4,6
/proc/7959/stat : 7959 (BTD) R 7956 7959 6971 0 -1 4202496 7961 0 0 0 194642 1571 0 0 20 0 1 0 12456157 32624640 622 18446744073709551615 4194304 35031035 140723881915424 140723881914424 6458018 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 57122816 140723881918981 140723881919057 140723881919057 140723881922513 0
/proc/7959/statm: 7965 622 294 7529 0 412 0
Current children cumulated CPU time (s) 1962.13
Current children cumulated vsize (KiB) 31860
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/182 8232
/proc/meminfo: memFree=31692816/32770624 swapFree=0/265700
[pid=7959] ppid=7956 vsize=31860 CPUtime=2022.13 cores=0,2,4,6
/proc/7959/stat : 7959 (BTD) R 7956 7959 6971 0 -1 4202496 8137 0 0 0 200595 1618 0 0 20 0 1 0 12456157 32624640 622 18446744073709551615 4194304 35031035 140723881915424 140723881914424 7760122 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 57122816 140723881918981 140723881919057 140723881919057 140723881922513 0
/proc/7959/statm: 7965 622 294 7529 0 412 0
Current children cumulated CPU time (s) 2022.13
Current children cumulated vsize (KiB) 31860
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/182 8234
/proc/meminfo: memFree=31693064/32770624 swapFree=0/265736
[pid=7959] ppid=7956 vsize=31860 CPUtime=2082.13 cores=0,2,4,6
/proc/7959/stat : 7959 (BTD) R 7956 7959 6971 0 -1 4202496 8340 0 0 0 206546 1667 0 0 20 0 1 0 12456157 32624640 622 18446744073709551615 4194304 35031035 140723881915424 140723881914424 7760122 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 57122816 140723881918981 140723881919057 140723881919057 140723881922513 0
/proc/7959/statm: 7965 622 294 7529 0 412 0
Current children cumulated CPU time (s) 2082.13
Current children cumulated vsize (KiB) 31860
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/182 8236
/proc/meminfo: memFree=31693064/32770624 swapFree=0/265764
[pid=7959] ppid=7956 vsize=31860 CPUtime=2142.12 cores=0,2,4,6
/proc/7959/stat : 7959 (BTD) R 7956 7959 6971 0 -1 4202496 8515 0 0 0 212496 1716 0 0 20 0 1 0 12456157 32624640 623 18446744073709551615 4194304 35031035 140723881915424 140723881914424 7416166 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 57122816 140723881918981 140723881919057 140723881919057 140723881922513 0
/proc/7959/statm: 7965 623 294 7529 0 412 0
Current children cumulated CPU time (s) 2142.12
Current children cumulated vsize (KiB) 31860
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.03 3/182 8238
/proc/meminfo: memFree=31693024/32770624 swapFree=0/265796
[pid=7959] ppid=7956 vsize=31860 CPUtime=2202.13 cores=0,2,4,6
/proc/7959/stat : 7959 (BTD) R 7956 7959 6971 0 -1 4202496 8689 0 0 0 218446 1767 0 0 20 0 1 0 12456157 32624640 623 18446744073709551615 4194304 35031035 140723881915424 140723881914424 7760122 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 57122816 140723881918981 140723881919057 140723881919057 140723881922513 0
/proc/7959/statm: 7965 623 294 7529 0 412 0
Current children cumulated CPU time (s) 2202.13
Current children cumulated vsize (KiB) 31860
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/181 8240
/proc/meminfo: memFree=31693668/32770624 swapFree=0/265824
[pid=7959] ppid=7956 vsize=31860 CPUtime=2262.12 cores=0,2,4,6
/proc/7959/stat : 7959 (BTD) R 7956 7959 6971 0 -1 4202496 8880 0 0 0 224392 1820 0 0 20 0 1 0 12456157 32624640 623 18446744073709551615 4194304 35031035 140723881915424 140723881914424 7760122 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 57122816 140723881918981 140723881919057 140723881919057 140723881922513 0
/proc/7959/statm: 7965 623 294 7529 0 412 0
Current children cumulated CPU time (s) 2262.12
Current children cumulated vsize (KiB) 31860
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/181 8242
/proc/meminfo: memFree=31693640/32770624 swapFree=0/265852
[pid=7959] ppid=7956 vsize=31860 CPUtime=2322.12 cores=0,2,4,6
/proc/7959/stat : 7959 (BTD) R 7956 7959 6971 0 -1 4202496 9057 0 0 0 230344 1868 0 0 20 0 1 0 12456157 32624640 625 18446744073709551615 4194304 35031035 140723881915424 140723881914424 7760122 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 57122816 140723881918981 140723881919057 140723881919057 140723881922513 0
/proc/7959/statm: 7965 625 294 7529 0 412 0
Current children cumulated CPU time (s) 2322.12
Current children cumulated vsize (KiB) 31860
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/181 8244
/proc/meminfo: memFree=31693812/32770624 swapFree=0/265880
[pid=7959] ppid=7956 vsize=31860 CPUtime=2382.11 cores=0,2,4,6
/proc/7959/stat : 7959 (BTD) R 7956 7959 6971 0 -1 4202496 9233 0 0 0 236297 1914 0 0 20 0 1 0 12456157 32624640 625 18446744073709551615 4194304 35031035 140723881915424 140723881914424 7760122 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 57122816 140723881918981 140723881919057 140723881919057 140723881922513 0
/proc/7959/statm: 7965 625 294 7529 0 412 0
Current children cumulated CPU time (s) 2382.11
Current children cumulated vsize (KiB) 31860
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/181 8246
/proc/meminfo: memFree=31693308/32770624 swapFree=0/265912
[pid=7959] ppid=7956 vsize=31860 CPUtime=2442.11 cores=0,2,4,6
/proc/7959/stat : 7959 (BTD) R 7956 7959 6971 0 -1 4202496 9409 0 0 0 242249 1962 0 0 20 0 1 0 12456157 32624640 625 18446744073709551615 4194304 35031035 140723881915424 140723881914424 4213296 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 57122816 140723881918981 140723881919057 140723881919057 140723881922513 0
/proc/7959/statm: 7965 625 294 7529 0 412 0
Current children cumulated CPU time (s) 2442.11
Current children cumulated vsize (KiB) 31860
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/181 8248
/proc/meminfo: memFree=31693440/32770624 swapFree=0/265940
[pid=7959] ppid=7956 vsize=31860 CPUtime=2502.11 cores=0,2,4,6
/proc/7959/stat : 7959 (BTD) R 7956 7959 6971 0 -1 4202496 9611 0 0 0 248204 2007 0 0 20 0 1 0 12456157 32624640 625 18446744073709551615 4194304 35031035 140723881915424 140723881914424 6458813 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 57122816 140723881918981 140723881919057 140723881919057 140723881922513 0
/proc/7959/statm: 7965 625 294 7529 0 412 0
Current children cumulated CPU time (s) 2502.11
Current children cumulated vsize (KiB) 31860
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.08 2.03 2.04 3/184 8263
/proc/meminfo: memFree=31689484/32770624 swapFree=0/265992
[pid=7959] ppid=7956 vsize=31860 CPUtime=2519.82 cores=0,2,4,6
/proc/7959/stat : 7959 (BTD) R 7956 7959 6971 0 -1 4202496 9787 0 0 0 249962 2020 0 0 20 0 1 0 12456157 32624640 626 18446744073709551615 4194304 35031035 140723881915424 140723881914424 7760122 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 57122816 140723881918981 140723881919057 140723881919057 140723881922513 0
/proc/7959/statm: 7965 626 294 7529 0 412 0
Current children cumulated CPU time (s) 2519.82
Current children cumulated vsize (KiB) 31860
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 7959 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): 2520
CPU time (s): 2519.82
CPU user time (s): 2499.62
CPU system time (s): 20.2003
CPU usage (%): 99.9929
Max. virtual memory (cumulated for all children) (KiB): 31860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2499.62
system time used= 20.2003
maximum resident set size= 2504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9787
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= 3153
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.76786 second user time and 8.82099 second system time
The end