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 (5941 MiB free)
memory of node 1: 16384 MiB (8380 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303513-1534000540/watcher-4303513-1534000540 -o /tmp/evaluation-result-4303513-1534000540/solver-4303513-1534000540 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1533989978-12842 --watchdog 2580 xcsp_picat HOME/instance-4303513-1534000540.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=14317, runsolver pid=14314
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 14318
/proc/meminfo: memFree=14632504/32770624 swapFree=67108688/67108860
[pid=14317] ppid=14314 vsize=2025744 memory=35616 CPUtime=0.1 cores=1,3,5,7
/proc/14317/stat : 14317 (xcsp_picat) R 14314 14317 12810 0 -1 4202496 1411 0 0 0 10 0 0 0 20 0 1 0 217616915 2074361856 8904 33554432000 4194304 5849708 140725817810096 140725817810096 4465966 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 47386624 140725817812150 140725817812228 140725817812228 140725817814986 0
/proc/14317/statm: 506436 8904 635 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 35616 KiB
[startup+0.209728 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 14318
/proc/meminfo: memFree=14621344/32770624 swapFree=67108688/67108860
[pid=14317] ppid=14314 vsize=2042920 memory=52900 CPUtime=0.2 cores=1,3,5,7
/proc/14317/stat : 14317 (xcsp_picat) R 14314 14317 12810 0 -1 4202496 5267 0 0 0 20 0 0 0 20 0 1 0 217616915 2091950080 13225 33554432000 4194304 5849708 140725817810096 140725817810096 140149014173600 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 47386624 140725817812150 140725817812228 140725817812228 140725817814986 0
/proc/14317/statm: 510730 13225 670 405 0 507675 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2042920 KiB
Current children cumulated memory: 52900 KiB
[startup+0.309622 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 14318
/proc/meminfo: memFree=14601828/32770624 swapFree=67108688/67108860
[pid=14317] ppid=14314 vsize=2056232 memory=66500 CPUtime=0.31 cores=1,3,5,7
/proc/14317/stat : 14317 (xcsp_picat) R 14314 14317 12810 0 -1 4202496 6580 0 0 0 30 1 0 0 20 0 1 0 217616915 2105581568 16625 33554432000 4194304 5849708 140725817810096 140725817810096 140149014585223 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 47386624 140725817812150 140725817812228 140725817812228 140725817814986 0
/proc/14317/statm: 514058 16625 689 405 0 511003 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2056232 KiB
Current children cumulated memory: 66500 KiB
[startup+0.700406 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14318
/proc/meminfo: memFree=14600960/32770624 swapFree=67108688/67108860
[pid=14317] ppid=14314 vsize=2057064 memory=67040 CPUtime=0.69 cores=1,3,5,7
/proc/14317/stat : 14317 (xcsp_picat) R 14314 14317 12810 0 -1 4202496 11173 0 0 0 68 1 0 0 20 0 1 0 217616915 2106433536 16760 33554432000 4194304 5849708 140725817810096 140725817808744 5302973 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 47386624 140725817812150 140725817812228 140725817812228 140725817814986 0
/proc/14317/statm: 514266 16760 716 405 0 511211 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2057064 KiB
Current children cumulated memory: 67040 KiB
[startup+1.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14318
/proc/meminfo: memFree=14600652/32770624 swapFree=67108688/67108860
[pid=14317] ppid=14314 vsize=2057052 memory=67300 CPUtime=1.49 cores=1,3,5,7
/proc/14317/stat : 14317 (xcsp_picat) R 14314 14317 12810 0 -1 4202496 11185 0 0 0 148 1 0 0 20 0 1 0 217616915 2106421248 16825 33554432000 4194304 5849708 140725817810096 140725817808744 5359115 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 47386624 140725817812150 140725817812228 140725817812228 140725817814986 0
/proc/14317/statm: 514263 16825 716 405 0 511208 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2057052 KiB
Current children cumulated memory: 67300 KiB
[startup+3.1096 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14318
/proc/meminfo: memFree=14604760/32770624 swapFree=67108688/67108860
[pid=14317] ppid=14314 vsize=2053172 memory=63324 CPUtime=3.1 cores=1,3,5,7
/proc/14317/stat : 14317 (xcsp_picat) R 14314 14317 12810 0 -1 4202496 18334 0 0 0 308 2 0 0 20 0 1 0 217616915 2102448128 15831 33554432000 4194304 5849708 140725817810096 140725817808584 140149014173686 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 47386624 140725817812150 140725817812228 140725817812228 140725817814986 0
/proc/14317/statm: 513293 15831 725 405 0 510238 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2053172 KiB
Current children cumulated memory: 63324 KiB
[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14318
/proc/meminfo: memFree=14600784/32770624 swapFree=67108688/67108860
[pid=14317] ppid=14314 vsize=2056932 memory=67232 CPUtime=6.29 cores=1,3,5,7
/proc/14317/stat : 14317 (xcsp_picat) R 14314 14317 12810 0 -1 4202496 22521 0 0 0 627 2 0 0 20 0 1 0 217616915 2106298368 16808 33554432000 4194304 5849708 140725817810096 140725817807640 5318663 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 47386624 140725817812150 140725817812228 140725817812228 140725817814986 0
/proc/14317/statm: 514233 16808 728 405 0 511178 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2056932 KiB
Current children cumulated memory: 67232 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14318
/proc/meminfo: memFree=14631008/32770624 swapFree=67108688/67108860
[pid=14317] ppid=14314 vsize=2059624 memory=69940 CPUtime=12.68 cores=1,3,5,7
/proc/14317/stat : 14317 (xcsp_picat) R 14314 14317 12810 0 -1 4202496 28193 0 0 0 1264 4 0 0 20 0 1 0 217616915 2109054976 17485 33554432000 4194304 5849708 140725817810096 140725817809096 5437625 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 47386624 140725817812150 140725817812228 140725817812228 140725817814986 0
/proc/14317/statm: 514906 17485 732 405 0 511851 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2059624 KiB
Current children cumulated memory: 69940 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14318
/proc/meminfo: memFree=14633340/32770624 swapFree=67108688/67108860
[pid=14317] ppid=14314 vsize=2056380 memory=66808 CPUtime=25.48 cores=1,3,5,7
/proc/14317/stat : 14317 (xcsp_picat) R 14314 14317 12810 0 -1 4202496 37878 0 0 0 2540 8 0 0 20 0 1 0 217616915 2105733120 16702 33554432000 4194304 5849708 140725817810096 140725817808824 140149014585223 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 47386624 140725817812150 140725817812228 140725817812228 140725817814986 0
/proc/14317/statm: 514095 16702 732 405 0 511040 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2056380 KiB
Current children cumulated memory: 66808 KiB
[startup+51.1095 s]
/proc/loadavg: 2.29 2.08 2.07 3/187 14318
/proc/meminfo: memFree=14633216/32770624 swapFree=67108688/67108860
[pid=14317] ppid=14314 vsize=2057748 memory=67044 CPUtime=51.09 cores=1,3,5,7
/proc/14317/stat : 14317 (xcsp_picat) R 14314 14317 12810 0 -1 4202496 43497 0 0 0 5092 17 0 0 20 0 1 0 217616915 2107133952 16761 33554432000 4194304 5849708 140725817810096 140725817809096 140149014585223 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 47386624 140725817812150 140725817812228 140725817812228 140725817814986 0
/proc/14317/statm: 514437 16761 732 405 0 511382 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2057748 KiB
Current children cumulated memory: 67044 KiB
[startup+102.3 s]
/proc/loadavg: 2.32 2.14 2.09 3/187 14319
/proc/meminfo: memFree=14681196/32770624 swapFree=67108688/67108860
[pid=14317] ppid=14314 vsize=2074916 memory=85236 CPUtime=102.26 cores=1,3,5,7
/proc/14317/stat : 14317 (xcsp_picat) R 14314 14317 12810 0 -1 4202496 54980 0 0 0 10193 33 0 0 20 0 1 0 217616915 2124713984 21309 33554432000 4194304 5849708 140725817810096 140725817809256 140149014585223 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 47386624 140725817812150 140725817812228 140725817812228 140725817814986 0
/proc/14317/statm: 518729 21309 733 405 0 515674 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 2074916 KiB
Current children cumulated memory: 85236 KiB
[startup+162.3 s]
/proc/loadavg: 2.12 2.11 2.08 3/187 14320
/proc/meminfo: memFree=14628312/32770624 swapFree=67108688/67108860
[pid=14317] ppid=14314 vsize=2074916 memory=85236 CPUtime=162.26 cores=1,3,5,7
/proc/14317/stat : 14317 (xcsp_picat) R 14314 14317 12810 0 -1 4202496 57445 0 0 0 16177 49 0 0 20 0 1 0 217616915 2124713984 21309 33554432000 4194304 5849708 140725817810096 140725817809096 140149014585223 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 47386624 140725817812150 140725817812228 140725817812228 140725817814986 0
/proc/14317/statm: 518729 21309 733 405 0 515674 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 2074916 KiB
Current children cumulated memory: 85236 KiB
[startup+222.3 s]
/proc/loadavg: 2.04 2.09 2.08 3/187 14321
/proc/meminfo: memFree=14660692/32770624 swapFree=67108688/67108860
[pid=14317] ppid=14314 vsize=2074916 memory=85236 CPUtime=222.24 cores=1,3,5,7
/proc/14317/stat : 14317 (xcsp_picat) R 14314 14317 12810 0 -1 4202496 61769 0 0 0 22162 62 0 0 20 0 1 0 217616915 2124713984 21309 33554432000 4194304 5849708 140725817810096 140725817809096 140149014585223 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 47386624 140725817812150 140725817812228 140725817812228 140725817814986 0
/proc/14317/statm: 518729 21309 733 405 0 515674 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 2074916 KiB
Current children cumulated memory: 85236 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.07 2.07 3/188 14330
/proc/meminfo: memFree=14622520/32770624 swapFree=67108688/67108860
[pid=14317] ppid=14314 vsize=2082060 memory=92224 CPUtime=282.23 cores=1,3,5,7
/proc/14317/stat : 14317 (xcsp_picat) R 14314 14317 12810 0 -1 4202496 66819 0 0 0 28146 77 0 0 20 0 1 0 217616915 2132029440 23056 33554432000 4194304 5849708 140725817810096 140725817809096 140149014585223 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 47386624 140725817812150 140725817812228 140725817812228 140725817814986 0
/proc/14317/statm: 520515 23056 733 405 0 517460 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 2082060 KiB
Current children cumulated memory: 92224 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/188 14331
/proc/meminfo: memFree=14563252/32770624 swapFree=67108688/67108860
[pid=14317] ppid=14314 vsize=2090776 memory=101096 CPUtime=342.22 cores=1,3,5,7
/proc/14317/stat : 14317 (xcsp_picat) R 14314 14317 12810 0 -1 4202496 71124 0 0 0 34129 93 0 0 20 0 1 0 217616915 2140954624 25274 33554432000 4194304 5849708 140725817810096 140725817809096 140149014585223 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 47386624 140725817812150 140725817812228 140725817812228 140725817814986 0
/proc/14317/statm: 522694 25274 733 405 0 519639 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 2090776 KiB
Current children cumulated memory: 101096 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/188 14332
/proc/meminfo: memFree=14513416/32770624 swapFree=67108688/67108860
[pid=14317] ppid=14314 vsize=2090776 memory=101096 CPUtime=402.22 cores=1,3,5,7
/proc/14317/stat : 14317 (xcsp_picat) R 14314 14317 12810 0 -1 4202496 79477 0 0 0 40112 110 0 0 20 0 1 0 217616915 2140954624 25274 33554432000 4194304 5849708 140725817810096 140725817808744 5309731 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 47386624 140725817812150 140725817812228 140725817812228 140725817814986 0
/proc/14317/statm: 522694 25274 733 405 0 519639 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 2090776 KiB
Current children cumulated memory: 101096 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 14333
/proc/meminfo: memFree=14604048/32770624 swapFree=67108688/67108860
[pid=14317] ppid=14314 vsize=2090776 memory=101096 CPUtime=462.22 cores=1,3,5,7
/proc/14317/stat : 14317 (xcsp_picat) R 14314 14317 12810 0 -1 4202496 85829 0 0 0 46095 127 0 0 20 0 1 0 217616915 2140954624 25274 33554432000 4194304 5849708 140725817810096 140725817809096 5437837 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 47386624 140725817812150 140725817812228 140725817812228 140725817814986 0
/proc/14317/statm: 522694 25274 733 405 0 519639 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 2090776 KiB
Current children cumulated memory: 101096 KiB
################
# More data... #
################
/proc/14317/statm: 535333 39033 733 405 0 532278 0
Current children cumulated CPU time: 1722.1 s
Current children cumulated vsize: 2141332 KiB
Current children cumulated memory: 156132 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 14615
/proc/meminfo: memFree=14709124/32770624 swapFree=67108688/67108860
[pid=14317] ppid=14314 vsize=2141332 memory=156132 CPUtime=1782.1 cores=1,3,5,7
/proc/14317/stat : 14317 (xcsp_picat) R 14314 14317 12810 0 -1 4202496 114957 0 0 0 177744 466 0 0 20 0 1 0 217616915 2192723968 39033 33554432000 4194304 5849708 140725817810096 140725817809256 140149014585223 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 47386624 140725817812150 140725817812228 140725817812228 140725817814986 0
/proc/14317/statm: 535333 39033 733 405 0 532278 0
Current children cumulated CPU time: 1782.1 s
Current children cumulated vsize: 2141332 KiB
Current children cumulated memory: 156132 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 14616
/proc/meminfo: memFree=14696120/32770624 swapFree=67108688/67108860
[pid=14317] ppid=14314 vsize=2141332 memory=156132 CPUtime=1842.1 cores=1,3,5,7
/proc/14317/stat : 14317 (xcsp_picat) R 14314 14317 12810 0 -1 4202496 115089 0 0 0 183731 479 0 0 20 0 1 0 217616915 2192723968 39033 33554432000 4194304 5849708 140725817810096 140725817809096 140149014585223 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 47386624 140725817812150 140725817812228 140725817812228 140725817814986 0
/proc/14317/statm: 535333 39033 733 405 0 532278 0
Current children cumulated CPU time: 1842.1 s
Current children cumulated vsize: 2141332 KiB
Current children cumulated memory: 156132 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 14617
/proc/meminfo: memFree=14695884/32770624 swapFree=67108688/67108860
[pid=14317] ppid=14314 vsize=2141332 memory=156132 CPUtime=1902.1 cores=1,3,5,7
/proc/14317/stat : 14317 (xcsp_picat) R 14314 14317 12810 0 -1 4202496 117420 0 0 0 189717 493 0 0 20 0 1 0 217616915 2192723968 39033 33554432000 4194304 5849708 140725817810096 140725817809096 140149014585223 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 47386624 140725817812150 140725817812228 140725817812228 140725817814986 0
/proc/14317/statm: 535333 39033 733 405 0 532278 0
Current children cumulated CPU time: 1902.1 s
Current children cumulated vsize: 2141332 KiB
Current children cumulated memory: 156132 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 14618
/proc/meminfo: memFree=14704440/32770624 swapFree=67108688/67108860
[pid=14317] ppid=14314 vsize=2141332 memory=156132 CPUtime=1962.09 cores=1,3,5,7
/proc/14317/stat : 14317 (xcsp_picat) R 14314 14317 12810 0 -1 4202496 117713 0 0 0 195704 505 0 0 20 0 1 0 217616915 2192723968 39033 33554432000 4194304 5849708 140725817810096 140725817809256 5437636 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 47386624 140725817812150 140725817812228 140725817812228 140725817814986 0
/proc/14317/statm: 535333 39033 733 405 0 532278 0
Current children cumulated CPU time: 1962.09 s
Current children cumulated vsize: 2141332 KiB
Current children cumulated memory: 156132 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 14619
/proc/meminfo: memFree=14695768/32770624 swapFree=67108688/67108860
[pid=14317] ppid=14314 vsize=2141332 memory=156132 CPUtime=2022.08 cores=1,3,5,7
/proc/14317/stat : 14317 (xcsp_picat) R 14314 14317 12810 0 -1 4202496 119071 0 0 0 201691 517 0 0 20 0 1 0 217616915 2192723968 39033 33554432000 4194304 5849708 140725817810096 140725817809096 140149014585223 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 47386624 140725817812150 140725817812228 140725817812228 140725817814986 0
/proc/14317/statm: 535333 39033 733 405 0 532278 0
Current children cumulated CPU time: 2022.08 s
Current children cumulated vsize: 2141332 KiB
Current children cumulated memory: 156132 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 14628
/proc/meminfo: memFree=14702924/32770624 swapFree=67108688/67108860
[pid=14317] ppid=14314 vsize=2141332 memory=156132 CPUtime=2082.08 cores=1,3,5,7
/proc/14317/stat : 14317 (xcsp_picat) R 14314 14317 12810 0 -1 4202496 120195 0 0 0 207676 532 0 0 20 0 1 0 217616915 2192723968 39033 33554432000 4194304 5849708 140725817810096 140725817809096 140149014585223 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 47386624 140725817812150 140725817812228 140725817812228 140725817814986 0
/proc/14317/statm: 535333 39033 733 405 0 532278 0
Current children cumulated CPU time: 2082.08 s
Current children cumulated vsize: 2141332 KiB
Current children cumulated memory: 156132 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 14629
/proc/meminfo: memFree=14694756/32770624 swapFree=67108688/67108860
[pid=14317] ppid=14314 vsize=2141332 memory=156132 CPUtime=2142.08 cores=1,3,5,7
/proc/14317/stat : 14317 (xcsp_picat) R 14314 14317 12810 0 -1 4202496 121926 0 0 0 213660 548 0 0 20 0 1 0 217616915 2192723968 39033 33554432000 4194304 5849708 140725817810096 140725817809096 140149014585223 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 47386624 140725817812150 140725817812228 140725817812228 140725817814986 0
/proc/14317/statm: 535333 39033 733 405 0 532278 0
Current children cumulated CPU time: 2142.08 s
Current children cumulated vsize: 2141332 KiB
Current children cumulated memory: 156132 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 14630
/proc/meminfo: memFree=14694240/32770624 swapFree=67108688/67108860
[pid=14317] ppid=14314 vsize=2141332 memory=156132 CPUtime=2202.07 cores=1,3,5,7
/proc/14317/stat : 14317 (xcsp_picat) R 14314 14317 12810 0 -1 4202496 122461 0 0 0 219645 562 0 0 20 0 1 0 217616915 2192723968 39033 33554432000 4194304 5849708 140725817810096 140725817809096 5438278 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 47386624 140725817812150 140725817812228 140725817812228 140725817814986 0
/proc/14317/statm: 535333 39033 733 405 0 532278 0
Current children cumulated CPU time: 2202.07 s
Current children cumulated vsize: 2141332 KiB
Current children cumulated memory: 156132 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 14631
/proc/meminfo: memFree=14687168/32770624 swapFree=67108688/67108860
[pid=14317] ppid=14314 vsize=2147656 memory=162676 CPUtime=2262.06 cores=1,3,5,7
/proc/14317/stat : 14317 (xcsp_picat) R 14314 14317 12810 0 -1 4202496 124798 0 0 0 225632 574 0 0 20 0 1 0 217616915 2199199744 40669 33554432000 4194304 5849708 140725817810096 140725817809096 5438212 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 47386624 140725817812150 140725817812228 140725817812228 140725817814986 0
/proc/14317/statm: 536914 40669 733 405 0 533859 0
Current children cumulated CPU time: 2262.06 s
Current children cumulated vsize: 2147656 KiB
Current children cumulated memory: 162676 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 14632
/proc/meminfo: memFree=14682020/32770624 swapFree=67108688/67108860
[pid=14317] ppid=14314 vsize=2152880 memory=167792 CPUtime=2322.06 cores=1,3,5,7
/proc/14317/stat : 14317 (xcsp_picat) R 14314 14317 12810 0 -1 4202496 126213 0 0 0 231618 588 0 0 20 0 1 0 217616915 2204549120 41948 33554432000 4194304 5849708 140725817810096 140725817809096 140149014585223 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 47386624 140725817812150 140725817812228 140725817812228 140725817814986 0
/proc/14317/statm: 538220 41948 733 405 0 535165 0
Current children cumulated CPU time: 2322.06 s
Current children cumulated vsize: 2152880 KiB
Current children cumulated memory: 167792 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 14634
/proc/meminfo: memFree=14664476/32770624 swapFree=67108688/67108860
[pid=14317] ppid=14314 vsize=2170576 memory=185596 CPUtime=2382.05 cores=1,3,5,7
/proc/14317/stat : 14317 (xcsp_picat) R 14314 14317 12810 0 -1 4202496 130569 0 0 0 237602 603 0 0 20 0 1 0 217616915 2222669824 46399 33554432000 4194304 5849708 140725817810096 140725817809096 140149014173623 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 47386624 140725817812150 140725817812228 140725817812228 140725817814986 0
/proc/14317/statm: 542644 46399 733 405 0 539589 0
Current children cumulated CPU time: 2382.05 s
Current children cumulated vsize: 2170576 KiB
Current children cumulated memory: 185596 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 14635
/proc/meminfo: memFree=14664224/32770624 swapFree=67108688/67108860
[pid=14317] ppid=14314 vsize=2170576 memory=185596 CPUtime=2442.06 cores=1,3,5,7
/proc/14317/stat : 14317 (xcsp_picat) R 14314 14317 12810 0 -1 4202496 131342 0 0 0 243590 616 0 0 20 0 1 0 217616915 2222669824 46399 33554432000 4194304 5849708 140725817810096 140725817809096 5335614 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 47386624 140725817812150 140725817812228 140725817812228 140725817814986 0
/proc/14317/statm: 542644 46399 733 405 0 539589 0
Current children cumulated CPU time: 2442.06 s
Current children cumulated vsize: 2170576 KiB
Current children cumulated memory: 185596 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 14636
/proc/meminfo: memFree=14664204/32770624 swapFree=67108688/67108860
[pid=14317] ppid=14314 vsize=2170576 memory=185596 CPUtime=2502.05 cores=1,3,5,7
/proc/14317/stat : 14317 (xcsp_picat) R 14314 14317 12810 0 -1 4202496 134479 0 0 0 249574 631 0 0 20 0 1 0 217616915 2222669824 46399 33554432000 4194304 5849708 140725817810096 140725817809096 140149014585223 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 47386624 140725817812150 140725817812228 140725817812228 140725817814986 0
/proc/14317/statm: 542644 46399 733 405 0 539589 0
Current children cumulated CPU time: 2502.05 s
Current children cumulated vsize: 2170576 KiB
Current children cumulated memory: 185596 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.00 2.04 3/187 14636
/proc/meminfo: memFree=14664204/32770624 swapFree=67108688/67108860
[pid=14317] ppid=14314 vsize=2170576 memory=185596 CPUtime=2519.75 cores=1,3,5,7
/proc/14317/stat : 14317 (xcsp_picat) R 14314 14317 12810 0 -1 4202496 134539 0 0 0 251340 635 0 0 20 0 1 0 217616915 2222669824 46399 33554432000 4194304 5849708 140725817810096 140725817809096 140149014585223 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 47386624 140725817812150 140725817812228 140725817812228 140725817814986 0
/proc/14317/statm: 542644 46399 733 405 0 539589 0
Current children cumulated CPU time: 2519.75 s
Current children cumulated vsize: 2170576 KiB
Current children cumulated memory: 185596 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 14317 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.41 s, system=6.3604 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.01
CPU time (s): 2519.77
CPU user time (s): 2513.41
CPU system time (s): 6.3604
CPU usage (%): 99.9903
Max. virtual memory (cumulated for all children) (KiB): 2170576
Max. memory (cumulated for all children) (KiB): 185596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.41
system time used= 6.3604
maximum resident set size= 185596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134539
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= 15
involuntary context switches= 972
# summary of solver processes directly reported to runsolver:
# pid: 14317
# total CPU time (s): 2519.77
# total CPU user time (s): 2513.41
# total CPU system time (s): 6.3604
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.48273 second user time and 18.8171 second system time
The end