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 (137 MiB free)
memory of node 1: 16384 MiB (485 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303522-1533998519/watcher-4303522-1533998519 -o /tmp/evaluation-result-4303522-1533998519/solver-4303522-1533998519 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1533993477-10116 --watchdog 2580 xcsp_picat HOME/instance-4303522-1533998519.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=10634, runsolver pid=10631
Current StackSize limit: 8192 KiB
[startup+0.100169 s]*
/proc/loadavg: 2.00 2.05 2.05 3/188 10635
/proc/meminfo: memFree=608184/32770624 swapFree=67108496/67108860
[pid=10634] ppid=10631 vsize=2030424 memory=33656 CPUtime=0.1 cores=1,3,5,7
/proc/10634/stat : 10634 (xcsp_picat) R 10631 10634 10084 0 -1 4202496 2451 0 0 0 10 0 0 0 20 0 1 0 217415129 2079154176 8414 33554432000 4194304 5849708 140731500820112 140731500820112 140125909825440 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 15609856 140731500827830 140731500827908 140731500827908 140731500830666 0
/proc/10634/statm: 507606 8414 664 405 0 504551 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2030424 KiB
Current children cumulated memory: 33656 KiB
[startup+0.2098 s]*
/proc/loadavg: 2.00 2.05 2.05 3/188 10635
/proc/meminfo: memFree=593860/32770624 swapFree=67108496/67108860
[pid=10634] ppid=10631 vsize=2042920 memory=46460 CPUtime=0.21 cores=1,3,5,7
/proc/10634/stat : 10634 (xcsp_picat) R 10631 10634 10084 0 -1 4202496 5190 0 0 0 20 1 0 0 20 0 1 0 217415129 2091950080 11615 33554432000 4194304 5849708 140731500820112 140731500820112 4554763 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 15609856 140731500827830 140731500827908 140731500827908 140731500830666 0
/proc/10634/statm: 510730 11615 665 405 0 507675 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2042920 KiB
Current children cumulated memory: 46460 KiB
[startup+0.30971 s]*
/proc/loadavg: 2.00 2.05 2.05 3/188 10635
/proc/meminfo: memFree=584176/32770624 swapFree=67108496/67108860
[pid=10634] ppid=10631 vsize=2052156 memory=56036 CPUtime=0.31 cores=1,3,5,7
/proc/10634/stat : 10634 (xcsp_picat) R 10631 10634 10084 0 -1 4202496 6253 0 0 0 30 1 0 0 20 0 1 0 217415129 2101407744 14009 33554432000 4194304 5849708 140731500820112 140731500820112 5375988 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 15609856 140731500827830 140731500827908 140731500827908 140731500830666 0
/proc/10634/statm: 513039 14009 697 405 0 509984 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2052156 KiB
Current children cumulated memory: 56036 KiB
[startup+0.700404 s]
/proc/loadavg: 2.00 2.05 2.05 3/188 10635
/proc/meminfo: memFree=583904/32770624 swapFree=67108496/67108860
[pid=10634] ppid=10631 vsize=2055716 memory=59464 CPUtime=0.7 cores=1,3,5,7
/proc/10634/stat : 10634 (xcsp_picat) R 10631 10634 10084 0 -1 4202496 9661 0 0 0 68 2 0 0 20 0 1 0 217415129 2105053184 14866 33554432000 4194304 5849708 140731500820112 140731500820112 5332959 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 15609856 140731500827830 140731500827908 140731500827908 140731500830666 0
/proc/10634/statm: 513929 14866 712 405 0 510874 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 2055716 KiB
Current children cumulated memory: 59464 KiB
[startup+1.5004 s]
/proc/loadavg: 2.00 2.05 2.05 3/188 10635
/proc/meminfo: memFree=581700/32770624 swapFree=67108496/67108860
[pid=10634] ppid=10631 vsize=2055708 memory=59520 CPUtime=1.5 cores=1,3,5,7
/proc/10634/stat : 10634 (xcsp_picat) R 10631 10634 10084 0 -1 4202496 9668 0 0 0 148 2 0 0 20 0 1 0 217415129 2105044992 14880 33554432000 4194304 5849708 140731500820112 140731500818760 5361375 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 15609856 140731500827830 140731500827908 140731500827908 140731500830666 0
/proc/10634/statm: 513927 14880 712 405 0 510872 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 2055708 KiB
Current children cumulated memory: 59520 KiB
[startup+3.10958 s]
/proc/loadavg: 2.00 2.05 2.05 3/188 10635
/proc/meminfo: memFree=579964/32770624 swapFree=67108496/67108860
[pid=10634] ppid=10631 vsize=2057396 memory=61240 CPUtime=3.1 cores=1,3,5,7
/proc/10634/stat : 10634 (xcsp_picat) R 10631 10634 10084 0 -1 4202496 16318 0 0 0 308 2 0 0 20 0 1 0 217415129 2106773504 15310 33554432000 4194304 5849708 140731500820112 140731500818760 4204944 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 15609856 140731500827830 140731500827908 140731500827908 140731500830666 0
/proc/10634/statm: 514349 15310 720 405 0 511294 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2057396 KiB
Current children cumulated memory: 61240 KiB
[startup+6.30028 s]
/proc/loadavg: 1.92 2.03 2.05 3/188 10635
/proc/meminfo: memFree=575324/32770624 swapFree=67108496/67108860
[pid=10634] ppid=10631 vsize=2061128 memory=64988 CPUtime=6.29 cores=1,3,5,7
/proc/10634/stat : 10634 (xcsp_picat) R 10631 10634 10084 0 -1 4202496 20467 0 0 0 627 2 0 0 20 0 1 0 217415129 2110595072 16247 33554432000 4194304 5849708 140731500820112 140731500817656 5308437 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 15609856 140731500827830 140731500827908 140731500827908 140731500830666 0
/proc/10634/statm: 515282 16247 724 405 0 512227 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2061128 KiB
Current children cumulated memory: 64988 KiB
[startup+12.7004 s]
/proc/loadavg: 1.93 2.03 2.05 3/188 10635
/proc/meminfo: memFree=574800/32770624 swapFree=67108496/67108860
[pid=10634] ppid=10631 vsize=2061100 memory=64976 CPUtime=12.69 cores=1,3,5,7
/proc/10634/stat : 10634 (xcsp_picat) R 10631 10634 10084 0 -1 4202496 25574 0 0 0 1265 4 0 0 20 0 1 0 217415129 2110566400 16244 33554432000 4194304 5849708 140731500820112 140731500819112 140125910237063 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 15609856 140731500827830 140731500827908 140731500827908 140731500830666 0
/proc/10634/statm: 515275 16244 728 405 0 512220 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2061100 KiB
Current children cumulated memory: 64976 KiB
[startup+25.5004 s]
/proc/loadavg: 1.95 2.03 2.05 3/188 10635
/proc/meminfo: memFree=579536/32770624 swapFree=67108496/67108860
[pid=10634] ppid=10631 vsize=2056992 memory=59920 CPUtime=25.49 cores=1,3,5,7
/proc/10634/stat : 10634 (xcsp_picat) R 10631 10634 10084 0 -1 4202496 35605 0 0 0 2542 7 0 0 20 0 1 0 217415129 2106359808 14980 33554432000 4194304 5849708 140731500820112 140731500819112 5338832 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 15609856 140731500827830 140731500827908 140731500827908 140731500830666 0
/proc/10634/statm: 514248 14980 728 405 0 511193 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2056992 KiB
Current children cumulated memory: 59920 KiB
[startup+51.1096 s]
/proc/loadavg: 1.96 2.03 2.05 3/188 10635
/proc/meminfo: memFree=578264/32770624 swapFree=67108496/67108860
[pid=10634] ppid=10631 vsize=2057736 memory=61612 CPUtime=51.1 cores=1,3,5,7
/proc/10634/stat : 10634 (xcsp_picat) R 10631 10634 10084 0 -1 4202496 42204 0 0 0 5096 14 0 0 20 0 1 0 217415129 2107121664 15403 33554432000 4194304 5849708 140731500820112 140731500818600 5437576 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 15609856 140731500827830 140731500827908 140731500827908 140731500830666 0
/proc/10634/statm: 514434 15403 728 405 0 511379 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2057736 KiB
Current children cumulated memory: 61612 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/188 10636
/proc/meminfo: memFree=580964/32770624 swapFree=67108496/67108860
[pid=10634] ppid=10631 vsize=2062460 memory=66336 CPUtime=102.3 cores=1,3,5,7
/proc/10634/stat : 10634 (xcsp_picat) R 10631 10634 10084 0 -1 4202496 54717 0 0 0 10201 29 0 0 20 0 1 0 217415129 2111959040 16584 33554432000 4194304 5849708 140731500820112 140731500819112 140125910237063 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 15609856 140731500827830 140731500827908 140731500827908 140731500830666 0
/proc/10634/statm: 515615 16584 728 405 0 512560 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2062460 KiB
Current children cumulated memory: 66336 KiB
[startup+162.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/188 10637
/proc/meminfo: memFree=567452/32770624 swapFree=67108496/67108860
[pid=10634] ppid=10631 vsize=2074864 memory=78856 CPUtime=162.3 cores=1,3,5,7
/proc/10634/stat : 10634 (xcsp_picat) R 10631 10634 10084 0 -1 4202496 63554 0 0 0 16186 44 0 0 20 0 1 0 217415129 2124660736 19714 33554432000 4194304 5849708 140731500820112 140731500819112 5437623 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 15609856 140731500827830 140731500827908 140731500827908 140731500830666 0
/proc/10634/statm: 518716 19714 728 405 0 515661 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2074864 KiB
Current children cumulated memory: 78856 KiB
[startup+222.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 10638
/proc/meminfo: memFree=559832/32770624 swapFree=67108496/67108860
[pid=10634] ppid=10631 vsize=2081624 memory=85500 CPUtime=222.29 cores=1,3,5,7
/proc/10634/stat : 10634 (xcsp_picat) R 10631 10634 10084 0 -1 4202496 78770 0 0 0 22169 60 0 0 20 0 1 0 217415129 2131582976 21375 33554432000 4194304 5849708 140731500820112 140731500819112 5438072 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 15609856 140731500827830 140731500827908 140731500827908 140731500830666 0
/proc/10634/statm: 520406 21375 728 405 0 517351 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2081624 KiB
Current children cumulated memory: 85500 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 10639
/proc/meminfo: memFree=561312/32770624 swapFree=67108496/67108860
[pid=10634] ppid=10631 vsize=2079404 memory=83280 CPUtime=282.3 cores=1,3,5,7
/proc/10634/stat : 10634 (xcsp_picat) R 10631 10634 10084 0 -1 4202496 89670 0 0 0 28153 77 0 0 20 0 1 0 217415129 2129309696 20820 33554432000 4194304 5849708 140731500820112 140731500818984 4205924 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 15609856 140731500827830 140731500827908 140731500827908 140731500830666 0
/proc/10634/statm: 519851 20820 728 405 0 516796 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 2079404 KiB
Current children cumulated memory: 83280 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 10640
/proc/meminfo: memFree=569632/32770624 swapFree=67108496/67108860
[pid=10634] ppid=10631 vsize=2079340 memory=83216 CPUtime=342.3 cores=1,3,5,7
/proc/10634/stat : 10634 (xcsp_picat) R 10631 10634 10084 0 -1 4202496 99428 0 0 0 34138 92 0 0 20 0 1 0 217415129 2129244160 20804 33554432000 4194304 5849708 140731500820112 140731500819112 140125910237063 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 15609856 140731500827830 140731500827908 140731500827908 140731500830666 0
/proc/10634/statm: 519835 20804 728 405 0 516780 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2079340 KiB
Current children cumulated memory: 83216 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 10641
/proc/meminfo: memFree=570236/32770624 swapFree=67108496/67108860
[pid=10634] ppid=10631 vsize=2082584 memory=86460 CPUtime=402.29 cores=1,3,5,7
/proc/10634/stat : 10634 (xcsp_picat) R 10631 10634 10084 0 -1 4202496 110168 0 0 0 40119 110 0 0 20 0 1 0 217415129 2132566016 21615 33554432000 4194304 5849708 140731500820112 140731500819112 140125910237063 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 15609856 140731500827830 140731500827908 140731500827908 140731500830666 0
/proc/10634/statm: 520646 21615 728 405 0 517591 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 2082584 KiB
Current children cumulated memory: 86460 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 10642
/proc/meminfo: memFree=547420/32770624 swapFree=67108496/67108860
[pid=10634] ppid=10631 vsize=2104032 memory=107908 CPUtime=462.3 cores=1,3,5,7
/proc/10634/stat : 10634 (xcsp_picat) R 10631 10634 10084 0 -1 4202496 129955 0 0 0 46105 125 0 0 20 0 1 0 217415129 2154528768 26977 33554432000 4194304 5849708 140731500820112 140731500819112 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 15609856 140731500827830 140731500827908 140731500827908 140731500830666 0
/proc/10634/statm: 526008 26977 728 405 0 522953 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 2104032 KiB
Current children cumulated memory: 107908 KiB
################
# More data... #
################
/proc/10634/statm: 552203 54405 728 405 0 549148 0
Current children cumulated CPU time: 1722.29 s
Current children cumulated vsize: 2208812 KiB
Current children cumulated memory: 217620 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 10772
/proc/meminfo: memFree=8219864/32770624 swapFree=67108496/67108860
[pid=10634] ppid=10631 vsize=2128068 memory=136876 CPUtime=1782.29 cores=1,3,5,7
/proc/10634/stat : 10634 (xcsp_picat) R 10631 10634 10084 0 -1 4202496 368046 0 0 0 177776 453 0 0 20 0 1 0 217415129 2179141632 34219 33554432000 4194304 5849708 140731500820112 140731500818984 5310097 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 15609856 140731500827830 140731500827908 140731500827908 140731500830666 0
/proc/10634/statm: 532017 34219 728 405 0 528962 0
Current children cumulated CPU time: 1782.29 s
Current children cumulated vsize: 2128068 KiB
Current children cumulated memory: 136876 KiB
[startup+1842.3 s]
/proc/loadavg: 2.05 2.06 2.06 3/187 10773
/proc/meminfo: memFree=8206356/32770624 swapFree=67108496/67108860
[pid=10634] ppid=10631 vsize=2167724 memory=176512 CPUtime=1842.29 cores=1,3,5,7
/proc/10634/stat : 10634 (xcsp_picat) R 10631 10634 10084 0 -1 4202496 381752 0 0 0 183759 470 0 0 20 0 1 0 217415129 2219749376 44128 33554432000 4194304 5849708 140731500820112 140731500819112 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 15609856 140731500827830 140731500827908 140731500827908 140731500830666 0
/proc/10634/statm: 541931 44128 728 405 0 538876 0
Current children cumulated CPU time: 1842.29 s
Current children cumulated vsize: 2167724 KiB
Current children cumulated memory: 176512 KiB
[startup+1902.3 s]
/proc/loadavg: 2.02 2.04 2.06 3/187 10774
/proc/meminfo: memFree=8196244/32770624 swapFree=67108496/67108860
[pid=10634] ppid=10631 vsize=2177684 memory=186492 CPUtime=1902.29 cores=1,3,5,7
/proc/10634/stat : 10634 (xcsp_picat) R 10631 10634 10084 0 -1 4202496 397338 0 0 0 189748 481 0 0 20 0 1 0 217415129 2229948416 46623 33554432000 4194304 5849708 140731500820112 140731500819112 140125910237063 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 15609856 140731500827830 140731500827908 140731500827908 140731500830666 0
/proc/10634/statm: 544421 46623 728 405 0 541366 0
Current children cumulated CPU time: 1902.29 s
Current children cumulated vsize: 2177684 KiB
Current children cumulated memory: 186492 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 10775
/proc/meminfo: memFree=8198604/32770624 swapFree=67108496/67108860
[pid=10634] ppid=10631 vsize=2175580 memory=184320 CPUtime=1962.3 cores=1,3,5,7
/proc/10634/stat : 10634 (xcsp_picat) R 10631 10634 10084 0 -1 4202496 403109 0 0 0 195733 497 0 0 20 0 1 0 217415129 2227793920 46080 33554432000 4194304 5849708 140731500820112 140731500819112 5437736 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 15609856 140731500827830 140731500827908 140731500827908 140731500830666 0
/proc/10634/statm: 543895 46080 728 405 0 540840 0
Current children cumulated CPU time: 1962.3 s
Current children cumulated vsize: 2175580 KiB
Current children cumulated memory: 184320 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 10776
/proc/meminfo: memFree=8180096/32770624 swapFree=67108496/67108860
[pid=10634] ppid=10631 vsize=2193720 memory=202528 CPUtime=2022.29 cores=1,3,5,7
/proc/10634/stat : 10634 (xcsp_picat) R 10631 10634 10084 0 -1 4202496 418978 0 0 0 201719 510 0 0 20 0 1 0 217415129 2246369280 50632 33554432000 4194304 5849708 140731500820112 140731500819112 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 15609856 140731500827830 140731500827908 140731500827908 140731500830666 0
/proc/10634/statm: 548430 50632 728 405 0 545375 0
Current children cumulated CPU time: 2022.29 s
Current children cumulated vsize: 2193720 KiB
Current children cumulated memory: 202528 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 10777
/proc/meminfo: memFree=8190648/32770624 swapFree=67108496/67108860
[pid=10634] ppid=10631 vsize=2200936 memory=209744 CPUtime=2082.3 cores=1,3,5,7
/proc/10634/stat : 10634 (xcsp_picat) R 10631 10634 10084 0 -1 4202496 425171 0 0 0 207710 520 0 0 20 0 1 0 217415129 2253758464 52436 33554432000 4194304 5849708 140731500820112 140731500819112 140125910237063 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 15609856 140731500827830 140731500827908 140731500827908 140731500830666 0
/proc/10634/statm: 550234 52436 728 405 0 547179 0
Current children cumulated CPU time: 2082.3 s
Current children cumulated vsize: 2200936 KiB
Current children cumulated memory: 209744 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 10778
/proc/meminfo: memFree=8166328/32770624 swapFree=67108496/67108860
[pid=10634] ppid=10631 vsize=2177276 memory=186084 CPUtime=2142.31 cores=1,3,5,7
/proc/10634/stat : 10634 (xcsp_picat) R 10631 10634 10084 0 -1 4202496 441480 0 0 0 213698 533 0 0 20 0 1 0 217415129 2229530624 46521 33554432000 4194304 5849708 140731500820112 140731500819112 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 15609856 140731500827830 140731500827908 140731500827908 140731500830666 0
/proc/10634/statm: 544319 46521 728 405 0 541264 0
Current children cumulated CPU time: 2142.31 s
Current children cumulated vsize: 2177276 KiB
Current children cumulated memory: 186084 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 10779
/proc/meminfo: memFree=8217948/32770624 swapFree=67108496/67108860
[pid=10634] ppid=10631 vsize=2165988 memory=174796 CPUtime=2202.3 cores=1,3,5,7
/proc/10634/stat : 10634 (xcsp_picat) R 10631 10634 10084 0 -1 4202496 448479 0 0 0 219687 543 0 0 20 0 1 0 217415129 2217971712 43699 33554432000 4194304 5849708 140731500820112 140731500819272 5437748 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 15609856 140731500827830 140731500827908 140731500827908 140731500830666 0
/proc/10634/statm: 541497 43699 728 405 0 538442 0
Current children cumulated CPU time: 2202.3 s
Current children cumulated vsize: 2165988 KiB
Current children cumulated memory: 174796 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10780
/proc/meminfo: memFree=8173440/32770624 swapFree=67108496/67108860
[pid=10634] ppid=10631 vsize=2215364 memory=224172 CPUtime=2262.3 cores=1,3,5,7
/proc/10634/stat : 10634 (xcsp_picat) R 10631 10634 10084 0 -1 4202496 465941 0 0 0 225676 554 0 0 20 0 1 0 217415129 2268532736 56043 33554432000 4194304 5849708 140731500820112 140731500819112 5437835 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 15609856 140731500827830 140731500827908 140731500827908 140731500830666 0
/proc/10634/statm: 553841 56043 728 405 0 550786 0
Current children cumulated CPU time: 2262.3 s
Current children cumulated vsize: 2215364 KiB
Current children cumulated memory: 224172 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10788
/proc/meminfo: memFree=8160036/32770624 swapFree=67108496/67108860
[pid=10634] ppid=10631 vsize=2233528 memory=242336 CPUtime=2322.31 cores=1,3,5,7
/proc/10634/stat : 10634 (xcsp_picat) R 10631 10634 10084 0 -1 4202496 469121 0 0 0 231665 566 0 0 20 0 1 0 217415129 2287132672 60584 33554432000 4194304 5849708 140731500820112 140731500819112 140125910237063 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 15609856 140731500827830 140731500827908 140731500827908 140731500830666 0
/proc/10634/statm: 558382 60584 728 405 0 555327 0
Current children cumulated CPU time: 2322.31 s
Current children cumulated vsize: 2233528 KiB
Current children cumulated memory: 242336 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10789
/proc/meminfo: memFree=8084292/32770624 swapFree=67108496/67108860
[pid=10634] ppid=10631 vsize=2278024 memory=286832 CPUtime=2382.31 cores=1,3,5,7
/proc/10634/stat : 10634 (xcsp_picat) R 10631 10634 10084 0 -1 4202496 491712 0 0 0 237650 581 0 0 20 0 1 0 217415129 2332696576 71708 33554432000 4194304 5849708 140731500820112 140731500819112 5335584 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 15609856 140731500827830 140731500827908 140731500827908 140731500830666 0
/proc/10634/statm: 569506 71708 728 405 0 566451 0
Current children cumulated CPU time: 2382.31 s
Current children cumulated vsize: 2278024 KiB
Current children cumulated memory: 286832 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10790
/proc/meminfo: memFree=8010880/32770624 swapFree=67108496/67108860
[pid=10634] ppid=10631 vsize=2344748 memory=353556 CPUtime=2442.31 cores=1,3,5,7
/proc/10634/stat : 10634 (xcsp_picat) R 10631 10634 10084 0 -1 4202496 499158 0 0 0 243641 590 0 0 20 0 1 0 217415129 2401021952 88389 33554432000 4194304 5849708 140731500820112 140731500819112 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 15609856 140731500827830 140731500827908 140731500827908 140731500830666 0
/proc/10634/statm: 586187 88389 728 405 0 583132 0
Current children cumulated CPU time: 2442.31 s
Current children cumulated vsize: 2344748 KiB
Current children cumulated memory: 353556 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10791
/proc/meminfo: memFree=8107816/32770624 swapFree=67108496/67108860
[pid=10634] ppid=10631 vsize=2205812 memory=214620 CPUtime=2502.31 cores=1,3,5,7
/proc/10634/stat : 10634 (xcsp_picat) R 10631 10634 10084 0 -1 4202496 516652 0 0 0 249628 603 0 0 20 0 1 0 217415129 2258751488 53655 33554432000 4194304 5849708 140731500820112 140731500819112 5437835 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 15609856 140731500827830 140731500827908 140731500827908 140731500830666 0
/proc/10634/statm: 551453 53655 728 405 0 548398 0
Current children cumulated CPU time: 2502.31 s
Current children cumulated vsize: 2205812 KiB
Current children cumulated memory: 214620 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 10792
/proc/meminfo: memFree=8140540/32770624 swapFree=67108496/67108860
[pid=10634] ppid=10631 vsize=2213380 memory=222068 CPUtime=2520.02 cores=1,3,5,7
/proc/10634/stat : 10634 (xcsp_picat) R 10631 10634 10084 0 -1 4202496 519278 0 0 0 251396 606 0 0 20 0 1 0 217415129 2266501120 55517 33554432000 4194304 5849708 140731500820112 140731500819112 140125910237063 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 15609856 140731500827830 140731500827908 140731500827908 140731500830666 0
/proc/10634/statm: 553345 55517 728 405 0 550290 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 2213380 KiB
Current children cumulated memory: 222068 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 10634 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.96 s, system=6.07114 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): 2520.03
CPU user time (s): 2513.96
CPU system time (s): 6.07114
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 2344748
Max. memory (cumulated for all children) (KiB): 353556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.96
system time used= 6.07114
maximum resident set size= 353556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519278
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= 32
involuntary context switches= 2143
# summary of solver processes directly reported to runsolver:
# pid: 10634
# total CPU time (s): 2520.03
# total CPU user time (s): 2513.96
# total CPU system time (s): 6.07114
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.7762 second user time and 18.4615 second system time
The end