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 (10653 MiB free)
memory of node 1: 16384 MiB (14125 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407525-1569509641/watcher-4407525-1569509641 -o /tmp/evaluation-result-4407525-1569509641/solver-4407525-1569509641 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1569509603-1941 --watchdog 2560 xcsp_picat HOME/instance-4407525-1569509641.xml
running on 4 cores: 1,3,5,7
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=1968, runsolver pid=1962
Current StackSize limit: 8192 KiB
[startup+0.100158 s]*
/proc/loadavg: 0.00 0.01 0.05 3/199 1971
/proc/meminfo: memFree=25352000/32770624 swapFree=67002732/67108860
[pid=1968] ppid=1962 vsize=2036296 memory=16608 CPUtime=0.07 cores=1,3,5,7
/proc/1968/stat : 1968 (xcsp_picat) R 1962 1968 1909 0 -1 4202496 3298 0 0 0 7 0 0 0 20 0 1 0 527125621 2085167104 4152 33554432000 4194304 5870510 140722988373744 140722988370888 5298780 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 19017728 140722988377119 140722988377197 140722988377197 140722988380106 0
/proc/1968/statm: 509074 4152 874 410 0 504547 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 2036296 KiB
Current children cumulated memory: 16608 KiB
[startup+0.209888 s]*
/proc/loadavg: 0.00 0.01 0.05 4/199 1971
/proc/meminfo: memFree=25351256/32770624 swapFree=67002732/67108860
[pid=1968] ppid=1962 vsize=2037324 memory=17372 CPUtime=0.18 cores=1,3,5,7
/proc/1968/stat : 1968 (xcsp_picat) R 1962 1968 1909 0 -1 4202496 3449 0 0 0 18 0 0 0 20 0 1 0 527125621 2086219776 4343 33554432000 4194304 5870510 140722988373744 140722988370888 5306673 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 19017728 140722988377119 140722988377197 140722988377197 140722988380106 0
/proc/1968/statm: 509331 4343 895 410 0 504804 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 2037324 KiB
Current children cumulated memory: 17372 KiB
[startup+0.309236 s]*
/proc/loadavg: 0.00 0.01 0.05 4/199 1971
/proc/meminfo: memFree=25350512/32770624 swapFree=67002732/67108860
[pid=1968] ppid=1962 vsize=2037324 memory=17632 CPUtime=0.28 cores=1,3,5,7
/proc/1968/stat : 1968 (xcsp_picat) R 1962 1968 1909 0 -1 4202496 3569 0 0 0 28 0 0 0 20 0 1 0 527125621 2086219776 4408 33554432000 4194304 5870510 140722988373744 140722988370888 5283274 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 19017728 140722988377119 140722988377197 140722988377197 140722988380106 0
/proc/1968/statm: 509331 4408 895 410 0 504804 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 2037324 KiB
Current children cumulated memory: 17632 KiB
[startup+0.700287 s]
/proc/loadavg: 0.00 0.01 0.05 3/199 1971
/proc/meminfo: memFree=25348648/32770624 swapFree=67002732/67108860
[pid=1968] ppid=1962 vsize=2039532 memory=20224 CPUtime=0.67 cores=1,3,5,7
/proc/1968/stat : 1968 (xcsp_picat) R 1962 1968 1909 0 -1 4202496 4226 0 0 0 66 1 0 0 20 0 1 0 527125621 2088480768 5056 33554432000 4194304 5870510 140722988373744 140722988372104 5298780 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 19017728 140722988377119 140722988377197 140722988377197 140722988380106 0
/proc/1968/statm: 509883 5056 896 410 0 505356 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2039532 KiB
Current children cumulated memory: 20224 KiB
[startup+1.50042 s]
/proc/loadavg: 0.00 0.01 0.05 4/199 1971
/proc/meminfo: memFree=25338712/32770624 swapFree=67002732/67108860
[pid=1968] ppid=1962 vsize=2058428 memory=35840 CPUtime=1.47 cores=1,3,5,7
/proc/1968/stat : 1968 (xcsp_picat) R 1962 1968 1909 0 -1 4202496 4880 0 0 0 146 1 0 0 20 0 1 0 527125621 2107830272 8960 33554432000 4194304 5870510 140722988373744 140722988372104 5283106 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 19017728 140722988377119 140722988377197 140722988377197 140722988380106 0
/proc/1968/statm: 514607 8960 896 410 0 510080 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2058428 KiB
Current children cumulated memory: 35840 KiB
[startup+3.10951 s]
/proc/loadavg: 0.16 0.05 0.06 3/199 1972
/proc/meminfo: memFree=25321988/32770624 swapFree=67002732/67108860
[pid=1968] ppid=1962 vsize=2065608 memory=40016 CPUtime=3.08 cores=1,3,5,7
/proc/1968/stat : 1968 (xcsp_picat) R 1962 1968 1909 0 -1 4202496 7152 0 0 0 306 2 0 0 20 0 1 0 527125621 2115182592 10004 33554432000 4194304 5870510 140722988373744 140722988372104 5288740 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 19017728 140722988377119 140722988377197 140722988377197 140722988380106 0
/proc/1968/statm: 516402 10004 896 410 0 511875 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2065608 KiB
Current children cumulated memory: 40016 KiB
[startup+6.3003 s]
/proc/loadavg: 0.16 0.05 0.06 3/199 1972
/proc/meminfo: memFree=25307196/32770624 swapFree=67002732/67108860
[pid=1968] ppid=1962 vsize=2070036 memory=48684 CPUtime=6.27 cores=1,3,5,7
/proc/1968/stat : 1968 (xcsp_picat) R 1962 1968 1909 0 -1 4202496 10850 0 0 0 625 2 0 0 20 0 1 0 527125621 2119716864 12171 33554432000 4194304 5870510 140722988373744 140722988372696 5258231 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 19017728 140722988377119 140722988377197 140722988377197 140722988380106 0
/proc/1968/statm: 517509 12171 896 410 0 512982 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2070036 KiB
Current children cumulated memory: 48684 KiB
[startup+12.7003 s]
/proc/loadavg: 0.31 0.08 0.07 3/199 2035
/proc/meminfo: memFree=25302784/32770624 swapFree=67002732/67108860
[pid=1968] ppid=1962 vsize=2072720 memory=53584 CPUtime=12.67 cores=1,3,5,7
/proc/1968/stat : 1968 (xcsp_picat) R 1962 1968 1909 0 -1 4202496 14879 0 0 0 1265 2 0 0 20 0 1 0 527125621 2122465280 13396 33554432000 4194304 5870510 140722988373744 140722988372312 5282747 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 19017728 140722988377119 140722988377197 140722988377197 140722988380106 0
/proc/1968/statm: 518180 13396 896 410 0 513653 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 2072720 KiB
Current children cumulated memory: 53584 KiB
[startup+25.5003 s]
/proc/loadavg: 0.75 0.19 0.10 3/199 2037
/proc/meminfo: memFree=25292332/32770624 swapFree=67002732/67108860
[pid=1968] ppid=1962 vsize=2072940 memory=53804 CPUtime=25.48 cores=1,3,5,7
/proc/1968/stat : 1968 (xcsp_picat) R 1962 1968 1909 0 -1 4202496 17155 0 0 0 2545 3 0 0 20 0 1 0 527125621 2122690560 13451 33554432000 4194304 5870510 140722988373744 140722988372312 5288833 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 19017728 140722988377119 140722988377197 140722988377197 140722988380106 0
/proc/1968/statm: 518235 13451 896 410 0 513708 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2072940 KiB
Current children cumulated memory: 53804 KiB
[startup+51.1094 s]
/proc/loadavg: 1.18 0.34 0.15 3/199 2037
/proc/meminfo: memFree=25274172/32770624 swapFree=67002732/67108860
[pid=1968] ppid=1962 vsize=2103280 memory=72708 CPUtime=51.08 cores=1,3,5,7
/proc/1968/stat : 1968 (xcsp_picat) R 1962 1968 1909 0 -1 4202496 20564 0 0 0 5105 3 0 0 20 0 1 0 527125621 2153758720 18177 33554432000 4194304 5870510 140722988373744 140722988372184 5282531 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 19017728 140722988377119 140722988377197 140722988377197 140722988380106 0
/proc/1968/statm: 525820 18177 896 410 0 521293 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 2103280 KiB
Current children cumulated memory: 72708 KiB
[startup+102.3 s]
/proc/loadavg: 1.64 0.59 0.25 3/199 2042
/proc/meminfo: memFree=25258524/32770624 swapFree=67002732/67108860
[pid=1968] ppid=1962 vsize=2103280 memory=87864 CPUtime=102.27 cores=1,3,5,7
/proc/1968/stat : 1968 (xcsp_picat) R 1962 1968 1909 0 -1 4202496 22094 0 0 0 10224 3 0 0 20 0 1 0 527125621 2153758720 21966 33554432000 4194304 5870510 140722988373744 140722988372184 5278096 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 19017728 140722988377119 140722988377197 140722988377197 140722988380106 0
/proc/1968/statm: 525820 21966 896 410 0 521293 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2103280 KiB
Current children cumulated memory: 87864 KiB
[startup+162.3 s]
/proc/loadavg: 1.87 0.85 0.36 3/199 2114
/proc/meminfo: memFree=25175144/32770624 swapFree=67002732/67108860
[pid=1968] ppid=1962 vsize=2103280 memory=87864 CPUtime=162.28 cores=1,3,5,7
/proc/1968/stat : 1968 (xcsp_picat) R 1962 1968 1909 0 -1 4202496 23413 0 0 0 16225 3 0 0 20 0 1 0 527125621 2153758720 21966 33554432000 4194304 5870510 140722988373744 140722988372184 5282767 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 19017728 140722988377119 140722988377197 140722988377197 140722988380106 0
/proc/1968/statm: 525820 21966 896 410 0 521293 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2103280 KiB
Current children cumulated memory: 87864 KiB
[startup+222.3 s]
/proc/loadavg: 1.95 1.06 0.46 3/199 2118
/proc/meminfo: memFree=24201644/32770624 swapFree=67002732/67108860
[pid=1968] ppid=1962 vsize=2110376 memory=94876 CPUtime=222.29 cores=1,3,5,7
/proc/1968/stat : 1968 (xcsp_picat) R 1962 1968 1909 0 -1 4202496 26557 0 0 0 22226 3 0 0 20 0 1 0 527125621 2161025024 23719 33554432000 4194304 5870510 140722988373744 140722988372312 5282515 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 19017728 140722988377119 140722988377197 140722988377197 140722988380106 0
/proc/1968/statm: 527594 23719 896 410 0 523067 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2110376 KiB
Current children cumulated memory: 94876 KiB
[startup+282.3 s]
/proc/loadavg: 1.98 1.23 0.56 3/200 2124
/proc/meminfo: memFree=24200360/32770624 swapFree=67002732/67108860
[pid=1968] ppid=1962 vsize=2110376 memory=94876 CPUtime=282.29 cores=1,3,5,7
/proc/1968/stat : 1968 (xcsp_picat) R 1962 1968 1909 0 -1 4202496 26606 0 0 0 28226 3 0 0 20 0 1 0 527125621 2161025024 23719 33554432000 4194304 5870510 140722988373744 140722988372312 5308364 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 19017728 140722988377119 140722988377197 140722988377197 140722988380106 0
/proc/1968/statm: 527594 23719 896 410 0 523067 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2110376 KiB
Current children cumulated memory: 94876 KiB
[startup+342.3 s]
/proc/loadavg: 2.06 1.39 0.65 3/200 2130
/proc/meminfo: memFree=24186592/32770624 swapFree=67002732/67108860
[pid=1968] ppid=1962 vsize=2129092 memory=108348 CPUtime=342.3 cores=1,3,5,7
/proc/1968/stat : 1968 (xcsp_picat) R 1962 1968 1909 0 -1 4202496 29151 0 0 0 34226 4 0 0 20 0 1 0 527125621 2180190208 27087 33554432000 4194304 5870510 140722988373744 140722988372184 5262731 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 19017728 140722988377119 140722988377197 140722988377197 140722988380106 0
/proc/1968/statm: 532273 27087 896 410 0 527746 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2129092 KiB
Current children cumulated memory: 108348 KiB
[startup+402.3 s]
/proc/loadavg: 2.18 1.53 0.75 3/201 2142
/proc/meminfo: memFree=24180860/32770624 swapFree=67002732/67108860
[pid=1968] ppid=1962 vsize=2129552 memory=113972 CPUtime=402.31 cores=1,3,5,7
/proc/1968/stat : 1968 (xcsp_picat) R 1962 1968 1909 0 -1 4202496 29629 0 0 0 40227 4 0 0 20 0 1 0 527125621 2180661248 28493 33554432000 4194304 5870510 140722988373744 140722988372312 5282555 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 19017728 140722988377119 140722988377197 140722988377197 140722988380106 0
/proc/1968/statm: 532388 28493 896 410 0 527861 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 2129552 KiB
Current children cumulated memory: 113972 KiB
[startup+462.3 s]
/proc/loadavg: 2.18 1.65 0.84 3/202 2169
/proc/meminfo: memFree=24180028/32770624 swapFree=67002732/67108860
[pid=1968] ppid=1962 vsize=2129552 memory=114052 CPUtime=462.31 cores=1,3,5,7
/proc/1968/stat : 1968 (xcsp_picat) R 1962 1968 1909 0 -1 4202496 29711 0 0 0 46227 4 0 0 20 0 1 0 527125621 2180661248 28513 33554432000 4194304 5870510 140722988373744 140722988372312 5288882 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 19017728 140722988377119 140722988377197 140722988377197 140722988380106 0
/proc/1968/statm: 532388 28513 896 410 0 527861 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 2129552 KiB
Current children cumulated memory: 114052 KiB
################
# More data... #
################
/proc/1968/statm: 538916 35041 896 410 0 534389 0
Current children cumulated CPU time: 1602.42 s
Current children cumulated vsize: 2155664 KiB
Current children cumulated memory: 140164 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.70 3/200 2281
/proc/meminfo: memFree=24151840/32770624 swapFree=67002732/67108860
[pid=1968] ppid=1962 vsize=2155664 memory=140164 CPUtime=1662.43 cores=1,3,5,7
/proc/1968/stat : 1968 (xcsp_picat) R 1962 1968 1909 0 -1 4202496 42916 0 0 0 166235 8 0 0 20 0 1 0 527125621 2207399936 35041 33554432000 4194304 5870510 140722988373744 140722988372184 5283106 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 19017728 140722988377119 140722988377197 140722988377197 140722988380106 0
/proc/1968/statm: 538916 35041 896 410 0 534389 0
Current children cumulated CPU time: 1662.43 s
Current children cumulated vsize: 2155664 KiB
Current children cumulated memory: 140164 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.72 3/200 2285
/proc/meminfo: memFree=24140684/32770624 swapFree=67002732/67108860
[pid=1968] ppid=1962 vsize=2167204 memory=151660 CPUtime=1722.43 cores=1,3,5,7
/proc/1968/stat : 1968 (xcsp_picat) R 1962 1968 1909 0 -1 4202496 43595 0 0 0 172235 8 0 0 20 0 1 0 527125621 2219216896 37915 33554432000 4194304 5870510 140722988373744 140722988372312 5283106 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 19017728 140722988377119 140722988377197 140722988377197 140722988380106 0
/proc/1968/statm: 541801 37915 896 410 0 537274 0
Current children cumulated CPU time: 1722.43 s
Current children cumulated vsize: 2167204 KiB
Current children cumulated memory: 151660 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.74 3/200 2291
/proc/meminfo: memFree=24140568/32770624 swapFree=67002732/67108860
[pid=1968] ppid=1962 vsize=2167204 memory=151704 CPUtime=1782.44 cores=1,3,5,7
/proc/1968/stat : 1968 (xcsp_picat) R 1962 1968 1909 0 -1 4202496 45840 0 0 0 178236 8 0 0 20 0 1 0 527125621 2219216896 37926 33554432000 4194304 5870510 140722988373744 140722988372312 5283072 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 19017728 140722988377119 140722988377197 140722988377197 140722988380106 0
/proc/1968/statm: 541801 37926 896 410 0 537274 0
Current children cumulated CPU time: 1782.44 s
Current children cumulated vsize: 2167204 KiB
Current children cumulated memory: 151704 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.76 3/200 2295
/proc/meminfo: memFree=24138032/32770624 swapFree=67002732/67108860
[pid=1968] ppid=1962 vsize=2193064 memory=153756 CPUtime=1842.45 cores=1,3,5,7
/proc/1968/stat : 1968 (xcsp_picat) R 1962 1968 1909 0 -1 4202496 45941 0 0 0 184237 8 0 0 20 0 1 0 527125621 2245697536 38439 33554432000 4194304 5870510 140722988373744 140722988372184 5283087 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 19017728 140722988377119 140722988377197 140722988377197 140722988380106 0
/proc/1968/statm: 548266 38439 896 410 0 543739 0
Current children cumulated CPU time: 1842.45 s
Current children cumulated vsize: 2193064 KiB
Current children cumulated memory: 153756 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.77 3/199 2300
/proc/meminfo: memFree=24137868/32770624 swapFree=67002732/67108860
[pid=1968] ppid=1962 vsize=2193064 memory=153756 CPUtime=1902.45 cores=1,3,5,7
/proc/1968/stat : 1968 (xcsp_picat) R 1962 1968 1909 0 -1 4202496 46071 0 0 0 190237 8 0 0 20 0 1 0 527125621 2245697536 38439 33554432000 4194304 5870510 140722988373744 140722988372184 5283064 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 19017728 140722988377119 140722988377197 140722988377197 140722988380106 0
/proc/1968/statm: 548266 38439 896 410 0 543739 0
Current children cumulated CPU time: 1902.45 s
Current children cumulated vsize: 2193064 KiB
Current children cumulated memory: 153756 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.79 3/199 2306
/proc/meminfo: memFree=24133368/32770624 swapFree=67002732/67108860
[pid=1968] ppid=1962 vsize=2193064 memory=157428 CPUtime=1962.46 cores=1,3,5,7
/proc/1968/stat : 1968 (xcsp_picat) R 1962 1968 1909 0 -1 4202496 46616 0 0 0 196238 8 0 0 20 0 1 0 527125621 2245697536 39357 33554432000 4194304 5870510 140722988373744 140722988372184 5282747 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 19017728 140722988377119 140722988377197 140722988377197 140722988380106 0
/proc/1968/statm: 548266 39357 896 410 0 543739 0
Current children cumulated CPU time: 1962.46 s
Current children cumulated vsize: 2193064 KiB
Current children cumulated memory: 157428 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.80 3/199 2310
/proc/meminfo: memFree=24126648/32770624 swapFree=67002732/67108860
[pid=1968] ppid=1962 vsize=2193064 memory=157500 CPUtime=2022.46 cores=1,3,5,7
/proc/1968/stat : 1968 (xcsp_picat) R 1962 1968 1909 0 -1 4202496 47602 0 0 0 202238 8 0 0 20 0 1 0 527125621 2245697536 39375 33554432000 4194304 5870510 140722988373744 140722988372184 5277189 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 19017728 140722988377119 140722988377197 140722988377197 140722988380106 0
/proc/1968/statm: 548266 39375 896 410 0 543739 0
Current children cumulated CPU time: 2022.46 s
Current children cumulated vsize: 2193064 KiB
Current children cumulated memory: 157500 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.81 3/199 2315
/proc/meminfo: memFree=24112960/32770624 swapFree=67002732/67108860
[pid=1968] ppid=1962 vsize=2193064 memory=171836 CPUtime=2082.46 cores=1,3,5,7
/proc/1968/stat : 1968 (xcsp_picat) R 1962 1968 1909 0 -1 4202496 48847 0 0 0 208238 8 0 0 20 0 1 0 527125621 2245697536 42959 33554432000 4194304 5870510 140722988373744 140722988372184 5283106 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 19017728 140722988377119 140722988377197 140722988377197 140722988380106 0
/proc/1968/statm: 548266 42959 896 410 0 543739 0
Current children cumulated CPU time: 2082.46 s
Current children cumulated vsize: 2193064 KiB
Current children cumulated memory: 171836 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.82 3/199 2321
/proc/meminfo: memFree=24112764/32770624 swapFree=67002732/67108860
[pid=1968] ppid=1962 vsize=2193064 memory=171836 CPUtime=2142.47 cores=1,3,5,7
/proc/1968/stat : 1968 (xcsp_picat) R 1962 1968 1909 0 -1 4202496 49015 0 0 0 214239 8 0 0 20 0 1 0 527125621 2245697536 42959 33554432000 4194304 5870510 140722988373744 140722988372184 5282759 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 19017728 140722988377119 140722988377197 140722988377197 140722988380106 0
/proc/1968/statm: 548266 42959 896 410 0 543739 0
Current children cumulated CPU time: 2142.47 s
Current children cumulated vsize: 2193064 KiB
Current children cumulated memory: 171836 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.83 3/199 2335
/proc/meminfo: memFree=24112860/32770624 swapFree=67002732/67108860
[pid=1968] ppid=1962 vsize=2193064 memory=171836 CPUtime=2202.48 cores=1,3,5,7
/proc/1968/stat : 1968 (xcsp_picat) R 1962 1968 1909 0 -1 4202496 49178 0 0 0 220240 8 0 0 20 0 1 0 527125621 2245697536 42959 33554432000 4194304 5870510 140722988373744 140722988372184 5278120 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 19017728 140722988377119 140722988377197 140722988377197 140722988380106 0
/proc/1968/statm: 548266 42959 896 410 0 543739 0
Current children cumulated CPU time: 2202.48 s
Current children cumulated vsize: 2193064 KiB
Current children cumulated memory: 171836 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.84 3/199 2339
/proc/meminfo: memFree=24113060/32770624 swapFree=67002732/67108860
[pid=1968] ppid=1962 vsize=2193064 memory=171836 CPUtime=2262.49 cores=1,3,5,7
/proc/1968/stat : 1968 (xcsp_picat) R 1962 1968 1909 0 -1 4202496 50952 0 0 0 226240 9 0 0 20 0 1 0 527125621 2245697536 42959 33554432000 4194304 5870510 140722988373744 140722988372184 5262639 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 19017728 140722988377119 140722988377197 140722988377197 140722988380106 0
/proc/1968/statm: 548266 42959 896 410 0 543739 0
Current children cumulated CPU time: 2262.49 s
Current children cumulated vsize: 2193064 KiB
Current children cumulated memory: 171836 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.86 3/199 2345
/proc/meminfo: memFree=24112936/32770624 swapFree=67002732/67108860
[pid=1968] ppid=1962 vsize=2193064 memory=171836 CPUtime=2322.49 cores=1,3,5,7
/proc/1968/stat : 1968 (xcsp_picat) R 1962 1968 1909 0 -1 4202496 51076 0 0 0 232240 9 0 0 20 0 1 0 527125621 2245697536 42959 33554432000 4194304 5870510 140722988373744 140722988372184 5283024 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 19017728 140722988377119 140722988377197 140722988377197 140722988380106 0
/proc/1968/statm: 548266 42959 896 410 0 543739 0
Current children cumulated CPU time: 2322.49 s
Current children cumulated vsize: 2193064 KiB
Current children cumulated memory: 171836 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/199 2349
/proc/meminfo: memFree=24112976/32770624 swapFree=67002732/67108860
[pid=1968] ppid=1962 vsize=2193064 memory=171836 CPUtime=2382.5 cores=1,3,5,7
/proc/1968/stat : 1968 (xcsp_picat) R 1962 1968 1909 0 -1 4202496 51205 0 0 0 238241 9 0 0 20 0 1 0 527125621 2245697536 42959 33554432000 4194304 5870510 140722988373744 140722988372184 5283087 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 19017728 140722988377119 140722988377197 140722988377197 140722988380106 0
/proc/1968/statm: 548266 42959 896 410 0 543739 0
Current children cumulated CPU time: 2382.5 s
Current children cumulated vsize: 2193064 KiB
Current children cumulated memory: 171836 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.8 s]
/proc/loadavg: 2.00 2.01 1.87 3/200 2351
/proc/meminfo: memFree=24112616/32770624 swapFree=67002732/67108860
[pid=1968] ppid=1962 vsize=2193064 memory=171836 CPUtime=2400 cores=1,3,5,7
/proc/1968/stat : 1968 (xcsp_picat) R 1962 1968 1909 0 -1 4202496 51230 0 0 0 239991 9 0 0 20 0 1 0 527125621 2245697536 42959 33554432000 4194304 5870510 140722988373744 140722988372184 5282621 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 19017728 140722988377119 140722988377197 140722988377197 140722988380106 0
/proc/1968/statm: 548266 42959 896 410 0 543739 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 2193064 KiB
Current children cumulated memory: 171836 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2399.8 s]
# the end of solver process 1968 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.92 s, system=0.094008 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.01
CPU user time (s): 2399.92
CPU system time (s): 0.094008
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 2193064
Max. memory (cumulated for all children) (KiB): 171836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.92
system time used= 0.094008
maximum resident set size= 171836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51230
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= 8
involuntary context switches= 667
# summary of solver processes directly reported to runsolver:
# pid: 1968
# total CPU time (s): 2400.01
# total CPU user time (s): 2399.92
# total CPU system time (s): 0.094008
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.32503 second user time and 17.6272 second system time
The end