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 (6246 MiB free)
memory of node 1: 16384 MiB (5488 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303052-1534013423/watcher-4303052-1534013423 -o /tmp/evaluation-result-4303052-1534013423/solver-4303052-1534013423 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1533993477-10116 --watchdog 2580 xcsp_picat HOME/instance-4303052-1534013423.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=12339, runsolver pid=12336
Current StackSize limit: 8192 KiB
[startup+0.100164 s]*
/proc/loadavg: 2.01 2.02 2.05 3/188 12340
/proc/meminfo: memFree=11998464/32770624 swapFree=67108496/67108860
[pid=12339] ppid=12336 vsize=2031072 memory=20800 CPUtime=0.1 cores=1,3,5,7
/proc/12339/stat : 12339 (xcsp_picat) R 12336 12339 10084 0 -1 4202496 2931 0 0 0 10 0 0 0 20 0 1 0 218905517 2079817728 5200 33554432000 4194304 5849708 140736063963328 140736063963328 5369900 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 17977344 140736063964342 140736063964420 140736063964420 140736063967178 0
/proc/12339/statm: 507768 5200 682 405 0 504713 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031072 KiB
Current children cumulated memory: 20800 KiB
[startup+0.209704 s]*
/proc/loadavg: 2.01 2.02 2.05 3/188 12340
/proc/meminfo: memFree=11998092/32770624 swapFree=67108496/67108860
[pid=12339] ppid=12336 vsize=2031304 memory=20952 CPUtime=0.21 cores=1,3,5,7
/proc/12339/stat : 12339 (xcsp_picat) R 12336 12339 10084 0 -1 4202496 3458 0 0 0 20 1 0 0 20 0 1 0 218905517 2080055296 5238 33554432000 4194304 5849708 140736063963328 140736063963328 5370138 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 17977344 140736063964342 140736063964420 140736063964420 140736063967178 0
/proc/12339/statm: 507826 5238 692 405 0 504771 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031304 KiB
Current children cumulated memory: 20952 KiB
[startup+0.309137 s]*
/proc/loadavg: 2.01 2.02 2.05 3/188 12340
/proc/meminfo: memFree=11998092/32770624 swapFree=67108496/67108860
[pid=12339] ppid=12336 vsize=2031304 memory=20952 CPUtime=0.31 cores=1,3,5,7
/proc/12339/stat : 12339 (xcsp_picat) R 12336 12339 10084 0 -1 4202496 3834 0 0 0 30 1 0 0 20 0 1 0 218905517 2080055296 5238 33554432000 4194304 5849708 140736063963328 140736063963328 5368889 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 17977344 140736063964342 140736063964420 140736063964420 140736063967178 0
/proc/12339/statm: 507826 5238 692 405 0 504771 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031304 KiB
Current children cumulated memory: 20952 KiB
[startup+0.700274 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 12340
/proc/meminfo: memFree=11998092/32770624 swapFree=67108496/67108860
[pid=12339] ppid=12336 vsize=2030896 memory=20732 CPUtime=0.69 cores=1,3,5,7
/proc/12339/stat : 12339 (xcsp_picat) R 12336 12339 10084 0 -1 4202496 4870 0 0 0 68 1 0 0 20 0 1 0 218905517 2079637504 5183 33554432000 4194304 5849708 140736063963328 140736063963328 5358942 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 17977344 140736063964342 140736063964420 140736063964420 140736063967178 0
/proc/12339/statm: 507724 5183 692 405 0 504669 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2030896 KiB
Current children cumulated memory: 20732 KiB
[startup+1.50036 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 12340
/proc/meminfo: memFree=11997844/32770624 swapFree=67108496/67108860
[pid=12339] ppid=12336 vsize=2040520 memory=29824 CPUtime=1.5 cores=1,3,5,7
/proc/12339/stat : 12339 (xcsp_picat) R 12336 12339 10084 0 -1 4202496 7737 0 0 0 148 2 0 0 20 0 1 0 218905517 2089492480 7456 33554432000 4194304 5849708 140736063963328 140736063962088 139656617697159 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 17977344 140736063964342 140736063964420 140736063964420 140736063967178 0
/proc/12339/statm: 510130 7456 704 405 0 507075 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 2040520 KiB
Current children cumulated memory: 29824 KiB
[startup+3.10938 s]
/proc/loadavg: 1.93 2.00 2.04 3/188 12340
/proc/meminfo: memFree=11990664/32770624 swapFree=67108496/67108860
[pid=12339] ppid=12336 vsize=2038676 memory=27944 CPUtime=3.1 cores=1,3,5,7
/proc/12339/stat : 12339 (xcsp_picat) R 12336 12339 10084 0 -1 4202496 9878 0 0 0 307 3 0 0 20 0 1 0 218905517 2087604224 6986 33554432000 4194304 5849708 140736063963328 140736063962088 139656617697159 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 17977344 140736063964342 140736063964420 140736063964420 140736063967178 0
/proc/12339/statm: 509669 6986 708 405 0 506614 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2038676 KiB
Current children cumulated memory: 27944 KiB
[startup+6.30029 s]
/proc/loadavg: 1.93 2.00 2.04 3/188 12340
/proc/meminfo: memFree=11988448/32770624 swapFree=67108496/67108860
[pid=12339] ppid=12336 vsize=2037644 memory=27520 CPUtime=6.29 cores=1,3,5,7
/proc/12339/stat : 12339 (xcsp_picat) R 12336 12339 10084 0 -1 4202496 15014 0 0 0 622 7 0 0 20 0 1 0 218905517 2086547456 6880 33554432000 4194304 5849708 140736063963328 140736063962328 139656617697159 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 17977344 140736063964342 140736063964420 140736063964420 140736063967178 0
/proc/12339/statm: 509411 6880 708 405 0 506356 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2037644 KiB
Current children cumulated memory: 27520 KiB
[startup+12.7004 s]
/proc/loadavg: 1.93 2.00 2.04 3/188 12340
/proc/meminfo: memFree=11989100/32770624 swapFree=67108496/67108860
[pid=12339] ppid=12336 vsize=2045144 memory=34864 CPUtime=12.69 cores=1,3,5,7
/proc/12339/stat : 12339 (xcsp_picat) R 12336 12339 10084 0 -1 4202496 20565 0 0 0 1256 13 0 0 20 0 1 0 218905517 2094227456 8716 33554432000 4194304 5849708 140736063963328 140736063961816 139656617697159 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 17977344 140736063964342 140736063964420 140736063964420 140736063967178 0
/proc/12339/statm: 511286 8716 708 405 0 508231 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2045144 KiB
Current children cumulated memory: 34864 KiB
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/188 12340
/proc/meminfo: memFree=11982096/32770624 swapFree=67108496/67108860
[pid=12339] ppid=12336 vsize=2046572 memory=36148 CPUtime=25.49 cores=1,3,5,7
/proc/12339/stat : 12339 (xcsp_picat) R 12336 12339 10084 0 -1 4202496 30458 0 0 0 2525 24 0 0 20 0 1 0 218905517 2095689728 9037 33554432000 4194304 5849708 140736063963328 140736063962040 139656617697159 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 17977344 140736063964342 140736063964420 140736063964420 140736063967178 0
/proc/12339/statm: 511643 9037 708 405 0 508588 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2046572 KiB
Current children cumulated memory: 36148 KiB
[startup+51.1095 s]
/proc/loadavg: 1.97 2.00 2.04 3/188 12340
/proc/meminfo: memFree=12004664/32770624 swapFree=67108496/67108860
[pid=12339] ppid=12336 vsize=2048108 memory=37764 CPUtime=51.1 cores=1,3,5,7
/proc/12339/stat : 12339 (xcsp_picat) R 12336 12339 10084 0 -1 4202496 42315 0 0 0 5065 45 0 0 20 0 1 0 218905517 2097262592 9441 33554432000 4194304 5849708 140736063963328 140736063962328 139656617697159 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 17977344 140736063964342 140736063964420 140736063964420 140736063967178 0
/proc/12339/statm: 512027 9441 708 405 0 508972 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2048108 KiB
Current children cumulated memory: 37764 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 12341
/proc/meminfo: memFree=11993840/32770624 swapFree=67108496/67108860
[pid=12339] ppid=12336 vsize=2059880 memory=49656 CPUtime=102.3 cores=1,3,5,7
/proc/12339/stat : 12339 (xcsp_picat) R 12336 12339 10084 0 -1 4202496 66058 0 0 0 10155 75 0 0 20 0 1 0 218905517 2109317120 12414 33554432000 4194304 5849708 140736063963328 140736063962328 139656617697159 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 17977344 140736063964342 140736063964420 140736063964420 140736063967178 0
/proc/12339/statm: 514970 12414 708 405 0 511915 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2059880 KiB
Current children cumulated memory: 49656 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 12342
/proc/meminfo: memFree=11967356/32770624 swapFree=67108496/67108860
[pid=12339] ppid=12336 vsize=2062052 memory=51828 CPUtime=162.29 cores=1,3,5,7
/proc/12339/stat : 12339 (xcsp_picat) R 12336 12339 10084 0 -1 4202496 87799 0 0 0 16120 109 0 0 20 0 1 0 218905517 2111541248 12957 33554432000 4194304 5849708 140736063963328 140736063962328 139656617697159 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 17977344 140736063964342 140736063964420 140736063964420 140736063967178 0
/proc/12339/statm: 515513 12957 708 405 0 512458 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2062052 KiB
Current children cumulated memory: 51828 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 12343
/proc/meminfo: memFree=11963468/32770624 swapFree=67108496/67108860
[pid=12339] ppid=12336 vsize=2062224 memory=52128 CPUtime=222.29 cores=1,3,5,7
/proc/12339/stat : 12339 (xcsp_picat) R 12336 12339 10084 0 -1 4202496 105739 0 0 0 22090 139 0 0 20 0 1 0 218905517 2111717376 13032 33554432000 4194304 5849708 140736063963328 140736063962328 139656617697159 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 17977344 140736063964342 140736063964420 140736063964420 140736063967178 0
/proc/12339/statm: 515556 13032 708 405 0 512501 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2062224 KiB
Current children cumulated memory: 52128 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 12345
/proc/meminfo: memFree=11941272/32770624 swapFree=67108496/67108860
[pid=12339] ppid=12336 vsize=2106916 memory=96348 CPUtime=282.29 cores=1,3,5,7
/proc/12339/stat : 12339 (xcsp_picat) R 12336 12339 10084 0 -1 4202496 122773 0 0 0 28072 157 0 0 20 0 1 0 218905517 2157481984 24087 33554432000 4194304 5849708 140736063963328 140736063962328 5437607 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 17977344 140736063964342 140736063964420 140736063964420 140736063967178 0
/proc/12339/statm: 526729 24087 708 405 0 523674 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2106916 KiB
Current children cumulated memory: 96348 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 12346
/proc/meminfo: memFree=11950428/32770624 swapFree=67108496/67108860
[pid=12339] ppid=12336 vsize=2097780 memory=87556 CPUtime=342.3 cores=1,3,5,7
/proc/12339/stat : 12339 (xcsp_picat) R 12336 12339 10084 0 -1 4202496 140688 0 0 0 34054 176 0 0 20 0 1 0 218905517 2148126720 21889 33554432000 4194304 5849708 140736063963328 140736063962328 5438294 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 17977344 140736063964342 140736063964420 140736063964420 140736063967178 0
/proc/12339/statm: 524445 21889 708 405 0 521390 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2097780 KiB
Current children cumulated memory: 87556 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 12347
/proc/meminfo: memFree=11896712/32770624 swapFree=67108496/67108860
[pid=12339] ppid=12336 vsize=2150608 memory=140384 CPUtime=402.3 cores=1,3,5,7
/proc/12339/stat : 12339 (xcsp_picat) R 12336 12339 10084 0 -1 4202496 157250 0 0 0 40040 190 0 0 20 0 1 0 218905517 2202222592 35096 33554432000 4194304 5849708 140736063963328 140736063961736 139656617697159 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 17977344 140736063964342 140736063964420 140736063964420 140736063967178 0
/proc/12339/statm: 537652 35096 708 405 0 534597 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 2150608 KiB
Current children cumulated memory: 140384 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 12349
/proc/meminfo: memFree=11880716/32770624 swapFree=67108496/67108860
[pid=12339] ppid=12336 vsize=2167568 memory=157216 CPUtime=462.29 cores=1,3,5,7
/proc/12339/stat : 12339 (xcsp_picat) R 12336 12339 10084 0 -1 4202496 165613 0 0 0 46030 199 0 0 20 0 1 0 218905517 2219589632 39304 33554432000 4194304 5849708 140736063963328 140736063962328 139656617697159 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 17977344 140736063964342 140736063964420 140736063964420 140736063967178 0
/proc/12339/statm: 541892 39304 708 405 0 538837 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 2167568 KiB
Current children cumulated memory: 157216 KiB
################
# More data... #
################
/proc/12339/statm: 546439 44969 708 405 0 543384 0
Current children cumulated CPU time: 1722.3 s
Current children cumulated vsize: 2185756 KiB
Current children cumulated memory: 179876 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 12416
/proc/meminfo: memFree=11747048/32770624 swapFree=67108496/67108860
[pid=12339] ppid=12336 vsize=2252440 memory=246796 CPUtime=1782.3 cores=1,3,5,7
/proc/12339/stat : 12339 (xcsp_picat) R 12336 12339 10084 0 -1 4202496 374324 0 0 0 177826 404 0 0 20 0 1 0 218905517 2306498560 61699 33554432000 4194304 5849708 140736063963328 140736063962328 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 17977344 140736063964342 140736063964420 140736063964420 140736063967178 0
/proc/12339/statm: 563110 61699 708 405 0 560055 0
Current children cumulated CPU time: 1782.3 s
Current children cumulated vsize: 2252440 KiB
Current children cumulated memory: 246796 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 12417
/proc/meminfo: memFree=11710028/32770624 swapFree=67108496/67108860
[pid=12339] ppid=12336 vsize=2252440 memory=246796 CPUtime=1842.3 cores=1,3,5,7
/proc/12339/stat : 12339 (xcsp_picat) R 12336 12339 10084 0 -1 4202496 378500 0 0 0 183818 412 0 0 20 0 1 0 218905517 2306498560 61699 33554432000 4194304 5849708 140736063963328 140736063962328 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 17977344 140736063964342 140736063964420 140736063964420 140736063967178 0
/proc/12339/statm: 563110 61699 708 405 0 560055 0
Current children cumulated CPU time: 1842.3 s
Current children cumulated vsize: 2252440 KiB
Current children cumulated memory: 246796 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 12418
/proc/meminfo: memFree=11750160/32770624 swapFree=67108496/67108860
[pid=12339] ppid=12336 vsize=2186896 memory=181252 CPUtime=1902.31 cores=1,3,5,7
/proc/12339/stat : 12339 (xcsp_picat) R 12336 12339 10084 0 -1 4202496 397325 0 0 0 189809 422 0 0 20 0 1 0 218905517 2239381504 45313 33554432000 4194304 5849708 140736063963328 140736063962328 139656617697159 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 17977344 140736063964342 140736063964420 140736063964420 140736063967178 0
/proc/12339/statm: 546724 45313 708 405 0 543669 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 2186896 KiB
Current children cumulated memory: 181252 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 12419
/proc/meminfo: memFree=11730232/32770624 swapFree=67108496/67108860
[pid=12339] ppid=12336 vsize=2204744 memory=199100 CPUtime=1962.3 cores=1,3,5,7
/proc/12339/stat : 12339 (xcsp_picat) R 12336 12339 10084 0 -1 4202496 412544 0 0 0 195798 432 0 0 20 0 1 0 218905517 2257657856 49775 33554432000 4194304 5849708 140736063963328 140736063962200 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 17977344 140736063964342 140736063964420 140736063964420 140736063967178 0
/proc/12339/statm: 551186 49775 708 405 0 548131 0
Current children cumulated CPU time: 1962.3 s
Current children cumulated vsize: 2204744 KiB
Current children cumulated memory: 199100 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 12420
/proc/meminfo: memFree=11691592/32770624 swapFree=67108496/67108860
[pid=12339] ppid=12336 vsize=2237512 memory=231868 CPUtime=2022.31 cores=1,3,5,7
/proc/12339/stat : 12339 (xcsp_picat) R 12336 12339 10084 0 -1 4202496 425566 0 0 0 201790 441 0 0 20 0 1 0 218905517 2291212288 57967 33554432000 4194304 5849708 140736063963328 140736063962328 5335582 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 17977344 140736063964342 140736063964420 140736063964420 140736063967178 0
/proc/12339/statm: 559378 57967 708 405 0 556323 0
Current children cumulated CPU time: 2022.31 s
Current children cumulated vsize: 2237512 KiB
Current children cumulated memory: 231868 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 12422
/proc/meminfo: memFree=11669016/32770624 swapFree=67108496/67108860
[pid=12339] ppid=12336 vsize=2303048 memory=297404 CPUtime=2082.31 cores=1,3,5,7
/proc/12339/stat : 12339 (xcsp_picat) R 12336 12339 10084 0 -1 4202496 428472 0 0 0 207781 450 0 0 20 0 1 0 218905517 2358321152 74351 33554432000 4194304 5849708 140736063963328 140736063962328 5437837 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 17977344 140736063964342 140736063964420 140736063964420 140736063967178 0
/proc/12339/statm: 575762 74351 708 405 0 572707 0
Current children cumulated CPU time: 2082.31 s
Current children cumulated vsize: 2303048 KiB
Current children cumulated memory: 297404 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 12423
/proc/meminfo: memFree=11708392/32770624 swapFree=67108496/67108860
[pid=12339] ppid=12336 vsize=2252204 memory=246560 CPUtime=2142.31 cores=1,3,5,7
/proc/12339/stat : 12339 (xcsp_picat) R 12336 12339 10084 0 -1 4202496 445813 0 0 0 213772 459 0 0 20 0 1 0 218905517 2306256896 61640 33554432000 4194304 5849708 140736063963328 140736063962328 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 17977344 140736063964342 140736063964420 140736063964420 140736063967178 0
/proc/12339/statm: 563051 61640 708 405 0 559996 0
Current children cumulated CPU time: 2142.31 s
Current children cumulated vsize: 2252204 KiB
Current children cumulated memory: 246560 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 12485
/proc/meminfo: memFree=11967212/32770624 swapFree=67108496/67108860
[pid=12339] ppid=12336 vsize=2317740 memory=312096 CPUtime=2202.31 cores=1,3,5,7
/proc/12339/stat : 12339 (xcsp_picat) R 12336 12339 10084 0 -1 4202496 450513 0 0 0 219764 467 0 0 20 0 1 0 218905517 2373365760 78024 33554432000 4194304 5849708 140736063963328 140736063962328 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 17977344 140736063964342 140736063964420 140736063964420 140736063967178 0
/proc/12339/statm: 579435 78024 708 405 0 576380 0
Current children cumulated CPU time: 2202.31 s
Current children cumulated vsize: 2317740 KiB
Current children cumulated memory: 312096 KiB
[startup+2262.3 s]
/proc/loadavg: 2.28 2.07 2.06 3/187 12487
/proc/meminfo: memFree=11964344/32770624 swapFree=67108496/67108860
[pid=12339] ppid=12336 vsize=2317740 memory=312096 CPUtime=2262.31 cores=1,3,5,7
/proc/12339/stat : 12339 (xcsp_picat) R 12336 12339 10084 0 -1 4202496 464327 0 0 0 225758 473 0 0 20 0 1 0 218905517 2373365760 78024 33554432000 4194304 5849708 140736063963328 140736063962200 139656617697159 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 17977344 140736063964342 140736063964420 140736063964420 140736063967178 0
/proc/12339/statm: 579435 78024 708 405 0 576380 0
Current children cumulated CPU time: 2262.31 s
Current children cumulated vsize: 2317740 KiB
Current children cumulated memory: 312096 KiB
[startup+2322.3 s]
/proc/loadavg: 2.29 2.13 2.08 3/187 12551
/proc/meminfo: memFree=12003188/32770624 swapFree=67108496/67108860
[pid=12339] ppid=12336 vsize=2317740 memory=312096 CPUtime=2322.31 cores=1,3,5,7
/proc/12339/stat : 12339 (xcsp_picat) R 12336 12339 10084 0 -1 4202496 467418 0 0 0 231751 480 0 0 20 0 1 0 218905517 2373365760 78024 33554432000 4194304 5849708 140736063963328 140736063962328 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 17977344 140736063964342 140736063964420 140736063964420 140736063967178 0
/proc/12339/statm: 579435 78024 708 405 0 576380 0
Current children cumulated CPU time: 2322.31 s
Current children cumulated vsize: 2317740 KiB
Current children cumulated memory: 312096 KiB
[startup+2382.3 s]
/proc/loadavg: 2.11 2.10 2.08 3/188 12560
/proc/meminfo: memFree=11995980/32770624 swapFree=67108496/67108860
[pid=12339] ppid=12336 vsize=2317740 memory=312096 CPUtime=2382.31 cores=1,3,5,7
/proc/12339/stat : 12339 (xcsp_picat) R 12336 12339 10084 0 -1 4202496 483527 0 0 0 237745 486 0 0 20 0 1 0 218905517 2373365760 78024 33554432000 4194304 5849708 140736063963328 140736063962328 5438368 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 17977344 140736063964342 140736063964420 140736063964420 140736063967178 0
/proc/12339/statm: 579435 78024 708 405 0 576380 0
Current children cumulated CPU time: 2382.31 s
Current children cumulated vsize: 2317740 KiB
Current children cumulated memory: 312096 KiB
[startup+2442.3 s]
/proc/loadavg: 2.04 2.08 2.07 3/188 12561
/proc/meminfo: memFree=12001212/32770624 swapFree=67108496/67108860
[pid=12339] ppid=12336 vsize=2317740 memory=312096 CPUtime=2442.31 cores=1,3,5,7
/proc/12339/stat : 12339 (xcsp_picat) R 12336 12339 10084 0 -1 4202496 499677 0 0 0 243739 492 0 0 20 0 1 0 218905517 2373365760 78024 33554432000 4194304 5849708 140736063963328 140736063962328 5437837 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 17977344 140736063964342 140736063964420 140736063964420 140736063967178 0
/proc/12339/statm: 579435 78024 708 405 0 576380 0
Current children cumulated CPU time: 2442.31 s
Current children cumulated vsize: 2317740 KiB
Current children cumulated memory: 312096 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.07 2.06 3/188 12562
/proc/meminfo: memFree=11984780/32770624 swapFree=67108496/67108860
[pid=12339] ppid=12336 vsize=2317740 memory=312096 CPUtime=2502.32 cores=1,3,5,7
/proc/12339/stat : 12339 (xcsp_picat) R 12336 12339 10084 0 -1 4202496 515386 0 0 0 249733 499 0 0 20 0 1 0 218905517 2373365760 78024 33554432000 4194304 5849708 140736063963328 140736063962328 5438180 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 17977344 140736063964342 140736063964420 140736063964420 140736063967178 0
/proc/12339/statm: 579435 78024 708 405 0 576380 0
Current children cumulated CPU time: 2502.32 s
Current children cumulated vsize: 2317740 KiB
Current children cumulated memory: 312096 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.01 2.06 2.06 3/188 12562
/proc/meminfo: memFree=11983560/32770624 swapFree=67108496/67108860
[pid=12339] ppid=12336 vsize=2317740 memory=312096 CPUtime=2520.02 cores=1,3,5,7
/proc/12339/stat : 12339 (xcsp_picat) R 12336 12339 10084 0 -1 4202496 527546 0 0 0 251501 501 0 0 20 0 1 0 218905517 2373365760 78024 33554432000 4194304 5849708 140736063963328 140736063962488 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 17977344 140736063964342 140736063964420 140736063964420 140736063967178 0
/proc/12339/statm: 579435 78024 708 405 0 576380 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 2317740 KiB
Current children cumulated memory: 312096 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 12339 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.02 s, system=5.02311 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): 2520.04
CPU user time (s): 2515.02
CPU system time (s): 5.02311
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 2317740
Max. memory (cumulated for all children) (KiB): 312096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.02
system time used= 5.02311
maximum resident set size= 312096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 527546
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= 42
involuntary context switches= 2167
# summary of solver processes directly reported to runsolver:
# pid: 12339
# total CPU time (s): 2520.04
# total CPU user time (s): 2515.02
# total CPU system time (s): 5.02311
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.76416 second user time and 18.4317 second system time
The end