runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (6739 MiB free)
memory of node 1: 16384 MiB (9033 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293740-1532482420/watcher-4293740-1532482420 -o /tmp/evaluation-result-4293740-1532482420/solver-4293740-1532482420 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532466477-17021 --watchdog 2580 BTD 12 2520 HOME/instance-4293740-1532482420.xml
running on 4 cores: 1,3,5,7
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20328, runsolver pid=20325
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 2.06 2.01 2.05 3/188 20329
/proc/meminfo: memFree=16136816/32770624 swapFree=67108860/67108860
[pid=20328] ppid=20325 vsize=47116 memory=16584 CPUtime=0.1 cores=1,3,5,7
/proc/20328/stat : 20328 (BTD) R 20325 20328 16989 0 -1 4202496 4466 0 0 0 10 0 0 0 20 0 1 0 65805214 48246784 4146 33554432000 4194304 36388972 140735456945248 140735456939208 7934399 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38838272 140735456953532 140735456953611 140735456953611 140735456956369 0
/proc/20328/statm: 11779 4146 443 7861 0 3883 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 47116 KiB
Current children cumulated memory: 16584 KiB
[startup+0.209692 s]*
/proc/loadavg: 2.06 2.01 2.05 3/188 20329
/proc/meminfo: memFree=16136444/32770624 swapFree=67108860/67108860
[pid=20328] ppid=20325 vsize=47380 memory=17112 CPUtime=0.21 cores=1,3,5,7
/proc/20328/stat : 20328 (BTD) R 20325 20328 16989 0 -1 4202496 4555 0 0 0 21 0 0 0 20 0 1 0 65805214 48517120 4278 33554432000 4194304 36388972 140735456945248 140735456939208 4212725 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38838272 140735456953532 140735456953611 140735456953611 140735456956369 0
/proc/20328/statm: 11845 4278 443 7861 0 3949 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 47380 KiB
Current children cumulated memory: 17112 KiB
[startup+0.308934 s]*
/proc/loadavg: 2.06 2.01 2.05 3/188 20329
/proc/meminfo: memFree=16136072/32770624 swapFree=67108860/67108860
[pid=20328] ppid=20325 vsize=47644 memory=17376 CPUtime=0.31 cores=1,3,5,7
/proc/20328/stat : 20328 (BTD) R 20325 20328 16989 0 -1 4202496 4617 0 0 0 31 0 0 0 20 0 1 0 65805214 48787456 4344 33554432000 4194304 36388972 140735456945248 140735456939208 7747076 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38838272 140735456953532 140735456953611 140735456953611 140735456956369 0
/proc/20328/statm: 11911 4344 443 7861 0 4015 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 47644 KiB
Current children cumulated memory: 17376 KiB
[startup+0.700233 s]
/proc/loadavg: 2.06 2.01 2.05 3/188 20329
/proc/meminfo: memFree=16135700/32770624 swapFree=67108860/67108860
[pid=20328] ppid=20325 vsize=48304 memory=17904 CPUtime=0.69 cores=1,3,5,7
/proc/20328/stat : 20328 (BTD) R 20325 20328 16989 0 -1 4202496 4768 0 0 0 69 0 0 0 20 0 1 0 65805214 49463296 4476 33554432000 4194304 36388972 140735456945248 140735456939208 4212725 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38838272 140735456953532 140735456953611 140735456953611 140735456956369 0
/proc/20328/statm: 12076 4476 443 7861 0 4180 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 48304 KiB
Current children cumulated memory: 17904 KiB
[startup+1.50023 s]
/proc/loadavg: 2.06 2.01 2.05 3/188 20329
/proc/meminfo: memFree=16134584/32770624 swapFree=67108860/67108860
[pid=20328] ppid=20325 vsize=49096 memory=18696 CPUtime=1.49 cores=1,3,5,7
/proc/20328/stat : 20328 (BTD) R 20325 20328 16989 0 -1 4202496 4975 0 0 0 149 0 0 0 20 0 1 0 65805214 50274304 4674 33554432000 4194304 36388972 140735456945248 140735456939208 4212798 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38838272 140735456953532 140735456953611 140735456953611 140735456956369 0
/proc/20328/statm: 12274 4674 443 7861 0 4378 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 49096 KiB
Current children cumulated memory: 18696 KiB
[startup+3.10925 s]
/proc/loadavg: 2.06 2.01 2.05 3/188 20329
/proc/meminfo: memFree=16131860/32770624 swapFree=67108860/67108860
[pid=20328] ppid=20325 vsize=51604 memory=21164 CPUtime=3.1 cores=1,3,5,7
/proc/20328/stat : 20328 (BTD) R 20325 20328 16989 0 -1 4202496 8888 0 0 0 310 0 0 0 20 0 1 0 65805214 52842496 5291 33554432000 4194304 36388972 140735456945248 140735456939272 4212500 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38838272 140735456953532 140735456953611 140735456953611 140735456956369 0
/proc/20328/statm: 12901 5291 443 7861 0 5005 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 51604 KiB
Current children cumulated memory: 21164 KiB
[startup+6.30022 s]
/proc/loadavg: 2.06 2.01 2.05 3/188 20329
/proc/meminfo: memFree=16126716/32770624 swapFree=67108860/67108860
[pid=20328] ppid=20325 vsize=57016 memory=26768 CPUtime=6.29 cores=1,3,5,7
/proc/20328/stat : 20328 (BTD) R 20325 20328 16989 0 -1 4202496 13610 0 0 0 628 1 0 0 20 0 1 0 65805214 58384384 6692 33554432000 4194304 36388972 140735456945248 140735456939080 4212721 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38838272 140735456953532 140735456953611 140735456953611 140735456956369 0
/proc/20328/statm: 14254 6692 443 7861 0 6358 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 57016 KiB
Current children cumulated memory: 26768 KiB
[startup+12.7002 s]
/proc/loadavg: 2.05 2.01 2.05 3/188 20329
/proc/meminfo: memFree=16116112/32770624 swapFree=67108860/67108860
[pid=20328] ppid=20325 vsize=67312 memory=36944 CPUtime=12.69 cores=1,3,5,7
/proc/20328/stat : 20328 (BTD) R 20325 20328 16989 0 -1 4202496 20740 0 0 0 1267 2 0 0 20 0 1 0 65805214 68927488 9236 33554432000 4194304 36388972 140735456945248 140735456938616 4212528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38838272 140735456953532 140735456953611 140735456953611 140735456956369 0
/proc/20328/statm: 16828 9236 446 7861 0 8932 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 67312 KiB
Current children cumulated memory: 36944 KiB
[startup+25.5004 s]
/proc/loadavg: 2.04 2.01 2.05 3/188 20329
/proc/meminfo: memFree=15699208/32770624 swapFree=67108860/67108860
[pid=20328] ppid=20325 vsize=484620 memory=453776 CPUtime=25.49 cores=1,3,5,7
/proc/20328/stat : 20328 (BTD) R 20325 20328 16989 0 -1 4202496 136319 0 0 0 2533 16 0 0 20 0 1 0 65805214 496250880 113444 33554432000 4194304 36388972 140735456945248 140735456944088 4661808 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38838272 140735456953532 140735456953611 140735456953611 140735456956369 0
/proc/20328/statm: 121155 113444 498 7861 0 113259 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 484620 KiB
Current children cumulated memory: 453776 KiB
[startup+51.1098 s]
/proc/loadavg: 2.03 2.01 2.05 3/188 20329
/proc/meminfo: memFree=15697220/32770624 swapFree=67108860/67108860
[pid=20328] ppid=20325 vsize=486296 memory=455540 CPUtime=51.08 cores=1,3,5,7
/proc/20328/stat : 20328 (BTD) R 20325 20328 16989 0 -1 4202496 137562 0 0 0 5089 19 0 0 20 0 1 0 65805214 497967104 113885 33554432000 4194304 36388972 140735456945248 140735456944088 4661877 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38838272 140735456953532 140735456953611 140735456953611 140735456956369 0
/proc/20328/statm: 121574 113885 502 7861 0 113678 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 486296 KiB
Current children cumulated memory: 455540 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/188 20330
/proc/meminfo: memFree=15696336/32770624 swapFree=67108860/67108860
[pid=20328] ppid=20325 vsize=486848 memory=456096 CPUtime=102.28 cores=1,3,5,7
/proc/20328/stat : 20328 (BTD) R 20325 20328 16989 0 -1 4202496 138536 0 0 0 10203 25 0 0 20 0 1 0 65805214 498532352 114024 33554432000 4194304 36388972 140735456945248 140735456944088 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38838272 140735456953532 140735456953611 140735456953611 140735456956369 0
/proc/20328/statm: 121712 114024 512 7861 0 113816 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 486848 KiB
Current children cumulated memory: 456096 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20331
/proc/meminfo: memFree=15694480/32770624 swapFree=67108860/67108860
[pid=20328] ppid=20325 vsize=488244 memory=457500 CPUtime=162.28 cores=1,3,5,7
/proc/20328/stat : 20328 (BTD) R 20325 20328 16989 0 -1 4202496 139957 0 0 0 16195 33 0 0 20 0 1 0 65805214 499961856 114375 33554432000 4194304 36388972 140735456945248 140735456944088 4567523 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38838272 140735456953532 140735456953611 140735456953611 140735456956369 0
/proc/20328/statm: 122061 114375 512 7861 0 114165 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 488244 KiB
Current children cumulated memory: 457500 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20332
/proc/meminfo: memFree=15693076/32770624 swapFree=67108860/67108860
[pid=20328] ppid=20325 vsize=489488 memory=458504 CPUtime=222.28 cores=1,3,5,7
/proc/20328/stat : 20328 (BTD) R 20325 20328 16989 0 -1 4202496 141339 0 0 0 22189 39 0 0 20 0 1 0 65805214 501235712 114626 33554432000 4194304 36388972 140735456945248 140735456944088 4661808 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38838272 140735456953532 140735456953611 140735456953611 140735456956369 0
/proc/20328/statm: 122372 114626 512 7861 0 114476 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 489488 KiB
Current children cumulated memory: 458504 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20333
/proc/meminfo: memFree=15692004/32770624 swapFree=67108860/67108860
[pid=20328] ppid=20325 vsize=490460 memory=459708 CPUtime=282.29 cores=1,3,5,7
/proc/20328/stat : 20328 (BTD) R 20325 20328 16989 0 -1 4202496 142745 0 0 0 28183 46 0 0 20 0 1 0 65805214 502231040 114927 33554432000 4194304 36388972 140735456945248 140735456944088 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38838272 140735456953532 140735456953611 140735456953611 140735456956369 0
/proc/20328/statm: 122615 114927 512 7861 0 114719 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 490460 KiB
Current children cumulated memory: 459708 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20334
/proc/meminfo: memFree=15690492/32770624 swapFree=67108860/67108860
[pid=20328] ppid=20325 vsize=491408 memory=461060 CPUtime=342.28 cores=1,3,5,7
/proc/20328/stat : 20328 (BTD) R 20325 20328 16989 0 -1 4202496 143395 0 0 0 34176 52 0 0 20 0 1 0 65805214 503201792 115265 33554432000 4194304 36388972 140735456945248 140735456944088 4661808 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38838272 140735456953532 140735456953611 140735456953611 140735456956369 0
/proc/20328/statm: 122852 115265 512 7861 0 114956 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 491408 KiB
Current children cumulated memory: 461060 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 20349
/proc/meminfo: memFree=15689112/32770624 swapFree=67108860/67108860
[pid=20328] ppid=20325 vsize=491852 memory=461684 CPUtime=402.28 cores=1,3,5,7
/proc/20328/stat : 20328 (BTD) R 20325 20328 16989 0 -1 4202496 143976 0 0 0 40170 58 0 0 20 0 1 0 65805214 503656448 115421 33554432000 4194304 36388972 140735456945248 140735456944088 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38838272 140735456953532 140735456953611 140735456953611 140735456956369 0
/proc/20328/statm: 122963 115421 512 7861 0 115067 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 491852 KiB
Current children cumulated memory: 461684 KiB
[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/189 20350
/proc/meminfo: memFree=15689380/32770624 swapFree=67108860/67108860
[pid=20328] ppid=20325 vsize=492324 memory=462088 CPUtime=462.28 cores=1,3,5,7
/proc/20328/stat : 20328 (BTD) R 20325 20328 16989 0 -1 4202496 144629 0 0 0 46163 65 0 0 20 0 1 0 65805214 504139776 115522 33554432000 4194304 36388972 140735456945248 140735456944088 4661877 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38838272 140735456953532 140735456953611 140735456953611 140735456956369 0
/proc/20328/statm: 123081 115522 512 7861 0 115185 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 492324 KiB
Current children cumulated memory: 462088 KiB
################
# More data... #
################
/proc/20328/statm: 123988 116481 514 7861 0 116092 0
Current children cumulated CPU time: 1722.31 s
Current children cumulated vsize: 495952 KiB
Current children cumulated memory: 465924 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 20413
/proc/meminfo: memFree=15682376/32770624 swapFree=67108860/67108860
[pid=20328] ppid=20325 vsize=495952 memory=465924 CPUtime=1782.31 cores=1,3,5,7
/proc/20328/stat : 20328 (BTD) R 20325 20328 16989 0 -1 4202496 155105 0 0 0 178041 190 0 0 20 0 1 0 65805214 507854848 116481 33554432000 4194304 36388972 140735456945248 140735456944088 6663868 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38838272 140735456953532 140735456953611 140735456953611 140735456956369 0
/proc/20328/statm: 123988 116481 514 7861 0 116092 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 495952 KiB
Current children cumulated memory: 465924 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 20414
/proc/meminfo: memFree=15682688/32770624 swapFree=67108860/67108860
[pid=20328] ppid=20325 vsize=496100 memory=465996 CPUtime=1842.31 cores=1,3,5,7
/proc/20328/stat : 20328 (BTD) R 20325 20328 16989 0 -1 4202496 155572 0 0 0 184037 194 0 0 20 0 1 0 65805214 508006400 116499 33554432000 4194304 36388972 140735456945248 140735456944088 4661808 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38838272 140735456953532 140735456953611 140735456953611 140735456956369 0
/proc/20328/statm: 124025 116499 514 7861 0 116129 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 496100 KiB
Current children cumulated memory: 465996 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 20415
/proc/meminfo: memFree=15682660/32770624 swapFree=67108860/67108860
[pid=20328] ppid=20325 vsize=496100 memory=465996 CPUtime=1902.31 cores=1,3,5,7
/proc/20328/stat : 20328 (BTD) R 20325 20328 16989 0 -1 4202496 155905 0 0 0 190030 201 0 0 20 0 1 0 65805214 508006400 116499 33554432000 4194304 36388972 140735456945248 140735456944088 4661813 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38838272 140735456953532 140735456953611 140735456953611 140735456956369 0
/proc/20328/statm: 124025 116499 514 7861 0 116129 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 496100 KiB
Current children cumulated memory: 465996 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 20416
/proc/meminfo: memFree=15682476/32770624 swapFree=67108860/67108860
[pid=20328] ppid=20325 vsize=496100 memory=466044 CPUtime=1962.32 cores=1,3,5,7
/proc/20328/stat : 20328 (BTD) R 20325 20328 16989 0 -1 4202496 156367 0 0 0 196024 208 0 0 20 0 1 0 65805214 508006400 116511 33554432000 4194304 36388972 140735456945248 140735456944088 4661808 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38838272 140735456953532 140735456953611 140735456953611 140735456956369 0
/proc/20328/statm: 124025 116511 514 7861 0 116129 0
Current children cumulated CPU time: 1962.32 s
Current children cumulated vsize: 496100 KiB
Current children cumulated memory: 466044 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 20417
/proc/meminfo: memFree=15682660/32770624 swapFree=67108860/67108860
[pid=20328] ppid=20325 vsize=496100 memory=466044 CPUtime=2022.32 cores=1,3,5,7
/proc/20328/stat : 20328 (BTD) R 20325 20328 16989 0 -1 4202496 156683 0 0 0 202018 214 0 0 20 0 1 0 65805214 508006400 116511 33554432000 4194304 36388972 140735456945248 140735456944088 4661813 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38838272 140735456953532 140735456953611 140735456953611 140735456956369 0
/proc/20328/statm: 124025 116511 514 7861 0 116129 0
Current children cumulated CPU time: 2022.32 s
Current children cumulated vsize: 496100 KiB
Current children cumulated memory: 466044 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 20418
/proc/meminfo: memFree=15682600/32770624 swapFree=67108860/67108860
[pid=20328] ppid=20325 vsize=496100 memory=466088 CPUtime=2082.33 cores=1,3,5,7
/proc/20328/stat : 20328 (BTD) R 20325 20328 16989 0 -1 4202496 157194 0 0 0 208012 221 0 0 20 0 1 0 65805214 508006400 116522 33554432000 4194304 36388972 140735456945248 140735456944088 4661808 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38838272 140735456953532 140735456953611 140735456953611 140735456956369 0
/proc/20328/statm: 124025 116522 514 7861 0 116129 0
Current children cumulated CPU time: 2082.33 s
Current children cumulated vsize: 496100 KiB
Current children cumulated memory: 466088 KiB
[startup+2142.3 s]
/proc/loadavg: 1.92 2.00 2.04 3/187 20419
/proc/meminfo: memFree=15683148/32770624 swapFree=67108860/67108860
[pid=20328] ppid=20325 vsize=496240 memory=466112 CPUtime=2142.32 cores=1,3,5,7
/proc/20328/stat : 20328 (BTD) R 20325 20328 16989 0 -1 4202496 157657 0 0 0 214004 228 0 0 20 0 1 0 65805214 508149760 116528 33554432000 4194304 36388972 140735456945248 140735456944088 4661808 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 38838272 140735456953532 140735456953611 140735456953611 140735456956369 0
/proc/20328/statm: 124060 116528 514 7861 0 116164 0
Current children cumulated CPU time: 2142.32 s
Current children cumulated vsize: 496240 KiB
Current children cumulated memory: 466112 KiB
[startup+2202.3 s]
/proc/loadavg: 1.97 2.00 2.04 3/187 20427
/proc/meminfo: memFree=15681408/32770624 swapFree=67108860/67108860
[pid=20328] ppid=20325 vsize=496240 memory=466112 CPUtime=2202.32 cores=1,3,5,7
/proc/20328/stat : 20328 (BTD) R 20325 20328 16989 0 -1 4202496 157971 0 0 0 219996 236 0 0 20 0 1 0 65805214 508149760 116528 33554432000 4194304 36388972 140735456945248 140735456944088 4661808 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 38838272 140735456953532 140735456953611 140735456953611 140735456956369 0
/proc/20328/statm: 124060 116528 514 7861 0 116164 0
Current children cumulated CPU time: 2202.32 s
Current children cumulated vsize: 496240 KiB
Current children cumulated memory: 466112 KiB
[startup+2262.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 20428
/proc/meminfo: memFree=15681340/32770624 swapFree=67108860/67108860
[pid=20328] ppid=20325 vsize=496240 memory=466184 CPUtime=2262.33 cores=1,3,5,7
/proc/20328/stat : 20328 (BTD) R 20325 20328 16989 0 -1 4202496 158384 0 0 0 225987 246 0 0 20 0 1 0 65805214 508149760 116546 33554432000 4194304 36388972 140735456945248 140735456944088 8047815 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 38838272 140735456953532 140735456953611 140735456953611 140735456956369 0
/proc/20328/statm: 124060 116546 514 7861 0 116164 0
Current children cumulated CPU time: 2262.33 s
Current children cumulated vsize: 496240 KiB
Current children cumulated memory: 466184 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 20490
/proc/meminfo: memFree=15688444/32770624 swapFree=67108860/67108860
[pid=20328] ppid=20325 vsize=496240 memory=466184 CPUtime=2322.32 cores=1,3,5,7
/proc/20328/stat : 20328 (BTD) R 20325 20328 16989 0 -1 4202496 158867 0 0 0 231983 249 0 0 20 0 1 0 65805214 508149760 116546 33554432000 4194304 36388972 140735456945248 140735456944088 8047815 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 38838272 140735456953532 140735456953611 140735456953611 140735456956369 0
/proc/20328/statm: 124060 116546 514 7861 0 116164 0
Current children cumulated CPU time: 2322.32 s
Current children cumulated vsize: 496240 KiB
Current children cumulated memory: 466184 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 20491
/proc/meminfo: memFree=15688048/32770624 swapFree=67108860/67108860
[pid=20328] ppid=20325 vsize=496240 memory=466184 CPUtime=2382.33 cores=1,3,5,7
/proc/20328/stat : 20328 (BTD) R 20325 20328 16989 0 -1 4202496 159237 0 0 0 237979 254 0 0 20 0 1 0 65805214 508149760 116546 33554432000 4194304 36388972 140735456945248 140735456944088 6663863 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 38838272 140735456953532 140735456953611 140735456953611 140735456956369 0
/proc/20328/statm: 124060 116546 514 7861 0 116164 0
Current children cumulated CPU time: 2382.33 s
Current children cumulated vsize: 496240 KiB
Current children cumulated memory: 466184 KiB
[startup+2442.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/186 20552
/proc/meminfo: memFree=15636092/32770624 swapFree=67108860/67108860
[pid=20328] ppid=20325 vsize=496240 memory=466188 CPUtime=2442.33 cores=1,3,5,7
/proc/20328/stat : 20328 (BTD) R 20325 20328 16989 0 -1 4202496 159604 0 0 0 243974 259 0 0 20 0 1 0 65805214 508149760 116547 33554432000 4194304 36388972 140735456945248 140735456944088 6663863 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 38838272 140735456953532 140735456953611 140735456953611 140735456956369 0
/proc/20328/statm: 124060 116547 514 7861 0 116164 0
Current children cumulated CPU time: 2442.33 s
Current children cumulated vsize: 496240 KiB
Current children cumulated memory: 466188 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/187 20554
/proc/meminfo: memFree=15635404/32770624 swapFree=67108860/67108860
[pid=20328] ppid=20325 vsize=496380 memory=466272 CPUtime=2502.34 cores=1,3,5,7
/proc/20328/stat : 20328 (BTD) R 20325 20328 16989 0 -1 4202496 160095 0 0 0 249970 264 0 0 20 0 1 0 65805214 508293120 116568 33554432000 4194304 36388972 140735456945248 140735456944088 6663863 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 38838272 140735456953532 140735456953611 140735456953611 140735456956369 0
/proc/20328/statm: 124095 116568 514 7861 0 116199 0
Current children cumulated CPU time: 2502.34 s
Current children cumulated vsize: 496380 KiB
Current children cumulated memory: 466272 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.01 2.01 2.05 3/187 20555
/proc/meminfo: memFree=15635156/32770624 swapFree=67108860/67108860
[pid=20328] ppid=20325 vsize=496380 memory=466276 CPUtime=2520.04 cores=1,3,5,7
/proc/20328/stat : 20328 (BTD) R 20325 20328 16989 0 -1 4202496 160099 0 0 0 251739 265 0 0 20 0 1 0 65805214 508293120 116569 33554432000 4194304 36388972 140735456945248 140735456944088 4661808 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 38838272 140735456953532 140735456953611 140735456953611 140735456956369 0
/proc/20328/statm: 124095 116569 514 7861 0 116199 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 496380 KiB
Current children cumulated memory: 466276 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 20328 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.4 s, system=2.65206 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.01
CPU time (s): 2520.05
CPU user time (s): 2517.4
CPU system time (s): 2.65206
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 496380
Max. memory (cumulated for all children) (KiB): 466276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.4
system time used= 2.65206
maximum resident set size= 466276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160099
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= 933
# summary of solver processes directly reported to runsolver:
# pid: 20328
# total CPU time (s): 2520.05
# total CPU user time (s): 2517.4
# total CPU system time (s): 2.65206
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5696 second user time and 18.4185 second system time
The end