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 (13377 MiB free)
memory of node 1: 16384 MiB (10685 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309791-1534320822/watcher-4309791-1534320822 -o /tmp/evaluation-result-4309791-1534320822/solver-4309791-1534320822 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534293063-15170 --watchdog 2580 xcsp_picat HOME/instance-4309791-1534320822.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
Current StackSize limit: 8192 KiB
solver pid=18904, runsolver pid=18901
[startup+0.100117 s]*
/proc/loadavg: 2.00 2.02 2.05 3/192 18905
/proc/meminfo: memFree=24618892/32770624 swapFree=67108840/67108860
[pid=18904] ppid=18901 vsize=2026500 memory=24848 CPUtime=0.1 cores=1,3,5,7
/proc/18904/stat : 18904 (xcsp_picat) R 18901 18904 15138 0 -1 4202496 2294 0 0 0 9 1 0 0 20 0 1 0 249645409 2075136000 6212 33554432000 4194304 5849940 140734111935600 140734111935600 5473142 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 24571904 140734111937718 140734111937796 140734111937796 140734111940554 0
/proc/18904/statm: 506625 6212 719 405 0 503569 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2026500 KiB
Current children cumulated memory: 24848 KiB
[startup+0.209831 s]*
/proc/loadavg: 2.00 2.02 2.05 3/192 18905
/proc/meminfo: memFree=24617776/32770624 swapFree=67108840/67108860
[pid=18904] ppid=18901 vsize=2027924 memory=26024 CPUtime=0.21 cores=1,3,5,7
/proc/18904/stat : 18904 (xcsp_picat) R 18901 18904 15138 0 -1 4202496 2680 0 0 0 20 1 0 0 20 0 1 0 249645409 2076594176 6506 33554432000 4194304 5849940 140734111935600 140734111935600 4488915 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 24571904 140734111937718 140734111937796 140734111937796 140734111940554 0
/proc/18904/statm: 506981 6506 720 405 0 503925 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2027924 KiB
Current children cumulated memory: 26024 KiB
[startup+0.309496 s]*
/proc/loadavg: 2.00 2.02 2.05 3/192 18905
/proc/meminfo: memFree=24616288/32770624 swapFree=67108840/67108860
[pid=18904] ppid=18901 vsize=2029124 memory=27344 CPUtime=0.31 cores=1,3,5,7
/proc/18904/stat : 18904 (xcsp_picat) R 18901 18904 15138 0 -1 4202496 3364 0 0 0 30 1 0 0 20 0 1 0 249645409 2077822976 6836 33554432000 4194304 5849940 140734111935600 140734111935600 5392736 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 24571904 140734111937718 140734111937796 140734111937796 140734111940554 0
/proc/18904/statm: 507281 6836 736 405 0 504225 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2029124 KiB
Current children cumulated memory: 27344 KiB
[startup+0.700232 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 18905
/proc/meminfo: memFree=24616288/32770624 swapFree=67108840/67108860
[pid=18904] ppid=18901 vsize=2029660 memory=27540 CPUtime=0.69 cores=1,3,5,7
/proc/18904/stat : 18904 (xcsp_picat) R 18901 18904 15138 0 -1 4202496 3472 0 0 0 68 1 0 0 20 0 1 0 249645409 2078371840 6885 33554432000 4194304 5849940 140734111935600 140734111935600 5359382 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 24571904 140734111937718 140734111937796 140734111937796 140734111940554 0
/proc/18904/statm: 507415 6885 738 405 0 504359 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2029660 KiB
Current children cumulated memory: 27540 KiB
[startup+1.50023 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 18905
/proc/meminfo: memFree=24615784/32770624 swapFree=67108840/67108860
[pid=18904] ppid=18901 vsize=2029292 memory=27692 CPUtime=1.5 cores=1,3,5,7
/proc/18904/stat : 18904 (xcsp_picat) R 18901 18904 15138 0 -1 4202496 4070 0 0 0 148 2 0 0 20 0 1 0 249645409 2077995008 6923 33554432000 4194304 5849940 140734111935600 140734111934088 140299987201927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 24571904 140734111937718 140734111937796 140734111937796 140734111940554 0
/proc/18904/statm: 507323 6923 748 405 0 504267 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 2029292 KiB
Current children cumulated memory: 27692 KiB
[startup+3.10944 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 18905
/proc/meminfo: memFree=24614920/32770624 swapFree=67108840/67108860
[pid=18904] ppid=18901 vsize=2031144 memory=29576 CPUtime=3.1 cores=1,3,5,7
/proc/18904/stat : 18904 (xcsp_picat) R 18901 18904 15138 0 -1 4202496 5294 0 0 0 307 3 0 0 20 0 1 0 249645409 2079891456 7394 33554432000 4194304 5849940 140734111935600 140734111934760 140299987201927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 24571904 140734111937718 140734111937796 140734111937796 140734111940554 0
/proc/18904/statm: 507786 7394 752 405 0 504730 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2031144 KiB
Current children cumulated memory: 29576 KiB
[startup+6.30025 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 18905
/proc/meminfo: memFree=24608260/32770624 swapFree=67108840/67108860
[pid=18904] ppid=18901 vsize=2037476 memory=35628 CPUtime=6.29 cores=1,3,5,7
/proc/18904/stat : 18904 (xcsp_picat) R 18901 18904 15138 0 -1 4202496 8223 0 0 0 622 7 0 0 20 0 1 0 249645409 2086375424 8907 33554432000 4194304 5849940 140734111935600 140734111934600 140299987201927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 24571904 140734111937718 140734111937796 140734111937796 140734111940554 0
/proc/18904/statm: 509369 8907 752 405 0 506313 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2037476 KiB
Current children cumulated memory: 35628 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 18905
/proc/meminfo: memFree=24610136/32770624 swapFree=67108840/67108860
[pid=18904] ppid=18901 vsize=2036728 memory=35080 CPUtime=12.69 cores=1,3,5,7
/proc/18904/stat : 18904 (xcsp_picat) R 18901 18904 15138 0 -1 4202496 16741 0 0 0 1255 14 0 0 20 0 1 0 249645409 2085609472 8770 33554432000 4194304 5849940 140734111935600 140734111934600 140299987201927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 24571904 140734111937718 140734111937796 140734111937796 140734111940554 0
/proc/18904/statm: 509182 8770 752 405 0 506126 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2036728 KiB
Current children cumulated memory: 35080 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 18905
/proc/meminfo: memFree=24603584/32770624 swapFree=67108840/67108860
[pid=18904] ppid=18901 vsize=2046468 memory=44612 CPUtime=25.49 cores=1,3,5,7
/proc/18904/stat : 18904 (xcsp_picat) R 18901 18904 15138 0 -1 4202496 32378 0 0 0 2522 27 0 0 20 0 1 0 249645409 2095583232 11153 33554432000 4194304 5849940 140734111935600 140734111934600 140299987201927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 24571904 140734111937718 140734111937796 140734111937796 140734111940554 0
/proc/18904/statm: 511617 11153 752 405 0 508561 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2046468 KiB
Current children cumulated memory: 44612 KiB
[startup+51.1099 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 18905
/proc/meminfo: memFree=24597348/32770624 swapFree=67108840/67108860
[pid=18904] ppid=18901 vsize=2048016 memory=46408 CPUtime=51.1 cores=1,3,5,7
/proc/18904/stat : 18904 (xcsp_picat) R 18901 18904 15138 0 -1 4202496 63673 0 0 0 5060 50 0 0 20 0 1 0 249645409 2097168384 11602 33554432000 4194304 5849940 140734111935600 140734111934472 5392792 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 24571904 140734111937718 140734111937796 140734111937796 140734111940554 0
/proc/18904/statm: 512004 11602 752 405 0 508948 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2048016 KiB
Current children cumulated memory: 46408 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 18906
/proc/meminfo: memFree=24582804/32770624 swapFree=67108840/67108860
[pid=18904] ppid=18901 vsize=2096836 memory=95052 CPUtime=102.29 cores=1,3,5,7
/proc/18904/stat : 18904 (xcsp_picat) R 18901 18904 15138 0 -1 4202496 109107 0 0 0 10143 86 0 0 20 0 1 0 249645409 2147160064 23763 33554432000 4194304 5849940 140734111935600 140734111934600 140299987201927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 24571904 140734111937718 140734111937796 140734111937796 140734111940554 0
/proc/18904/statm: 524209 23763 752 405 0 521153 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2096836 KiB
Current children cumulated memory: 95052 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 18907
/proc/meminfo: memFree=24592272/32770624 swapFree=67108840/67108860
[pid=18904] ppid=18901 vsize=2108124 memory=106372 CPUtime=162.28 cores=1,3,5,7
/proc/18904/stat : 18904 (xcsp_picat) R 18901 18904 15138 0 -1 4202496 141594 0 0 0 16113 115 0 0 20 0 1 0 249645409 2158718976 26593 33554432000 4194304 5849940 140734111935600 140734111934600 5335806 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 24571904 140734111937718 140734111937796 140734111937796 140734111940554 0
/proc/18904/statm: 527031 26593 752 405 0 523975 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2108124 KiB
Current children cumulated memory: 106372 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 18908
/proc/meminfo: memFree=24574424/32770624 swapFree=67108840/67108860
[pid=18904] ppid=18901 vsize=2125484 memory=123812 CPUtime=222.29 cores=1,3,5,7
/proc/18904/stat : 18904 (xcsp_picat) R 18901 18904 15138 0 -1 4202496 168584 0 0 0 22086 143 0 0 20 0 1 0 249645409 2176495616 30953 33554432000 4194304 5849940 140734111935600 140734111934600 140299987201927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 24571904 140734111937718 140734111937796 140734111937796 140734111940554 0
/proc/18904/statm: 531371 30953 752 405 0 528315 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2125484 KiB
Current children cumulated memory: 123812 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 18909
/proc/meminfo: memFree=24476348/32770624 swapFree=67108840/67108860
[pid=18904] ppid=18901 vsize=2191304 memory=189640 CPUtime=282.29 cores=1,3,5,7
/proc/18904/stat : 18904 (xcsp_picat) R 18901 18904 15138 0 -1 4202496 171814 0 0 0 28065 164 0 0 20 0 1 0 249645409 2243895296 47410 33554432000 4194304 5849940 140734111935600 140734111934600 5438501 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 24571904 140734111937718 140734111937796 140734111937796 140734111940554 0
/proc/18904/statm: 547826 47410 752 405 0 544770 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2191304 KiB
Current children cumulated memory: 189640 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 18910
/proc/meminfo: memFree=24493288/32770624 swapFree=67108840/67108860
[pid=18904] ppid=18901 vsize=2139676 memory=138164 CPUtime=342.29 cores=1,3,5,7
/proc/18904/stat : 18904 (xcsp_picat) R 18901 18904 15138 0 -1 4202496 198277 0 0 0 34045 184 0 0 20 0 1 0 249645409 2191028224 34541 33554432000 4194304 5849940 140734111935600 140734111934600 140299987201927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 24571904 140734111937718 140734111937796 140734111937796 140734111940554 0
/proc/18904/statm: 534919 34541 752 405 0 531863 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2139676 KiB
Current children cumulated memory: 138164 KiB
[startup+402.3 s]
/proc/loadavg: 2.53 2.15 2.09 3/191 18919
/proc/meminfo: memFree=24435020/32770624 swapFree=67108840/67108860
[pid=18904] ppid=18901 vsize=2198576 memory=196528 CPUtime=402.29 cores=1,3,5,7
/proc/18904/stat : 18904 (xcsp_picat) R 18901 18904 15138 0 -1 4202496 218948 0 0 0 40029 200 0 0 20 0 1 0 249645409 2251341824 49132 33554432000 4194304 5849940 140734111935600 140734111934600 140299987201927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 24571904 140734111937718 140734111937796 140734111937796 140734111940554 0
/proc/18904/statm: 549644 49132 752 405 0 546588 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 2198576 KiB
Current children cumulated memory: 196528 KiB
[startup+462.3 s]
/proc/loadavg: 2.26 2.15 2.09 3/192 18921
/proc/meminfo: memFree=24340028/32770624 swapFree=67108840/67108860
[pid=18904] ppid=18901 vsize=2280092 memory=278448 CPUtime=462.29 cores=1,3,5,7
/proc/18904/stat : 18904 (xcsp_picat) R 18901 18904 15138 0 -1 4202496 224299 0 0 0 46014 215 0 0 20 0 1 0 249645409 2334814208 69612 33554432000 4194304 5849940 140734111935600 140734111934600 5312986 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 24571904 140734111937718 140734111937796 140734111937796 140734111940554 0
/proc/18904/statm: 570023 69612 752 405 0 566967 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 2280092 KiB
Current children cumulated memory: 278448 KiB
################
# More data... #
################
/proc/18904/statm: 636756 136940 752 405 0 633700 0
Current children cumulated CPU time: 1722.25 s
Current children cumulated vsize: 2547024 KiB
Current children cumulated memory: 547760 KiB
[startup+1782.3 s]
/proc/loadavg: 1.26 1.78 1.96 2/185 19010
/proc/meminfo: memFree=24290432/32770624 swapFree=67108840/67108860
[pid=18904] ppid=18901 vsize=2547024 memory=547760 CPUtime=1782.25 cores=1,3,5,7
/proc/18904/stat : 18904 (xcsp_picat) R 18901 18904 15138 0 -1 4202496 760252 0 0 0 177727 498 0 0 20 0 1 0 249645409 2608152576 136940 33554432000 4194304 5849940 140734111935600 140734111934760 5437906 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 24571904 140734111937718 140734111937796 140734111937796 140734111940554 0
/proc/18904/statm: 636756 136940 752 405 0 633700 0
Current children cumulated CPU time: 1782.25 s
Current children cumulated vsize: 2547024 KiB
Current children cumulated memory: 547760 KiB
[startup+1842.3 s]
/proc/loadavg: 1.10 1.64 1.90 2/185 19011
/proc/meminfo: memFree=24290420/32770624 swapFree=67108840/67108860
[pid=18904] ppid=18901 vsize=2547024 memory=547760 CPUtime=1842.25 cores=1,3,5,7
/proc/18904/stat : 18904 (xcsp_picat) R 18901 18904 15138 0 -1 4202496 791536 0 0 0 183719 506 0 0 20 0 1 0 249645409 2608152576 136940 33554432000 4194304 5849940 140734111935600 140734111934760 140299987201927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 24571904 140734111937718 140734111937796 140734111937796 140734111940554 0
/proc/18904/statm: 636756 136940 752 405 0 633700 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 2547024 KiB
Current children cumulated memory: 547760 KiB
[startup+1902.3 s]
/proc/loadavg: 1.04 1.52 1.84 2/184 19012
/proc/meminfo: memFree=24101396/32770624 swapFree=67108840/67108860
[pid=18904] ppid=18901 vsize=2735888 memory=736624 CPUtime=1902.25 cores=1,3,5,7
/proc/18904/stat : 18904 (xcsp_picat) R 18901 18904 15138 0 -1 4202496 835413 0 0 0 189703 522 0 0 20 0 1 0 249645409 2801549312 184156 33554432000 4194304 5849940 140734111935600 140734111934600 140299987201927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 24571904 140734111937718 140734111937796 140734111937796 140734111940554 0
/proc/18904/statm: 683972 184156 752 405 0 680916 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 2735888 KiB
Current children cumulated memory: 736624 KiB
[startup+1962.3 s]
/proc/loadavg: 1.01 1.42 1.79 2/183 19013
/proc/meminfo: memFree=24065232/32770624 swapFree=67108840/67108860
[pid=18904] ppid=18901 vsize=2771864 memory=772600 CPUtime=1962.25 cores=1,3,5,7
/proc/18904/stat : 18904 (xcsp_picat) R 18901 18904 15138 0 -1 4202496 906466 0 0 0 195684 541 0 0 20 0 1 0 249645409 2838388736 193150 33554432000 4194304 5849940 140734111935600 140734111934600 5437906 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 24571904 140734111937718 140734111937796 140734111937796 140734111940554 0
/proc/18904/statm: 692966 193150 752 405 0 689910 0
Current children cumulated CPU time: 1962.25 s
Current children cumulated vsize: 2771864 KiB
Current children cumulated memory: 772600 KiB
[startup+2022.3 s]
/proc/loadavg: 1.00 1.35 1.74 2/183 19014
/proc/meminfo: memFree=24065480/32770624 swapFree=67108840/67108860
[pid=18904] ppid=18901 vsize=2771864 memory=772600 CPUtime=2022.26 cores=1,3,5,7
/proc/18904/stat : 18904 (xcsp_picat) R 18901 18904 15138 0 -1 4202496 966432 0 0 0 201673 553 0 0 20 0 1 0 249645409 2838388736 193150 33554432000 4194304 5849940 140734111935600 140734111934600 5438404 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 24571904 140734111937718 140734111937796 140734111937796 140734111940554 0
/proc/18904/statm: 692966 193150 752 405 0 689910 0
Current children cumulated CPU time: 2022.26 s
Current children cumulated vsize: 2771864 KiB
Current children cumulated memory: 772600 KiB
[startup+2082.3 s]
/proc/loadavg: 1.00 1.28 1.69 2/183 19015
/proc/meminfo: memFree=24065728/32770624 swapFree=67108840/67108860
[pid=18904] ppid=18901 vsize=2771864 memory=772600 CPUtime=2082.26 cores=1,3,5,7
/proc/18904/stat : 18904 (xcsp_picat) R 18901 18904 15138 0 -1 4202496 1012682 0 0 0 207664 562 0 0 20 0 1 0 249645409 2838388736 193150 33554432000 4194304 5849940 140734111935600 140734111934600 140299987201927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 24571904 140734111937718 140734111937796 140734111937796 140734111940554 0
/proc/18904/statm: 692966 193150 752 405 0 689910 0
Current children cumulated CPU time: 2082.26 s
Current children cumulated vsize: 2771864 KiB
Current children cumulated memory: 772600 KiB
[startup+2142.3 s]
/proc/loadavg: 1.00 1.23 1.65 2/183 19038
/proc/meminfo: memFree=24065648/32770624 swapFree=67108840/67108860
[pid=18904] ppid=18901 vsize=2771864 memory=772600 CPUtime=2142.26 cores=1,3,5,7
/proc/18904/stat : 18904 (xcsp_picat) R 18901 18904 15138 0 -1 4202496 1063770 0 0 0 213657 569 0 0 20 0 1 0 249645409 2838388736 193150 33554432000 4194304 5849940 140734111935600 140734111934600 5339655 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 24571904 140734111937718 140734111937796 140734111937796 140734111940554 0
/proc/18904/statm: 692966 193150 752 405 0 689910 0
Current children cumulated CPU time: 2142.26 s
Current children cumulated vsize: 2771864 KiB
Current children cumulated memory: 772600 KiB
[startup+2202.3 s]
/proc/loadavg: 1.00 1.19 1.61 2/184 19047
/proc/meminfo: memFree=24065980/32770624 swapFree=67108840/67108860
[pid=18904] ppid=18901 vsize=2771864 memory=772600 CPUtime=2202.26 cores=1,3,5,7
/proc/18904/stat : 18904 (xcsp_picat) R 18901 18904 15138 0 -1 4202496 1139109 0 0 0 219646 580 0 0 20 0 1 0 249645409 2838388736 193150 33554432000 4194304 5849940 140734111935600 140734111934600 140299987201927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 24571904 140734111937718 140734111937796 140734111937796 140734111940554 0
/proc/18904/statm: 692966 193150 752 405 0 689910 0
Current children cumulated CPU time: 2202.26 s
Current children cumulated vsize: 2771864 KiB
Current children cumulated memory: 772600 KiB
[startup+2262.3 s]
/proc/loadavg: 1.00 1.16 1.57 2/184 19048
/proc/meminfo: memFree=24417464/32770624 swapFree=67108840/67108860
[pid=18904] ppid=18901 vsize=2421068 memory=421804 CPUtime=2262.26 cores=1,3,5,7
/proc/18904/stat : 18904 (xcsp_picat) R 18901 18904 15138 0 -1 4202496 1181243 0 0 0 225632 594 0 0 20 0 1 0 249645409 2479173632 105451 33554432000 4194304 5849940 140734111935600 140734111934600 140299987201927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 24571904 140734111937718 140734111937796 140734111937796 140734111940554 0
/proc/18904/statm: 605267 105451 752 405 0 602211 0
Current children cumulated CPU time: 2262.26 s
Current children cumulated vsize: 2421068 KiB
Current children cumulated memory: 421804 KiB
[startup+2322.3 s]
/proc/loadavg: 1.00 1.13 1.54 2/185 19050
/proc/meminfo: memFree=24417324/32770624 swapFree=67108840/67108860
[pid=18904] ppid=18901 vsize=2421068 memory=421804 CPUtime=2322.26 cores=1,3,5,7
/proc/18904/stat : 18904 (xcsp_picat) R 18901 18904 15138 0 -1 4202496 1203130 0 0 0 231621 605 0 0 20 0 1 0 249645409 2479173632 105451 33554432000 4194304 5849940 140734111935600 140734111934600 5335776 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 24571904 140734111937718 140734111937796 140734111937796 140734111940554 0
/proc/18904/statm: 605267 105451 752 405 0 602211 0
Current children cumulated CPU time: 2322.26 s
Current children cumulated vsize: 2421068 KiB
Current children cumulated memory: 421804 KiB
[startup+2382.3 s]
/proc/loadavg: 1.00 1.10 1.50 2/185 19051
/proc/meminfo: memFree=24403684/32770624 swapFree=67108840/67108860
[pid=18904] ppid=18901 vsize=2434940 memory=435676 CPUtime=2382.26 cores=1,3,5,7
/proc/18904/stat : 18904 (xcsp_picat) R 18901 18904 15138 0 -1 4202496 1228204 0 0 0 237607 619 0 0 20 0 1 0 249645409 2493378560 108919 33554432000 4194304 5849940 140734111935600 140734111934600 5437824 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 24571904 140734111937718 140734111937796 140734111937796 140734111940554 0
/proc/18904/statm: 608735 108919 752 405 0 605679 0
Current children cumulated CPU time: 2382.26 s
Current children cumulated vsize: 2434940 KiB
Current children cumulated memory: 435676 KiB
[startup+2442.3 s]
/proc/loadavg: 1.00 1.09 1.47 2/185 19052
/proc/meminfo: memFree=24403560/32770624 swapFree=67108840/67108860
[pid=18904] ppid=18901 vsize=2434940 memory=435676 CPUtime=2442.27 cores=1,3,5,7
/proc/18904/stat : 18904 (xcsp_picat) R 18901 18904 15138 0 -1 4202496 1270876 0 0 0 243598 629 0 0 20 0 1 0 249645409 2493378560 108919 33554432000 4194304 5849940 140734111935600 140734111934760 140299987201927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 24571904 140734111937718 140734111937796 140734111937796 140734111940554 0
/proc/18904/statm: 608735 108919 752 405 0 605679 0
Current children cumulated CPU time: 2442.27 s
Current children cumulated vsize: 2434940 KiB
Current children cumulated memory: 435676 KiB
[startup+2502.3 s]
/proc/loadavg: 1.00 1.07 1.44 2/184 19054
/proc/meminfo: memFree=24403580/32770624 swapFree=67108840/67108860
[pid=18904] ppid=18901 vsize=2434940 memory=435676 CPUtime=2502.27 cores=1,3,5,7
/proc/18904/stat : 18904 (xcsp_picat) R 18901 18904 15138 0 -1 4202496 1303203 0 0 0 249589 638 0 0 20 0 1 0 249645409 2493378560 108919 33554432000 4194304 5849940 140734111935600 140734111934600 140299987201927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 24571904 140734111937718 140734111937796 140734111937796 140734111940554 0
/proc/18904/statm: 608735 108919 752 405 0 605679 0
Current children cumulated CPU time: 2502.27 s
Current children cumulated vsize: 2434940 KiB
Current children cumulated memory: 435676 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.00 1.07 1.44 2/184 19054
/proc/meminfo: memFree=24403704/32770624 swapFree=67108840/67108860
[pid=18904] ppid=18901 vsize=2434940 memory=435676 CPUtime=2519.98 cores=1,3,5,7
/proc/18904/stat : 18904 (xcsp_picat) R 18901 18904 15138 0 -1 4202496 1315051 0 0 0 251355 643 0 0 20 0 1 0 249645409 2493378560 108919 33554432000 4194304 5849940 140734111935600 140734111934760 140299987201927 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 24571904 140734111937718 140734111937796 140734111937796 140734111940554 0
/proc/18904/statm: 608735 108919 752 405 0 605679 0
Current children cumulated CPU time: 2519.98 s
Current children cumulated vsize: 2434940 KiB
Current children cumulated memory: 435676 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 18904 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.55 s, system=6.45108 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
CPU user time (s): 2513.55
CPU system time (s): 6.45108
CPU usage (%): 99.9992
Max. virtual memory (cumulated for all children) (KiB): 2771864
Max. memory (cumulated for all children) (KiB): 772600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.55
system time used= 6.45108
maximum resident set size= 772600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1315051
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= 94
involuntary context switches= 908
# summary of solver processes directly reported to runsolver:
# pid: 18904
# total CPU time (s): 2520
# total CPU user time (s): 2513.55
# total CPU system time (s): 6.45108
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.63275 second user time and 19.3032 second system time
The end