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 (14730 MiB free)
memory of node 1: 16384 MiB (13620 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303365-1534028142/watcher-4303365-1534028142 -o /tmp/evaluation-result-4303365-1534028142/solver-4303365-1534028142 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534025399-15092 --watchdog 2580 xcsp_picat HOME/instance-4303365-1534028142.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
Current StackSize limit: 8192 KiB
solver pid=15518, runsolver pid=15515
[startup+0.100216 s]*
/proc/loadavg: 2.01 2.06 2.00 3/186 15519
/proc/meminfo: memFree=28997412/32770624 swapFree=67030636/67108860
[pid=15518] ppid=15515 vsize=2033560 memory=39440 CPUtime=0.1 cores=0,2,4,6
/proc/15518/stat : 15518 (xcsp_picat) R 15515 15518 15061 0 -1 4202496 1360 0 0 0 10 0 0 0 20 0 1 0 220377411 2082365440 9860 33554432000 4194304 5849708 140730797295664 140730797295664 4930992 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16744448 140730797298870 140730797298948 140730797298948 140730797301706 0
/proc/15518/statm: 508390 9860 648 405 0 505335 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 39440 KiB
[startup+0.209617 s]*
/proc/loadavg: 2.01 2.06 2.00 3/186 15519
/proc/meminfo: memFree=28983332/32770624 swapFree=67030636/67108860
[pid=15518] ppid=15515 vsize=2051284 memory=52440 CPUtime=0.21 cores=0,2,4,6
/proc/15518/stat : 15518 (xcsp_picat) R 15515 15518 15061 0 -1 4202496 3557 0 0 0 20 1 0 0 20 0 1 0 220377411 2100514816 13110 33554432000 4194304 5849708 140730797295664 140730797295664 139924625590176 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16744448 140730797298870 140730797298948 140730797298948 140730797301706 0
/proc/15518/statm: 512821 13110 713 405 0 509766 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2051284 KiB
Current children cumulated memory: 52440 KiB
[startup+0.309526 s]*
/proc/loadavg: 2.01 2.06 2.00 3/186 15519
/proc/meminfo: memFree=28958512/32770624 swapFree=67030636/67108860
[pid=15518] ppid=15515 vsize=2067928 memory=76256 CPUtime=0.31 cores=0,2,4,6
/proc/15518/stat : 15518 (xcsp_picat) R 15515 15518 15061 0 -1 4202496 4450 0 0 0 29 2 0 0 20 0 1 0 220377411 2117558272 19064 33554432000 4194304 5849708 140730797295664 140730797295664 4828599 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16744448 140730797298870 140730797298948 140730797298948 140730797301706 0
/proc/15518/statm: 516982 19064 713 405 0 513927 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2067928 KiB
Current children cumulated memory: 76256 KiB
[startup+0.700444 s]
/proc/loadavg: 2.01 2.06 2.00 3/186 15519
/proc/meminfo: memFree=28925684/32770624 swapFree=67030636/67108860
[pid=15518] ppid=15515 vsize=2101464 memory=109772 CPUtime=0.69 cores=0,2,4,6
/proc/15518/stat : 15518 (xcsp_picat) R 15515 15518 15061 0 -1 4202496 5169 0 0 0 67 2 0 0 20 0 1 0 220377411 2151899136 27443 33554432000 4194304 5849708 140730797295664 140730797294760 5300000 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16744448 140730797298870 140730797298948 140730797298948 140730797301706 0
/proc/15518/statm: 525366 27443 713 405 0 522311 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2101464 KiB
Current children cumulated memory: 109772 KiB
[startup+1.50044 s]
/proc/loadavg: 2.01 2.06 2.00 3/186 15519
/proc/meminfo: memFree=28920536/32770624 swapFree=67030636/67108860
[pid=15518] ppid=15515 vsize=2105328 memory=113836 CPUtime=1.49 cores=0,2,4,6
/proc/15518/stat : 15518 (xcsp_picat) R 15515 15518 15061 0 -1 4202496 7960 0 0 0 147 2 0 0 20 0 1 0 220377411 2155855872 28459 33554432000 4194304 5849708 140730797295664 140730797294760 5365360 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16744448 140730797298870 140730797298948 140730797298948 140730797301706 0
/proc/15518/statm: 526332 28459 732 405 0 523277 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2105328 KiB
Current children cumulated memory: 113836 KiB
[startup+3.1095 s]
/proc/loadavg: 1.93 2.04 2.00 3/186 15519
/proc/meminfo: memFree=28918832/32770624 swapFree=67030636/67108860
[pid=15518] ppid=15515 vsize=2107476 memory=115956 CPUtime=3.1 cores=0,2,4,6
/proc/15518/stat : 15518 (xcsp_picat) R 15515 15518 15061 0 -1 4202496 17999 0 0 0 307 3 0 0 20 0 1 0 220377411 2158055424 28989 33554432000 4194304 5849708 140730797295664 140730797293912 5371560 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16744448 140730797298870 140730797298948 140730797298948 140730797301706 0
/proc/15518/statm: 526869 28989 732 405 0 523814 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2107476 KiB
Current children cumulated memory: 115956 KiB
[startup+6.30034 s]
/proc/loadavg: 1.93 2.04 2.00 3/186 15519
/proc/meminfo: memFree=28910772/32770624 swapFree=67030636/67108860
[pid=15518] ppid=15515 vsize=2117364 memory=123940 CPUtime=6.29 cores=0,2,4,6
/proc/15518/stat : 15518 (xcsp_picat) R 15515 15518 15061 0 -1 4202496 29470 0 0 0 623 6 0 0 20 0 1 0 220377411 2168180736 30985 33554432000 4194304 5849708 140730797295664 140730797293208 4212035 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16744448 140730797298870 140730797298948 140730797298948 140730797301706 0
/proc/15518/statm: 529341 30985 743 405 0 526286 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2117364 KiB
Current children cumulated memory: 123940 KiB
[startup+12.7004 s]
/proc/loadavg: 1.94 2.04 2.00 3/186 15519
/proc/meminfo: memFree=28909932/32770624 swapFree=67030636/67108860
[pid=15518] ppid=15515 vsize=2117352 memory=123948 CPUtime=12.69 cores=0,2,4,6
/proc/15518/stat : 15518 (xcsp_picat) R 15515 15518 15061 0 -1 4202496 45672 0 0 0 1261 8 0 0 20 0 1 0 220377411 2168168448 30987 33554432000 4194304 5849708 140730797295664 140730797294664 5322782 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16744448 140730797298870 140730797298948 140730797298948 140730797301706 0
/proc/15518/statm: 529338 30987 748 405 0 526283 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2117352 KiB
Current children cumulated memory: 123948 KiB
[startup+25.5005 s]
/proc/loadavg: 1.95 2.04 2.00 3/186 15519
/proc/meminfo: memFree=28837132/32770624 swapFree=67030636/67108860
[pid=15518] ppid=15515 vsize=2179780 memory=188356 CPUtime=25.49 cores=0,2,4,6
/proc/15518/stat : 15518 (xcsp_picat) R 15515 15518 15061 0 -1 4202496 76139 0 0 0 2531 18 0 0 20 0 1 0 220377411 2232094720 47089 33554432000 4194304 5849708 140730797295664 140730797294664 5311437 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16744448 140730797298870 140730797298948 140730797298948 140730797301706 0
/proc/15518/statm: 544945 47089 748 405 0 541890 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2179780 KiB
Current children cumulated memory: 188356 KiB
[startup+51.1096 s]
/proc/loadavg: 1.97 2.04 2.00 3/187 15520
/proc/meminfo: memFree=28809724/32770624 swapFree=67030636/67108860
[pid=15518] ppid=15515 vsize=2204108 memory=212628 CPUtime=51.09 cores=0,2,4,6
/proc/15518/stat : 15518 (xcsp_picat) R 15515 15518 15061 0 -1 4202496 96247 0 0 0 5079 30 0 0 20 0 1 0 220377411 2257006592 53157 33554432000 4194304 5849708 140730797295664 140730797294824 139924626001799 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16744448 140730797298870 140730797298948 140730797298948 140730797301706 0
/proc/15518/statm: 551027 53157 748 405 0 547972 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2204108 KiB
Current children cumulated memory: 212628 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.03 2.00 3/187 15521
/proc/meminfo: memFree=28861708/32770624 swapFree=67030636/67108860
[pid=15518] ppid=15515 vsize=2140072 memory=148648 CPUtime=102.29 cores=0,2,4,6
/proc/15518/stat : 15518 (xcsp_picat) R 15515 15518 15061 0 -1 4202496 125622 0 0 0 10175 54 0 0 20 0 1 0 220377411 2191433728 37162 33554432000 4194304 5849708 140730797295664 140730797294312 5361073 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16744448 140730797298870 140730797298948 140730797298948 140730797301706 0
/proc/15518/statm: 535018 37162 748 405 0 531963 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2140072 KiB
Current children cumulated memory: 148648 KiB
[startup+162.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/187 15523
/proc/meminfo: memFree=28859652/32770624 swapFree=67030636/67108860
[pid=15518] ppid=15515 vsize=2143448 memory=152024 CPUtime=162.29 cores=0,2,4,6
/proc/15518/stat : 15518 (xcsp_picat) R 15515 15518 15061 0 -1 4202496 142088 0 0 0 16149 80 0 0 20 0 1 0 220377411 2194890752 38006 33554432000 4194304 5849708 140730797295664 140730797294824 5311510 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16744448 140730797298870 140730797298948 140730797298948 140730797301706 0
/proc/15518/statm: 535862 38006 748 405 0 532807 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2143448 KiB
Current children cumulated memory: 152024 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/187 15524
/proc/meminfo: memFree=28859420/32770624 swapFree=67030636/67108860
[pid=15518] ppid=15515 vsize=2143448 memory=152024 CPUtime=222.28 cores=0,2,4,6
/proc/15518/stat : 15518 (xcsp_picat) R 15515 15518 15061 0 -1 4202496 143495 0 0 0 22126 102 0 0 20 0 1 0 220377411 2194890752 38006 33554432000 4194304 5849708 140730797295664 140730797294312 5392025 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16744448 140730797298870 140730797298948 140730797298948 140730797301706 0
/proc/15518/statm: 535862 38006 748 405 0 532807 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2143448 KiB
Current children cumulated memory: 152024 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/188 15539
/proc/meminfo: memFree=28844280/32770624 swapFree=67030636/67108860
[pid=15518] ppid=15515 vsize=2156000 memory=157548 CPUtime=282.29 cores=0,2,4,6
/proc/15518/stat : 15518 (xcsp_picat) R 15515 15518 15061 0 -1 4202496 157896 0 0 0 28107 122 0 0 20 0 1 0 220377411 2207744000 39387 33554432000 4194304 5849708 140730797295664 140730797294664 5438246 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16744448 140730797298870 140730797298948 140730797298948 140730797301706 0
/proc/15518/statm: 539000 39387 748 405 0 535945 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2156000 KiB
Current children cumulated memory: 157548 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/189 15566
/proc/meminfo: memFree=28834292/32770624 swapFree=67030636/67108860
[pid=15518] ppid=15515 vsize=2156828 memory=165308 CPUtime=342.29 cores=0,2,4,6
/proc/15518/stat : 15518 (xcsp_picat) R 15515 15518 15061 0 -1 4202496 160855 0 0 0 34088 141 0 0 20 0 1 0 220377411 2208591872 41327 33554432000 4194304 5849708 140730797295664 140730797294664 139924626001799 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16744448 140730797298870 140730797298948 140730797298948 140730797301706 0
/proc/15518/statm: 539207 41327 748 405 0 536152 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2156828 KiB
Current children cumulated memory: 165308 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/189 15567
/proc/meminfo: memFree=28827852/32770624 swapFree=67030636/67108860
[pid=15518] ppid=15515 vsize=2156800 memory=165376 CPUtime=402.28 cores=0,2,4,6
/proc/15518/stat : 15518 (xcsp_picat) R 15515 15518 15061 0 -1 4202496 175496 0 0 0 40065 163 0 0 20 0 1 0 220377411 2208563200 41344 33554432000 4194304 5849708 140730797295664 140730797294664 5437787 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16744448 140730797298870 140730797298948 140730797298948 140730797301706 0
/proc/15518/statm: 539200 41344 748 405 0 536145 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2156800 KiB
Current children cumulated memory: 165376 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/189 15568
/proc/meminfo: memFree=28816912/32770624 swapFree=67030636/67108860
[pid=15518] ppid=15515 vsize=2163264 memory=171840 CPUtime=462.28 cores=0,2,4,6
/proc/15518/stat : 15518 (xcsp_picat) R 15515 15518 15061 0 -1 4202496 176872 0 0 0 46051 177 0 0 20 0 1 0 220377411 2215182336 42960 33554432000 4194304 5849708 140730797295664 140730797294664 139924626001799 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16744448 140730797298870 140730797298948 140730797298948 140730797301706 0
/proc/15518/statm: 540816 42960 748 405 0 537761 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 2163264 KiB
Current children cumulated memory: 171840 KiB
################
# More data... #
################
/proc/15518/statm: 568329 72174 748 405 0 565274 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 2273316 KiB
Current children cumulated memory: 288696 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/187 15607
/proc/meminfo: memFree=28491008/32770624 swapFree=67030636/67108860
[pid=15518] ppid=15515 vsize=2376580 memory=391880 CPUtime=1782.23 cores=0,2,4,6
/proc/15518/stat : 15518 (xcsp_picat) R 15515 15518 15061 0 -1 4202496 403250 0 0 0 177710 513 0 0 20 0 1 0 220377411 2433617920 97970 33554432000 4194304 5849708 140730797295664 140730797294824 139924626001799 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16744448 140730797298870 140730797298948 140730797298948 140730797301706 0
/proc/15518/statm: 594145 97970 748 405 0 591090 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 2376580 KiB
Current children cumulated memory: 391880 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/187 15608
/proc/meminfo: memFree=28565656/32770624 swapFree=67030636/67108860
[pid=15518] ppid=15515 vsize=2250656 memory=266244 CPUtime=1842.23 cores=0,2,4,6
/proc/15518/stat : 15518 (xcsp_picat) R 15515 15518 15061 0 -1 4202496 404356 0 0 0 183697 526 0 0 20 0 1 0 220377411 2304671744 66561 33554432000 4194304 5849708 140730797295664 140730797294824 5437824 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16744448 140730797298870 140730797298948 140730797298948 140730797301706 0
/proc/15518/statm: 562664 66561 748 405 0 559609 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 2250656 KiB
Current children cumulated memory: 266244 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/187 15609
/proc/meminfo: memFree=28518476/32770624 swapFree=67030636/67108860
[pid=15518] ppid=15515 vsize=2338332 memory=353792 CPUtime=1902.23 cores=0,2,4,6
/proc/15518/stat : 15518 (xcsp_picat) R 15515 15518 15061 0 -1 4202496 412335 0 0 0 189683 540 0 0 20 0 1 0 220377411 2394451968 88448 33554432000 4194304 5849708 140730797295664 140730797294664 139924626001799 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16744448 140730797298870 140730797298948 140730797298948 140730797301706 0
/proc/15518/statm: 584583 88448 748 405 0 581528 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 2338332 KiB
Current children cumulated memory: 353792 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/187 15611
/proc/meminfo: memFree=28551668/32770624 swapFree=67030636/67108860
[pid=15518] ppid=15515 vsize=2301988 memory=317448 CPUtime=1962.23 cores=0,2,4,6
/proc/15518/stat : 15518 (xcsp_picat) R 15515 15518 15061 0 -1 4202496 413639 0 0 0 195671 552 0 0 20 0 1 0 220377411 2357235712 79362 33554432000 4194304 5849708 140730797295664 140730797294664 139924626001799 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16744448 140730797298870 140730797298948 140730797298948 140730797301706 0
/proc/15518/statm: 575497 79362 748 405 0 572442 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 2301988 KiB
Current children cumulated memory: 317448 KiB
[startup+2022.3 s]
/proc/loadavg: 2.53 2.15 2.05 3/187 15612
/proc/meminfo: memFree=28409312/32770624 swapFree=67030636/67108860
[pid=15518] ppid=15515 vsize=2444992 memory=460268 CPUtime=2022.23 cores=0,2,4,6
/proc/15518/stat : 15518 (xcsp_picat) R 15515 15518 15061 0 -1 4202496 421563 0 0 0 201651 572 0 0 20 0 1 0 220377411 2503671808 115067 33554432000 4194304 5849708 140730797295664 140730797294664 5437632 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16744448 140730797298870 140730797298948 140730797298948 140730797301706 0
/proc/15518/statm: 611248 115067 748 405 0 608193 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 2444992 KiB
Current children cumulated memory: 460268 KiB
[startup+2082.3 s]
/proc/loadavg: 2.19 2.12 2.05 3/188 15621
/proc/meminfo: memFree=28501180/32770624 swapFree=67030636/67108860
[pid=15518] ppid=15515 vsize=2349236 memory=364696 CPUtime=2082.22 cores=0,2,4,6
/proc/15518/stat : 15518 (xcsp_picat) R 15515 15518 15061 0 -1 4202496 433006 0 0 0 207634 588 0 0 20 0 1 0 220377411 2405617664 91174 33554432000 4194304 5849708 140730797295664 140730797294824 5335588 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16744448 140730797298870 140730797298948 140730797298948 140730797301706 0
/proc/15518/statm: 587309 91174 748 405 0 584254 0
Current children cumulated CPU time: 2082.22 s
Current children cumulated vsize: 2349236 KiB
Current children cumulated memory: 364696 KiB
[startup+2142.3 s]
/proc/loadavg: 2.07 2.10 2.05 3/188 15622
/proc/meminfo: memFree=28443852/32770624 swapFree=67030636/67108860
[pid=15518] ppid=15515 vsize=2396484 memory=411800 CPUtime=2142.22 cores=0,2,4,6
/proc/15518/stat : 15518 (xcsp_picat) R 15515 15518 15061 0 -1 4202496 443508 0 0 0 213619 603 0 0 20 0 1 0 220377411 2453999616 102950 33554432000 4194304 5849708 140730797295664 140730797294664 5437616 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16744448 140730797298870 140730797298948 140730797298948 140730797301706 0
/proc/15518/statm: 599121 102950 748 405 0 596066 0
Current children cumulated CPU time: 2142.22 s
Current children cumulated vsize: 2396484 KiB
Current children cumulated memory: 411800 KiB
[startup+2202.3 s]
/proc/loadavg: 2.03 2.08 2.05 3/188 15623
/proc/meminfo: memFree=28508504/32770624 swapFree=67030636/67108860
[pid=15518] ppid=15515 vsize=2330924 memory=346384 CPUtime=2202.22 cores=0,2,4,6
/proc/15518/stat : 15518 (xcsp_picat) R 15515 15518 15061 0 -1 4202496 450915 0 0 0 219606 616 0 0 20 0 1 0 220377411 2386866176 86596 33554432000 4194304 5849708 140730797295664 140730797294824 5437711 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16744448 140730797298870 140730797298948 140730797298948 140730797301706 0
/proc/15518/statm: 582731 86596 748 405 0 579676 0
Current children cumulated CPU time: 2202.22 s
Current children cumulated vsize: 2330924 KiB
Current children cumulated memory: 346384 KiB
[startup+2262.3 s]
/proc/loadavg: 2.16 2.10 2.06 3/188 15624
/proc/meminfo: memFree=28471948/32770624 swapFree=67030636/67108860
[pid=15518] ppid=15515 vsize=2376588 memory=391852 CPUtime=2262.23 cores=0,2,4,6
/proc/15518/stat : 15518 (xcsp_picat) R 15515 15518 15061 0 -1 4202496 458414 0 0 0 225591 632 0 0 20 0 1 0 220377411 2433626112 97963 33554432000 4194304 5849708 140730797295664 140730797294664 5437782 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16744448 140730797298870 140730797298948 140730797298948 140730797301706 0
/proc/15518/statm: 594147 97963 748 405 0 591092 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 2376588 KiB
Current children cumulated memory: 391852 KiB
[startup+2322.3 s]
/proc/loadavg: 2.29 2.17 2.08 3/188 15686
/proc/meminfo: memFree=28752360/32770624 swapFree=67030636/67108860
[pid=15518] ppid=15515 vsize=2232764 memory=248352 CPUtime=2322.21 cores=0,2,4,6
/proc/15518/stat : 15518 (xcsp_picat) R 15515 15518 15061 0 -1 4202496 460756 0 0 0 231576 645 0 0 20 0 1 0 220377411 2286350336 62088 33554432000 4194304 5849708 140730797295664 140730797294824 5438062 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16744448 140730797298870 140730797298948 140730797298948 140730797301706 0
/proc/15518/statm: 558191 62088 748 405 0 555136 0
Current children cumulated CPU time: 2322.21 s
Current children cumulated vsize: 2232764 KiB
Current children cumulated memory: 248352 KiB
[startup+2382.3 s]
/proc/loadavg: 2.11 2.14 2.08 3/187 15687
/proc/meminfo: memFree=28738400/32770624 swapFree=67030636/67108860
[pid=15518] ppid=15515 vsize=2331968 memory=347312 CPUtime=2382.21 cores=0,2,4,6
/proc/15518/stat : 15518 (xcsp_picat) R 15515 15518 15061 0 -1 4202496 465412 0 0 0 237564 657 0 0 20 0 1 0 220377411 2387935232 86828 33554432000 4194304 5849708 140730797295664 140730797294664 5437738 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16744448 140730797298870 140730797298948 140730797298948 140730797301706 0
/proc/15518/statm: 582992 86828 748 405 0 579937 0
Current children cumulated CPU time: 2382.21 s
Current children cumulated vsize: 2331968 KiB
Current children cumulated memory: 347312 KiB
[startup+2442.3 s]
/proc/loadavg: 2.04 2.11 2.07 3/187 15688
/proc/meminfo: memFree=28710400/32770624 swapFree=67030636/67108860
[pid=15518] ppid=15515 vsize=2294744 memory=310204 CPUtime=2442.21 cores=0,2,4,6
/proc/15518/stat : 15518 (xcsp_picat) R 15515 15518 15061 0 -1 4202496 466362 0 0 0 243550 671 0 0 20 0 1 0 220377411 2349817856 77551 33554432000 4194304 5849708 140730797295664 140730797294664 5338850 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16744448 140730797298870 140730797298948 140730797298948 140730797301706 0
/proc/15518/statm: 573686 77551 748 405 0 570631 0
Current children cumulated CPU time: 2442.21 s
Current children cumulated vsize: 2294744 KiB
Current children cumulated memory: 310204 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.09 2.06 3/187 15689
/proc/meminfo: memFree=28710960/32770624 swapFree=67030636/67108860
[pid=15518] ppid=15515 vsize=2360288 memory=375552 CPUtime=2502.21 cores=0,2,4,6
/proc/15518/stat : 15518 (xcsp_picat) R 15515 15518 15061 0 -1 4202496 470620 0 0 0 249537 684 0 0 20 0 1 0 220377411 2416934912 93888 33554432000 4194304 5849708 140730797295664 140730797294664 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16744448 140730797298870 140730797298948 140730797298948 140730797301706 0
/proc/15518/statm: 590072 93888 748 405 0 587017 0
Current children cumulated CPU time: 2502.21 s
Current children cumulated vsize: 2360288 KiB
Current children cumulated memory: 375552 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.01 2.09 2.06 3/187 15689
/proc/meminfo: memFree=28809484/32770624 swapFree=67030636/67108860
[pid=15518] ppid=15515 vsize=2227740 memory=243328 CPUtime=2519.92 cores=0,2,4,6
/proc/15518/stat : 15518 (xcsp_picat) R 15515 15518 15061 0 -1 4202496 471557 0 0 0 251302 690 0 0 20 0 1 0 220377411 2281205760 60832 33554432000 4194304 5849708 140730797295664 140730797294664 139924626001799 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16744448 140730797298870 140730797298948 140730797298948 140730797301706 0
/proc/15518/statm: 556935 60832 748 405 0 553880 0
Current children cumulated CPU time: 2519.92 s
Current children cumulated vsize: 2227740 KiB
Current children cumulated memory: 243328 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 15518 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.02 s, system=6.90888 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): 2513.02
CPU system time (s): 6.90888
CPU usage (%): 99.9968
Max. virtual memory (cumulated for all children) (KiB): 2469140
Max. memory (cumulated for all children) (KiB): 484600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.02
system time used= 6.90888
maximum resident set size= 484600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 471557
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= 32
involuntary context switches= 5234
# summary of solver processes directly reported to runsolver:
# pid: 15518
# total CPU time (s): 2519.93
# total CPU user time (s): 2513.02
# total CPU system time (s): 6.90888
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.60232 second user time and 18.856 second system time
The end