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 (10158 MiB free)
memory of node 1: 16384 MiB (12384 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309707-1534315948/watcher-4309707-1534315948 -o /tmp/evaluation-result-4309707-1534315948/solver-4309707-1534315948 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534293053-324 --watchdog 2580 xcsp_picat HOME/instance-4309707-1534315948.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=4069, runsolver pid=4066
Current StackSize limit: 8192 KiB
[startup+0.100161 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 4070
/proc/meminfo: memFree=23052772/32770624 swapFree=67108196/67108860
[pid=4069] ppid=4066 vsize=2033560 memory=36132 CPUtime=0.1 cores=1,3,5,7
/proc/4069/stat : 4069 (xcsp_picat) R 4066 4069 32759 0 -1 4202496 1556 0 0 0 10 0 0 0 20 0 1 0 249157963 2082365440 9033 33554432000 4194304 5849940 140735914142816 140735914142816 4509076 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 32096256 140735914149046 140735914149124 140735914149124 140735914151882 0
/proc/4069/statm: 508390 9033 626 405 0 505334 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 36132 KiB
[startup+0.209728 s]*
/proc/loadavg: 2.00 2.02 2.05 4/187 4070
/proc/meminfo: memFree=23023604/32770624 swapFree=67108196/67108860
[pid=4069] ppid=4066 vsize=2033560 memory=63272 CPUtime=0.2 cores=1,3,5,7
/proc/4069/stat : 4069 (xcsp_picat) R 4066 4069 32759 0 -1 4202496 1691 0 0 0 20 0 0 0 20 0 1 0 249157963 2082365440 15818 33554432000 4194304 5849940 140735914142816 140735914142816 4490865 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 32096256 140735914149046 140735914149124 140735914149124 140735914151882 0
/proc/4069/statm: 508390 15818 635 405 0 505334 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 63272 KiB
[startup+0.309729 s]*
/proc/loadavg: 2.00 2.02 2.05 4/187 4070
/proc/meminfo: memFree=23016904/32770624 swapFree=67108196/67108860
[pid=4069] ppid=4066 vsize=2036048 memory=70368 CPUtime=0.31 cores=1,3,5,7
/proc/4069/stat : 4069 (xcsp_picat) R 4066 4069 32759 0 -1 4202496 2450 0 0 0 30 1 0 0 20 0 1 0 249157963 2084913152 17592 33554432000 4194304 5849940 140735914142816 140735914142816 5432729 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 32096256 140735914149046 140735914149124 140735914149124 140735914151882 0
/proc/4069/statm: 509012 17592 713 405 0 505956 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2036048 KiB
Current children cumulated memory: 70368 KiB
[startup+0.700395 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 4070
/proc/meminfo: memFree=22982036/32770624 swapFree=67108196/67108860
[pid=4069] ppid=4066 vsize=2101972 memory=138084 CPUtime=0.69 cores=1,3,5,7
/proc/4069/stat : 4069 (xcsp_picat) R 4066 4069 32759 0 -1 4202496 5646 0 0 0 67 2 0 0 20 0 1 0 249157963 2152419328 34521 33554432000 4194304 5849940 140735914142816 140735914142024 4491059 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 32096256 140735914149046 140735914149124 140735914149124 140735914151882 0
/proc/4069/statm: 525493 34521 713 405 0 522437 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2101972 KiB
Current children cumulated memory: 138084 KiB
[startup+1.50039 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 4070
/proc/meminfo: memFree=22883240/32770624 swapFree=67108196/67108860
[pid=4069] ppid=4066 vsize=2299092 memory=335268 CPUtime=1.49 cores=1,3,5,7
/proc/4069/stat : 4069 (xcsp_picat) R 4066 4069 32759 0 -1 4202496 6892 0 0 0 144 5 0 0 20 0 1 0 249157963 2354270208 83817 33554432000 4194304 5849940 140735914142816 140735914142024 5300255 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 32096256 140735914149046 140735914149124 140735914149124 140735914151882 0
/proc/4069/statm: 574773 83817 713 405 0 571717 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2299092 KiB
Current children cumulated memory: 335268 KiB
[startup+3.10952 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 4070
/proc/meminfo: memFree=22737532/32770624 swapFree=67108196/67108860
[pid=4069] ppid=4066 vsize=2311604 memory=347952 CPUtime=3.1 cores=1,3,5,7
/proc/4069/stat : 4069 (xcsp_picat) R 4066 4069 32759 0 -1 4202496 34550 0 0 0 302 8 0 0 20 0 1 0 249157963 2367082496 86988 33554432000 4194304 5849940 140735914142816 140735914142024 5365552 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 32096256 140735914149046 140735914149124 140735914149124 140735914151882 0
/proc/4069/statm: 577901 86988 723 405 0 574845 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2311604 KiB
Current children cumulated memory: 347952 KiB
[startup+6.30038 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 4070
/proc/meminfo: memFree=22714564/32770624 swapFree=67108196/67108860
[pid=4069] ppid=4066 vsize=2314936 memory=351260 CPUtime=6.29 cores=1,3,5,7
/proc/4069/stat : 4069 (xcsp_picat) R 4066 4069 32759 0 -1 4202496 40657 0 0 0 620 9 0 0 20 0 1 0 249157963 2370494464 87815 33554432000 4194304 5849940 140735914142816 140735914141464 5375623 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 32096256 140735914149046 140735914149124 140735914149124 140735914151882 0
/proc/4069/statm: 578734 87815 734 405 0 575678 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2314936 KiB
Current children cumulated memory: 351260 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 4070
/proc/meminfo: memFree=22703772/32770624 swapFree=67108196/67108860
[pid=4069] ppid=4066 vsize=2352572 memory=382820 CPUtime=12.69 cores=1,3,5,7
/proc/4069/stat : 4069 (xcsp_picat) R 4066 4069 32759 0 -1 4202496 87274 0 0 0 1254 15 0 0 20 0 1 0 249157963 2409033728 95705 33554432000 4194304 5849940 140735914142816 140735914141304 4211646 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 32096256 140735914149046 140735914149124 140735914149124 140735914151882 0
/proc/4069/statm: 588143 95705 743 405 0 585087 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2352572 KiB
Current children cumulated memory: 382820 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 4070
/proc/meminfo: memFree=22867536/32770624 swapFree=67108196/67108860
[pid=4069] ppid=4066 vsize=2352552 memory=382812 CPUtime=25.48 cores=1,3,5,7
/proc/4069/stat : 4069 (xcsp_picat) R 4066 4069 32759 0 -1 4202496 126812 0 0 0 2531 17 0 0 20 0 1 0 249157963 2409013248 95703 33554432000 4194304 5849940 140735914142816 140735914141688 140630371823495 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 32096256 140735914149046 140735914149124 140735914149124 140735914151882 0
/proc/4069/statm: 588138 95703 746 405 0 585082 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2352552 KiB
Current children cumulated memory: 382812 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 4070
/proc/meminfo: memFree=22499328/32770624 swapFree=67108196/67108860
[pid=4069] ppid=4066 vsize=2352548 memory=386912 CPUtime=51.1 cores=1,3,5,7
/proc/4069/stat : 4069 (xcsp_picat) R 4066 4069 32759 0 -1 4202496 167657 0 0 0 5083 27 0 0 20 0 1 0 249157963 2409009152 96728 33554432000 4194304 5849940 140735914142816 140735914141096 140630371823495 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 32096256 140735914149046 140735914149124 140735914149124 140735914151882 0
/proc/4069/statm: 588137 96728 748 405 0 585081 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2352548 KiB
Current children cumulated memory: 386912 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4071
/proc/meminfo: memFree=23285516/32770624 swapFree=67108196/67108860
[pid=4069] ppid=4066 vsize=2340640 memory=377052 CPUtime=102.29 cores=1,3,5,7
/proc/4069/stat : 4069 (xcsp_picat) R 4066 4069 32759 0 -1 4202496 245334 0 0 0 10182 47 0 0 20 0 1 0 249157963 2396815360 94263 33554432000 4194304 5849940 140735914142816 140735914141816 5437824 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 32096256 140735914149046 140735914149124 140735914149124 140735914151882 0
/proc/4069/statm: 585160 94263 748 405 0 582104 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2340640 KiB
Current children cumulated memory: 377052 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4073
/proc/meminfo: memFree=23241112/32770624 swapFree=67108196/67108860
[pid=4069] ppid=4066 vsize=2340548 memory=376960 CPUtime=162.28 cores=1,3,5,7
/proc/4069/stat : 4069 (xcsp_picat) R 4066 4069 32759 0 -1 4202496 282814 0 0 0 16162 66 0 0 20 0 1 0 249157963 2396721152 94240 33554432000 4194304 5849940 140735914142816 140735914141816 5371454 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 32096256 140735914149046 140735914149124 140735914149124 140735914151882 0
/proc/4069/statm: 585137 94240 748 405 0 582081 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2340548 KiB
Current children cumulated memory: 376960 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4074
/proc/meminfo: memFree=23145604/32770624 swapFree=67108196/67108860
[pid=4069] ppid=4066 vsize=2349408 memory=385064 CPUtime=222.28 cores=1,3,5,7
/proc/4069/stat : 4069 (xcsp_picat) R 4066 4069 32759 0 -1 4202496 327418 0 0 0 22138 90 0 0 20 0 1 0 249157963 2405793792 96266 33554432000 4194304 5849940 140735914142816 140735914141688 5366701 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32096256 140735914149046 140735914149124 140735914149124 140735914151882 0
/proc/4069/statm: 587352 96266 748 405 0 584296 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2349408 KiB
Current children cumulated memory: 385064 KiB
[startup+282.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 4135
/proc/meminfo: memFree=23619532/32770624 swapFree=67108196/67108860
[pid=4069] ppid=4066 vsize=2349296 memory=384952 CPUtime=282.27 cores=1,3,5,7
/proc/4069/stat : 4069 (xcsp_picat) R 4066 4069 32759 0 -1 4202496 364185 0 0 0 28117 110 0 0 20 0 1 0 249157963 2405679104 96238 33554432000 4194304 5849940 140735914142816 140735914141976 140630371823495 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32096256 140735914149046 140735914149124 140735914149124 140735914151882 0
/proc/4069/statm: 587324 96238 748 405 0 584268 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2349296 KiB
Current children cumulated memory: 384952 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 4137
/proc/meminfo: memFree=23597068/32770624 swapFree=67108196/67108860
[pid=4069] ppid=4066 vsize=2360020 memory=396404 CPUtime=342.26 cores=1,3,5,7
/proc/4069/stat : 4069 (xcsp_picat) R 4066 4069 32759 0 -1 4202496 376831 0 0 0 34095 131 0 0 20 0 1 0 249157963 2416660480 99101 33554432000 4194304 5849940 140735914142816 140735914141816 140630371823495 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32096256 140735914149046 140735914149124 140735914149124 140735914151882 0
/proc/4069/statm: 590005 99101 748 405 0 586949 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 2360020 KiB
Current children cumulated memory: 396404 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 4138
/proc/meminfo: memFree=23601436/32770624 swapFree=67108196/67108860
[pid=4069] ppid=4066 vsize=2353664 memory=390148 CPUtime=402.26 cores=1,3,5,7
/proc/4069/stat : 4069 (xcsp_picat) R 4066 4069 32759 0 -1 4202496 381017 0 0 0 40075 151 0 0 20 0 1 0 249157963 2410151936 97537 33554432000 4194304 5849940 140735914142816 140735914141816 140630371823495 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32096256 140735914149046 140735914149124 140735914149124 140735914151882 0
/proc/4069/statm: 588416 97537 748 405 0 585360 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 2353664 KiB
Current children cumulated memory: 390148 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4147
/proc/meminfo: memFree=23577836/32770624 swapFree=67108196/67108860
[pid=4069] ppid=4066 vsize=2353664 memory=395928 CPUtime=462.26 cores=1,3,5,7
/proc/4069/stat : 4069 (xcsp_picat) R 4066 4069 32759 0 -1 4202496 382228 0 0 0 46056 170 0 0 20 0 1 0 249157963 2410151936 98982 33554432000 4194304 5849940 140735914142816 140735914141816 5360645 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32096256 140735914149046 140735914149124 140735914149124 140735914151882 0
/proc/4069/statm: 588416 98982 748 405 0 585360 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 2353664 KiB
Current children cumulated memory: 395928 KiB
################
# More data... #
################
/proc/4069/statm: 592349 102890 748 405 0 589293 0
Current children cumulated CPU time: 1722.21 s
Current children cumulated vsize: 2369396 KiB
Current children cumulated memory: 411560 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 4207
/proc/meminfo: memFree=23513340/32770624 swapFree=67108196/67108860
[pid=4069] ppid=4066 vsize=2369396 memory=411560 CPUtime=1782.2 cores=1,3,5,7
/proc/4069/stat : 4069 (xcsp_picat) R 4066 4069 32759 0 -1 4202496 454984 0 0 0 177605 615 0 0 20 0 1 0 249157963 2426261504 102890 33554432000 4194304 5849940 140735914142816 140735914141816 5437906 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32096256 140735914149046 140735914149124 140735914149124 140735914151882 0
/proc/4069/statm: 592349 102890 748 405 0 589293 0
Current children cumulated CPU time: 1782.2 s
Current children cumulated vsize: 2369396 KiB
Current children cumulated memory: 411560 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 4208
/proc/meminfo: memFree=23462004/32770624 swapFree=67108196/67108860
[pid=4069] ppid=4066 vsize=2383260 memory=425424 CPUtime=1842.2 cores=1,3,5,7
/proc/4069/stat : 4069 (xcsp_picat) R 4066 4069 32759 0 -1 4202496 461843 0 0 0 183584 636 0 0 20 0 1 0 249157963 2440458240 106356 33554432000 4194304 5849940 140735914142816 140735914141816 5438016 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32096256 140735914149046 140735914149124 140735914149124 140735914151882 0
/proc/4069/statm: 595815 106356 748 405 0 592759 0
Current children cumulated CPU time: 1842.2 s
Current children cumulated vsize: 2383260 KiB
Current children cumulated memory: 425424 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 4209
/proc/meminfo: memFree=23464296/32770624 swapFree=67108196/67108860
[pid=4069] ppid=4066 vsize=2383196 memory=425360 CPUtime=1902.19 cores=1,3,5,7
/proc/4069/stat : 4069 (xcsp_picat) R 4066 4069 32759 0 -1 4202496 465194 0 0 0 189566 653 0 0 20 0 1 0 249157963 2440392704 106340 33554432000 4194304 5849940 140735914142816 140735914141976 140630371823495 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32096256 140735914149046 140735914149124 140735914149124 140735914151882 0
/proc/4069/statm: 595799 106340 748 405 0 592743 0
Current children cumulated CPU time: 1902.19 s
Current children cumulated vsize: 2383196 KiB
Current children cumulated memory: 425360 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 4211
/proc/meminfo: memFree=23460444/32770624 swapFree=67108196/67108860
[pid=4069] ppid=4066 vsize=2383344 memory=425508 CPUtime=1962.19 cores=1,3,5,7
/proc/4069/stat : 4069 (xcsp_picat) R 4066 4069 32759 0 -1 4202496 466781 0 0 0 195543 676 0 0 20 0 1 0 249157963 2440544256 106377 33554432000 4194304 5849940 140735914142816 140735914141816 5314479 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32096256 140735914149046 140735914149124 140735914149124 140735914151882 0
/proc/4069/statm: 595836 106377 748 405 0 592780 0
Current children cumulated CPU time: 1962.19 s
Current children cumulated vsize: 2383344 KiB
Current children cumulated memory: 425508 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 4212
/proc/meminfo: memFree=23447788/32770624 swapFree=67108196/67108860
[pid=4069] ppid=4066 vsize=2396716 memory=438880 CPUtime=2022.19 cores=1,3,5,7
/proc/4069/stat : 4069 (xcsp_picat) R 4066 4069 32759 0 -1 4202496 470923 0 0 0 201520 699 0 0 20 0 1 0 249157963 2454237184 109720 33554432000 4194304 5849940 140735914142816 140735914141464 5397547 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32096256 140735914149046 140735914149124 140735914149124 140735914151882 0
/proc/4069/statm: 599179 109720 748 405 0 596123 0
Current children cumulated CPU time: 2022.19 s
Current children cumulated vsize: 2396716 KiB
Current children cumulated memory: 438880 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4213
/proc/meminfo: memFree=23415208/32770624 swapFree=67108196/67108860
[pid=4069] ppid=4066 vsize=2416440 memory=458604 CPUtime=2082.19 cores=1,3,5,7
/proc/4069/stat : 4069 (xcsp_picat) R 4066 4069 32759 0 -1 4202496 477630 0 0 0 207500 719 0 0 20 0 1 0 249157963 2474434560 114651 33554432000 4194304 5849940 140735914142816 140735914141816 140630371823495 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32096256 140735914149046 140735914149124 140735914149124 140735914151882 0
/proc/4069/statm: 604110 114651 748 405 0 601054 0
Current children cumulated CPU time: 2082.19 s
Current children cumulated vsize: 2416440 KiB
Current children cumulated memory: 458604 KiB
[startup+2142.3 s]
/proc/loadavg: 2.49 2.14 2.08 3/187 4215
/proc/meminfo: memFree=23409000/32770624 swapFree=67108196/67108860
[pid=4069] ppid=4066 vsize=2453360 memory=495352 CPUtime=2142.18 cores=1,3,5,7
/proc/4069/stat : 4069 (xcsp_picat) R 4066 4069 32759 0 -1 4202496 484571 0 0 0 213481 737 0 0 20 0 1 0 249157963 2512240640 123838 33554432000 4194304 5849940 140735914142816 140735914141816 140630371823495 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32096256 140735914149046 140735914149124 140735914149124 140735914151882 0
/proc/4069/statm: 613340 123838 748 405 0 610284 0
Current children cumulated CPU time: 2142.18 s
Current children cumulated vsize: 2453360 KiB
Current children cumulated memory: 495352 KiB
[startup+2202.3 s]
/proc/loadavg: 2.21 2.13 2.08 3/187 4216
/proc/meminfo: memFree=23331916/32770624 swapFree=67108196/67108860
[pid=4069] ppid=4066 vsize=2543472 memory=585632 CPUtime=2202.18 cores=1,3,5,7
/proc/4069/stat : 4069 (xcsp_picat) R 4066 4069 32759 0 -1 4202496 490635 0 0 0 219469 749 0 0 20 0 1 0 249157963 2604515328 146408 33554432000 4194304 5849940 140735914142816 140735914141976 5437906 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32096256 140735914149046 140735914149124 140735914149124 140735914151882 0
/proc/4069/statm: 635868 146408 748 405 0 632812 0
Current children cumulated CPU time: 2202.18 s
Current children cumulated vsize: 2543472 KiB
Current children cumulated memory: 585632 KiB
[startup+2262.3 s]
/proc/loadavg: 2.08 2.10 2.08 3/188 4225
/proc/meminfo: memFree=23302036/32770624 swapFree=67108196/67108860
[pid=4069] ppid=4066 vsize=2543472 memory=585632 CPUtime=2262.18 cores=1,3,5,7
/proc/4069/stat : 4069 (xcsp_picat) R 4066 4069 32759 0 -1 4202496 497912 0 0 0 225458 760 0 0 20 0 1 0 249157963 2604515328 146408 33554432000 4194304 5849940 140735914142816 140735914141816 140630371823495 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32096256 140735914149046 140735914149124 140735914149124 140735914151882 0
/proc/4069/statm: 635868 146408 748 405 0 632812 0
Current children cumulated CPU time: 2262.18 s
Current children cumulated vsize: 2543472 KiB
Current children cumulated memory: 585632 KiB
[startup+2322.3 s]
/proc/loadavg: 2.03 2.08 2.07 3/188 4226
/proc/meminfo: memFree=23361432/32770624 swapFree=67108196/67108860
[pid=4069] ppid=4066 vsize=2481892 memory=523980 CPUtime=2322.17 cores=1,3,5,7
/proc/4069/stat : 4069 (xcsp_picat) R 4066 4069 32759 0 -1 4202496 505911 0 0 0 231445 772 0 0 20 0 1 0 249157963 2541457408 130995 33554432000 4194304 5849940 140735914142816 140735914141816 5340549 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32096256 140735914149046 140735914149124 140735914149124 140735914151882 0
/proc/4069/statm: 620473 130995 748 405 0 617417 0
Current children cumulated CPU time: 2322.17 s
Current children cumulated vsize: 2481892 KiB
Current children cumulated memory: 523980 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/188 4227
/proc/meminfo: memFree=23378516/32770624 swapFree=67108196/67108860
[pid=4069] ppid=4066 vsize=2498244 memory=540408 CPUtime=2382.18 cores=1,3,5,7
/proc/4069/stat : 4069 (xcsp_picat) R 4066 4069 32759 0 -1 4202496 515748 0 0 0 237431 787 0 0 20 0 1 0 249157963 2558201856 135102 33554432000 4194304 5849940 140735914142816 140735914141816 5437906 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32096256 140735914149046 140735914149124 140735914149124 140735914151882 0
/proc/4069/statm: 624561 135102 748 405 0 621505 0
Current children cumulated CPU time: 2382.18 s
Current children cumulated vsize: 2498244 KiB
Current children cumulated memory: 540408 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/188 4228
/proc/meminfo: memFree=23367968/32770624 swapFree=67108196/67108860
[pid=4069] ppid=4066 vsize=2502784 memory=544948 CPUtime=2442.18 cores=1,3,5,7
/proc/4069/stat : 4069 (xcsp_picat) R 4066 4069 32759 0 -1 4202496 526068 0 0 0 243420 798 0 0 20 0 1 0 249157963 2562850816 136237 33554432000 4194304 5849940 140735914142816 140735914141816 5437906 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32096256 140735914149046 140735914149124 140735914149124 140735914151882 0
/proc/4069/statm: 625696 136237 748 405 0 622640 0
Current children cumulated CPU time: 2442.18 s
Current children cumulated vsize: 2502784 KiB
Current children cumulated memory: 544948 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/188 4229
/proc/meminfo: memFree=23376284/32770624 swapFree=67108196/67108860
[pid=4069] ppid=4066 vsize=2502784 memory=544948 CPUtime=2502.17 cores=1,3,5,7
/proc/4069/stat : 4069 (xcsp_picat) R 4066 4069 32759 0 -1 4202496 536057 0 0 0 249410 807 0 0 20 0 1 0 249157963 2562850816 136237 33554432000 4194304 5849940 140735914142816 140735914141816 140630371823495 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32096256 140735914149046 140735914149124 140735914149124 140735914151882 0
/proc/4069/statm: 625696 136237 748 405 0 622640 0
Current children cumulated CPU time: 2502.17 s
Current children cumulated vsize: 2502784 KiB
Current children cumulated memory: 544948 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.04 2.05 3/188 4230
/proc/meminfo: memFree=23336384/32770624 swapFree=67108196/67108860
[pid=4069] ppid=4066 vsize=2502784 memory=544948 CPUtime=2519.88 cores=1,3,5,7
/proc/4069/stat : 4069 (xcsp_picat) R 4066 4069 32759 0 -1 4202496 537634 0 0 0 251178 810 0 0 20 0 1 0 249157963 2562850816 136237 33554432000 4194304 5849940 140735914142816 140735914141688 5438459 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 32096256 140735914149046 140735914149124 140735914149124 140735914151882 0
/proc/4069/statm: 625696 136237 748 405 0 622640 0
Current children cumulated CPU time: 2519.88 s
Current children cumulated vsize: 2502784 KiB
Current children cumulated memory: 544948 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 4069 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2511.79 s, system=8.10868 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.02
CPU time (s): 2519.9
CPU user time (s): 2511.79
CPU system time (s): 8.10868
CPU usage (%): 99.9952
Max. virtual memory (cumulated for all children) (KiB): 2573768
Max. memory (cumulated for all children) (KiB): 585632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.79
system time used= 8.10868
maximum resident set size= 585632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 537634
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= 25
involuntary context switches= 842
# summary of solver processes directly reported to runsolver:
# pid: 4069
# total CPU time (s): 2519.9
# total CPU user time (s): 2511.79
# total CPU system time (s): 8.10868
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.72874 second user time and 18.84 second system time
The end