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 (4975 MiB free)
memory of node 1: 16384 MiB (7848 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295273-1532506558/watcher-4295273-1532506558 -o /tmp/evaluation-result-4295273-1532506558/solver-4295273-1532506558 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532498874-27090 --watchdog 2580 xcsp_picat HOME/instance-4295273-1532506558.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=28072, runsolver pid=28069
Current StackSize limit: 8192 KiB
[startup+0.100113 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 28073
/proc/meminfo: memFree=13108600/32770624 swapFree=67108860/67108860
[pid=28072] ppid=28069 vsize=111688 memory=23604 CPUtime=0.1 cores=0,2,4,6
/proc/28072/stat : 28072 (xcsp_picat) R 28069 28072 27059 0 -1 4202496 1448 0 0 0 10 0 0 0 20 0 1 0 68219000 114368512 5901 33554432000 4194304 5849740 140722183357952 140722183357952 4488860 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 43814912 140722183365814 140722183365892 140722183365892 140722183368650 0
/proc/28072/statm: 27922 5901 598 405 0 24866 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 23604 KiB
[startup+0.209594 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 28073
/proc/meminfo: memFree=13086820/32770624 swapFree=67108860/67108860
[pid=28072] ppid=28069 vsize=131292 memory=45888 CPUtime=0.21 cores=0,2,4,6
/proc/28072/stat : 28072 (xcsp_picat) R 28069 28072 27059 0 -1 4202496 3868 0 0 0 20 1 0 0 20 0 1 0 68219000 134443008 11472 33554432000 4194304 5849740 140722183357952 140722183357952 5626848 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 43814912 140722183365814 140722183365892 140722183365892 140722183368650 0
/proc/28072/statm: 32823 11472 636 405 0 29767 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 131292 KiB
Current children cumulated memory: 45888 KiB
[startup+0.309496 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 28073
/proc/meminfo: memFree=13083656/32770624 swapFree=67108860/67108860
[pid=28072] ppid=28069 vsize=131696 memory=46416 CPUtime=0.31 cores=0,2,4,6
/proc/28072/stat : 28072 (xcsp_picat) R 28069 28072 27059 0 -1 4202496 3985 0 0 0 30 1 0 0 20 0 1 0 68219000 134856704 11604 33554432000 4194304 5849740 140722183357952 140722183357952 139946964279175 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 43814912 140722183365814 140722183365892 140722183365892 140722183368650 0
/proc/28072/statm: 32924 11604 670 405 0 29868 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 131696 KiB
Current children cumulated memory: 46416 KiB
[startup+0.700238 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28073
/proc/meminfo: memFree=13083656/32770624 swapFree=67108860/67108860
[pid=28072] ppid=28069 vsize=134256 memory=48792 CPUtime=0.69 cores=0,2,4,6
/proc/28072/stat : 28072 (xcsp_picat) R 28069 28072 27059 0 -1 4202496 4593 0 0 0 67 2 0 0 20 0 1 0 68219000 137478144 12198 33554432000 4194304 5849740 140722183357952 140722183357952 139946963811905 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 43814912 140722183365814 140722183365892 140722183365892 140722183368650 0
/proc/28072/statm: 33564 12198 670 405 0 30508 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 134256 KiB
Current children cumulated memory: 48792 KiB
[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28073
/proc/meminfo: memFree=13080356/32770624 swapFree=67108860/67108860
[pid=28072] ppid=28069 vsize=141424 memory=55852 CPUtime=1.49 cores=0,2,4,6
/proc/28072/stat : 28072 (xcsp_picat) R 28069 28072 27059 0 -1 4202496 5874 0 0 0 144 5 0 0 20 0 1 0 68219000 144818176 13963 33554432000 4194304 5849740 140722183357952 140722183357048 139946964279175 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 43814912 140722183365814 140722183365892 140722183365892 140722183368650 0
/proc/28072/statm: 35356 13963 670 405 0 32300 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 141424 KiB
Current children cumulated memory: 55852 KiB
[startup+3.10925 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28073
/proc/meminfo: memFree=13056176/32770624 swapFree=67108860/67108860
[pid=28072] ppid=28069 vsize=153716 memory=68348 CPUtime=3.1 cores=0,2,4,6
/proc/28072/stat : 28072 (xcsp_picat) R 28069 28072 27059 0 -1 4202496 8001 0 0 0 300 10 0 0 20 0 1 0 68219000 157405184 17087 33554432000 4194304 5849740 140722183357952 140722183357192 5471923 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 43814912 140722183365814 140722183365892 140722183365892 140722183368650 0
/proc/28072/statm: 38429 17087 670 405 0 35373 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 153716 KiB
Current children cumulated memory: 68348 KiB
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28073
/proc/meminfo: memFree=13046988/32770624 swapFree=67108860/67108860
[pid=28072] ppid=28069 vsize=161908 memory=76328 CPUtime=6.29 cores=0,2,4,6
/proc/28072/stat : 28072 (xcsp_picat) R 28069 28072 27059 0 -1 4202496 10850 0 0 0 609 20 0 0 20 0 1 0 68219000 165793792 19082 33554432000 4194304 5849740 140722183357952 140722183357192 139946964279175 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 43814912 140722183365814 140722183365892 140722183365892 140722183368650 0
/proc/28072/statm: 40477 19082 670 405 0 37421 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 161908 KiB
Current children cumulated memory: 76328 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28073
/proc/meminfo: memFree=13036776/32770624 swapFree=67108860/67108860
[pid=28072] ppid=28069 vsize=192712 memory=107244 CPUtime=12.69 cores=0,2,4,6
/proc/28072/stat : 28072 (xcsp_picat) R 28069 28072 27059 0 -1 4202496 16903 0 0 0 1239 30 0 0 20 0 1 0 68219000 197337088 26811 33554432000 4194304 5849740 140722183357952 140722183356952 5360437 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 43814912 140722183365814 140722183365892 140722183365892 140722183368650 0
/proc/28072/statm: 48178 26811 705 405 0 45122 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 192712 KiB
Current children cumulated memory: 107244 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28073
/proc/meminfo: memFree=13010356/32770624 swapFree=67108860/67108860
[pid=28072] ppid=28069 vsize=192664 memory=107440 CPUtime=25.49 cores=0,2,4,6
/proc/28072/stat : 28072 (xcsp_picat) R 28069 28072 27059 0 -1 4202496 32303 0 0 0 2505 44 0 0 20 0 1 0 68219000 197287936 26860 33554432000 4194304 5849740 140722183357952 140722183356952 5395165 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 43814912 140722183365814 140722183365892 140722183365892 140722183368650 0
/proc/28072/statm: 48166 26860 705 405 0 45110 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 192664 KiB
Current children cumulated memory: 107440 KiB
[startup+51.1093 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28073
/proc/meminfo: memFree=12981876/32770624 swapFree=67108860/67108860
[pid=28072] ppid=28069 vsize=192572 memory=107348 CPUtime=51.09 cores=0,2,4,6
/proc/28072/stat : 28072 (xcsp_picat) R 28069 28072 27059 0 -1 4202496 42417 0 0 0 5037 72 0 0 20 0 1 0 68219000 197193728 26837 33554432000 4194304 5849740 140722183357952 140722183356952 139946964279175 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 43814912 140722183365814 140722183365892 140722183365892 140722183368650 0
/proc/28072/statm: 48143 26837 705 405 0 45087 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 192572 KiB
Current children cumulated memory: 107348 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28074
/proc/meminfo: memFree=12973040/32770624 swapFree=67108860/67108860
[pid=28072] ppid=28069 vsize=192436 memory=107212 CPUtime=102.28 cores=0,2,4,6
/proc/28072/stat : 28072 (xcsp_picat) R 28069 28072 27059 0 -1 4202496 51468 0 0 0 10101 127 0 0 20 0 1 0 68219000 197054464 26803 33554432000 4194304 5849740 140722183357952 140722183356952 139946964279175 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 43814912 140722183365814 140722183365892 140722183365892 140722183368650 0
/proc/28072/statm: 48109 26803 705 405 0 45053 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 192436 KiB
Current children cumulated memory: 107212 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28075
/proc/meminfo: memFree=12957300/32770624 swapFree=67108860/67108860
[pid=28072] ppid=28069 vsize=197952 memory=117012 CPUtime=162.27 cores=0,2,4,6
/proc/28072/stat : 28072 (xcsp_picat) R 28069 28072 27059 0 -1 4202496 53621 0 0 0 16050 177 0 0 20 0 1 0 68219000 202702848 29253 33554432000 4194304 5849740 140722183357952 140722183356952 5437600 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 43814912 140722183365814 140722183365892 140722183365892 140722183368650 0
/proc/28072/statm: 49488 29253 705 405 0 46432 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 197952 KiB
Current children cumulated memory: 117012 KiB
[startup+222.3 s]
/proc/loadavg: 2.49 2.15 2.09 3/187 28076
/proc/meminfo: memFree=12929788/32770624 swapFree=67108860/67108860
[pid=28072] ppid=28069 vsize=197824 memory=117368 CPUtime=222.27 cores=0,2,4,6
/proc/28072/stat : 28072 (xcsp_picat) R 28069 28072 27059 0 -1 4202496 55289 0 0 0 21992 235 0 0 20 0 1 0 68219000 202571776 29342 33554432000 4194304 5849740 140722183357952 140722183356824 5312805 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 43814912 140722183365814 140722183365892 140722183365892 140722183368650 0
/proc/28072/statm: 49456 29342 705 405 0 46400 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 197824 KiB
Current children cumulated memory: 117368 KiB
[startup+282.3 s]
/proc/loadavg: 2.18 2.12 2.08 3/187 28084
/proc/meminfo: memFree=12888672/32770624 swapFree=67108860/67108860
[pid=28072] ppid=28069 vsize=202256 memory=123544 CPUtime=282.27 cores=0,2,4,6
/proc/28072/stat : 28072 (xcsp_picat) R 28069 28072 27059 0 -1 4202496 58495 0 0 0 27935 292 0 0 20 0 1 0 68219000 207110144 30886 33554432000 4194304 5849740 140722183357952 140722183356952 139946964279175 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 43814912 140722183365814 140722183365892 140722183365892 140722183368650 0
/proc/28072/statm: 50564 30886 705 405 0 47508 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 202256 KiB
Current children cumulated memory: 123544 KiB
[startup+342.3 s]
/proc/loadavg: 2.06 2.10 2.08 3/187 28085
/proc/meminfo: memFree=12859628/32770624 swapFree=67108860/67108860
[pid=28072] ppid=28069 vsize=213408 memory=134548 CPUtime=342.26 cores=0,2,4,6
/proc/28072/stat : 28072 (xcsp_picat) R 28069 28072 27059 0 -1 4202496 62433 0 0 0 33879 347 0 0 20 0 1 0 68219000 218529792 33637 33554432000 4194304 5849740 140722183357952 140722183356824 5360437 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 43814912 140722183365814 140722183365892 140722183365892 140722183368650 0
/proc/28072/statm: 53352 33637 705 405 0 50296 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 213408 KiB
Current children cumulated memory: 134548 KiB
[startup+402.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/187 28086
/proc/meminfo: memFree=12793348/32770624 swapFree=67108860/67108860
[pid=28072] ppid=28069 vsize=213352 memory=134640 CPUtime=402.25 cores=0,2,4,6
/proc/28072/stat : 28072 (xcsp_picat) R 28069 28072 27059 0 -1 4202496 64553 0 0 0 39822 403 0 0 20 0 1 0 68219000 218472448 33660 33554432000 4194304 5849740 140722183357952 140722183356952 5437698 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 43814912 140722183365814 140722183365892 140722183365892 140722183368650 0
/proc/28072/statm: 53338 33660 705 405 0 50282 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 213352 KiB
Current children cumulated memory: 134640 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 28087
/proc/meminfo: memFree=12817564/32770624 swapFree=67108860/67108860
[pid=28072] ppid=28069 vsize=221120 memory=142200 CPUtime=462.25 cores=0,2,4,6
/proc/28072/stat : 28072 (xcsp_picat) R 28069 28072 27059 0 -1 4202496 65678 0 0 0 45763 462 0 0 20 0 1 0 68219000 226426880 35550 33554432000 4194304 5849740 140722183357952 140722183356952 5438192 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 43814912 140722183365814 140722183365892 140722183365892 140722183368650 0
/proc/28072/statm: 55280 35550 705 405 0 52224 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 221120 KiB
Current children cumulated memory: 142200 KiB
################
# More data... #
################
/proc/28072/statm: 56256 36552 705 405 0 53200 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 225024 KiB
Current children cumulated memory: 146208 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 28126
/proc/meminfo: memFree=12665732/32770624 swapFree=67108860/67108860
[pid=28072] ppid=28069 vsize=229468 memory=150680 CPUtime=1782.23 cores=0,2,4,6
/proc/28072/stat : 28072 (xcsp_picat) R 28069 28072 27059 0 -1 4202496 282019 0 0 0 176761 1462 0 0 20 0 1 0 68219000 234975232 37670 33554432000 4194304 5849740 140722183357952 140722183356952 5437616 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 43814912 140722183365814 140722183365892 140722183365892 140722183368650 0
/proc/28072/statm: 57367 37670 705 405 0 54311 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 229468 KiB
Current children cumulated memory: 150680 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28127
/proc/meminfo: memFree=12638112/32770624 swapFree=67108860/67108860
[pid=28072] ppid=28069 vsize=256420 memory=177620 CPUtime=1842.22 cores=0,2,4,6
/proc/28072/stat : 28072 (xcsp_picat) R 28069 28072 27059 0 -1 4202496 292342 0 0 0 182712 1510 0 0 20 0 1 0 68219000 262574080 44405 33554432000 4194304 5849740 140722183357952 140722183356952 5437698 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 43814912 140722183365814 140722183365892 140722183365892 140722183368650 0
/proc/28072/statm: 64105 44405 705 405 0 61049 0
Current children cumulated CPU time: 1842.22 s
Current children cumulated vsize: 256420 KiB
Current children cumulated memory: 177620 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28128
/proc/meminfo: memFree=12671428/32770624 swapFree=67108860/67108860
[pid=28072] ppid=28069 vsize=223892 memory=145232 CPUtime=1902.23 cores=0,2,4,6
/proc/28072/stat : 28072 (xcsp_picat) R 28069 28072 27059 0 -1 4202496 311564 0 0 0 188672 1551 0 0 20 0 1 0 68219000 229265408 36308 33554432000 4194304 5849740 140722183357952 140722183356952 5437620 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 43814912 140722183365814 140722183365892 140722183365892 140722183368650 0
/proc/28072/statm: 55973 36308 705 405 0 52917 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 223892 KiB
Current children cumulated memory: 145232 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28129
/proc/meminfo: memFree=12653712/32770624 swapFree=67108860/67108860
[pid=28072] ppid=28069 vsize=257528 memory=178892 CPUtime=1962.22 cores=0,2,4,6
/proc/28072/stat : 28072 (xcsp_picat) R 28069 28072 27059 0 -1 4202496 326848 0 0 0 194633 1589 0 0 20 0 1 0 68219000 263708672 44723 33554432000 4194304 5849740 140722183357952 140722183356952 5437791 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 43814912 140722183365814 140722183365892 140722183365892 140722183368650 0
/proc/28072/statm: 64382 44723 705 405 0 61326 0
Current children cumulated CPU time: 1962.22 s
Current children cumulated vsize: 257528 KiB
Current children cumulated memory: 178892 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28130
/proc/meminfo: memFree=12580216/32770624 swapFree=67108860/67108860
[pid=28072] ppid=28069 vsize=264800 memory=186196 CPUtime=2022.22 cores=0,2,4,6
/proc/28072/stat : 28072 (xcsp_picat) R 28069 28072 27059 0 -1 4202496 340688 0 0 0 200599 1623 0 0 20 0 1 0 68219000 271155200 46549 33554432000 4194304 5849740 140722183357952 140722183356952 5437839 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 43814912 140722183365814 140722183365892 140722183365892 140722183368650 0
/proc/28072/statm: 66200 46549 705 405 0 63144 0
Current children cumulated CPU time: 2022.22 s
Current children cumulated vsize: 264800 KiB
Current children cumulated memory: 186196 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28139
/proc/meminfo: memFree=12578804/32770624 swapFree=67108860/67108860
[pid=28072] ppid=28069 vsize=265100 memory=186348 CPUtime=2082.21 cores=0,2,4,6
/proc/28072/stat : 28072 (xcsp_picat) R 28069 28072 27059 0 -1 4202496 360453 0 0 0 206560 1661 0 0 20 0 1 0 68219000 271462400 46587 33554432000 4194304 5849740 140722183357952 140722183356952 5312877 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 43814912 140722183365814 140722183365892 140722183365892 140722183368650 0
/proc/28072/statm: 66275 46587 705 405 0 63219 0
Current children cumulated CPU time: 2082.21 s
Current children cumulated vsize: 265100 KiB
Current children cumulated memory: 186348 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28140
/proc/meminfo: memFree=12580148/32770624 swapFree=67108860/67108860
[pid=28072] ppid=28069 vsize=263996 memory=185380 CPUtime=2142.21 cores=0,2,4,6
/proc/28072/stat : 28072 (xcsp_picat) R 28069 28072 27059 0 -1 4202496 369480 0 0 0 212524 1697 0 0 20 0 1 0 68219000 270331904 46345 33554432000 4194304 5849740 140722183357952 140722183357112 5437812 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 43814912 140722183365814 140722183365892 140722183365892 140722183368650 0
/proc/28072/statm: 65999 46345 705 405 0 62943 0
Current children cumulated CPU time: 2142.21 s
Current children cumulated vsize: 263996 KiB
Current children cumulated memory: 185380 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28141
/proc/meminfo: memFree=12614464/32770624 swapFree=67108860/67108860
[pid=28072] ppid=28069 vsize=229584 memory=150900 CPUtime=2202.2 cores=0,2,4,6
/proc/28072/stat : 28072 (xcsp_picat) R 28069 28072 27059 0 -1 4202496 378620 0 0 0 218489 1731 0 0 20 0 1 0 68219000 235094016 37725 33554432000 4194304 5849740 140722183357952 140722183357112 5437698 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 43814912 140722183365814 140722183365892 140722183365892 140722183368650 0
/proc/28072/statm: 57396 37725 705 405 0 54340 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 229584 KiB
Current children cumulated memory: 150900 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28142
/proc/meminfo: memFree=12586468/32770624 swapFree=67108860/67108860
[pid=28072] ppid=28069 vsize=257784 memory=179128 CPUtime=2262.21 cores=0,2,4,6
/proc/28072/stat : 28072 (xcsp_picat) R 28069 28072 27059 0 -1 4202496 389807 0 0 0 224454 1767 0 0 20 0 1 0 68219000 263970816 44782 33554432000 4194304 5849740 140722183357952 140722183356952 139946964279175 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 43814912 140722183365814 140722183365892 140722183365892 140722183368650 0
/proc/28072/statm: 64446 44782 705 405 0 61390 0
Current children cumulated CPU time: 2262.21 s
Current children cumulated vsize: 257784 KiB
Current children cumulated memory: 179128 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28143
/proc/meminfo: memFree=12586056/32770624 swapFree=67108860/67108860
[pid=28072] ppid=28069 vsize=258024 memory=179248 CPUtime=2322.21 cores=0,2,4,6
/proc/28072/stat : 28072 (xcsp_picat) R 28069 28072 27059 0 -1 4202496 398994 0 0 0 230413 1808 0 0 20 0 1 0 68219000 264216576 44812 33554432000 4194304 5849740 140722183357952 140722183356952 139946964279175 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 43814912 140722183365814 140722183365892 140722183365892 140722183368650 0
/proc/28072/statm: 64506 44812 705 405 0 61450 0
Current children cumulated CPU time: 2322.21 s
Current children cumulated vsize: 258024 KiB
Current children cumulated memory: 179248 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 28145
/proc/meminfo: memFree=12545072/32770624 swapFree=67108860/67108860
[pid=28072] ppid=28069 vsize=227464 memory=148664 CPUtime=2382.21 cores=0,2,4,6
/proc/28072/stat : 28072 (xcsp_picat) R 28069 28072 27059 0 -1 4202496 411351 0 0 0 236370 1851 0 0 20 0 1 0 68219000 232923136 37166 33554432000 4194304 5849740 140722183357952 140722183356952 5335566 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 43814912 140722183365814 140722183365892 140722183365892 140722183368650 0
/proc/28072/statm: 56866 37166 705 405 0 53810 0
Current children cumulated CPU time: 2382.21 s
Current children cumulated vsize: 227464 KiB
Current children cumulated memory: 148664 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28207
/proc/meminfo: memFree=12893824/32770624 swapFree=67108860/67108860
[pid=28072] ppid=28069 vsize=272148 memory=193544 CPUtime=2442.21 cores=0,2,4,6
/proc/28072/stat : 28072 (xcsp_picat) R 28069 28072 27059 0 -1 4202496 421109 0 0 0 242337 1884 0 0 20 0 1 0 68219000 278679552 48386 33554432000 4194304 5849740 140722183357952 140722183356952 5437698 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 43814912 140722183365814 140722183365892 140722183365892 140722183368650 0
/proc/28072/statm: 68037 48386 705 405 0 64981 0
Current children cumulated CPU time: 2442.21 s
Current children cumulated vsize: 272148 KiB
Current children cumulated memory: 193544 KiB
[startup+2502.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 28208
/proc/meminfo: memFree=12906416/32770624 swapFree=67108860/67108860
[pid=28072] ppid=28069 vsize=259240 memory=180580 CPUtime=2502.2 cores=0,2,4,6
/proc/28072/stat : 28072 (xcsp_picat) R 28069 28072 27059 0 -1 4202496 428924 0 0 0 248304 1916 0 0 20 0 1 0 68219000 265461760 45145 33554432000 4194304 5849740 140722183357952 140722183356824 5437698 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 43814912 140722183365814 140722183365892 140722183365892 140722183368650 0
/proc/28072/statm: 64810 45145 705 405 0 61754 0
Current children cumulated CPU time: 2502.2 s
Current children cumulated vsize: 259240 KiB
Current children cumulated memory: 180580 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.05 2.03 2.05 3/187 28208
/proc/meminfo: memFree=12878704/32770624 swapFree=67108860/67108860
[pid=28072] ppid=28069 vsize=267044 memory=188440 CPUtime=2519.92 cores=0,2,4,6
/proc/28072/stat : 28072 (xcsp_picat) R 28069 28072 27059 0 -1 4202496 433148 0 0 0 250067 1925 0 0 20 0 1 0 68219000 273453056 47110 33554432000 4194304 5849740 140722183357952 140722183356824 139946964279175 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 43814912 140722183365814 140722183365892 140722183365892 140722183368650 0
/proc/28072/statm: 66761 47110 705 405 0 63705 0
Current children cumulated CPU time: 2519.92 s
Current children cumulated vsize: 267044 KiB
Current children cumulated memory: 188440 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 28072 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2500.68 s, system=19.2538 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.01
CPU time (s): 2519.93
CPU user time (s): 2500.68
CPU system time (s): 19.2538
CPU usage (%): 99.9967
Max. virtual memory (cumulated for all children) (KiB): 274188
Max. memory (cumulated for all children) (KiB): 195376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2500.68
system time used= 19.2538
maximum resident set size= 195376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 433148
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= 72
involuntary context switches= 3078
# summary of solver processes directly reported to runsolver:
# pid: 28072
# total CPU time (s): 2519.93
# total CPU user time (s): 2500.68
# total CPU system time (s): 19.2538
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.65187 second user time and 20.701 second system time
The end