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 (14551 MiB free)
memory of node 1: 16384 MiB (13123 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407901-1569514442/watcher-4407901-1569514442 -o /var/tmp/evaluation-result-4407901-1569514442/solver-4407901-1569514442 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1569505917-18174 --watchdog 2560 xcsp_picat HOME/instance-4407901-1569514442.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=19630, runsolver pid=19627
[startup+0.100192 s]*
/proc/loadavg: 2.01 2.03 2.04 3/199 19631
/proc/meminfo: memFree=28323932/32770624 swapFree=66954412/67108860
[pid=19630] ppid=19627 vsize=2038024 memory=21824 CPUtime=0.1 cores=0,2,4,6
/proc/19630/stat : 19630 (xcsp_picat) R 19627 19630 18143 0 -1 4202496 2598 0 0 0 9 1 0 0 20 0 1 0 527699385 2086936576 5456 33554432000 4194304 5870510 140722450584560 140722450581704 140149030158215 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 32833536 140722450592775 140722450592857 140722450592857 140722450595782 0
/proc/19630/statm: 509506 5456 971 410 0 504979 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2038024 KiB
Current children cumulated memory: 21824 KiB
[startup+0.209815 s]*
/proc/loadavg: 2.01 2.03 2.04 3/199 19631
/proc/meminfo: memFree=28322072/32770624 swapFree=66954412/67108860
[pid=19630] ppid=19627 vsize=2038024 memory=21824 CPUtime=0.21 cores=0,2,4,6
/proc/19630/stat : 19630 (xcsp_picat) R 19627 19630 18143 0 -1 4202496 2613 0 0 0 20 1 0 0 20 0 1 0 527699385 2086936576 5456 33554432000 4194304 5870510 140722450584560 140722450581704 140149030158215 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 32833536 140722450592775 140722450592857 140722450592857 140722450595782 0
/proc/19630/statm: 509506 5456 971 410 0 504979 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2038024 KiB
Current children cumulated memory: 21824 KiB
[startup+0.309084 s]*
/proc/loadavg: 2.01 2.03 2.04 3/199 19631
/proc/meminfo: memFree=28321708/32770624 swapFree=66954412/67108860
[pid=19630] ppid=19627 vsize=2038024 memory=22076 CPUtime=0.31 cores=0,2,4,6
/proc/19630/stat : 19630 (xcsp_picat) R 19627 19630 18143 0 -1 4202496 2624 0 0 0 30 1 0 0 20 0 1 0 527699385 2086936576 5519 33554432000 4194304 5870510 140722450584560 140722450581704 5579125 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 32833536 140722450592775 140722450592857 140722450592857 140722450595782 0
/proc/19630/statm: 509506 5519 974 410 0 504979 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2038024 KiB
Current children cumulated memory: 22076 KiB
[startup+0.700307 s]
/proc/loadavg: 2.01 2.03 2.04 3/199 19631
/proc/meminfo: memFree=28321708/32770624 swapFree=66954412/67108860
[pid=19630] ppid=19627 vsize=2038272 memory=22440 CPUtime=0.69 cores=0,2,4,6
/proc/19630/stat : 19630 (xcsp_picat) R 19627 19630 18143 0 -1 4202496 2723 0 0 0 68 1 0 0 20 0 1 0 527699385 2087190528 5610 33554432000 4194304 5870510 140722450584560 140722450581704 5406787 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 32833536 140722450592775 140722450592857 140722450592857 140722450595782 0
/proc/19630/statm: 509568 5610 974 410 0 505041 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2038272 KiB
Current children cumulated memory: 22440 KiB
[startup+1.50033 s]
/proc/loadavg: 2.01 2.03 2.04 3/199 19631
/proc/meminfo: memFree=28319288/32770624 swapFree=66954412/67108860
[pid=19630] ppid=19627 vsize=2038488 memory=22672 CPUtime=1.49 cores=0,2,4,6
/proc/19630/stat : 19630 (xcsp_picat) R 19627 19630 18143 0 -1 4202496 2803 0 0 0 148 1 0 0 20 0 1 0 527699385 2087411712 5668 33554432000 4194304 5870510 140722450584560 140722450581704 5575622 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 32833536 140722450592775 140722450592857 140722450592857 140722450595782 0
/proc/19630/statm: 509622 5668 974 410 0 505095 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2038488 KiB
Current children cumulated memory: 22672 KiB
[startup+3.10947 s]
/proc/loadavg: 2.01 2.03 2.04 3/199 19631
/proc/meminfo: memFree=28335056/32770624 swapFree=66954412/67108860
[pid=19630] ppid=19627 vsize=2038600 memory=22860 CPUtime=3.1 cores=0,2,4,6
/proc/19630/stat : 19630 (xcsp_picat) R 19627 19630 18143 0 -1 4202496 3100 0 0 0 309 1 0 0 20 0 1 0 527699385 2087526400 5715 33554432000 4194304 5870510 140722450584560 140722450583320 140149030158215 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 32833536 140722450592775 140722450592857 140722450592857 140722450595782 0
/proc/19630/statm: 509650 5715 974 410 0 505123 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2038600 KiB
Current children cumulated memory: 22860 KiB
[startup+6.30032 s]
/proc/loadavg: 2.01 2.03 2.04 3/199 19631
/proc/meminfo: memFree=28324444/32770624 swapFree=66954412/67108860
[pid=19630] ppid=19627 vsize=2038780 memory=23188 CPUtime=6.29 cores=0,2,4,6
/proc/19630/stat : 19630 (xcsp_picat) R 19627 19630 18143 0 -1 4202496 3469 0 0 0 628 1 0 0 20 0 1 0 527699385 2087710720 5797 33554432000 4194304 5870510 140722450584560 140722450583656 140149029691182 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 32833536 140722450592775 140722450592857 140722450592857 140722450595782 0
/proc/19630/statm: 509695 5797 974 410 0 505168 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2038780 KiB
Current children cumulated memory: 23188 KiB
[startup+12.7004 s]
/proc/loadavg: 2.01 2.03 2.04 3/199 19631
/proc/meminfo: memFree=28324132/32770624 swapFree=66954412/67108860
[pid=19630] ppid=19627 vsize=2052208 memory=38424 CPUtime=12.69 cores=0,2,4,6
/proc/19630/stat : 19630 (xcsp_picat) R 19627 19630 18143 0 -1 4202496 7092 0 0 0 1267 2 0 0 20 0 1 0 527699385 2101460992 9606 33554432000 4194304 5870510 140722450584560 140722450583000 5308227 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 32833536 140722450592775 140722450592857 140722450592857 140722450595782 0
/proc/19630/statm: 513052 9606 1006 410 0 508525 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2052208 KiB
Current children cumulated memory: 38424 KiB
[startup+25.5004 s]
/proc/loadavg: 2.01 2.03 2.04 3/199 19631
/proc/meminfo: memFree=28287532/32770624 swapFree=66954412/67108860
[pid=19630] ppid=19627 vsize=2087736 memory=72360 CPUtime=25.49 cores=0,2,4,6
/proc/19630/stat : 19630 (xcsp_picat) R 19627 19630 18143 0 -1 4202496 13934 0 0 0 2545 4 0 0 20 0 1 0 527699385 2137841664 18090 33554432000 4194304 5870510 140722450584560 140722450583000 5282284 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 32833536 140722450592775 140722450592857 140722450592857 140722450595782 0
/proc/19630/statm: 521934 18090 1006 410 0 517407 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2087736 KiB
Current children cumulated memory: 72360 KiB
[startup+51.1097 s]
/proc/loadavg: 2.00 2.03 2.04 3/199 19634
/proc/meminfo: memFree=28267148/32770624 swapFree=66954412/67108860
[pid=19630] ppid=19627 vsize=2087736 memory=72360 CPUtime=51.09 cores=0,2,4,6
/proc/19630/stat : 19630 (xcsp_picat) R 19627 19630 18143 0 -1 4202496 17753 0 0 0 5105 4 0 0 20 0 1 0 527699385 2137841664 18090 33554432000 4194304 5870510 140722450584560 140722450583672 5289866 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 32833536 140722450592775 140722450592857 140722450592857 140722450595782 0
/proc/19630/statm: 521934 18090 1006 410 0 517407 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2087736 KiB
Current children cumulated memory: 72360 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/199 19638
/proc/meminfo: memFree=28244812/32770624 swapFree=66954412/67108860
[pid=19630] ppid=19627 vsize=2087736 memory=74408 CPUtime=102.28 cores=0,2,4,6
/proc/19630/stat : 19630 (xcsp_picat) R 19627 19630 18143 0 -1 4202496 20288 0 0 0 10223 5 0 0 20 0 1 0 527699385 2137841664 18602 33554432000 4194304 5870510 140722450584560 140722450583672 5282606 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 32833536 140722450592775 140722450592857 140722450592857 140722450595782 0
/proc/19630/statm: 521934 18602 1006 410 0 517407 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2087736 KiB
Current children cumulated memory: 74408 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/199 19642
/proc/meminfo: memFree=28255124/32770624 swapFree=66954412/67108860
[pid=19630] ppid=19627 vsize=2090444 memory=78612 CPUtime=162.28 cores=0,2,4,6
/proc/19630/stat : 19630 (xcsp_picat) R 19627 19630 18143 0 -1 4202496 23066 0 0 0 16223 5 0 0 20 0 1 0 527699385 2140614656 19653 33554432000 4194304 5870510 140722450584560 140722450583128 5282736 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32833536 140722450592775 140722450592857 140722450592857 140722450595782 0
/proc/19630/statm: 522611 19653 1006 410 0 518084 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2090444 KiB
Current children cumulated memory: 78612 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/198 19648
/proc/meminfo: memFree=28231492/32770624 swapFree=66954412/67108860
[pid=19630] ppid=19627 vsize=2101940 memory=84568 CPUtime=222.26 cores=0,2,4,6
/proc/19630/stat : 19630 (xcsp_picat) R 19627 19630 18143 0 -1 4202496 26271 0 0 0 22221 5 0 0 20 0 1 0 527699385 2152386560 21142 33554432000 4194304 5870510 140722450584560 140722450583000 5282606 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32833536 140722450592775 140722450592857 140722450592857 140722450595782 0
/proc/19630/statm: 525485 21142 1006 410 0 520958 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 2101940 KiB
Current children cumulated memory: 84568 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/198 19652
/proc/meminfo: memFree=28214092/32770624 swapFree=66954412/67108860
[pid=19630] ppid=19627 vsize=2101940 memory=90236 CPUtime=282.25 cores=0,2,4,6
/proc/19630/stat : 19630 (xcsp_picat) R 19627 19630 18143 0 -1 4202496 29847 0 0 0 28220 5 0 0 20 0 1 0 527699385 2152386560 22559 33554432000 4194304 5870510 140722450584560 140722450583000 5274877 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32833536 140722450592775 140722450592857 140722450592857 140722450595782 0
/proc/19630/statm: 525485 22559 1006 410 0 520958 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 2101940 KiB
Current children cumulated memory: 90236 KiB
[startup+342.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/198 19656
/proc/meminfo: memFree=28208608/32770624 swapFree=66954412/67108860
[pid=19630] ppid=19627 vsize=2109120 memory=97416 CPUtime=342.25 cores=0,2,4,6
/proc/19630/stat : 19630 (xcsp_picat) R 19627 19630 18143 0 -1 4202496 33655 0 0 0 34219 6 0 0 20 0 1 0 527699385 2159738880 24354 33554432000 4194304 5870510 140722450584560 140722450583128 5282590 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32833536 140722450592775 140722450592857 140722450592857 140722450595782 0
/proc/19630/statm: 527280 24354 1006 410 0 522753 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 2109120 KiB
Current children cumulated memory: 97416 KiB
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/198 19662
/proc/meminfo: memFree=28222772/32770624 swapFree=66954412/67108860
[pid=19630] ppid=19627 vsize=2109120 memory=97464 CPUtime=402.23 cores=0,2,4,6
/proc/19630/stat : 19630 (xcsp_picat) R 19627 19630 18143 0 -1 4202496 37241 0 0 0 40217 6 0 0 20 0 1 0 527699385 2159738880 24366 33554432000 4194304 5870510 140722450584560 140722450583128 5308341 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32833536 140722450592775 140722450592857 140722450592857 140722450595782 0
/proc/19630/statm: 527280 24366 1006 410 0 522753 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 2109120 KiB
Current children cumulated memory: 97464 KiB
[startup+462.3 s]
/proc/loadavg: 1.52 1.89 2.00 2/191 19712
/proc/meminfo: memFree=28531180/32770624 swapFree=66954412/67108860
[pid=19630] ppid=19627 vsize=2109120 memory=100180 CPUtime=462.21 cores=0,2,4,6
/proc/19630/stat : 19630 (xcsp_picat) R 19627 19630 18143 0 -1 4202496 38126 0 0 0 46215 6 0 0 20 0 1 0 527699385 2159738880 25045 33554432000 4194304 5870510 140722450584560 140722450583128 5283135 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32833536 140722450592775 140722450592857 140722450592857 140722450595782 0
/proc/19630/statm: 527280 25045 1006 410 0 522753 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 2109120 KiB
Current children cumulated memory: 100180 KiB
################
# More data... #
################
/proc/19630/statm: 537944 31581 1006 410 0 533417 0
Current children cumulated CPU time: 1661.99 s
Current children cumulated vsize: 2151776 KiB
Current children cumulated memory: 126324 KiB
[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.26 2/191 19836
/proc/meminfo: memFree=28491000/32770624 swapFree=66954412/67108860
[pid=19630] ppid=19627 vsize=2151776 memory=138612 CPUtime=1721.98 cores=0,2,4,6
/proc/19630/stat : 19630 (xcsp_picat) R 19627 19630 18143 0 -1 4202496 61073 0 0 0 172190 8 0 0 20 0 1 0 527699385 2203418624 34653 33554432000 4194304 5870510 140722450584560 140722450583000 5282258 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32833536 140722450592775 140722450592857 140722450592857 140722450595782 0
/proc/19630/statm: 537944 34653 1006 410 0 533417 0
Current children cumulated CPU time: 1721.98 s
Current children cumulated vsize: 2151776 KiB
Current children cumulated memory: 138612 KiB
[startup+1782.3 s]
/proc/loadavg: 1.05 1.03 1.25 2/191 19840
/proc/meminfo: memFree=28491952/32770624 swapFree=66954412/67108860
[pid=19630] ppid=19627 vsize=2151776 memory=138616 CPUtime=1781.97 cores=0,2,4,6
/proc/19630/stat : 19630 (xcsp_picat) R 19627 19630 18143 0 -1 4202496 63156 0 0 0 178189 8 0 0 20 0 1 0 527699385 2203418624 34654 33554432000 4194304 5870510 140722450584560 140722450583000 5308840 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32833536 140722450592775 140722450592857 140722450592857 140722450595782 0
/proc/19630/statm: 537944 34654 1006 410 0 533417 0
Current children cumulated CPU time: 1781.97 s
Current children cumulated vsize: 2151776 KiB
Current children cumulated memory: 138616 KiB
[startup+1842.3 s]
/proc/loadavg: 1.02 1.02 1.23 2/191 19846
/proc/meminfo: memFree=28492056/32770624 swapFree=66954412/67108860
[pid=19630] ppid=19627 vsize=2151776 memory=138616 CPUtime=1841.95 cores=0,2,4,6
/proc/19630/stat : 19630 (xcsp_picat) R 19627 19630 18143 0 -1 4202496 63313 0 0 0 184187 8 0 0 20 0 1 0 527699385 2203418624 34654 33554432000 4194304 5870510 140722450584560 140722450583000 5282680 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32833536 140722450592775 140722450592857 140722450592857 140722450595782 0
/proc/19630/statm: 537944 34654 1006 410 0 533417 0
Current children cumulated CPU time: 1841.95 s
Current children cumulated vsize: 2151776 KiB
Current children cumulated memory: 138616 KiB
[startup+1902.3 s]
/proc/loadavg: 1.01 1.02 1.22 2/191 19850
/proc/meminfo: memFree=28492312/32770624 swapFree=66954412/67108860
[pid=19630] ppid=19627 vsize=2151776 memory=138616 CPUtime=1901.94 cores=0,2,4,6
/proc/19630/stat : 19630 (xcsp_picat) R 19627 19630 18143 0 -1 4202496 63454 0 0 0 190186 8 0 0 20 0 1 0 527699385 2203418624 34654 33554432000 4194304 5870510 140722450584560 140722450583000 5289552 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32833536 140722450592775 140722450592857 140722450592857 140722450595782 0
/proc/19630/statm: 537944 34654 1006 410 0 533417 0
Current children cumulated CPU time: 1901.94 s
Current children cumulated vsize: 2151776 KiB
Current children cumulated memory: 138616 KiB
[startup+1962.3 s]
/proc/loadavg: 1.00 1.01 1.21 2/191 19854
/proc/meminfo: memFree=28492364/32770624 swapFree=66954412/67108860
[pid=19630] ppid=19627 vsize=2151776 memory=138616 CPUtime=1961.93 cores=0,2,4,6
/proc/19630/stat : 19630 (xcsp_picat) R 19627 19630 18143 0 -1 4202496 63577 0 0 0 196185 8 0 0 20 0 1 0 527699385 2203418624 34654 33554432000 4194304 5870510 140722450584560 140722450583000 5288765 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32833536 140722450592775 140722450592857 140722450592857 140722450595782 0
/proc/19630/statm: 537944 34654 1006 410 0 533417 0
Current children cumulated CPU time: 1961.93 s
Current children cumulated vsize: 2151776 KiB
Current children cumulated memory: 138616 KiB
[startup+2022.3 s]
/proc/loadavg: 1.00 1.01 1.19 2/191 19860
/proc/meminfo: memFree=28492692/32770624 swapFree=66954412/67108860
[pid=19630] ppid=19627 vsize=2151776 memory=138616 CPUtime=2021.92 cores=0,2,4,6
/proc/19630/stat : 19630 (xcsp_picat) R 19627 19630 18143 0 -1 4202496 63726 0 0 0 202184 8 0 0 20 0 1 0 527699385 2203418624 34654 33554432000 4194304 5870510 140722450584560 140722450583000 5282574 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32833536 140722450592775 140722450592857 140722450592857 140722450595782 0
/proc/19630/statm: 537944 34654 1006 410 0 533417 0
Current children cumulated CPU time: 2021.92 s
Current children cumulated vsize: 2151776 KiB
Current children cumulated memory: 138616 KiB
[startup+2082.3 s]
/proc/loadavg: 1.00 1.01 1.18 2/191 19864
/proc/meminfo: memFree=28492048/32770624 swapFree=66954412/67108860
[pid=19630] ppid=19627 vsize=2151776 memory=138616 CPUtime=2081.91 cores=0,2,4,6
/proc/19630/stat : 19630 (xcsp_picat) R 19627 19630 18143 0 -1 4202496 63848 0 0 0 208183 8 0 0 20 0 1 0 527699385 2203418624 34654 33554432000 4194304 5870510 140722450584560 140722450583000 5282606 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32833536 140722450592775 140722450592857 140722450592857 140722450595782 0
/proc/19630/statm: 537944 34654 1006 410 0 533417 0
Current children cumulated CPU time: 2081.91 s
Current children cumulated vsize: 2151776 KiB
Current children cumulated memory: 138616 KiB
[startup+2142.3 s]
/proc/loadavg: 1.00 1.01 1.17 2/191 19868
/proc/meminfo: memFree=28487672/32770624 swapFree=66954412/67108860
[pid=19630] ppid=19627 vsize=2151776 memory=142712 CPUtime=2141.9 cores=0,2,4,6
/proc/19630/stat : 19630 (xcsp_picat) R 19627 19630 18143 0 -1 4202496 63983 0 0 0 214182 8 0 0 20 0 1 0 527699385 2203418624 35678 33554432000 4194304 5870510 140722450584560 140722450583000 5282578 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32833536 140722450592775 140722450592857 140722450592857 140722450595782 0
/proc/19630/statm: 537944 35678 1006 410 0 533417 0
Current children cumulated CPU time: 2141.9 s
Current children cumulated vsize: 2151776 KiB
Current children cumulated memory: 142712 KiB
[startup+2202.3 s]
/proc/loadavg: 1.00 1.01 1.16 2/191 19874
/proc/meminfo: memFree=28488316/32770624 swapFree=66954412/67108860
[pid=19630] ppid=19627 vsize=2151776 memory=142712 CPUtime=2201.88 cores=0,2,4,6
/proc/19630/stat : 19630 (xcsp_picat) R 19627 19630 18143 0 -1 4202496 64106 0 0 0 220180 8 0 0 20 0 1 0 527699385 2203418624 35678 33554432000 4194304 5870510 140722450584560 140722450583000 5282590 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32833536 140722450592775 140722450592857 140722450592857 140722450595782 0
/proc/19630/statm: 537944 35678 1006 410 0 533417 0
Current children cumulated CPU time: 2201.88 s
Current children cumulated vsize: 2151776 KiB
Current children cumulated memory: 142712 KiB
[startup+2262.3 s]
/proc/loadavg: 1.06 1.03 1.15 2/191 19878
/proc/meminfo: memFree=28488392/32770624 swapFree=66954412/67108860
[pid=19630] ppid=19627 vsize=2151776 memory=142712 CPUtime=2261.87 cores=0,2,4,6
/proc/19630/stat : 19630 (xcsp_picat) R 19627 19630 18143 0 -1 4202496 64272 0 0 0 226179 8 0 0 20 0 1 0 527699385 2203418624 35678 33554432000 4194304 5870510 140722450584560 140722450583000 5282390 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32833536 140722450592775 140722450592857 140722450592857 140722450595782 0
/proc/19630/statm: 537944 35678 1006 410 0 533417 0
Current children cumulated CPU time: 2261.87 s
Current children cumulated vsize: 2151776 KiB
Current children cumulated memory: 142712 KiB
[startup+2322.3 s]
/proc/loadavg: 1.02 1.02 1.14 2/191 19889
/proc/meminfo: memFree=28488120/32770624 swapFree=66954412/67108860
[pid=19630] ppid=19627 vsize=2151776 memory=142712 CPUtime=2321.86 cores=0,2,4,6
/proc/19630/stat : 19630 (xcsp_picat) R 19627 19630 18143 0 -1 4202496 64394 0 0 0 232178 8 0 0 20 0 1 0 527699385 2203418624 35678 33554432000 4194304 5870510 140722450584560 140722450583000 5283135 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32833536 140722450592775 140722450592857 140722450592857 140722450595782 0
/proc/19630/statm: 537944 35678 1006 410 0 533417 0
Current children cumulated CPU time: 2321.86 s
Current children cumulated vsize: 2151776 KiB
Current children cumulated memory: 142712 KiB
[startup+2382.3 s]
/proc/loadavg: 1.01 1.02 1.13 2/191 19895
/proc/meminfo: memFree=28488396/32770624 swapFree=66954412/67108860
[pid=19630] ppid=19627 vsize=2151776 memory=142712 CPUtime=2381.85 cores=0,2,4,6
/proc/19630/stat : 19630 (xcsp_picat) R 19627 19630 18143 0 -1 4202496 64539 0 0 0 238177 8 0 0 20 0 1 0 527699385 2203418624 35678 33554432000 4194304 5870510 140722450584560 140722450583000 5282606 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32833536 140722450592775 140722450592857 140722450592857 140722450595782 0
/proc/19630/statm: 537944 35678 1006 410 0 533417 0
Current children cumulated CPU time: 2381.85 s
Current children cumulated vsize: 2151776 KiB
Current children cumulated memory: 142712 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.5 s]
/proc/loadavg: 1.01 1.02 1.13 2/191 19895
/proc/meminfo: memFree=28488792/32770624 swapFree=66954412/67108860
[pid=19630] ppid=19627 vsize=2151776 memory=142712 CPUtime=2400.05 cores=0,2,4,6
/proc/19630/stat : 19630 (xcsp_picat) R 19627 19630 18143 0 -1 4202496 64661 0 0 0 239997 8 0 0 20 0 1 0 527699385 2203418624 35678 33554432000 4194304 5870510 140722450584560 140722450583000 5282606 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32833536 140722450592775 140722450592857 140722450592857 140722450595782 0
/proc/19630/statm: 537944 35678 1006 410 0 533417 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 2151776 KiB
Current children cumulated memory: 142712 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.5 s]
# the end of solver process 19630 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.97 s, system=0.090983 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.5 s]
/proc/loadavg: 1.01 1.02 1.13 2/191 19895
/proc/meminfo: memFree=28488792/32770624 swapFree=66954412/67108860
[pid=19630] ppid=19627 vsize=2151776 memory=142712 CPUtime=2400.05 cores=0,2,4,6
/proc/19630/stat : 19630 (xcsp_picat) R 19627 19630 18143 0 -1 4202496 64661 0 0 0 239997 8 0 0 20 0 1 0 527699385 2203418624 35678 33554432000 4194304 5870510 140722450584560 140722450583000 5282606 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32833536 140722450592775 140722450592857 140722450592857 140722450595782 0
/proc/19630/statm: 537944 35678 1006 410 0 533417 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 2151776 KiB
Current children cumulated memory: 142712 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.5
CPU time (s): 2400.06
CPU user time (s): 2399.97
CPU system time (s): 0.090983
CPU usage (%): 99.9818
Max. virtual memory (cumulated for all children) (KiB): 2151776
Max. memory (cumulated for all children) (KiB): 142712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.97
system time used= 0.090983
maximum resident set size= 142712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64661
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= 15
involuntary context switches= 2021
# summary of solver processes directly reported to runsolver:
# pid: 19630
# total CPU time (s): 2400.06
# total CPU user time (s): 2399.97
# total CPU system time (s): 0.090983
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.99386 second user time and 16.9629 second system time
The end