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 (12938 MiB free)
memory of node 1: 16384 MiB (9994 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309535-1534300764/watcher-4309535-1534300764 -o /tmp/evaluation-result-4309535-1534300764/solver-4309535-1534300764 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534293152-15984 --watchdog 2580 xcsp_picat HOME/instance-4309535-1534300764.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=16811, runsolver pid=16808
[startup+0.100684 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 16812
/proc/meminfo: memFree=23463524/32770624 swapFree=67108368/67108860
[pid=16811] ppid=16808 vsize=2033492 memory=23072 CPUtime=0.1 cores=0,2,4,6
/proc/16811/stat : 16811 (xcsp_picat) R 16808 16811 15953 0 -1 4202496 4043 0 0 0 10 0 0 0 20 0 1 0 247639518 2082295808 5768 33554432000 4194304 5849940 140729268938096 140729268936344 5303986 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16609280 140729268946102 140729268946180 140729268946180 140729268948938 0
/proc/16811/statm: 508373 5768 667 405 0 505317 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033492 KiB
Current children cumulated memory: 23072 KiB
[startup+0.209755 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 16812
/proc/meminfo: memFree=23462920/32770624 swapFree=67108368/67108860
[pid=16811] ppid=16808 vsize=2037228 memory=24128 CPUtime=0.2 cores=0,2,4,6
/proc/16811/stat : 16811 (xcsp_picat) R 16808 16811 15953 0 -1 4202496 4280 0 0 0 20 0 0 0 20 0 1 0 247639518 2086121472 6032 33554432000 4194304 5849940 140729268938096 140729268936344 5359310 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16609280 140729268946102 140729268946180 140729268946180 140729268948938 0
/proc/16811/statm: 509307 6032 669 405 0 506251 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2037228 KiB
Current children cumulated memory: 24128 KiB
[startup+0.309525 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 16812
/proc/meminfo: memFree=23463116/32770624 swapFree=67108368/67108860
[pid=16811] ppid=16808 vsize=2034212 memory=22992 CPUtime=0.3 cores=0,2,4,6
/proc/16811/stat : 16811 (xcsp_picat) R 16808 16811 15953 0 -1 4202496 4481 0 0 0 30 0 0 0 20 0 1 0 247639518 2083033088 5748 33554432000 4194304 5849940 140729268938096 140729268936344 5376500 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16609280 140729268946102 140729268946180 140729268946180 140729268948938 0
/proc/16811/statm: 508553 5748 674 405 0 505497 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2034212 KiB
Current children cumulated memory: 22992 KiB
[startup+0.700275 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16812
/proc/meminfo: memFree=23461016/32770624 swapFree=67108368/67108860
[pid=16811] ppid=16808 vsize=2036864 memory=26580 CPUtime=0.69 cores=0,2,4,6
/proc/16811/stat : 16811 (xcsp_picat) R 16808 16811 15953 0 -1 4202496 5403 0 0 0 69 0 0 0 20 0 1 0 247639518 2085748736 6645 33554432000 4194304 5849940 140729268938096 140729268935640 5326416 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16609280 140729268946102 140729268946180 140729268946180 140729268948938 0
/proc/16811/statm: 509216 6645 678 405 0 506160 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2036864 KiB
Current children cumulated memory: 26580 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16812
/proc/meminfo: memFree=23459872/32770624 swapFree=67108368/67108860
[pid=16811] ppid=16808 vsize=2036864 memory=26580 CPUtime=1.49 cores=0,2,4,6
/proc/16811/stat : 16811 (xcsp_picat) R 16808 16811 15953 0 -1 4202496 5403 0 0 0 149 0 0 0 20 0 1 0 247639518 2085748736 6645 33554432000 4194304 5849940 140729268938096 140729268935640 5309072 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16609280 140729268946102 140729268946180 140729268946180 140729268948938 0
/proc/16811/statm: 509216 6645 678 405 0 506160 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2036864 KiB
Current children cumulated memory: 26580 KiB
[startup+3.10918 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16812
/proc/meminfo: memFree=23459876/32770624 swapFree=67108368/67108860
[pid=16811] ppid=16808 vsize=2036864 memory=26680 CPUtime=3.09 cores=0,2,4,6
/proc/16811/stat : 16811 (xcsp_picat) R 16808 16811 15953 0 -1 4202496 6803 0 0 0 309 0 0 0 20 0 1 0 247639518 2085748736 6670 33554432000 4194304 5849940 140729268938096 140729268935640 5329171 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16609280 140729268946102 140729268946180 140729268946180 140729268948938 0
/proc/16811/statm: 509216 6670 678 405 0 506160 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2036864 KiB
Current children cumulated memory: 26680 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16812
/proc/meminfo: memFree=23459288/32770624 swapFree=67108368/67108860
[pid=16811] ppid=16808 vsize=2038252 memory=27940 CPUtime=6.29 cores=0,2,4,6
/proc/16811/stat : 16811 (xcsp_picat) R 16808 16811 15953 0 -1 4202496 9738 0 0 0 628 1 0 0 20 0 1 0 247639518 2087170048 6985 33554432000 4194304 5849940 140729268938096 140729268936584 4204942 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16609280 140729268946102 140729268946180 140729268946180 140729268948938 0
/proc/16811/statm: 509563 6985 692 405 0 506507 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2038252 KiB
Current children cumulated memory: 27940 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16812
/proc/meminfo: memFree=23460964/32770624 swapFree=67108368/67108860
[pid=16811] ppid=16808 vsize=2037160 memory=26540 CPUtime=12.69 cores=0,2,4,6
/proc/16811/stat : 16811 (xcsp_picat) R 16808 16811 15953 0 -1 4202496 14102 0 0 0 1267 2 0 0 20 0 1 0 247639518 2086051840 6635 33554432000 4194304 5849940 140729268938096 140729268937096 140201619185543 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16609280 140729268946102 140729268946180 140729268946180 140729268948938 0
/proc/16811/statm: 509290 6635 694 405 0 506234 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2037160 KiB
Current children cumulated memory: 26540 KiB
[startup+25.5003 s]
/proc/loadavg: 2.16 2.05 2.06 3/187 16812
/proc/meminfo: memFree=23377312/32770624 swapFree=67108368/67108860
[pid=16811] ppid=16808 vsize=2038248 memory=27808 CPUtime=25.48 cores=0,2,4,6
/proc/16811/stat : 16811 (xcsp_picat) R 16808 16811 15953 0 -1 4202496 20230 0 0 0 2542 6 0 0 20 0 1 0 247639518 2087165952 6952 33554432000 4194304 5849940 140729268938096 140729268936584 4207983 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16609280 140729268946102 140729268946180 140729268946180 140729268948938 0
/proc/16811/statm: 509562 6952 694 405 0 506506 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2038248 KiB
Current children cumulated memory: 27808 KiB
[startup+51.1097 s]
/proc/loadavg: 2.49 2.14 2.08 3/187 16819
/proc/meminfo: memFree=23348456/32770624 swapFree=67108368/67108860
[pid=16811] ppid=16808 vsize=2063128 memory=53012 CPUtime=51.09 cores=0,2,4,6
/proc/16811/stat : 16811 (xcsp_picat) R 16808 16811 15953 0 -1 4202496 25740 0 0 0 5079 30 0 0 20 0 1 0 247639518 2112643072 13253 33554432000 4194304 5849940 140729268938096 140729268937096 5438117 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16609280 140729268946102 140729268946180 140729268946180 140729268948938 0
/proc/16811/statm: 515782 13253 694 405 0 512726 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2063128 KiB
Current children cumulated memory: 53012 KiB
[startup+102.3 s]
/proc/loadavg: 2.33 2.16 2.10 3/187 16820
/proc/meminfo: memFree=23339896/32770624 swapFree=67108368/67108860
[pid=16811] ppid=16808 vsize=2066528 memory=56432 CPUtime=102.28 cores=0,2,4,6
/proc/16811/stat : 16811 (xcsp_picat) R 16808 16811 15953 0 -1 4202496 48899 0 0 0 10152 76 0 0 20 0 1 0 247639518 2116124672 14108 33554432000 4194304 5849940 140729268938096 140729268937096 140201619185543 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16609280 140729268946102 140729268946180 140729268946180 140729268948938 0
/proc/16811/statm: 516632 14108 694 405 0 513576 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2066528 KiB
Current children cumulated memory: 56432 KiB
[startup+162.3 s]
/proc/loadavg: 2.12 2.13 2.09 3/200 16850
/proc/meminfo: memFree=23730912/32770624 swapFree=67108368/67108860
[pid=16811] ppid=16808 vsize=2106456 memory=96360 CPUtime=162.28 cores=0,2,4,6
/proc/16811/stat : 16811 (xcsp_picat) R 16808 16811 15953 0 -1 4202496 62150 0 0 0 16102 126 0 0 20 0 1 0 247639518 2157010944 24090 33554432000 4194304 5849940 140729268938096 140729268937096 140201619185543 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16609280 140729268946102 140729268946180 140729268946180 140729268948938 0
/proc/16811/statm: 526614 24090 694 405 0 523558 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2106456 KiB
Current children cumulated memory: 96360 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.09 2.08 3/187 16882
/proc/meminfo: memFree=23697748/32770624 swapFree=67108368/67108860
[pid=16811] ppid=16808 vsize=2085988 memory=77324 CPUtime=222.27 cores=0,2,4,6
/proc/16811/stat : 16811 (xcsp_picat) R 16808 16811 15953 0 -1 4202496 72037 0 0 0 22050 177 0 0 20 0 1 0 247639518 2136051712 19331 33554432000 4194304 5849940 140729268938096 140729268936968 140201619185543 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16609280 140729268946102 140729268946180 140729268946180 140729268948938 0
/proc/16811/statm: 521497 19331 694 405 0 518441 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2085988 KiB
Current children cumulated memory: 77324 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.08 2.07 3/187 16883
/proc/meminfo: memFree=23674152/32770624 swapFree=67108368/67108860
[pid=16811] ppid=16808 vsize=2110984 memory=105092 CPUtime=282.27 cores=0,2,4,6
/proc/16811/stat : 16811 (xcsp_picat) R 16808 16811 15953 0 -1 4202496 76476 0 0 0 28004 223 0 0 20 0 1 0 247639518 2161647616 26273 33554432000 4194304 5849940 140729268938096 140729268937096 140201619185543 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16609280 140729268946102 140729268946180 140729268946180 140729268948938 0
/proc/16811/statm: 527746 26273 694 405 0 524690 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2110984 KiB
Current children cumulated memory: 105092 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/187 16884
/proc/meminfo: memFree=23669120/32770624 swapFree=67108368/67108860
[pid=16811] ppid=16808 vsize=2085104 memory=79444 CPUtime=342.27 cores=0,2,4,6
/proc/16811/stat : 16811 (xcsp_picat) R 16808 16811 15953 0 -1 4202496 83703 0 0 0 33955 272 0 0 20 0 1 0 247639518 2135146496 19861 33554432000 4194304 5849940 140729268938096 140729268937096 140201619185543 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16609280 140729268946102 140729268946180 140729268946180 140729268948938 0
/proc/16811/statm: 521276 19861 694 405 0 518220 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2085104 KiB
Current children cumulated memory: 79444 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 16885
/proc/meminfo: memFree=23643476/32770624 swapFree=67108368/67108860
[pid=16811] ppid=16808 vsize=2102024 memory=96320 CPUtime=402.27 cores=0,2,4,6
/proc/16811/stat : 16811 (xcsp_picat) R 16808 16811 15953 0 -1 4202496 91100 0 0 0 39911 316 0 0 20 0 1 0 247639518 2152472576 24080 33554432000 4194304 5849940 140729268938096 140729268937096 140201619185543 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16609280 140729268946102 140729268946180 140729268946180 140729268948938 0
/proc/16811/statm: 525506 24080 694 405 0 522450 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2102024 KiB
Current children cumulated memory: 96320 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/187 16886
/proc/meminfo: memFree=23614052/32770624 swapFree=67108368/67108860
[pid=16811] ppid=16808 vsize=2105172 memory=99468 CPUtime=462.26 cores=0,2,4,6
/proc/16811/stat : 16811 (xcsp_picat) R 16808 16811 15953 0 -1 4202496 97319 0 0 0 45861 365 0 0 20 0 1 0 247639518 2155696128 24867 33554432000 4194304 5849940 140729268938096 140729268937096 140201619185543 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16609280 140729268946102 140729268946180 140729268946180 140729268948938 0
/proc/16811/statm: 526293 24867 694 405 0 523237 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 2105172 KiB
Current children cumulated memory: 99468 KiB
################
# More data... #
################
/proc/16811/statm: 588959 87533 694 405 0 585903 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 2355836 KiB
Current children cumulated memory: 350132 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 16949
/proc/meminfo: memFree=22928152/32770624 swapFree=67108368/67108860
[pid=16811] ppid=16808 vsize=2316704 memory=311000 CPUtime=1782.23 cores=0,2,4,6
/proc/16811/stat : 16811 (xcsp_picat) R 16808 16811 15953 0 -1 4202496 495602 0 0 0 177155 1068 0 0 20 0 1 0 247639518 2372304896 77750 33554432000 4194304 5849940 140729268938096 140729268937256 5313092 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16609280 140729268946102 140729268946180 140729268946180 140729268948938 0
/proc/16811/statm: 579176 77750 694 405 0 576120 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 2316704 KiB
Current children cumulated memory: 311000 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 16958
/proc/meminfo: memFree=22743632/32770624 swapFree=67108368/67108860
[pid=16811] ppid=16808 vsize=2337668 memory=331964 CPUtime=1842.23 cores=0,2,4,6
/proc/16811/stat : 16811 (xcsp_picat) R 16808 16811 15953 0 -1 4202496 513868 0 0 0 183135 1088 0 0 20 0 1 0 247639518 2393772032 82991 33554432000 4194304 5849940 140729268938096 140729268937096 140201619185543 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16609280 140729268946102 140729268946180 140729268946180 140729268948938 0
/proc/16811/statm: 584417 82991 694 405 0 581361 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 2337668 KiB
Current children cumulated memory: 331964 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16959
/proc/meminfo: memFree=22645952/32770624 swapFree=67108368/67108860
[pid=16811] ppid=16808 vsize=2370436 memory=364732 CPUtime=1902.23 cores=0,2,4,6
/proc/16811/stat : 16811 (xcsp_picat) R 16808 16811 15953 0 -1 4202496 534018 0 0 0 189113 1110 0 0 20 0 1 0 247639518 2427326464 91183 33554432000 4194304 5849940 140729268938096 140729268937096 140201619185543 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16609280 140729268946102 140729268946180 140729268946180 140729268948938 0
/proc/16811/statm: 592609 91183 694 405 0 589553 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 2370436 KiB
Current children cumulated memory: 364732 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16960
/proc/meminfo: memFree=22660016/32770624 swapFree=67108368/67108860
[pid=16811] ppid=16808 vsize=2356756 memory=351052 CPUtime=1962.22 cores=0,2,4,6
/proc/16811/stat : 16811 (xcsp_picat) R 16808 16811 15953 0 -1 4202496 557741 0 0 0 195086 1136 0 0 20 0 1 0 247639518 2413318144 87763 33554432000 4194304 5849940 140729268938096 140729268937096 140201619185543 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16609280 140729268946102 140729268946180 140729268946180 140729268948938 0
/proc/16811/statm: 589189 87763 694 405 0 586133 0
Current children cumulated CPU time: 1962.22 s
Current children cumulated vsize: 2356756 KiB
Current children cumulated memory: 351052 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16961
/proc/meminfo: memFree=22626940/32770624 swapFree=67108368/67108860
[pid=16811] ppid=16808 vsize=2389524 memory=383820 CPUtime=2022.23 cores=0,2,4,6
/proc/16811/stat : 16811 (xcsp_picat) R 16808 16811 15953 0 -1 4202496 578093 0 0 0 201066 1157 0 0 20 0 1 0 247639518 2446872576 95955 33554432000 4194304 5849940 140729268938096 140729268937096 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16609280 140729268946102 140729268946180 140729268946180 140729268948938 0
/proc/16811/statm: 597381 95955 694 405 0 594325 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 2389524 KiB
Current children cumulated memory: 383820 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16962
/proc/meminfo: memFree=22315692/32770624 swapFree=67108368/67108860
[pid=16811] ppid=16808 vsize=2354072 memory=348368 CPUtime=2082.23 cores=0,2,4,6
/proc/16811/stat : 16811 (xcsp_picat) R 16808 16811 15953 0 -1 4202496 590868 0 0 0 207050 1173 0 0 20 0 1 0 247639518 2410569728 87092 33554432000 4194304 5849940 140729268938096 140729268937096 140201619185543 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16609280 140729268946102 140729268946180 140729268946180 140729268948938 0
/proc/16811/statm: 588518 87092 694 405 0 585462 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 2354072 KiB
Current children cumulated memory: 348368 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16963
/proc/meminfo: memFree=23090048/32770624 swapFree=67108368/67108860
[pid=16811] ppid=16808 vsize=2359204 memory=353500 CPUtime=2142.23 cores=0,2,4,6
/proc/16811/stat : 16811 (xcsp_picat) R 16808 16811 15953 0 -1 4202496 613103 0 0 0 213026 1197 0 0 20 0 1 0 247639518 2415824896 88375 33554432000 4194304 5849940 140729268938096 140729268937256 140201619185543 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16609280 140729268946102 140729268946180 140729268946180 140729268948938 0
/proc/16811/statm: 589801 88375 694 405 0 586745 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 2359204 KiB
Current children cumulated memory: 353500 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16964
/proc/meminfo: memFree=23039420/32770624 swapFree=67108368/67108860
[pid=16811] ppid=16808 vsize=2359204 memory=353500 CPUtime=2202.22 cores=0,2,4,6
/proc/16811/stat : 16811 (xcsp_picat) R 16808 16811 15953 0 -1 4202496 630798 0 0 0 219010 1212 0 0 20 0 1 0 247639518 2415824896 88375 33554432000 4194304 5849940 140729268938096 140729268937096 140201619185543 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16609280 140729268946102 140729268946180 140729268946180 140729268948938 0
/proc/16811/statm: 589801 88375 694 405 0 586745 0
Current children cumulated CPU time: 2202.22 s
Current children cumulated vsize: 2359204 KiB
Current children cumulated memory: 353500 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16965
/proc/meminfo: memFree=22887380/32770624 swapFree=67108368/67108860
[pid=16811] ppid=16808 vsize=2359204 memory=353500 CPUtime=2262.22 cores=0,2,4,6
/proc/16811/stat : 16811 (xcsp_picat) R 16808 16811 15953 0 -1 4202496 647956 0 0 0 224996 1226 0 0 20 0 1 0 247639518 2415824896 88375 33554432000 4194304 5849940 140729268938096 140729268937096 140201619185543 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16609280 140729268946102 140729268946180 140729268946180 140729268948938 0
/proc/16811/statm: 589801 88375 694 405 0 586745 0
Current children cumulated CPU time: 2262.22 s
Current children cumulated vsize: 2359204 KiB
Current children cumulated memory: 353500 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16966
/proc/meminfo: memFree=22739704/32770624 swapFree=67108368/67108860
[pid=16811] ppid=16808 vsize=2459752 memory=454048 CPUtime=2322.22 cores=0,2,4,6
/proc/16811/stat : 16811 (xcsp_picat) R 16808 16811 15953 0 -1 4202496 680123 0 0 0 230980 1242 0 0 20 0 1 0 247639518 2518786048 113512 33554432000 4194304 5849940 140729268938096 140729268937096 5313065 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16609280 140729268946102 140729268946180 140729268946180 140729268948938 0
/proc/16811/statm: 614938 113512 694 405 0 611882 0
Current children cumulated CPU time: 2322.22 s
Current children cumulated vsize: 2459752 KiB
Current children cumulated memory: 454048 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16967
/proc/meminfo: memFree=22573988/32770624 swapFree=67108368/67108860
[pid=16811] ppid=16808 vsize=2469612 memory=463908 CPUtime=2382.22 cores=0,2,4,6
/proc/16811/stat : 16811 (xcsp_picat) R 16808 16811 15953 0 -1 4202496 694388 0 0 0 236966 1256 0 0 20 0 1 0 247639518 2528882688 115977 33554432000 4194304 5849940 140729268938096 140729268937096 140201619185543 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16609280 140729268946102 140729268946180 140729268946180 140729268948938 0
/proc/16811/statm: 617403 115977 694 405 0 614347 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 2469612 KiB
Current children cumulated memory: 463908 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16975
/proc/meminfo: memFree=22403752/32770624 swapFree=67108368/67108860
[pid=16811] ppid=16808 vsize=2469612 memory=463908 CPUtime=2442.21 cores=0,2,4,6
/proc/16811/stat : 16811 (xcsp_picat) R 16808 16811 15953 0 -1 4202496 715543 0 0 0 242952 1269 0 0 20 0 1 0 247639518 2528882688 115977 33554432000 4194304 5849940 140729268938096 140729268937096 140201619185543 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16609280 140729268946102 140729268946180 140729268946180 140729268948938 0
/proc/16811/statm: 617403 115977 694 405 0 614347 0
Current children cumulated CPU time: 2442.21 s
Current children cumulated vsize: 2469612 KiB
Current children cumulated memory: 463908 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16976
/proc/meminfo: memFree=22264552/32770624 swapFree=67108368/67108860
[pid=16811] ppid=16808 vsize=2544996 memory=539292 CPUtime=2502.21 cores=0,2,4,6
/proc/16811/stat : 16811 (xcsp_picat) R 16808 16811 15953 0 -1 4202496 758383 0 0 0 248939 1282 0 0 20 0 1 0 247639518 2606075904 134823 33554432000 4194304 5849940 140729268938096 140729268937096 140201619185543 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16609280 140729268946102 140729268946180 140729268946180 140729268948938 0
/proc/16811/statm: 636249 134823 694 405 0 633193 0
Current children cumulated CPU time: 2502.21 s
Current children cumulated vsize: 2544996 KiB
Current children cumulated memory: 539292 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 16977
/proc/meminfo: memFree=22264428/32770624 swapFree=67108368/67108860
[pid=16811] ppid=16808 vsize=2544996 memory=539292 CPUtime=2519.93 cores=0,2,4,6
/proc/16811/stat : 16811 (xcsp_picat) R 16808 16811 15953 0 -1 4202496 758701 0 0 0 250706 1287 0 0 20 0 1 0 247639518 2606075904 134823 33554432000 4194304 5849940 140729268938096 140729268937096 5438449 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16609280 140729268946102 140729268946180 140729268946180 140729268948938 0
/proc/16811/statm: 636249 134823 694 405 0 633193 0
Current children cumulated CPU time: 2519.93 s
Current children cumulated vsize: 2544996 KiB
Current children cumulated memory: 539292 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 16811 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2507.06 s, system=12.8847 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.95
CPU user time (s): 2507.06
CPU system time (s): 12.8847
CPU usage (%): 99.9969
Max. virtual memory (cumulated for all children) (KiB): 2624312
Max. memory (cumulated for all children) (KiB): 618508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2507.06
system time used= 12.8847
maximum resident set size= 618508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 758702
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= 12
involuntary context switches= 4209
# summary of solver processes directly reported to runsolver:
# pid: 16811
# total CPU time (s): 2519.95
# total CPU user time (s): 2507.06
# total CPU system time (s): 12.8847
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.58647 second user time and 18.7818 second system time
The end