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 (1224 MiB free)
memory of node 1: 16384 MiB (2968 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302997-1534011620/watcher-4302997-1534011620 -o /tmp/evaluation-result-4302997-1534011620/solver-4302997-1534011620 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1533993481-21560 --watchdog 2580 xcsp_picat HOME/instance-4302997-1534011620.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=23819, runsolver pid=23816
Current StackSize limit: 8192 KiB
[startup+0.100173 s]*
/proc/loadavg: 2.00 2.00 2.04 3/188 23820
/proc/meminfo: memFree=4272844/32770624 swapFree=67108796/67108860
[pid=23819] ppid=23816 vsize=2025744 memory=27500 CPUtime=0.1 cores=1,3,5,7
/proc/23819/stat : 23819 (xcsp_picat) R 23816 23819 21527 0 -1 4202496 1918 0 0 0 10 0 0 0 20 0 1 0 218725144 2074361856 6875 33554432000 4194304 5849708 140731130940464 140731130940464 4488834 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 30617600 140731130942646 140731130942724 140731130942724 140731130945482 0
/proc/23819/statm: 506436 6875 609 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 27500 KiB
[startup+0.209804 s]*
/proc/loadavg: 2.00 2.00 2.04 3/188 23820
/proc/meminfo: memFree=4252068/32770624 swapFree=67108796/67108860
[pid=23819] ppid=23816 vsize=2025744 memory=45932 CPUtime=0.21 cores=1,3,5,7
/proc/23819/stat : 23819 (xcsp_picat) R 23816 23819 21527 0 -1 4202496 1927 0 0 0 21 0 0 0 20 0 1 0 218725144 2074361856 11483 33554432000 4194304 5849708 140731130940464 140731130940464 4539685 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 30617600 140731130942646 140731130942724 140731130942724 140731130945482 0
/proc/23819/statm: 506436 11483 609 405 0 503381 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 45932 KiB
[startup+0.309757 s]*
/proc/loadavg: 2.00 2.00 2.04 3/188 23820
/proc/meminfo: memFree=4233512/32770624 swapFree=67108796/67108860
[pid=23819] ppid=23816 vsize=2025744 memory=62316 CPUtime=0.31 cores=1,3,5,7
/proc/23819/stat : 23819 (xcsp_picat) R 23816 23819 21527 0 -1 4202496 1935 0 0 0 30 1 0 0 20 0 1 0 218725144 2074361856 15579 33554432000 4194304 5849708 140731130940464 140731130940464 4468681 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 30617600 140731130942646 140731130942724 140731130942724 140731130945482 0
/proc/23819/statm: 506436 15579 609 405 0 503381 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 62316 KiB
[startup+0.700403 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 23820
/proc/meminfo: memFree=4198696/32770624 swapFree=67108796/67108860
[pid=23819] ppid=23816 vsize=2025744 memory=129900 CPUtime=0.69 cores=1,3,5,7
/proc/23819/stat : 23819 (xcsp_picat) R 23816 23819 21527 0 -1 4202496 1968 0 0 0 68 1 0 0 20 0 1 0 218725144 2074361856 32475 33554432000 4194304 5849708 140731130940464 140731130939768 4548541 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 30617600 140731130942646 140731130942724 140731130942724 140731130945482 0
/proc/23819/statm: 506436 32475 609 405 0 503381 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 129900 KiB
[startup+1.50039 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 23820
/proc/meminfo: memFree=4110384/32770624 swapFree=67108796/67108860
[pid=23819] ppid=23816 vsize=2025744 memory=264404 CPUtime=1.49 cores=1,3,5,7
/proc/23819/stat : 23819 (xcsp_picat) R 23816 23819 21527 0 -1 4202496 20280 0 0 0 142 7 0 0 20 0 1 0 218725144 2074361856 66101 33554432000 4194304 5849708 140731130940464 140731130939768 4657595 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 30617600 140731130942646 140731130942724 140731130942724 140731130945482 0
/proc/23819/statm: 506436 66101 618 405 0 503381 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 264404 KiB
[startup+3.10969 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 23820
/proc/meminfo: memFree=3792208/32770624 swapFree=67108796/67108860
[pid=23819] ppid=23816 vsize=2025744 memory=523632 CPUtime=3.1 cores=1,3,5,7
/proc/23819/stat : 23819 (xcsp_picat) R 23816 23819 21527 0 -1 4202496 66749 0 0 0 283 27 0 0 20 0 1 0 218725144 2074361856 130908 33554432000 4194304 5849708 140731130940464 140731130939768 4516943 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 30617600 140731130942646 140731130942724 140731130942724 140731130945482 0
/proc/23819/statm: 506436 130908 618 405 0 503381 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 523632 KiB
[startup+6.30038 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 23820
/proc/meminfo: memFree=3579652/32770624 swapFree=67108796/67108860
[pid=23819] ppid=23816 vsize=2056996 memory=1048376 CPUtime=6.29 cores=1,3,5,7
/proc/23819/stat : 23819 (xcsp_picat) R 23816 23819 21527 0 -1 4202496 77180 0 0 0 570 59 0 0 20 0 1 0 218725144 2106363904 262094 33554432000 4194304 5849708 140731130940464 140731130939768 4468523 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 30617600 140731130942646 140731130942724 140731130942724 140731130945482 0
/proc/23819/statm: 514249 262094 618 405 0 511194 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2056996 KiB
Current children cumulated memory: 1048376 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 23820
/proc/meminfo: memFree=2410300/32770624 swapFree=67108796/67108860
[pid=23819] ppid=23816 vsize=2119496 memory=1903076 CPUtime=12.68 cores=1,3,5,7
/proc/23819/stat : 23819 (xcsp_picat) R 23816 23819 21527 0 -1 4202496 100952 0 0 0 1165 103 0 0 20 0 1 0 218725144 2170363904 475769 33554432000 4194304 5849708 140731130940464 140731130939768 4458050 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 30617600 140731130942646 140731130942724 140731130942724 140731130945482 0
/proc/23819/statm: 529874 475769 618 405 0 526819 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2119496 KiB
Current children cumulated memory: 1903076 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 23820
/proc/meminfo: memFree=2241952/32770624 swapFree=67108796/67108860
[pid=23819] ppid=23816 vsize=2244496 memory=2009556 CPUtime=25.49 cores=1,3,5,7
/proc/23819/stat : 23819 (xcsp_picat) R 23816 23819 21527 0 -1 4202496 153662 0 0 0 2433 116 0 0 20 0 1 0 218725144 2298363904 502389 33554432000 4194304 5849708 140731130940464 140731130939656 4488955 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 30617600 140731130942646 140731130942724 140731130942724 140731130945482 0
/proc/23819/statm: 561124 502389 633 405 0 558069 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2244496 KiB
Current children cumulated memory: 2009556 KiB
[startup+51.1097 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 23820
/proc/meminfo: memFree=1484344/32770624 swapFree=67108796/67108860
[pid=23819] ppid=23816 vsize=2887900 memory=2768688 CPUtime=51.09 cores=1,3,5,7
/proc/23819/stat : 23819 (xcsp_picat) R 23816 23819 21527 0 -1 4202496 435574 0 0 0 4937 172 0 0 20 0 1 0 218725144 2957209600 692172 33554432000 4194304 5849708 140731130940464 140731130939784 5250275 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 30617600 140731130942646 140731130942724 140731130942724 140731130945482 0
/proc/23819/statm: 721975 692172 650 405 0 718920 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2887900 KiB
Current children cumulated memory: 2768688 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 23821
/proc/meminfo: memFree=1394020/32770624 swapFree=67108796/67108860
[pid=23819] ppid=23816 vsize=2887900 memory=2771304 CPUtime=102.29 cores=1,3,5,7
/proc/23819/stat : 23819 (xcsp_picat) R 23816 23819 21527 0 -1 4202496 646382 0 0 0 10048 181 0 0 20 0 1 0 218725144 2957209600 692826 33554432000 4194304 5849708 140731130940464 140731130939784 5249669 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 30617600 140731130942646 140731130942724 140731130942724 140731130945482 0
/proc/23819/statm: 721975 692826 650 405 0 718920 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2887900 KiB
Current children cumulated memory: 2771304 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 23822
/proc/meminfo: memFree=4068876/32770624 swapFree=67108796/67108860
[pid=23819] ppid=23816 vsize=2887900 memory=2771304 CPUtime=162.28 cores=1,3,5,7
/proc/23819/stat : 23819 (xcsp_picat) R 23816 23819 21527 0 -1 4202496 843560 0 0 0 16037 191 0 0 20 0 1 0 218725144 2957209600 692826 33554432000 4194304 5849708 140731130940464 140731130939784 5249692 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 30617600 140731130942646 140731130942724 140731130942724 140731130945482 0
/proc/23819/statm: 721975 692826 650 405 0 718920 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2887900 KiB
Current children cumulated memory: 2771304 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 23823
/proc/meminfo: memFree=1158052/32770624 swapFree=67108796/67108860
[pid=23819] ppid=23816 vsize=3029768 memory=2918332 CPUtime=222.29 cores=1,3,5,7
/proc/23819/stat : 23819 (xcsp_picat) R 23816 23819 21527 0 -1 4202496 1048207 0 0 0 21931 298 0 0 20 0 1 0 218725144 3102482432 729583 33554432000 4194304 5849708 140731130940464 140731130939624 5395647 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 30617600 140731130942646 140731130942724 140731130942724 140731130945482 0
/proc/23819/statm: 757442 729583 703 405 0 754387 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 3029768 KiB
Current children cumulated memory: 2918332 KiB
[startup+282.3 s]
/proc/loadavg: 1.96 1.99 2.03 3/187 23825
/proc/meminfo: memFree=1059820/32770624 swapFree=67108796/67108860
[pid=23819] ppid=23816 vsize=3105804 memory=2994600 CPUtime=282.28 cores=1,3,5,7
/proc/23819/stat : 23819 (xcsp_picat) R 23816 23819 21527 0 -1 4202496 1189117 0 0 0 27814 414 0 0 20 0 1 0 218725144 3180343296 748650 33554432000 4194304 5849708 140731130940464 140731130938360 5319728 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 30617600 140731130942646 140731130942724 140731130942724 140731130945482 0
/proc/23819/statm: 776451 748650 731 405 0 773396 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 3105804 KiB
Current children cumulated memory: 2994600 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/187 23826
/proc/meminfo: memFree=926908/32770624 swapFree=67108796/67108860
[pid=23819] ppid=23816 vsize=3118092 memory=3006924 CPUtime=342.28 cores=1,3,5,7
/proc/23819/stat : 23819 (xcsp_picat) R 23816 23819 21527 0 -1 4202496 1220739 0 0 0 33811 417 0 0 20 0 1 0 218725144 3192926208 751731 33554432000 4194304 5849708 140731130940464 140731130939464 5386176 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 30617600 140731130942646 140731130942724 140731130942724 140731130945482 0
/proc/23819/statm: 779523 751731 731 405 0 776468 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 3118092 KiB
Current children cumulated memory: 3006924 KiB
[startup+402.3 s]
/proc/loadavg: 2.07 2.00 2.04 3/187 23827
/proc/meminfo: memFree=707240/32770624 swapFree=67108796/67108860
[pid=23819] ppid=23816 vsize=3265748 memory=3154460 CPUtime=402.28 cores=1,3,5,7
/proc/23819/stat : 23819 (xcsp_picat) R 23816 23819 21527 0 -1 4202496 1373106 0 0 0 39793 435 0 0 20 0 1 0 218725144 3344125952 788615 33554432000 4194304 5849708 140731130940464 140731130939464 5386288 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 30617600 140731130942646 140731130942724 140731130942724 140731130945482 0
/proc/23819/statm: 816437 788615 733 405 0 813382 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 3265748 KiB
Current children cumulated memory: 3154460 KiB
[startup+462.3 s]
/proc/loadavg: 2.37 2.08 2.07 3/187 23829
/proc/meminfo: memFree=480288/32770624 swapFree=67108796/67108860
[pid=23819] ppid=23816 vsize=3476100 memory=3364940 CPUtime=462.28 cores=1,3,5,7
/proc/23819/stat : 23819 (xcsp_picat) R 23816 23819 21527 0 -1 4202496 1666536 0 0 0 45753 475 0 0 20 0 1 0 218725144 3559526400 841235 33554432000 4194304 5849708 140731130940464 140731130939464 5386176 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 30617600 140731130942646 140731130942724 140731130942724 140731130945482 0
/proc/23819/statm: 869025 841235 733 405 0 865970 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 3476100 KiB
Current children cumulated memory: 3364940 KiB
################
# More data... #
################
/proc/23819/statm: 891939 864159 743 405 0 888884 0
Current children cumulated CPU time: 1722.21 s
Current children cumulated vsize: 3567756 KiB
Current children cumulated memory: 3456636 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/187 23873
/proc/meminfo: memFree=321880/32770624 swapFree=67108796/67108860
[pid=23819] ppid=23816 vsize=3501196 memory=3390076 CPUtime=1782.21 cores=1,3,5,7
/proc/23819/stat : 23819 (xcsp_picat) R 23816 23819 21527 0 -1 4202496 5647159 0 0 0 176907 1314 0 0 20 0 1 0 218725144 3585224704 847519 33554432000 4194304 5849708 140731130940464 140731130938952 4234775 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 30617600 140731130942646 140731130942724 140731130942724 140731130945482 0
/proc/23819/statm: 875299 847519 743 405 0 872244 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 3501196 KiB
Current children cumulated memory: 3390076 KiB
[startup+1842.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 23874
/proc/meminfo: memFree=5896048/32770624 swapFree=67108796/67108860
[pid=23819] ppid=23816 vsize=3569080 memory=3457960 CPUtime=1842.2 cores=1,3,5,7
/proc/23819/stat : 23819 (xcsp_picat) R 23816 23819 21527 0 -1 4202496 5747234 0 0 0 182884 1336 0 0 20 0 1 0 218725144 3654737920 864490 33554432000 4194304 5849708 140731130940464 140731130939464 5321230 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 30617600 140731130942646 140731130942724 140731130942724 140731130945482 0
/proc/23819/statm: 892270 864490 743 405 0 889215 0
Current children cumulated CPU time: 1842.2 s
Current children cumulated vsize: 3569080 KiB
Current children cumulated memory: 3457960 KiB
[startup+1902.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/187 23875
/proc/meminfo: memFree=191544/32770624 swapFree=67108796/67108860
[pid=23819] ppid=23816 vsize=3581920 memory=3470800 CPUtime=1902.2 cores=1,3,5,7
/proc/23819/stat : 23819 (xcsp_picat) R 23816 23819 21527 0 -1 4202496 5973235 0 0 0 188866 1354 0 0 20 0 1 0 218725144 3667886080 867700 33554432000 4194304 5849708 140731130940464 140731130939464 5335582 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 30617600 140731130942646 140731130942724 140731130942724 140731130945482 0
/proc/23819/statm: 895480 867700 743 405 0 892425 0
Current children cumulated CPU time: 1902.2 s
Current children cumulated vsize: 3581920 KiB
Current children cumulated memory: 3470800 KiB
[startup+1962.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 23936
/proc/meminfo: memFree=13823084/32770624 swapFree=67108796/67108860
[pid=23819] ppid=23816 vsize=3802556 memory=3693100 CPUtime=1962.2 cores=1,3,5,7
/proc/23819/stat : 23819 (xcsp_picat) R 23816 23819 21527 0 -1 4202496 6164201 0 0 0 194845 1375 0 0 20 0 1 0 218725144 3893817344 923275 33554432000 4194304 5849708 140731130940464 140731130939464 140696481083271 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 30617600 140731130942646 140731130942724 140731130942724 140731130945482 0
/proc/23819/statm: 950639 923275 743 405 0 947584 0
Current children cumulated CPU time: 1962.2 s
Current children cumulated vsize: 3802556 KiB
Current children cumulated memory: 3693100 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 23937
/proc/meminfo: memFree=13931144/32770624 swapFree=67108796/67108860
[pid=23819] ppid=23816 vsize=3709076 memory=3599616 CPUtime=2022.19 cores=1,3,5,7
/proc/23819/stat : 23819 (xcsp_picat) R 23816 23819 21527 0 -1 4202496 6359248 0 0 0 200827 1392 0 0 20 0 1 0 218725144 3798093824 899904 33554432000 4194304 5849708 140731130940464 140731130939464 5437835 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 30617600 140731130942646 140731130942724 140731130942724 140731130945482 0
/proc/23819/statm: 927269 899904 743 405 0 924214 0
Current children cumulated CPU time: 2022.19 s
Current children cumulated vsize: 3709076 KiB
Current children cumulated memory: 3599616 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 23939
/proc/meminfo: memFree=13804732/32770624 swapFree=67108796/67108860
[pid=23819] ppid=23816 vsize=3815232 memory=3705776 CPUtime=2082.16 cores=1,3,5,7
/proc/23819/stat : 23819 (xcsp_picat) R 23816 23819 21527 0 -1 4202496 6538738 0 0 0 206808 1408 0 0 20 0 1 0 218725144 3906797568 926444 33554432000 4194304 5849708 140731130940464 140731130938712 5336646 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 30617600 140731130942646 140731130942724 140731130942724 140731130945482 0
/proc/23819/statm: 953808 926444 743 405 0 950753 0
Current children cumulated CPU time: 2082.16 s
Current children cumulated vsize: 3815232 KiB
Current children cumulated memory: 3705776 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23940
/proc/meminfo: memFree=13407772/32770624 swapFree=67108796/67108860
[pid=23819] ppid=23816 vsize=4189604 memory=4080148 CPUtime=2142.16 cores=1,3,5,7
/proc/23819/stat : 23819 (xcsp_picat) R 23816 23819 21527 0 -1 4202496 6760347 0 0 0 212785 1431 0 0 20 0 1 0 218725144 4290154496 1020037 33554432000 4194304 5849708 140731130940464 140731130939464 5385594 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 30617600 140731130942646 140731130942724 140731130942724 140731130945482 0
/proc/23819/statm: 1047401 1020037 743 405 0 1044346 0
Current children cumulated CPU time: 2142.16 s
Current children cumulated vsize: 4189604 KiB
Current children cumulated memory: 4080148 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23941
/proc/meminfo: memFree=13727780/32770624 swapFree=67108796/67108860
[pid=23819] ppid=23816 vsize=3857800 memory=3748344 CPUtime=2202.16 cores=1,3,5,7
/proc/23819/stat : 23819 (xcsp_picat) R 23816 23819 21527 0 -1 4202496 6926122 0 0 0 218769 1447 0 0 20 0 1 0 218725144 3950387200 937086 33554432000 4194304 5849708 140731130940464 140731130939464 5335582 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 30617600 140731130942646 140731130942724 140731130942724 140731130945482 0
/proc/23819/statm: 964450 937086 743 405 0 961395 0
Current children cumulated CPU time: 2202.16 s
Current children cumulated vsize: 3857800 KiB
Current children cumulated memory: 3748344 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23943
/proc/meminfo: memFree=13692448/32770624 swapFree=67108796/67108860
[pid=23819] ppid=23816 vsize=3896312 memory=3786856 CPUtime=2262.15 cores=1,3,5,7
/proc/23819/stat : 23819 (xcsp_picat) R 23816 23819 21527 0 -1 4202496 7076603 0 0 0 224753 1462 0 0 20 0 1 0 218725144 3989823488 946714 33554432000 4194304 5849708 140731130940464 140731130939464 5335582 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 30617600 140731130942646 140731130942724 140731130942724 140731130945482 0
/proc/23819/statm: 974078 946714 743 405 0 971023 0
Current children cumulated CPU time: 2262.15 s
Current children cumulated vsize: 3896312 KiB
Current children cumulated memory: 3786856 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23944
/proc/meminfo: memFree=13642204/32770624 swapFree=67108796/67108860
[pid=23819] ppid=23816 vsize=3930336 memory=3820880 CPUtime=2322.15 cores=1,3,5,7
/proc/23819/stat : 23819 (xcsp_picat) R 23816 23819 21527 0 -1 4202496 7146395 0 0 0 230741 1474 0 0 20 0 1 0 218725144 4024664064 955220 33554432000 4194304 5849708 140731130940464 140731130939464 5438237 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 30617600 140731130942646 140731130942724 140731130942724 140731130945482 0
/proc/23819/statm: 982584 955220 743 405 0 979529 0
Current children cumulated CPU time: 2322.15 s
Current children cumulated vsize: 3930336 KiB
Current children cumulated memory: 3820880 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23953
/proc/meminfo: memFree=13730744/32770624 swapFree=67108796/67108860
[pid=23819] ppid=23816 vsize=3818408 memory=3708952 CPUtime=2382.15 cores=1,3,5,7
/proc/23819/stat : 23819 (xcsp_picat) R 23816 23819 21527 0 -1 4202496 7208951 0 0 0 236736 1479 0 0 20 0 1 0 218725144 3910049792 927238 33554432000 4194304 5849708 140731130940464 140731130938952 4213572 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 30617600 140731130942646 140731130942724 140731130942724 140731130945482 0
/proc/23819/statm: 954602 927238 743 405 0 951547 0
Current children cumulated CPU time: 2382.15 s
Current children cumulated vsize: 3818408 KiB
Current children cumulated memory: 3708952 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23976
/proc/meminfo: memFree=13305696/32770624 swapFree=67108796/67108860
[pid=23819] ppid=23816 vsize=4306496 memory=4197040 CPUtime=2442.14 cores=1,3,5,7
/proc/23819/stat : 23819 (xcsp_picat) R 23816 23819 21527 0 -1 4202496 7365379 0 0 0 242716 1498 0 0 20 0 1 0 218725144 4409851904 1049260 33554432000 4194304 5849708 140731130940464 140731130939464 5390137 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 30617600 140731130942646 140731130942724 140731130942724 140731130945482 0
/proc/23819/statm: 1076624 1049260 743 405 0 1073569 0
Current children cumulated CPU time: 2442.14 s
Current children cumulated vsize: 4306496 KiB
Current children cumulated memory: 4197040 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23977
/proc/meminfo: memFree=13283172/32770624 swapFree=67108796/67108860
[pid=23819] ppid=23816 vsize=4306496 memory=4197040 CPUtime=2502.13 cores=1,3,5,7
/proc/23819/stat : 23819 (xcsp_picat) R 23816 23819 21527 0 -1 4202496 7547955 0 0 0 248702 1511 0 0 20 0 1 0 218725144 4409851904 1049260 33554432000 4194304 5849708 140731130940464 140731130939624 5307322 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 30617600 140731130942646 140731130942724 140731130942724 140731130945482 0
/proc/23819/statm: 1076624 1049260 743 405 0 1073569 0
Current children cumulated CPU time: 2502.13 s
Current children cumulated vsize: 4306496 KiB
Current children cumulated memory: 4197040 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 23978
/proc/meminfo: memFree=13283260/32770624 swapFree=67108796/67108860
[pid=23819] ppid=23816 vsize=4306496 memory=4197040 CPUtime=2519.83 cores=1,3,5,7
/proc/23819/stat : 23819 (xcsp_picat) R 23816 23819 21527 0 -1 4202496 7578705 0 0 0 250468 1515 0 0 20 0 1 0 218725144 4409851904 1049260 33554432000 4194304 5849708 140731130940464 140731130939464 5307573 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 30617600 140731130942646 140731130942724 140731130942724 140731130945482 0
/proc/23819/statm: 1076624 1049260 743 405 0 1073569 0
Current children cumulated CPU time: 2519.83 s
Current children cumulated vsize: 4306496 KiB
Current children cumulated memory: 4197040 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.1 s]
# the end of solver process 23819 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2504.69 s, system=15.2443 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.1
CPU time (s): 2519.93
CPU user time (s): 2504.69
CPU system time (s): 15.2443
CPU usage (%): 99.9935
Max. virtual memory (cumulated for all children) (KiB): 4306496
Max. memory (cumulated for all children) (KiB): 4197040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2504.69
system time used= 15.2443
maximum resident set size= 4197040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7578706
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 90
involuntary context switches= 1357
# summary of solver processes directly reported to runsolver:
# pid: 23819
# total CPU time (s): 2519.93
# total CPU user time (s): 2504.69
# total CPU system time (s): 15.2443
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.69745 second user time and 18.5814 second system time
The end