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 (11025 MiB free)
memory of node 1: 16384 MiB (13112 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309731-1534314858/watcher-4309731-1534314858 -o /tmp/evaluation-result-4309731-1534314858/solver-4309731-1534314858 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534293327-697 --watchdog 2580 xcsp_picat HOME/instance-4309731-1534314858.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=3814, runsolver pid=3811
[startup+0.100471 s]*
/proc/loadavg: 2.02 2.10 2.08 3/192 3815
/proc/meminfo: memFree=24698004/32770624 swapFree=67108856/67108860
[pid=3814] ppid=3811 vsize=2025744 memory=23860 CPUtime=0.1 cores=1,3,5,7
/proc/3814/stat : 3814 (xcsp_picat) R 3811 3814 665 0 -1 4202496 1529 0 0 0 10 0 0 0 20 0 1 0 249048935 2074361856 5965 33554432000 4194304 5849940 140732146368880 140732146368248 4465825 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30601216 140732146373814 140732146373892 140732146373892 140732146376650 0
/proc/3814/statm: 506436 5965 615 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 23860 KiB
[startup+0.209923 s]*
/proc/loadavg: 2.02 2.10 2.08 3/192 3815
/proc/meminfo: memFree=24671856/32770624 swapFree=67108856/67108860
[pid=3814] ppid=3811 vsize=2026024 memory=47976 CPUtime=0.2 cores=1,3,5,7
/proc/3814/stat : 3814 (xcsp_picat) R 3811 3814 665 0 -1 4202496 1965 0 0 0 20 0 0 0 20 0 1 0 249048935 2074648576 11994 33554432000 4194304 5849940 140732146368880 140732146368248 139919271374727 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30601216 140732146373814 140732146373892 140732146373892 140732146376650 0
/proc/3814/statm: 506506 11994 678 405 0 503450 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2026024 KiB
Current children cumulated memory: 47976 KiB
[startup+0.309664 s]*
/proc/loadavg: 2.02 2.10 2.08 3/192 3815
/proc/meminfo: memFree=24671484/32770624 swapFree=67108856/67108860
[pid=3814] ppid=3811 vsize=2026564 memory=48436 CPUtime=0.3 cores=1,3,5,7
/proc/3814/stat : 3814 (xcsp_picat) R 3811 3814 665 0 -1 4202496 2127 0 0 0 30 0 0 0 20 0 1 0 249048935 2075201536 12109 33554432000 4194304 5849940 140732146368880 140732146368248 139919271374727 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30601216 140732146373814 140732146373892 140732146373892 140732146376650 0
/proc/3814/statm: 506641 12109 679 405 0 503585 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2026564 KiB
Current children cumulated memory: 48436 KiB
[startup+0.700229 s]
/proc/loadavg: 2.02 2.10 2.08 3/192 3815
/proc/meminfo: memFree=24670368/32770624 swapFree=67108856/67108860
[pid=3814] ppid=3811 vsize=2027844 memory=49720 CPUtime=0.69 cores=1,3,5,7
/proc/3814/stat : 3814 (xcsp_picat) R 3811 3814 665 0 -1 4202496 2447 0 0 0 68 1 0 0 20 0 1 0 249048935 2076512256 12430 33554432000 4194304 5849940 140732146368880 140732146368248 139919271374727 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30601216 140732146373814 140732146373892 140732146373892 140732146376650 0
/proc/3814/statm: 506961 12430 679 405 0 503905 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2027844 KiB
Current children cumulated memory: 49720 KiB
[startup+1.50026 s]
/proc/loadavg: 2.02 2.10 2.08 3/192 3815
/proc/meminfo: memFree=24668880/32770624 swapFree=67108856/67108860
[pid=3814] ppid=3811 vsize=2031548 memory=53548 CPUtime=1.49 cores=1,3,5,7
/proc/3814/stat : 3814 (xcsp_picat) R 3811 3814 665 0 -1 4202496 3529 0 0 0 147 2 0 0 20 0 1 0 249048935 2080305152 13387 33554432000 4194304 5849940 140732146368880 140732146367752 5356147 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30601216 140732146373814 140732146373892 140732146373892 140732146376650 0
/proc/3814/statm: 507887 13387 698 405 0 504831 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031548 KiB
Current children cumulated memory: 53548 KiB
[startup+3.10923 s]
/proc/loadavg: 2.02 2.10 2.08 3/192 3815
/proc/meminfo: memFree=24665904/32770624 swapFree=67108856/67108860
[pid=3814] ppid=3811 vsize=2031692 memory=53864 CPUtime=3.1 cores=1,3,5,7
/proc/3814/stat : 3814 (xcsp_picat) R 3811 3814 665 0 -1 4202496 4467 0 0 0 308 2 0 0 20 0 1 0 249048935 2080452608 13466 33554432000 4194304 5849940 140732146368880 140732146366728 4211671 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30601216 140732146373814 140732146373892 140732146373892 140732146376650 0
/proc/3814/statm: 507923 13466 706 405 0 504867 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2031692 KiB
Current children cumulated memory: 53864 KiB
[startup+6.30022 s]
/proc/loadavg: 1.94 2.08 2.07 3/192 3815
/proc/meminfo: memFree=24663900/32770624 swapFree=67108856/67108860
[pid=3814] ppid=3811 vsize=2031692 memory=53864 CPUtime=6.29 cores=1,3,5,7
/proc/3814/stat : 3814 (xcsp_picat) R 3811 3814 665 0 -1 4202496 5131 0 0 0 627 2 0 0 20 0 1 0 249048935 2080452608 13466 33554432000 4194304 5849940 140732146368880 140732146366728 4211671 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30601216 140732146373814 140732146373892 140732146373892 140732146376650 0
/proc/3814/statm: 507923 13466 706 405 0 504867 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2031692 KiB
Current children cumulated memory: 53864 KiB
[startup+12.7002 s]
/proc/loadavg: 1.95 2.08 2.07 3/192 3815
/proc/meminfo: memFree=24638836/32770624 swapFree=67108856/67108860
[pid=3814] ppid=3811 vsize=2034296 memory=56272 CPUtime=12.68 cores=1,3,5,7
/proc/3814/stat : 3814 (xcsp_picat) R 3811 3814 665 0 -1 4202496 13044 0 0 0 1257 11 0 0 20 0 1 0 249048935 2083119104 14068 33554432000 4194304 5849940 140732146368880 140732146367880 139919271374727 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30601216 140732146373814 140732146373892 140732146373892 140732146376650 0
/proc/3814/statm: 508574 14068 713 405 0 505518 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2034296 KiB
Current children cumulated memory: 56272 KiB
[startup+25.5003 s]
/proc/loadavg: 1.96 2.07 2.07 3/192 3815
/proc/meminfo: memFree=24661192/32770624 swapFree=67108856/67108860
[pid=3814] ppid=3811 vsize=2038788 memory=60928 CPUtime=25.49 cores=1,3,5,7
/proc/3814/stat : 3814 (xcsp_picat) R 3811 3814 665 0 -1 4202496 34396 0 0 0 2509 40 0 0 20 0 1 0 249048935 2087718912 15232 33554432000 4194304 5849940 140732146368880 140732146367880 139919271374727 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30601216 140732146373814 140732146373892 140732146373892 140732146376650 0
/proc/3814/statm: 509697 15232 713 405 0 506641 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2038788 KiB
Current children cumulated memory: 60928 KiB
[startup+51.1095 s]
/proc/loadavg: 1.97 2.07 2.07 3/190 3815
/proc/meminfo: memFree=24619868/32770624 swapFree=67108856/67108860
[pid=3814] ppid=3811 vsize=2047556 memory=69508 CPUtime=51.09 cores=1,3,5,7
/proc/3814/stat : 3814 (xcsp_picat) R 3811 3814 665 0 -1 4202496 58369 0 0 0 5029 80 0 0 20 0 1 0 249048935 2096697344 17377 33554432000 4194304 5849940 140732146368880 140732146367880 139919271374727 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30601216 140732146373814 140732146373892 140732146373892 140732146376650 0
/proc/3814/statm: 511889 17377 713 405 0 508833 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2047556 KiB
Current children cumulated memory: 69508 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.06 2.06 3/190 3816
/proc/meminfo: memFree=24607824/32770624 swapFree=67108856/67108860
[pid=3814] ppid=3811 vsize=2051948 memory=74140 CPUtime=102.29 cores=1,3,5,7
/proc/3814/stat : 3814 (xcsp_picat) R 3811 3814 665 0 -1 4202496 98540 0 0 0 10077 152 0 0 20 0 1 0 249048935 2101194752 18535 33554432000 4194304 5849940 140732146368880 140732146367880 139919271374727 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30601216 140732146373814 140732146373892 140732146373892 140732146376650 0
/proc/3814/statm: 512987 18535 713 405 0 509931 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2051948 KiB
Current children cumulated memory: 74140 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/190 3817
/proc/meminfo: memFree=24566920/32770624 swapFree=67108856/67108860
[pid=3814] ppid=3811 vsize=2055932 memory=78068 CPUtime=162.28 cores=1,3,5,7
/proc/3814/stat : 3814 (xcsp_picat) R 3811 3814 665 0 -1 4202496 138092 0 0 0 15993 235 0 0 20 0 1 0 249048935 2105274368 19517 33554432000 4194304 5849940 140732146368880 140732146367880 139919271374727 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30601216 140732146373814 140732146373892 140732146373892 140732146376650 0
/proc/3814/statm: 513983 19517 713 405 0 510927 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2055932 KiB
Current children cumulated memory: 78068 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/190 3818
/proc/meminfo: memFree=24568700/32770624 swapFree=67108856/67108860
[pid=3814] ppid=3811 vsize=2053860 memory=76100 CPUtime=222.28 cores=1,3,5,7
/proc/3814/stat : 3814 (xcsp_picat) R 3811 3814 665 0 -1 4202496 171856 0 0 0 21919 309 0 0 20 0 1 0 249048935 2103152640 19025 33554432000 4194304 5849940 140732146368880 140732146367880 139919271374727 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30601216 140732146373814 140732146373892 140732146373892 140732146376650 0
/proc/3814/statm: 513465 19025 713 405 0 510409 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2053860 KiB
Current children cumulated memory: 76100 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/190 3819
/proc/meminfo: memFree=24564520/32770624 swapFree=67108856/67108860
[pid=3814] ppid=3811 vsize=2059624 memory=81888 CPUtime=282.28 cores=1,3,5,7
/proc/3814/stat : 3814 (xcsp_picat) R 3811 3814 665 0 -1 4202496 201331 0 0 0 27843 385 0 0 20 0 1 0 249048935 2109054976 20472 33554432000 4194304 5849940 140732146368880 140732146367880 139919271374727 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30601216 140732146373814 140732146373892 140732146373892 140732146376650 0
/proc/3814/statm: 514906 20472 713 405 0 511850 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2059624 KiB
Current children cumulated memory: 81888 KiB
[startup+342.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/190 3820
/proc/meminfo: memFree=24538260/32770624 swapFree=67108856/67108860
[pid=3814] ppid=3811 vsize=2070056 memory=92192 CPUtime=342.28 cores=1,3,5,7
/proc/3814/stat : 3814 (xcsp_picat) R 3811 3814 665 0 -1 4202496 230083 0 0 0 33776 452 0 0 20 0 1 0 249048935 2119737344 23048 33554432000 4194304 5849940 140732146368880 140732146367880 139919271374727 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30601216 140732146373814 140732146373892 140732146373892 140732146376650 0
/proc/3814/statm: 517514 23048 713 405 0 514458 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2070056 KiB
Current children cumulated memory: 92192 KiB
[startup+402.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/191 3829
/proc/meminfo: memFree=24472752/32770624 swapFree=67108856/67108860
[pid=3814] ppid=3811 vsize=2066728 memory=88908 CPUtime=402.28 cores=1,3,5,7
/proc/3814/stat : 3814 (xcsp_picat) R 3811 3814 665 0 -1 4202496 251996 0 0 0 39720 508 0 0 20 0 1 0 249048935 2116329472 22227 33554432000 4194304 5849940 140732146368880 140732146367880 139919271374727 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30601216 140732146373814 140732146373892 140732146373892 140732146376650 0
/proc/3814/statm: 516682 22227 713 405 0 513626 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2066728 KiB
Current children cumulated memory: 88908 KiB
[startup+462.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/191 3830
/proc/meminfo: memFree=24466036/32770624 swapFree=67108856/67108860
[pid=3814] ppid=3811 vsize=2073528 memory=95664 CPUtime=462.28 cores=1,3,5,7
/proc/3814/stat : 3814 (xcsp_picat) R 3811 3814 665 0 -1 4202496 272694 0 0 0 45662 566 0 0 20 0 1 0 249048935 2123292672 23916 33554432000 4194304 5849940 140732146368880 140732146367880 139919271374727 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30601216 140732146373814 140732146373892 140732146373892 140732146376650 0
/proc/3814/statm: 518382 23916 713 405 0 515326 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 2073528 KiB
Current children cumulated memory: 95664 KiB
################
# More data... #
################
/proc/3814/statm: 534883 41278 713 405 0 531827 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 2139532 KiB
Current children cumulated memory: 165112 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 3894
/proc/meminfo: memFree=24303732/32770624 swapFree=67108856/67108860
[pid=3814] ppid=3811 vsize=2120024 memory=145656 CPUtime=1782.24 cores=1,3,5,7
/proc/3814/stat : 3814 (xcsp_picat) R 3811 3814 665 0 -1 4202496 652872 0 0 0 176629 1595 0 0 20 0 1 0 249048935 2170904576 36414 33554432000 4194304 5849940 140732146368880 140732146367880 5437906 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30601216 140732146373814 140732146373892 140732146373892 140732146376650 0
/proc/3814/statm: 530006 36414 713 405 0 526950 0
Current children cumulated CPU time: 1782.24 s
Current children cumulated vsize: 2120024 KiB
Current children cumulated memory: 145656 KiB
[startup+1842.3 s]
/proc/loadavg: 2.49 2.14 2.08 3/191 3895
/proc/meminfo: memFree=24262224/32770624 swapFree=67108856/67108860
[pid=3814] ppid=3811 vsize=2144272 memory=169888 CPUtime=1842.24 cores=1,3,5,7
/proc/3814/stat : 3814 (xcsp_picat) R 3811 3814 665 0 -1 4202496 657588 0 0 0 182602 1622 0 0 20 0 1 0 249048935 2195734528 42472 33554432000 4194304 5849940 140732146368880 140732146367880 5438033 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30601216 140732146373814 140732146373892 140732146373892 140732146376650 0
/proc/3814/statm: 536068 42472 713 405 0 533012 0
Current children cumulated CPU time: 1842.24 s
Current children cumulated vsize: 2144272 KiB
Current children cumulated memory: 169888 KiB
[startup+1902.3 s]
/proc/loadavg: 2.25 2.14 2.09 3/190 3896
/proc/meminfo: memFree=24301408/32770624 swapFree=67108856/67108860
[pid=3814] ppid=3811 vsize=2169828 memory=195460 CPUtime=1902.24 cores=1,3,5,7
/proc/3814/stat : 3814 (xcsp_picat) R 3811 3814 665 0 -1 4202496 674426 0 0 0 188585 1639 0 0 20 0 1 0 249048935 2221903872 48865 33554432000 4194304 5849940 140732146368880 140732146367880 5437906 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30601216 140732146373814 140732146373892 140732146373892 140732146376650 0
/proc/3814/statm: 542457 48865 713 405 0 539401 0
Current children cumulated CPU time: 1902.24 s
Current children cumulated vsize: 2169828 KiB
Current children cumulated memory: 195460 KiB
[startup+1962.3 s]
/proc/loadavg: 2.09 2.12 2.08 3/190 3897
/proc/meminfo: memFree=24271628/32770624 swapFree=67108856/67108860
[pid=3814] ppid=3811 vsize=2199744 memory=225376 CPUtime=1962.23 cores=1,3,5,7
/proc/3814/stat : 3814 (xcsp_picat) R 3811 3814 665 0 -1 4202496 675472 0 0 0 194569 1654 0 0 20 0 1 0 249048935 2252537856 56344 33554432000 4194304 5849940 140732146368880 140732146367880 5437906 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30601216 140732146373814 140732146373892 140732146373892 140732146376650 0
/proc/3814/statm: 549936 56344 713 405 0 546880 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 2199744 KiB
Current children cumulated memory: 225376 KiB
[startup+2022.3 s]
/proc/loadavg: 2.03 2.09 2.08 3/190 3898
/proc/meminfo: memFree=24203668/32770624 swapFree=67108856/67108860
[pid=3814] ppid=3811 vsize=2232512 memory=258144 CPUtime=2022.23 cores=1,3,5,7
/proc/3814/stat : 3814 (xcsp_picat) R 3811 3814 665 0 -1 4202496 696446 0 0 0 200552 1671 0 0 20 0 1 0 249048935 2286092288 64536 33554432000 4194304 5849940 140732146368880 140732146367880 5437906 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30601216 140732146373814 140732146373892 140732146373892 140732146376650 0
/proc/3814/statm: 558128 64536 713 405 0 555072 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 2232512 KiB
Current children cumulated memory: 258144 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/190 3899
/proc/meminfo: memFree=24285724/32770624 swapFree=67108856/67108860
[pid=3814] ppid=3811 vsize=2149684 memory=175316 CPUtime=2082.24 cores=1,3,5,7
/proc/3814/stat : 3814 (xcsp_picat) R 3811 3814 665 0 -1 4202496 701376 0 0 0 206537 1687 0 0 20 0 1 0 249048935 2201276416 43829 33554432000 4194304 5849940 140732146368880 140732146367880 139919271374727 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30601216 140732146373814 140732146373892 140732146373892 140732146376650 0
/proc/3814/statm: 537421 43829 713 405 0 534365 0
Current children cumulated CPU time: 2082.24 s
Current children cumulated vsize: 2149684 KiB
Current children cumulated memory: 175316 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/190 3900
/proc/meminfo: memFree=24269200/32770624 swapFree=67108856/67108860
[pid=3814] ppid=3811 vsize=2166908 memory=192540 CPUtime=2142.24 cores=1,3,5,7
/proc/3814/stat : 3814 (xcsp_picat) R 3811 3814 665 0 -1 4202496 715659 0 0 0 212514 1710 0 0 20 0 1 0 249048935 2218913792 48135 33554432000 4194304 5849940 140732146368880 140732146367880 5437808 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30601216 140732146373814 140732146373892 140732146373892 140732146376650 0
/proc/3814/statm: 541727 48135 713 405 0 538671 0
Current children cumulated CPU time: 2142.24 s
Current children cumulated vsize: 2166908 KiB
Current children cumulated memory: 192540 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/191 3909
/proc/meminfo: memFree=24174368/32770624 swapFree=67108856/67108860
[pid=3814] ppid=3811 vsize=2168440 memory=194072 CPUtime=2202.24 cores=1,3,5,7
/proc/3814/stat : 3814 (xcsp_picat) R 3811 3814 665 0 -1 4202496 718556 0 0 0 218495 1729 0 0 20 0 1 0 249048935 2220482560 48518 33554432000 4194304 5849940 140732146368880 140732146367880 5438372 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30601216 140732146373814 140732146373892 140732146373892 140732146376650 0
/proc/3814/statm: 542110 48518 713 405 0 539054 0
Current children cumulated CPU time: 2202.24 s
Current children cumulated vsize: 2168440 KiB
Current children cumulated memory: 194072 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/191 4031
/proc/meminfo: memFree=24433008/32770624 swapFree=67108856/67108860
[pid=3814] ppid=3811 vsize=2232976 memory=258608 CPUtime=2262.24 cores=1,3,5,7
/proc/3814/stat : 3814 (xcsp_picat) R 3811 3814 665 0 -1 4202496 739122 0 0 0 224477 1747 0 0 20 0 1 0 249048935 2286567424 64652 33554432000 4194304 5849940 140732146368880 140732146367880 5437819 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30601216 140732146373814 140732146373892 140732146373892 140732146376650 0
/proc/3814/statm: 558244 64652 713 405 0 555188 0
Current children cumulated CPU time: 2262.24 s
Current children cumulated vsize: 2232976 KiB
Current children cumulated memory: 258608 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/191 4032
/proc/meminfo: memFree=24389340/32770624 swapFree=67108856/67108860
[pid=3814] ppid=3811 vsize=2275484 memory=301068 CPUtime=2322.24 cores=1,3,5,7
/proc/3814/stat : 3814 (xcsp_picat) R 3811 3814 665 0 -1 4202496 742883 0 0 0 230465 1759 0 0 20 0 1 0 249048935 2330095616 75267 33554432000 4194304 5849940 140732146368880 140732146367880 5437906 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30601216 140732146373814 140732146373892 140732146373892 140732146376650 0
/proc/3814/statm: 568871 75267 713 405 0 565815 0
Current children cumulated CPU time: 2322.24 s
Current children cumulated vsize: 2275484 KiB
Current children cumulated memory: 301068 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 4033
/proc/meminfo: memFree=24387100/32770624 swapFree=67108856/67108860
[pid=3814] ppid=3811 vsize=2275484 memory=301116 CPUtime=2382.24 cores=1,3,5,7
/proc/3814/stat : 3814 (xcsp_picat) R 3811 3814 665 0 -1 4202496 767081 0 0 0 236450 1774 0 0 20 0 1 0 249048935 2330095616 75279 33554432000 4194304 5849940 140732146368880 140732146367880 5437906 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30601216 140732146373814 140732146373892 140732146373892 140732146376650 0
/proc/3814/statm: 568871 75279 713 405 0 565815 0
Current children cumulated CPU time: 2382.24 s
Current children cumulated vsize: 2275484 KiB
Current children cumulated memory: 301116 KiB
[startup+2442.3 s]
/proc/loadavg: 2.40 2.12 2.08 3/191 4034
/proc/meminfo: memFree=24384504/32770624 swapFree=67108856/67108860
[pid=3814] ppid=3811 vsize=2275484 memory=301116 CPUtime=2442.24 cores=1,3,5,7
/proc/3814/stat : 3814 (xcsp_picat) R 3811 3814 665 0 -1 4202496 794373 0 0 0 242438 1786 0 0 20 0 1 0 249048935 2330095616 75279 33554432000 4194304 5849940 140732146368880 140732146367880 5437819 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30601216 140732146373814 140732146373892 140732146373892 140732146376650 0
/proc/3814/statm: 568871 75279 713 405 0 565815 0
Current children cumulated CPU time: 2442.24 s
Current children cumulated vsize: 2275484 KiB
Current children cumulated memory: 301116 KiB
[startup+2502.3 s]
/proc/loadavg: 2.25 2.14 2.09 3/190 4035
/proc/meminfo: memFree=24384688/32770624 swapFree=67108856/67108860
[pid=3814] ppid=3811 vsize=2275484 memory=301116 CPUtime=2502.24 cores=1,3,5,7
/proc/3814/stat : 3814 (xcsp_picat) R 3811 3814 665 0 -1 4202496 821235 0 0 0 248426 1798 0 0 20 0 1 0 249048935 2330095616 75279 33554432000 4194304 5849940 140732146368880 140732146367880 5438016 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30601216 140732146373814 140732146373892 140732146373892 140732146376650 0
/proc/3814/statm: 568871 75279 713 405 0 565815 0
Current children cumulated CPU time: 2502.24 s
Current children cumulated vsize: 2275484 KiB
Current children cumulated memory: 301116 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.18 2.13 2.08 3/190 4035
/proc/meminfo: memFree=24383928/32770624 swapFree=67108856/67108860
[pid=3814] ppid=3811 vsize=2275484 memory=301116 CPUtime=2519.95 cores=1,3,5,7
/proc/3814/stat : 3814 (xcsp_picat) R 3811 3814 665 0 -1 4202496 824390 0 0 0 250193 1802 0 0 20 0 1 0 249048935 2330095616 75279 33554432000 4194304 5849940 140732146368880 140732146367880 5437906 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 30601216 140732146373814 140732146373892 140732146373892 140732146376650 0
/proc/3814/statm: 568871 75279 713 405 0 565815 0
Current children cumulated CPU time: 2519.95 s
Current children cumulated vsize: 2275484 KiB
Current children cumulated memory: 301116 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 3814 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2501.93 s, system=18.0338 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.97
CPU user time (s): 2501.93
CPU system time (s): 18.0338
CPU usage (%): 99.998
Max. virtual memory (cumulated for all children) (KiB): 2275484
Max. memory (cumulated for all children) (KiB): 301116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2501.93
system time used= 18.0338
maximum resident set size= 301116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 824391
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= 14
involuntary context switches= 1137
# summary of solver processes directly reported to runsolver:
# pid: 3814
# total CPU time (s): 2519.97
# total CPU user time (s): 2501.93
# total CPU system time (s): 18.0338
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.21143 second user time and 19.6564 second system time
The end