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 (8063 MiB free)
memory of node 1: 16384 MiB (12702 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296166-1532605403/watcher-4296166-1532605403 -o /tmp/evaluation-result-4296166-1532605403/solver-4296166-1532605403 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532582651-32357 --watchdog 2580 BTD 3 2520 HOME/instance-4296166-1532605403.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=3052, runsolver pid=3049
Starting watchdog threadCurrent StackSize limit: 8192 KiB
[startup+0.100165 s]*
/proc/loadavg: 1.98 2.00 2.04 3/188 3053
/proc/meminfo: memFree=21255968/32770624 swapFree=67108860/67108860
[pid=3052] ppid=3049 vsize=41196 memory=11024 CPUtime=0.1 cores=1,3,5,7
/proc/3052/stat : 3052 (BTD) R 3049 3052 32325 0 -1 4202496 2884 0 0 0 10 0 0 0 20 0 1 0 78103484 42184704 2690 33554432000 4194304 36388972 140728224050480 140728224050480 6634286 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 52023296 140728224052413 140728224052491 140728224052491 140728224055249 0
/proc/3052/statm: 10299 2690 438 7861 0 2403 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41196 KiB
Current children cumulated memory: 11024 KiB
[startup+0.20971 s]*
/proc/loadavg: 1.98 2.00 2.04 3/188 3053
/proc/meminfo: memFree=21250760/32770624 swapFree=67108860/67108860
[pid=3052] ppid=3049 vsize=46376 memory=16304 CPUtime=0.2 cores=1,3,5,7
/proc/3052/stat : 3052 (BTD) R 3049 3052 32325 0 -1 4202496 4211 0 0 0 20 0 0 0 20 0 1 0 78103484 47489024 4076 33554432000 4194304 36388972 140728224050480 140728224050480 7657238 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 52023296 140728224052413 140728224052491 140728224052491 140728224055249 0
/proc/3052/statm: 11594 4076 458 7861 0 3698 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 46376 KiB
Current children cumulated memory: 16304 KiB
[startup+0.3095 s]*
/proc/loadavg: 1.98 2.00 2.04 3/188 3053
/proc/meminfo: memFree=21246296/32770624 swapFree=67108860/67108860
[pid=3052] ppid=3049 vsize=50984 memory=20528 CPUtime=0.31 cores=1,3,5,7
/proc/3052/stat : 3052 (BTD) R 3049 3052 32325 0 -1 4202496 5269 0 0 0 30 1 0 0 20 0 1 0 78103484 52207616 5132 33554432000 4194304 36388972 140728224050480 140728224050480 4626322 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 52023296 140728224052413 140728224052491 140728224052491 140728224055249 0
/proc/3052/statm: 12746 5132 509 7861 0 4850 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 50984 KiB
Current children cumulated memory: 20528 KiB
[startup+0.70038 s]
/proc/loadavg: 1.98 2.00 2.04 3/188 3053
/proc/meminfo: memFree=21246296/32770624 swapFree=67108860/67108860
[pid=3052] ppid=3049 vsize=51116 memory=20528 CPUtime=0.69 cores=1,3,5,7
/proc/3052/stat : 3052 (BTD) R 3049 3052 32325 0 -1 4202496 5300 0 0 0 68 1 0 0 20 0 1 0 78103484 52342784 5132 33554432000 4194304 36388972 140728224050480 140728224050480 4356616 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 52023296 140728224052413 140728224052491 140728224052491 140728224055249 0
/proc/3052/statm: 12779 5132 509 7861 0 4883 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 51116 KiB
Current children cumulated memory: 20528 KiB
[startup+1.50033 s]
/proc/loadavg: 1.98 2.00 2.04 3/188 3053
/proc/meminfo: memFree=21246012/32770624 swapFree=67108860/67108860
[pid=3052] ppid=3049 vsize=51116 memory=20528 CPUtime=1.49 cores=1,3,5,7
/proc/3052/stat : 3052 (BTD) R 3049 3052 32325 0 -1 4202496 5326 0 0 0 148 1 0 0 20 0 1 0 78103484 52342784 5132 33554432000 4194304 36388972 140728224050480 140728224049320 6663901 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 52023296 140728224052413 140728224052491 140728224052491 140728224055249 0
/proc/3052/statm: 12779 5132 509 7861 0 4883 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 51116 KiB
Current children cumulated memory: 20528 KiB
[startup+3.10933 s]
/proc/loadavg: 1.98 2.00 2.04 3/188 3053
/proc/meminfo: memFree=21245932/32770624 swapFree=67108860/67108860
[pid=3052] ppid=3049 vsize=51248 memory=20860 CPUtime=3.1 cores=1,3,5,7
/proc/3052/stat : 3052 (BTD) R 3049 3052 32325 0 -1 4202496 7935 0 0 0 309 1 0 0 20 0 1 0 78103484 52477952 5215 33554432000 4194304 36388972 140728224050480 140728224049320 4356633 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 52023296 140728224052413 140728224052491 140728224052491 140728224055249 0
/proc/3052/statm: 12812 5215 509 7861 0 4916 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 51248 KiB
Current children cumulated memory: 20860 KiB
[startup+6.30027 s]
/proc/loadavg: 1.98 2.00 2.04 3/188 3053
/proc/meminfo: memFree=21245832/32770624 swapFree=67108860/67108860
[pid=3052] ppid=3049 vsize=51248 memory=20880 CPUtime=6.29 cores=1,3,5,7
/proc/3052/stat : 3052 (BTD) R 3049 3052 32325 0 -1 4202496 10378 0 0 0 628 1 0 0 20 0 1 0 78103484 52477952 5220 33554432000 4194304 36388972 140728224050480 140728224049320 4356616 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 52023296 140728224052413 140728224052491 140728224052491 140728224055249 0
/proc/3052/statm: 12812 5220 509 7861 0 4916 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 51248 KiB
Current children cumulated memory: 20880 KiB
[startup+12.7003 s]
/proc/loadavg: 1.98 2.00 2.04 3/188 3053
/proc/meminfo: memFree=21245220/32770624 swapFree=67108860/67108860
[pid=3052] ppid=3049 vsize=52040 memory=21576 CPUtime=12.69 cores=1,3,5,7
/proc/3052/stat : 3052 (BTD) R 3049 3052 32325 0 -1 4202496 13925 0 0 0 1268 1 0 0 20 0 1 0 78103484 53288960 5394 33554432000 4194304 36388972 140728224050480 140728224049320 4356623 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 52023296 140728224052413 140728224052491 140728224052491 140728224055249 0
/proc/3052/statm: 13010 5394 511 7861 0 5114 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 52040 KiB
Current children cumulated memory: 21576 KiB
[startup+25.5003 s]
/proc/loadavg: 1.98 2.00 2.04 3/188 3053
/proc/meminfo: memFree=21244724/32770624 swapFree=67108860/67108860
[pid=3052] ppid=3049 vsize=52436 memory=22108 CPUtime=25.49 cores=1,3,5,7
/proc/3052/stat : 3052 (BTD) R 3049 3052 32325 0 -1 4202496 20982 0 0 0 2548 1 0 0 20 0 1 0 78103484 53694464 5527 33554432000 4194304 36388972 140728224050480 140728224049320 4356616 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 52023296 140728224052413 140728224052491 140728224052491 140728224055249 0
/proc/3052/statm: 13109 5527 511 7861 0 5213 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 52436 KiB
Current children cumulated memory: 22108 KiB
[startup+51.1092 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 3053
/proc/meminfo: memFree=21244460/32770624 swapFree=67108860/67108860
[pid=3052] ppid=3049 vsize=52436 memory=22140 CPUtime=51.09 cores=1,3,5,7
/proc/3052/stat : 3052 (BTD) R 3049 3052 32325 0 -1 4202496 23707 0 0 0 5108 1 0 0 20 0 1 0 78103484 53694464 5535 33554432000 4194304 36388972 140728224050480 140728224049320 4356628 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 52023296 140728224052413 140728224052491 140728224052491 140728224055249 0
/proc/3052/statm: 13109 5535 511 7861 0 5213 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 52436 KiB
Current children cumulated memory: 22140 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 3054
/proc/meminfo: memFree=21244164/32770624 swapFree=67108860/67108860
[pid=3052] ppid=3049 vsize=52704 memory=22644 CPUtime=102.29 cores=1,3,5,7
/proc/3052/stat : 3052 (BTD) R 3049 3052 32325 0 -1 4202496 24189 0 0 0 10227 2 0 0 20 0 1 0 78103484 53968896 5661 33554432000 4194304 36388972 140728224050480 140728224049320 6663872 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 52023296 140728224052413 140728224052491 140728224052491 140728224055249 0
/proc/3052/statm: 13176 5661 511 7861 0 5280 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 52704 KiB
Current children cumulated memory: 22644 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 3055
/proc/meminfo: memFree=21244412/32770624 swapFree=67108860/67108860
[pid=3052] ppid=3049 vsize=52704 memory=22680 CPUtime=162.29 cores=1,3,5,7
/proc/3052/stat : 3052 (BTD) R 3049 3052 32325 0 -1 4202496 24547 0 0 0 16227 2 0 0 20 0 1 0 78103484 53968896 5670 33554432000 4194304 36388972 140728224050480 140728224049320 4356616 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 52023296 140728224052413 140728224052491 140728224052491 140728224055249 0
/proc/3052/statm: 13176 5670 511 7861 0 5280 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 52704 KiB
Current children cumulated memory: 22680 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 3056
/proc/meminfo: memFree=21244572/32770624 swapFree=67108860/67108860
[pid=3052] ppid=3049 vsize=52704 memory=22716 CPUtime=222.29 cores=1,3,5,7
/proc/3052/stat : 3052 (BTD) R 3049 3052 32325 0 -1 4202496 24892 0 0 0 22227 2 0 0 20 0 1 0 78103484 53968896 5679 33554432000 4194304 36388972 140728224050480 140728224049320 4356628 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 52023296 140728224052413 140728224052491 140728224052491 140728224055249 0
/proc/3052/statm: 13176 5679 511 7861 0 5280 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 52704 KiB
Current children cumulated memory: 22716 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 3057
/proc/meminfo: memFree=21244132/32770624 swapFree=67108860/67108860
[pid=3052] ppid=3049 vsize=52836 memory=22752 CPUtime=282.29 cores=1,3,5,7
/proc/3052/stat : 3052 (BTD) R 3049 3052 32325 0 -1 4202496 25238 0 0 0 28227 2 0 0 20 0 1 0 78103484 54104064 5688 33554432000 4194304 36388972 140728224050480 140728224049320 4356628 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 52023296 140728224052413 140728224052491 140728224052491 140728224055249 0
/proc/3052/statm: 13209 5688 511 7861 0 5313 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 52836 KiB
Current children cumulated memory: 22752 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 3058
/proc/meminfo: memFree=21244336/32770624 swapFree=67108860/67108860
[pid=3052] ppid=3049 vsize=52836 memory=22772 CPUtime=342.29 cores=1,3,5,7
/proc/3052/stat : 3052 (BTD) R 3049 3052 32325 0 -1 4202496 25559 0 0 0 34227 2 0 0 20 0 1 0 78103484 54104064 5693 33554432000 4194304 36388972 140728224050480 140728224049320 4356616 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 52023296 140728224052413 140728224052491 140728224052491 140728224055249 0
/proc/3052/statm: 13209 5693 511 7861 0 5313 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 52836 KiB
Current children cumulated memory: 22772 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 3066
/proc/meminfo: memFree=21243820/32770624 swapFree=67108860/67108860
[pid=3052] ppid=3049 vsize=52836 memory=22796 CPUtime=402.3 cores=1,3,5,7
/proc/3052/stat : 3052 (BTD) R 3049 3052 32325 0 -1 4202496 25882 0 0 0 40227 3 0 0 20 0 1 0 78103484 54104064 5699 33554432000 4194304 36388972 140728224050480 140728224049320 4356616 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 52023296 140728224052413 140728224052491 140728224052491 140728224055249 0
/proc/3052/statm: 13209 5699 511 7861 0 5313 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 52836 KiB
Current children cumulated memory: 22796 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 3067
/proc/meminfo: memFree=21244816/32770624 swapFree=67108860/67108860
[pid=3052] ppid=3049 vsize=52836 memory=22816 CPUtime=462.3 cores=1,3,5,7
/proc/3052/stat : 3052 (BTD) R 3049 3052 32325 0 -1 4202496 26217 0 0 0 46227 3 0 0 20 0 1 0 78103484 54104064 5704 33554432000 4194304 36388972 140728224050480 140728224049320 6663876 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 52023296 140728224052413 140728224052491 140728224052491 140728224055249 0
/proc/3052/statm: 13209 5704 511 7861 0 5313 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 52836 KiB
Current children cumulated memory: 22816 KiB
################
# More data... #
################
/proc/3052/statm: 13275 5759 511 7861 0 5379 0
Current children cumulated CPU time: 1722.32 s
Current children cumulated vsize: 53100 KiB
Current children cumulated memory: 23036 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 3189
/proc/meminfo: memFree=21235744/32770624 swapFree=67108860/67108860
[pid=3052] ppid=3049 vsize=53100 memory=23036 CPUtime=1782.32 cores=1,3,5,7
/proc/3052/stat : 3052 (BTD) R 3049 3052 32325 0 -1 4202496 33801 0 0 0 178228 4 0 0 20 0 1 0 78103484 54374400 5759 33554432000 4194304 36388972 140728224050480 140728224049320 4356552 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 52023296 140728224052413 140728224052491 140728224052491 140728224055249 0
/proc/3052/statm: 13275 5759 511 7861 0 5379 0
Current children cumulated CPU time: 1782.32 s
Current children cumulated vsize: 53100 KiB
Current children cumulated memory: 23036 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 3190
/proc/meminfo: memFree=21236236/32770624 swapFree=67108860/67108860
[pid=3052] ppid=3049 vsize=53100 memory=23044 CPUtime=1842.32 cores=1,3,5,7
/proc/3052/stat : 3052 (BTD) R 3049 3052 32325 0 -1 4202496 34209 0 0 0 184228 4 0 0 20 0 1 0 78103484 54374400 5761 33554432000 4194304 36388972 140728224050480 140728224049320 4356616 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 52023296 140728224052413 140728224052491 140728224052491 140728224055249 0
/proc/3052/statm: 13275 5761 511 7861 0 5379 0
Current children cumulated CPU time: 1842.32 s
Current children cumulated vsize: 53100 KiB
Current children cumulated memory: 23044 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 3191
/proc/meminfo: memFree=21236052/32770624 swapFree=67108860/67108860
[pid=3052] ppid=3049 vsize=53100 memory=23048 CPUtime=1902.32 cores=1,3,5,7
/proc/3052/stat : 3052 (BTD) R 3049 3052 32325 0 -1 4202496 34530 0 0 0 190228 4 0 0 20 0 1 0 78103484 54374400 5762 33554432000 4194304 36388972 140728224050480 140728224049320 4356616 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 52023296 140728224052413 140728224052491 140728224052491 140728224055249 0
/proc/3052/statm: 13275 5762 511 7861 0 5379 0
Current children cumulated CPU time: 1902.32 s
Current children cumulated vsize: 53100 KiB
Current children cumulated memory: 23048 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 3192
/proc/meminfo: memFree=21236312/32770624 swapFree=67108860/67108860
[pid=3052] ppid=3049 vsize=53100 memory=23048 CPUtime=1962.33 cores=1,3,5,7
/proc/3052/stat : 3052 (BTD) R 3049 3052 32325 0 -1 4202496 34848 0 0 0 196229 4 0 0 20 0 1 0 78103484 54374400 5762 33554432000 4194304 36388972 140728224050480 140728224049320 4356619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 52023296 140728224052413 140728224052491 140728224052491 140728224055249 0
/proc/3052/statm: 13275 5762 511 7861 0 5379 0
Current children cumulated CPU time: 1962.33 s
Current children cumulated vsize: 53100 KiB
Current children cumulated memory: 23048 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 3193
/proc/meminfo: memFree=21236116/32770624 swapFree=67108860/67108860
[pid=3052] ppid=3049 vsize=53100 memory=23060 CPUtime=2022.33 cores=1,3,5,7
/proc/3052/stat : 3052 (BTD) R 3049 3052 32325 0 -1 4202496 35243 0 0 0 202229 4 0 0 20 0 1 0 78103484 54374400 5765 33554432000 4194304 36388972 140728224050480 140728224049320 4356642 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 52023296 140728224052413 140728224052491 140728224052491 140728224055249 0
/proc/3052/statm: 13275 5765 511 7861 0 5379 0
Current children cumulated CPU time: 2022.33 s
Current children cumulated vsize: 53100 KiB
Current children cumulated memory: 23060 KiB
[startup+2082.3 s]
/proc/loadavg: 2.03 2.00 2.04 3/187 3194
/proc/meminfo: memFree=21236012/32770624 swapFree=67108860/67108860
[pid=3052] ppid=3049 vsize=53100 memory=23060 CPUtime=2082.34 cores=1,3,5,7
/proc/3052/stat : 3052 (BTD) R 3049 3052 32325 0 -1 4202496 35554 0 0 0 208229 5 0 0 20 0 1 0 78103484 54374400 5765 33554432000 4194304 36388972 140728224050480 140728224049320 4356633 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 52023296 140728224052413 140728224052491 140728224052491 140728224055249 0
/proc/3052/statm: 13275 5765 511 7861 0 5379 0
Current children cumulated CPU time: 2082.34 s
Current children cumulated vsize: 53100 KiB
Current children cumulated memory: 23060 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/187 3195
/proc/meminfo: memFree=21235956/32770624 swapFree=67108860/67108860
[pid=3052] ppid=3049 vsize=53100 memory=23060 CPUtime=2142.33 cores=1,3,5,7
/proc/3052/stat : 3052 (BTD) R 3049 3052 32325 0 -1 4202496 35855 0 0 0 214228 5 0 0 20 0 1 0 78103484 54374400 5765 33554432000 4194304 36388972 140728224050480 140728224049320 4356616 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 52023296 140728224052413 140728224052491 140728224052491 140728224055249 0
/proc/3052/statm: 13275 5765 511 7861 0 5379 0
Current children cumulated CPU time: 2142.33 s
Current children cumulated vsize: 53100 KiB
Current children cumulated memory: 23060 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 3203
/proc/meminfo: memFree=21234792/32770624 swapFree=67108860/67108860
[pid=3052] ppid=3049 vsize=53100 memory=23060 CPUtime=2202.33 cores=1,3,5,7
/proc/3052/stat : 3052 (BTD) R 3049 3052 32325 0 -1 4202496 36161 0 0 0 220228 5 0 0 20 0 1 0 78103484 54374400 5765 33554432000 4194304 36388972 140728224050480 140728224049320 4356616 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 52023296 140728224052413 140728224052491 140728224052491 140728224055249 0
/proc/3052/statm: 13275 5765 511 7861 0 5379 0
Current children cumulated CPU time: 2202.33 s
Current children cumulated vsize: 53100 KiB
Current children cumulated memory: 23060 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 3204
/proc/meminfo: memFree=21235324/32770624 swapFree=67108860/67108860
[pid=3052] ppid=3049 vsize=53100 memory=23068 CPUtime=2262.33 cores=1,3,5,7
/proc/3052/stat : 3052 (BTD) R 3049 3052 32325 0 -1 4202496 36568 0 0 0 226228 5 0 0 20 0 1 0 78103484 54374400 5767 33554432000 4194304 36388972 140728224050480 140728224049320 4356633 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 52023296 140728224052413 140728224052491 140728224052491 140728224055249 0
/proc/3052/statm: 13275 5767 511 7861 0 5379 0
Current children cumulated CPU time: 2262.33 s
Current children cumulated vsize: 53100 KiB
Current children cumulated memory: 23068 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 3205
/proc/meminfo: memFree=21235860/32770624 swapFree=67108860/67108860
[pid=3052] ppid=3049 vsize=53100 memory=23068 CPUtime=2322.33 cores=1,3,5,7
/proc/3052/stat : 3052 (BTD) R 3049 3052 32325 0 -1 4202496 36882 0 0 0 232228 5 0 0 20 0 1 0 78103484 54374400 5767 33554432000 4194304 36388972 140728224050480 140728224049320 4356628 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 52023296 140728224052413 140728224052491 140728224052491 140728224055249 0
/proc/3052/statm: 13275 5767 511 7861 0 5379 0
Current children cumulated CPU time: 2322.33 s
Current children cumulated vsize: 53100 KiB
Current children cumulated memory: 23068 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 3206
/proc/meminfo: memFree=21235520/32770624 swapFree=67108860/67108860
[pid=3052] ppid=3049 vsize=53100 memory=23068 CPUtime=2382.34 cores=1,3,5,7
/proc/3052/stat : 3052 (BTD) R 3049 3052 32325 0 -1 4202496 37190 0 0 0 238229 5 0 0 20 0 1 0 78103484 54374400 5767 33554432000 4194304 36388972 140728224050480 140728224049320 4356616 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 52023296 140728224052413 140728224052491 140728224052491 140728224055249 0
/proc/3052/statm: 13275 5767 511 7861 0 5379 0
Current children cumulated CPU time: 2382.34 s
Current children cumulated vsize: 53100 KiB
Current children cumulated memory: 23068 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 3207
/proc/meminfo: memFree=21235876/32770624 swapFree=67108860/67108860
[pid=3052] ppid=3049 vsize=53100 memory=23084 CPUtime=2442.35 cores=1,3,5,7
/proc/3052/stat : 3052 (BTD) R 3049 3052 32325 0 -1 4202496 37601 0 0 0 244229 6 0 0 20 0 1 0 78103484 54374400 5771 33554432000 4194304 36388972 140728224050480 140728224049320 4356633 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 52023296 140728224052413 140728224052491 140728224052491 140728224055249 0
/proc/3052/statm: 13275 5771 511 7861 0 5379 0
Current children cumulated CPU time: 2442.35 s
Current children cumulated vsize: 53100 KiB
Current children cumulated memory: 23084 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 3209
/proc/meminfo: memFree=21235272/32770624 swapFree=67108860/67108860
[pid=3052] ppid=3049 vsize=53100 memory=23084 CPUtime=2502.35 cores=1,3,5,7
/proc/3052/stat : 3052 (BTD) R 3049 3052 32325 0 -1 4202496 37909 0 0 0 250229 6 0 0 20 0 1 0 78103484 54374400 5771 33554432000 4194304 36388972 140728224050480 140728224049320 4356623 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 52023296 140728224052413 140728224052491 140728224052491 140728224055249 0
/proc/3052/statm: 13275 5771 511 7861 0 5379 0
Current children cumulated CPU time: 2502.35 s
Current children cumulated vsize: 53100 KiB
Current children cumulated memory: 23084 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.00 2.04 3/187 3210
/proc/meminfo: memFree=21235512/32770624 swapFree=67108860/67108860
[pid=3052] ppid=3049 vsize=53100 memory=23084 CPUtime=2520.05 cores=1,3,5,7
/proc/3052/stat : 3052 (BTD) R 3049 3052 32325 0 -1 4202496 38183 0 0 0 251999 6 0 0 20 0 1 0 78103484 54374400 5771 33554432000 4194304 36388972 140728224050480 140728224049320 4356633 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 52023296 140728224052413 140728224052491 140728224052491 140728224055249 0
/proc/3052/statm: 13275 5771 511 7861 0 5379 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 53100 KiB
Current children cumulated memory: 23084 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 3052 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520 s, system=0.061001 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.06
CPU user time (s): 2520
CPU system time (s): 0.061001
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 53100
Max. memory (cumulated for all children) (KiB): 23084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520
system time used= 0.061001
maximum resident set size= 23084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38183
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= 8
involuntary context switches= 823
# summary of solver processes directly reported to runsolver:
# pid: 3052
# total CPU time (s): 2520.06
# total CPU user time (s): 2520
# total CPU system time (s): 0.061001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.78002 second user time and 16.3484 second system time
The end