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 (13302 MiB free)
memory of node 1: 16384 MiB (12440 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407818-1569512995/watcher-4407818-1569512995 -o /var/tmp/evaluation-result-4407818-1569512995/solver-4407818-1569512995 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1569509596-6732 --watchdog 2560 xcsp_picat HOME/instance-4407818-1569512995.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8075, runsolver pid=8072
[startup+0.100115 s]*
/proc/loadavg: 1.88 1.97 1.95 3/199 8076
/proc/meminfo: memFree=26343788/32770624 swapFree=67002176/67108860
[pid=8075] ppid=8072 vsize=2031716 memory=21196 CPUtime=0.1 cores=0,2,4,6
/proc/8075/stat : 8075 (xcsp_picat) R 8072 8075 6701 0 -1 4202496 1877 0 0 0 10 0 0 0 20 0 1 0 527548054 2080477184 5299 33554432000 4194304 5870510 140736658073520 140736658070664 4442827 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 44048384 140736658080775 140736658080857 140736658080857 140736658083782 0
/proc/8075/statm: 507929 5299 845 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 21196 KiB
[startup+0.209767 s]*
/proc/loadavg: 1.88 1.97 1.95 3/199 8076
/proc/meminfo: memFree=26333424/32770624 swapFree=67002176/67108860
[pid=8075] ppid=8072 vsize=2031716 memory=33484 CPUtime=0.2 cores=0,2,4,6
/proc/8075/stat : 8075 (xcsp_picat) R 8072 8075 6701 0 -1 4202496 1883 0 0 0 20 0 0 0 20 0 1 0 527548054 2080477184 8371 33554432000 4194304 5870510 140736658073520 140736658072824 4477327 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 44048384 140736658080775 140736658080857 140736658080857 140736658083782 0
/proc/8075/statm: 507929 8371 845 410 0 503402 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 33484 KiB
[startup+0.309739 s]*
/proc/loadavg: 1.88 1.97 1.95 3/199 8076
/proc/meminfo: memFree=26323136/32770624 swapFree=67002176/67108860
[pid=8075] ppid=8072 vsize=2031716 memory=43724 CPUtime=0.31 cores=0,2,4,6
/proc/8075/stat : 8075 (xcsp_picat) R 8072 8075 6701 0 -1 4202496 1888 0 0 0 30 1 0 0 20 0 1 0 527548054 2080477184 10931 33554432000 4194304 5870510 140736658073520 140736658072824 4522958 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 44048384 140736658080775 140736658080857 140736658080857 140736658083782 0
/proc/8075/statm: 507929 10931 845 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 43724 KiB
[startup+0.700324 s]
/proc/loadavg: 1.88 1.97 1.95 3/199 8076
/proc/meminfo: memFree=26302656/32770624 swapFree=67002176/67108860
[pid=8075] ppid=8072 vsize=2031716 memory=105332 CPUtime=0.68 cores=0,2,4,6
/proc/8075/stat : 8075 (xcsp_picat) R 8072 8075 6701 0 -1 4202496 1964 0 0 0 67 1 0 0 20 0 1 0 527548054 2080477184 26333 33554432000 4194304 5870510 140736658073520 140736658072824 4693264 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 44048384 140736658080775 140736658080857 140736658080857 140736658083782 0
/proc/8075/statm: 507929 26333 879 410 0 503402 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 105332 KiB
[startup+1.50032 s]
/proc/loadavg: 1.88 1.97 1.95 3/199 8076
/proc/meminfo: memFree=26185672/32770624 swapFree=67002176/67108860
[pid=8075] ppid=8072 vsize=2031716 memory=301960 CPUtime=1.49 cores=0,2,4,6
/proc/8075/stat : 8075 (xcsp_picat) R 8072 8075 6701 0 -1 4202496 2060 0 0 0 144 5 0 0 20 0 1 0 527548054 2080477184 75490 33554432000 4194304 5870510 140736658073520 140736658072824 4459612 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 44048384 140736658080775 140736658080857 140736658080857 140736658083782 0
/proc/8075/statm: 507929 75490 884 410 0 503402 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 301960 KiB
[startup+3.10957 s]
/proc/loadavg: 1.88 1.97 1.95 3/199 8076
/proc/meminfo: memFree=25710768/32770624 swapFree=67002176/67108860
[pid=8075] ppid=8072 vsize=2430204 memory=659548 CPUtime=3.1 cores=0,2,4,6
/proc/8075/stat : 8075 (xcsp_picat) R 8072 8075 6701 0 -1 4202496 10078 0 0 0 299 11 0 0 20 0 1 0 527548054 2488528896 164887 33554432000 4194304 5870510 140736658073520 140736658072824 5326915 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 44048384 140736658080775 140736658080857 140736658080857 140736658083782 0
/proc/8075/statm: 607551 164887 900 410 0 603024 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2430204 KiB
Current children cumulated memory: 659548 KiB
[startup+6.30022 s]
/proc/loadavg: 1.89 1.97 1.95 3/199 8076
/proc/meminfo: memFree=25634540/32770624 swapFree=67002176/67108860
[pid=8075] ppid=8072 vsize=2500464 memory=725952 CPUtime=6.29 cores=0,2,4,6
/proc/8075/stat : 8075 (xcsp_picat) R 8072 8075 6701 0 -1 4202496 17595 0 0 0 616 13 0 0 20 0 1 0 527548054 2560475136 181488 33554432000 4194304 5870510 140736658073520 140736658072696 5337600 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 44048384 140736658080775 140736658080857 140736658080857 140736658083782 0
/proc/8075/statm: 625116 181488 955 410 0 620589 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2500464 KiB
Current children cumulated memory: 725952 KiB
[startup+12.7003 s]
/proc/loadavg: 1.90 1.98 1.95 3/199 8076
/proc/meminfo: memFree=25634824/32770624 swapFree=67002176/67108860
[pid=8075] ppid=8072 vsize=2500464 memory=726056 CPUtime=12.69 cores=0,2,4,6
/proc/8075/stat : 8075 (xcsp_picat) R 8072 8075 6701 0 -1 4202496 23959 0 0 0 1256 13 0 0 20 0 1 0 527548054 2560475136 181514 33554432000 4194304 5870510 140736658073520 140736658072696 5337596 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44048384 140736658080775 140736658080857 140736658080857 140736658083782 0
/proc/8075/statm: 625116 181514 964 410 0 620589 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2500464 KiB
Current children cumulated memory: 726056 KiB
[startup+25.5004 s]
/proc/loadavg: 1.85 1.96 1.95 3/199 8140
/proc/meminfo: memFree=25596404/32770624 swapFree=67002176/67108860
[pid=8075] ppid=8072 vsize=2581372 memory=794088 CPUtime=25.49 cores=0,2,4,6
/proc/8075/stat : 8075 (xcsp_picat) R 8072 8075 6701 0 -1 4202496 73124 0 0 0 2530 19 0 0 20 0 1 0 527548054 2643324928 198522 33554432000 4194304 5870510 140736658073520 140736658072472 5282505 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44048384 140736658080775 140736658080857 140736658080857 140736658083782 0
/proc/8075/statm: 645343 198522 988 410 0 640816 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2581372 KiB
Current children cumulated memory: 794088 KiB
[startup+51.1096 s]
/proc/loadavg: 1.90 1.96 1.95 3/199 8207
/proc/meminfo: memFree=25537796/32770624 swapFree=67002176/67108860
[pid=8075] ppid=8072 vsize=2502840 memory=733572 CPUtime=51.1 cores=0,2,4,6
/proc/8075/stat : 8075 (xcsp_picat) R 8072 8075 6701 0 -1 4202496 109959 0 0 0 5076 34 0 0 20 0 1 0 527548054 2562908160 183393 33554432000 4194304 5870510 140736658073520 140736658071656 5274848 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44048384 140736658080775 140736658080857 140736658080857 140736658083782 0
/proc/8075/statm: 625710 183393 988 410 0 621183 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2502840 KiB
Current children cumulated memory: 733572 KiB
[startup+102.3 s]
/proc/loadavg: 1.96 1.97 1.95 3/200 8217
/proc/meminfo: memFree=24963724/32770624 swapFree=67002176/67108860
[pid=8075] ppid=8072 vsize=2519368 memory=752820 CPUtime=102.29 cores=0,2,4,6
/proc/8075/stat : 8075 (xcsp_picat) R 8072 8075 6701 0 -1 4202496 124644 0 0 0 10177 52 0 0 20 0 1 0 527548054 2579832832 188205 33554432000 4194304 5870510 140736658073520 140736658072472 140329505973228 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44048384 140736658080775 140736658080857 140736658080857 140736658083782 0
/proc/8075/statm: 629842 188205 995 410 0 625315 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2519368 KiB
Current children cumulated memory: 752820 KiB
[startup+162.3 s]
/proc/loadavg: 1.98 1.97 1.95 3/200 8221
/proc/meminfo: memFree=24902608/32770624 swapFree=67002176/67108860
[pid=8075] ppid=8072 vsize=2555904 memory=775020 CPUtime=162.29 cores=0,2,4,6
/proc/8075/stat : 8075 (xcsp_picat) R 8072 8075 6701 0 -1 4202496 143979 0 0 0 16144 85 0 0 20 0 1 0 527548054 2617245696 193755 33554432000 4194304 5870510 140736658073520 140736658071880 5262777 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44048384 140736658080775 140736658080857 140736658080857 140736658083782 0
/proc/8075/statm: 638976 193755 995 410 0 634449 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2555904 KiB
Current children cumulated memory: 775020 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/200 8227
/proc/meminfo: memFree=25015132/32770624 swapFree=67002176/67108860
[pid=8075] ppid=8072 vsize=2538576 memory=772768 CPUtime=222.29 cores=0,2,4,6
/proc/8075/stat : 8075 (xcsp_picat) R 8072 8075 6701 0 -1 4202496 178399 0 0 0 22114 115 0 0 20 0 1 0 527548054 2599501824 193192 33554432000 4194304 5870510 140736658073520 140736658072472 5298780 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44048384 140736658080775 140736658080857 140736658080857 140736658083782 0
/proc/8075/statm: 634644 193192 995 410 0 630117 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2538576 KiB
Current children cumulated memory: 772768 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/200 8231
/proc/meminfo: memFree=24932092/32770624 swapFree=67002176/67108860
[pid=8075] ppid=8072 vsize=2632632 memory=855980 CPUtime=282.3 cores=0,2,4,6
/proc/8075/stat : 8075 (xcsp_picat) R 8072 8075 6701 0 -1 4202496 200881 0 0 0 28084 146 0 0 20 0 1 0 527548054 2695815168 213995 33554432000 4194304 5870510 140736658073520 140736658071880 5276275 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44048384 140736658080775 140736658080857 140736658080857 140736658083782 0
/proc/8075/statm: 658158 213995 995 410 0 653631 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 2632632 KiB
Current children cumulated memory: 855980 KiB
[startup+342.3 s]
/proc/loadavg: 2.34 2.07 1.98 3/200 8235
/proc/meminfo: memFree=24961964/32770624 swapFree=67002176/67108860
[pid=8075] ppid=8072 vsize=2598240 memory=820116 CPUtime=342.31 cores=0,2,4,6
/proc/8075/stat : 8075 (xcsp_picat) R 8072 8075 6701 0 -1 4202496 240434 0 0 0 34057 174 0 0 20 0 1 0 527548054 2660597760 205029 33554432000 4194304 5870510 140736658073520 140736658072536 5258443 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44048384 140736658080775 140736658080857 140736658080857 140736658083782 0
/proc/8075/statm: 649560 205029 995 410 0 645033 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 2598240 KiB
Current children cumulated memory: 820116 KiB
[startup+402.3 s]
/proc/loadavg: 2.27 2.11 2.00 3/199 8242
/proc/meminfo: memFree=24939460/32770624 swapFree=67002176/67108860
[pid=8075] ppid=8072 vsize=2648328 memory=841592 CPUtime=402.31 cores=0,2,4,6
/proc/8075/stat : 8075 (xcsp_picat) R 8072 8075 6701 0 -1 4202496 276382 0 0 0 40029 202 0 0 20 0 1 0 527548054 2711887872 210398 33554432000 4194304 5870510 140736658073520 140736658072536 5262639 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44048384 140736658080775 140736658080857 140736658080857 140736658083782 0
/proc/8075/statm: 662082 210398 995 410 0 657555 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 2648328 KiB
Current children cumulated memory: 841592 KiB
[startup+462.3 s]
/proc/loadavg: 2.10 2.09 2.00 3/199 8246
/proc/meminfo: memFree=24959596/32770624 swapFree=67002176/67108860
[pid=8075] ppid=8072 vsize=2598240 memory=812828 CPUtime=462.32 cores=0,2,4,6
/proc/8075/stat : 8075 (xcsp_picat) R 8072 8075 6701 0 -1 4202496 324588 0 0 0 46000 232 0 0 20 0 1 0 527548054 2660597760 203207 33554432000 4194304 5870510 140736658073520 140736658072536 5272987 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44048384 140736658080775 140736658080857 140736658080857 140736658083782 0
/proc/8075/statm: 649560 203207 995 410 0 645033 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 2598240 KiB
Current children cumulated memory: 812828 KiB
################
# More data... #
################
/proc/8075/statm: 663495 222149 995 410 0 658968 0
Current children cumulated CPU time: 1602.45 s
Current children cumulated vsize: 2653980 KiB
Current children cumulated memory: 888596 KiB
[startup+1662.3 s]
/proc/loadavg: 1.11 1.63 1.86 2/193 8614
/proc/meminfo: memFree=25511120/32770624 swapFree=67002176/67108860
[pid=8075] ppid=8072 vsize=2676580 memory=905300 CPUtime=1662.46 cores=0,2,4,6
/proc/8075/stat : 8075 (xcsp_picat) R 8072 8075 6701 0 -1 4202496 976352 0 0 0 165521 725 0 0 20 0 1 0 527548054 2740817920 226325 33554432000 4194304 5870510 140736658073520 140736658072008 5283106 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44048384 140736658080775 140736658080857 140736658080857 140736658083782 0
/proc/8075/statm: 669145 226325 995 410 0 664618 0
Current children cumulated CPU time: 1662.46 s
Current children cumulated vsize: 2676580 KiB
Current children cumulated memory: 905300 KiB
[startup+1722.3 s]
/proc/loadavg: 1.04 1.51 1.81 2/193 8618
/proc/meminfo: memFree=25497096/32770624 swapFree=67002176/67108860
[pid=8075] ppid=8072 vsize=2726668 memory=921072 CPUtime=1722.44 cores=0,2,4,6
/proc/8075/stat : 8075 (xcsp_picat) R 8072 8075 6701 0 -1 4202496 1005721 0 0 0 171495 749 0 0 20 0 1 0 527548054 2792108032 230268 33554432000 4194304 5870510 140736658073520 140736658072472 5282759 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44048384 140736658080775 140736658080857 140736658080857 140736658083782 0
/proc/8075/statm: 681667 230268 995 410 0 677140 0
Current children cumulated CPU time: 1722.44 s
Current children cumulated vsize: 2726668 KiB
Current children cumulated memory: 921072 KiB
[startup+1782.3 s]
/proc/loadavg: 1.01 1.42 1.76 2/193 8622
/proc/meminfo: memFree=25510020/32770624 swapFree=67002176/67108860
[pid=8075] ppid=8072 vsize=2676580 memory=904336 CPUtime=1782.43 cores=0,2,4,6
/proc/8075/stat : 8075 (xcsp_picat) R 8072 8075 6701 0 -1 4202496 1035744 0 0 0 177461 782 0 0 20 0 1 0 527548054 2740817920 226084 33554432000 4194304 5870510 140736658073520 140736658072536 5282400 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44048384 140736658080775 140736658080857 140736658080857 140736658083782 0
/proc/8075/statm: 669145 226084 995 410 0 664618 0
Current children cumulated CPU time: 1782.43 s
Current children cumulated vsize: 2676580 KiB
Current children cumulated memory: 904336 KiB
[startup+1842.3 s]
/proc/loadavg: 1.01 1.34 1.71 2/192 8628
/proc/meminfo: memFree=25491620/32770624 swapFree=67002176/67108860
[pid=8075] ppid=8072 vsize=2726668 memory=923732 CPUtime=1842.44 cores=0,2,4,6
/proc/8075/stat : 8075 (xcsp_picat) R 8072 8075 6701 0 -1 4202496 1053787 0 0 0 183427 817 0 0 20 0 1 0 527548054 2792108032 230933 33554432000 4194304 5870510 140736658073520 140736658072472 5262639 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44048384 140736658080775 140736658080857 140736658080857 140736658083782 0
/proc/8075/statm: 681667 230933 995 410 0 677140 0
Current children cumulated CPU time: 1842.44 s
Current children cumulated vsize: 2726668 KiB
Current children cumulated memory: 923732 KiB
[startup+1902.3 s]
/proc/loadavg: 1.00 1.28 1.67 2/193 8640
/proc/meminfo: memFree=25461188/32770624 swapFree=67002176/67108860
[pid=8075] ppid=8072 vsize=2726668 memory=953580 CPUtime=1902.45 cores=0,2,4,6
/proc/8075/stat : 8075 (xcsp_picat) R 8072 8075 6701 0 -1 4202496 1084114 0 0 0 189405 840 0 0 20 0 1 0 527548054 2792108032 238395 33554432000 4194304 5870510 140736658073520 140736658072536 140329505993623 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44048384 140736658080775 140736658080857 140736658080857 140736658083782 0
/proc/8075/statm: 681667 238395 995 410 0 677140 0
Current children cumulated CPU time: 1902.45 s
Current children cumulated vsize: 2726668 KiB
Current children cumulated memory: 953580 KiB
[startup+1962.3 s]
/proc/loadavg: 1.00 1.23 1.62 2/193 8644
/proc/meminfo: memFree=25439424/32770624 swapFree=67002176/67108860
[pid=8075] ppid=8072 vsize=2808056 memory=975344 CPUtime=1962.46 cores=0,2,4,6
/proc/8075/stat : 8075 (xcsp_picat) R 8072 8075 6701 0 -1 4202496 1088362 0 0 0 195395 851 0 0 20 0 1 0 527548054 2875449344 243836 33554432000 4194304 5870510 140736658073520 140736658072472 5263058 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44048384 140736658080775 140736658080857 140736658080857 140736658083782 0
/proc/8075/statm: 702014 243836 995 410 0 697487 0
Current children cumulated CPU time: 1962.46 s
Current children cumulated vsize: 2808056 KiB
Current children cumulated memory: 975344 KiB
[startup+2022.3 s]
/proc/loadavg: 1.00 1.19 1.58 2/193 8650
/proc/meminfo: memFree=25499052/32770624 swapFree=67002176/67108860
[pid=8075] ppid=8072 vsize=2676580 memory=914576 CPUtime=2022.47 cores=0,2,4,6
/proc/8075/stat : 8075 (xcsp_picat) R 8072 8075 6701 0 -1 4202496 1125695 0 0 0 201378 869 0 0 20 0 1 0 527548054 2740817920 228644 33554432000 4194304 5870510 140736658073520 140736658072536 5282767 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44048384 140736658080775 140736658080857 140736658080857 140736658083782 0
/proc/8075/statm: 669145 228644 995 410 0 664618 0
Current children cumulated CPU time: 2022.47 s
Current children cumulated vsize: 2676580 KiB
Current children cumulated memory: 914576 KiB
[startup+2082.3 s]
/proc/loadavg: 1.00 1.15 1.55 2/193 8654
/proc/meminfo: memFree=25499120/32770624 swapFree=67002176/67108860
[pid=8075] ppid=8072 vsize=2676580 memory=914576 CPUtime=2082.47 cores=0,2,4,6
/proc/8075/stat : 8075 (xcsp_picat) R 8072 8075 6701 0 -1 4202496 1137110 0 0 0 207352 895 0 0 20 0 1 0 527548054 2740817920 228644 33554432000 4194304 5870510 140736658073520 140736658072536 5282505 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44048384 140736658080775 140736658080857 140736658080857 140736658083782 0
/proc/8075/statm: 669145 228644 995 410 0 664618 0
Current children cumulated CPU time: 2082.47 s
Current children cumulated vsize: 2676580 KiB
Current children cumulated memory: 914576 KiB
[startup+2142.3 s]
/proc/loadavg: 1.00 1.13 1.51 2/193 8658
/proc/meminfo: memFree=25490756/32770624 swapFree=67002176/67108860
[pid=8075] ppid=8072 vsize=2726668 memory=925780 CPUtime=2142.48 cores=0,2,4,6
/proc/8075/stat : 8075 (xcsp_picat) R 8072 8075 6701 0 -1 4202496 1150555 0 0 0 213329 919 0 0 20 0 1 0 527548054 2792108032 231445 33554432000 4194304 5870510 140736658073520 140736658072536 5258681 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44048384 140736658080775 140736658080857 140736658080857 140736658083782 0
/proc/8075/statm: 681667 231445 995 410 0 677140 0
Current children cumulated CPU time: 2142.48 s
Current children cumulated vsize: 2726668 KiB
Current children cumulated memory: 925780 KiB
[startup+2202.3 s]
/proc/loadavg: 1.00 1.10 1.48 2/192 8665
/proc/meminfo: memFree=25498368/32770624 swapFree=67002176/67108860
[pid=8075] ppid=8072 vsize=2676580 memory=915080 CPUtime=2202.48 cores=0,2,4,6
/proc/8075/stat : 8075 (xcsp_picat) R 8072 8075 6701 0 -1 4202496 1166075 0 0 0 219300 948 0 0 20 0 1 0 527548054 2740817920 228770 33554432000 4194304 5870510 140736658073520 140736658072536 140329505991246 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44048384 140736658080775 140736658080857 140736658080857 140736658083782 0
/proc/8075/statm: 669145 228770 995 410 0 664618 0
Current children cumulated CPU time: 2202.48 s
Current children cumulated vsize: 2676580 KiB
Current children cumulated memory: 915080 KiB
[startup+2262.3 s]
/proc/loadavg: 1.00 1.08 1.45 2/192 8669
/proc/meminfo: memFree=25483664/32770624 swapFree=67002176/67108860
[pid=8075] ppid=8072 vsize=2677252 memory=906876 CPUtime=2262.48 cores=0,2,4,6
/proc/8075/stat : 8075 (xcsp_picat) R 8072 8075 6701 0 -1 4202496 1215418 0 0 0 225263 985 0 0 20 0 1 0 527548054 2741506048 226719 33554432000 4194304 5870510 140736658073520 140736658071816 5282590 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44048384 140736658080775 140736658080857 140736658080857 140736658083782 0
/proc/8075/statm: 669313 226719 995 410 0 664786 0
Current children cumulated CPU time: 2262.48 s
Current children cumulated vsize: 2677252 KiB
Current children cumulated memory: 906876 KiB
[startup+2322.3 s]
/proc/loadavg: 1.00 1.07 1.42 2/192 8673
/proc/meminfo: memFree=25481444/32770624 swapFree=67002176/67108860
[pid=8075] ppid=8072 vsize=2743192 memory=933388 CPUtime=2322.49 cores=0,2,4,6
/proc/8075/stat : 8075 (xcsp_picat) R 8072 8075 6701 0 -1 4202496 1232996 0 0 0 231234 1015 0 0 20 0 1 0 527548054 2809028608 233347 33554432000 4194304 5870510 140736658073520 140736658072472 5282759 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44048384 140736658080775 140736658080857 140736658080857 140736658083782 0
/proc/8075/statm: 685798 233347 995 410 0 681271 0
Current children cumulated CPU time: 2322.49 s
Current children cumulated vsize: 2743192 KiB
Current children cumulated memory: 933388 KiB
[startup+2382.3 s]
/proc/loadavg: 1.00 1.06 1.40 2/192 8680
/proc/meminfo: memFree=25483348/32770624 swapFree=67002176/67108860
[pid=8075] ppid=8072 vsize=2693104 memory=931428 CPUtime=2382.49 cores=0,2,4,6
/proc/8075/stat : 8075 (xcsp_picat) R 8072 8075 6701 0 -1 4202496 1250156 0 0 0 237203 1046 0 0 20 0 1 0 527548054 2757738496 232857 33554432000 4194304 5870510 140736658073520 140736658072472 5262777 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44048384 140736658080775 140736658080857 140736658080857 140736658083782 0
/proc/8075/statm: 673276 232857 995 410 0 668749 0
Current children cumulated CPU time: 2382.49 s
Current children cumulated vsize: 2693104 KiB
Current children cumulated memory: 931428 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.8 s]
/proc/loadavg: 1.00 1.05 1.39 2/192 8681
/proc/meminfo: memFree=25468336/32770624 swapFree=67002176/67108860
[pid=8075] ppid=8072 vsize=2693104 memory=925284 CPUtime=2400 cores=0,2,4,6
/proc/8075/stat : 8075 (xcsp_picat) R 8072 8075 6701 0 -1 4202496 1261117 0 0 0 238944 1056 0 0 20 0 1 0 527548054 2757738496 231321 33554432000 4194304 5870510 140736658073520 140736658072536 5282357 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44048384 140736658080775 140736658080857 140736658080857 140736658083782 0
/proc/8075/statm: 673276 231321 995 410 0 668749 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 2693104 KiB
Current children cumulated memory: 925284 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2399.81 s]
# the end of solver process 8075 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2389.44 s, system=10.5721 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.81
CPU time (s): 2400.02
CPU user time (s): 2389.44
CPU system time (s): 10.5721
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 2938284
Max. memory (cumulated for all children) (KiB): 1069512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2389.44
system time used= 10.5721
maximum resident set size= 1106104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1261117
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= 76
involuntary context switches= 734
# summary of solver processes directly reported to runsolver:
# pid: 8075
# total CPU time (s): 2400.02
# total CPU user time (s): 2389.44
# total CPU system time (s): 10.5721
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.32342 second user time and 17.6872 second system time
The end