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 (8866 MiB free)
memory of node 1: 16384 MiB (11257 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296171-1532611538/watcher-4296171-1532611538 -o /tmp/evaluation-result-4296171-1532611538/solver-4296171-1532611538 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532598933-5172 --watchdog 2580 xcsp_picat HOME/instance-4296171-1532611538.xml
running on 4 cores: 1,3,5,7
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=6466, runsolver pid=6463
[startup+0.100108 s]*
/proc/loadavg: 2.04 2.03 2.05 3/190 6467
/proc/meminfo: memFree=20590304/32770624 swapFree=67108860/67108860
[pid=6466] ppid=6463 vsize=111688 memory=19260 CPUtime=0.1 cores=1,3,5,7
/proc/6466/stat : 6466 (xcsp_picat) R 6463 6466 4275 0 -1 4202496 1413 0 0 0 10 0 0 0 20 0 1 0 78717005 114368512 4815 33554432000 4194304 5849740 140736923125552 140736923125552 140342691662848 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 44748800 140736923129014 140736923129092 140736923129092 140736923131850 0
/proc/6466/statm: 27922 4815 598 405 0 24866 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 19260 KiB
[startup+0.209797 s]*
/proc/loadavg: 2.04 2.03 2.05 3/190 6467
/proc/meminfo: memFree=20584160/32770624 swapFree=67108860/67108860
[pid=6466] ppid=6463 vsize=111688 memory=25404 CPUtime=0.21 cores=1,3,5,7
/proc/6466/stat : 6466 (xcsp_picat) R 6463 6466 4275 0 -1 4202496 1416 0 0 0 21 0 0 0 20 0 1 0 78717005 114368512 6351 33554432000 4194304 5849740 140736923125552 140736923125552 4488915 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 44748800 140736923129014 140736923129092 140736923129092 140736923131850 0
/proc/6466/statm: 27922 6351 598 405 0 24866 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 25404 KiB
[startup+0.309594 s]*
/proc/loadavg: 2.04 2.03 2.05 3/190 6467
/proc/meminfo: memFree=20578016/32770624 swapFree=67108860/67108860
[pid=6466] ppid=6463 vsize=111688 memory=31548 CPUtime=0.31 cores=1,3,5,7
/proc/6466/stat : 6466 (xcsp_picat) R 6463 6466 4275 0 -1 4202496 1419 0 0 0 31 0 0 0 20 0 1 0 78717005 114368512 7887 33554432000 4194304 5849740 140736923125552 140736923125552 4488935 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 44748800 140736923129014 140736923129092 140736923129092 140736923131850 0
/proc/6466/statm: 27922 7887 598 405 0 24866 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 31548 KiB
[startup+0.70036 s]
/proc/loadavg: 2.04 2.03 2.05 3/190 6467
/proc/meminfo: memFree=20554684/32770624 swapFree=67108860/67108860
[pid=6466] ppid=6463 vsize=143524 memory=76064 CPUtime=0.69 cores=1,3,5,7
/proc/6466/stat : 6466 (xcsp_picat) R 6463 6466 4275 0 -1 4202496 10667 0 0 0 67 2 0 0 20 0 1 0 78717005 146968576 19016 33554432000 4194304 5849740 140736923125552 140736923124872 140342691272608 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 44748800 140736923129014 140736923129092 140736923129092 140736923131850 0
/proc/6466/statm: 35881 19016 640 405 0 32825 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 143524 KiB
Current children cumulated memory: 76064 KiB
[startup+1.50036 s]
/proc/loadavg: 2.04 2.03 2.05 3/190 6467
/proc/meminfo: memFree=20470520/32770624 swapFree=67108860/67108860
[pid=6466] ppid=6463 vsize=253484 memory=185964 CPUtime=1.49 cores=1,3,5,7
/proc/6466/stat : 6466 (xcsp_picat) R 6463 6466 4275 0 -1 4202496 16665 0 0 0 145 4 0 0 20 0 1 0 78717005 259567616 46491 33554432000 4194304 5849740 140736923125552 140736923124248 4581762 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 44748800 140736923129014 140736923129092 140736923129092 140736923131850 0
/proc/6466/statm: 63371 46491 640 405 0 60315 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 253484 KiB
Current children cumulated memory: 185964 KiB
[startup+3.10968 s]
/proc/loadavg: 1.96 2.01 2.04 3/190 6467
/proc/meminfo: memFree=20395336/32770624 swapFree=67108860/67108860
[pid=6466] ppid=6463 vsize=278804 memory=211368 CPUtime=3.1 cores=1,3,5,7
/proc/6466/stat : 6466 (xcsp_picat) R 6463 6466 4275 0 -1 4202496 35226 0 0 0 305 5 0 0 20 0 1 0 78717005 285495296 52842 33554432000 4194304 5849740 140736923125552 140736923124424 5360713 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 44748800 140736923129014 140736923129092 140736923129092 140736923131850 0
/proc/6466/statm: 69701 52842 661 405 0 66645 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 278804 KiB
Current children cumulated memory: 211368 KiB
[startup+6.30027 s]
/proc/loadavg: 1.96 2.01 2.04 3/190 6528
/proc/meminfo: memFree=20570980/32770624 swapFree=67108860/67108860
[pid=6466] ppid=6463 vsize=351076 memory=281344 CPUtime=6.29 cores=1,3,5,7
/proc/6466/stat : 6466 (xcsp_picat) R 6463 6466 4275 0 -1 4202496 55020 0 0 0 622 7 0 0 20 0 1 0 78717005 359501824 70336 33554432000 4194304 5849740 140736923125552 140736923124040 5301875 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 44748800 140736923129014 140736923129092 140736923129092 140736923131850 0
/proc/6466/statm: 87769 70336 667 405 0 84713 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 351076 KiB
Current children cumulated memory: 281344 KiB
[startup+12.7003 s]
/proc/loadavg: 1.96 2.01 2.04 3/190 6528
/proc/meminfo: memFree=20638384/32770624 swapFree=67108860/67108860
[pid=6466] ppid=6463 vsize=285540 memory=215848 CPUtime=12.69 cores=1,3,5,7
/proc/6466/stat : 6466 (xcsp_picat) R 6463 6466 4275 0 -1 4202496 89683 0 0 0 1260 9 0 0 20 0 1 0 78717005 292392960 53962 33554432000 4194304 5849740 140736923125552 140736923123816 5307557 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 44748800 140736923129014 140736923129092 140736923129092 140736923131850 0
/proc/6466/statm: 71385 53962 674 405 0 68329 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 285540 KiB
Current children cumulated memory: 215848 KiB
[startup+25.5004 s]
/proc/loadavg: 1.97 2.01 2.04 3/190 6528
/proc/meminfo: memFree=20632488/32770624 swapFree=67108860/67108860
[pid=6466] ppid=6463 vsize=285540 memory=215848 CPUtime=25.48 cores=1,3,5,7
/proc/6466/stat : 6466 (xcsp_picat) R 6463 6466 4275 0 -1 4202496 127667 0 0 0 2535 13 0 0 20 0 1 0 78717005 292392960 53962 33554432000 4194304 5849740 140736923125552 140736923124424 140342691684231 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 44748800 140736923129014 140736923129092 140736923129092 140736923131850 0
/proc/6466/statm: 71385 53962 674 405 0 68329 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 285540 KiB
Current children cumulated memory: 215848 KiB
[startup+51.1097 s]
/proc/loadavg: 1.98 2.01 2.04 3/190 6528
/proc/meminfo: memFree=20637188/32770624 swapFree=67108860/67108860
[pid=6466] ppid=6463 vsize=283220 memory=215600 CPUtime=51.09 cores=1,3,5,7
/proc/6466/stat : 6466 (xcsp_picat) R 6463 6466 4275 0 -1 4202496 145711 0 0 0 5085 24 0 0 20 0 1 0 78717005 290017280 53900 33554432000 4194304 5849740 140736923125552 140736923124200 4217874 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 44748800 140736923129014 140736923129092 140736923129092 140736923131850 0
/proc/6466/statm: 70805 53900 675 405 0 67749 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 283220 KiB
Current children cumulated memory: 215600 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/191 6530
/proc/meminfo: memFree=20628568/32770624 swapFree=67108860/67108860
[pid=6466] ppid=6463 vsize=287500 memory=217852 CPUtime=102.28 cores=1,3,5,7
/proc/6466/stat : 6466 (xcsp_picat) R 6463 6466 4275 0 -1 4202496 162281 0 0 0 10182 46 0 0 20 0 1 0 78717005 294400000 54463 33554432000 4194304 5849740 140736923125552 140736923124200 4217904 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 44748800 140736923129014 140736923129092 140736923129092 140736923131850 0
/proc/6466/statm: 71875 54463 675 405 0 68819 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 287500 KiB
Current children cumulated memory: 217852 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/191 6532
/proc/meminfo: memFree=20618608/32770624 swapFree=67108860/67108860
[pid=6466] ppid=6463 vsize=287236 memory=225332 CPUtime=162.27 cores=1,3,5,7
/proc/6466/stat : 6466 (xcsp_picat) R 6463 6466 4275 0 -1 4202496 166726 0 0 0 16151 76 0 0 20 0 1 0 78717005 294129664 56333 33554432000 4194304 5849740 140736923125552 140736923124552 140342691684231 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 44748800 140736923129014 140736923129092 140736923129092 140736923131850 0
/proc/6466/statm: 71809 56333 675 405 0 68753 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 287236 KiB
Current children cumulated memory: 225332 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/191 6533
/proc/meminfo: memFree=20542728/32770624 swapFree=67108860/67108860
[pid=6466] ppid=6463 vsize=355728 memory=293812 CPUtime=222.27 cores=1,3,5,7
/proc/6466/stat : 6466 (xcsp_picat) R 6463 6466 4275 0 -1 4202496 170074 0 0 0 22123 104 0 0 20 0 1 0 78717005 364265472 73453 33554432000 4194304 5849740 140736923125552 140736923124040 4211646 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 44748800 140736923129014 140736923129092 140736923129092 140736923131850 0
/proc/6466/statm: 88932 73453 675 405 0 85876 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 355728 KiB
Current children cumulated memory: 293812 KiB
[startup+282.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/191 6541
/proc/meminfo: memFree=20508388/32770624 swapFree=67108860/67108860
[pid=6466] ppid=6463 vsize=375196 memory=312936 CPUtime=282.27 cores=1,3,5,7
/proc/6466/stat : 6466 (xcsp_picat) R 6463 6466 4275 0 -1 4202496 175027 0 0 0 28092 135 0 0 20 0 1 0 78717005 384200704 78234 33554432000 4194304 5849740 140736923125552 140736923124552 140342691684231 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 44748800 140736923129014 140736923129092 140736923129092 140736923131850 0
/proc/6466/statm: 93799 78234 675 405 0 90743 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 375196 KiB
Current children cumulated memory: 312936 KiB
[startup+342.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/191 6542
/proc/meminfo: memFree=20471712/32770624 swapFree=67108860/67108860
[pid=6466] ppid=6463 vsize=368888 memory=299660 CPUtime=342.27 cores=1,3,5,7
/proc/6466/stat : 6466 (xcsp_picat) R 6463 6466 4275 0 -1 4202496 180765 0 0 0 34064 163 0 0 20 0 1 0 78717005 377741312 74915 33554432000 4194304 5849740 140736923125552 140736923124552 140342691684231 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 44748800 140736923129014 140736923129092 140736923129092 140736923131850 0
/proc/6466/statm: 92222 74915 675 405 0 89166 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 368888 KiB
Current children cumulated memory: 299660 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/190 6543
/proc/meminfo: memFree=20462204/32770624 swapFree=67108860/67108860
[pid=6466] ppid=6463 vsize=405168 memory=342056 CPUtime=402.27 cores=1,3,5,7
/proc/6466/stat : 6466 (xcsp_picat) R 6463 6466 4275 0 -1 4202496 183854 0 0 0 40042 185 0 0 20 0 1 0 78717005 414892032 85514 33554432000 4194304 5849740 140736923125552 140736923124712 140342691684231 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 44748800 140736923129014 140736923129092 140736923129092 140736923131850 0
/proc/6466/statm: 101292 85514 675 405 0 98236 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 405168 KiB
Current children cumulated memory: 342056 KiB
[startup+462.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/190 6544
/proc/meminfo: memFree=20452276/32770624 swapFree=67108860/67108860
[pid=6466] ppid=6463 vsize=391404 memory=323860 CPUtime=462.27 cores=1,3,5,7
/proc/6466/stat : 6466 (xcsp_picat) R 6463 6466 4275 0 -1 4202496 188704 0 0 0 46014 213 0 0 20 0 1 0 78717005 400797696 80965 33554432000 4194304 5849740 140736923125552 140736923124552 140342691684231 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 44748800 140736923129014 140736923129092 140736923129092 140736923131850 0
/proc/6466/statm: 97851 80965 675 405 0 94795 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 391404 KiB
Current children cumulated memory: 323860 KiB
################
# More data... #
################
/proc/6466/statm: 225018 209514 675 405 0 221962 0
Current children cumulated CPU time: 1722.25 s
Current children cumulated vsize: 900072 KiB
Current children cumulated memory: 838056 KiB
[startup+1782.3 s]
/proc/loadavg: 2.02 2.07 2.07 3/190 6585
/proc/meminfo: memFree=19968340/32770624 swapFree=67108860/67108860
[pid=6466] ppid=6463 vsize=612996 memory=550980 CPUtime=1782.25 cores=1,3,5,7
/proc/6466/stat : 6466 (xcsp_picat) R 6463 6466 4275 0 -1 4202496 713421 0 0 0 177476 749 0 0 20 0 1 0 78717005 627707904 137745 33554432000 4194304 5849740 140736923125552 140736923124424 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 44748800 140736923129014 140736923129092 140736923129092 140736923131850 0
/proc/6466/statm: 153249 137745 675 405 0 150193 0
Current children cumulated CPU time: 1782.25 s
Current children cumulated vsize: 612996 KiB
Current children cumulated memory: 550980 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.06 2.07 3/190 6586
/proc/meminfo: memFree=19502732/32770624 swapFree=67108860/67108860
[pid=6466] ppid=6463 vsize=1077796 memory=1015780 CPUtime=1842.25 cores=1,3,5,7
/proc/6466/stat : 6466 (xcsp_picat) R 6463 6466 4275 0 -1 4202496 730524 0 0 0 183455 770 0 0 20 0 1 0 78717005 1103663104 253945 33554432000 4194304 5849740 140736923125552 140736923124552 140342691684231 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 44748800 140736923129014 140736923129092 140736923129092 140736923131850 0
/proc/6466/statm: 269449 253945 675 405 0 266393 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 1077796 KiB
Current children cumulated memory: 1015780 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/191 6588
/proc/meminfo: memFree=18939436/32770624 swapFree=67108860/67108860
[pid=6466] ppid=6463 vsize=1725972 memory=1663952 CPUtime=1902.25 cores=1,3,5,7
/proc/6466/stat : 6466 (xcsp_picat) R 6463 6466 4275 0 -1 4202496 762223 0 0 0 189430 795 0 0 20 0 1 0 78717005 1767395328 415988 33554432000 4194304 5849740 140736923125552 140736923124552 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 44748800 140736923129014 140736923129092 140736923129092 140736923131850 0
/proc/6466/statm: 431493 415988 675 405 0 428437 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 1725972 KiB
Current children cumulated memory: 1663952 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/191 6590
/proc/meminfo: memFree=18927752/32770624 swapFree=67108860/67108860
[pid=6466] ppid=6463 vsize=1857044 memory=1795024 CPUtime=1962.25 cores=1,3,5,7
/proc/6466/stat : 6466 (xcsp_picat) R 6463 6466 4275 0 -1 4202496 916557 0 0 0 195412 813 0 0 20 0 1 0 78717005 1901613056 448756 33554432000 4194304 5849740 140736923125552 140736923124200 5317076 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 44748800 140736923129014 140736923129092 140736923129092 140736923131850 0
/proc/6466/statm: 464261 448756 675 405 0 461205 0
Current children cumulated CPU time: 1962.25 s
Current children cumulated vsize: 1857044 KiB
Current children cumulated memory: 1795024 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 6591
/proc/meminfo: memFree=20250112/32770624 swapFree=67108860/67108860
[pid=6466] ppid=6463 vsize=504700 memory=442680 CPUtime=2022.24 cores=1,3,5,7
/proc/6466/stat : 6466 (xcsp_picat) R 6463 6466 4275 0 -1 4202496 992498 0 0 0 201387 837 0 0 20 0 1 0 78717005 516812800 110670 33554432000 4194304 5849740 140736923125552 140736923124040 4234734 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 44748800 140736923129014 140736923129092 140736923129092 140736923131850 0
/proc/6466/statm: 126175 110670 675 405 0 123119 0
Current children cumulated CPU time: 2022.24 s
Current children cumulated vsize: 504700 KiB
Current children cumulated memory: 442680 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/192 6600
/proc/meminfo: memFree=20186024/32770624 swapFree=67108860/67108860
[pid=6466] ppid=6463 vsize=600896 memory=538876 CPUtime=2082.24 cores=1,3,5,7
/proc/6466/stat : 6466 (xcsp_picat) R 6463 6466 4275 0 -1 4202496 1024841 0 0 0 207367 857 0 0 20 0 1 0 78717005 615317504 134719 33554432000 4194304 5849740 140736923125552 140736923124712 140342691684231 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 44748800 140736923129014 140736923129092 140736923129092 140736923131850 0
/proc/6466/statm: 150224 134719 675 405 0 147168 0
Current children cumulated CPU time: 2082.24 s
Current children cumulated vsize: 600896 KiB
Current children cumulated memory: 538876 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 6623
/proc/meminfo: memFree=20010248/32770624 swapFree=67108860/67108860
[pid=6466] ppid=6463 vsize=731968 memory=669816 CPUtime=2142.24 cores=1,3,5,7
/proc/6466/stat : 6466 (xcsp_picat) R 6463 6466 4275 0 -1 4202496 1061045 0 0 0 213347 877 0 0 20 0 1 0 78717005 749535232 167454 33554432000 4194304 5849740 140736923125552 140736923124424 140342691684231 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 44748800 140736923129014 140736923129092 140736923129092 140736923131850 0
/proc/6466/statm: 182992 167454 675 405 0 179936 0
Current children cumulated CPU time: 2142.24 s
Current children cumulated vsize: 731968 KiB
Current children cumulated memory: 669816 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 6624
/proc/meminfo: memFree=19802572/32770624 swapFree=67108860/67108860
[pid=6466] ppid=6463 vsize=928356 memory=866336 CPUtime=2202.24 cores=1,3,5,7
/proc/6466/stat : 6466 (xcsp_picat) R 6463 6466 4275 0 -1 4202496 1112524 0 0 0 219321 903 0 0 20 0 1 0 78717005 950636544 216584 33554432000 4194304 5849740 140736923125552 140736923124424 5360417 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 44748800 140736923129014 140736923129092 140736923129092 140736923131850 0
/proc/6466/statm: 232089 216584 675 405 0 229033 0
Current children cumulated CPU time: 2202.24 s
Current children cumulated vsize: 928356 KiB
Current children cumulated memory: 866336 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 6625
/proc/meminfo: memFree=19782772/32770624 swapFree=67108860/67108860
[pid=6466] ppid=6463 vsize=931340 memory=869320 CPUtime=2262.24 cores=1,3,5,7
/proc/6466/stat : 6466 (xcsp_picat) R 6463 6466 4275 0 -1 4202496 1158077 0 0 0 225300 924 0 0 20 0 1 0 78717005 953692160 217330 33554432000 4194304 5849740 140736923125552 140736923124552 140342691684231 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 44748800 140736923129014 140736923129092 140736923129092 140736923131850 0
/proc/6466/statm: 232835 217330 675 405 0 229779 0
Current children cumulated CPU time: 2262.24 s
Current children cumulated vsize: 931340 KiB
Current children cumulated memory: 869320 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 6626
/proc/meminfo: memFree=20078912/32770624 swapFree=67108860/67108860
[pid=6466] ppid=6463 vsize=635480 memory=573460 CPUtime=2322.24 cores=1,3,5,7
/proc/6466/stat : 6466 (xcsp_picat) R 6463 6466 4275 0 -1 4202496 1201251 0 0 0 231283 941 0 0 20 0 1 0 78717005 650731520 143365 33554432000 4194304 5849740 140736923125552 140736923124552 5335512 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 44748800 140736923129014 140736923129092 140736923129092 140736923131850 0
/proc/6466/statm: 158870 143365 675 405 0 155814 0
Current children cumulated CPU time: 2322.24 s
Current children cumulated vsize: 635480 KiB
Current children cumulated memory: 573460 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 6627
/proc/meminfo: memFree=20101204/32770624 swapFree=67108860/67108860
[pid=6466] ppid=6463 vsize=555864 memory=493844 CPUtime=2382.24 cores=1,3,5,7
/proc/6466/stat : 6466 (xcsp_picat) R 6463 6466 4275 0 -1 4202496 1242458 0 0 0 237264 960 0 0 20 0 1 0 78717005 569204736 123461 33554432000 4194304 5849740 140736923125552 140736923124552 5335585 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 44748800 140736923129014 140736923129092 140736923129092 140736923131850 0
/proc/6466/statm: 138966 123461 675 405 0 135910 0
Current children cumulated CPU time: 2382.24 s
Current children cumulated vsize: 555864 KiB
Current children cumulated memory: 493844 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 6629
/proc/meminfo: memFree=19970052/32770624 swapFree=67108860/67108860
[pid=6466] ppid=6463 vsize=686936 memory=624916 CPUtime=2442.22 cores=1,3,5,7
/proc/6466/stat : 6466 (xcsp_picat) R 6463 6466 4275 0 -1 4202496 1267747 0 0 0 243243 979 0 0 20 0 1 0 78717005 703422464 156229 33554432000 4194304 5849740 140736923125552 140736923124424 5312598 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 44748800 140736923129014 140736923129092 140736923129092 140736923131850 0
/proc/6466/statm: 171734 156229 675 405 0 168678 0
Current children cumulated CPU time: 2442.22 s
Current children cumulated vsize: 686936 KiB
Current children cumulated memory: 624916 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 6630
/proc/meminfo: memFree=20037748/32770624 swapFree=67108860/67108860
[pid=6466] ppid=6463 vsize=619256 memory=557136 CPUtime=2502.2 cores=1,3,5,7
/proc/6466/stat : 6466 (xcsp_picat) R 6463 6466 4275 0 -1 4202496 1271634 0 0 0 249222 998 0 0 20 0 1 0 78717005 634118144 139284 33554432000 4194304 5849740 140736923125552 140736923124552 140342691684231 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 44748800 140736923129014 140736923129092 140736923129092 140736923131850 0
/proc/6466/statm: 154814 139284 675 405 0 151758 0
Current children cumulated CPU time: 2502.2 s
Current children cumulated vsize: 619256 KiB
Current children cumulated memory: 557136 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 6630
/proc/meminfo: memFree=19937236/32770624 swapFree=67108860/67108860
[pid=6466] ppid=6463 vsize=719752 memory=657660 CPUtime=2519.9 cores=1,3,5,7
/proc/6466/stat : 6466 (xcsp_picat) R 6463 6466 4275 0 -1 4202496 1274100 0 0 0 250986 1004 0 0 20 0 1 0 78717005 737026048 164415 33554432000 4194304 5849740 140736923125552 140736923124552 5312874 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 44748800 140736923129014 140736923129092 140736923129092 140736923131850 0
/proc/6466/statm: 179938 164415 675 405 0 176882 0
Current children cumulated CPU time: 2519.9 s
Current children cumulated vsize: 719752 KiB
Current children cumulated memory: 657660 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 6466 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2509.86 s, system=10.054 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.02
CPU time (s): 2519.92
CPU user time (s): 2509.86
CPU system time (s): 10.054
CPU usage (%): 99.9961
Max. virtual memory (cumulated for all children) (KiB): 1857044
Max. memory (cumulated for all children) (KiB): 1795024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.86
system time used= 10.054
maximum resident set size= 1795024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1274100
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= 145
involuntary context switches= 813
# summary of solver processes directly reported to runsolver:
# pid: 6466
# total CPU time (s): 2519.92
# total CPU user time (s): 2509.86
# total CPU system time (s): 10.054
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.71093 second user time and 19.2543 second system time
The end