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 (9616 MiB free)
memory of node 1: 16384 MiB (11683 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395135-1568328959/watcher-4395135-1568328959 -o /tmp/evaluation-result-4395135-1568328959/solver-4395135-1568328959 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568322359-24211 --watchdog 2580 xcsp_picat HOME/instance-4395135-1568328959.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
Current StackSize limit: 8192 KiB
solver pid=25810, runsolver pid=25807
[startup+0.100107 s]*
/proc/loadavg: 2.00 2.01 2.04 3/199 25811
/proc/meminfo: memFree=21796064/32770624 swapFree=66999192/67108860
[pid=25810] ppid=25807 vsize=2037876 memory=19648 CPUtime=0.1 cores=1,3,5,7
/proc/25810/stat : 25810 (xcsp_picat) R 25807 25810 24179 0 -1 4202496 2523 0 0 0 10 0 0 0 20 0 1 0 408834354 2086785024 4912 33554432000 4194304 5870510 140731510271376 140731510268520 5562032 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 38322176 140731510273055 140731510273133 140731510273133 140731510276042 0
/proc/25810/statm: 509469 4912 940 410 0 504942 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2037876 KiB
Current children cumulated memory: 19648 KiB
[startup+0.209663 s]*
/proc/loadavg: 2.00 2.01 2.04 3/199 25811
/proc/meminfo: memFree=21796064/32770624 swapFree=66999192/67108860
[pid=25810] ppid=25807 vsize=2037876 memory=19648 CPUtime=0.21 cores=1,3,5,7
/proc/25810/stat : 25810 (xcsp_picat) R 25807 25810 24179 0 -1 4202496 2523 0 0 0 21 0 0 0 20 0 1 0 408834354 2086785024 4912 33554432000 4194304 5870510 140731510271376 140731510270472 5407136 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 38322176 140731510273055 140731510273133 140731510273133 140731510276042 0
/proc/25810/statm: 509469 4912 940 410 0 504942 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2037876 KiB
Current children cumulated memory: 19648 KiB
[startup+0.308924 s]*
/proc/loadavg: 2.00 2.01 2.04 3/199 25811
/proc/meminfo: memFree=21795740/32770624 swapFree=66999192/67108860
[pid=25810] ppid=25807 vsize=2037876 memory=19648 CPUtime=0.3 cores=1,3,5,7
/proc/25810/stat : 25810 (xcsp_picat) R 25807 25810 24179 0 -1 4202496 2528 0 0 0 30 0 0 0 20 0 1 0 408834354 2086785024 4912 33554432000 4194304 5870510 140731510271376 140731510270472 5562059 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 38322176 140731510273055 140731510273133 140731510273133 140731510276042 0
/proc/25810/statm: 509469 4912 940 410 0 504942 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2037876 KiB
Current children cumulated memory: 19648 KiB
[startup+0.700331 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 25811
/proc/meminfo: memFree=21823872/32770624 swapFree=66999192/67108860
[pid=25810] ppid=25807 vsize=2043608 memory=29740 CPUtime=0.69 cores=1,3,5,7
/proc/25810/stat : 25810 (xcsp_picat) R 25807 25810 24179 0 -1 4202496 5705 0 0 0 68 1 0 0 20 0 1 0 408834354 2092654592 7435 33554432000 4194304 5870510 140731510271376 140731510270552 5258060 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 38322176 140731510273055 140731510273133 140731510273133 140731510276042 0
/proc/25810/statm: 510902 7435 952 410 0 506375 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2043608 KiB
Current children cumulated memory: 29740 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 25811
/proc/meminfo: memFree=21815188/32770624 swapFree=66999192/67108860
[pid=25810] ppid=25807 vsize=2046328 memory=30776 CPUtime=1.49 cores=1,3,5,7
/proc/25810/stat : 25810 (xcsp_picat) R 25807 25810 24179 0 -1 4202496 6021 0 0 0 148 1 0 0 20 0 1 0 408834354 2095439872 7694 33554432000 4194304 5870510 140731510271376 140731510270552 5298780 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 38322176 140731510273055 140731510273133 140731510273133 140731510276042 0
/proc/25810/statm: 511582 7694 973 410 0 507055 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2046328 KiB
Current children cumulated memory: 30776 KiB
[startup+3.10956 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 25811
/proc/meminfo: memFree=21794204/32770624 swapFree=66999192/67108860
[pid=25810] ppid=25807 vsize=2058724 memory=44036 CPUtime=3.1 cores=1,3,5,7
/proc/25810/stat : 25810 (xcsp_picat) R 25807 25810 24179 0 -1 4202496 10579 0 0 0 309 1 0 0 20 0 1 0 408834354 2108133376 11009 33554432000 4194304 5870510 140731510271376 140731510269672 5308383 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 38322176 140731510273055 140731510273133 140731510273133 140731510276042 0
/proc/25810/statm: 514681 11009 974 410 0 510154 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2058724 KiB
Current children cumulated memory: 44036 KiB
[startup+6.30029 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 25811
/proc/meminfo: memFree=21759456/32770624 swapFree=66999192/67108860
[pid=25810] ppid=25807 vsize=2089912 memory=66736 CPUtime=6.29 cores=1,3,5,7
/proc/25810/stat : 25810 (xcsp_picat) R 25807 25810 24179 0 -1 4202496 17701 0 0 0 627 2 0 0 20 0 1 0 408834354 2140069888 16684 33554432000 4194304 5870510 140731510271376 140731510269736 5262786 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 38322176 140731510273055 140731510273133 140731510273133 140731510276042 0
/proc/25810/statm: 522478 16684 974 410 0 517951 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2089912 KiB
Current children cumulated memory: 66736 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 25872
/proc/meminfo: memFree=21909544/32770624 swapFree=66999192/67108860
[pid=25810] ppid=25807 vsize=2090808 memory=68424 CPUtime=12.68 cores=1,3,5,7
/proc/25810/stat : 25810 (xcsp_picat) R 25807 25810 24179 0 -1 4202496 34649 0 0 0 1263 5 0 0 20 0 1 0 408834354 2140987392 17106 33554432000 4194304 5870510 140731510271376 140731510270392 5263020 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 38322176 140731510273055 140731510273133 140731510273133 140731510276042 0
/proc/25810/statm: 522702 17106 974 410 0 518175 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2090808 KiB
Current children cumulated memory: 68424 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 25874
/proc/meminfo: memFree=21817880/32770624 swapFree=66999192/67108860
[pid=25810] ppid=25807 vsize=2173152 memory=124716 CPUtime=25.48 cores=1,3,5,7
/proc/25810/stat : 25810 (xcsp_picat) R 25807 25810 24179 0 -1 4202496 49315 0 0 0 2541 7 0 0 20 0 1 0 408834354 2225307648 31179 33554432000 4194304 5870510 140731510271376 140731510269736 5282340 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 38322176 140731510273055 140731510273133 140731510273133 140731510276042 0
/proc/25810/statm: 543288 31179 974 410 0 538761 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2173152 KiB
Current children cumulated memory: 124716 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 25875
/proc/meminfo: memFree=21853664/32770624 swapFree=66999192/67108860
[pid=25810] ppid=25807 vsize=2102844 memory=81912 CPUtime=51.09 cores=1,3,5,7
/proc/25810/stat : 25810 (xcsp_picat) R 25807 25810 24179 0 -1 4202496 78983 0 0 0 5094 15 0 0 20 0 1 0 408834354 2153312256 20478 33554432000 4194304 5870510 140731510271376 140731510269816 5282759 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 38322176 140731510273055 140731510273133 140731510273133 140731510276042 0
/proc/25810/statm: 525711 20478 974 410 0 521184 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2102844 KiB
Current children cumulated memory: 81912 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 25878
/proc/meminfo: memFree=21758420/32770624 swapFree=66999192/67108860
[pid=25810] ppid=25807 vsize=2201660 memory=163140 CPUtime=102.27 cores=1,3,5,7
/proc/25810/stat : 25810 (xcsp_picat) R 25807 25810 24179 0 -1 4202496 87592 0 0 0 10207 20 0 0 20 0 1 0 408834354 2254499840 40785 33554432000 4194304 5870510 140731510271376 140731510270328 5282251 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 38322176 140731510273055 140731510273133 140731510273133 140731510276042 0
/proc/25810/statm: 550415 40785 974 410 0 545888 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2201660 KiB
Current children cumulated memory: 163140 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 25884
/proc/meminfo: memFree=21799352/32770624 swapFree=66999192/67108860
[pid=25810] ppid=25807 vsize=2121520 memory=110200 CPUtime=162.27 cores=1,3,5,7
/proc/25810/stat : 25810 (xcsp_picat) R 25807 25810 24179 0 -1 4202496 99438 0 0 0 16196 31 0 0 20 0 1 0 408834354 2172436480 27550 33554432000 4194304 5870510 140731510271376 140731510270392 5282747 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 38322176 140731510273055 140731510273133 140731510273133 140731510276042 0
/proc/25810/statm: 530380 27550 974 410 0 525853 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2121520 KiB
Current children cumulated memory: 110200 KiB
[startup+222.3 s]
/proc/loadavg: 2.52 2.14 2.08 3/199 25949
/proc/meminfo: memFree=21724764/32770624 swapFree=66999192/67108860
[pid=25810] ppid=25807 vsize=2170840 memory=156868 CPUtime=222.25 cores=1,3,5,7
/proc/25810/stat : 25810 (xcsp_picat) R 25807 25810 24179 0 -1 4202496 110487 0 0 0 22184 41 0 0 20 0 1 0 408834354 2222940160 39217 33554432000 4194304 5870510 140731510271376 140731510269816 5282767 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 38322176 140731510273055 140731510273133 140731510273133 140731510276042 0
/proc/25810/statm: 542710 39217 974 410 0 538183 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 2170840 KiB
Current children cumulated memory: 156868 KiB
[startup+282.3 s]
/proc/loadavg: 2.26 2.15 2.09 3/199 25953
/proc/meminfo: memFree=21675440/32770624 swapFree=66999192/67108860
[pid=25810] ppid=25807 vsize=2170840 memory=148640 CPUtime=282.25 cores=1,3,5,7
/proc/25810/stat : 25810 (xcsp_picat) R 25807 25810 24179 0 -1 4202496 119148 0 0 0 28173 52 0 0 20 0 1 0 408834354 2222940160 37160 33554432000 4194304 5870510 140731510271376 140731510269816 5262639 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 38322176 140731510273055 140731510273133 140731510273133 140731510276042 0
/proc/25810/statm: 542710 37160 974 410 0 538183 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 2170840 KiB
Current children cumulated memory: 148640 KiB
[startup+342.3 s]
/proc/loadavg: 2.09 2.12 2.08 3/200 25967
/proc/meminfo: memFree=21679040/32770624 swapFree=66999192/67108860
[pid=25810] ppid=25807 vsize=2170840 memory=148644 CPUtime=342.24 cores=1,3,5,7
/proc/25810/stat : 25810 (xcsp_picat) R 25807 25810 24179 0 -1 4202496 131052 0 0 0 34162 62 0 0 20 0 1 0 408834354 2222940160 37161 33554432000 4194304 5870510 140731510271376 140731510269816 5282001 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 38322176 140731510273055 140731510273133 140731510273133 140731510276042 0
/proc/25810/statm: 542710 37161 974 410 0 538183 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 2170840 KiB
Current children cumulated memory: 148644 KiB
[startup+402.3 s]
/proc/loadavg: 2.64 2.26 2.13 3/201 25997
/proc/meminfo: memFree=21690872/32770624 swapFree=66999192/67108860
[pid=25810] ppid=25807 vsize=2133876 memory=122556 CPUtime=402.23 cores=1,3,5,7
/proc/25810/stat : 25810 (xcsp_picat) R 25807 25810 24179 0 -1 4202496 141027 0 0 0 40149 74 0 0 20 0 1 0 408834354 2185089024 30639 33554432000 4194304 5870510 140731510271376 140731510270392 5282736 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 38322176 140731510273055 140731510273133 140731510273133 140731510276042 0
/proc/25810/statm: 533469 30639 974 410 0 528942 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 2133876 KiB
Current children cumulated memory: 122556 KiB
[startup+462.3 s]
/proc/loadavg: 2.24 2.21 2.13 3/201 26001
/proc/meminfo: memFree=21698504/32770624 swapFree=66999192/67108860
[pid=25810] ppid=25807 vsize=2133876 memory=122556 CPUtime=462.23 cores=1,3,5,7
/proc/25810/stat : 25810 (xcsp_picat) R 25807 25810 24179 0 -1 4202496 152649 0 0 0 46137 86 0 0 20 0 1 0 408834354 2185089024 30639 33554432000 4194304 5870510 140731510271376 140731510270392 5262639 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 38322176 140731510273055 140731510273133 140731510273133 140731510276042 0
/proc/25810/statm: 533469 30639 974 410 0 528942 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 2133876 KiB
Current children cumulated memory: 122556 KiB
################
# More data... #
################
/proc/25810/statm: 553400 47338 974 410 0 548873 0
Current children cumulated CPU time: 1722.06 s
Current children cumulated vsize: 2213600 KiB
Current children cumulated memory: 189352 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 26121
/proc/meminfo: memFree=21551916/32770624 swapFree=66999192/67108860
[pid=25810] ppid=25807 vsize=2213600 memory=195468 CPUtime=1782.06 cores=1,3,5,7
/proc/25810/stat : 25810 (xcsp_picat) R 25807 25810 24179 0 -1 4202496 400943 0 0 0 177858 348 0 0 20 0 1 0 408834354 2266726400 48867 33554432000 4194304 5870510 140731510271376 140731510269816 5262524 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 38322176 140731510273055 140731510273133 140731510273133 140731510276042 0
/proc/25810/statm: 553400 48867 974 410 0 548873 0
Current children cumulated CPU time: 1782.06 s
Current children cumulated vsize: 2213600 KiB
Current children cumulated memory: 195468 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 26126
/proc/meminfo: memFree=21560432/32770624 swapFree=66999192/67108860
[pid=25810] ppid=25807 vsize=2213600 memory=197580 CPUtime=1842.05 cores=1,3,5,7
/proc/25810/stat : 25810 (xcsp_picat) R 25807 25810 24179 0 -1 4202496 410123 0 0 0 183847 358 0 0 20 0 1 0 408834354 2266726400 49395 33554432000 4194304 5870510 140731510271376 140731510269816 5304091 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 38322176 140731510273055 140731510273133 140731510273133 140731510276042 0
/proc/25810/statm: 553400 49395 974 410 0 548873 0
Current children cumulated CPU time: 1842.05 s
Current children cumulated vsize: 2213600 KiB
Current children cumulated memory: 197580 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 26130
/proc/meminfo: memFree=21556428/32770624 swapFree=66999192/67108860
[pid=25810] ppid=25807 vsize=2213600 memory=197544 CPUtime=1902.04 cores=1,3,5,7
/proc/25810/stat : 25810 (xcsp_picat) R 25807 25810 24179 0 -1 4202496 428672 0 0 0 189828 376 0 0 20 0 1 0 408834354 2266726400 49386 33554432000 4194304 5870510 140731510271376 140731510269816 5282736 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 38322176 140731510273055 140731510273133 140731510273133 140731510276042 0
/proc/25810/statm: 553400 49386 974 410 0 548873 0
Current children cumulated CPU time: 1902.04 s
Current children cumulated vsize: 2213600 KiB
Current children cumulated memory: 197544 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 26136
/proc/meminfo: memFree=21572560/32770624 swapFree=66999192/67108860
[pid=25810] ppid=25807 vsize=2213600 memory=191404 CPUtime=1962.03 cores=1,3,5,7
/proc/25810/stat : 25810 (xcsp_picat) R 25807 25810 24179 0 -1 4202496 441371 0 0 0 195809 394 0 0 20 0 1 0 408834354 2266726400 47851 33554432000 4194304 5870510 140731510271376 140731510269816 5282295 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 38322176 140731510273055 140731510273133 140731510273133 140731510276042 0
/proc/25810/statm: 553400 47851 974 410 0 548873 0
Current children cumulated CPU time: 1962.03 s
Current children cumulated vsize: 2213600 KiB
Current children cumulated memory: 191404 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 26141
/proc/meminfo: memFree=21604620/32770624 swapFree=66999192/67108860
[pid=25810] ppid=25807 vsize=2213600 memory=191404 CPUtime=2022.03 cores=1,3,5,7
/proc/25810/stat : 25810 (xcsp_picat) R 25807 25810 24179 0 -1 4202496 459723 0 0 0 201790 413 0 0 20 0 1 0 408834354 2266726400 47851 33554432000 4194304 5870510 140731510271376 140731510269816 5282759 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 38322176 140731510273055 140731510273133 140731510273133 140731510276042 0
/proc/25810/statm: 553400 47851 974 410 0 548873 0
Current children cumulated CPU time: 2022.03 s
Current children cumulated vsize: 2213600 KiB
Current children cumulated memory: 191404 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 26145
/proc/meminfo: memFree=21561188/32770624 swapFree=66999192/67108860
[pid=25810] ppid=25807 vsize=2213600 memory=193452 CPUtime=2082.02 cores=1,3,5,7
/proc/25810/stat : 25810 (xcsp_picat) R 25807 25810 24179 0 -1 4202496 468232 0 0 0 207777 425 0 0 20 0 1 0 408834354 2266726400 48363 33554432000 4194304 5870510 140731510271376 140731510269816 5277446 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 38322176 140731510273055 140731510273133 140731510273133 140731510276042 0
/proc/25810/statm: 553400 48363 974 410 0 548873 0
Current children cumulated CPU time: 2082.02 s
Current children cumulated vsize: 2213600 KiB
Current children cumulated memory: 193452 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 26158
/proc/meminfo: memFree=21565660/32770624 swapFree=66999192/67108860
[pid=25810] ppid=25807 vsize=2213600 memory=195484 CPUtime=2142.02 cores=1,3,5,7
/proc/25810/stat : 25810 (xcsp_picat) R 25807 25810 24179 0 -1 4202496 478733 0 0 0 213766 436 0 0 20 0 1 0 408834354 2266726400 48871 33554432000 4194304 5870510 140731510271376 140731510269816 5282759 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 38322176 140731510273055 140731510273133 140731510273133 140731510276042 0
/proc/25810/statm: 553400 48871 974 410 0 548873 0
Current children cumulated CPU time: 2142.02 s
Current children cumulated vsize: 2213600 KiB
Current children cumulated memory: 195484 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 26162
/proc/meminfo: memFree=21566636/32770624 swapFree=66999192/67108860
[pid=25810] ppid=25807 vsize=2213600 memory=187308 CPUtime=2202.01 cores=1,3,5,7
/proc/25810/stat : 25810 (xcsp_picat) R 25807 25810 24179 0 -1 4202496 486297 0 0 0 219755 446 0 0 20 0 1 0 408834354 2266726400 46827 33554432000 4194304 5870510 140731510271376 140731510269816 5282736 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 38322176 140731510273055 140731510273133 140731510273133 140731510276042 0
/proc/25810/statm: 553400 46827 974 410 0 548873 0
Current children cumulated CPU time: 2202.01 s
Current children cumulated vsize: 2213600 KiB
Current children cumulated memory: 187308 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 26166
/proc/meminfo: memFree=21553444/32770624 swapFree=66999192/67108860
[pid=25810] ppid=25807 vsize=2244420 memory=207948 CPUtime=2262 cores=1,3,5,7
/proc/25810/stat : 25810 (xcsp_picat) R 25807 25810 24179 0 -1 4202496 496329 0 0 0 225744 456 0 0 20 0 1 0 408834354 2298286080 51987 33554432000 4194304 5870510 140731510271376 140731510270328 5262793 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 38322176 140731510273055 140731510273133 140731510273133 140731510276042 0
/proc/25810/statm: 561105 51987 974 410 0 556578 0
Current children cumulated CPU time: 2262 s
Current children cumulated vsize: 2244420 KiB
Current children cumulated memory: 207948 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 26172
/proc/meminfo: memFree=21553692/32770624 swapFree=66999192/67108860
[pid=25810] ppid=25807 vsize=2213600 memory=199584 CPUtime=2321.99 cores=1,3,5,7
/proc/25810/stat : 25810 (xcsp_picat) R 25807 25810 24179 0 -1 4202496 503484 0 0 0 231733 466 0 0 20 0 1 0 408834354 2266726400 49896 33554432000 4194304 5870510 140731510271376 140731510269816 5282759 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 38322176 140731510273055 140731510273133 140731510273133 140731510276042 0
/proc/25810/statm: 553400 49896 974 410 0 548873 0
Current children cumulated CPU time: 2321.99 s
Current children cumulated vsize: 2213600 KiB
Current children cumulated memory: 199584 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 26176
/proc/meminfo: memFree=21593828/32770624 swapFree=66999192/67108860
[pid=25810] ppid=25807 vsize=2213600 memory=201636 CPUtime=2381.99 cores=1,3,5,7
/proc/25810/stat : 25810 (xcsp_picat) R 25807 25810 24179 0 -1 4202496 533934 0 0 0 237713 486 0 0 20 0 1 0 408834354 2266726400 50409 33554432000 4194304 5870510 140731510271376 140731510269816 5283024 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 38322176 140731510273055 140731510273133 140731510273133 140731510276042 0
/proc/25810/statm: 553400 50409 974 410 0 548873 0
Current children cumulated CPU time: 2381.99 s
Current children cumulated vsize: 2213600 KiB
Current children cumulated memory: 201636 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 26180
/proc/meminfo: memFree=21553548/32770624 swapFree=66999192/67108860
[pid=25810] ppid=25807 vsize=2244420 memory=207948 CPUtime=2441.97 cores=1,3,5,7
/proc/25810/stat : 25810 (xcsp_picat) R 25807 25810 24179 0 -1 4202496 547588 0 0 0 243694 503 0 0 20 0 1 0 408834354 2298286080 51987 33554432000 4194304 5870510 140731510271376 140731510270328 5282578 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 38322176 140731510273055 140731510273133 140731510273133 140731510276042 0
/proc/25810/statm: 561105 51987 974 410 0 556578 0
Current children cumulated CPU time: 2441.97 s
Current children cumulated vsize: 2244420 KiB
Current children cumulated memory: 207948 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 26186
/proc/meminfo: memFree=21602192/32770624 swapFree=66999192/67108860
[pid=25810] ppid=25807 vsize=2213600 memory=193424 CPUtime=2501.97 cores=1,3,5,7
/proc/25810/stat : 25810 (xcsp_picat) R 25807 25810 24179 0 -1 4202496 576662 0 0 0 249674 523 0 0 20 0 1 0 408834354 2266726400 48356 33554432000 4194304 5870510 140731510271376 140731510269816 5262786 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 38322176 140731510273055 140731510273133 140731510273133 140731510276042 0
/proc/25810/statm: 553400 48356 974 410 0 548873 0
Current children cumulated CPU time: 2501.97 s
Current children cumulated vsize: 2213600 KiB
Current children cumulated memory: 193424 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 26187
/proc/meminfo: memFree=21556392/32770624 swapFree=66999192/67108860
[pid=25810] ppid=25807 vsize=2244420 memory=202276 CPUtime=2519.67 cores=1,3,5,7
/proc/25810/stat : 25810 (xcsp_picat) R 25807 25810 24179 0 -1 4202496 580926 0 0 0 251439 528 0 0 20 0 1 0 408834354 2298286080 50569 33554432000 4194304 5870510 140731510271376 140731510269816 5298780 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 38322176 140731510273055 140731510273133 140731510273133 140731510276042 0
/proc/25810/statm: 561105 50569 974 410 0 556578 0
Current children cumulated CPU time: 2519.67 s
Current children cumulated vsize: 2244420 KiB
Current children cumulated memory: 202276 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 25810 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.4 s, system=5.29433 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.69
CPU user time (s): 2514.4
CPU system time (s): 5.29433
CPU usage (%): 99.9872
Max. virtual memory (cumulated for all children) (KiB): 2293740
Max. memory (cumulated for all children) (KiB): 218184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.4
system time used= 5.29433
maximum resident set size= 248544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 580927
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= 10
involuntary context switches= 1895
# summary of solver processes directly reported to runsolver:
# pid: 25810
# total CPU time (s): 2519.69
# total CPU user time (s): 2514.4
# total CPU system time (s): 5.29433
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.20527 second user time and 19.2301 second system time
The end