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 (14639 MiB free)
memory of node 1: 16384 MiB (13908 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309814-1534299909/watcher-4309814-1534299909 -o /tmp/evaluation-result-4309814-1534299909/solver-4309814-1534299909 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534292346-18983 --watchdog 2580 xcsp_picat HOME/instance-4309814-1534299909.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=19764, runsolver pid=19761
[startup+0.100173 s]*
/proc/loadavg: 2.08 2.03 2.04 3/200 19790
/proc/meminfo: memFree=29194960/32770624 swapFree=67030680/67108860
[pid=19764] ppid=19761 vsize=2025744 memory=25656 CPUtime=0.1 cores=0,2,4,6
/proc/19764/stat : 19764 (xcsp_picat) R 19761 19764 18952 0 -1 4202496 1456 0 0 0 10 0 0 0 20 0 1 0 247554043 2074361856 6414 33554432000 4194304 5849940 140730440416480 140730440416480 4513847 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28164096 140730440422582 140730440422660 140730440422660 140730440425418 0
/proc/19764/statm: 506436 6414 611 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 25656 KiB
[startup+0.209902 s]*
/proc/loadavg: 2.08 2.03 2.04 4/200 19790
/proc/meminfo: memFree=29137980/32770624 swapFree=67030680/67108860
[pid=19764] ppid=19761 vsize=2025744 memory=72760 CPUtime=0.21 cores=0,2,4,6
/proc/19764/stat : 19764 (xcsp_picat) R 19761 19764 18952 0 -1 4202496 1479 0 0 0 20 1 0 0 20 0 1 0 247554043 2074361856 18190 33554432000 4194304 5849940 140730440416480 140730440416480 4481469 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28164096 140730440422582 140730440422660 140730440422660 140730440425418 0
/proc/19764/statm: 506436 18190 611 405 0 503380 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 72760 KiB
[startup+0.309785 s]*
/proc/loadavg: 2.08 2.03 2.04 2/181 19807
/proc/meminfo: memFree=29122788/32770624 swapFree=67030680/67108860
[pid=19764] ppid=19761 vsize=2025744 memory=113720 CPUtime=0.31 cores=0,2,4,6
/proc/19764/stat : 19764 (xcsp_picat) R 19761 19764 18952 0 -1 4202496 1499 0 0 0 30 1 0 0 20 0 1 0 247554043 2074361856 28430 33554432000 4194304 5849940 140730440416480 140730440415784 4583930 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28164096 140730440422582 140730440422660 140730440422660 140730440425418 0
/proc/19764/statm: 506436 28430 611 405 0 503380 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 113720 KiB
[startup+0.700427 s]
/proc/loadavg: 2.08 2.03 2.04 3/187 19822
/proc/meminfo: memFree=29010128/32770624 swapFree=67030680/67108860
[pid=19764] ppid=19761 vsize=2025744 memory=268164 CPUtime=0.7 cores=0,2,4,6
/proc/19764/stat : 19764 (xcsp_picat) R 19761 19764 18952 0 -1 4202496 1815 0 0 0 66 4 0 0 20 0 1 0 247554043 2074361856 67041 33554432000 4194304 5849940 140730440416480 140730440415784 4458291 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28164096 140730440422582 140730440422660 140730440422660 140730440425418 0
/proc/19764/statm: 506436 67041 625 405 0 503380 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 268164 KiB
[startup+1.50036 s]
/proc/loadavg: 2.08 2.03 2.04 3/187 19822
/proc/meminfo: memFree=28854496/32770624 swapFree=67030680/67108860
[pid=19764] ppid=19761 vsize=2025888 memory=351260 CPUtime=1.5 cores=0,2,4,6
/proc/19764/stat : 19764 (xcsp_picat) R 19761 19764 18952 0 -1 4202496 2122 0 0 0 145 5 0 0 20 0 1 0 247554043 2074509312 87815 33554432000 4194304 5849940 140730440416480 140730440415784 5520032 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28164096 140730440422582 140730440422660 140730440422660 140730440425418 0
/proc/19764/statm: 506472 87815 718 405 0 503416 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 2025888 KiB
Current children cumulated memory: 351260 KiB
[startup+3.10905 s]
/proc/loadavg: 2.08 2.03 2.04 3/187 19822
/proc/meminfo: memFree=28851824/32770624 swapFree=67030680/67108860
[pid=19764] ppid=19761 vsize=2026380 memory=351780 CPUtime=3.1 cores=0,2,4,6
/proc/19764/stat : 19764 (xcsp_picat) R 19761 19764 18952 0 -1 4202496 2339 0 0 0 305 5 0 0 20 0 1 0 247554043 2075013120 87945 33554432000 4194304 5849940 140730440416480 140730440415784 5616556 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28164096 140730440422582 140730440422660 140730440422660 140730440425418 0
/proc/19764/statm: 506595 87945 718 405 0 503539 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2026380 KiB
Current children cumulated memory: 351780 KiB
[startup+6.30033 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 19822
/proc/meminfo: memFree=28848000/32770624 swapFree=67030680/67108860
[pid=19764] ppid=19761 vsize=2027184 memory=352520 CPUtime=6.29 cores=0,2,4,6
/proc/19764/stat : 19764 (xcsp_picat) R 19761 19764 18952 0 -1 4202496 2703 0 0 0 623 6 0 0 20 0 1 0 247554043 2075836416 88130 33554432000 4194304 5849940 140730440416480 140730440415576 5472454 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28164096 140730440422582 140730440422660 140730440422660 140730440425418 0
/proc/19764/statm: 506796 88130 718 405 0 503740 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2027184 KiB
Current children cumulated memory: 352520 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 19822
/proc/meminfo: memFree=28822900/32770624 swapFree=67030680/67108860
[pid=19764] ppid=19761 vsize=2028980 memory=354380 CPUtime=12.69 cores=0,2,4,6
/proc/19764/stat : 19764 (xcsp_picat) R 19761 19764 18952 0 -1 4202496 3573 0 0 0 1262 7 0 0 20 0 1 0 247554043 2077675520 88595 33554432000 4194304 5849940 140730440416480 140730440415576 5480151 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28164096 140730440422582 140730440422660 140730440422660 140730440425418 0
/proc/19764/statm: 507245 88595 718 405 0 504189 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2028980 KiB
Current children cumulated memory: 354380 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 19822
/proc/meminfo: memFree=28809328/32770624 swapFree=67030680/67108860
[pid=19764] ppid=19761 vsize=2034568 memory=359968 CPUtime=25.49 cores=0,2,4,6
/proc/19764/stat : 19764 (xcsp_picat) R 19761 19764 18952 0 -1 4202496 5659 0 0 0 2537 12 0 0 20 0 1 0 247554043 2083397632 89992 33554432000 4194304 5849940 140730440416480 140730440415720 139796327252538 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28164096 140730440422582 140730440422660 140730440422660 140730440425418 0
/proc/19764/statm: 508642 89992 718 405 0 505586 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2034568 KiB
Current children cumulated memory: 359968 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 19822
/proc/meminfo: memFree=28664544/32770624 swapFree=67030680/67108860
[pid=19764] ppid=19761 vsize=2190036 memory=509296 CPUtime=51.1 cores=0,2,4,6
/proc/19764/stat : 19764 (xcsp_picat) R 19761 19764 18952 0 -1 4202496 37903 0 0 0 5089 21 0 0 20 0 1 0 247554043 2242596864 127324 33554432000 4194304 5849940 140730440416480 140730440414968 5310264 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28164096 140730440422582 140730440422660 140730440422660 140730440425418 0
/proc/19764/statm: 547509 127324 746 405 0 544453 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2190036 KiB
Current children cumulated memory: 509296 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 19823
/proc/meminfo: memFree=28681456/32770624 swapFree=67030680/67108860
[pid=19764] ppid=19761 vsize=2190032 memory=513484 CPUtime=102.3 cores=0,2,4,6
/proc/19764/stat : 19764 (xcsp_picat) R 19761 19764 18952 0 -1 4202496 67039 0 0 0 10205 25 0 0 20 0 1 0 247554043 2242592768 128371 33554432000 4194304 5849940 140730440416480 140730440414968 4208025 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28164096 140730440422582 140730440422660 140730440422660 140730440425418 0
/proc/19764/statm: 547508 128371 750 405 0 544452 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2190032 KiB
Current children cumulated memory: 513484 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 19824
/proc/meminfo: memFree=28666516/32770624 swapFree=67030680/67108860
[pid=19764] ppid=19761 vsize=2160764 memory=487500 CPUtime=162.28 cores=0,2,4,6
/proc/19764/stat : 19764 (xcsp_picat) R 19761 19764 18952 0 -1 4202496 72472 0 0 0 16198 30 0 0 20 0 1 0 247554043 2212622336 121875 33554432000 4194304 5849940 140730440416480 140730440414968 4212122 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28164096 140730440422582 140730440422660 140730440422660 140730440425418 0
/proc/19764/statm: 540191 121875 750 405 0 537135 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2160764 KiB
Current children cumulated memory: 487500 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 19826
/proc/meminfo: memFree=28663816/32770624 swapFree=67030680/67108860
[pid=19764] ppid=19761 vsize=2169960 memory=491548 CPUtime=222.29 cores=0,2,4,6
/proc/19764/stat : 19764 (xcsp_picat) R 19761 19764 18952 0 -1 4202496 74244 0 0 0 22188 41 0 0 20 0 1 0 247554043 2222039040 122887 33554432000 4194304 5849940 140730440416480 140730440414968 5310270 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28164096 140730440422582 140730440422660 140730440422660 140730440425418 0
/proc/19764/statm: 542490 122887 750 405 0 539434 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2169960 KiB
Current children cumulated memory: 491548 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 19827
/proc/meminfo: memFree=28646680/32770624 swapFree=67030680/67108860
[pid=19764] ppid=19761 vsize=2169848 memory=491436 CPUtime=282.29 cores=0,2,4,6
/proc/19764/stat : 19764 (xcsp_picat) R 19761 19764 18952 0 -1 4202496 75740 0 0 0 28176 53 0 0 20 0 1 0 247554043 2221924352 122859 33554432000 4194304 5849940 140730440416480 140730440415480 5307514 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28164096 140730440422582 140730440422660 140730440422660 140730440425418 0
/proc/19764/statm: 542462 122859 750 405 0 539406 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2169848 KiB
Current children cumulated memory: 491436 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 19836
/proc/meminfo: memFree=28629160/32770624 swapFree=67030680/67108860
[pid=19764] ppid=19761 vsize=2169848 memory=493484 CPUtime=342.29 cores=0,2,4,6
/proc/19764/stat : 19764 (xcsp_picat) R 19761 19764 18952 0 -1 4202496 77474 0 0 0 34166 63 0 0 20 0 1 0 247554043 2221924352 123371 33554432000 4194304 5849940 140730440416480 140730440415480 5307683 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28164096 140730440422582 140730440422660 140730440422660 140730440425418 0
/proc/19764/statm: 542462 123371 750 405 0 539406 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2169848 KiB
Current children cumulated memory: 493484 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 19837
/proc/meminfo: memFree=28629588/32770624 swapFree=67030680/67108860
[pid=19764] ppid=19761 vsize=2169660 memory=493296 CPUtime=402.29 cores=0,2,4,6
/proc/19764/stat : 19764 (xcsp_picat) R 19761 19764 18952 0 -1 4202496 79255 0 0 0 40158 71 0 0 20 0 1 0 247554043 2221731840 123324 33554432000 4194304 5849940 140730440416480 140730440415480 139796327714695 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28164096 140730440422582 140730440422660 140730440422660 140730440425418 0
/proc/19764/statm: 542415 123324 750 405 0 539359 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 2169660 KiB
Current children cumulated memory: 493296 KiB
[startup+462.3 s]
/proc/loadavg: 2.08 2.03 2.04 3/188 19838
/proc/meminfo: memFree=28624888/32770624 swapFree=67030680/67108860
[pid=19764] ppid=19761 vsize=2169404 memory=497332 CPUtime=462.29 cores=0,2,4,6
/proc/19764/stat : 19764 (xcsp_picat) R 19761 19764 18952 0 -1 4202496 80673 0 0 0 46141 88 0 0 20 0 1 0 247554043 2221469696 124333 33554432000 4194304 5849940 140730440416480 140730440415480 139796327714695 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28164096 140730440422582 140730440422660 140730440422660 140730440425418 0
/proc/19764/statm: 542351 124333 750 405 0 539295 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 2169404 KiB
Current children cumulated memory: 497332 KiB
################
# More data... #
################
/proc/19764/statm: 544824 126995 750 405 0 541768 0
Current children cumulated CPU time: 1722.34 s
Current children cumulated vsize: 2179296 KiB
Current children cumulated memory: 507980 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19874
/proc/meminfo: memFree=28596240/32770624 swapFree=67030680/67108860
[pid=19764] ppid=19761 vsize=2179296 memory=507980 CPUtime=1782.34 cores=0,2,4,6
/proc/19764/stat : 19764 (xcsp_picat) R 19761 19764 18952 0 -1 4202496 419477 0 0 0 177820 414 0 0 20 0 1 0 247554043 2231599104 126995 33554432000 4194304 5849940 140730440416480 140730440415480 139796327714695 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28164096 140730440422582 140730440422660 140730440422660 140730440425418 0
/proc/19764/statm: 544824 126995 750 405 0 541768 0
Current children cumulated CPU time: 1782.34 s
Current children cumulated vsize: 2179296 KiB
Current children cumulated memory: 507980 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19876
/proc/meminfo: memFree=28596052/32770624 swapFree=67030680/67108860
[pid=19764] ppid=19761 vsize=2179296 memory=507980 CPUtime=1842.34 cores=0,2,4,6
/proc/19764/stat : 19764 (xcsp_picat) R 19761 19764 18952 0 -1 4202496 438323 0 0 0 183802 432 0 0 20 0 1 0 247554043 2231599104 126995 33554432000 4194304 5849940 140730440416480 140730440415640 139796327714695 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28164096 140730440422582 140730440422660 140730440422660 140730440425418 0
/proc/19764/statm: 544824 126995 750 405 0 541768 0
Current children cumulated CPU time: 1842.34 s
Current children cumulated vsize: 2179296 KiB
Current children cumulated memory: 507980 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19877
/proc/meminfo: memFree=28563584/32770624 swapFree=67030680/67108860
[pid=19764] ppid=19761 vsize=2179296 memory=507980 CPUtime=1902.34 cores=0,2,4,6
/proc/19764/stat : 19764 (xcsp_picat) R 19761 19764 18952 0 -1 4202496 454567 0 0 0 189786 448 0 0 20 0 1 0 247554043 2231599104 126995 33554432000 4194304 5849940 140730440416480 140730440415480 5339655 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28164096 140730440422582 140730440422660 140730440422660 140730440425418 0
/proc/19764/statm: 544824 126995 750 405 0 541768 0
Current children cumulated CPU time: 1902.34 s
Current children cumulated vsize: 2179296 KiB
Current children cumulated memory: 507980 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19878
/proc/meminfo: memFree=28531064/32770624 swapFree=67030680/67108860
[pid=19764] ppid=19761 vsize=2244832 memory=573472 CPUtime=1962.35 cores=0,2,4,6
/proc/19764/stat : 19764 (xcsp_picat) R 19761 19764 18952 0 -1 4202496 472779 0 0 0 195770 465 0 0 20 0 1 0 247554043 2298707968 143368 33554432000 4194304 5849940 140730440416480 140730440414968 5308691 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28164096 140730440422582 140730440422660 140730440422660 140730440425418 0
/proc/19764/statm: 561208 143368 750 405 0 558152 0
Current children cumulated CPU time: 1962.35 s
Current children cumulated vsize: 2244832 KiB
Current children cumulated memory: 573472 KiB
[startup+2022.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 19880
/proc/meminfo: memFree=28530952/32770624 swapFree=67030680/67108860
[pid=19764] ppid=19761 vsize=2244760 memory=573444 CPUtime=2022.35 cores=0,2,4,6
/proc/19764/stat : 19764 (xcsp_picat) R 19761 19764 18952 0 -1 4202496 492198 0 0 0 201754 481 0 0 20 0 1 0 247554043 2298634240 143361 33554432000 4194304 5849940 140730440416480 140730440415480 139796327714695 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28164096 140730440422582 140730440422660 140730440422660 140730440425418 0
/proc/19764/statm: 561190 143361 750 405 0 558134 0
Current children cumulated CPU time: 2022.35 s
Current children cumulated vsize: 2244760 KiB
Current children cumulated memory: 573444 KiB
[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 19881
/proc/meminfo: memFree=28594716/32770624 swapFree=67030680/67108860
[pid=19764] ppid=19761 vsize=2179608 memory=508292 CPUtime=2082.36 cores=0,2,4,6
/proc/19764/stat : 19764 (xcsp_picat) R 19761 19764 18952 0 -1 4202496 510716 0 0 0 207740 496 0 0 20 0 1 0 247554043 2231918592 127073 33554432000 4194304 5849940 140730440416480 140730440415480 5438436 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28164096 140730440422582 140730440422660 140730440422660 140730440425418 0
/proc/19764/statm: 544902 127073 750 405 0 541846 0
Current children cumulated CPU time: 2082.36 s
Current children cumulated vsize: 2179608 KiB
Current children cumulated memory: 508292 KiB
[startup+2142.3 s]
/proc/loadavg: 2.16 2.05 2.06 3/187 19889
/proc/meminfo: memFree=28592696/32770624 swapFree=67030680/67108860
[pid=19764] ppid=19761 vsize=2181916 memory=510600 CPUtime=2142.36 cores=0,2,4,6
/proc/19764/stat : 19764 (xcsp_picat) R 19761 19764 18952 0 -1 4202496 527806 0 0 0 213724 512 0 0 20 0 1 0 247554043 2234281984 127650 33554432000 4194304 5849940 140730440416480 140730440415480 5307853 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28164096 140730440422582 140730440422660 140730440422660 140730440425418 0
/proc/19764/statm: 545479 127650 750 405 0 542423 0
Current children cumulated CPU time: 2142.36 s
Current children cumulated vsize: 2181916 KiB
Current children cumulated memory: 510600 KiB
[startup+2202.3 s]
/proc/loadavg: 2.35 2.14 2.09 3/188 19913
/proc/meminfo: memFree=28489416/32770624 swapFree=67030680/67108860
[pid=19764] ppid=19761 vsize=2251836 memory=580420 CPUtime=2202.35 cores=0,2,4,6
/proc/19764/stat : 19764 (xcsp_picat) R 19761 19764 18952 0 -1 4202496 548247 0 0 0 219707 528 0 0 20 0 1 0 247554043 2305880064 145105 33554432000 4194304 5849940 140730440416480 140730440414968 4209353 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28164096 140730440422582 140730440422660 140730440422660 140730440425418 0
/proc/19764/statm: 562959 145105 750 405 0 559903 0
Current children cumulated CPU time: 2202.35 s
Current children cumulated vsize: 2251836 KiB
Current children cumulated memory: 580420 KiB
[startup+2262.3 s]
/proc/loadavg: 2.13 2.12 2.08 3/188 19914
/proc/meminfo: memFree=28583436/32770624 swapFree=67030680/67108860
[pid=19764] ppid=19761 vsize=2186808 memory=515240 CPUtime=2262.36 cores=0,2,4,6
/proc/19764/stat : 19764 (xcsp_picat) R 19761 19764 18952 0 -1 4202496 568197 0 0 0 225689 547 0 0 20 0 1 0 247554043 2239291392 128810 33554432000 4194304 5849940 140730440416480 140730440415480 5362256 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28164096 140730440422582 140730440422660 140730440422660 140730440425418 0
/proc/19764/statm: 546702 128810 750 405 0 543646 0
Current children cumulated CPU time: 2262.36 s
Current children cumulated vsize: 2186808 KiB
Current children cumulated memory: 515240 KiB
[startup+2322.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/188 19915
/proc/meminfo: memFree=28577520/32770624 swapFree=67030680/67108860
[pid=19764] ppid=19761 vsize=2186236 memory=514972 CPUtime=2322.36 cores=0,2,4,6
/proc/19764/stat : 19764 (xcsp_picat) R 19761 19764 18952 0 -1 4202496 588937 0 0 0 231674 562 0 0 20 0 1 0 247554043 2238705664 128743 33554432000 4194304 5849940 140730440416480 140730440415480 5339222 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28164096 140730440422582 140730440422660 140730440422660 140730440425418 0
/proc/19764/statm: 546559 128743 750 405 0 543503 0
Current children cumulated CPU time: 2322.36 s
Current children cumulated vsize: 2186236 KiB
Current children cumulated memory: 514972 KiB
[startup+2382.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/188 19916
/proc/meminfo: memFree=28562788/32770624 swapFree=67030680/67108860
[pid=19764] ppid=19761 vsize=2186236 memory=514972 CPUtime=2382.37 cores=0,2,4,6
/proc/19764/stat : 19764 (xcsp_picat) R 19761 19764 18952 0 -1 4202496 606322 0 0 0 237659 578 0 0 20 0 1 0 247554043 2238705664 128743 33554432000 4194304 5849940 140730440416480 140730440415480 139796327714695 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28164096 140730440422582 140730440422660 140730440422660 140730440425418 0
/proc/19764/statm: 546559 128743 750 405 0 543503 0
Current children cumulated CPU time: 2382.37 s
Current children cumulated vsize: 2186236 KiB
Current children cumulated memory: 514972 KiB
[startup+2442.3 s]
/proc/loadavg: 2.01 2.07 2.06 3/188 19917
/proc/meminfo: memFree=28560740/32770624 swapFree=67030680/67108860
[pid=19764] ppid=19761 vsize=2186236 memory=514972 CPUtime=2442.36 cores=0,2,4,6
/proc/19764/stat : 19764 (xcsp_picat) R 19761 19764 18952 0 -1 4202496 625341 0 0 0 243640 596 0 0 20 0 1 0 247554043 2238705664 128743 33554432000 4194304 5849940 140730440416480 140730440414968 4213516 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28164096 140730440422582 140730440422660 140730440422660 140730440425418 0
/proc/19764/statm: 546559 128743 750 405 0 543503 0
Current children cumulated CPU time: 2442.36 s
Current children cumulated vsize: 2186236 KiB
Current children cumulated memory: 514972 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 19918
/proc/meminfo: memFree=28561004/32770624 swapFree=67030680/67108860
[pid=19764] ppid=19761 vsize=2186236 memory=514972 CPUtime=2502.37 cores=0,2,4,6
/proc/19764/stat : 19764 (xcsp_picat) R 19761 19764 18952 0 -1 4202496 644563 0 0 0 249628 609 0 0 20 0 1 0 247554043 2238705664 128743 33554432000 4194304 5849940 140730440416480 140730440415352 5435467 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28164096 140730440422582 140730440422660 140730440422660 140730440425418 0
/proc/19764/statm: 546559 128743 750 405 0 543503 0
Current children cumulated CPU time: 2502.37 s
Current children cumulated vsize: 2186236 KiB
Current children cumulated memory: 514972 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.07 2.07 2.06 3/187 19918
/proc/meminfo: memFree=28560508/32770624 swapFree=67030680/67108860
[pid=19764] ppid=19761 vsize=2186236 memory=514972 CPUtime=2520.08 cores=0,2,4,6
/proc/19764/stat : 19764 (xcsp_picat) R 19761 19764 18952 0 -1 4202496 657889 0 0 0 251395 613 0 0 20 0 1 0 247554043 2238705664 128743 33554432000 4194304 5849940 140730440416480 140730440415480 5437784 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28164096 140730440422582 140730440422660 140730440422660 140730440425418 0
/proc/19764/statm: 546559 128743 750 405 0 543503 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 2186236 KiB
Current children cumulated memory: 514972 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 19764 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.96 s, system=6.14021 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.1
CPU user time (s): 2513.96
CPU system time (s): 6.14021
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2252344
Max. memory (cumulated for all children) (KiB): 581016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.96
system time used= 6.14021
maximum resident set size= 581016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 657889
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= 16
involuntary context switches= 791
# summary of solver processes directly reported to runsolver:
# pid: 19764
# total CPU time (s): 2520.1
# total CPU user time (s): 2513.96
# total CPU system time (s): 6.14021
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.81543 second user time and 18.5337 second system time
The end