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 (3806 MiB free)
memory of node 1: 16384 MiB (1061 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303005-1534011536/watcher-4303005-1534011536 -o /tmp/evaluation-result-4303005-1534011536/solver-4303005-1534011536 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1533993481-21559 --watchdog 2580 xcsp_picat HOME/instance-4303005-1534011536.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=23749, runsolver pid=23746
[startup+0.100561 s]*
/proc/loadavg: 2.08 2.00 2.04 3/187 23750
/proc/meminfo: memFree=4971608/32770624 swapFree=67108796/67108860
[pid=23749] ppid=23746 vsize=2025744 memory=16424 CPUtime=0.1 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp_picat) R 23746 23749 21527 0 -1 4202496 1197 0 0 0 10 0 0 0 20 0 1 0 218716958 2074361856 4106 33554432000 4194304 5849708 140733143256688 140733143255992 4488834 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 19247104 140733143262390 140733143262468 140733143262468 140733143265226 0
/proc/23749/statm: 506436 4106 593 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 16424 KiB
[startup+0.209567 s]*
/proc/loadavg: 2.08 2.00 2.04 3/187 23750
/proc/meminfo: memFree=4965340/32770624 swapFree=67108796/67108860
[pid=23749] ppid=23746 vsize=2025744 memory=22568 CPUtime=0.21 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp_picat) R 23746 23749 21527 0 -1 4202496 1200 0 0 0 21 0 0 0 20 0 1 0 218716958 2074361856 5642 33554432000 4194304 5849708 140733143256688 140733143255992 4494059 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 19247104 140733143262390 140733143262468 140733143262468 140733143265226 0
/proc/23749/statm: 506436 5642 593 405 0 503381 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 22568 KiB
[startup+0.309405 s]*
/proc/loadavg: 2.08 2.00 2.04 3/187 23750
/proc/meminfo: memFree=4959196/32770624 swapFree=67108796/67108860
[pid=23749] ppid=23746 vsize=2025744 memory=28712 CPUtime=0.31 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp_picat) R 23746 23749 21527 0 -1 4202496 1203 0 0 0 31 0 0 0 20 0 1 0 218716958 2074361856 7178 33554432000 4194304 5849708 140733143256688 140733143255992 140093867895808 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 19247104 140733143262390 140733143262468 140733143262468 140733143265226 0
/proc/23749/statm: 506436 7178 593 405 0 503381 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 28712 KiB
[startup+0.700268 s]
/proc/loadavg: 2.08 2.00 2.04 3/187 23750
/proc/meminfo: memFree=4948584/32770624 swapFree=67108796/67108860
[pid=23749] ppid=23746 vsize=2025744 memory=49192 CPUtime=0.68 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp_picat) R 23746 23749 21527 0 -1 4202496 1213 0 0 0 68 0 0 0 20 0 1 0 218716958 2074361856 12298 33554432000 4194304 5849708 140733143256688 140733143255992 4333631 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 19247104 140733143262390 140733143262468 140733143262468 140733143265226 0
/proc/23749/statm: 506436 12298 593 405 0 503381 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 49192 KiB
[startup+1.50028 s]
/proc/loadavg: 2.08 2.00 2.04 3/187 23750
/proc/meminfo: memFree=4919912/32770624 swapFree=67108796/67108860
[pid=23749] ppid=23746 vsize=2025744 memory=94248 CPUtime=1.49 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp_picat) R 23746 23749 21527 0 -1 4202496 1235 0 0 0 148 1 0 0 20 0 1 0 218716958 2074361856 23562 33554432000 4194304 5849708 140733143256688 140733143255992 140093867895808 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 19247104 140733143262390 140733143262468 140733143262468 140733143265226 0
/proc/23749/statm: 506436 23562 593 405 0 503381 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 94248 KiB
[startup+3.10953 s]
/proc/loadavg: 2.07 2.00 2.04 3/187 23750
/proc/meminfo: memFree=4688104/32770624 swapFree=67108796/67108860
[pid=23749] ppid=23746 vsize=2156640 memory=319944 CPUtime=3.09 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp_picat) R 23746 23749 21527 0 -1 4202496 3411 0 0 0 305 4 0 0 20 0 1 0 218716958 2208399360 79986 33554432000 4194304 5849708 140733143256688 140733143256008 4454534 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 19247104 140733143262390 140733143262468 140733143262468 140733143265226 0
/proc/23749/statm: 539160 79986 613 405 0 536105 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2156640 KiB
Current children cumulated memory: 319944 KiB
[startup+6.30031 s]
/proc/loadavg: 2.07 2.00 2.04 3/187 23750
/proc/meminfo: memFree=4147572/32770624 swapFree=67108796/67108860
[pid=23749] ppid=23746 vsize=2156640 memory=891336 CPUtime=6.29 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp_picat) R 23746 23749 21527 0 -1 4202496 3699 0 0 0 612 17 0 0 20 0 1 0 218716958 2208399360 222834 33554432000 4194304 5849708 140733143256688 140733143256008 4489800 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 19247104 140733143262390 140733143262468 140733143262468 140733143265226 0
/proc/23749/statm: 539160 222834 613 405 0 536105 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2156640 KiB
Current children cumulated memory: 891336 KiB
[startup+12.7003 s]
/proc/loadavg: 2.06 2.00 2.04 3/187 23750
/proc/meminfo: memFree=3072996/32770624 swapFree=67108796/67108860
[pid=23749] ppid=23746 vsize=2250392 memory=1946144 CPUtime=12.69 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp_picat) R 23746 23749 21527 0 -1 4202496 5436 0 0 0 1235 34 0 0 20 0 1 0 218716958 2304401408 486536 33554432000 4194304 5849708 140733143256688 140733143255976 4563473 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 19247104 140733143262390 140733143262468 140733143262468 140733143265226 0
/proc/23749/statm: 562598 486536 613 405 0 559543 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2250392 KiB
Current children cumulated memory: 1946144 KiB
[startup+25.5004 s]
/proc/loadavg: 2.12 2.02 2.05 3/187 23750
/proc/meminfo: memFree=1817628/32770624 swapFree=67108796/67108860
[pid=23749] ppid=23746 vsize=4433004 memory=3269420 CPUtime=25.48 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp_picat) R 23746 23749 21527 0 -1 4202496 137973 0 0 0 2398 150 0 0 20 0 1 0 218716958 4539396096 817355 33554432000 4194304 5849708 140733143256688 140733143255976 4490541 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 19247104 140733143262390 140733143262468 140733143262468 140733143265226 0
/proc/23749/statm: 1108251 817355 614 405 0 1105196 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 4433004 KiB
Current children cumulated memory: 3269420 KiB
[startup+51.1098 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 23750
/proc/meminfo: memFree=217276/32770624 swapFree=67108796/67108860
[pid=23749] ppid=23746 vsize=8419288 memory=6391808 CPUtime=51.09 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp_picat) R 23746 23749 21527 0 -1 4202496 783952 0 0 0 4778 331 0 0 20 0 1 0 218716958 8621350912 1597952 33554432000 4194304 5849708 140733143256688 140733143256008 4495203 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19247104 140733143262390 140733143262468 140733143262468 140733143265226 0
/proc/23749/statm: 2104822 1597952 623 405 0 2101767 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 8419288 KiB
Current children cumulated memory: 6391808 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 23820
/proc/meminfo: memFree=2293044/32770624 swapFree=67108796/67108860
[pid=23749] ppid=23746 vsize=12470508 memory=10382484 CPUtime=102.28 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp_picat) R 23746 23749 21527 0 -1 4202496 2256718 0 0 0 9103 1125 0 0 20 0 1 0 218716958 12769800192 2595621 33554432000 4194304 5849708 140733143256688 140733143255688 5269593 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19247104 140733143262390 140733143262468 140733143262468 140733143265226 0
/proc/23749/statm: 3117627 2595621 624 405 0 3114572 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 12470508 KiB
Current children cumulated memory: 10382484 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 23821
/proc/meminfo: memFree=1425232/32770624 swapFree=67108796/67108860
[pid=23749] ppid=23746 vsize=12603320 memory=10515288 CPUtime=162.28 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp_picat) R 23746 23749 21527 0 -1 4202496 2405339 0 0 0 14507 1721 0 0 20 0 1 0 218716958 12905799680 2628822 33554432000 4194304 5849708 140733143256688 140733143255688 5261056 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19247104 140733143262390 140733143262468 140733143262468 140733143265226 0
/proc/23749/statm: 3150830 2628822 624 405 0 3147775 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 12603320 KiB
Current children cumulated memory: 10515288 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 23822
/proc/meminfo: memFree=1348256/32770624 swapFree=67108796/67108860
[pid=23749] ppid=23746 vsize=12736132 memory=10648100 CPUtime=222.27 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp_picat) R 23746 23749 21527 0 -1 4202496 2436222 0 0 0 19930 2297 0 0 20 0 1 0 218716958 13041799168 2662025 33554432000 4194304 5849708 140733143256688 140733143255688 5260767 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 19247104 140733143262390 140733143262468 140733143262468 140733143265226 0
/proc/23749/statm: 3184033 2662025 624 405 0 3180978 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 12736132 KiB
Current children cumulated memory: 10648100 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 23823
/proc/meminfo: memFree=1298692/32770624 swapFree=67108796/67108860
[pid=23749] ppid=23746 vsize=12852340 memory=10766552 CPUtime=282.26 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp_picat) R 23746 23749 21527 0 -1 4202496 2474809 0 0 0 25410 2816 0 0 20 0 1 0 218716958 13160796160 2691638 33554432000 4194304 5849708 140733143256688 140733143255688 5269593 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19247104 140733143262390 140733143262468 140733143262468 140733143265226 0
/proc/23749/statm: 3213085 2691638 624 405 0 3210030 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 12852340 KiB
Current children cumulated memory: 10766552 KiB
[startup+342.3 s]
/proc/loadavg: 1.95 1.98 2.03 3/188 23824
/proc/meminfo: memFree=1076420/32770624 swapFree=67108796/67108860
[pid=23749] ppid=23746 vsize=12985152 memory=10899460 CPUtime=342.26 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp_picat) R 23746 23749 21527 0 -1 4202496 2650784 0 0 0 30794 3432 0 0 20 0 1 0 218716958 13296795648 2724865 33554432000 4194304 5849708 140733143256688 140733143255688 5260870 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19247104 140733143262390 140733143262468 140733143262468 140733143265226 0
/proc/23749/statm: 3246288 2724865 624 405 0 3243233 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 12985152 KiB
Current children cumulated memory: 10899460 KiB
[startup+402.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/187 23826
/proc/meminfo: memFree=990420/32770624 swapFree=67108796/67108860
[pid=23749] ppid=23746 vsize=13101360 memory=11012884 CPUtime=402.26 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp_picat) R 23746 23749 21527 0 -1 4202496 2858991 0 0 0 36240 3986 0 0 20 0 1 0 218716958 13415792640 2753221 33554432000 4194304 5849708 140733143256688 140733143255688 5269580 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19247104 140733143262390 140733143262468 140733143262468 140733143265226 0
/proc/23749/statm: 3275340 2753221 624 405 0 3272285 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 13101360 KiB
Current children cumulated memory: 11012884 KiB
[startup+462.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/187 23827
/proc/meminfo: memFree=787068/32770624 swapFree=67108796/67108860
[pid=23749] ppid=23746 vsize=13234176 memory=11146820 CPUtime=462.25 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp_picat) R 23746 23749 21527 0 -1 4202496 3240334 0 0 0 41554 4671 0 0 20 0 1 0 218716958 13551796224 2786705 33554432000 4194304 5849708 140733143256688 140733143255688 5260304 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19247104 140733143262390 140733143262468 140733143262468 140733143265226 0
/proc/23749/statm: 3308544 2786705 624 405 0 3305489 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 13234176 KiB
Current children cumulated memory: 11146820 KiB
################
# More data... #
################
/proc/meminfo: memFree=741988/32770624 swapFree=67108796/67108860
[pid=23749] ppid=23746 vsize=14661912 memory=12325176 CPUtime=1242.05 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp_picat) R 23746 23749 21527 0 -1 4202496 14009707 0 0 0 109005 15200 0 0 20 0 1 0 218716958 15013797888 3081228 33554432000 4194304 5849708 140733143256688 140733143255688 5269201 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19247104 140733143262390 140733143262468 140733143262468 140733143265226 0
/proc/23749/statm: 3665478 3081294 624 405 0 3662423 0
Current children cumulated CPU time: 1242.05 s
Current children cumulated vsize: 14661912 KiB
Current children cumulated memory: 12325176 KiB
[startup+1302.3 s]
/proc/loadavg: 2.19 2.12 2.08 3/187 23857
/proc/meminfo: memFree=257828/32770624 swapFree=67108796/67108860
[pid=23749] ppid=23746 vsize=14761524 memory=12675732 CPUtime=1302.02 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp_picat) R 23746 23749 21527 0 -1 4202496 15110047 0 0 0 114055 16147 0 0 20 0 1 0 218716958 15115800576 3168933 33554432000 4194304 5849708 140733143256688 140733143255688 5260297 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 19247104 140733143262390 140733143262468 140733143262468 140733143265226 0
/proc/23749/statm: 3690381 3168933 624 405 0 3687326 0
Current children cumulated CPU time: 1302.02 s
Current children cumulated vsize: 14761524 KiB
Current children cumulated memory: 12675732 KiB
[startup+1362.3 s]
/proc/loadavg: 2.03 2.09 2.07 3/187 23858
/proc/meminfo: memFree=541764/32770624 swapFree=67108796/67108860
[pid=23749] ppid=23746 vsize=14861132 memory=12515376 CPUtime=1362.01 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp_picat) R 23746 23749 21527 0 -1 12593152 16110428 0 0 0 119072 17129 0 0 20 0 1 0 218716958 15217799168 3128844 33554432000 4194304 5849708 140733143256688 140733143255688 5269201 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 19247104 140733143262390 140733143262468 140733143262468 140733143265226 0
/proc/23749/statm: 3715283 3128844 624 405 0 3712228 0
Current children cumulated CPU time: 1362.01 s
Current children cumulated vsize: 14861132 KiB
Current children cumulated memory: 12515376 KiB
[startup+1422.3 s]
/proc/loadavg: 1.95 2.06 2.06 3/187 23859
/proc/meminfo: memFree=409900/32770624 swapFree=67108796/67108860
[pid=23749] ppid=23746 vsize=14944136 memory=12857428 CPUtime=1421.83 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp_picat) R 23746 23749 21527 0 -1 4202496 17057971 0 0 0 123980 18203 0 0 20 0 1 0 218716958 15302795264 3214357 33554432000 4194304 5849708 140733143256688 140733143255688 5269563 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 19247104 140733143262390 140733143262468 140733143262468 140733143265226 0
/proc/23749/statm: 3736034 3214357 624 405 0 3732979 0
Current children cumulated CPU time: 1421.83 s
Current children cumulated vsize: 14944136 KiB
Current children cumulated memory: 12857428 KiB
[startup+1482.3 s]
/proc/loadavg: 1.98 2.04 2.05 3/187 23860
/proc/meminfo: memFree=316132/32770624 swapFree=67108796/67108860
[pid=23749] ppid=23746 vsize=15043748 memory=12956584 CPUtime=1481.8 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp_picat) R 23746 23749 21527 0 -1 4202496 17991865 0 0 0 129163 19017 0 0 20 0 1 0 218716958 15404797952 3239146 33554432000 4194304 5849708 140733143256688 140733143255688 5269574 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 19247104 140733143262390 140733143262468 140733143262468 140733143265226 0
/proc/23749/statm: 3760937 3239146 624 405 0 3757882 0
Current children cumulated CPU time: 1481.8 s
Current children cumulated vsize: 15043748 KiB
Current children cumulated memory: 12956584 KiB
[startup+1542.3 s]
/proc/loadavg: 1.99 2.04 2.05 3/187 23861
/proc/meminfo: memFree=849740/32770624 swapFree=67108796/67108860
[pid=23749] ppid=23746 vsize=15143360 memory=13057556 CPUtime=1541.73 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp_picat) R 23746 23749 21527 0 -1 4202496 18836044 0 0 0 134124 20049 0 0 20 0 1 0 218716958 15506800640 3264389 33554432000 4194304 5849708 140733143256688 140733143255688 5260504 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19247104 140733143262390 140733143262468 140733143262468 140733143265226 0
/proc/23749/statm: 3785840 3264389 624 405 0 3782785 0
Current children cumulated CPU time: 1541.73 s
Current children cumulated vsize: 15143360 KiB
Current children cumulated memory: 13057556 KiB
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 23862
/proc/meminfo: memFree=728180/32770624 swapFree=67108796/67108860
[pid=23749] ppid=23746 vsize=15242968 memory=13154884 CPUtime=1601.72 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp_picat) R 23746 23749 21527 0 -1 4202496 19390215 0 0 0 139372 20800 0 0 20 0 1 0 218716958 15608799232 3288721 33554432000 4194304 5849708 140733143256688 140733143255688 5269560 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19247104 140733143262390 140733143262468 140733143262468 140733143265226 0
/proc/23749/statm: 3810742 3288721 624 405 0 3807687 0
Current children cumulated CPU time: 1601.72 s
Current children cumulated vsize: 15242968 KiB
Current children cumulated memory: 13154884 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 23863
/proc/meminfo: memFree=565012/32770624 swapFree=67108796/67108860
[pid=23749] ppid=23746 vsize=15342572 memory=13254032 CPUtime=1661.71 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp_picat) R 23746 23749 21527 0 -1 4202496 20015465 0 0 0 144605 21566 0 0 20 0 1 0 218716958 15710793728 3313508 33554432000 4194304 5849708 140733143256688 140733143255688 5260297 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19247104 140733143262390 140733143262468 140733143262468 140733143265226 0
/proc/23749/statm: 3835643 3313508 624 405 0 3832588 0
Current children cumulated CPU time: 1661.71 s
Current children cumulated vsize: 15342572 KiB
Current children cumulated memory: 13254032 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 23864
/proc/meminfo: memFree=346440/32770624 swapFree=67108796/67108860
[pid=23749] ppid=23746 vsize=15442184 memory=13355140 CPUtime=1721.71 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp_picat) R 23746 23749 21527 0 -1 4202496 20720217 0 0 0 149732 22439 0 0 20 0 1 0 218716958 15812796416 3338785 33554432000 4194304 5849708 140733143256688 140733143255688 5260529 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19247104 140733143262390 140733143262468 140733143262468 140733143265226 0
/proc/23749/statm: 3860546 3338785 624 405 0 3857491 0
Current children cumulated CPU time: 1721.71 s
Current children cumulated vsize: 15442184 KiB
Current children cumulated memory: 13355140 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 23865
/proc/meminfo: memFree=252112/32770624 swapFree=67108796/67108860
[pid=23749] ppid=23746 vsize=15541796 memory=13454340 CPUtime=1781.7 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp_picat) R 23746 23749 21527 0 -1 4202496 21521368 0 0 0 154890 23280 0 0 20 0 1 0 218716958 15914799104 3363585 33554432000 4194304 5849708 140733143256688 140733143255688 5260690 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19247104 140733143262390 140733143262468 140733143262468 140733143265226 0
/proc/23749/statm: 3885449 3363585 624 405 0 3882394 0
Current children cumulated CPU time: 1781.7 s
Current children cumulated vsize: 15541796 KiB
Current children cumulated memory: 13454340 KiB
[startup+1842.3 s]
/proc/loadavg: 1.92 2.00 2.04 3/187 23866
/proc/meminfo: memFree=778900/32770624 swapFree=67108796/67108860
[pid=23749] ppid=23746 vsize=15641404 memory=13387780 CPUtime=1841.7 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp_picat) R 23746 23749 21527 0 -1 12593152 22272101 0 0 0 160048 24122 0 0 20 0 1 0 218716958 16016797696 3346945 33554432000 4194304 5849708 140733143256688 140733143255688 5269201 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19247104 140733143262390 140733143262468 140733143262468 140733143265226 0
/proc/23749/statm: 3910351 3346945 624 405 0 3907296 0
Current children cumulated CPU time: 1841.7 s
Current children cumulated vsize: 15641404 KiB
Current children cumulated memory: 13387780 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 23874
/proc/meminfo: memFree=289184/32770624 swapFree=67108796/67108860
[pid=23749] ppid=23746 vsize=15724412 memory=13637404 CPUtime=1901.7 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp_picat) R 23746 23749 21527 0 -1 4202496 22958678 0 0 0 165311 24859 0 0 20 0 1 0 218716958 16101797888 3409351 33554432000 4194304 5849708 140733143256688 140733143255688 5269574 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19247104 140733143262390 140733143262468 140733143262468 140733143265226 0
/proc/23749/statm: 3931103 3409351 624 405 0 3928048 0
Current children cumulated CPU time: 1901.7 s
Current children cumulated vsize: 15724412 KiB
Current children cumulated memory: 13637404 KiB
[startup+1962.3 s]
/proc/loadavg: 2.04 2.02 2.05 3/187 23875
/proc/meminfo: memFree=207336/32770624 swapFree=67108796/67108860
[pid=23749] ppid=23746 vsize=15824024 memory=13736924 CPUtime=1961.7 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp_picat) R 23746 23749 21527 0 -1 4202496 23769546 0 0 0 170473 25697 0 0 20 0 1 0 218716958 16203800576 3434231 33554432000 4194304 5849708 140733143256688 140733143255688 5260288 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19247104 140733143262390 140733143262468 140733143262468 140733143265226 0
/proc/23749/statm: 3956006 3434231 624 405 0 3952951 0
Current children cumulated CPU time: 1961.7 s
Current children cumulated vsize: 15824024 KiB
Current children cumulated memory: 13736924 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1987.2 s]
/proc/loadavg: 2.09 2.04 2.05 3/187 23875
/proc/meminfo: memFree=6351932/32770624 swapFree=67108796/67108860
[pid=23749] ppid=23746 vsize=15873824 memory=8404664 CPUtime=1986.61 cores=0,2,4,6
/proc/23749/stat : 23749 (xcsp_picat) R 23746 23749 21527 0 -1 4202496 24052439 0 0 0 172656 26005 0 0 20 0 1 0 218716958 16254795776 2100654 33554432000 4194304 5849708 140733143256688 140733143255688 5269201 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 19247104 140733143262390 140733143262468 140733143262468 140733143265226 0
/proc/23749/statm: 3968456 2100654 624 405 0 3965401 0
Current children cumulated CPU time: 1986.61 s
Current children cumulated vsize: 15873824 KiB
Current children cumulated memory: 8404664 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1987.36 s]
# the end of solver process 23749 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1726.56 s, system=260.214 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1987.3 s]*
/proc/loadavg: 2.09 2.04 2.05 3/187 23875
/proc/meminfo: memFree=12245076/32770624 swapFree=67108796/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1987.36
CPU time (s): 1986.77
CPU user time (s): 1726.56
CPU system time (s): 260.214
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 15873824
Max. memory (cumulated for all children) (KiB): 13771432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1726.56
system time used= 260.214
maximum resident set size= 13771432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24052440
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35
involuntary context switches= 2004
# summary of solver processes directly reported to runsolver:
# pid: 23749
# total CPU time (s): 1986.77
# total CPU user time (s): 1726.56
# total CPU system time (s): 260.214
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.56386 second user time and 15.4362 second system time
The end