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 (13084 MiB free)
memory of node 1: 16384 MiB (13396 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309860-1534296432/watcher-4309860-1534296432 -o /tmp/evaluation-result-4309860-1534296432/solver-4309860-1534296432 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534293911-23504 --watchdog 2580 xcsp_picat HOME/instance-4309860-1534296432.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=23748, runsolver pid=23741
[startup+0.100204 s]*
/proc/loadavg: 2.00 2.00 1.94 4/188 23749
/proc/meminfo: memFree=27067096/32770624 swapFree=67108804/67108860
[pid=23748] ppid=23741 vsize=2025744 memory=31264 CPUtime=0.1 cores=0,2,4,6
/proc/23748/stat : 23748 (xcsp_picat) R 23741 23748 23473 0 -1 4202496 1368 0 0 0 10 0 0 0 20 0 1 0 247206352 2074361856 7816 33554432000 4194304 5849940 140725358167440 140725358167440 4828969 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 31916032 140725358171318 140725358171396 140725358171396 140725358174154 0
/proc/23748/statm: 506436 7816 632 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 31264 KiB
[startup+0.209933 s]*
/proc/loadavg: 2.00 2.00 1.94 5/188 23749
/proc/meminfo: memFree=27045336/32770624 swapFree=67108804/67108860
[pid=23748] ppid=23741 vsize=2025744 memory=33788 CPUtime=0.21 cores=0,2,4,6
/proc/23748/stat : 23748 (xcsp_picat) R 23741 23748 23473 0 -1 4202496 1460 0 0 0 21 0 0 0 20 0 1 0 247206352 2074361856 8447 33554432000 4194304 5849940 140725358167440 140725358166680 140314825108627 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 31916032 140725358171318 140725358171396 140725358171396 140725358174154 0
/proc/23748/statm: 506436 8447 712 405 0 503380 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 33788 KiB
[startup+0.309789 s]*
/proc/loadavg: 2.00 2.00 1.94 4/188 23749
/proc/meminfo: memFree=27036028/32770624 swapFree=67108804/67108860
[pid=23748] ppid=23741 vsize=2025744 memory=33788 CPUtime=0.31 cores=0,2,4,6
/proc/23748/stat : 23748 (xcsp_picat) R 23741 23748 23473 0 -1 4202496 1461 0 0 0 31 0 0 0 20 0 1 0 247206352 2074361856 8447 33554432000 4194304 5849940 140725358167440 140725358166680 5606384 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 31916032 140725358171318 140725358171396 140725358171396 140725358174154 0
/proc/23748/statm: 506436 8447 712 405 0 503380 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 33788 KiB
[startup+0.70035 s]
/proc/loadavg: 2.00 2.00 1.94 4/188 23749
/proc/meminfo: memFree=27033920/32770624 swapFree=67108804/67108860
[pid=23748] ppid=23741 vsize=2025880 memory=33788 CPUtime=0.69 cores=0,2,4,6
/proc/23748/stat : 23748 (xcsp_picat) R 23741 23748 23473 0 -1 4202496 1482 0 0 0 69 0 0 0 20 0 1 0 247206352 2074501120 8447 33554432000 4194304 5849940 140725358167440 140725358166536 5473111 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 31916032 140725358171318 140725358171396 140725358171396 140725358174154 0
/proc/23748/statm: 506470 8447 712 405 0 503414 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2025880 KiB
Current children cumulated memory: 33788 KiB
[startup+1.50035 s]
/proc/loadavg: 2.00 2.00 1.94 4/188 23749
/proc/meminfo: memFree=27033920/32770624 swapFree=67108804/67108860
[pid=23748] ppid=23741 vsize=2025880 memory=33788 CPUtime=1.49 cores=0,2,4,6
/proc/23748/stat : 23748 (xcsp_picat) R 23741 23748 23473 0 -1 4202496 1482 0 0 0 149 0 0 0 20 0 1 0 247206352 2074501120 8447 33554432000 4194304 5849940 140725358167440 140725358166536 5521648 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 31916032 140725358171318 140725358171396 140725358171396 140725358174154 0
/proc/23748/statm: 506470 8447 712 405 0 503414 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2025880 KiB
Current children cumulated memory: 33788 KiB
[startup+3.10934 s]
/proc/loadavg: 2.00 2.00 1.94 4/188 23749
/proc/meminfo: memFree=27037520/32770624 swapFree=67108804/67108860
[pid=23748] ppid=23741 vsize=2025976 memory=34040 CPUtime=3.1 cores=0,2,4,6
/proc/23748/stat : 23748 (xcsp_picat) R 23741 23748 23473 0 -1 4202496 1626 0 0 0 310 0 0 0 20 0 1 0 247206352 2074599424 8510 33554432000 4194304 5849940 140725358167440 140725358166536 5521660 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 31916032 140725358171318 140725358171396 140725358171396 140725358174154 0
/proc/23748/statm: 506494 8510 713 405 0 503438 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2025976 KiB
Current children cumulated memory: 34040 KiB
[startup+6.30034 s]
/proc/loadavg: 2.00 2.00 1.94 4/188 23749
/proc/meminfo: memFree=27032468/32770624 swapFree=67108804/67108860
[pid=23748] ppid=23741 vsize=2025976 memory=34120 CPUtime=6.29 cores=0,2,4,6
/proc/23748/stat : 23748 (xcsp_picat) R 23741 23748 23473 0 -1 4202496 1738 0 0 0 629 0 0 0 20 0 1 0 247206352 2074599424 8530 33554432000 4194304 5849940 140725358167440 140725358166536 5606435 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 31916032 140725358171318 140725358171396 140725358171396 140725358174154 0
/proc/23748/statm: 506494 8530 713 405 0 503438 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2025976 KiB
Current children cumulated memory: 34120 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.94 4/188 23749
/proc/meminfo: memFree=27026596/32770624 swapFree=67108804/67108860
[pid=23748] ppid=23741 vsize=2025976 memory=34120 CPUtime=12.69 cores=0,2,4,6
/proc/23748/stat : 23748 (xcsp_picat) R 23741 23748 23473 0 -1 4202496 1883 0 0 0 1269 0 0 0 20 0 1 0 247206352 2074599424 8530 33554432000 4194304 5849940 140725358167440 140725358166536 5606416 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 31916032 140725358171318 140725358171396 140725358171396 140725358174154 0
/proc/23748/statm: 506494 8530 713 405 0 503438 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2025976 KiB
Current children cumulated memory: 34120 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.94 4/188 23749
/proc/meminfo: memFree=26992988/32770624 swapFree=67108804/67108860
[pid=23748] ppid=23741 vsize=2062536 memory=70688 CPUtime=25.49 cores=0,2,4,6
/proc/23748/stat : 23748 (xcsp_picat) R 23741 23748 23473 0 -1 4202496 20810 0 0 0 2544 5 0 0 20 0 1 0 247206352 2112036864 17672 33554432000 4194304 5849940 140725358167440 140725358166440 5437819 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 31916032 140725358171318 140725358171396 140725358171396 140725358174154 0
/proc/23748/statm: 515634 17672 748 405 0 512578 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2062536 KiB
Current children cumulated memory: 70688 KiB
[startup+51.1099 s]
/proc/loadavg: 2.00 2.00 1.95 4/188 23750
/proc/meminfo: memFree=26986256/32770624 swapFree=67108804/67108860
[pid=23748] ppid=23741 vsize=2068356 memory=75112 CPUtime=51.1 cores=0,2,4,6
/proc/23748/stat : 23748 (xcsp_picat) R 23741 23748 23473 0 -1 4202496 31309 0 0 0 5096 14 0 0 20 0 1 0 247206352 2117996544 18778 33554432000 4194304 5849940 140725358167440 140725358166440 140314825854855 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 31916032 140725358171318 140725358171396 140725358171396 140725358174154 0
/proc/23748/statm: 517089 18778 748 405 0 514033 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2068356 KiB
Current children cumulated memory: 75112 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/188 23751
/proc/meminfo: memFree=26937752/32770624 swapFree=67108804/67108860
[pid=23748] ppid=23741 vsize=2098840 memory=105636 CPUtime=102.3 cores=0,2,4,6
/proc/23748/stat : 23748 (xcsp_picat) R 23741 23748 23473 0 -1 4202496 42479 0 0 0 10201 29 0 0 20 0 1 0 247206352 2149212160 26409 33554432000 4194304 5849940 140725358167440 140725358166440 5312632 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 31916032 140725358171318 140725358171396 140725358171396 140725358174154 0
/proc/23748/statm: 524710 26409 748 405 0 521654 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2098840 KiB
Current children cumulated memory: 105636 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/188 23752
/proc/meminfo: memFree=26937252/32770624 swapFree=67108804/67108860
[pid=23748] ppid=23741 vsize=2098668 memory=105464 CPUtime=162.3 cores=0,2,4,6
/proc/23748/stat : 23748 (xcsp_picat) R 23741 23748 23473 0 -1 4202496 51922 0 0 0 16185 45 0 0 20 0 1 0 247206352 2149036032 26366 33554432000 4194304 5849940 140725358167440 140725358166440 5438600 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 31916032 140725358171318 140725358171396 140725358171396 140725358174154 0
/proc/23748/statm: 524667 26366 748 405 0 521611 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2098668 KiB
Current children cumulated memory: 105464 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/188 23758
/proc/meminfo: memFree=26903724/32770624 swapFree=67108804/67108860
[pid=23748] ppid=23741 vsize=2131300 memory=138096 CPUtime=222.31 cores=0,2,4,6
/proc/23748/stat : 23748 (xcsp_picat) R 23741 23748 23473 0 -1 4202496 62043 0 0 0 22166 65 0 0 20 0 1 0 247206352 2182451200 34524 33554432000 4194304 5849940 140725358167440 140725358166440 140314825854855 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 31916032 140725358171318 140725358171396 140725358171396 140725358174154 0
/proc/23748/statm: 532825 34524 748 405 0 529769 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 2131300 KiB
Current children cumulated memory: 138096 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/188 23759
/proc/meminfo: memFree=26903848/32770624 swapFree=67108804/67108860
[pid=23748] ppid=23741 vsize=2131300 memory=138096 CPUtime=282.31 cores=0,2,4,6
/proc/23748/stat : 23748 (xcsp_picat) R 23741 23748 23473 0 -1 4202496 62183 0 0 0 28154 77 0 0 20 0 1 0 247206352 2182451200 34524 33554432000 4194304 5849940 140725358167440 140725358166440 5438474 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 31916032 140725358171318 140725358171396 140725358171396 140725358174154 0
/proc/23748/statm: 532825 34524 748 405 0 529769 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 2131300 KiB
Current children cumulated memory: 138096 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/188 23760
/proc/meminfo: memFree=26877672/32770624 swapFree=67108804/67108860
[pid=23748] ppid=23741 vsize=2153628 memory=154396 CPUtime=342.31 cores=0,2,4,6
/proc/23748/stat : 23748 (xcsp_picat) R 23741 23748 23473 0 -1 4202496 76721 0 0 0 34139 92 0 0 20 0 1 0 247206352 2205315072 38599 33554432000 4194304 5849940 140725358167440 140725358166440 5397547 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 31916032 140725358171318 140725358171396 140725358171396 140725358174154 0
/proc/23748/statm: 538407 38599 748 405 0 535351 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 2153628 KiB
Current children cumulated memory: 154396 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/188 23761
/proc/meminfo: memFree=26876432/32770624 swapFree=67108804/67108860
[pid=23748] ppid=23741 vsize=2153752 memory=154396 CPUtime=402.32 cores=0,2,4,6
/proc/23748/stat : 23748 (xcsp_picat) R 23741 23748 23473 0 -1 4202496 76767 0 0 0 40125 107 0 0 20 0 1 0 247206352 2205442048 38599 33554432000 4194304 5849940 140725358167440 140725358166440 5438288 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 31916032 140725358171318 140725358171396 140725358171396 140725358174154 0
/proc/23748/statm: 538438 38599 748 405 0 535382 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 2153752 KiB
Current children cumulated memory: 154396 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/188 23762
/proc/meminfo: memFree=26876432/32770624 swapFree=67108804/67108860
[pid=23748] ppid=23741 vsize=2153628 memory=154396 CPUtime=462.32 cores=0,2,4,6
/proc/23748/stat : 23748 (xcsp_picat) R 23741 23748 23473 0 -1 4202496 76808 0 0 0 46114 118 0 0 20 0 1 0 247206352 2205315072 38599 33554432000 4194304 5849940 140725358167440 140725358166440 5339145 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 31916032 140725358171318 140725358171396 140725358171396 140725358174154 0
/proc/23748/statm: 538407 38599 748 405 0 535351 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 2153628 KiB
Current children cumulated memory: 154396 KiB
################
# More data... #
################
/proc/23748/statm: 546357 49556 748 405 0 543301 0
Current children cumulated CPU time: 1782.39 s
Current children cumulated vsize: 2185428 KiB
Current children cumulated memory: 198224 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.05 4/186 23841
/proc/meminfo: memFree=26705208/32770624 swapFree=67108804/67108860
[pid=23748] ppid=23741 vsize=2247528 memory=260332 CPUtime=1842.39 cores=0,2,4,6
/proc/23748/stat : 23748 (xcsp_picat) R 23741 23748 23473 0 -1 4202496 144941 0 0 0 183838 401 0 0 20 0 1 0 247206352 2301468672 65083 33554432000 4194304 5849940 140725358167440 140725358166440 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 31916032 140725358171318 140725358171396 140725358171396 140725358174154 0
/proc/23748/statm: 561882 65083 748 405 0 558826 0
Current children cumulated CPU time: 1842.39 s
Current children cumulated vsize: 2247528 KiB
Current children cumulated memory: 260332 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/187 23844
/proc/meminfo: memFree=26687376/32770624 swapFree=67108804/67108860
[pid=23748] ppid=23741 vsize=2263736 memory=276680 CPUtime=1902.4 cores=0,2,4,6
/proc/23748/stat : 23748 (xcsp_picat) R 23741 23748 23473 0 -1 4202496 146046 0 0 0 189830 410 0 0 20 0 1 0 247206352 2318065664 69170 33554432000 4194304 5849940 140725358167440 140725358166440 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 31916032 140725358171318 140725358171396 140725358171396 140725358174154 0
/proc/23748/statm: 565934 69170 748 405 0 562878 0
Current children cumulated CPU time: 1902.4 s
Current children cumulated vsize: 2263736 KiB
Current children cumulated memory: 276680 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/187 23845
/proc/meminfo: memFree=26738552/32770624 swapFree=67108804/67108860
[pid=23748] ppid=23741 vsize=2213480 memory=226228 CPUtime=1962.4 cores=0,2,4,6
/proc/23748/stat : 23748 (xcsp_picat) R 23741 23748 23473 0 -1 4202496 148709 0 0 0 195818 422 0 0 20 0 1 0 247206352 2266603520 56557 33554432000 4194304 5849940 140725358167440 140725358166440 5438016 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 31916032 140725358171318 140725358171396 140725358171396 140725358174154 0
/proc/23748/statm: 553370 56557 748 405 0 550314 0
Current children cumulated CPU time: 1962.4 s
Current children cumulated vsize: 2213480 KiB
Current children cumulated memory: 226228 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 23853
/proc/meminfo: memFree=26721236/32770624 swapFree=67108804/67108860
[pid=23748] ppid=23741 vsize=2230536 memory=243524 CPUtime=2022.41 cores=0,2,4,6
/proc/23748/stat : 23748 (xcsp_picat) R 23741 23748 23473 0 -1 4202496 155688 0 0 0 201807 434 0 0 20 0 1 0 247206352 2284068864 60881 33554432000 4194304 5849940 140725358167440 140725358166440 5335737 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 31916032 140725358171318 140725358171396 140725358171396 140725358174154 0
/proc/23748/statm: 557634 60881 748 405 0 554578 0
Current children cumulated CPU time: 2022.41 s
Current children cumulated vsize: 2230536 KiB
Current children cumulated memory: 243524 KiB
[startup+2082.3 s]
/proc/loadavg: 2.12 2.04 2.05 4/188 23877
/proc/meminfo: memFree=26703624/32770624 swapFree=67108804/67108860
[pid=23748] ppid=23741 vsize=2241520 memory=254508 CPUtime=2082.41 cores=0,2,4,6
/proc/23748/stat : 23748 (xcsp_picat) R 23741 23748 23473 0 -1 4202496 156175 0 0 0 207799 442 0 0 20 0 1 0 247206352 2295316480 63627 33554432000 4194304 5849940 140725358167440 140725358166600 5438489 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 31916032 140725358171318 140725358171396 140725358171396 140725358174154 0
/proc/23748/statm: 560380 63627 748 405 0 557324 0
Current children cumulated CPU time: 2082.41 s
Current children cumulated vsize: 2241520 KiB
Current children cumulated memory: 254508 KiB
[startup+2142.3 s]
/proc/loadavg: 2.04 2.04 2.05 4/188 23878
/proc/meminfo: memFree=26699592/32770624 swapFree=67108804/67108860
[pid=23748] ppid=23741 vsize=2241520 memory=254508 CPUtime=2142.42 cores=0,2,4,6
/proc/23748/stat : 23748 (xcsp_picat) R 23741 23748 23473 0 -1 4202496 162678 0 0 0 213791 451 0 0 20 0 1 0 247206352 2295316480 63627 33554432000 4194304 5849940 140725358167440 140725358166440 5339651 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 31916032 140725358171318 140725358171396 140725358171396 140725358174154 0
/proc/23748/statm: 560380 63627 748 405 0 557324 0
Current children cumulated CPU time: 2142.42 s
Current children cumulated vsize: 2241520 KiB
Current children cumulated memory: 254508 KiB
[startup+2202.3 s]
/proc/loadavg: 2.02 2.03 2.05 4/188 23879
/proc/meminfo: memFree=26664220/32770624 swapFree=67108804/67108860
[pid=23748] ppid=23741 vsize=2277628 memory=290616 CPUtime=2202.42 cores=0,2,4,6
/proc/23748/stat : 23748 (xcsp_picat) R 23741 23748 23473 0 -1 4202496 164091 0 0 0 219782 460 0 0 20 0 1 0 247206352 2332291072 72654 33554432000 4194304 5849940 140725358167440 140725358166440 5438288 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 31916032 140725358171318 140725358171396 140725358171396 140725358174154 0
/proc/23748/statm: 569407 72654 748 405 0 566351 0
Current children cumulated CPU time: 2202.42 s
Current children cumulated vsize: 2277628 KiB
Current children cumulated memory: 290616 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.03 2.05 4/188 23880
/proc/meminfo: memFree=26645712/32770624 swapFree=67108804/67108860
[pid=23748] ppid=23741 vsize=2296420 memory=309408 CPUtime=2262.42 cores=0,2,4,6
/proc/23748/stat : 23748 (xcsp_picat) R 23741 23748 23473 0 -1 4202496 164963 0 0 0 225775 467 0 0 20 0 1 0 247206352 2351534080 77352 33554432000 4194304 5849940 140725358167440 140725358166440 5437837 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 31916032 140725358171318 140725358171396 140725358171396 140725358174154 0
/proc/23748/statm: 574105 77352 748 405 0 571049 0
Current children cumulated CPU time: 2262.42 s
Current children cumulated vsize: 2296420 KiB
Current children cumulated memory: 309408 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/188 23881
/proc/meminfo: memFree=26602552/32770624 swapFree=67108804/67108860
[pid=23748] ppid=23741 vsize=2339240 memory=352044 CPUtime=2322.43 cores=0,2,4,6
/proc/23748/stat : 23748 (xcsp_picat) R 23741 23748 23473 0 -1 4202496 179840 0 0 0 231766 477 0 0 20 0 1 0 247206352 2395381760 88011 33554432000 4194304 5849940 140725358167440 140725358166440 5437815 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 31916032 140725358171318 140725358171396 140725358171396 140725358174154 0
/proc/23748/statm: 584810 88011 748 405 0 581754 0
Current children cumulated CPU time: 2322.43 s
Current children cumulated vsize: 2339240 KiB
Current children cumulated memory: 352044 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 23882
/proc/meminfo: memFree=26631144/32770624 swapFree=67108804/67108860
[pid=23748] ppid=23741 vsize=2310944 memory=323932 CPUtime=2382.44 cores=0,2,4,6
/proc/23748/stat : 23748 (xcsp_picat) R 23741 23748 23473 0 -1 4202496 201177 0 0 0 237757 487 0 0 20 0 1 0 247206352 2366406656 80983 33554432000 4194304 5849940 140725358167440 140725358166440 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 31916032 140725358171318 140725358171396 140725358171396 140725358174154 0
/proc/23748/statm: 577736 80983 748 405 0 574680 0
Current children cumulated CPU time: 2382.44 s
Current children cumulated vsize: 2310944 KiB
Current children cumulated memory: 323932 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 23883
/proc/meminfo: memFree=26719272/32770624 swapFree=67108804/67108860
[pid=23748] ppid=23741 vsize=2222668 memory=235656 CPUtime=2442.44 cores=0,2,4,6
/proc/23748/stat : 23748 (xcsp_picat) R 23741 23748 23473 0 -1 4202496 209906 0 0 0 243747 497 0 0 20 0 1 0 247206352 2276012032 58914 33554432000 4194304 5849940 140725358167440 140725358166440 5339958 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 31916032 140725358171318 140725358171396 140725358171396 140725358174154 0
/proc/23748/statm: 555667 58914 748 405 0 552611 0
Current children cumulated CPU time: 2442.44 s
Current children cumulated vsize: 2222668 KiB
Current children cumulated memory: 235656 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 23884
/proc/meminfo: memFree=26712000/32770624 swapFree=67108804/67108860
[pid=23748] ppid=23741 vsize=2229440 memory=242392 CPUtime=2502.45 cores=0,2,4,6
/proc/23748/stat : 23748 (xcsp_picat) R 23741 23748 23473 0 -1 4202496 211687 0 0 0 249738 507 0 0 20 0 1 0 247206352 2282946560 60598 33554432000 4194304 5849940 140725358167440 140725358166440 5437949 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 31916032 140725358171318 140725358171396 140725358171396 140725358174154 0
/proc/23748/statm: 557360 60598 748 405 0 554304 0
Current children cumulated CPU time: 2502.45 s
Current children cumulated vsize: 2229440 KiB
Current children cumulated memory: 242392 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 23884
/proc/meminfo: memFree=26712124/32770624 swapFree=67108804/67108860
[pid=23748] ppid=23741 vsize=2229440 memory=242428 CPUtime=2520.05 cores=0,2,4,6
/proc/23748/stat : 23748 (xcsp_picat) R 23741 23748 23473 0 -1 4202496 219636 0 0 0 251495 510 0 0 20 0 1 0 247206352 2282946560 60607 33554432000 4194304 5849940 140725358167440 140725358166440 5437768 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 31916032 140725358171318 140725358171396 140725358171396 140725358174154 0
/proc/23748/statm: 557360 60607 748 405 0 554304 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 2229440 KiB
Current children cumulated memory: 242428 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.9 s]
# the end of solver process 23748 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.95 s, system=5.10635 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 23884
/proc/meminfo: memFree=26712124/32770624 swapFree=67108804/67108860
[pid=23748] ppid=23741 vsize=2229440 memory=242428 CPUtime=2520.05 cores=0,2,4,6
/proc/23748/stat : 23748 (xcsp_picat) R 23741 23748 23473 0 -1 4202496 219636 0 0 0 251495 510 0 0 20 0 1 0 247206352 2282946560 60607 33554432000 4194304 5849940 140725358167440 140725358166440 5437768 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 31916032 140725358171318 140725358171396 140725358171396 140725358174154 0
/proc/23748/statm: 557360 60607 748 405 0 554304 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 2229440 KiB
Current children cumulated memory: 242428 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2519.9
CPU time (s): 2520.06
CPU user time (s): 2514.95
CPU system time (s): 5.10635
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 2339240
Max. memory (cumulated for all children) (KiB): 352212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.95
system time used= 5.10635
maximum resident set size= 352212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 219636
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= 24
involuntary context switches= 1220
# summary of solver processes directly reported to runsolver:
# pid: 23748
# total CPU time (s): 2520.06
# total CPU user time (s): 2514.95
# total CPU system time (s): 5.10635
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4722 second user time and 14.9436 second system time
The end