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 (13105 MiB free)
memory of node 1: 16384 MiB (11576 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407584-1569509651/watcher-4407584-1569509651 -o /tmp/evaluation-result-4407584-1569509651/solver-4407584-1569509651 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1569509598-1545 --watchdog 2560 xcsp_picat HOME/instance-4407584-1569509651.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
solver pid=1637, runsolver pid=1634
Current StackSize limit: 8192 KiB
[startup+0.100113 s]*
/proc/loadavg: 0.08 0.03 0.05 3/199 1638
/proc/meminfo: memFree=25245524/32770624 swapFree=66937824/67108860
[pid=1637] ppid=1634 vsize=2031716 memory=33212 CPUtime=0.1 cores=0,2,4,6
/proc/1637/stat : 1637 (xcsp_picat) R 1634 1637 1513 0 -1 4202496 1861 0 0 0 9 1 0 0 20 0 1 0 526902849 2080477184 8303 33554432000 4194304 5870510 140727323189952 140727323187096 4440788 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32370688 140727323194399 140727323194477 140727323194477 140727323197386 0
/proc/1637/statm: 507929 8303 847 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 33212 KiB
[startup+0.209698 s]*
/proc/loadavg: 0.24 0.06 0.06 3/199 1638
/proc/meminfo: memFree=25230448/32770624 swapFree=66937824/67108860
[pid=1637] ppid=1634 vsize=2046248 memory=48308 CPUtime=0.21 cores=0,2,4,6
/proc/1637/stat : 1637 (xcsp_picat) R 1634 1637 1513 0 -1 4202496 4850 0 0 0 20 1 0 0 20 0 1 0 526902849 2095357952 12077 33554432000 4194304 5870510 140727323189952 140727323189208 140250111119239 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32370688 140727323194399 140727323194477 140727323194477 140727323197386 0
/proc/1637/statm: 511562 12077 940 410 0 507035 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2046248 KiB
Current children cumulated memory: 48308 KiB
[startup+0.309457 s]*
/proc/loadavg: 0.24 0.06 0.06 3/199 1638
/proc/meminfo: memFree=25224060/32770624 swapFree=66937824/67108860
[pid=1637] ppid=1634 vsize=2051852 memory=54752 CPUtime=0.3 cores=0,2,4,6
/proc/1637/stat : 1637 (xcsp_picat) R 1634 1637 1513 0 -1 4202496 6152 0 0 0 29 1 0 0 20 0 1 0 526902849 2101096448 13688 33554432000 4194304 5870510 140727323189952 140727323189208 140250111119239 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32370688 140727323194399 140727323194477 140727323194477 140727323197386 0
/proc/1637/statm: 512963 13688 940 410 0 508436 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2051852 KiB
Current children cumulated memory: 54752 KiB
[startup+0.700278 s]
/proc/loadavg: 0.24 0.06 0.06 3/199 1638
/proc/meminfo: memFree=25224632/32770624 swapFree=66937824/67108860
[pid=1637] ppid=1634 vsize=2051596 memory=53116 CPUtime=0.69 cores=0,2,4,6
/proc/1637/stat : 1637 (xcsp_picat) R 1634 1637 1513 0 -1 4202496 6711 0 0 0 68 1 0 0 20 0 1 0 526902849 2100834304 13279 33554432000 4194304 5870510 140727323189952 140727323189208 5306820 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32370688 140727323194399 140727323194477 140727323194477 140727323197386 0
/proc/1637/statm: 512899 13279 967 410 0 508372 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2051596 KiB
Current children cumulated memory: 53116 KiB
[startup+1.50032 s]
/proc/loadavg: 0.24 0.06 0.06 3/199 1638
/proc/meminfo: memFree=25224632/32770624 swapFree=66937824/67108860
[pid=1637] ppid=1634 vsize=2051596 memory=53116 CPUtime=1.49 cores=0,2,4,6
/proc/1637/stat : 1637 (xcsp_picat) R 1634 1637 1513 0 -1 4202496 6711 0 0 0 148 1 0 0 20 0 1 0 526902849 2100834304 13279 33554432000 4194304 5870510 140727323189952 140727323189208 5306814 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32370688 140727323194399 140727323194477 140727323194477 140727323197386 0
/proc/1637/statm: 512899 13279 967 410 0 508372 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2051596 KiB
Current children cumulated memory: 53116 KiB
[startup+3.10941 s]
/proc/loadavg: 0.24 0.06 0.06 3/199 1638
/proc/meminfo: memFree=25220732/32770624 swapFree=66937824/67108860
[pid=1637] ppid=1634 vsize=2056412 memory=55176 CPUtime=3.1 cores=0,2,4,6
/proc/1637/stat : 1637 (xcsp_picat) R 1634 1637 1513 0 -1 4202496 10138 0 0 0 309 1 0 0 20 0 1 0 526902849 2105765888 13794 33554432000 4194304 5870510 140727323189952 140727323189208 5282464 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32370688 140727323194399 140727323194477 140727323194477 140727323197386 0
/proc/1637/statm: 514103 13794 989 410 0 509576 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2056412 KiB
Current children cumulated memory: 55176 KiB
[startup+6.30042 s]
/proc/loadavg: 0.38 0.10 0.07 3/199 1638
/proc/meminfo: memFree=25218344/32770624 swapFree=66937824/67108860
[pid=1637] ppid=1634 vsize=2057088 memory=58396 CPUtime=6.29 cores=0,2,4,6
/proc/1637/stat : 1637 (xcsp_picat) R 1634 1637 1513 0 -1 4202496 14041 0 0 0 628 1 0 0 20 0 1 0 526902849 2106458112 14599 33554432000 4194304 5870510 140727323189952 140727323188504 5282555 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32370688 140727323194399 140727323194477 140727323194477 140727323197386 0
/proc/1637/statm: 514272 14599 989 410 0 509745 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2057088 KiB
Current children cumulated memory: 58396 KiB
[startup+12.7004 s]
/proc/loadavg: 0.51 0.13 0.08 3/199 1638
/proc/meminfo: memFree=25199360/32770624 swapFree=66937824/67108860
[pid=1637] ppid=1634 vsize=2077036 memory=77544 CPUtime=12.69 cores=0,2,4,6
/proc/1637/stat : 1637 (xcsp_picat) R 1634 1637 1513 0 -1 4202496 19170 0 0 0 1267 2 0 0 20 0 1 0 526902849 2126884864 19386 33554432000 4194304 5870510 140727323189952 140727323188520 5282357 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32370688 140727323194399 140727323194477 140727323194477 140727323197386 0
/proc/1637/statm: 519259 19386 989 410 0 514732 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2077036 KiB
Current children cumulated memory: 77544 KiB
[startup+25.5004 s]
/proc/loadavg: 0.74 0.19 0.10 3/199 1640
/proc/meminfo: memFree=25195064/32770624 swapFree=66937824/67108860
[pid=1637] ppid=1634 vsize=2077036 memory=78892 CPUtime=25.5 cores=0,2,4,6
/proc/1637/stat : 1637 (xcsp_picat) R 1634 1637 1513 0 -1 4202496 27561 0 0 0 2547 3 0 0 20 0 1 0 526902849 2126884864 19723 33554432000 4194304 5870510 140727323189952 140727323188520 5274864 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32370688 140727323194399 140727323194477 140727323194477 140727323197386 0
/proc/1637/statm: 519259 19723 989 410 0 514732 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 2077036 KiB
Current children cumulated memory: 78892 KiB
[startup+51.1098 s]
/proc/loadavg: 1.23 0.36 0.16 3/199 1640
/proc/meminfo: memFree=25179896/32770624 swapFree=66937824/67108860
[pid=1637] ppid=1634 vsize=2088528 memory=90548 CPUtime=51.11 cores=0,2,4,6
/proc/1637/stat : 1637 (xcsp_picat) R 1634 1637 1513 0 -1 4202496 32219 0 0 0 5107 4 0 0 20 0 1 0 526902849 2138652672 22637 33554432000 4194304 5870510 140727323189952 140727323188520 5298780 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32370688 140727323194399 140727323194477 140727323194477 140727323197386 0
/proc/1637/statm: 522132 22637 989 410 0 517605 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 2088528 KiB
Current children cumulated memory: 90548 KiB
[startup+102.3 s]
/proc/loadavg: 1.67 0.62 0.26 3/199 1645
/proc/meminfo: memFree=25162688/32770624 swapFree=66937824/67108860
[pid=1637] ppid=1634 vsize=2090384 memory=93364 CPUtime=102.3 cores=0,2,4,6
/proc/1637/stat : 1637 (xcsp_picat) R 1634 1637 1513 0 -1 4202496 41645 0 0 0 10225 5 0 0 20 0 1 0 526902849 2140553216 23341 33554432000 4194304 5870510 140727323189952 140727323188520 5304198 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32370688 140727323194399 140727323194477 140727323194477 140727323197386 0
/proc/1637/statm: 522596 23341 989 410 0 518069 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2090384 KiB
Current children cumulated memory: 93364 KiB
[startup+162.3 s]
/proc/loadavg: 1.88 0.87 0.37 3/199 1651
/proc/meminfo: memFree=25139864/32770624 swapFree=66937824/67108860
[pid=1637] ppid=1634 vsize=2097568 memory=100612 CPUtime=162.31 cores=0,2,4,6
/proc/1637/stat : 1637 (xcsp_picat) R 1634 1637 1513 0 -1 4202496 47101 0 0 0 16226 5 0 0 20 0 1 0 526902849 2147909632 25153 33554432000 4194304 5870510 140727323189952 140727323188520 5274889 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32370688 140727323194399 140727323194477 140727323194477 140727323197386 0
/proc/1637/statm: 524392 25153 989 410 0 519865 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 2097568 KiB
Current children cumulated memory: 100612 KiB
[startup+222.3 s]
/proc/loadavg: 1.95 1.07 0.47 3/199 1655
/proc/meminfo: memFree=25113156/32770624 swapFree=66937824/67108860
[pid=1637] ppid=1634 vsize=2116584 memory=114288 CPUtime=222.32 cores=0,2,4,6
/proc/1637/stat : 1637 (xcsp_picat) R 1634 1637 1513 0 -1 4202496 49062 0 0 0 22226 6 0 0 20 0 1 0 526902849 2167382016 28572 33554432000 4194304 5870510 140727323189952 140727323188392 5283135 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32370688 140727323194399 140727323194477 140727323194477 140727323197386 0
/proc/1637/statm: 529146 28572 989 410 0 524619 0
Current children cumulated CPU time: 222.32 s
Current children cumulated vsize: 2116584 KiB
Current children cumulated memory: 114288 KiB
[startup+282.3 s]
/proc/loadavg: 1.98 1.24 0.57 3/199 1660
/proc/meminfo: memFree=25109320/32770624 swapFree=66937824/67108860
[pid=1637] ppid=1634 vsize=2105092 memory=105880 CPUtime=282.32 cores=0,2,4,6
/proc/1637/stat : 1637 (xcsp_picat) R 1634 1637 1513 0 -1 4202496 54259 0 0 0 28226 6 0 0 20 0 1 0 526902849 2155614208 26470 33554432000 4194304 5870510 140727323189952 140727323188392 5282759 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32370688 140727323194399 140727323194477 140727323194477 140727323197386 0
/proc/1637/statm: 526273 26470 989 410 0 521746 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 2105092 KiB
Current children cumulated memory: 105880 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.38 0.66 3/199 1666
/proc/meminfo: memFree=25102768/32770624 swapFree=66937824/67108860
[pid=1637] ppid=1634 vsize=2105092 memory=105880 CPUtime=342.32 cores=0,2,4,6
/proc/1637/stat : 1637 (xcsp_picat) R 1634 1637 1513 0 -1 4202496 55205 0 0 0 34226 6 0 0 20 0 1 0 526902849 2155614208 26470 33554432000 4194304 5870510 140727323189952 140727323188392 5283067 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32370688 140727323194399 140727323194477 140727323194477 140727323197386 0
/proc/1637/statm: 526273 26470 989 410 0 521746 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 2105092 KiB
Current children cumulated memory: 105880 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.49 0.74 3/200 1678
/proc/meminfo: memFree=25086600/32770624 swapFree=66937824/67108860
[pid=1637] ppid=1634 vsize=2116584 memory=119420 CPUtime=402.33 cores=0,2,4,6
/proc/1637/stat : 1637 (xcsp_picat) R 1634 1637 1513 0 -1 4202496 60958 0 0 0 40226 7 0 0 20 0 1 0 526902849 2167382016 29855 33554432000 4194304 5870510 140727323189952 140727323188520 5288878 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32370688 140727323194399 140727323194477 140727323194477 140727323197386 0
/proc/1637/statm: 529146 29855 989 410 0 524619 0
Current children cumulated CPU time: 402.33 s
Current children cumulated vsize: 2116584 KiB
Current children cumulated memory: 119420 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.59 0.82 3/200 1704
/proc/meminfo: memFree=25073272/32770624 swapFree=66937824/67108860
[pid=1637] ppid=1634 vsize=2123768 memory=125908 CPUtime=462.34 cores=0,2,4,6
/proc/1637/stat : 1637 (xcsp_picat) R 1634 1637 1513 0 -1 4202496 62553 0 0 0 46227 7 0 0 20 0 1 0 526902849 2174738432 31477 33554432000 4194304 5870510 140727323189952 140727323188520 5289471 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32370688 140727323194399 140727323194477 140727323194477 140727323197386 0
/proc/1637/statm: 530942 31477 989 410 0 526415 0
Current children cumulated CPU time: 462.34 s
Current children cumulated vsize: 2123768 KiB
Current children cumulated memory: 125908 KiB
################
# More data... #
################
/proc/1637/statm: 538571 40310 989 410 0 534044 0
Current children cumulated CPU time: 1602.43 s
Current children cumulated vsize: 2154284 KiB
Current children cumulated memory: 161240 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.68 3/199 1816
/proc/meminfo: memFree=24976448/32770624 swapFree=66937824/67108860
[pid=1637] ppid=1634 vsize=2154284 memory=161240 CPUtime=1662.44 cores=0,2,4,6
/proc/1637/stat : 1637 (xcsp_picat) R 1634 1637 1513 0 -1 4202496 88041 0 0 0 166233 11 0 0 20 0 1 0 526902849 2205986816 40310 33554432000 4194304 5870510 140727323189952 140727323188392 5282384 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32370688 140727323194399 140727323194477 140727323194477 140727323197386 0
/proc/1637/statm: 538571 40310 989 410 0 534044 0
Current children cumulated CPU time: 1662.44 s
Current children cumulated vsize: 2154284 KiB
Current children cumulated memory: 161240 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.70 3/199 1820
/proc/meminfo: memFree=25000404/32770624 swapFree=66937824/67108860
[pid=1637] ppid=1634 vsize=2165956 memory=169028 CPUtime=1722.44 cores=0,2,4,6
/proc/1637/stat : 1637 (xcsp_picat) R 1634 1637 1513 0 -1 4202496 88965 0 0 0 172233 11 0 0 20 0 1 0 526902849 2217938944 42257 33554432000 4194304 5870510 140727323189952 140727323188520 5282775 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32370688 140727323194399 140727323194477 140727323194477 140727323197386 0
/proc/1637/statm: 541489 42257 989 410 0 536962 0
Current children cumulated CPU time: 1722.44 s
Current children cumulated vsize: 2165956 KiB
Current children cumulated memory: 169028 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.71 3/199 1826
/proc/meminfo: memFree=25000340/32770624 swapFree=66937824/67108860
[pid=1637] ppid=1634 vsize=2165956 memory=169028 CPUtime=1782.45 cores=0,2,4,6
/proc/1637/stat : 1637 (xcsp_picat) R 1634 1637 1513 0 -1 4202496 89688 0 0 0 178234 11 0 0 20 0 1 0 526902849 2217938944 42257 33554432000 4194304 5870510 140727323189952 140727323188520 5288765 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32370688 140727323194399 140727323194477 140727323194477 140727323197386 0
/proc/1637/statm: 541489 42257 989 410 0 536962 0
Current children cumulated CPU time: 1782.45 s
Current children cumulated vsize: 2165956 KiB
Current children cumulated memory: 169028 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.73 3/199 1830
/proc/meminfo: memFree=25000468/32770624 swapFree=66937824/67108860
[pid=1637] ppid=1634 vsize=2165956 memory=169028 CPUtime=1842.45 cores=0,2,4,6
/proc/1637/stat : 1637 (xcsp_picat) R 1634 1637 1513 0 -1 4202496 89697 0 0 0 184234 11 0 0 20 0 1 0 526902849 2217938944 42257 33554432000 4194304 5870510 140727323189952 140727323188520 5282421 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32370688 140727323194399 140727323194477 140727323194477 140727323197386 0
/proc/1637/statm: 541489 42257 989 410 0 536962 0
Current children cumulated CPU time: 1842.45 s
Current children cumulated vsize: 2165956 KiB
Current children cumulated memory: 169028 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.75 3/199 1835
/proc/meminfo: memFree=25000624/32770624 swapFree=66937824/67108860
[pid=1637] ppid=1634 vsize=2165956 memory=169028 CPUtime=1902.46 cores=0,2,4,6
/proc/1637/stat : 1637 (xcsp_picat) R 1634 1637 1513 0 -1 4202496 89701 0 0 0 190235 11 0 0 20 0 1 0 526902849 2217938944 42257 33554432000 4194304 5870510 140727323189952 140727323188520 5283135 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32370688 140727323194399 140727323194477 140727323194477 140727323197386 0
/proc/1637/statm: 541489 42257 989 410 0 536962 0
Current children cumulated CPU time: 1902.46 s
Current children cumulated vsize: 2165956 KiB
Current children cumulated memory: 169028 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.77 3/199 1863
/proc/meminfo: memFree=24964668/32770624 swapFree=66937824/67108860
[pid=1637] ppid=1634 vsize=2167576 memory=171080 CPUtime=1962.47 cores=0,2,4,6
/proc/1637/stat : 1637 (xcsp_picat) R 1634 1637 1513 0 -1 4202496 90173 0 0 0 196235 12 0 0 20 0 1 0 526902849 2219597824 42770 33554432000 4194304 5870510 140727323189952 140727323188520 5282606 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32370688 140727323194399 140727323194477 140727323194477 140727323197386 0
/proc/1637/statm: 541894 42770 989 410 0 537367 0
Current children cumulated CPU time: 1962.47 s
Current children cumulated vsize: 2167576 KiB
Current children cumulated memory: 171080 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.78 3/199 1867
/proc/meminfo: memFree=24967152/32770624 swapFree=66937824/67108860
[pid=1637] ppid=1634 vsize=2167576 memory=171080 CPUtime=2022.47 cores=0,2,4,6
/proc/1637/stat : 1637 (xcsp_picat) R 1634 1637 1513 0 -1 4202496 90891 0 0 0 202235 12 0 0 20 0 1 0 526902849 2219597824 42770 33554432000 4194304 5870510 140727323189952 140727323188520 5274864 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32370688 140727323194399 140727323194477 140727323194477 140727323197386 0
/proc/1637/statm: 541894 42770 989 410 0 537367 0
Current children cumulated CPU time: 2022.47 s
Current children cumulated vsize: 2167576 KiB
Current children cumulated memory: 171080 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.79 3/199 1872
/proc/meminfo: memFree=24970972/32770624 swapFree=66937824/67108860
[pid=1637] ppid=1634 vsize=2197928 memory=198344 CPUtime=2082.47 cores=0,2,4,6
/proc/1637/stat : 1637 (xcsp_picat) R 1634 1637 1513 0 -1 4202496 91116 0 0 0 208235 12 0 0 20 0 1 0 526902849 2250678272 49586 33554432000 4194304 5870510 140727323189952 140727323188520 5282251 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32370688 140727323194399 140727323194477 140727323194477 140727323197386 0
/proc/1637/statm: 549482 49586 989 410 0 544955 0
Current children cumulated CPU time: 2082.47 s
Current children cumulated vsize: 2197928 KiB
Current children cumulated memory: 198344 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.80 3/199 1878
/proc/meminfo: memFree=24970476/32770624 swapFree=66937824/67108860
[pid=1637] ppid=1634 vsize=2197928 memory=198344 CPUtime=2142.48 cores=0,2,4,6
/proc/1637/stat : 1637 (xcsp_picat) R 1634 1637 1513 0 -1 4202496 91116 0 0 0 214236 12 0 0 20 0 1 0 526902849 2250678272 49586 33554432000 4194304 5870510 140727323189952 140727323188520 5288789 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32370688 140727323194399 140727323194477 140727323194477 140727323197386 0
/proc/1637/statm: 549482 49586 989 410 0 544955 0
Current children cumulated CPU time: 2142.48 s
Current children cumulated vsize: 2197928 KiB
Current children cumulated memory: 198344 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.82 3/200 1890
/proc/meminfo: memFree=24932456/32770624 swapFree=66937824/67108860
[pid=1637] ppid=1634 vsize=2197928 memory=198344 CPUtime=2202.49 cores=0,2,4,6
/proc/1637/stat : 1637 (xcsp_picat) R 1634 1637 1513 0 -1 4202496 92015 0 0 0 220237 12 0 0 20 0 1 0 526902849 2250678272 49586 33554432000 4194304 5870510 140727323189952 140727323188520 5283102 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32370688 140727323194399 140727323194477 140727323194477 140727323197386 0
/proc/1637/statm: 549482 49586 989 410 0 544955 0
Current children cumulated CPU time: 2202.49 s
Current children cumulated vsize: 2197928 KiB
Current children cumulated memory: 198344 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/200 1894
/proc/meminfo: memFree=24933168/32770624 swapFree=66937824/67108860
[pid=1637] ppid=1634 vsize=2197928 memory=198344 CPUtime=2262.49 cores=0,2,4,6
/proc/1637/stat : 1637 (xcsp_picat) R 1634 1637 1513 0 -1 4202496 92498 0 0 0 226237 12 0 0 20 0 1 0 526902849 2250678272 49586 33554432000 4194304 5870510 140727323189952 140727323188520 5282515 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32370688 140727323194399 140727323194477 140727323194477 140727323197386 0
/proc/1637/statm: 549482 49586 989 410 0 544955 0
Current children cumulated CPU time: 2262.49 s
Current children cumulated vsize: 2197928 KiB
Current children cumulated memory: 198344 KiB
[startup+2322.3 s]
/proc/loadavg: 2.48 2.14 1.89 3/200 1900
/proc/meminfo: memFree=24932632/32770624 swapFree=66937824/67108860
[pid=1637] ppid=1634 vsize=2197928 memory=198344 CPUtime=2322.5 cores=0,2,4,6
/proc/1637/stat : 1637 (xcsp_picat) R 1634 1637 1513 0 -1 4202496 92508 0 0 0 232238 12 0 0 20 0 1 0 526902849 2250678272 49586 33554432000 4194304 5870510 140727323189952 140727323188520 5282295 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32370688 140727323194399 140727323194477 140727323194477 140727323197386 0
/proc/1637/statm: 549482 49586 989 410 0 544955 0
Current children cumulated CPU time: 2322.5 s
Current children cumulated vsize: 2197928 KiB
Current children cumulated memory: 198344 KiB
[startup+2382.3 s]
/proc/loadavg: 2.18 2.11 1.90 3/200 1904
/proc/meminfo: memFree=24900844/32770624 swapFree=66937824/67108860
[pid=1637] ppid=1634 vsize=2197928 memory=198344 CPUtime=2382.5 cores=0,2,4,6
/proc/1637/stat : 1637 (xcsp_picat) R 1634 1637 1513 0 -1 4202496 92516 0 0 0 238238 12 0 0 20 0 1 0 526902849 2250678272 49586 33554432000 4194304 5870510 140727323189952 140727323188520 5282617 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32370688 140727323194399 140727323194477 140727323194477 140727323197386 0
/proc/1637/statm: 549482 49586 989 410 0 544955 0
Current children cumulated CPU time: 2382.5 s
Current children cumulated vsize: 2197928 KiB
Current children cumulated memory: 198344 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.8 s]
/proc/loadavg: 2.14 2.11 1.90 3/200 1965
/proc/meminfo: memFree=24050440/32770624 swapFree=66937824/67108860
[pid=1637] ppid=1634 vsize=2197928 memory=198344 CPUtime=2400 cores=0,2,4,6
/proc/1637/stat : 1637 (xcsp_picat) R 1634 1637 1513 0 -1 4202496 92516 0 0 0 239988 12 0 0 20 0 1 0 526902849 2250678272 49586 33554432000 4194304 5870510 140727323189952 140727323188520 5262922 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32370688 140727323194399 140727323194477 140727323194477 140727323197386 0
/proc/1637/statm: 549482 49586 989 410 0 544955 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 2197928 KiB
Current children cumulated memory: 198344 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2399.8 s]
# the end of solver process 1637 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.89 s, system=0.130012 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): 2399.8
CPU time (s): 2400.02
CPU user time (s): 2399.89
CPU system time (s): 0.130012
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 2197928
Max. memory (cumulated for all children) (KiB): 198344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.89
system time used= 0.130012
maximum resident set size= 198344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92516
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= 17
involuntary context switches= 3022
# summary of solver processes directly reported to runsolver:
# pid: 1637
# total CPU time (s): 2400.02
# total CPU user time (s): 2399.89
# total CPU system time (s): 0.130012
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.33539 second user time and 18.0428 second system time
The end