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 (10908 MiB free)
memory of node 1: 16384 MiB (6781 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303316-1534000819/watcher-4303316-1534000819 -o /tmp/evaluation-result-4303316-1534000819/solver-4303316-1534000819 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1533991241-25512 --watchdog 2580 xcsp_picat HOME/instance-4303316-1534000819.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=26915, runsolver pid=26912
[startup+0.100201 s]*
/proc/loadavg: 1.93 2.00 2.04 3/192 26916
/proc/meminfo: memFree=18099876/32770624 swapFree=67108688/67108860
[pid=26915] ppid=26912 vsize=2027384 memory=17396 CPUtime=0.1 cores=0,2,4,6
/proc/26915/stat : 26915 (xcsp_picat) R 26912 26915 25480 0 -1 4202496 1978 0 0 0 10 0 0 0 20 0 1 0 217645131 2076041216 4349 33554432000 4194304 5849708 140725249662880 140725249662880 5410430 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 35123200 140725249668278 140725249668356 140725249668356 140725249671114 0
/proc/26915/statm: 506846 4349 677 405 0 503791 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2027384 KiB
Current children cumulated memory: 17396 KiB
[startup+0.209889 s]*
/proc/loadavg: 1.93 2.00 2.04 3/192 26916
/proc/meminfo: memFree=18099876/32770624 swapFree=67108688/67108860
[pid=26915] ppid=26912 vsize=2027384 memory=17396 CPUtime=0.21 cores=0,2,4,6
/proc/26915/stat : 26915 (xcsp_picat) R 26912 26915 25480 0 -1 4202496 1978 0 0 0 21 0 0 0 20 0 1 0 217645131 2076041216 4349 33554432000 4194304 5849708 140725249662880 140725249662880 5394865 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 35123200 140725249668278 140725249668356 140725249668356 140725249671114 0
/proc/26915/statm: 506846 4349 677 405 0 503791 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2027384 KiB
Current children cumulated memory: 17396 KiB
[startup+0.309103 s]*
/proc/loadavg: 1.93 2.00 2.04 3/192 26916
/proc/meminfo: memFree=18098760/32770624 swapFree=67108688/67108860
[pid=26915] ppid=26912 vsize=2028408 memory=18252 CPUtime=0.31 cores=0,2,4,6
/proc/26915/stat : 26915 (xcsp_picat) R 26912 26915 25480 0 -1 4202496 2241 0 0 0 31 0 0 0 20 0 1 0 217645131 2077089792 4563 33554432000 4194304 5849708 140725249662880 140725249662880 4221572 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 35123200 140725249668278 140725249668356 140725249668356 140725249671114 0
/proc/26915/statm: 507102 4563 694 405 0 504047 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2028408 KiB
Current children cumulated memory: 18252 KiB
[startup+0.700333 s]
/proc/loadavg: 1.93 2.00 2.04 3/192 26916
/proc/meminfo: memFree=18097768/32770624 swapFree=67108688/67108860
[pid=26915] ppid=26912 vsize=2030420 memory=19836 CPUtime=0.69 cores=0,2,4,6
/proc/26915/stat : 26915 (xcsp_picat) R 26912 26915 25480 0 -1 4202496 2889 0 0 0 69 0 0 0 20 0 1 0 217645131 2079150080 4959 33554432000 4194304 5849708 140725249662880 140725249661752 4212035 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 35123200 140725249668278 140725249668356 140725249668356 140725249671114 0
/proc/26915/statm: 507605 4959 705 405 0 504550 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2030420 KiB
Current children cumulated memory: 19836 KiB
[startup+1.50034 s]
/proc/loadavg: 1.93 2.00 2.04 3/192 26916
/proc/meminfo: memFree=18097808/32770624 swapFree=67108688/67108860
[pid=26915] ppid=26912 vsize=2030420 memory=19836 CPUtime=1.49 cores=0,2,4,6
/proc/26915/stat : 26915 (xcsp_picat) R 26912 26915 25480 0 -1 4202496 2889 0 0 0 149 0 0 0 20 0 1 0 217645131 2079150080 4959 33554432000 4194304 5849708 140725249662880 140725249661128 4212035 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 35123200 140725249668278 140725249668356 140725249668356 140725249671114 0
/proc/26915/statm: 507605 4959 705 405 0 504550 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2030420 KiB
Current children cumulated memory: 19836 KiB
[startup+3.10943 s]
/proc/loadavg: 1.93 2.00 2.04 3/192 26916
/proc/meminfo: memFree=18097808/32770624 swapFree=67108688/67108860
[pid=26915] ppid=26912 vsize=2030420 memory=19988 CPUtime=3.1 cores=0,2,4,6
/proc/26915/stat : 26915 (xcsp_picat) R 26912 26915 25480 0 -1 4202496 3646 0 0 0 308 2 0 0 20 0 1 0 217645131 2079150080 4997 33554432000 4194304 5849708 140725249662880 140725249661880 140487425281927 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 35123200 140725249668278 140725249668356 140725249668356 140725249671114 0
/proc/26915/statm: 507605 4997 709 405 0 504550 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2030420 KiB
Current children cumulated memory: 19988 KiB
[startup+6.30035 s]
/proc/loadavg: 1.93 2.00 2.04 3/192 26916
/proc/meminfo: memFree=18093496/32770624 swapFree=67108688/67108860
[pid=26915] ppid=26912 vsize=2034972 memory=25000 CPUtime=6.29 cores=0,2,4,6
/proc/26915/stat : 26915 (xcsp_picat) R 26912 26915 25480 0 -1 4202496 7888 0 0 0 621 8 0 0 20 0 1 0 217645131 2083811328 6250 33554432000 4194304 5849708 140725249662880 140725249661880 140487425281927 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 35123200 140725249668278 140725249668356 140725249668356 140725249671114 0
/proc/26915/statm: 508743 6250 709 405 0 505688 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2034972 KiB
Current children cumulated memory: 25000 KiB
[startup+12.7004 s]
/proc/loadavg: 1.94 2.00 2.04 3/192 26916
/proc/meminfo: memFree=18089544/32770624 swapFree=67108688/67108860
[pid=26915] ppid=26912 vsize=2038744 memory=28680 CPUtime=12.69 cores=0,2,4,6
/proc/26915/stat : 26915 (xcsp_picat) R 26912 26915 25480 0 -1 4202496 14992 0 0 0 1252 17 0 0 20 0 1 0 217645131 2087673856 7170 33554432000 4194304 5849708 140725249662880 140725249661368 140487425281927 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 35123200 140725249668278 140725249668356 140725249668356 140725249671114 0
/proc/26915/statm: 509686 7170 709 405 0 506631 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2038744 KiB
Current children cumulated memory: 28680 KiB
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/192 26916
/proc/meminfo: memFree=18079596/32770624 swapFree=67108688/67108860
[pid=26915] ppid=26912 vsize=2037568 memory=27564 CPUtime=25.49 cores=0,2,4,6
/proc/26915/stat : 26915 (xcsp_picat) R 26912 26915 25480 0 -1 4202496 32364 0 0 0 2516 33 0 0 20 0 1 0 217645131 2086469632 6891 33554432000 4194304 5849708 140725249662880 140725249661880 140487425281927 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 35123200 140725249668278 140725249668356 140725249668356 140725249671114 0
/proc/26915/statm: 509392 6891 709 405 0 506337 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2037568 KiB
Current children cumulated memory: 27564 KiB
[startup+51.1096 s]
/proc/loadavg: 1.97 2.00 2.04 3/191 26916
/proc/meminfo: memFree=18105136/32770624 swapFree=67108688/67108860
[pid=26915] ppid=26912 vsize=2050772 memory=40888 CPUtime=51.1 cores=0,2,4,6
/proc/26915/stat : 26915 (xcsp_picat) R 26912 26915 25480 0 -1 4202496 66408 0 0 0 5046 64 0 0 20 0 1 0 217645131 2099990528 10222 33554432000 4194304 5849708 140725249662880 140725249661880 5438264 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 35123200 140725249668278 140725249668356 140725249668356 140725249671114 0
/proc/26915/statm: 512693 10222 709 405 0 509638 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2050772 KiB
Current children cumulated memory: 40888 KiB
[startup+102.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/191 26917
/proc/meminfo: memFree=18089284/32770624 swapFree=67108688/67108860
[pid=26915] ppid=26912 vsize=2046720 memory=36732 CPUtime=102.29 cores=0,2,4,6
/proc/26915/stat : 26915 (xcsp_picat) R 26912 26915 25480 0 -1 4202496 119571 0 0 0 10117 112 0 0 20 0 1 0 217645131 2095841280 9183 33554432000 4194304 5849708 140725249662880 140725249661880 5335618 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 35123200 140725249668278 140725249668356 140725249668356 140725249671114 0
/proc/26915/statm: 511680 9183 709 405 0 508625 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2046720 KiB
Current children cumulated memory: 36732 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/191 26918
/proc/meminfo: memFree=18110444/32770624 swapFree=67108688/67108860
[pid=26915] ppid=26912 vsize=2048588 memory=38488 CPUtime=162.28 cores=0,2,4,6
/proc/26915/stat : 26915 (xcsp_picat) R 26912 26915 25480 0 -1 4202496 163160 0 0 0 16065 163 0 0 20 0 1 0 217645131 2097754112 9622 33554432000 4194304 5849708 140725249662880 140725249662040 140487425281927 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 35123200 140725249668278 140725249668356 140725249668356 140725249671114 0
/proc/26915/statm: 512147 9622 709 405 0 509092 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2048588 KiB
Current children cumulated memory: 38488 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 26920
/proc/meminfo: memFree=18073904/32770624 swapFree=67108688/67108860
[pid=26915] ppid=26912 vsize=2064888 memory=54964 CPUtime=222.29 cores=0,2,4,6
/proc/26915/stat : 26915 (xcsp_picat) R 26912 26915 25480 0 -1 4202496 199692 0 0 0 22016 213 0 0 20 0 1 0 217645131 2114445312 13741 33554432000 4194304 5849708 140725249662880 140725249661880 5335528 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 35123200 140725249668278 140725249668356 140725249668356 140725249671114 0
/proc/26915/statm: 516222 13741 709 405 0 513167 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2064888 KiB
Current children cumulated memory: 54964 KiB
[startup+282.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/193 26922
/proc/meminfo: memFree=18093272/32770624 swapFree=67108688/67108860
[pid=26915] ppid=26912 vsize=2054568 memory=44612 CPUtime=282.28 cores=0,2,4,6
/proc/26915/stat : 26915 (xcsp_picat) R 26912 26915 25480 0 -1 4202496 238330 0 0 0 27970 258 0 0 20 0 1 0 217645131 2103877632 11153 33554432000 4194304 5849708 140725249662880 140725249662040 5437690 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 35123200 140725249668278 140725249668356 140725249668356 140725249671114 0
/proc/26915/statm: 513642 11153 709 405 0 510587 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2054568 KiB
Current children cumulated memory: 44612 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/192 26924
/proc/meminfo: memFree=18059120/32770624 swapFree=67108688/67108860
[pid=26915] ppid=26912 vsize=2073308 memory=63172 CPUtime=342.28 cores=0,2,4,6
/proc/26915/stat : 26915 (xcsp_picat) R 26912 26915 25480 0 -1 4202496 275500 0 0 0 33922 306 0 0 20 0 1 0 217645131 2123067392 15793 33554432000 4194304 5849708 140725249662880 140725249661880 140487425281927 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 35123200 140725249668278 140725249668356 140725249668356 140725249671114 0
/proc/26915/statm: 518327 15793 709 405 0 515272 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2073308 KiB
Current children cumulated memory: 63172 KiB
[startup+402.3 s]
/proc/loadavg: 2.15 2.05 2.06 3/192 26925
/proc/meminfo: memFree=18021812/32770624 swapFree=67108688/67108860
[pid=26915] ppid=26912 vsize=2119232 memory=109292 CPUtime=402.27 cores=0,2,4,6
/proc/26915/stat : 26915 (xcsp_picat) R 26912 26915 25480 0 -1 4202496 290556 0 0 0 39897 330 0 0 20 0 1 0 217645131 2170093568 27323 33554432000 4194304 5849708 140725249662880 140725249661880 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 35123200 140725249668278 140725249668356 140725249668356 140725249671114 0
/proc/26915/statm: 529808 27323 709 405 0 526753 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2119232 KiB
Current children cumulated memory: 109292 KiB
[startup+462.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/192 26926
/proc/meminfo: memFree=18029040/32770624 swapFree=67108688/67108860
[pid=26915] ppid=26912 vsize=2095828 memory=85840 CPUtime=462.28 cores=0,2,4,6
/proc/26915/stat : 26915 (xcsp_picat) R 26912 26915 25480 0 -1 4202496 311631 0 0 0 45877 351 0 0 20 0 1 0 217645131 2146127872 21460 33554432000 4194304 5849708 140725249662880 140725249662040 5413320 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 35123200 140725249668278 140725249668356 140725249668356 140725249671114 0
/proc/26915/statm: 523957 21460 709 405 0 520902 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 2095828 KiB
Current children cumulated memory: 85840 KiB
################
# More data... #
################
/proc/26915/statm: 615611 114200 709 405 0 612556 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 2462444 KiB
Current children cumulated memory: 456800 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/191 27027
/proc/meminfo: memFree=17364260/32770624 swapFree=67108688/67108860
[pid=26915] ppid=26912 vsize=2462444 memory=456800 CPUtime=1782.23 cores=0,2,4,6
/proc/26915/stat : 26915 (xcsp_picat) R 26912 26915 25480 0 -1 4202496 722504 0 0 0 177579 644 0 0 20 0 1 0 217645131 2521542656 114200 33554432000 4194304 5849708 140725249662880 140725249661752 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 35123200 140725249668278 140725249668356 140725249668356 140725249671114 0
/proc/26915/statm: 615611 114200 709 405 0 612556 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 2462444 KiB
Current children cumulated memory: 456800 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/191 27036
/proc/meminfo: memFree=17363888/32770624 swapFree=67108688/67108860
[pid=26915] ppid=26912 vsize=2462444 memory=456800 CPUtime=1842.24 cores=0,2,4,6
/proc/26915/stat : 26915 (xcsp_picat) R 26912 26915 25480 0 -1 4202496 775249 0 0 0 183573 651 0 0 20 0 1 0 217645131 2521542656 114200 33554432000 4194304 5849708 140725249662880 140725249661880 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 35123200 140725249668278 140725249668356 140725249668356 140725249671114 0
/proc/26915/statm: 615611 114200 709 405 0 612556 0
Current children cumulated CPU time: 1842.24 s
Current children cumulated vsize: 2462444 KiB
Current children cumulated memory: 456800 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 27037
/proc/meminfo: memFree=17364056/32770624 swapFree=67108688/67108860
[pid=26915] ppid=26912 vsize=2462444 memory=456800 CPUtime=1902.23 cores=0,2,4,6
/proc/26915/stat : 26915 (xcsp_picat) R 26912 26915 25480 0 -1 4202496 807524 0 0 0 189566 657 0 0 20 0 1 0 217645131 2521542656 114200 33554432000 4194304 5849708 140725249662880 140725249661880 5438278 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 35123200 140725249668278 140725249668356 140725249668356 140725249671114 0
/proc/26915/statm: 615611 114200 709 405 0 612556 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 2462444 KiB
Current children cumulated memory: 456800 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 27038
/proc/meminfo: memFree=17286408/32770624 swapFree=67108688/67108860
[pid=26915] ppid=26912 vsize=2543024 memory=533740 CPUtime=1962.23 cores=0,2,4,6
/proc/26915/stat : 26915 (xcsp_picat) R 26912 26915 25480 0 -1 4202496 832398 0 0 0 195557 666 0 0 20 0 1 0 217645131 2604056576 133435 33554432000 4194304 5849708 140725249662880 140725249661752 5437855 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 35123200 140725249668278 140725249668356 140725249668356 140725249671114 0
/proc/26915/statm: 635756 133435 709 405 0 632701 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 2543024 KiB
Current children cumulated memory: 533740 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 27039
/proc/meminfo: memFree=17574360/32770624 swapFree=67108688/67108860
[pid=26915] ppid=26912 vsize=2247500 memory=241860 CPUtime=2022.23 cores=0,2,4,6
/proc/26915/stat : 26915 (xcsp_picat) R 26912 26915 25480 0 -1 4202496 892474 0 0 0 201541 682 0 0 20 0 1 0 217645131 2301440000 60465 33554432000 4194304 5849708 140725249662880 140725249661880 5313175 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 35123200 140725249668278 140725249668356 140725249668356 140725249671114 0
/proc/26915/statm: 561875 60465 709 405 0 558820 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 2247500 KiB
Current children cumulated memory: 241860 KiB
[startup+2082.3 s]
/proc/loadavg: 2.14 2.06 2.06 3/192 27041
/proc/meminfo: memFree=17533812/32770624 swapFree=67108688/67108860
[pid=26915] ppid=26912 vsize=2289172 memory=283532 CPUtime=2082.23 cores=0,2,4,6
/proc/26915/stat : 26915 (xcsp_picat) R 26912 26915 25480 0 -1 4202496 923117 0 0 0 207529 694 0 0 20 0 1 0 217645131 2344112128 70883 33554432000 4194304 5849708 140725249662880 140725249662040 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 35123200 140725249668278 140725249668356 140725249668356 140725249671114 0
/proc/26915/statm: 572293 70883 709 405 0 569238 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 2289172 KiB
Current children cumulated memory: 283532 KiB
[startup+2142.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/191 27043
/proc/meminfo: memFree=17533968/32770624 swapFree=67108688/67108860
[pid=26915] ppid=26912 vsize=2289172 memory=283532 CPUtime=2142.23 cores=0,2,4,6
/proc/26915/stat : 26915 (xcsp_picat) R 26912 26915 25480 0 -1 4202496 952629 0 0 0 213520 703 0 0 20 0 1 0 217645131 2344112128 70883 33554432000 4194304 5849708 140725249662880 140725249661880 5312861 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 35123200 140725249668278 140725249668356 140725249668356 140725249671114 0
/proc/26915/statm: 572293 70883 709 405 0 569238 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 2289172 KiB
Current children cumulated memory: 283532 KiB
[startup+2202.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/191 27044
/proc/meminfo: memFree=17534164/32770624 swapFree=67108688/67108860
[pid=26915] ppid=26912 vsize=2289172 memory=283532 CPUtime=2202.23 cores=0,2,4,6
/proc/26915/stat : 26915 (xcsp_picat) R 26912 26915 25480 0 -1 4202496 982227 0 0 0 219510 713 0 0 20 0 1 0 217645131 2344112128 70883 33554432000 4194304 5849708 140725249662880 140725249661880 5360680 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 35123200 140725249668278 140725249668356 140725249668356 140725249671114 0
/proc/26915/statm: 572293 70883 709 405 0 569238 0
Current children cumulated CPU time: 2202.23 s
Current children cumulated vsize: 2289172 KiB
Current children cumulated memory: 283532 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/191 27045
/proc/meminfo: memFree=17463424/32770624 swapFree=67108688/67108860
[pid=26915] ppid=26912 vsize=2359728 memory=354088 CPUtime=2262.23 cores=0,2,4,6
/proc/26915/stat : 26915 (xcsp_picat) R 26912 26915 25480 0 -1 4202496 1014442 0 0 0 225499 724 0 0 20 0 1 0 217645131 2416361472 88522 33554432000 4194304 5849708 140725249662880 140725249661880 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 35123200 140725249668278 140725249668356 140725249668356 140725249671114 0
/proc/26915/statm: 589932 88522 709 405 0 586877 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 2359728 KiB
Current children cumulated memory: 354088 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 27047
/proc/meminfo: memFree=17463180/32770624 swapFree=67108688/67108860
[pid=26915] ppid=26912 vsize=2359728 memory=354088 CPUtime=2322.23 cores=0,2,4,6
/proc/26915/stat : 26915 (xcsp_picat) R 26912 26915 25480 0 -1 4202496 1046679 0 0 0 231490 733 0 0 20 0 1 0 217645131 2416361472 88522 33554432000 4194304 5849708 140725249662880 140725249661880 5438212 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 35123200 140725249668278 140725249668356 140725249668356 140725249671114 0
/proc/26915/statm: 589932 88522 709 405 0 586877 0
Current children cumulated CPU time: 2322.23 s
Current children cumulated vsize: 2359728 KiB
Current children cumulated memory: 354088 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 27048
/proc/meminfo: memFree=17462692/32770624 swapFree=67108688/67108860
[pid=26915] ppid=26912 vsize=2359728 memory=354088 CPUtime=2382.22 cores=0,2,4,6
/proc/26915/stat : 26915 (xcsp_picat) R 26912 26915 25480 0 -1 4202496 1078887 0 0 0 237474 748 0 0 20 0 1 0 217645131 2416361472 88522 33554432000 4194304 5849708 140725249662880 140725249661880 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 35123200 140725249668278 140725249668356 140725249668356 140725249671114 0
/proc/26915/statm: 589932 88522 709 405 0 586877 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 2359728 KiB
Current children cumulated memory: 354088 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/193 27059
/proc/meminfo: memFree=17411004/32770624 swapFree=67108688/67108860
[pid=26915] ppid=26912 vsize=2411384 memory=405532 CPUtime=2442.23 cores=0,2,4,6
/proc/26915/stat : 26915 (xcsp_picat) R 26912 26915 25480 0 -1 4202496 1108680 0 0 0 243456 767 0 0 20 0 1 0 217645131 2469257216 101383 33554432000 4194304 5849708 140725249662880 140725249661880 5335609 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 35123200 140725249668278 140725249668356 140725249668356 140725249671114 0
/proc/26915/statm: 602846 101383 709 405 0 599791 0
Current children cumulated CPU time: 2442.23 s
Current children cumulated vsize: 2411384 KiB
Current children cumulated memory: 405532 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 27082
/proc/meminfo: memFree=17410988/32770624 swapFree=67108688/67108860
[pid=26915] ppid=26912 vsize=2411384 memory=405744 CPUtime=2502.23 cores=0,2,4,6
/proc/26915/stat : 26915 (xcsp_picat) R 26912 26915 25480 0 -1 4202496 1130548 0 0 0 249441 782 0 0 20 0 1 0 217645131 2469257216 101436 33554432000 4194304 5849708 140725249662880 140725249661880 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 35123200 140725249668278 140725249668356 140725249668356 140725249671114 0
/proc/26915/statm: 602846 101436 709 405 0 599791 0
Current children cumulated CPU time: 2502.23 s
Current children cumulated vsize: 2411384 KiB
Current children cumulated memory: 405744 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/193 27083
/proc/meminfo: memFree=17411160/32770624 swapFree=67108688/67108860
[pid=26915] ppid=26912 vsize=2411384 memory=405744 CPUtime=2519.93 cores=0,2,4,6
/proc/26915/stat : 26915 (xcsp_picat) R 26912 26915 25480 0 -1 4202496 1136485 0 0 0 251206 787 0 0 20 0 1 0 217645131 2469257216 101436 33554432000 4194304 5849708 140725249662880 140725249661880 140487425281927 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 35123200 140725249668278 140725249668356 140725249668356 140725249671114 0
/proc/26915/statm: 602846 101436 709 405 0 599791 0
Current children cumulated CPU time: 2519.93 s
Current children cumulated vsize: 2411384 KiB
Current children cumulated memory: 405744 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 26915 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.07 s, system=7.88285 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): 2512.07
CPU system time (s): 7.88285
CPU usage (%): 99.9974
Max. virtual memory (cumulated for all children) (KiB): 2608560
Max. memory (cumulated for all children) (KiB): 567500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.07
system time used= 7.88286
maximum resident set size= 599276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1136485
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= 32
involuntary context switches= 1051
# summary of solver processes directly reported to runsolver:
# pid: 26915
# total CPU time (s): 2519.95
# total CPU user time (s): 2512.07
# total CPU system time (s): 7.88285
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.43258 second user time and 22.1743 second system time
The end