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 (15059 MiB free)
memory of node 1: 16384 MiB (12519 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395676-1568343790/watcher-4395676-1568343790 -o /tmp/evaluation-result-4395676-1568343790/solver-4395676-1568343790 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568333755-10547 --watchdog 2560 xcsp_picat HOME/instance-4395676-1568343790.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=12773, runsolver pid=12770
[startup+0.100118 s]*
/proc/loadavg: 2.00 2.01 2.05 3/201 12774
/proc/meminfo: memFree=28215644/32770624 swapFree=66933884/67108860
[pid=12773] ppid=12770 vsize=2031716 memory=29376 CPUtime=0.1 cores=0,2,4,6
/proc/12773/stat : 12773 (xcsp_picat) R 12770 12773 10516 0 -1 4202496 1916 0 0 0 10 0 0 0 20 0 1 0 410650480 2080477184 7344 33554432000 4194304 5870510 140726707681968 140726707679112 4479917 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 41975808 140726707688479 140726707688557 140726707688557 140726707691466 0
/proc/12773/statm: 507929 7344 838 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 29376 KiB
[startup+0.209937 s]*
/proc/loadavg: 2.00 2.01 2.05 3/201 12774
/proc/meminfo: memFree=28201308/32770624 swapFree=66933884/67108860
[pid=12773] ppid=12770 vsize=2031716 memory=43712 CPUtime=0.21 cores=0,2,4,6
/proc/12773/stat : 12773 (xcsp_picat) R 12770 12773 10516 0 -1 4202496 1925 0 0 0 21 0 0 0 20 0 1 0 410650480 2080477184 10928 33554432000 4194304 5870510 140726707681968 140726707681272 4466469 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 41975808 140726707688479 140726707688557 140726707688557 140726707691466 0
/proc/12773/statm: 507929 10928 838 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 43712 KiB
[startup+0.309807 s]*
/proc/loadavg: 2.00 2.01 2.05 3/201 12774
/proc/meminfo: memFree=28188896/32770624 swapFree=66933884/67108860
[pid=12773] ppid=12770 vsize=2031716 memory=56000 CPUtime=0.31 cores=0,2,4,6
/proc/12773/stat : 12773 (xcsp_picat) R 12770 12773 10516 0 -1 4202496 1931 0 0 0 31 0 0 0 20 0 1 0 410650480 2080477184 14000 33554432000 4194304 5870510 140726707681968 140726707681272 4534238 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 41975808 140726707688479 140726707688557 140726707688557 140726707691466 0
/proc/12773/statm: 507929 14000 838 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 56000 KiB
[startup+0.700334 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 12774
/proc/meminfo: memFree=28162148/32770624 swapFree=66933884/67108860
[pid=12773] ppid=12770 vsize=2031716 memory=109416 CPUtime=0.69 cores=0,2,4,6
/proc/12773/stat : 12773 (xcsp_picat) R 12770 12773 10516 0 -1 4202496 1957 0 0 0 68 1 0 0 20 0 1 0 410650480 2080477184 27354 33554432000 4194304 5870510 140726707681968 140726707681272 4477297 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 41975808 140726707688479 140726707688557 140726707688557 140726707691466 0
/proc/12773/statm: 507929 27354 845 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 109416 KiB
[startup+1.50038 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 12774
/proc/meminfo: memFree=28094600/32770624 swapFree=66933884/67108860
[pid=12773] ppid=12770 vsize=2062968 memory=220612 CPUtime=1.49 cores=0,2,4,6
/proc/12773/stat : 12773 (xcsp_picat) R 12770 12773 10516 0 -1 4202496 2821 0 0 0 146 3 0 0 20 0 1 0 410650480 2112479232 55153 33554432000 4194304 5870510 140726707681968 140726707681272 4525434 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 41975808 140726707688479 140726707688557 140726707688557 140726707691466 0
/proc/12773/statm: 515742 55153 846 410 0 511215 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2062968 KiB
Current children cumulated memory: 220612 KiB
[startup+3.10969 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 12774
/proc/meminfo: memFree=27809424/32770624 swapFree=66933884/67108860
[pid=12773] ppid=12770 vsize=2125468 memory=446876 CPUtime=3.1 cores=0,2,4,6
/proc/12773/stat : 12773 (xcsp_picat) R 12770 12773 10516 0 -1 4202496 4067 0 0 0 304 6 0 0 20 0 1 0 410650480 2176479232 111719 33554432000 4194304 5870510 140726707681968 140726707681176 4479734 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 41975808 140726707688479 140726707688557 140726707688557 140726707691466 0
/proc/12773/statm: 531367 111719 846 410 0 526840 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2125468 KiB
Current children cumulated memory: 446876 KiB
[startup+6.30037 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 12776
/proc/meminfo: memFree=27390472/32770624 swapFree=66933884/67108860
[pid=12773] ppid=12770 vsize=2250468 memory=893264 CPUtime=6.29 cores=0,2,4,6
/proc/12773/stat : 12773 (xcsp_picat) R 12770 12773 10516 0 -1 4202496 4874 0 0 0 614 15 0 0 20 0 1 0 410650480 2304479232 223316 33554432000 4194304 5870510 140726707681968 140726707681176 4477286 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 41975808 140726707688479 140726707688557 140726707688557 140726707691466 0
/proc/12773/statm: 562617 223316 846 410 0 558090 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2250468 KiB
Current children cumulated memory: 893264 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 12776
/proc/meminfo: memFree=26351944/32770624 swapFree=66933884/67108860
[pid=12773] ppid=12770 vsize=4095204 memory=2424324 CPUtime=12.69 cores=0,2,4,6
/proc/12773/stat : 12773 (xcsp_picat) R 12770 12773 10516 0 -1 4202496 7831 0 0 0 1227 42 0 0 20 0 1 0 410650480 4193488896 606081 33554432000 4194304 5870510 140726707681968 140726707681272 5246343 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 41975808 140726707688479 140726707688557 140726707688557 140726707691466 0
/proc/12773/statm: 1023801 606081 850 410 0 1019274 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 4095204 KiB
Current children cumulated memory: 2424324 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 12776
/proc/meminfo: memFree=26293520/32770624 swapFree=66933884/67108860
[pid=12773] ppid=12770 vsize=4146444 memory=2412076 CPUtime=25.49 cores=0,2,4,6
/proc/12773/stat : 12773 (xcsp_picat) R 12770 12773 10516 0 -1 4202496 19873 0 0 0 2369 180 0 0 20 0 1 0 410650480 4245958656 603019 33554432000 4194304 5870510 140726707681968 140726707680936 5245875 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 41975808 140726707688479 140726707688557 140726707688557 140726707691466 0
/proc/12773/statm: 1036611 603019 850 410 0 1032084 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 4146444 KiB
Current children cumulated memory: 2412076 KiB
[startup+51.1097 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 12779
/proc/meminfo: memFree=25750364/32770624 swapFree=66933884/67108860
[pid=12773] ppid=12770 vsize=4286196 memory=2590740 CPUtime=51.1 cores=0,2,4,6
/proc/12773/stat : 12773 (xcsp_picat) R 12770 12773 10516 0 -1 4202496 43380 0 0 0 4619 491 0 0 20 0 1 0 410650480 4389064704 647685 33554432000 4194304 5870510 140726707681968 140726707680936 5245088 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 41975808 140726707688479 140726707688557 140726707688557 140726707691466 0
/proc/12773/statm: 1071549 647685 850 410 0 1067022 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 4286196 KiB
Current children cumulated memory: 2590740 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 12782
/proc/meminfo: memFree=25605364/32770624 swapFree=66933884/67108860
[pid=12773] ppid=12770 vsize=4472536 memory=2908152 CPUtime=102.3 cores=0,2,4,6
/proc/12773/stat : 12773 (xcsp_picat) R 12770 12773 10516 0 -1 4202496 90241 0 0 0 9103 1127 0 0 20 0 1 0 410650480 4579876864 727038 33554432000 4194304 5870510 140726707681968 140726707680936 5245095 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 41975808 140726707688479 140726707688557 140726707688557 140726707691466 0
/proc/12773/statm: 1118134 727038 850 410 0 1113607 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 4472536 KiB
Current children cumulated memory: 2908152 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 12786
/proc/meminfo: memFree=24359720/32770624 swapFree=66933884/67108860
[pid=12773] ppid=12770 vsize=4570660 memory=4147012 CPUtime=162.3 cores=0,2,4,6
/proc/12773/stat : 12773 (xcsp_picat) R 12770 12773 10516 0 -1 4202496 146879 0 0 0 14376 1854 0 0 20 0 1 0 410650480 4680355840 1036753 33554432000 4194304 5870510 140726707681968 140726707680936 5246600 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 41975808 140726707688479 140726707688557 140726707688557 140726707691466 0
/proc/12773/statm: 1142665 1036753 850 410 0 1138138 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 4570660 KiB
Current children cumulated memory: 4147012 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 12790
/proc/meminfo: memFree=24911108/32770624 swapFree=66933884/67108860
[pid=12773] ppid=12770 vsize=4626588 memory=3586492 CPUtime=222.3 cores=0,2,4,6
/proc/12773/stat : 12773 (xcsp_picat) R 12770 12773 10516 0 -1 4202496 204010 0 0 0 19649 2581 0 0 20 0 1 0 410650480 4737626112 896623 33554432000 4194304 5870510 140726707681968 140726707680936 5245095 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 41975808 140726707688479 140726707688557 140726707688557 140726707691466 0
/proc/12773/statm: 1156647 896623 850 410 0 1152120 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 4626588 KiB
Current children cumulated memory: 3586492 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 12796
/proc/meminfo: memFree=24099364/32770624 swapFree=66933884/67108860
[pid=12773] ppid=12770 vsize=4658876 memory=4322228 CPUtime=282.3 cores=0,2,4,6
/proc/12773/stat : 12773 (xcsp_picat) R 12770 12773 10516 0 -1 4202496 259216 0 0 0 24907 3323 0 0 20 0 1 0 410650480 4770689024 1080557 33554432000 4194304 5870510 140726707681968 140726707680936 5355033 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 41975808 140726707688479 140726707688557 140726707688557 140726707691466 0
/proc/12773/statm: 1164719 1080557 850 410 0 1160192 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 4658876 KiB
Current children cumulated memory: 4322228 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 12800
/proc/meminfo: memFree=23857400/32770624 swapFree=66933884/67108860
[pid=12773] ppid=12770 vsize=4678356 memory=4358916 CPUtime=342.3 cores=0,2,4,6
/proc/12773/stat : 12773 (xcsp_picat) R 12770 12773 10516 0 -1 4202496 313989 0 0 0 30195 4035 0 0 20 0 1 0 410650480 4790636544 1089729 33554432000 4194304 5870510 140726707681968 140726707680936 5355029 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 41975808 140726707688479 140726707688557 140726707688557 140726707691466 0
/proc/12773/statm: 1169589 1089729 850 410 0 1165062 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 4678356 KiB
Current children cumulated memory: 4358916 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 12804
/proc/meminfo: memFree=23831832/32770624 swapFree=66933884/67108860
[pid=12773] ppid=12770 vsize=4691676 memory=2498556 CPUtime=402.31 cores=0,2,4,6
/proc/12773/stat : 12773 (xcsp_picat) R 12770 12773 10516 0 -1 4202496 369353 0 0 0 35458 4773 0 0 20 0 1 0 410650480 4804276224 624639 33554432000 4194304 5870510 140726707681968 140726707680936 5246397 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 41975808 140726707688479 140726707688557 140726707688557 140726707691466 0
/proc/12773/statm: 1172919 624639 850 410 0 1168392 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 4691676 KiB
Current children cumulated memory: 2498556 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 12818
/proc/meminfo: memFree=23817592/32770624 swapFree=66933884/67108860
[pid=12773] ppid=12770 vsize=4699496 memory=2492040 CPUtime=462.3 cores=0,2,4,6
/proc/12773/stat : 12773 (xcsp_picat) R 12770 12773 10516 0 -1 4202496 424000 0 0 0 40772 5458 0 0 20 0 1 0 410650480 4812283904 623010 33554432000 4194304 5870510 140726707681968 140726707680936 5246749 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 41975808 140726707688479 140726707688557 140726707688557 140726707691466 0
/proc/12773/statm: 1174874 623010 850 410 0 1170347 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 4699496 KiB
Current children cumulated memory: 2492040 KiB
################
# More data... #
################
/proc/12773/statm: 2232803 2141981 853 410 0 2228276 0
Current children cumulated CPU time: 1602.34 s
Current children cumulated vsize: 8931212 KiB
Current children cumulated memory: 8567924 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 12928
/proc/meminfo: memFree=20135920/32770624 swapFree=66933896/67108860
[pid=12773] ppid=12770 vsize=8933648 memory=8354332 CPUtime=1662.34 cores=0,2,4,6
/proc/12773/stat : 12773 (xcsp_picat) R 12770 12773 10516 0 -1 4202496 1127102 0 0 0 146429 19805 0 0 20 0 1 0 410650480 9148055552 2088583 33554432000 4194304 5870510 140726707681968 140726707680936 5246072 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 41975808 140726707688479 140726707688557 140726707688557 140726707691466 0
/proc/12773/statm: 2233412 2088583 853 410 0 2228885 0
Current children cumulated CPU time: 1662.34 s
Current children cumulated vsize: 8933648 KiB
Current children cumulated memory: 8354332 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 12934
/proc/meminfo: memFree=19146660/32770624 swapFree=66933896/67108860
[pid=12773] ppid=12770 vsize=12857964 memory=10070708 CPUtime=1722.34 cores=0,2,4,6
/proc/12773/stat : 12773 (xcsp_picat) R 12770 12773 10516 0 -1 4202496 1164860 0 0 0 151706 20528 0 0 20 0 1 0 410650480 13166555136 2517677 33554432000 4194304 5870510 140726707681968 140726707680936 5362056 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 41975808 140726707688479 140726707688557 140726707688557 140726707691466 0
/proc/12773/statm: 3214491 2517677 853 410 0 3209964 0
Current children cumulated CPU time: 1722.34 s
Current children cumulated vsize: 12857964 KiB
Current children cumulated memory: 10070708 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 12938
/proc/meminfo: memFree=23045572/32770624 swapFree=66933896/67108860
[pid=12773] ppid=12770 vsize=8947604 memory=5449772 CPUtime=1782.34 cores=0,2,4,6
/proc/12773/stat : 12773 (xcsp_picat) R 12770 12773 10516 0 -1 4202496 1196640 0 0 0 156978 21256 0 0 20 0 1 0 410650480 9162346496 1362443 33554432000 4194304 5870510 140726707681968 140726707680936 5246072 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 41975808 140726707688479 140726707688557 140726707688557 140726707691466 0
/proc/12773/statm: 2236901 1362443 853 410 0 2232374 0
Current children cumulated CPU time: 1782.34 s
Current children cumulated vsize: 8947604 KiB
Current children cumulated memory: 5449772 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 12942
/proc/meminfo: memFree=19619948/32770624 swapFree=66933896/67108860
[pid=12773] ppid=12770 vsize=8950908 memory=8590612 CPUtime=1842.35 cores=0,2,4,6
/proc/12773/stat : 12773 (xcsp_picat) R 12770 12773 10516 0 -1 4202496 1226271 0 0 0 162348 21887 0 0 20 0 1 0 410650480 9165729792 2147653 33554432000 4194304 5870510 140726707681968 140726707681288 5246232 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 41975808 140726707688479 140726707688557 140726707688557 140726707691466 0
/proc/12773/statm: 2237727 2147653 853 410 0 2233200 0
Current children cumulated CPU time: 1842.35 s
Current children cumulated vsize: 8950908 KiB
Current children cumulated memory: 8590612 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 12948
/proc/meminfo: memFree=15694180/32770624 swapFree=66933896/67108860
[pid=12773] ppid=12770 vsize=8960864 memory=4723120 CPUtime=1902.35 cores=0,2,4,6
/proc/12773/stat : 12773 (xcsp_picat) R 12770 12773 10516 0 -1 4202496 1258010 0 0 0 167690 22545 0 0 20 0 1 0 410650480 9175924736 1180780 33554432000 4194304 5870510 140726707681968 140726707680968 5246232 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 41975808 140726707688479 140726707688557 140726707688557 140726707691466 0
/proc/12773/statm: 2240216 1180780 853 410 0 2235689 0
Current children cumulated CPU time: 1902.35 s
Current children cumulated vsize: 8960864 KiB
Current children cumulated memory: 4723120 KiB
[startup+1962.3 s]
/proc/loadavg: 2.34 2.09 2.07 3/199 12952
/proc/meminfo: memFree=22263576/32770624 swapFree=66933896/67108860
[pid=12773] ppid=12770 vsize=8964496 memory=6232220 CPUtime=1962.34 cores=0,2,4,6
/proc/12773/stat : 12773 (xcsp_picat) R 12770 12773 10516 0 -1 4202496 1298091 0 0 0 172950 23284 0 0 20 0 1 0 410650480 9179643904 1558055 33554432000 4194304 5870510 140726707681968 140726707680936 5246734 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 41975808 140726707688479 140726707688557 140726707688557 140726707691466 0
/proc/12773/statm: 2241124 1558055 853 410 0 2236597 0
Current children cumulated CPU time: 1962.34 s
Current children cumulated vsize: 8964496 KiB
Current children cumulated memory: 6232220 KiB
[startup+2022.3 s]
/proc/loadavg: 2.27 2.13 2.09 3/199 12956
/proc/meminfo: memFree=20672904/32770624 swapFree=66933896/67108860
[pid=12773] ppid=12770 vsize=8967404 memory=7820280 CPUtime=2022.36 cores=0,2,4,6
/proc/12773/stat : 12773 (xcsp_picat) R 12770 12773 10516 0 -1 4202496 1335161 0 0 0 178222 24014 0 0 20 0 1 0 410650480 9182621696 1955070 33554432000 4194304 5870510 140726707681968 140726707680936 5245088 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 41975808 140726707688479 140726707688557 140726707688557 140726707691466 0
/proc/12773/statm: 2241851 1955070 853 410 0 2237324 0
Current children cumulated CPU time: 2022.36 s
Current children cumulated vsize: 8967404 KiB
Current children cumulated memory: 7820280 KiB
[startup+2082.3 s]
/proc/loadavg: 2.10 2.11 2.08 3/200 13023
/proc/meminfo: memFree=23231212/32770624 swapFree=66933896/67108860
[pid=12773] ppid=12770 vsize=8978420 memory=8294416 CPUtime=2082.35 cores=0,2,4,6
/proc/12773/stat : 12773 (xcsp_picat) R 12770 12773 10516 0 -1 4202496 1370132 0 0 0 183483 24752 0 0 20 0 1 0 410650480 9193902080 2073604 33554432000 4194304 5870510 140726707681968 140726707680936 5246280 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 41975808 140726707688479 140726707688557 140726707688557 140726707691466 0
/proc/12773/statm: 2244605 2073604 853 410 0 2240078 0
Current children cumulated CPU time: 2082.35 s
Current children cumulated vsize: 8978420 KiB
Current children cumulated memory: 8294416 KiB
[startup+2142.3 s]
/proc/loadavg: 2.52 2.21 2.12 3/199 13027
/proc/meminfo: memFree=25706216/32770624 swapFree=66933896/67108860
[pid=12773] ppid=12770 vsize=8981412 memory=5821376 CPUtime=2142.36 cores=0,2,4,6
/proc/12773/stat : 12773 (xcsp_picat) R 12770 12773 10516 0 -1 4202496 1403250 0 0 0 188855 25381 0 0 20 0 1 0 410650480 9196965888 1455344 33554432000 4194304 5870510 140726707681968 140726707680936 5245088 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 41975808 140726707688479 140726707688557 140726707688557 140726707691466 0
/proc/12773/statm: 2245353 1455344 853 410 0 2240826 0
Current children cumulated CPU time: 2142.36 s
Current children cumulated vsize: 8981412 KiB
Current children cumulated memory: 5821376 KiB
[startup+2202.3 s]
/proc/loadavg: 2.22 2.19 2.12 3/199 13031
/proc/meminfo: memFree=24541148/32770624 swapFree=66933896/67108860
[pid=12773] ppid=12770 vsize=8984260 memory=6981344 CPUtime=2202.36 cores=0,2,4,6
/proc/12773/stat : 12773 (xcsp_picat) R 12770 12773 10516 0 -1 4202496 1441512 0 0 0 194097 26139 0 0 20 0 1 0 410650480 9199882240 1745336 33554432000 4194304 5870510 140726707681968 140726707680936 5246749 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 41975808 140726707688479 140726707688557 140726707688557 140726707691466 0
/proc/12773/statm: 2246065 1745336 853 410 0 2241538 0
Current children cumulated CPU time: 2202.36 s
Current children cumulated vsize: 8984260 KiB
Current children cumulated memory: 6981344 KiB
[startup+2262.3 s]
/proc/loadavg: 2.08 2.15 2.11 3/201 13108
/proc/meminfo: memFree=23994400/32770624 swapFree=66933904/67108860
[pid=12773] ppid=12770 vsize=8994516 memory=7511428 CPUtime=2262.36 cores=0,2,4,6
/proc/12773/stat : 12773 (xcsp_picat) R 12770 12773 10516 0 -1 4202496 1478990 0 0 0 199372 26864 0 0 20 0 1 0 410650480 9210384384 1877857 33554432000 4194304 5870510 140726707681968 140726707680936 5246280 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 41975808 140726707688479 140726707688557 140726707688557 140726707691466 0
/proc/12773/statm: 2248629 1877857 853 410 0 2244102 0
Current children cumulated CPU time: 2262.36 s
Current children cumulated vsize: 8994516 KiB
Current children cumulated memory: 7511428 KiB
[startup+2322.3 s]
/proc/loadavg: 2.03 2.13 2.10 3/200 13112
/proc/meminfo: memFree=22583296/32770624 swapFree=66933904/67108860
[pid=12773] ppid=12770 vsize=8998116 memory=8636808 CPUtime=2322.36 cores=0,2,4,6
/proc/12773/stat : 12773 (xcsp_picat) R 12770 12773 10516 0 -1 4202496 1514214 0 0 0 204756 27480 0 0 20 0 1 0 410650480 9214070784 2159202 33554432000 4194304 5870510 140726707681968 140726707681288 5246232 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 41975808 140726707688479 140726707688557 140726707688557 140726707691466 0
/proc/12773/statm: 2249529 2159202 853 410 0 2245002 0
Current children cumulated CPU time: 2322.36 s
Current children cumulated vsize: 8998116 KiB
Current children cumulated memory: 8636808 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.10 2.10 3/200 13180
/proc/meminfo: memFree=24232660/32770624 swapFree=66933904/67108860
[pid=12773] ppid=12770 vsize=9000912 memory=7001728 CPUtime=2382.36 cores=0,2,4,6
/proc/12773/stat : 12773 (xcsp_picat) R 12770 12773 10516 0 -1 4202496 1548731 0 0 0 210041 28195 0 0 20 0 1 0 410650480 9216933888 1750432 33554432000 4194304 5870510 140726707681968 140726707680936 5245088 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 41975808 140726707688479 140726707688557 140726707688557 140726707691466 0
/proc/12773/statm: 2250228 1750432 853 410 0 2245701 0
Current children cumulated CPU time: 2382.36 s
Current children cumulated vsize: 9000912 KiB
Current children cumulated memory: 7001728 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]*
/proc/loadavg: 2.01 2.10 2.10 3/201 13183
/proc/meminfo: memFree=22304296/32770624 swapFree=66933904/67108860
[pid=12773] ppid=12770 vsize=9001584 memory=8642428 CPUtime=2400.07 cores=0,2,4,6
/proc/12773/stat : 12773 (xcsp_picat) R 12770 12773 10516 0 -1 4202496 1560504 0 0 0 211602 28405 0 0 20 0 1 0 410650480 9217622016 2160607 33554432000 4194304 5870510 140726707681968 140726707680936 5355029 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 41975808 140726707688479 140726707688557 140726707688557 140726707691466 0
/proc/12773/statm: 2250396 2160607 853 410 0 2245869 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 9001584 KiB
Current children cumulated memory: 8642428 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.04 s]
# the end of solver process 12773 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2116.03 s, system=284.085 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): 2400.04
CPU time (s): 2400.11
CPU user time (s): 2116.03
CPU system time (s): 284.085
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 12931288
Max. memory (cumulated for all children) (KiB): 12559368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2116.03
system time used= 284.084
maximum resident set size= 12559368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1560504
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= 4
involuntary context switches= 611
# summary of solver processes directly reported to runsolver:
# pid: 12773
# total CPU time (s): 2400.11
# total CPU user time (s): 2116.03
# total CPU system time (s): 284.085
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.74627 second user time and 18.0339 second system time
The end