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 (15261 MiB free)
memory of node 1: 16384 MiB (15281 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395400-1568343832/watcher-4395400-1568343832 -o /tmp/evaluation-result-4395400-1568343832/solver-4395400-1568343832 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568321663-18695 --watchdog 2580 xcsp_picat HOME/instance-4395400-1568343832.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=24353, runsolver pid=24350
Current StackSize limit: 8192 KiB
[startup+0.100408 s]*
/proc/loadavg: 2.01 2.02 2.05 3/201 24354
/proc/meminfo: memFree=31248292/32770624 swapFree=66980120/67108860
[pid=24353] ppid=24350 vsize=2031716 memory=34008 CPUtime=0.1 cores=0,2,4,6
/proc/24353/stat : 24353 (xcsp_picat) R 24350 24353 18664 0 -1 4202496 2042 0 0 0 10 0 0 0 20 0 1 0 410645874 2080477184 8502 33554432000 4194304 5870510 140724040671328 140724040670632 4470459 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 36818944 140724040676383 140724040676461 140724040676461 140724040679370 0
/proc/24353/statm: 507929 8502 856 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 34008 KiB
[startup+0.209852 s]*
/proc/loadavg: 2.01 2.02 2.05 3/201 24354
/proc/meminfo: memFree=31227432/32770624 swapFree=66980120/67108860
[pid=24353] ppid=24350 vsize=2039532 memory=54696 CPUtime=0.21 cores=0,2,4,6
/proc/24353/stat : 24353 (xcsp_picat) R 24350 24353 18664 0 -1 4202496 2120 0 0 0 20 1 0 0 20 0 1 0 410645874 2088480768 13674 33554432000 4194304 5870510 140724040671328 140724040670632 4689663 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 36818944 140724040676383 140724040676461 140724040676461 140724040679370 0
/proc/24353/statm: 509883 13674 867 410 0 505356 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2039532 KiB
Current children cumulated memory: 54696 KiB
[startup+0.309723 s]*
/proc/loadavg: 2.01 2.02 2.05 3/201 24354
/proc/meminfo: memFree=31215144/32770624 swapFree=66980120/67108860
[pid=24353] ppid=24350 vsize=2039532 memory=69772 CPUtime=0.31 cores=0,2,4,6
/proc/24353/stat : 24353 (xcsp_picat) R 24350 24353 18664 0 -1 4202496 2273 0 0 0 30 1 0 0 20 0 1 0 410645874 2088480768 17443 33554432000 4194304 5870510 140724040671328 140724040661832 5562048 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 36818944 140724040676383 140724040676461 140724040676461 140724040679370 0
/proc/24353/statm: 509883 17443 947 410 0 505356 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2039532 KiB
Current children cumulated memory: 69772 KiB
[startup+0.700248 s]
/proc/loadavg: 2.01 2.02 2.05 3/201 24354
/proc/meminfo: memFree=31187912/32770624 swapFree=66980120/67108860
[pid=24353] ppid=24350 vsize=2061660 memory=97056 CPUtime=0.68 cores=0,2,4,6
/proc/24353/stat : 24353 (xcsp_picat) R 24350 24353 18664 0 -1 4202496 6157 0 0 0 66 2 0 0 20 0 1 0 410645874 2111139840 24264 33554432000 4194304 5870510 140724040671328 140724040670424 140009479413639 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 36818944 140724040676383 140724040676461 140724040676461 140724040679370 0
/proc/24353/statm: 515415 24264 975 410 0 510888 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2061660 KiB
Current children cumulated memory: 97056 KiB
[startup+1.50024 s]
/proc/loadavg: 2.01 2.02 2.05 3/201 24354
/proc/meminfo: memFree=31182640/32770624 swapFree=66980120/67108860
[pid=24353] ppid=24350 vsize=2066136 memory=102096 CPUtime=1.49 cores=0,2,4,6
/proc/24353/stat : 24353 (xcsp_picat) R 24350 24353 18664 0 -1 4202496 7644 0 0 0 145 4 0 0 20 0 1 0 410645874 2115723264 25524 33554432000 4194304 5870510 140724040671328 140724040670424 140009479413639 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 36818944 140724040676383 140724040676461 140724040676461 140724040679370 0
/proc/24353/statm: 516534 25524 975 410 0 512007 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2066136 KiB
Current children cumulated memory: 102096 KiB
[startup+3.10968 s]
/proc/loadavg: 2.01 2.02 2.05 3/201 24354
/proc/meminfo: memFree=31062444/32770624 swapFree=66980120/67108860
[pid=24353] ppid=24350 vsize=2211444 memory=239740 CPUtime=3.09 cores=0,2,4,6
/proc/24353/stat : 24353 (xcsp_picat) R 24350 24353 18664 0 -1 4202496 39796 0 0 0 298 11 0 0 20 0 1 0 410645874 2264518656 59935 33554432000 4194304 5870510 140724040671328 140724040669880 4442422 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 36818944 140724040676383 140724040676461 140724040676461 140724040679370 0
/proc/24353/statm: 552861 59935 977 410 0 548334 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2211444 KiB
Current children cumulated memory: 239740 KiB
[startup+6.30033 s]
/proc/loadavg: 2.01 2.02 2.05 4/202 24356
/proc/meminfo: memFree=30876052/32770624 swapFree=66980120/67108860
[pid=24353] ppid=24350 vsize=2303480 memory=325948 CPUtime=6.28 cores=0,2,4,6
/proc/24353/stat : 24353 (xcsp_picat) R 24350 24353 18664 0 -1 4202496 112904 0 0 0 604 24 0 0 20 0 1 0 410645874 2358763520 81487 33554432000 4194304 5870510 140724040671328 140724040670584 5282295 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 36818944 140724040676383 140724040676461 140724040676461 140724040679370 0
/proc/24353/statm: 575870 81487 1001 410 0 571343 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2303480 KiB
Current children cumulated memory: 325948 KiB
[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.05 3/202 24356
/proc/meminfo: memFree=30948212/32770624 swapFree=66980120/67108860
[pid=24353] ppid=24350 vsize=2304560 memory=327008 CPUtime=12.68 cores=0,2,4,6
/proc/24353/stat : 24353 (xcsp_picat) R 24350 24353 18664 0 -1 4202496 130267 0 0 0 1242 26 0 0 20 0 1 0 410645874 2359869440 81752 33554432000 4194304 5870510 140724040671328 140724040669688 5282251 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 36818944 140724040676383 140724040676461 140724040676461 140724040679370 0
/proc/24353/statm: 576140 81752 1007 410 0 571613 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2304560 KiB
Current children cumulated memory: 327008 KiB
[startup+25.5005 s]
/proc/loadavg: 2.01 2.02 2.05 3/201 24356
/proc/meminfo: memFree=30944084/32770624 swapFree=66980120/67108860
[pid=24353] ppid=24350 vsize=2304560 memory=329064 CPUtime=25.48 cores=0,2,4,6
/proc/24353/stat : 24353 (xcsp_picat) R 24350 24353 18664 0 -1 4202496 167824 0 0 0 2519 29 0 0 20 0 1 0 410645874 2359869440 82266 33554432000 4194304 5870510 140724040671328 140724040669688 5289022 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 36818944 140724040676383 140724040676461 140724040676461 140724040679370 0
/proc/24353/statm: 576140 82266 1007 410 0 571613 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2304560 KiB
Current children cumulated memory: 329064 KiB
[startup+51.1099 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 24359
/proc/meminfo: memFree=30952768/32770624 swapFree=66980120/67108860
[pid=24353] ppid=24350 vsize=2304560 memory=335216 CPUtime=51.09 cores=0,2,4,6
/proc/24353/stat : 24353 (xcsp_picat) R 24350 24353 18664 0 -1 4202496 199826 0 0 0 5076 33 0 0 20 0 1 0 410645874 2359869440 83804 33554432000 4194304 5870510 140724040671328 140724040670440 5288882 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 36818944 140724040676383 140724040676461 140724040676461 140724040679370 0
/proc/24353/statm: 576140 83804 1009 410 0 571613 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2304560 KiB
Current children cumulated memory: 335216 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 24364
/proc/meminfo: memFree=30905600/32770624 swapFree=66980120/67108860
[pid=24353] ppid=24350 vsize=2367136 memory=363144 CPUtime=102.26 cores=0,2,4,6
/proc/24353/stat : 24353 (xcsp_picat) R 24350 24353 18664 0 -1 4202496 278437 0 0 0 10186 40 0 0 20 0 1 0 410645874 2423947264 90786 33554432000 4194304 5870510 140724040671328 140724040669880 5297608 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 36818944 140724040676383 140724040676461 140724040676461 140724040679370 0
/proc/24353/statm: 591784 90786 1009 410 0 587257 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 2367136 KiB
Current children cumulated memory: 363144 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 24368
/proc/meminfo: memFree=30859628/32770624 swapFree=66980120/67108860
[pid=24353] ppid=24350 vsize=2408280 memory=412372 CPUtime=162.25 cores=0,2,4,6
/proc/24353/stat : 24353 (xcsp_picat) R 24350 24353 18664 0 -1 4202496 306400 0 0 0 16174 51 0 0 20 0 1 0 410645874 2466078720 103093 33554432000 4194304 5870510 140724040671328 140724040669816 5272559 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 36818944 140724040676383 140724040676461 140724040676461 140724040679370 0
/proc/24353/statm: 602070 103093 1009 410 0 597543 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 2408280 KiB
Current children cumulated memory: 412372 KiB
[startup+222.3 s]
/proc/loadavg: 1.96 2.00 2.04 3/201 24433
/proc/meminfo: memFree=30941232/32770624 swapFree=66980120/67108860
[pid=24353] ppid=24350 vsize=2414500 memory=421908 CPUtime=222.21 cores=0,2,4,6
/proc/24353/stat : 24353 (xcsp_picat) R 24350 24353 18664 0 -1 4202496 378586 0 0 0 22159 62 0 0 20 0 1 0 410645874 2472448000 105477 33554432000 4194304 5870510 140724040671328 140724040669816 5272433 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 36818944 140724040676383 140724040676461 140724040676461 140724040679370 0
/proc/24353/statm: 603625 105477 1009 410 0 599098 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 2414500 KiB
Current children cumulated memory: 421908 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/203 24440
/proc/meminfo: memFree=30917456/32770624 swapFree=66980120/67108860
[pid=24353] ppid=24350 vsize=2418876 memory=418356 CPUtime=282.19 cores=0,2,4,6
/proc/24353/stat : 24353 (xcsp_picat) R 24350 24353 18664 0 -1 4202496 412659 0 0 0 28149 70 0 0 20 0 1 0 410645874 2476929024 104589 33554432000 4194304 5870510 140724040671328 140724040670344 5281827 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 36818944 140724040676383 140724040676461 140724040676461 140724040679370 0
/proc/24353/statm: 604719 104589 1009 410 0 600192 0
Current children cumulated CPU time: 282.19 s
Current children cumulated vsize: 2418876 KiB
Current children cumulated memory: 418356 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/202 24444
/proc/meminfo: memFree=30984984/32770624 swapFree=66980120/67108860
[pid=24353] ppid=24350 vsize=2323420 memory=354300 CPUtime=342.17 cores=0,2,4,6
/proc/24353/stat : 24353 (xcsp_picat) R 24350 24353 18664 0 -1 4202496 444373 0 0 0 34127 90 0 0 20 0 1 0 410645874 2379182080 88575 33554432000 4194304 5870510 140724040671328 140724040670584 140009484653029 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 36818944 140724040676383 140724040676461 140724040676461 140724040679370 0
/proc/24353/statm: 580855 88575 1009 410 0 576328 0
Current children cumulated CPU time: 342.17 s
Current children cumulated vsize: 2323420 KiB
Current children cumulated memory: 354300 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/201 24448
/proc/meminfo: memFree=30951644/32770624 swapFree=66980120/67108860
[pid=24353] ppid=24350 vsize=2373508 memory=374780 CPUtime=402.17 cores=0,2,4,6
/proc/24353/stat : 24353 (xcsp_picat) R 24350 24353 18664 0 -1 4202496 459752 0 0 0 40125 92 0 0 20 0 1 0 410645874 2430472192 93695 33554432000 4194304 5870510 140724040671328 140724040670280 5258681 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 36818944 140724040676383 140724040676461 140724040676461 140724040679370 0
/proc/24353/statm: 593377 93695 1009 410 0 588850 0
Current children cumulated CPU time: 402.17 s
Current children cumulated vsize: 2373508 KiB
Current children cumulated memory: 374780 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/203 24462
/proc/meminfo: memFree=30922360/32770624 swapFree=66980124/67108860
[pid=24353] ppid=24350 vsize=2323252 memory=357752 CPUtime=462.16 cores=0,2,4,6
/proc/24353/stat : 24353 (xcsp_picat) R 24350 24353 18664 0 -1 4202496 495469 0 0 0 46105 111 0 0 20 0 1 0 410645874 2379010048 89438 33554432000 4194304 5870510 140724040671328 140724040670440 5267727 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 36818944 140724040676383 140724040676461 140724040676461 140724040679370 0
/proc/24353/statm: 580813 89438 1016 410 0 576286 0
Current children cumulated CPU time: 462.16 s
Current children cumulated vsize: 2323252 KiB
Current children cumulated memory: 357752 KiB
################
# More data... #
################
/proc/24353/statm: 588023 98619 1016 410 0 583496 0
Current children cumulated CPU time: 1722.06 s
Current children cumulated vsize: 2352092 KiB
Current children cumulated memory: 394476 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24583
/proc/meminfo: memFree=30811956/32770624 swapFree=66980140/67108860
[pid=24353] ppid=24350 vsize=2412828 memory=423836 CPUtime=1782.06 cores=0,2,4,6
/proc/24353/stat : 24353 (xcsp_picat) R 24350 24353 18664 0 -1 4202496 1227838 0 0 0 177869 337 0 0 20 0 1 0 410645874 2470735872 105959 33554432000 4194304 5870510 140724040671328 140724040669816 5282242 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 36818944 140724040676383 140724040676461 140724040676461 140724040679370 0
/proc/24353/statm: 603207 105959 1016 410 0 598680 0
Current children cumulated CPU time: 1782.06 s
Current children cumulated vsize: 2412828 KiB
Current children cumulated memory: 423836 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24587
/proc/meminfo: memFree=30809868/32770624 swapFree=66980140/67108860
[pid=24353] ppid=24350 vsize=2421844 memory=428636 CPUtime=1842.05 cores=0,2,4,6
/proc/24353/stat : 24353 (xcsp_picat) R 24350 24353 18664 0 -1 4202496 1233809 0 0 0 183861 344 0 0 20 0 1 0 410645874 2479968256 107159 33554432000 4194304 5870510 140724040671328 140724040669816 5282251 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 36818944 140724040676383 140724040676461 140724040676461 140724040679370 0
/proc/24353/statm: 605461 107159 1016 410 0 600934 0
Current children cumulated CPU time: 1842.05 s
Current children cumulated vsize: 2421844 KiB
Current children cumulated memory: 428636 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 24593
/proc/meminfo: memFree=30793916/32770624 swapFree=66980140/67108860
[pid=24353] ppid=24350 vsize=2421844 memory=424744 CPUtime=1902.05 cores=0,2,4,6
/proc/24353/stat : 24353 (xcsp_picat) R 24350 24353 18664 0 -1 4202496 1264681 0 0 0 189852 353 0 0 20 0 1 0 410645874 2479968256 106186 33554432000 4194304 5870510 140724040671328 140724040670344 5312647 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 36818944 140724040676383 140724040676461 140724040676461 140724040679370 0
/proc/24353/statm: 605461 106186 1016 410 0 600934 0
Current children cumulated CPU time: 1902.05 s
Current children cumulated vsize: 2421844 KiB
Current children cumulated memory: 424744 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 24597
/proc/meminfo: memFree=30770992/32770624 swapFree=66980140/67108860
[pid=24353] ppid=24350 vsize=2434280 memory=436588 CPUtime=1962.05 cores=0,2,4,6
/proc/24353/stat : 24353 (xcsp_picat) R 24350 24353 18664 0 -1 4202496 1297799 0 0 0 195844 361 0 0 20 0 1 0 410645874 2492702720 109147 33554432000 4194304 5870510 140724040671328 140724040670344 5272427 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 36818944 140724040676383 140724040676461 140724040676461 140724040679370 0
/proc/24353/statm: 608570 109147 1016 410 0 604043 0
Current children cumulated CPU time: 1962.05 s
Current children cumulated vsize: 2434280 KiB
Current children cumulated memory: 436588 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 24601
/proc/meminfo: memFree=31108512/32770624 swapFree=66980140/67108860
[pid=24353] ppid=24350 vsize=2116872 memory=162156 CPUtime=2022.04 cores=0,2,4,6
/proc/24353/stat : 24353 (xcsp_picat) R 24350 24353 18664 0 -1 4202496 1337130 0 0 0 201832 372 0 0 20 0 1 0 410645874 2167676928 40539 33554432000 4194304 5870510 140724040671328 140724040670424 4463510 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 36818944 140724040676383 140724040676461 140724040676461 140724040679370 0
/proc/24353/statm: 529218 40539 1016 410 0 524691 0
Current children cumulated CPU time: 2022.04 s
Current children cumulated vsize: 2116872 KiB
Current children cumulated memory: 162156 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24607
/proc/meminfo: memFree=30826424/32770624 swapFree=66980140/67108860
[pid=24353] ppid=24350 vsize=2373512 memory=385184 CPUtime=2082.04 cores=0,2,4,6
/proc/24353/stat : 24353 (xcsp_picat) R 24350 24353 18664 0 -1 4202496 1356840 0 0 0 207822 382 0 0 20 0 1 0 410645874 2430476288 96296 33554432000 4194304 5870510 140724040671328 140724040670280 140009484633948 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 36818944 140724040676383 140724040676461 140724040676461 140724040679370 0
/proc/24353/statm: 593378 96296 1016 410 0 588851 0
Current children cumulated CPU time: 2082.04 s
Current children cumulated vsize: 2373512 KiB
Current children cumulated memory: 385184 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 24611
/proc/meminfo: memFree=30833240/32770624 swapFree=66980140/67108860
[pid=24353] ppid=24350 vsize=2342776 memory=381968 CPUtime=2142.03 cores=0,2,4,6
/proc/24353/stat : 24353 (xcsp_picat) R 24350 24353 18664 0 -1 4202496 1386524 0 0 0 213812 391 0 0 20 0 1 0 410645874 2399002624 95492 33554432000 4194304 5870510 140724040671328 140724040669688 5282367 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 36818944 140724040676383 140724040676461 140724040676461 140724040679370 0
/proc/24353/statm: 585694 95492 1016 410 0 581167 0
Current children cumulated CPU time: 2142.03 s
Current children cumulated vsize: 2342776 KiB
Current children cumulated memory: 381968 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 24615
/proc/meminfo: memFree=30797820/32770624 swapFree=66980140/67108860
[pid=24353] ppid=24350 vsize=2409412 memory=417008 CPUtime=2202.03 cores=0,2,4,6
/proc/24353/stat : 24353 (xcsp_picat) R 24350 24353 18664 0 -1 4202496 1428173 0 0 0 219801 402 0 0 20 0 1 0 410645874 2467237888 104252 33554432000 4194304 5870510 140724040671328 140724040669816 5282736 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 36818944 140724040676383 140724040676461 140724040676461 140724040679370 0
/proc/24353/statm: 602353 104252 1016 410 0 597826 0
Current children cumulated CPU time: 2202.03 s
Current children cumulated vsize: 2409412 KiB
Current children cumulated memory: 417008 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 24629
/proc/meminfo: memFree=30790036/32770624 swapFree=66980144/67108860
[pid=24353] ppid=24350 vsize=2414920 memory=418032 CPUtime=2262.02 cores=0,2,4,6
/proc/24353/stat : 24353 (xcsp_picat) R 24350 24353 18664 0 -1 4202496 1447497 0 0 0 225792 410 0 0 20 0 1 0 410645874 2472878080 104508 33554432000 4194304 5870510 140724040671328 140724040670344 5282729 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 36818944 140724040676383 140724040676461 140724040676461 140724040679370 0
/proc/24353/statm: 603730 104508 1016 410 0 599203 0
Current children cumulated CPU time: 2262.02 s
Current children cumulated vsize: 2414920 KiB
Current children cumulated memory: 418032 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24633
/proc/meminfo: memFree=30763088/32770624 swapFree=66980144/67108860
[pid=24353] ppid=24350 vsize=2426336 memory=440040 CPUtime=2322.02 cores=0,2,4,6
/proc/24353/stat : 24353 (xcsp_picat) R 24350 24353 18664 0 -1 4202496 1482441 0 0 0 231782 420 0 0 20 0 1 0 410645874 2484568064 110010 33554432000 4194304 5870510 140724040671328 140724040669816 5282590 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 36818944 140724040676383 140724040676461 140724040676461 140724040679370 0
/proc/24353/statm: 606584 110010 1016 410 0 602057 0
Current children cumulated CPU time: 2322.02 s
Current children cumulated vsize: 2426336 KiB
Current children cumulated memory: 440040 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24637
/proc/meminfo: memFree=30755312/32770624 swapFree=66980144/67108860
[pid=24353] ppid=24350 vsize=2426336 memory=446228 CPUtime=2382.01 cores=0,2,4,6
/proc/24353/stat : 24353 (xcsp_picat) R 24350 24353 18664 0 -1 4202496 1507687 0 0 0 237776 425 0 0 20 0 1 0 410645874 2484568064 111557 33554432000 4194304 5870510 140724040671328 140724040670344 5282621 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 36818944 140724040676383 140724040676461 140724040676461 140724040679370 0
/proc/24353/statm: 606584 111557 1016 410 0 602057 0
Current children cumulated CPU time: 2382.01 s
Current children cumulated vsize: 2426336 KiB
Current children cumulated memory: 446228 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 24643
/proc/meminfo: memFree=30756112/32770624 swapFree=66980144/67108860
[pid=24353] ppid=24350 vsize=2435324 memory=442152 CPUtime=2442.01 cores=0,2,4,6
/proc/24353/stat : 24353 (xcsp_picat) R 24350 24353 18664 0 -1 4202496 1517455 0 0 0 243772 429 0 0 20 0 1 0 410645874 2493771776 110538 33554432000 4194304 5870510 140724040671328 140724040670344 5282509 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 36818944 140724040676383 140724040676461 140724040676461 140724040679370 0
/proc/24353/statm: 608831 110538 1016 410 0 604304 0
Current children cumulated CPU time: 2442.01 s
Current children cumulated vsize: 2435324 KiB
Current children cumulated memory: 442152 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24647
/proc/meminfo: memFree=30849088/32770624 swapFree=66980144/67108860
[pid=24353] ppid=24350 vsize=2323424 memory=354628 CPUtime=2502.01 cores=0,2,4,6
/proc/24353/stat : 24353 (xcsp_picat) R 24350 24353 18664 0 -1 4202496 1574359 0 0 0 249750 451 0 0 20 0 1 0 410645874 2379186176 88657 33554432000 4194304 5870510 140724040671328 140724040670584 5282441 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 36818944 140724040676383 140724040676461 140724040676461 140724040679370 0
/proc/24353/statm: 580856 88657 1016 410 0 576329 0
Current children cumulated CPU time: 2502.01 s
Current children cumulated vsize: 2323424 KiB
Current children cumulated memory: 354628 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 24647
/proc/meminfo: memFree=30820552/32770624 swapFree=66980144/67108860
[pid=24353] ppid=24350 vsize=2323424 memory=356676 CPUtime=2519.72 cores=0,2,4,6
/proc/24353/stat : 24353 (xcsp_picat) R 24350 24353 18664 0 -1 4202496 1574369 0 0 0 251521 451 0 0 20 0 1 0 410645874 2379186176 89169 33554432000 4194304 5870510 140724040671328 140724040670584 5258744 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 36818944 140724040676383 140724040676461 140724040676461 140724040679370 0
/proc/24353/statm: 580856 89169 1016 410 0 576329 0
Current children cumulated CPU time: 2519.72 s
Current children cumulated vsize: 2323424 KiB
Current children cumulated memory: 356676 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 24353 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.21 s, system=4.51959 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.73
CPU user time (s): 2515.21
CPU system time (s): 4.51959
CPU usage (%): 99.9886
Max. virtual memory (cumulated for all children) (KiB): 2565552
Max. memory (cumulated for all children) (KiB): 550364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.21
system time used= 4.51959
maximum resident set size= 550364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1574369
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= 83
involuntary context switches= 3256
# summary of solver processes directly reported to runsolver:
# pid: 24353
# total CPU time (s): 2519.73
# total CPU user time (s): 2515.21
# total CPU system time (s): 4.51959
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.98497 second user time and 19.0012 second system time
The end