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 (14573 MiB free)
memory of node 1: 16384 MiB (13243 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309630-1534313745/watcher-4309630-1534313745 -o /tmp/evaluation-result-4309630-1534313745/solver-4309630-1534313745 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534292900-22506 --watchdog 2580 xcsp_picat HOME/instance-4309630-1534313745.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=25149, runsolver pid=25146
[startup+0.100202 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 25150
/proc/meminfo: memFree=28469696/32770624 swapFree=67108796/67108860
[pid=25149] ppid=25146 vsize=2025880 memory=18208 CPUtime=0.1 cores=0,2,4,6
/proc/25149/stat : 25149 (xcsp_picat) R 25146 25149 22475 0 -1 4202496 1648 0 0 0 10 0 0 0 20 0 1 0 248937641 2074501120 4552 33554432000 4194304 5849940 140736832025648 140736832025648 140516342833031 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 40964096 140736832029878 140736832029956 140736832029956 140736832032714 0
/proc/25149/statm: 506470 4552 705 405 0 503414 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025880 KiB
Current children cumulated memory: 18208 KiB
[startup+0.209553 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 25150
/proc/meminfo: memFree=28469696/32770624 swapFree=67108796/67108860
[pid=25149] ppid=25146 vsize=2025880 memory=18208 CPUtime=0.21 cores=0,2,4,6
/proc/25149/stat : 25149 (xcsp_picat) R 25146 25149 22475 0 -1 4202496 1648 0 0 0 21 0 0 0 20 0 1 0 248937641 2074501120 4552 33554432000 4194304 5849940 140736832025648 140736832025648 5473044 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 40964096 140736832029878 140736832029956 140736832029956 140736832032714 0
/proc/25149/statm: 506470 4552 705 405 0 503414 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025880 KiB
Current children cumulated memory: 18208 KiB
[startup+0.308789 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 25150
/proc/meminfo: memFree=28469468/32770624 swapFree=67108796/67108860
[pid=25149] ppid=25146 vsize=2026140 memory=18280 CPUtime=0.31 cores=0,2,4,6
/proc/25149/stat : 25149 (xcsp_picat) R 25146 25149 22475 0 -1 4202496 1714 0 0 0 31 0 0 0 20 0 1 0 248937641 2074767360 4570 33554432000 4194304 5849940 140736832025648 140736832024744 5471869 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 40964096 140736832029878 140736832029956 140736832029956 140736832032714 0
/proc/25149/statm: 506535 4570 706 405 0 503479 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2026140 KiB
Current children cumulated memory: 18280 KiB
[startup+0.700432 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25150
/proc/meminfo: memFree=28461184/32770624 swapFree=67108796/67108860
[pid=25149] ppid=25146 vsize=2039044 memory=31252 CPUtime=0.69 cores=0,2,4,6
/proc/25149/stat : 25149 (xcsp_picat) R 25146 25149 22475 0 -1 4202496 5392 0 0 0 68 1 0 0 20 0 1 0 248937641 2087981056 7813 33554432000 4194304 5849940 140736832025648 140736832024744 140516343231635 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 40964096 140736832029878 140736832029956 140736832029956 140736832032714 0
/proc/25149/statm: 509761 7813 723 405 0 506705 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2039044 KiB
Current children cumulated memory: 31252 KiB
[startup+1.50043 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25150
/proc/meminfo: memFree=28456360/32770624 swapFree=67108796/67108860
[pid=25149] ppid=25146 vsize=2039660 memory=31800 CPUtime=1.49 cores=0,2,4,6
/proc/25149/stat : 25149 (xcsp_picat) R 25146 25149 22475 0 -1 4202496 7464 0 0 0 148 1 0 0 20 0 1 0 248937641 2088611840 7950 33554432000 4194304 5849940 140736832025648 140736832023880 4207010 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 40964096 140736832029878 140736832029956 140736832029956 140736832032714 0
/proc/25149/statm: 509915 7950 733 405 0 506859 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2039660 KiB
Current children cumulated memory: 31800 KiB
[startup+3.10924 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25150
/proc/meminfo: memFree=28455816/32770624 swapFree=67108796/67108860
[pid=25149] ppid=25146 vsize=2039660 memory=32048 CPUtime=3.1 cores=0,2,4,6
/proc/25149/stat : 25149 (xcsp_picat) R 25146 25149 22475 0 -1 4202496 9144 0 0 0 309 1 0 0 20 0 1 0 248937641 2088611840 8012 33554432000 4194304 5849940 140736832025648 140736832024136 4211639 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 40964096 140736832029878 140736832029956 140736832029956 140736832032714 0
/proc/25149/statm: 509915 8012 737 405 0 506859 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2039660 KiB
Current children cumulated memory: 32048 KiB
[startup+6.30034 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25150
/proc/meminfo: memFree=28454576/32770624 swapFree=67108796/67108860
[pid=25149] ppid=25146 vsize=2041148 memory=33312 CPUtime=6.29 cores=0,2,4,6
/proc/25149/stat : 25149 (xcsp_picat) R 25146 25149 22475 0 -1 4202496 12075 0 0 0 624 5 0 0 20 0 1 0 248937641 2090135552 8328 33554432000 4194304 5849940 140736832025648 140736832024136 5309056 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 40964096 140736832029878 140736832029956 140736832029956 140736832032714 0
/proc/25149/statm: 510287 8328 741 405 0 507231 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2041148 KiB
Current children cumulated memory: 33312 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25150
/proc/meminfo: memFree=28454204/32770624 swapFree=67108796/67108860
[pid=25149] ppid=25146 vsize=2041500 memory=33992 CPUtime=12.69 cores=0,2,4,6
/proc/25149/stat : 25149 (xcsp_picat) R 25146 25149 22475 0 -1 4202496 15822 0 0 0 1257 12 0 0 20 0 1 0 248937641 2090496000 8498 33554432000 4194304 5849940 140736832025648 140736832024648 5351142 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 40964096 140736832029878 140736832029956 140736832029956 140736832032714 0
/proc/25149/statm: 510375 8498 741 405 0 507319 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2041500 KiB
Current children cumulated memory: 33992 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25150
/proc/meminfo: memFree=28490188/32770624 swapFree=67108796/67108860
[pid=25149] ppid=25146 vsize=2049524 memory=41884 CPUtime=25.49 cores=0,2,4,6
/proc/25149/stat : 25149 (xcsp_picat) R 25146 25149 22475 0 -1 4202496 29432 0 0 0 2522 27 0 0 20 0 1 0 248937641 2098712576 10471 33554432000 4194304 5849940 140736832025648 140736832024520 140516342833031 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 40964096 140736832029878 140736832029956 140736832029956 140736832032714 0
/proc/25149/statm: 512381 10471 741 405 0 509325 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2049524 KiB
Current children cumulated memory: 41884 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25150
/proc/meminfo: memFree=28484080/32770624 swapFree=67108796/67108860
[pid=25149] ppid=25146 vsize=2053184 memory=45500 CPUtime=51.1 cores=0,2,4,6
/proc/25149/stat : 25149 (xcsp_picat) R 25146 25149 22475 0 -1 4202496 42095 0 0 0 5060 50 0 0 20 0 1 0 248937641 2102460416 11375 33554432000 4194304 5849940 140736832025648 140736832024648 140516342833031 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 40964096 140736832029878 140736832029956 140736832029956 140736832032714 0
/proc/25149/statm: 513296 11375 741 405 0 510240 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2053184 KiB
Current children cumulated memory: 45500 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25151
/proc/meminfo: memFree=28457480/32770624 swapFree=67108796/67108860
[pid=25149] ppid=25146 vsize=2079572 memory=71976 CPUtime=102.28 cores=0,2,4,6
/proc/25149/stat : 25149 (xcsp_picat) R 25146 25149 22475 0 -1 4202496 60359 0 0 0 10133 95 0 0 20 0 1 0 248937641 2129481728 17994 33554432000 4194304 5849940 140736832025648 140736832024648 140516342833031 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 40964096 140736832029878 140736832029956 140736832029956 140736832032714 0
/proc/25149/statm: 519893 17994 741 405 0 516837 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2079572 KiB
Current children cumulated memory: 71976 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25152
/proc/meminfo: memFree=28435128/32770624 swapFree=67108796/67108860
[pid=25149] ppid=25146 vsize=2070252 memory=62784 CPUtime=162.28 cores=0,2,4,6
/proc/25149/stat : 25149 (xcsp_picat) R 25146 25149 22475 0 -1 4202496 78900 0 0 0 16085 143 0 0 20 0 1 0 248937641 2119938048 15696 33554432000 4194304 5849940 140736832025648 140736832024520 5313367 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 40964096 140736832029878 140736832029956 140736832029956 140736832032714 0
/proc/25149/statm: 517563 15696 741 405 0 514507 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2070252 KiB
Current children cumulated memory: 62784 KiB
[startup+222.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 25153
/proc/meminfo: memFree=28381864/32770624 swapFree=67108796/67108860
[pid=25149] ppid=25146 vsize=2124180 memory=116584 CPUtime=222.27 cores=0,2,4,6
/proc/25149/stat : 25149 (xcsp_picat) R 25146 25149 22475 0 -1 4202496 95509 0 0 0 22034 193 0 0 20 0 1 0 248937641 2175160320 29146 33554432000 4194304 5849940 140736832025648 140736832024808 140516342833031 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 40964096 140736832029878 140736832029956 140736832029956 140736832032714 0
/proc/25149/statm: 531045 29146 741 405 0 527989 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2124180 KiB
Current children cumulated memory: 116584 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 25162
/proc/meminfo: memFree=28399852/32770624 swapFree=67108796/67108860
[pid=25149] ppid=25146 vsize=2105448 memory=97940 CPUtime=282.27 cores=0,2,4,6
/proc/25149/stat : 25149 (xcsp_picat) R 25146 25149 22475 0 -1 4202496 103507 0 0 0 27987 240 0 0 20 0 1 0 248937641 2155978752 24485 33554432000 4194304 5849940 140736832025648 140736832024648 140516342833031 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 40964096 140736832029878 140736832029956 140736832029956 140736832032714 0
/proc/25149/statm: 526362 24485 741 405 0 523306 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2105448 KiB
Current children cumulated memory: 97940 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 25163
/proc/meminfo: memFree=28321476/32770624 swapFree=67108796/67108860
[pid=25149] ppid=25146 vsize=2184264 memory=176668 CPUtime=342.26 cores=0,2,4,6
/proc/25149/stat : 25149 (xcsp_picat) R 25146 25149 22475 0 -1 4202496 135271 0 0 0 33936 290 0 0 20 0 1 0 248937641 2236686336 44167 33554432000 4194304 5849940 140736832025648 140736832024808 140516342833031 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 40964096 140736832029878 140736832029956 140736832029956 140736832032714 0
/proc/25149/statm: 546066 44167 741 405 0 543010 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 2184264 KiB
Current children cumulated memory: 176668 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 25164
/proc/meminfo: memFree=28354828/32770624 swapFree=67108796/67108860
[pid=25149] ppid=25146 vsize=2150420 memory=142584 CPUtime=402.26 cores=0,2,4,6
/proc/25149/stat : 25149 (xcsp_picat) R 25146 25149 22475 0 -1 4202496 147605 0 0 0 39899 327 0 0 20 0 1 0 248937641 2202030080 35646 33554432000 4194304 5849940 140736832025648 140736832024808 140516342833031 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 40964096 140736832029878 140736832029956 140736832029956 140736832032714 0
/proc/25149/statm: 537605 35646 741 405 0 534549 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 2150420 KiB
Current children cumulated memory: 142584 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 25165
/proc/meminfo: memFree=28260284/32770624 swapFree=67108796/67108860
[pid=25149] ppid=25146 vsize=2171432 memory=163836 CPUtime=462.26 cores=0,2,4,6
/proc/25149/stat : 25149 (xcsp_picat) R 25146 25149 22475 0 -1 4202496 156553 0 0 0 45861 365 0 0 20 0 1 0 248937641 2223546368 40959 33554432000 4194304 5849940 140736832025648 140736832024648 140516342833031 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 40964096 140736832029878 140736832029956 140736832029956 140736832032714 0
/proc/25149/statm: 542858 40959 741 405 0 539802 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 2171432 KiB
Current children cumulated memory: 163836 KiB
################
# More data... #
################
/proc/25149/statm: 604452 103617 741 405 0 601396 0
Current children cumulated CPU time: 1722.15 s
Current children cumulated vsize: 2417808 KiB
Current children cumulated memory: 414468 KiB
[startup+1782.3 s]
/proc/loadavg: 2.02 2.06 2.06 3/187 25265
/proc/meminfo: memFree=27993424/32770624 swapFree=67108796/67108860
[pid=25149] ppid=25146 vsize=2494416 memory=491076 CPUtime=1782.15 cores=0,2,4,6
/proc/25149/stat : 25149 (xcsp_picat) R 25146 25149 22475 0 -1 4202496 1233333 0 0 0 177312 903 0 0 20 0 1 0 248937641 2554281984 122769 33554432000 4194304 5849940 140736832025648 140736832024648 5438424 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 40964096 140736832029878 140736832029956 140736832029956 140736832032714 0
/proc/25149/statm: 623604 122769 741 405 0 620548 0
Current children cumulated CPU time: 1782.15 s
Current children cumulated vsize: 2494416 KiB
Current children cumulated memory: 491076 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/187 25266
/proc/meminfo: memFree=27794032/32770624 swapFree=67108796/67108860
[pid=25149] ppid=25146 vsize=2693676 memory=690284 CPUtime=1842.15 cores=0,2,4,6
/proc/25149/stat : 25149 (xcsp_picat) R 25146 25149 22475 0 -1 4202496 1275980 0 0 0 183290 925 0 0 20 0 1 0 248937641 2758324224 172571 33554432000 4194304 5849940 140736832025648 140736832024648 140516342833031 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 40964096 140736832029878 140736832029956 140736832029956 140736832032714 0
/proc/25149/statm: 673419 172571 741 405 0 670363 0
Current children cumulated CPU time: 1842.15 s
Current children cumulated vsize: 2693676 KiB
Current children cumulated memory: 690284 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 25267
/proc/meminfo: memFree=27794404/32770624 swapFree=67108796/67108860
[pid=25149] ppid=25146 vsize=2693676 memory=690336 CPUtime=1902.15 cores=0,2,4,6
/proc/25149/stat : 25149 (xcsp_picat) R 25146 25149 22475 0 -1 4202496 1293594 0 0 0 189278 937 0 0 20 0 1 0 248937641 2758324224 172584 33554432000 4194304 5849940 140736832025648 140736832024648 140516342833031 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 40964096 140736832029878 140736832029956 140736832029956 140736832032714 0
/proc/25149/statm: 673419 172584 741 405 0 670363 0
Current children cumulated CPU time: 1902.15 s
Current children cumulated vsize: 2693676 KiB
Current children cumulated memory: 690336 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 25268
/proc/meminfo: memFree=27793932/32770624 swapFree=67108796/67108860
[pid=25149] ppid=25146 vsize=2693676 memory=690336 CPUtime=1962.14 cores=0,2,4,6
/proc/25149/stat : 25149 (xcsp_picat) R 25146 25149 22475 0 -1 4202496 1328774 0 0 0 195265 949 0 0 20 0 1 0 248937641 2758324224 172584 33554432000 4194304 5849940 140736832025648 140736832024648 5438372 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 40964096 140736832029878 140736832029956 140736832029956 140736832032714 0
/proc/25149/statm: 673419 172584 741 405 0 670363 0
Current children cumulated CPU time: 1962.14 s
Current children cumulated vsize: 2693676 KiB
Current children cumulated memory: 690336 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 25269
/proc/meminfo: memFree=27793784/32770624 swapFree=67108796/67108860
[pid=25149] ppid=25146 vsize=2693676 memory=690336 CPUtime=2022.13 cores=0,2,4,6
/proc/25149/stat : 25149 (xcsp_picat) R 25146 25149 22475 0 -1 4202496 1382788 0 0 0 201252 961 0 0 20 0 1 0 248937641 2758324224 172584 33554432000 4194304 5849940 140736832025648 140736832024808 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 40964096 140736832029878 140736832029956 140736832029956 140736832032714 0
/proc/25149/statm: 673419 172584 741 405 0 670363 0
Current children cumulated CPU time: 2022.13 s
Current children cumulated vsize: 2693676 KiB
Current children cumulated memory: 690336 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 25278
/proc/meminfo: memFree=27568816/32770624 swapFree=67108796/67108860
[pid=25149] ppid=25146 vsize=2891628 memory=888288 CPUtime=2082.13 cores=0,2,4,6
/proc/25149/stat : 25149 (xcsp_picat) R 25146 25149 22475 0 -1 4202496 1430698 0 0 0 207233 980 0 0 20 0 1 0 248937641 2961027072 222072 33554432000 4194304 5849940 140736832025648 140736832024520 5312632 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 40964096 140736832029878 140736832029956 140736832029956 140736832032714 0
/proc/25149/statm: 722907 222072 741 405 0 719851 0
Current children cumulated CPU time: 2082.13 s
Current children cumulated vsize: 2891628 KiB
Current children cumulated memory: 888288 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 25279
/proc/meminfo: memFree=27536548/32770624 swapFree=67108796/67108860
[pid=25149] ppid=25146 vsize=2923160 memory=919820 CPUtime=2142.13 cores=0,2,4,6
/proc/25149/stat : 25149 (xcsp_picat) R 25146 25149 22475 0 -1 4202496 1470110 0 0 0 213213 1000 0 0 20 0 1 0 248937641 2993315840 229955 33554432000 4194304 5849940 140736832025648 140736832024648 5438538 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 40964096 140736832029878 140736832029956 140736832029956 140736832032714 0
/proc/25149/statm: 730790 229955 741 405 0 727734 0
Current children cumulated CPU time: 2142.13 s
Current children cumulated vsize: 2923160 KiB
Current children cumulated memory: 919820 KiB
[startup+2202.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/188 25280
/proc/meminfo: memFree=27537160/32770624 swapFree=67108796/67108860
[pid=25149] ppid=25146 vsize=2923160 memory=919820 CPUtime=2202.13 cores=0,2,4,6
/proc/25149/stat : 25149 (xcsp_picat) R 25146 25149 22475 0 -1 4202496 1531279 0 0 0 219201 1012 0 0 20 0 1 0 248937641 2993315840 229955 33554432000 4194304 5849940 140736832025648 140736832024648 140516342833031 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 40964096 140736832029878 140736832029956 140736832029956 140736832032714 0
/proc/25149/statm: 730790 229955 741 405 0 727734 0
Current children cumulated CPU time: 2202.13 s
Current children cumulated vsize: 2923160 KiB
Current children cumulated memory: 919820 KiB
[startup+2262.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 25281
/proc/meminfo: memFree=27494820/32770624 swapFree=67108796/67108860
[pid=25149] ppid=25146 vsize=2964980 memory=961640 CPUtime=2262.12 cores=0,2,4,6
/proc/25149/stat : 25149 (xcsp_picat) R 25146 25149 22475 0 -1 4202496 1615924 0 0 0 225187 1025 0 0 20 0 1 0 248937641 3036139520 240410 33554432000 4194304 5849940 140736832025648 140736832024648 5335776 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 40964096 140736832029878 140736832029956 140736832029956 140736832032714 0
/proc/25149/statm: 741245 240410 741 405 0 738189 0
Current children cumulated CPU time: 2262.12 s
Current children cumulated vsize: 2964980 KiB
Current children cumulated memory: 961640 KiB
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 25282
/proc/meminfo: memFree=27458904/32770624 swapFree=67108796/67108860
[pid=25149] ppid=25146 vsize=2964980 memory=961640 CPUtime=2322.12 cores=0,2,4,6
/proc/25149/stat : 25149 (xcsp_picat) R 25146 25149 22475 0 -1 4202496 1683333 0 0 0 231171 1041 0 0 20 0 1 0 248937641 3036139520 240410 33554432000 4194304 5849940 140736832025648 140736832024648 5335776 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 40964096 140736832029878 140736832029956 140736832029956 140736832032714 0
/proc/25149/statm: 741245 240410 741 405 0 738189 0
Current children cumulated CPU time: 2322.12 s
Current children cumulated vsize: 2964980 KiB
Current children cumulated memory: 961640 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25284
/proc/meminfo: memFree=27535980/32770624 swapFree=67108796/67108860
[pid=25149] ppid=25146 vsize=2964980 memory=961640 CPUtime=2382.11 cores=0,2,4,6
/proc/25149/stat : 25149 (xcsp_picat) R 25146 25149 22475 0 -1 4202496 1746087 0 0 0 237161 1050 0 0 20 0 1 0 248937641 3036139520 240410 33554432000 4194304 5849940 140736832025648 140736832024808 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 40964096 140736832029878 140736832029956 140736832029956 140736832032714 0
/proc/25149/statm: 741245 240410 741 405 0 738189 0
Current children cumulated CPU time: 2382.11 s
Current children cumulated vsize: 2964980 KiB
Current children cumulated memory: 961640 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25285
/proc/meminfo: memFree=27536476/32770624 swapFree=67108796/67108860
[pid=25149] ppid=25146 vsize=2964980 memory=961640 CPUtime=2442.1 cores=0,2,4,6
/proc/25149/stat : 25149 (xcsp_picat) R 25146 25149 22475 0 -1 4202496 1802338 0 0 0 243148 1062 0 0 20 0 1 0 248937641 3036139520 240410 33554432000 4194304 5849940 140736832025648 140736832024520 5312986 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 40964096 140736832029878 140736832029956 140736832029956 140736832032714 0
/proc/25149/statm: 741245 240410 741 405 0 738189 0
Current children cumulated CPU time: 2442.1 s
Current children cumulated vsize: 2964980 KiB
Current children cumulated memory: 961640 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25286
/proc/meminfo: memFree=27180800/32770624 swapFree=67108796/67108860
[pid=25149] ppid=25146 vsize=3310400 memory=1307060 CPUtime=2502.1 cores=0,2,4,6
/proc/25149/stat : 25149 (xcsp_picat) R 25146 25149 22475 0 -1 4202496 1872753 0 0 0 249130 1080 0 0 20 0 1 0 248937641 3389849600 326765 33554432000 4194304 5849940 140736832025648 140736832024648 5335712 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 40964096 140736832029878 140736832029956 140736832029956 140736832032714 0
/proc/25149/statm: 827600 326765 741 405 0 824544 0
Current children cumulated CPU time: 2502.1 s
Current children cumulated vsize: 3310400 KiB
Current children cumulated memory: 1307060 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 25287
/proc/meminfo: memFree=27179976/32770624 swapFree=67108796/67108860
[pid=25149] ppid=25146 vsize=3310400 memory=1307060 CPUtime=2519.81 cores=0,2,4,6
/proc/25149/stat : 25149 (xcsp_picat) R 25146 25149 22475 0 -1 4202496 1897772 0 0 0 250898 1083 0 0 20 0 1 0 248937641 3389849600 326765 33554432000 4194304 5849940 140736832025648 140736832024648 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 40964096 140736832029878 140736832029956 140736832029956 140736832032714 0
/proc/25149/statm: 827600 326765 741 405 0 824544 0
Current children cumulated CPU time: 2519.81 s
Current children cumulated vsize: 3310400 KiB
Current children cumulated memory: 1307060 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.05 s]
# the end of solver process 25149 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2508.98 s, system=10.8712 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.05
CPU time (s): 2519.86
CPU user time (s): 2508.98
CPU system time (s): 10.8712
CPU usage (%): 99.9923
Max. virtual memory (cumulated for all children) (KiB): 3372512
Max. memory (cumulated for all children) (KiB): 1369044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2508.98
system time used= 10.8712
maximum resident set size= 1369044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1897782
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= 23
involuntary context switches= 3151
# summary of solver processes directly reported to runsolver:
# pid: 25149
# total CPU time (s): 2519.86
# total CPU user time (s): 2508.98
# total CPU system time (s): 10.8712
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1605 second user time and 18.5618 second system time
The end