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 (10237 MiB free)
memory of node 1: 16384 MiB (6237 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303454-1534036637/watcher-4303454-1534036637 -o /tmp/evaluation-result-4303454-1534036637/solver-4303454-1534036637 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534028937-25616 --watchdog 2580 xcsp_picat HOME/instance-4303454-1534036637.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=26546, runsolver pid=26543
Current StackSize limit: 8192 KiB
[startup+0.100155 s]*
/proc/loadavg: 2.00 2.06 2.06 3/187 26547
/proc/meminfo: memFree=16852904/32770624 swapFree=67108844/67108860
[pid=26546] ppid=26543 vsize=2026512 memory=19820 CPUtime=0.1 cores=1,3,5,7
/proc/26546/stat : 26546 (xcsp_picat) R 26543 26546 25584 0 -1 4202496 2057 0 0 0 9 1 0 0 20 0 1 0 221226864 2075148288 4955 33554432000 4194304 5849708 140721878711424 140721878710424 140440241041287 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18313216 140721878717622 140721878717700 140721878717700 140721878720458 0
/proc/26546/statm: 506628 4955 718 405 0 503573 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2026512 KiB
Current children cumulated memory: 19820 KiB
[startup+0.209583 s]*
/proc/loadavg: 2.00 2.06 2.06 3/187 26547
/proc/meminfo: memFree=16851788/32770624 swapFree=67108844/67108860
[pid=26546] ppid=26543 vsize=2027912 memory=20976 CPUtime=0.21 cores=1,3,5,7
/proc/26546/stat : 26546 (xcsp_picat) R 26543 26546 25584 0 -1 4202496 2444 0 0 0 20 1 0 0 20 0 1 0 221226864 2076581888 5244 33554432000 4194304 5849708 140721878711424 140721878710424 5406528 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18313216 140721878717622 140721878717700 140721878717700 140721878720458 0
/proc/26546/statm: 506978 5244 720 405 0 503923 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2027912 KiB
Current children cumulated memory: 20976 KiB
[startup+0.309019 s]*
/proc/loadavg: 2.00 2.06 2.06 3/187 26547
/proc/meminfo: memFree=16849928/32770624 swapFree=67108844/67108860
[pid=26546] ppid=26543 vsize=2029356 memory=22544 CPUtime=0.31 cores=1,3,5,7
/proc/26546/stat : 26546 (xcsp_picat) R 26543 26546 25584 0 -1 4202496 3136 0 0 0 30 1 0 0 20 0 1 0 221226864 2078060544 5636 33554432000 4194304 5849708 140721878711424 140721878710424 5371249 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18313216 140721878717622 140721878717700 140721878717700 140721878720458 0
/proc/26546/statm: 507339 5636 736 405 0 504284 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2029356 KiB
Current children cumulated memory: 22544 KiB
[startup+0.700276 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 26547
/proc/meminfo: memFree=16849928/32770624 swapFree=67108844/67108860
[pid=26546] ppid=26543 vsize=2029920 memory=22544 CPUtime=0.69 cores=1,3,5,7
/proc/26546/stat : 26546 (xcsp_picat) R 26543 26546 25584 0 -1 4202496 3339 0 0 0 68 1 0 0 20 0 1 0 221226864 2078638080 5636 33554432000 4194304 5849708 140721878711424 140721878710424 5356007 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18313216 140721878717622 140721878717700 140721878717700 140721878720458 0
/proc/26546/statm: 507480 5636 736 405 0 504425 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2029920 KiB
Current children cumulated memory: 22544 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 26547
/proc/meminfo: memFree=16847880/32770624 swapFree=67108844/67108860
[pid=26546] ppid=26543 vsize=2031548 memory=24680 CPUtime=1.49 cores=1,3,5,7
/proc/26546/stat : 26546 (xcsp_picat) R 26543 26546 25584 0 -1 4202496 4510 0 0 0 148 1 0 0 20 0 1 0 221226864 2080305152 6170 33554432000 4194304 5849708 140721878711424 140721878709912 5307933 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18313216 140721878717622 140721878717700 140721878717700 140721878720458 0
/proc/26546/statm: 507887 6170 748 405 0 504832 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031548 KiB
Current children cumulated memory: 24680 KiB
[startup+3.1093 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 26547
/proc/meminfo: memFree=16849928/32770624 swapFree=67108844/67108860
[pid=26546] ppid=26543 vsize=2030548 memory=23244 CPUtime=3.1 cores=1,3,5,7
/proc/26546/stat : 26546 (xcsp_picat) R 26543 26546 25584 0 -1 4202496 6469 0 0 0 307 3 0 0 20 0 1 0 221226864 2079281152 5811 33554432000 4194304 5849708 140721878711424 140721878710296 5339021 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18313216 140721878717622 140721878717700 140721878717700 140721878720458 0
/proc/26546/statm: 507637 5811 761 405 0 504582 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2030548 KiB
Current children cumulated memory: 23244 KiB
[startup+6.30027 s]
/proc/loadavg: 1.92 2.04 2.06 3/187 26547
/proc/meminfo: memFree=16839316/32770624 swapFree=67108844/67108860
[pid=26546] ppid=26543 vsize=2031684 memory=25080 CPUtime=6.29 cores=1,3,5,7
/proc/26546/stat : 26546 (xcsp_picat) R 26543 26546 25584 0 -1 4202496 7912 0 0 0 623 6 0 0 20 0 1 0 221226864 2080444416 6270 33554432000 4194304 5849708 140721878711424 140721878709912 140440241041287 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18313216 140721878717622 140721878717700 140721878717700 140721878720458 0
/proc/26546/statm: 507921 6270 761 405 0 504866 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2031684 KiB
Current children cumulated memory: 25080 KiB
[startup+12.7003 s]
/proc/loadavg: 1.92 2.04 2.06 3/187 26547
/proc/meminfo: memFree=16847128/32770624 swapFree=67108844/67108860
[pid=26546] ppid=26543 vsize=2038508 memory=31920 CPUtime=12.69 cores=1,3,5,7
/proc/26546/stat : 26546 (xcsp_picat) R 26543 26546 25584 0 -1 4202496 10965 0 0 0 1256 13 0 0 20 0 1 0 221226864 2087432192 7980 33554432000 4194304 5849708 140721878711424 140721878710424 140440241041287 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18313216 140721878717622 140721878717700 140721878717700 140721878720458 0
/proc/26546/statm: 509627 7980 761 405 0 506572 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2038508 KiB
Current children cumulated memory: 31920 KiB
[startup+25.5003 s]
/proc/loadavg: 1.94 2.04 2.05 3/187 26547
/proc/meminfo: memFree=16821868/32770624 swapFree=67108844/67108860
[pid=26546] ppid=26543 vsize=2044708 memory=37932 CPUtime=25.49 cores=1,3,5,7
/proc/26546/stat : 26546 (xcsp_picat) R 26543 26546 25584 0 -1 4202496 17006 0 0 0 2523 26 0 0 20 0 1 0 221226864 2093780992 9483 33554432000 4194304 5849708 140721878711424 140721878710296 140440241041287 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18313216 140721878717622 140721878717700 140721878717700 140721878720458 0
/proc/26546/statm: 511177 9483 761 405 0 508122 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2044708 KiB
Current children cumulated memory: 37932 KiB
[startup+51.1093 s]
/proc/loadavg: 1.96 2.04 2.05 3/187 26547
/proc/meminfo: memFree=16814132/32770624 swapFree=67108844/67108860
[pid=26546] ppid=26543 vsize=2050932 memory=44236 CPUtime=51.1 cores=1,3,5,7
/proc/26546/stat : 26546 (xcsp_picat) R 26543 26546 25584 0 -1 4202496 36883 0 0 0 5061 49 0 0 20 0 1 0 221226864 2100154368 11059 33554432000 4194304 5849708 140721878711424 140721878710296 5392437 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18313216 140721878717622 140721878717700 140721878717700 140721878720458 0
/proc/26546/statm: 512733 11059 761 405 0 509678 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2050932 KiB
Current children cumulated memory: 44236 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.03 2.05 3/187 26548
/proc/meminfo: memFree=16791376/32770624 swapFree=67108844/67108860
[pid=26546] ppid=26543 vsize=2054252 memory=47392 CPUtime=102.28 cores=1,3,5,7
/proc/26546/stat : 26546 (xcsp_picat) R 26543 26546 25584 0 -1 4202496 61860 0 0 0 10139 89 0 0 20 0 1 0 221226864 2103554048 11848 33554432000 4194304 5849708 140721878711424 140721878710424 140440241041287 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18313216 140721878717622 140721878717700 140721878717700 140721878720458 0
/proc/26546/statm: 513563 11848 761 405 0 510508 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2054252 KiB
Current children cumulated memory: 47392 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.03 2.05 3/187 26549
/proc/meminfo: memFree=16749508/32770624 swapFree=67108844/67108860
[pid=26546] ppid=26543 vsize=2063720 memory=56952 CPUtime=162.29 cores=1,3,5,7
/proc/26546/stat : 26546 (xcsp_picat) R 26543 26546 25584 0 -1 4202496 92993 0 0 0 16095 134 0 0 20 0 1 0 221226864 2113249280 14238 33554432000 4194304 5849708 140721878711424 140721878710424 140440241041287 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18313216 140721878717622 140721878717700 140721878717700 140721878720458 0
/proc/26546/statm: 515930 14238 761 405 0 512875 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2063720 KiB
Current children cumulated memory: 56952 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 26557
/proc/meminfo: memFree=16689320/32770624 swapFree=67108844/67108860
[pid=26546] ppid=26543 vsize=2114692 memory=107852 CPUtime=222.29 cores=1,3,5,7
/proc/26546/stat : 26546 (xcsp_picat) R 26543 26546 25584 0 -1 4202496 113947 0 0 0 22070 159 0 0 20 0 1 0 221226864 2165444608 26963 33554432000 4194304 5849708 140721878711424 140721878710424 140440241041287 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18313216 140721878717622 140721878717700 140721878717700 140721878720458 0
/proc/26546/statm: 528673 26963 761 405 0 525618 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2114692 KiB
Current children cumulated memory: 107852 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26558
/proc/meminfo: memFree=16661252/32770624 swapFree=67108844/67108860
[pid=26546] ppid=26543 vsize=2079496 memory=72796 CPUtime=282.29 cores=1,3,5,7
/proc/26546/stat : 26546 (xcsp_picat) R 26543 26546 25584 0 -1 4202496 137000 0 0 0 28045 184 0 0 20 0 1 0 221226864 2129403904 18199 33554432000 4194304 5849708 140721878711424 140721878710584 5437714 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18313216 140721878717622 140721878717700 140721878717700 140721878720458 0
/proc/26546/statm: 519874 18199 761 405 0 516819 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2079496 KiB
Current children cumulated memory: 72796 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26559
/proc/meminfo: memFree=16636672/32770624 swapFree=67108844/67108860
[pid=26546] ppid=26543 vsize=2103880 memory=97120 CPUtime=342.29 cores=1,3,5,7
/proc/26546/stat : 26546 (xcsp_picat) R 26543 26546 25584 0 -1 4202496 145858 0 0 0 34021 208 0 0 20 0 1 0 221226864 2154373120 24280 33554432000 4194304 5849708 140721878711424 140721878710424 140440241041287 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18313216 140721878717622 140721878717700 140721878717700 140721878720458 0
/proc/26546/statm: 525970 24280 761 405 0 522915 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2103880 KiB
Current children cumulated memory: 97120 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26560
/proc/meminfo: memFree=16638352/32770624 swapFree=67108844/67108860
[pid=26546] ppid=26543 vsize=2134736 memory=128132 CPUtime=402.29 cores=1,3,5,7
/proc/26546/stat : 26546 (xcsp_picat) R 26543 26546 25584 0 -1 4202496 160875 0 0 0 40002 227 0 0 20 0 1 0 221226864 2185969664 32033 33554432000 4194304 5849708 140721878711424 140721878710424 140440241041287 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18313216 140721878717622 140721878717700 140721878717700 140721878720458 0
/proc/26546/statm: 533684 32033 761 405 0 530629 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 2134736 KiB
Current children cumulated memory: 128132 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26561
/proc/meminfo: memFree=16638408/32770624 swapFree=67108844/67108860
[pid=26546] ppid=26543 vsize=2115000 memory=108132 CPUtime=462.29 cores=1,3,5,7
/proc/26546/stat : 26546 (xcsp_picat) R 26543 26546 25584 0 -1 4202496 168950 0 0 0 45982 247 0 0 20 0 1 0 221226864 2165760000 27033 33554432000 4194304 5849708 140721878711424 140721878710424 140440241041287 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18313216 140721878717622 140721878717700 140721878717700 140721878720458 0
/proc/26546/statm: 528750 27033 761 405 0 525695 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 2115000 KiB
Current children cumulated memory: 108132 KiB
################
# More data... #
################
/proc/26546/statm: 589345 88516 761 405 0 586290 0
Current children cumulated CPU time: 1722.29 s
Current children cumulated vsize: 2357380 KiB
Current children cumulated memory: 354064 KiB
[startup+1782.3 s]
/proc/loadavg: 2.03 2.07 2.07 3/187 26600
/proc/meminfo: memFree=16240664/32770624 swapFree=67108844/67108860
[pid=26546] ppid=26543 vsize=2357380 memory=354064 CPUtime=1782.29 cores=1,3,5,7
/proc/26546/stat : 26546 (xcsp_picat) R 26543 26546 25584 0 -1 4202496 446206 0 0 0 177718 511 0 0 20 0 1 0 221226864 2413957120 88516 33554432000 4194304 5849708 140721878711424 140721878710584 5437714 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18313216 140721878717622 140721878717700 140721878717700 140721878720458 0
/proc/26546/statm: 589345 88516 761 405 0 586290 0
Current children cumulated CPU time: 1782.29 s
Current children cumulated vsize: 2357380 KiB
Current children cumulated memory: 354064 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/187 26601
/proc/meminfo: memFree=16124548/32770624 swapFree=67108844/67108860
[pid=26546] ppid=26543 vsize=2444096 memory=440780 CPUtime=1842.29 cores=1,3,5,7
/proc/26546/stat : 26546 (xcsp_picat) R 26543 26546 25584 0 -1 4202496 459288 0 0 0 183708 521 0 0 20 0 1 0 221226864 2502754304 110195 33554432000 4194304 5849708 140721878711424 140721878710424 5335584 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18313216 140721878717622 140721878717700 140721878717700 140721878720458 0
/proc/26546/statm: 611024 110195 761 405 0 607969 0
Current children cumulated CPU time: 1842.29 s
Current children cumulated vsize: 2444096 KiB
Current children cumulated memory: 440780 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 26602
/proc/meminfo: memFree=16124544/32770624 swapFree=67108844/67108860
[pid=26546] ppid=26543 vsize=2444096 memory=440780 CPUtime=1902.3 cores=1,3,5,7
/proc/26546/stat : 26546 (xcsp_picat) R 26543 26546 25584 0 -1 4202496 481639 0 0 0 189703 527 0 0 20 0 1 0 221226864 2502754304 110195 33554432000 4194304 5849708 140721878711424 140721878710424 5437714 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18313216 140721878717622 140721878717700 140721878717700 140721878720458 0
/proc/26546/statm: 611024 110195 761 405 0 607969 0
Current children cumulated CPU time: 1902.3 s
Current children cumulated vsize: 2444096 KiB
Current children cumulated memory: 440780 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 26603
/proc/meminfo: memFree=16146836/32770624 swapFree=67108844/67108860
[pid=26546] ppid=26543 vsize=2455676 memory=452360 CPUtime=1962.3 cores=1,3,5,7
/proc/26546/stat : 26546 (xcsp_picat) R 26543 26546 25584 0 -1 4202496 513551 0 0 0 195692 538 0 0 20 0 1 0 221226864 2514612224 113090 33554432000 4194304 5849708 140721878711424 140721878710424 5438278 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18313216 140721878717622 140721878717700 140721878717700 140721878720458 0
/proc/26546/statm: 613919 113090 761 405 0 610864 0
Current children cumulated CPU time: 1962.3 s
Current children cumulated vsize: 2455676 KiB
Current children cumulated memory: 452360 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 26612
/proc/meminfo: memFree=16146872/32770624 swapFree=67108844/67108860
[pid=26546] ppid=26543 vsize=2455676 memory=452360 CPUtime=2022.3 cores=1,3,5,7
/proc/26546/stat : 26546 (xcsp_picat) R 26543 26546 25584 0 -1 4202496 521259 0 0 0 201686 544 0 0 20 0 1 0 221226864 2514612224 113090 33554432000 4194304 5849708 140721878711424 140721878710424 5437714 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18313216 140721878717622 140721878717700 140721878717700 140721878720458 0
/proc/26546/statm: 613919 113090 761 405 0 610864 0
Current children cumulated CPU time: 2022.3 s
Current children cumulated vsize: 2455676 KiB
Current children cumulated memory: 452360 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 26613
/proc/meminfo: memFree=16146992/32770624 swapFree=67108844/67108860
[pid=26546] ppid=26543 vsize=2455676 memory=452360 CPUtime=2082.3 cores=1,3,5,7
/proc/26546/stat : 26546 (xcsp_picat) R 26543 26546 25584 0 -1 4202496 555947 0 0 0 207672 558 0 0 20 0 1 0 221226864 2514612224 113090 33554432000 4194304 5849708 140721878711424 140721878710424 5437855 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18313216 140721878717622 140721878717700 140721878717700 140721878720458 0
/proc/26546/statm: 613919 113090 761 405 0 610864 0
Current children cumulated CPU time: 2082.3 s
Current children cumulated vsize: 2455676 KiB
Current children cumulated memory: 452360 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 26614
/proc/meminfo: memFree=16146664/32770624 swapFree=67108844/67108860
[pid=26546] ppid=26543 vsize=2455676 memory=452360 CPUtime=2142.3 cores=1,3,5,7
/proc/26546/stat : 26546 (xcsp_picat) R 26543 26546 25584 0 -1 4202496 579569 0 0 0 213657 573 0 0 20 0 1 0 221226864 2514612224 113090 33554432000 4194304 5849708 140721878711424 140721878710424 5335582 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18313216 140721878717622 140721878717700 140721878717700 140721878720458 0
/proc/26546/statm: 613919 113090 761 405 0 610864 0
Current children cumulated CPU time: 2142.3 s
Current children cumulated vsize: 2455676 KiB
Current children cumulated memory: 452360 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 26615
/proc/meminfo: memFree=16218572/32770624 swapFree=67108844/67108860
[pid=26546] ppid=26543 vsize=2318104 memory=314768 CPUtime=2202.3 cores=1,3,5,7
/proc/26546/stat : 26546 (xcsp_picat) R 26543 26546 25584 0 -1 4202496 596469 0 0 0 219648 582 0 0 20 0 1 0 221226864 2373738496 78692 33554432000 4194304 5849708 140721878711424 140721878710424 5438180 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18313216 140721878717622 140721878717700 140721878717700 140721878720458 0
/proc/26546/statm: 579526 78692 761 405 0 576471 0
Current children cumulated CPU time: 2202.3 s
Current children cumulated vsize: 2318104 KiB
Current children cumulated memory: 314768 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26616
/proc/meminfo: memFree=16215004/32770624 swapFree=67108844/67108860
[pid=26546] ppid=26543 vsize=2318104 memory=314788 CPUtime=2262.3 cores=1,3,5,7
/proc/26546/stat : 26546 (xcsp_picat) R 26543 26546 25584 0 -1 4202496 615319 0 0 0 225638 592 0 0 20 0 1 0 221226864 2373738496 78697 33554432000 4194304 5849708 140721878711424 140721878710584 140440241041287 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18313216 140721878717622 140721878717700 140721878717700 140721878720458 0
/proc/26546/statm: 579526 78697 761 405 0 576471 0
Current children cumulated CPU time: 2262.3 s
Current children cumulated vsize: 2318104 KiB
Current children cumulated memory: 314788 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26618
/proc/meminfo: memFree=16215032/32770624 swapFree=67108844/67108860
[pid=26546] ppid=26543 vsize=2318104 memory=314788 CPUtime=2322.31 cores=1,3,5,7
/proc/26546/stat : 26546 (xcsp_picat) R 26543 26546 25584 0 -1 4202496 635070 0 0 0 231628 603 0 0 20 0 1 0 221226864 2373738496 78697 33554432000 4194304 5849708 140721878711424 140721878710584 5437714 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18313216 140721878717622 140721878717700 140721878717700 140721878720458 0
/proc/26546/statm: 579526 78697 761 405 0 576471 0
Current children cumulated CPU time: 2322.31 s
Current children cumulated vsize: 2318104 KiB
Current children cumulated memory: 314788 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/184 26626
/proc/meminfo: memFree=16641000/32770624 swapFree=67108844/67108860
[pid=26546] ppid=26543 vsize=2293088 memory=289772 CPUtime=2382.31 cores=1,3,5,7
/proc/26546/stat : 26546 (xcsp_picat) R 26543 26546 25584 0 -1 4202496 668018 0 0 0 237616 615 0 0 20 0 1 0 221226864 2348122112 72443 33554432000 4194304 5849708 140721878711424 140721878710424 5437714 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18313216 140721878717622 140721878717700 140721878717700 140721878720458 0
/proc/26546/statm: 573272 72443 761 405 0 570217 0
Current children cumulated CPU time: 2382.31 s
Current children cumulated vsize: 2293088 KiB
Current children cumulated memory: 289772 KiB
[startup+2442.3 s]
/proc/loadavg: 1.37 1.83 1.98 2/180 26665
/proc/meminfo: memFree=16562588/32770624 swapFree=67108844/67108860
[pid=26546] ppid=26543 vsize=2373420 memory=370104 CPUtime=2442.31 cores=1,3,5,7
/proc/26546/stat : 26546 (xcsp_picat) R 26543 26546 25584 0 -1 4202496 698070 0 0 0 243605 626 0 0 20 0 1 0 221226864 2430382080 92526 33554432000 4194304 5849708 140721878711424 140721878710424 5437714 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18313216 140721878717622 140721878717700 140721878717700 140721878720458 0
/proc/26546/statm: 593355 92526 761 405 0 590300 0
Current children cumulated CPU time: 2442.31 s
Current children cumulated vsize: 2373420 KiB
Current children cumulated memory: 370104 KiB
[startup+2502.3 s]
/proc/loadavg: 1.14 1.68 1.92 2/180 26667
/proc/meminfo: memFree=16562448/32770624 swapFree=67108844/67108860
[pid=26546] ppid=26543 vsize=2373420 memory=370104 CPUtime=2502.3 cores=1,3,5,7
/proc/26546/stat : 26546 (xcsp_picat) R 26543 26546 25584 0 -1 4202496 723334 0 0 0 249594 636 0 0 20 0 1 0 221226864 2430382080 92526 33554432000 4194304 5849708 140721878711424 140721878710424 5437664 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18313216 140721878717622 140721878717700 140721878717700 140721878720458 0
/proc/26546/statm: 593355 92526 761 405 0 590300 0
Current children cumulated CPU time: 2502.3 s
Current children cumulated vsize: 2373420 KiB
Current children cumulated memory: 370104 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.10 1.64 1.90 2/180 26668
/proc/meminfo: memFree=16562512/32770624 swapFree=67108844/67108860
[pid=26546] ppid=26543 vsize=2373420 memory=370104 CPUtime=2520 cores=1,3,5,7
/proc/26546/stat : 26546 (xcsp_picat) R 26543 26546 25584 0 -1 4202496 723731 0 0 0 251362 638 0 0 20 0 1 0 221226864 2430382080 92526 33554432000 4194304 5849708 140721878711424 140721878710424 140440241041287 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 18313216 140721878717622 140721878717700 140721878717700 140721878720458 0
/proc/26546/statm: 593355 92526 761 405 0 590300 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 2373420 KiB
Current children cumulated memory: 370104 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 26546 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.63 s, system=6.39012 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.02
CPU user time (s): 2513.63
CPU system time (s): 6.39012
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 2455676
Max. memory (cumulated for all children) (KiB): 452360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.63
system time used= 6.39012
maximum resident set size= 452360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 723731
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= 73
involuntary context switches= 952
# summary of solver processes directly reported to runsolver:
# pid: 26546
# total CPU time (s): 2520.02
# total CPU user time (s): 2513.63
# total CPU system time (s): 6.39012
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0405 second user time and 18.5274 second system time
The end