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 (6214 MiB free)
memory of node 1: 16384 MiB (8708 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309762-1534301709/watcher-4309762-1534301709 -o /tmp/evaluation-result-4309762-1534301709/solver-4309762-1534301709 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534294082-5447 --watchdog 2580 xcsp_picat HOME/instance-4309762-1534301709.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
solver pid=6371, runsolver pid=6368
Current StackSize limit: 8192 KiB
[startup+0.100236 s]*
/proc/loadavg: 1.93 2.04 2.00 3/187 6372
/proc/meminfo: memFree=15268852/32770624 swapFree=67108504/67108860
[pid=6371] ppid=6368 vsize=2027432 memory=14372 CPUtime=0.09 cores=0,2,4,6
/proc/6371/stat : 6371 (xcsp_picat) R 6368 6371 5416 0 -1 4202496 1920 0 0 0 9 0 0 0 20 0 1 0 247734050 2076090368 3593 33554432000 4194304 5849940 140736758821088 140736758820088 140359337639815 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 27262976 140736758822070 140736758822148 140736758822148 140736758824906 0
/proc/6371/statm: 506858 3593 653 405 0 503802 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027432 KiB
Current children cumulated memory: 14372 KiB
[startup+0.209554 s]*
/proc/loadavg: 1.93 2.04 2.00 3/187 6372
/proc/meminfo: memFree=15267388/32770624 swapFree=67108504/67108860
[pid=6371] ppid=6368 vsize=2028768 memory=15860 CPUtime=0.2 cores=0,2,4,6
/proc/6371/stat : 6371 (xcsp_picat) R 6368 6371 5416 0 -1 4202496 2550 0 0 0 20 0 0 0 20 0 1 0 247734050 2077458432 3965 33554432000 4194304 5849940 140736758821088 140736758820088 140359337639815 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 27262976 140736758822070 140736758822148 140736758822148 140736758824906 0
/proc/6371/statm: 507192 3965 653 405 0 504136 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2028768 KiB
Current children cumulated memory: 15860 KiB
[startup+0.30905 s]*
/proc/loadavg: 1.93 2.04 2.00 3/187 6372
/proc/meminfo: memFree=15267684/32770624 swapFree=67108504/67108860
[pid=6371] ppid=6368 vsize=2029224 memory=16148 CPUtime=0.3 cores=0,2,4,6
/proc/6371/stat : 6371 (xcsp_picat) R 6368 6371 5416 0 -1 4202496 3093 0 0 0 29 1 0 0 20 0 1 0 247734050 2077925376 4037 33554432000 4194304 5849940 140736758821088 140736758820088 140359337639815 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 27262976 140736758822070 140736758822148 140736758822148 140736758824906 0
/proc/6371/statm: 507306 4037 653 405 0 504250 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2029224 KiB
Current children cumulated memory: 16148 KiB
[startup+0.700282 s]
/proc/loadavg: 1.93 2.04 2.00 3/187 6372
/proc/meminfo: memFree=15265496/32770624 swapFree=67108504/67108860
[pid=6371] ppid=6368 vsize=2030540 memory=17492 CPUtime=0.69 cores=0,2,4,6
/proc/6371/stat : 6371 (xcsp_picat) R 6368 6371 5416 0 -1 4202496 5462 0 0 0 67 2 0 0 20 0 1 0 247734050 2079272960 4373 33554432000 4194304 5849940 140736758821088 140736758820088 140359337639815 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 27262976 140736758822070 140736758822148 140736758822148 140736758824906 0
/proc/6371/statm: 507635 4373 653 405 0 504579 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2030540 KiB
Current children cumulated memory: 17492 KiB
[startup+1.50026 s]
/proc/loadavg: 1.93 2.04 2.00 3/187 6372
/proc/meminfo: memFree=15264060/32770624 swapFree=67108504/67108860
[pid=6371] ppid=6368 vsize=2034316 memory=21388 CPUtime=1.49 cores=0,2,4,6
/proc/6371/stat : 6371 (xcsp_picat) R 6368 6371 5416 0 -1 4202496 8863 0 0 0 145 4 0 0 20 0 1 0 247734050 2083139584 5347 33554432000 4194304 5849940 140736758821088 140736758820248 5438538 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 27262976 140736758822070 140736758822148 140736758822148 140736758824906 0
/proc/6371/statm: 508579 5347 653 405 0 505523 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2034316 KiB
Current children cumulated memory: 21388 KiB
[startup+3.1094 s]
/proc/loadavg: 1.93 2.04 2.00 3/187 6372
/proc/meminfo: memFree=15260080/32770624 swapFree=67108504/67108860
[pid=6371] ppid=6368 vsize=2036732 memory=23696 CPUtime=3.1 cores=0,2,4,6
/proc/6371/stat : 6371 (xcsp_picat) R 6368 6371 5416 0 -1 4202496 18783 0 0 0 302 8 0 0 20 0 1 0 247734050 2085613568 5924 33554432000 4194304 5849940 140736758821088 140736758820248 140359337639815 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 27262976 140736758822070 140736758822148 140736758822148 140736758824906 0
/proc/6371/statm: 509183 5924 653 405 0 506127 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2036732 KiB
Current children cumulated memory: 23696 KiB
[startup+6.30025 s]
/proc/loadavg: 1.85 2.02 2.00 3/187 6372
/proc/meminfo: memFree=15255032/32770624 swapFree=67108504/67108860
[pid=6371] ppid=6368 vsize=2035328 memory=22472 CPUtime=6.29 cores=0,2,4,6
/proc/6371/stat : 6371 (xcsp_picat) R 6368 6371 5416 0 -1 4202496 30735 0 0 0 616 13 0 0 20 0 1 0 247734050 2084175872 5618 33554432000 4194304 5849940 140736758821088 140736758820088 140359337639815 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 27262976 140736758822070 140736758822148 140736758822148 140736758824906 0
/proc/6371/statm: 508832 5618 653 405 0 505776 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2035328 KiB
Current children cumulated memory: 22472 KiB
[startup+12.7003 s]
/proc/loadavg: 1.86 2.02 2.00 3/187 6372
/proc/meminfo: memFree=15250748/32770624 swapFree=67108504/67108860
[pid=6371] ppid=6368 vsize=2047620 memory=34796 CPUtime=12.68 cores=0,2,4,6
/proc/6371/stat : 6371 (xcsp_picat) R 6368 6371 5416 0 -1 4202496 56974 0 0 0 1244 24 0 0 20 0 1 0 247734050 2096762880 8699 33554432000 4194304 5849940 140736758821088 140736758820088 140359337639815 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 27262976 140736758822070 140736758822148 140736758822148 140736758824906 0
/proc/6371/statm: 511905 8699 653 405 0 508849 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2047620 KiB
Current children cumulated memory: 34796 KiB
[startup+25.5003 s]
/proc/loadavg: 1.89 2.02 2.00 3/187 6372
/proc/meminfo: memFree=15241388/32770624 swapFree=67108504/67108860
[pid=6371] ppid=6368 vsize=2063324 memory=50176 CPUtime=25.48 cores=0,2,4,6
/proc/6371/stat : 6371 (xcsp_picat) R 6368 6371 5416 0 -1 4202496 97842 0 0 0 2505 43 0 0 20 0 1 0 247734050 2112843776 12544 33554432000 4194304 5849940 140736758821088 140736758820088 5335720 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 27262976 140736758822070 140736758822148 140736758822148 140736758824906 0
/proc/6371/statm: 515831 12544 653 405 0 512775 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2063324 KiB
Current children cumulated memory: 50176 KiB
[startup+51.1094 s]
/proc/loadavg: 1.93 2.02 2.00 3/187 6372
/proc/meminfo: memFree=15214316/32770624 swapFree=67108504/67108860
[pid=6371] ppid=6368 vsize=2056232 memory=43288 CPUtime=51.09 cores=0,2,4,6
/proc/6371/stat : 6371 (xcsp_picat) R 6368 6371 5416 0 -1 4202496 159250 0 0 0 5039 70 0 0 20 0 1 0 247734050 2105581568 10822 33554432000 4194304 5849940 140736758821088 140736758820088 140359337639815 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 27262976 140736758822070 140736758822148 140736758822148 140736758824906 0
/proc/6371/statm: 514058 10822 653 405 0 511002 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2056232 KiB
Current children cumulated memory: 43288 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 2.01 2.00 3/187 6373
/proc/meminfo: memFree=15146992/32770624 swapFree=67108504/67108860
[pid=6371] ppid=6368 vsize=2137408 memory=124340 CPUtime=102.27 cores=0,2,4,6
/proc/6371/stat : 6371 (xcsp_picat) R 6368 6371 5416 0 -1 4202496 205304 0 0 0 10121 106 0 0 20 0 1 0 247734050 2188705792 31085 33554432000 4194304 5849940 140736758821088 140736758820088 5437824 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 27262976 140736758822070 140736758822148 140736758822148 140736758824906 0
/proc/6371/statm: 534352 31085 653 405 0 531296 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2137408 KiB
Current children cumulated memory: 124340 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.00 3/187 6374
/proc/meminfo: memFree=15031216/32770624 swapFree=67108504/67108860
[pid=6371] ppid=6368 vsize=2199576 memory=186384 CPUtime=162.26 cores=0,2,4,6
/proc/6371/stat : 6371 (xcsp_picat) R 6368 6371 5416 0 -1 4202496 218170 0 0 0 16095 131 0 0 20 0 1 0 247734050 2252365824 46596 33554432000 4194304 5849940 140736758821088 140736758820248 5437815 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 27262976 140736758822070 140736758822148 140736758822148 140736758824906 0
/proc/6371/statm: 549894 46596 653 405 0 546838 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 2199576 KiB
Current children cumulated memory: 186384 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/187 6376
/proc/meminfo: memFree=14723992/32770624 swapFree=67108504/67108860
[pid=6371] ppid=6368 vsize=2241360 memory=228452 CPUtime=222.25 cores=0,2,4,6
/proc/6371/stat : 6371 (xcsp_picat) R 6368 6371 5416 0 -1 4202496 246300 0 0 0 22064 161 0 0 20 0 1 0 247734050 2295152640 57113 33554432000 4194304 5849940 140736758821088 140736758820088 5437906 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 27262976 140736758822070 140736758822148 140736758822148 140736758824906 0
/proc/6371/statm: 560340 57113 653 405 0 557284 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 2241360 KiB
Current children cumulated memory: 228452 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/187 6377
/proc/meminfo: memFree=14732928/32770624 swapFree=67108504/67108860
[pid=6371] ppid=6368 vsize=2214012 memory=201012 CPUtime=282.24 cores=0,2,4,6
/proc/6371/stat : 6371 (xcsp_picat) R 6368 6371 5416 0 -1 4202496 252515 0 0 0 28041 183 0 0 20 0 1 0 247734050 2267148288 50253 33554432000 4194304 5849940 140736758821088 140736758820088 5438456 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 27262976 140736758822070 140736758822148 140736758822148 140736758824906 0
/proc/6371/statm: 553503 50253 653 405 0 550447 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 2214012 KiB
Current children cumulated memory: 201012 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/188 6386
/proc/meminfo: memFree=14663936/32770624 swapFree=67108504/67108860
[pid=6371] ppid=6368 vsize=2249072 memory=236120 CPUtime=342.24 cores=0,2,4,6
/proc/6371/stat : 6371 (xcsp_picat) R 6368 6371 5416 0 -1 4202496 276268 0 0 0 34022 202 0 0 20 0 1 0 247734050 2303049728 59030 33554432000 4194304 5849940 140736758821088 140736758820088 5437784 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 27262976 140736758822070 140736758822148 140736758822148 140736758824906 0
/proc/6371/statm: 562268 59030 653 405 0 559212 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 2249072 KiB
Current children cumulated memory: 236120 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/188 6409
/proc/meminfo: memFree=14424804/32770624 swapFree=67108504/67108860
[pid=6371] ppid=6368 vsize=2359724 memory=346772 CPUtime=402.23 cores=0,2,4,6
/proc/6371/stat : 6371 (xcsp_picat) R 6368 6371 5416 0 -1 4202496 278754 0 0 0 40010 213 0 0 20 0 1 0 247734050 2416357376 86693 33554432000 4194304 5849940 140736758821088 140736758820088 5335776 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 27262976 140736758822070 140736758822148 140736758822148 140736758824906 0
/proc/6371/statm: 589931 86693 653 405 0 586875 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 2359724 KiB
Current children cumulated memory: 346772 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/188 6410
/proc/meminfo: memFree=14468840/32770624 swapFree=67108504/67108860
[pid=6371] ppid=6368 vsize=2425260 memory=412308 CPUtime=462.22 cores=0,2,4,6
/proc/6371/stat : 6371 (xcsp_picat) R 6368 6371 5416 0 -1 4202496 303533 0 0 0 45999 223 0 0 20 0 1 0 247734050 2483466240 103077 33554432000 4194304 5849940 140736758821088 140736758820088 5437906 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 27262976 140736758822070 140736758822148 140736758822148 140736758824906 0
/proc/6371/statm: 606315 103077 653 405 0 603259 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 2425260 KiB
Current children cumulated memory: 412308 KiB
################
# More data... #
################
/proc/6371/statm: 631527 129550 653 405 0 628471 0
Current children cumulated CPU time: 1722.07 s
Current children cumulated vsize: 2526108 KiB
Current children cumulated memory: 518200 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/188 6448
/proc/meminfo: memFree=14074764/32770624 swapFree=67108504/67108860
[pid=6371] ppid=6368 vsize=2526108 memory=518200 CPUtime=1782.08 cores=0,2,4,6
/proc/6371/stat : 6371 (xcsp_picat) R 6368 6371 5416 0 -1 4202496 857656 0 0 0 177844 364 0 0 20 0 1 0 247734050 2586734592 129550 33554432000 4194304 5849940 140736758821088 140736758820088 5438453 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 27262976 140736758822070 140736758822148 140736758822148 140736758824906 0
/proc/6371/statm: 631527 129550 653 405 0 628471 0
Current children cumulated CPU time: 1782.08 s
Current children cumulated vsize: 2526108 KiB
Current children cumulated memory: 518200 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 6450
/proc/meminfo: memFree=14029532/32770624 swapFree=67108504/67108860
[pid=6371] ppid=6368 vsize=2526108 memory=518200 CPUtime=1842.08 cores=0,2,4,6
/proc/6371/stat : 6371 (xcsp_picat) R 6368 6371 5416 0 -1 4202496 894101 0 0 0 183839 369 0 0 20 0 1 0 247734050 2586734592 129550 33554432000 4194304 5849940 140736758821088 140736758820088 5437921 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 27262976 140736758822070 140736758822148 140736758822148 140736758824906 0
/proc/6371/statm: 631527 129550 653 405 0 628471 0
Current children cumulated CPU time: 1842.08 s
Current children cumulated vsize: 2526108 KiB
Current children cumulated memory: 518200 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 6451
/proc/meminfo: memFree=13937008/32770624 swapFree=67108504/67108860
[pid=6371] ppid=6368 vsize=2552884 memory=544976 CPUtime=1902.09 cores=0,2,4,6
/proc/6371/stat : 6371 (xcsp_picat) R 6368 6371 5416 0 -1 4202496 929609 0 0 0 189835 374 0 0 20 0 1 0 247734050 2614153216 136244 33554432000 4194304 5849940 140736758821088 140736758820088 5438465 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 27262976 140736758822070 140736758822148 140736758822148 140736758824906 0
/proc/6371/statm: 638221 136244 653 405 0 635165 0
Current children cumulated CPU time: 1902.09 s
Current children cumulated vsize: 2552884 KiB
Current children cumulated memory: 544976 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 6452
/proc/meminfo: memFree=14276488/32770624 swapFree=67108504/67108860
[pid=6371] ppid=6368 vsize=2552884 memory=544976 CPUtime=1962.09 cores=0,2,4,6
/proc/6371/stat : 6371 (xcsp_picat) R 6368 6371 5416 0 -1 4202496 932107 0 0 0 195833 376 0 0 20 0 1 0 247734050 2614153216 136244 33554432000 4194304 5849940 140736758821088 140736758820088 5438016 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 27262976 140736758822070 140736758822148 140736758822148 140736758824906 0
/proc/6371/statm: 638221 136244 653 405 0 635165 0
Current children cumulated CPU time: 1962.09 s
Current children cumulated vsize: 2552884 KiB
Current children cumulated memory: 544976 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6454
/proc/meminfo: memFree=14116504/32770624 swapFree=67108504/67108860
[pid=6371] ppid=6368 vsize=2552884 memory=544976 CPUtime=2022.09 cores=0,2,4,6
/proc/6371/stat : 6371 (xcsp_picat) R 6368 6371 5416 0 -1 4202496 969322 0 0 0 201829 380 0 0 20 0 1 0 247734050 2614153216 136244 33554432000 4194304 5849940 140736758821088 140736758820088 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 27262976 140736758822070 140736758822148 140736758822148 140736758824906 0
/proc/6371/statm: 638221 136244 653 405 0 635165 0
Current children cumulated CPU time: 2022.09 s
Current children cumulated vsize: 2552884 KiB
Current children cumulated memory: 544976 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6455
/proc/meminfo: memFree=14000588/32770624 swapFree=67108504/67108860
[pid=6371] ppid=6368 vsize=2552884 memory=544976 CPUtime=2082.1 cores=0,2,4,6
/proc/6371/stat : 6371 (xcsp_picat) R 6368 6371 5416 0 -1 4202496 1005357 0 0 0 207825 385 0 0 20 0 1 0 247734050 2614153216 136244 33554432000 4194304 5849940 140736758821088 140736758820248 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 27262976 140736758822070 140736758822148 140736758822148 140736758824906 0
/proc/6371/statm: 638221 136244 653 405 0 635165 0
Current children cumulated CPU time: 2082.1 s
Current children cumulated vsize: 2552884 KiB
Current children cumulated memory: 544976 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6464
/proc/meminfo: memFree=14110016/32770624 swapFree=67108504/67108860
[pid=6371] ppid=6368 vsize=2552884 memory=544976 CPUtime=2142.1 cores=0,2,4,6
/proc/6371/stat : 6371 (xcsp_picat) R 6368 6371 5416 0 -1 4202496 1043405 0 0 0 213820 390 0 0 20 0 1 0 247734050 2614153216 136244 33554432000 4194304 5849940 140736758821088 140736758820088 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 27262976 140736758822070 140736758822148 140736758822148 140736758824906 0
/proc/6371/statm: 638221 136244 653 405 0 635165 0
Current children cumulated CPU time: 2142.1 s
Current children cumulated vsize: 2552884 KiB
Current children cumulated memory: 544976 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6465
/proc/meminfo: memFree=14076016/32770624 swapFree=67108504/67108860
[pid=6371] ppid=6368 vsize=2552884 memory=544976 CPUtime=2202.1 cores=0,2,4,6
/proc/6371/stat : 6371 (xcsp_picat) R 6368 6371 5416 0 -1 4202496 1078189 0 0 0 219813 397 0 0 20 0 1 0 247734050 2614153216 136244 33554432000 4194304 5849940 140736758821088 140736758820088 5438033 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 27262976 140736758822070 140736758822148 140736758822148 140736758824906 0
/proc/6371/statm: 638221 136244 653 405 0 635165 0
Current children cumulated CPU time: 2202.1 s
Current children cumulated vsize: 2552884 KiB
Current children cumulated memory: 544976 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6466
/proc/meminfo: memFree=13983376/32770624 swapFree=67108504/67108860
[pid=6371] ppid=6368 vsize=2552884 memory=544976 CPUtime=2262.11 cores=0,2,4,6
/proc/6371/stat : 6371 (xcsp_picat) R 6368 6371 5416 0 -1 4202496 1115267 0 0 0 225808 403 0 0 20 0 1 0 247734050 2614153216 136244 33554432000 4194304 5849940 140736758821088 140736758820088 5438404 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 27262976 140736758822070 140736758822148 140736758822148 140736758824906 0
/proc/6371/statm: 638221 136244 653 405 0 635165 0
Current children cumulated CPU time: 2262.11 s
Current children cumulated vsize: 2552884 KiB
Current children cumulated memory: 544976 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6467
/proc/meminfo: memFree=14268824/32770624 swapFree=67108504/67108860
[pid=6371] ppid=6368 vsize=2552884 memory=544976 CPUtime=2322.1 cores=0,2,4,6
/proc/6371/stat : 6371 (xcsp_picat) R 6368 6371 5416 0 -1 4202496 1147074 0 0 0 231803 407 0 0 20 0 1 0 247734050 2614153216 136244 33554432000 4194304 5849940 140736758821088 140736758820088 140359337639815 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 27262976 140736758822070 140736758822148 140736758822148 140736758824906 0
/proc/6371/statm: 638221 136244 653 405 0 635165 0
Current children cumulated CPU time: 2322.1 s
Current children cumulated vsize: 2552884 KiB
Current children cumulated memory: 544976 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6468
/proc/meminfo: memFree=14225356/32770624 swapFree=67108504/67108860
[pid=6371] ppid=6368 vsize=2552884 memory=544976 CPUtime=2382.12 cores=0,2,4,6
/proc/6371/stat : 6371 (xcsp_picat) R 6368 6371 5416 0 -1 4202496 1182550 0 0 0 237799 413 0 0 20 0 1 0 247734050 2614153216 136244 33554432000 4194304 5849940 140736758821088 140736758820088 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 27262976 140736758822070 140736758822148 140736758822148 140736758824906 0
/proc/6371/statm: 638221 136244 653 405 0 635165 0
Current children cumulated CPU time: 2382.12 s
Current children cumulated vsize: 2552884 KiB
Current children cumulated memory: 544976 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6469
/proc/meminfo: memFree=14069680/32770624 swapFree=67108504/67108860
[pid=6371] ppid=6368 vsize=2552884 memory=544976 CPUtime=2442.11 cores=0,2,4,6
/proc/6371/stat : 6371 (xcsp_picat) R 6368 6371 5416 0 -1 4202496 1218933 0 0 0 243794 417 0 0 20 0 1 0 247734050 2614153216 136244 33554432000 4194304 5849940 140736758821088 140736758820088 140359337639815 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 27262976 140736758822070 140736758822148 140736758822148 140736758824906 0
/proc/6371/statm: 638221 136244 653 405 0 635165 0
Current children cumulated CPU time: 2442.11 s
Current children cumulated vsize: 2552884 KiB
Current children cumulated memory: 544976 KiB
[startup+2502.3 s]
/proc/loadavg: 1.96 2.00 2.04 3/187 6530
/proc/meminfo: memFree=11889548/32770624 swapFree=67108504/67108860
[pid=6371] ppid=6368 vsize=2595100 memory=587192 CPUtime=2502.12 cores=0,2,4,6
/proc/6371/stat : 6371 (xcsp_picat) R 6368 6371 5416 0 -1 4202496 1257837 0 0 0 249790 422 0 0 20 0 1 0 247734050 2657382400 146798 33554432000 4194304 5849940 140736758821088 140736758820088 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 27262976 140736758822070 140736758822148 140736758822148 140736758824906 0
/proc/6371/statm: 648775 146798 653 405 0 645719 0
Current children cumulated CPU time: 2502.12 s
Current children cumulated vsize: 2595100 KiB
Current children cumulated memory: 587192 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.97 2.00 2.04 3/187 6531
/proc/meminfo: memFree=11315752/32770624 swapFree=67108504/67108860
[pid=6371] ppid=6368 vsize=2595100 memory=587192 CPUtime=2519.83 cores=0,2,4,6
/proc/6371/stat : 6371 (xcsp_picat) R 6368 6371 5416 0 -1 4202496 1258972 0 0 0 251560 423 0 0 20 0 1 0 247734050 2657382400 146798 33554432000 4194304 5849940 140736758821088 140736758820088 5438538 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 27262976 140736758822070 140736758822148 140736758822148 140736758824906 0
/proc/6371/statm: 648775 146798 653 405 0 645719 0
Current children cumulated CPU time: 2519.83 s
Current children cumulated vsize: 2595100 KiB
Current children cumulated memory: 587192 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 6371 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.61 s, system=4.24477 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.02
CPU time (s): 2519.85
CPU user time (s): 2515.61
CPU system time (s): 4.24477
CPU usage (%): 99.9933
Max. virtual memory (cumulated for all children) (KiB): 2595100
Max. memory (cumulated for all children) (KiB): 587192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.61
system time used= 4.24477
maximum resident set size= 587192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1258973
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= 41
involuntary context switches= 3250
# summary of solver processes directly reported to runsolver:
# pid: 6371
# total CPU time (s): 2519.85
# total CPU user time (s): 2515.61
# total CPU system time (s): 4.24477
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.16722 second user time and 19.021 second system time
The end