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 (13223 MiB free)
memory of node 1: 16384 MiB (14179 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300700-1532854448/watcher-4300700-1532854448 -o /tmp/evaluation-result-4300700-1532854448/solver-4300700-1532854448 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532843156-14542 --watchdog 2580 minimacht 2520 HOME/instance-4300700-1532854448.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=16357, runsolver pid=16354
Current StackSize limit: 8192 KiB
[startup+0.101074 s]*
/proc/loadavg: 2.02 2.04 2.05 3/191 16358
/proc/meminfo: memFree=28059312/32770624 swapFree=67108744/67108860
[pid=16357] ppid=16354 vsize=26924 memory=3460 CPUtime=0.1 cores=1,3,5,7
/proc/16357/stat : 16357 (minimacht) R 16354 16357 14510 0 -1 4202496 1086 0 0 0 10 0 0 0 20 0 1 0 103008023 27570176 865 33554432000 4194304 5224576 140724050203520 140724050202216 140705431871868 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 18694144 140724050207923 140724050208005 140724050208005 140724050210763 0
/proc/16357/statm: 6731 865 642 252 0 277 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26924 KiB
Current children cumulated memory: 3460 KiB
[startup+0.209719 s]*
/proc/loadavg: 2.02 2.04 2.05 3/191 16358
/proc/meminfo: memFree=28059312/32770624 swapFree=67108744/67108860
[pid=16357] ppid=16354 vsize=27052 memory=3712 CPUtime=0.2 cores=1,3,5,7
/proc/16357/stat : 16357 (minimacht) R 16354 16357 14510 0 -1 4202496 1092 0 0 0 20 0 0 0 20 0 1 0 103008023 27701248 928 33554432000 4194304 5224576 140724050203520 140724050202216 140705431871868 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 18694144 140724050207923 140724050208005 140724050208005 140724050210763 0
/proc/16357/statm: 6763 928 659 252 0 309 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 27052 KiB
Current children cumulated memory: 3712 KiB
[startup+0.309316 s]*
/proc/loadavg: 2.02 2.04 2.05 3/191 16358
/proc/meminfo: memFree=28059312/32770624 swapFree=67108744/67108860
[pid=16357] ppid=16354 vsize=27052 memory=3712 CPUtime=0.31 cores=1,3,5,7
/proc/16357/stat : 16357 (minimacht) R 16354 16357 14510 0 -1 4202496 1096 0 0 0 30 1 0 0 20 0 1 0 103008023 27701248 928 33554432000 4194304 5224576 140724050203520 140724050202216 140705431871868 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 18694144 140724050207923 140724050208005 140724050208005 140724050210763 0
/proc/16357/statm: 6763 928 659 252 0 309 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27052 KiB
Current children cumulated memory: 3712 KiB
[startup+0.700243 s]
/proc/loadavg: 2.02 2.04 2.05 3/191 16358
/proc/meminfo: memFree=28058940/32770624 swapFree=67108744/67108860
[pid=16357] ppid=16354 vsize=27052 memory=3712 CPUtime=0.68 cores=1,3,5,7
/proc/16357/stat : 16357 (minimacht) R 16354 16357 14510 0 -1 4202496 1106 0 0 0 65 3 0 0 20 0 1 0 103008023 27701248 928 33554432000 4194304 5224576 140724050203520 140724050202216 140705431871868 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 18694144 140724050207923 140724050208005 140724050208005 140724050210763 0
/proc/16357/statm: 6763 928 659 252 0 309 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 27052 KiB
Current children cumulated memory: 3712 KiB
[startup+1.50023 s]
/proc/loadavg: 1.94 2.02 2.04 3/191 16358
/proc/meminfo: memFree=28058940/32770624 swapFree=67108744/67108860
[pid=16357] ppid=16354 vsize=27052 memory=3712 CPUtime=1.48 cores=1,3,5,7
/proc/16357/stat : 16357 (minimacht) R 16354 16357 14510 0 -1 4202496 1117 0 0 0 142 6 0 0 20 0 1 0 103008023 27701248 928 33554432000 4194304 5224576 140724050203520 140724050202216 140705431871868 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 18694144 140724050207923 140724050208005 140724050208005 140724050210763 0
/proc/16357/statm: 6763 928 659 252 0 309 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 27052 KiB
Current children cumulated memory: 3712 KiB
[startup+3.10905 s]
/proc/loadavg: 1.94 2.02 2.04 3/191 16358
/proc/meminfo: memFree=28058940/32770624 swapFree=67108744/67108860
[pid=16357] ppid=16354 vsize=27184 memory=3856 CPUtime=3.09 cores=1,3,5,7
/proc/16357/stat : 16357 (minimacht) R 16354 16357 14510 0 -1 4202496 1321 0 0 0 297 12 0 0 20 0 1 0 103008023 27836416 964 33554432000 4194304 5224576 140724050203520 140724050202216 140705431871868 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18694144 140724050207923 140724050208005 140724050208005 140724050210763 0
/proc/16357/statm: 6796 964 659 252 0 342 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 27184 KiB
Current children cumulated memory: 3856 KiB
[startup+6.3002 s]
/proc/loadavg: 1.86 2.01 2.03 3/191 16358
/proc/meminfo: memFree=28058940/32770624 swapFree=67108744/67108860
[pid=16357] ppid=16354 vsize=27184 memory=3916 CPUtime=6.29 cores=1,3,5,7
/proc/16357/stat : 16357 (minimacht) R 16354 16357 14510 0 -1 4202496 1541 0 0 0 603 26 0 0 20 0 1 0 103008023 27836416 979 33554432000 4194304 5224576 140724050203520 140724050202216 140705431871868 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18694144 140724050207923 140724050208005 140724050208005 140724050210763 0
/proc/16357/statm: 6796 979 659 252 0 342 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27184 KiB
Current children cumulated memory: 3916 KiB
[startup+12.7002 s]
/proc/loadavg: 1.87 2.01 2.03 3/191 16358
/proc/meminfo: memFree=28058660/32770624 swapFree=67108744/67108860
[pid=16357] ppid=16354 vsize=27316 memory=3984 CPUtime=12.68 cores=1,3,5,7
/proc/16357/stat : 16357 (minimacht) R 16354 16357 14510 0 -1 4202496 1774 0 0 0 1220 48 0 0 20 0 1 0 103008023 27971584 996 33554432000 4194304 5224576 140724050203520 140724050202216 140705431871868 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18694144 140724050207923 140724050208005 140724050208005 140724050210763 0
/proc/16357/statm: 6829 996 659 252 0 375 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 27316 KiB
Current children cumulated memory: 3984 KiB
[startup+25.5002 s]
/proc/loadavg: 1.89 2.01 2.03 3/191 16358
/proc/meminfo: memFree=28058660/32770624 swapFree=67108744/67108860
[pid=16357] ppid=16354 vsize=27316 memory=4100 CPUtime=25.48 cores=1,3,5,7
/proc/16357/stat : 16357 (minimacht) R 16354 16357 14510 0 -1 4202496 2244 0 0 0 2451 97 0 0 20 0 1 0 103008023 27971584 1025 33554432000 4194304 5224576 140724050203520 140724050202216 140705431871868 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18694144 140724050207923 140724050208005 140724050208005 140724050210763 0
/proc/16357/statm: 6829 1025 659 252 0 375 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 27316 KiB
Current children cumulated memory: 4100 KiB
[startup+51.1091 s]
/proc/loadavg: 1.94 2.01 2.03 3/191 16358
/proc/meminfo: memFree=28058308/32770624 swapFree=67108744/67108860
[pid=16357] ppid=16354 vsize=27444 memory=4148 CPUtime=51.09 cores=1,3,5,7
/proc/16357/stat : 16357 (minimacht) R 16354 16357 14510 0 -1 4202496 2503 0 0 0 4911 198 0 0 20 0 1 0 103008023 28102656 1037 33554432000 4194304 5224576 140724050203520 140724050202216 140705431871868 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18694144 140724050207923 140724050208005 140724050208005 140724050210763 0
/proc/16357/statm: 6861 1037 659 252 0 407 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 27444 KiB
Current children cumulated memory: 4148 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 2.01 2.03 3/191 16360
/proc/meminfo: memFree=28058716/32770624 swapFree=67108744/67108860
[pid=16357] ppid=16354 vsize=27576 memory=4224 CPUtime=102.28 cores=1,3,5,7
/proc/16357/stat : 16357 (minimacht) R 16354 16357 14510 0 -1 4202496 2827 0 0 0 9816 412 0 0 20 0 1 0 103008023 28237824 1056 33554432000 4194304 5224576 140724050203520 140724050202216 140705431871868 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18694144 140724050207923 140724050208005 140724050208005 140724050210763 0
/proc/16357/statm: 6894 1056 659 252 0 440 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 27576 KiB
Current children cumulated memory: 4224 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.03 3/190 16361
/proc/meminfo: memFree=28058860/32770624 swapFree=67108744/67108860
[pid=16357] ppid=16354 vsize=27576 memory=4288 CPUtime=162.28 cores=1,3,5,7
/proc/16357/stat : 16357 (minimacht) R 16354 16357 14510 0 -1 4202496 3134 0 0 0 15576 652 0 0 20 0 1 0 103008023 28237824 1072 33554432000 4194304 5224576 140724050203520 140724050202216 140705431871868 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18694144 140724050207923 140724050208005 140724050208005 140724050210763 0
/proc/16357/statm: 6894 1072 659 252 0 440 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 27576 KiB
Current children cumulated memory: 4288 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/190 16362
/proc/meminfo: memFree=28058672/32770624 swapFree=67108744/67108860
[pid=16357] ppid=16354 vsize=27576 memory=4352 CPUtime=222.29 cores=1,3,5,7
/proc/16357/stat : 16357 (minimacht) R 16354 16357 14510 0 -1 4202496 3387 0 0 0 21342 887 0 0 20 0 1 0 103008023 28237824 1088 33554432000 4194304 5224576 140724050203520 140724050202216 140705431871868 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18694144 140724050207923 140724050208005 140724050208005 140724050210763 0
/proc/16357/statm: 6894 1088 664 252 0 440 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 27576 KiB
Current children cumulated memory: 4352 KiB
[startup+282.3 s]
/proc/loadavg: 2.04 2.02 2.04 3/190 16364
/proc/meminfo: memFree=28058476/32770624 swapFree=67108744/67108860
[pid=16357] ppid=16354 vsize=27708 memory=4388 CPUtime=282.28 cores=1,3,5,7
/proc/16357/stat : 16357 (minimacht) R 16354 16357 14510 0 -1 4202496 3714 0 0 0 27109 1119 0 0 20 0 1 0 103008023 28372992 1097 33554432000 4194304 5224576 140724050203520 140724050202216 140705431871868 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18694144 140724050207923 140724050208005 140724050208005 140724050210763 0
/proc/16357/statm: 6927 1097 664 252 0 473 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 27708 KiB
Current children cumulated memory: 4388 KiB
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.04 3/190 16365
/proc/meminfo: memFree=28058216/32770624 swapFree=67108744/67108860
[pid=16357] ppid=16354 vsize=27708 memory=4424 CPUtime=342.28 cores=1,3,5,7
/proc/16357/stat : 16357 (minimacht) R 16354 16357 14510 0 -1 4202496 4039 0 0 0 32878 1350 0 0 20 0 1 0 103008023 28372992 1106 33554432000 4194304 5224576 140724050203520 140724050202216 140705431871868 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18694144 140724050207923 140724050208005 140724050208005 140724050210763 0
/proc/16357/statm: 6927 1106 664 252 0 473 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 27708 KiB
Current children cumulated memory: 4424 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/191 16374
/proc/meminfo: memFree=28058120/32770624 swapFree=67108744/67108860
[pid=16357] ppid=16354 vsize=27708 memory=4436 CPUtime=402.28 cores=1,3,5,7
/proc/16357/stat : 16357 (minimacht) R 16354 16357 14510 0 -1 4202496 4332 0 0 0 38640 1588 0 0 20 0 1 0 103008023 28372992 1109 33554432000 4194304 5224576 140724050203520 140724050202216 140705431871868 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18694144 140724050207923 140724050208005 140724050208005 140724050210763 0
/proc/16357/statm: 6927 1109 664 252 0 473 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 27708 KiB
Current children cumulated memory: 4436 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/191 16397
/proc/meminfo: memFree=28057532/32770624 swapFree=67108744/67108860
[pid=16357] ppid=16354 vsize=27708 memory=4468 CPUtime=462.28 cores=1,3,5,7
/proc/16357/stat : 16357 (minimacht) R 16354 16357 14510 0 -1 4202496 4632 0 0 0 44406 1822 0 0 20 0 1 0 103008023 28372992 1117 33554432000 4194304 5224576 140724050203520 140724050202216 140705431871868 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18694144 140724050207923 140724050208005 140724050208005 140724050210763 0
/proc/16357/statm: 6927 1117 664 252 0 473 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 27708 KiB
Current children cumulated memory: 4468 KiB
################
# More data... #
################
/proc/16357/statm: 6993 1167 664 252 0 539 0
Current children cumulated CPU time: 1722.27 s
Current children cumulated vsize: 27972 KiB
Current children cumulated memory: 4668 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.05 4/191 16620
/proc/meminfo: memFree=28064008/32770624 swapFree=67108744/67108860
[pid=16357] ppid=16354 vsize=27972 memory=4668 CPUtime=1782.27 cores=1,3,5,7
/proc/16357/stat : 16357 (minimacht) R 16354 16357 14510 0 -1 4202496 10027 0 0 0 170263 7964 0 0 20 0 1 0 103008023 28643328 1167 33554432000 4194304 5224576 140724050203520 140724050202216 140705431871868 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18694144 140724050207923 140724050208005 140724050208005 140724050210763 0
/proc/16357/statm: 6993 1167 664 252 0 539 0
Current children cumulated CPU time: 1782.27 s
Current children cumulated vsize: 27972 KiB
Current children cumulated memory: 4668 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.05 4/191 16621
/proc/meminfo: memFree=28063960/32770624 swapFree=67108744/67108860
[pid=16357] ppid=16354 vsize=27972 memory=4680 CPUtime=1842.27 cores=1,3,5,7
/proc/16357/stat : 16357 (minimacht) R 16354 16357 14510 0 -1 4202496 10244 0 0 0 175994 8233 0 0 20 0 1 0 103008023 28643328 1170 33554432000 4194304 5224576 140724050203520 140724050202216 140705431871868 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18694144 140724050207923 140724050208005 140724050208005 140724050210763 0
/proc/16357/statm: 6993 1170 664 252 0 539 0
Current children cumulated CPU time: 1842.27 s
Current children cumulated vsize: 27972 KiB
Current children cumulated memory: 4680 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 16623
/proc/meminfo: memFree=28063712/32770624 swapFree=67108744/67108860
[pid=16357] ppid=16354 vsize=27972 memory=4680 CPUtime=1902.27 cores=1,3,5,7
/proc/16357/stat : 16357 (minimacht) R 16354 16357 14510 0 -1 4202496 10415 0 0 0 181673 8554 0 0 20 0 1 0 103008023 28643328 1170 33554432000 4194304 5224576 140724050203520 140724050202216 140705431871868 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18694144 140724050207923 140724050208005 140724050208005 140724050210763 0
/proc/16357/statm: 6993 1170 664 252 0 539 0
Current children cumulated CPU time: 1902.27 s
Current children cumulated vsize: 27972 KiB
Current children cumulated memory: 4680 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/191 16625
/proc/meminfo: memFree=28064300/32770624 swapFree=67108744/67108860
[pid=16357] ppid=16354 vsize=27972 memory=4680 CPUtime=1962.27 cores=1,3,5,7
/proc/16357/stat : 16357 (minimacht) R 16354 16357 14510 0 -1 4202496 10674 0 0 0 187384 8843 0 0 20 0 1 0 103008023 28643328 1170 33554432000 4194304 5224576 140724050203520 140724050202216 140705431871868 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18694144 140724050207923 140724050208005 140724050208005 140724050210763 0
/proc/16357/statm: 6993 1170 664 252 0 539 0
Current children cumulated CPU time: 1962.27 s
Current children cumulated vsize: 27972 KiB
Current children cumulated memory: 4680 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/191 16626
/proc/meminfo: memFree=28063980/32770624 swapFree=67108744/67108860
[pid=16357] ppid=16354 vsize=27972 memory=4688 CPUtime=2022.26 cores=1,3,5,7
/proc/16357/stat : 16357 (minimacht) R 16354 16357 14510 0 -1 4202496 10853 0 0 0 193092 9134 0 0 20 0 1 0 103008023 28643328 1172 33554432000 4194304 5224576 140724050203520 140724050202216 140705431871868 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18694144 140724050207923 140724050208005 140724050208005 140724050210763 0
/proc/16357/statm: 6993 1172 664 252 0 539 0
Current children cumulated CPU time: 2022.26 s
Current children cumulated vsize: 27972 KiB
Current children cumulated memory: 4688 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/191 16628
/proc/meminfo: memFree=28063840/32770624 swapFree=67108744/67108860
[pid=16357] ppid=16354 vsize=27972 memory=4688 CPUtime=2082.26 cores=1,3,5,7
/proc/16357/stat : 16357 (minimacht) R 16354 16357 14510 0 -1 4202496 11111 0 0 0 198803 9423 0 0 20 0 1 0 103008023 28643328 1172 33554432000 4194304 5224576 140724050203520 140724050202216 140705431871868 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18694144 140724050207923 140724050208005 140724050208005 140724050210763 0
/proc/16357/statm: 6993 1172 664 252 0 539 0
Current children cumulated CPU time: 2082.26 s
Current children cumulated vsize: 27972 KiB
Current children cumulated memory: 4688 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 16629
/proc/meminfo: memFree=28063952/32770624 swapFree=67108744/67108860
[pid=16357] ppid=16354 vsize=27972 memory=4688 CPUtime=2142.27 cores=1,3,5,7
/proc/16357/stat : 16357 (minimacht) R 16354 16357 14510 0 -1 4202496 11310 0 0 0 204540 9687 0 0 20 0 1 0 103008023 28643328 1172 33554432000 4194304 5224576 140724050203520 140724050202216 140705431871868 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18694144 140724050207923 140724050208005 140724050208005 140724050210763 0
/proc/16357/statm: 6993 1172 664 252 0 539 0
Current children cumulated CPU time: 2142.27 s
Current children cumulated vsize: 27972 KiB
Current children cumulated memory: 4688 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/191 16637
/proc/meminfo: memFree=28063748/32770624 swapFree=67108744/67108860
[pid=16357] ppid=16354 vsize=27972 memory=4704 CPUtime=2202.26 cores=1,3,5,7
/proc/16357/stat : 16357 (minimacht) R 16354 16357 14510 0 -1 4202496 11533 0 0 0 210291 9935 0 0 20 0 1 0 103008023 28643328 1176 33554432000 4194304 5224576 140724050203520 140724050202216 140705431871868 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18694144 140724050207923 140724050208005 140724050208005 140724050210763 0
/proc/16357/statm: 6993 1176 664 252 0 539 0
Current children cumulated CPU time: 2202.26 s
Current children cumulated vsize: 27972 KiB
Current children cumulated memory: 4704 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/190 16638
/proc/meminfo: memFree=28063712/32770624 swapFree=67108744/67108860
[pid=16357] ppid=16354 vsize=27972 memory=4704 CPUtime=2262.27 cores=1,3,5,7
/proc/16357/stat : 16357 (minimacht) R 16354 16357 14510 0 -1 4202496 11728 0 0 0 216021 10206 0 0 20 0 1 0 103008023 28643328 1176 33554432000 4194304 5224576 140724050203520 140724050202216 140705431871868 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18694144 140724050207923 140724050208005 140724050208005 140724050210763 0
/proc/16357/statm: 6993 1176 664 252 0 539 0
Current children cumulated CPU time: 2262.27 s
Current children cumulated vsize: 27972 KiB
Current children cumulated memory: 4704 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/190 16639
/proc/meminfo: memFree=28064308/32770624 swapFree=67108744/67108860
[pid=16357] ppid=16354 vsize=27972 memory=4704 CPUtime=2322.27 cores=1,3,5,7
/proc/16357/stat : 16357 (minimacht) R 16354 16357 14510 0 -1 4202496 11898 0 0 0 221725 10502 0 0 20 0 1 0 103008023 28643328 1176 33554432000 4194304 5224576 140724050203520 140724050202216 140705431871868 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18694144 140724050207923 140724050208005 140724050208005 140724050210763 0
/proc/16357/statm: 6993 1176 664 252 0 539 0
Current children cumulated CPU time: 2322.27 s
Current children cumulated vsize: 27972 KiB
Current children cumulated memory: 4704 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/191 16641
/proc/meminfo: memFree=28064088/32770624 swapFree=67108744/67108860
[pid=16357] ppid=16354 vsize=27972 memory=4708 CPUtime=2382.26 cores=1,3,5,7
/proc/16357/stat : 16357 (minimacht) R 16354 16357 14510 0 -1 4202496 12152 0 0 0 227464 10762 0 0 20 0 1 0 103008023 28643328 1177 33554432000 4194304 5224576 140724050203520 140724050202216 140705431871868 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18694144 140724050207923 140724050208005 140724050208005 140724050210763 0
/proc/16357/statm: 6993 1177 664 252 0 539 0
Current children cumulated CPU time: 2382.26 s
Current children cumulated vsize: 27972 KiB
Current children cumulated memory: 4708 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/192 16643
/proc/meminfo: memFree=28064084/32770624 swapFree=67108744/67108860
[pid=16357] ppid=16354 vsize=27972 memory=4708 CPUtime=2442.26 cores=1,3,5,7
/proc/16357/stat : 16357 (minimacht) R 16354 16357 14510 0 -1 4202496 12378 0 0 0 233219 11007 0 0 20 0 1 0 103008023 28643328 1177 33554432000 4194304 5224576 140724050203520 140724050202216 140705431871868 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18694144 140724050207923 140724050208005 140724050208005 140724050210763 0
/proc/16357/statm: 6993 1177 664 252 0 539 0
Current children cumulated CPU time: 2442.26 s
Current children cumulated vsize: 27972 KiB
Current children cumulated memory: 4708 KiB
[startup+2502.3 s]
/proc/loadavg: 2.06 2.03 2.05 4/192 16644
/proc/meminfo: memFree=28063860/32770624 swapFree=67108744/67108860
[pid=16357] ppid=16354 vsize=27972 memory=4708 CPUtime=2502.27 cores=1,3,5,7
/proc/16357/stat : 16357 (minimacht) R 16354 16357 14510 0 -1 4202496 12585 0 0 0 238973 11254 0 0 20 0 1 0 103008023 28643328 1177 33554432000 4194304 5224576 140724050203520 140724050202216 140705431871868 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18694144 140724050207923 140724050208005 140724050208005 140724050210763 0
/proc/16357/statm: 6993 1177 664 252 0 539 0
Current children cumulated CPU time: 2502.27 s
Current children cumulated vsize: 27972 KiB
Current children cumulated memory: 4708 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.05 2.03 2.05 4/192 16644
/proc/meminfo: memFree=28064108/32770624 swapFree=67108744/67108860
[pid=16357] ppid=16354 vsize=27972 memory=4708 CPUtime=2519.97 cores=1,3,5,7
/proc/16357/stat : 16357 (minimacht) R 16354 16357 14510 0 -1 4202496 12770 0 0 0 240672 11325 0 0 20 0 1 0 103008023 28643328 1177 33554432000 4194304 5224576 140724050203520 140724050202216 140705431871868 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 18694144 140724050207923 140724050208005 140724050208005 140724050210763 0
/proc/16357/statm: 6993 1177 664 252 0 539 0
Current children cumulated CPU time: 2519.97 s
Current children cumulated vsize: 27972 KiB
Current children cumulated memory: 4708 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 16357 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2406.72 s, system=113.259 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): 2519.98
CPU user time (s): 2406.72
CPU system time (s): 113.259
CPU usage (%): 99.9989
Max. virtual memory (cumulated for all children) (KiB): 27972
Max. memory (cumulated for all children) (KiB): 4708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2406.72
system time used= 113.259
maximum resident set size= 4708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12770
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= 720
# summary of solver processes directly reported to runsolver:
# pid: 16357
# total CPU time (s): 2519.98
# total CPU user time (s): 2406.72
# total CPU system time (s): 113.259
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.22986 second user time and 16.6447 second system time
The end