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 (8515 MiB free)
memory of node 1: 16384 MiB (11707 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302981-1534022553/watcher-4302981-1534022553 -o /tmp/evaluation-result-4302981-1534022553/solver-4302981-1534022553 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1533989978-12842 --watchdog 2580 xcsp_picat HOME/instance-4302981-1534022553.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
solver pid=18764, runsolver pid=18761
Current StackSize limit: 8192 KiB
[startup+0.100153 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 18765
/proc/meminfo: memFree=20696440/32770624 swapFree=67108688/67108860
[pid=18764] ppid=18761 vsize=2026616 memory=14364 CPUtime=0.1 cores=1,3,5,7
/proc/18764/stat : 18764 (xcsp_picat) R 18761 18764 12810 0 -1 4202496 1701 0 0 0 10 0 0 0 20 0 1 0 219818145 2075254784 3591 33554432000 4194304 5849708 140722407010304 140722407010304 139624344358791 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 24846336 140722407015606 140722407015684 140722407015684 140722407018442 0
/proc/18764/statm: 506654 3591 717 405 0 503599 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2026616 KiB
Current children cumulated memory: 14364 KiB
[startup+0.209619 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 18765
/proc/meminfo: memFree=20696440/32770624 swapFree=67108688/67108860
[pid=18764] ppid=18761 vsize=2026616 memory=14364 CPUtime=0.21 cores=1,3,5,7
/proc/18764/stat : 18764 (xcsp_picat) R 18761 18764 12810 0 -1 4202496 1708 0 0 0 21 0 0 0 20 0 1 0 219818145 2075254784 3591 33554432000 4194304 5849708 140722407010304 140722407010304 139624344358791 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 24846336 140722407015606 140722407015684 140722407015684 140722407018442 0
/proc/18764/statm: 506654 3591 717 405 0 503599 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2026616 KiB
Current children cumulated memory: 14364 KiB
[startup+0.308789 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 18765
/proc/meminfo: memFree=20696440/32770624 swapFree=67108688/67108860
[pid=18764] ppid=18761 vsize=2026772 memory=14364 CPUtime=0.31 cores=1,3,5,7
/proc/18764/stat : 18764 (xcsp_picat) R 18761 18764 12810 0 -1 4202496 1726 0 0 0 30 1 0 0 20 0 1 0 219818145 2075414528 3591 33554432000 4194304 5849708 140722407010304 140722407010304 139624344358791 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 24846336 140722407015606 140722407015684 140722407015684 140722407018442 0
/proc/18764/statm: 506693 3591 717 405 0 503638 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2026772 KiB
Current children cumulated memory: 14364 KiB
[startup+0.700278 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18765
/proc/meminfo: memFree=20694952/32770624 swapFree=67108688/67108860
[pid=18764] ppid=18761 vsize=2027716 memory=15412 CPUtime=0.69 cores=1,3,5,7
/proc/18764/stat : 18764 (xcsp_picat) R 18761 18764 12810 0 -1 4202496 2222 0 0 0 68 1 0 0 20 0 1 0 219818145 2076381184 3853 33554432000 4194304 5849708 140722407010304 140722407010304 139624344358791 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 24846336 140722407015606 140722407015684 140722407015684 140722407018442 0
/proc/18764/statm: 506929 3853 730 405 0 503874 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2027716 KiB
Current children cumulated memory: 15412 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18765
/proc/meminfo: memFree=20694840/32770624 swapFree=67108688/67108860
[pid=18764] ppid=18761 vsize=2028456 memory=16064 CPUtime=1.49 cores=1,3,5,7
/proc/18764/stat : 18764 (xcsp_picat) R 18761 18764 12810 0 -1 4202496 3134 0 0 0 146 3 0 0 20 0 1 0 219818145 2077138944 4016 33554432000 4194304 5849708 140722407010304 140722407009304 139624344358791 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 24846336 140722407015606 140722407015684 140722407015684 140722407018442 0
/proc/18764/statm: 507114 4016 730 405 0 504059 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2028456 KiB
Current children cumulated memory: 16064 KiB
[startup+3.10919 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18765
/proc/meminfo: memFree=20692472/32770624 swapFree=67108688/67108860
[pid=18764] ppid=18761 vsize=2031020 memory=18776 CPUtime=3.1 cores=1,3,5,7
/proc/18764/stat : 18764 (xcsp_picat) R 18761 18764 12810 0 -1 4202496 5096 0 0 0 305 5 0 0 20 0 1 0 219818145 2079764480 4694 33554432000 4194304 5849708 140722407010304 140722407009304 139624344358791 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 24846336 140722407015606 140722407015684 140722407015684 140722407018442 0
/proc/18764/statm: 507755 4694 730 405 0 504700 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2031020 KiB
Current children cumulated memory: 18776 KiB
[startup+6.30029 s]
/proc/loadavg: 1.92 2.00 2.04 3/188 18765
/proc/meminfo: memFree=20690504/32770624 swapFree=67108688/67108860
[pid=18764] ppid=18761 vsize=2033232 memory=20920 CPUtime=6.29 cores=1,3,5,7
/proc/18764/stat : 18764 (xcsp_picat) R 18761 18764 12810 0 -1 4202496 8813 0 0 0 621 8 0 0 20 0 1 0 219818145 2082029568 5230 33554432000 4194304 5849708 140722407010304 140722407009304 139624344358791 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 24846336 140722407015606 140722407015684 140722407015684 140722407018442 0
/proc/18764/statm: 508308 5230 730 405 0 505253 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2033232 KiB
Current children cumulated memory: 20920 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/188 18765
/proc/meminfo: memFree=20686208/32770624 swapFree=67108688/67108860
[pid=18764] ppid=18761 vsize=2036968 memory=24596 CPUtime=12.69 cores=1,3,5,7
/proc/18764/stat : 18764 (xcsp_picat) R 18761 18764 12810 0 -1 4202496 14573 0 0 0 1255 14 0 0 20 0 1 0 219818145 2085855232 6149 33554432000 4194304 5849708 140722407010304 140722407009304 5437714 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 24846336 140722407015606 140722407015684 140722407015684 140722407018442 0
/proc/18764/statm: 509242 6149 730 405 0 506187 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2036968 KiB
Current children cumulated memory: 24596 KiB
[startup+25.5004 s]
/proc/loadavg: 1.87 1.98 2.03 3/188 18765
/proc/meminfo: memFree=20656488/32770624 swapFree=67108688/67108860
[pid=18764] ppid=18761 vsize=2045352 memory=33092 CPUtime=25.48 cores=1,3,5,7
/proc/18764/stat : 18764 (xcsp_picat) R 18761 18764 12810 0 -1 4202496 26148 0 0 0 2527 21 0 0 20 0 1 0 219818145 2094440448 8273 33554432000 4194304 5849708 140722407010304 140722407009464 139624344358791 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 24846336 140722407015606 140722407015684 140722407015684 140722407018442 0
/proc/18764/statm: 511338 8273 730 405 0 508283 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2045352 KiB
Current children cumulated memory: 33092 KiB
[startup+51.1095 s]
/proc/loadavg: 1.91 1.98 2.03 3/188 18765
/proc/meminfo: memFree=20621612/32770624 swapFree=67108688/67108860
[pid=18764] ppid=18761 vsize=2049916 memory=37392 CPUtime=51.09 cores=1,3,5,7
/proc/18764/stat : 18764 (xcsp_picat) R 18761 18764 12810 0 -1 4202496 35214 0 0 0 5062 47 0 0 20 0 1 0 219818145 2099113984 9348 33554432000 4194304 5849708 140722407010304 140722407009176 139624344358791 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 24846336 140722407015606 140722407015684 140722407015684 140722407018442 0
/proc/18764/statm: 512479 9348 742 405 0 509424 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2049916 KiB
Current children cumulated memory: 37392 KiB
[startup+102.3 s]
/proc/loadavg: 1.96 1.99 2.03 3/188 18766
/proc/meminfo: memFree=20675244/32770624 swapFree=67108688/67108860
[pid=18764] ppid=18761 vsize=2099792 memory=87352 CPUtime=102.28 cores=1,3,5,7
/proc/18764/stat : 18764 (xcsp_picat) R 18761 18764 12810 0 -1 4202496 47023 0 0 0 10151 77 0 0 20 0 1 0 219818145 2150187008 21838 33554432000 4194304 5849708 140722407010304 140722407009304 139624344358791 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 24846336 140722407015606 140722407015684 140722407015684 140722407018442 0
/proc/18764/statm: 524948 21838 742 405 0 521893 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2099792 KiB
Current children cumulated memory: 87352 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/187 18768
/proc/meminfo: memFree=20625424/32770624 swapFree=67108688/67108860
[pid=18764] ppid=18761 vsize=2110064 memory=97584 CPUtime=162.27 cores=1,3,5,7
/proc/18764/stat : 18764 (xcsp_picat) R 18761 18764 12810 0 -1 4202496 61203 0 0 0 16125 102 0 0 20 0 1 0 219818145 2160705536 24396 33554432000 4194304 5849708 140722407010304 140722407009304 139624344358791 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 24846336 140722407015606 140722407015684 140722407015684 140722407018442 0
/proc/18764/statm: 527516 24396 742 405 0 524461 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2110064 KiB
Current children cumulated memory: 97584 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/187 18769
/proc/meminfo: memFree=20648092/32770624 swapFree=67108688/67108860
[pid=18764] ppid=18761 vsize=2054384 memory=42248 CPUtime=222.27 cores=1,3,5,7
/proc/18764/stat : 18764 (xcsp_picat) R 18761 18764 12810 0 -1 4202496 71492 0 0 0 22103 124 0 0 20 0 1 0 219818145 2103689216 10562 33554432000 4194304 5849708 140722407010304 140722407009304 5340904 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 24846336 140722407015606 140722407015684 140722407015684 140722407018442 0
/proc/18764/statm: 513596 10562 742 405 0 510541 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2054384 KiB
Current children cumulated memory: 42248 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 18770
/proc/meminfo: memFree=20598508/32770624 swapFree=67108688/67108860
[pid=18764] ppid=18761 vsize=2088440 memory=76060 CPUtime=282.27 cores=1,3,5,7
/proc/18764/stat : 18764 (xcsp_picat) R 18761 18764 12810 0 -1 4202496 76546 0 0 0 28062 165 0 0 20 0 1 0 219818145 2138562560 19015 33554432000 4194304 5849708 140722407010304 140722407009304 139624344358791 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 24846336 140722407015606 140722407015684 140722407015684 140722407018442 0
/proc/18764/statm: 522110 19015 742 405 0 519055 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2088440 KiB
Current children cumulated memory: 76060 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 18772
/proc/meminfo: memFree=20598220/32770624 swapFree=67108688/67108860
[pid=18764] ppid=18761 vsize=2103352 memory=91088 CPUtime=342.26 cores=1,3,5,7
/proc/18764/stat : 18764 (xcsp_picat) R 18761 18764 12810 0 -1 4202496 84277 0 0 0 34040 186 0 0 20 0 1 0 219818145 2153832448 22772 33554432000 4194304 5849708 140722407010304 140722407009304 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 24846336 140722407015606 140722407015684 140722407015684 140722407018442 0
/proc/18764/statm: 525838 22772 742 405 0 522783 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 2103352 KiB
Current children cumulated memory: 91088 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 18773
/proc/meminfo: memFree=20528860/32770624 swapFree=67108688/67108860
[pid=18764] ppid=18761 vsize=2174596 memory=160360 CPUtime=402.25 cores=1,3,5,7
/proc/18764/stat : 18764 (xcsp_picat) R 18761 18764 12810 0 -1 4202496 86574 0 0 0 40023 202 0 0 20 0 1 0 219818145 2226786304 40090 33554432000 4194304 5849708 140722407010304 140722407009464 139624344358791 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 24846336 140722407015606 140722407015684 140722407015684 140722407018442 0
/proc/18764/statm: 543649 40090 742 405 0 540594 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 2174596 KiB
Current children cumulated memory: 160360 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 18782
/proc/meminfo: memFree=20607336/32770624 swapFree=67108688/67108860
[pid=18764] ppid=18761 vsize=2162060 memory=147924 CPUtime=462.24 cores=1,3,5,7
/proc/18764/stat : 18764 (xcsp_picat) R 18761 18764 12810 0 -1 4202496 91139 0 0 0 46006 218 0 0 20 0 1 0 219818145 2213949440 36981 33554432000 4194304 5849708 140722407010304 140722407009304 139624344358791 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 24846336 140722407015606 140722407015684 140722407015684 140722407018442 0
/proc/18764/statm: 540515 36981 742 405 0 537460 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 2162060 KiB
Current children cumulated memory: 147924 KiB
################
# More data... #
################
/proc/18764/statm: 576661 74805 742 405 0 573606 0
Current children cumulated CPU time: 1722.14 s
Current children cumulated vsize: 2306644 KiB
Current children cumulated memory: 299220 KiB
[startup+1782.3 s]
/proc/loadavg: 1.00 1.09 1.47 2/181 18866
/proc/meminfo: memFree=20617780/32770624 swapFree=67108688/67108860
[pid=18764] ppid=18761 vsize=2229140 memory=221608 CPUtime=1782.12 cores=1,3,5,7
/proc/18764/stat : 18764 (xcsp_picat) R 18761 18764 12810 0 -1 4202496 294160 0 0 0 177676 536 0 0 20 0 1 0 219818145 2282639360 55402 33554432000 4194304 5849708 140722407010304 140722407009304 139624344358791 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 24846336 140722407015606 140722407015684 140722407015684 140722407018442 0
/proc/18764/statm: 557285 55402 742 405 0 554230 0
Current children cumulated CPU time: 1782.12 s
Current children cumulated vsize: 2229140 KiB
Current children cumulated memory: 221608 KiB
[startup+1842.3 s]
/proc/loadavg: 1.00 1.07 1.44 2/182 18881
/proc/meminfo: memFree=20615520/32770624 swapFree=67108688/67108860
[pid=18764] ppid=18761 vsize=2229140 memory=221716 CPUtime=1842.1 cores=1,3,5,7
/proc/18764/stat : 18764 (xcsp_picat) R 18761 18764 12810 0 -1 4202496 304774 0 0 0 183659 551 0 0 20 0 1 0 219818145 2282639360 55429 33554432000 4194304 5849708 140722407010304 140722407009304 5438261 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 24846336 140722407015606 140722407015684 140722407015684 140722407018442 0
/proc/18764/statm: 557285 55429 742 405 0 554230 0
Current children cumulated CPU time: 1842.1 s
Current children cumulated vsize: 2229140 KiB
Current children cumulated memory: 221716 KiB
[startup+1902.3 s]
/proc/loadavg: 1.00 1.06 1.41 2/182 18882
/proc/meminfo: memFree=20585108/32770624 swapFree=67108688/67108860
[pid=18764] ppid=18761 vsize=2260104 memory=252508 CPUtime=1902.09 cores=1,3,5,7
/proc/18764/stat : 18764 (xcsp_picat) R 18761 18764 12810 0 -1 4202496 310200 0 0 0 189646 563 0 0 20 0 1 0 219818145 2314346496 63127 33554432000 4194304 5849708 140722407010304 140722407009304 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 24846336 140722407015606 140722407015684 140722407015684 140722407018442 0
/proc/18764/statm: 565026 63127 742 405 0 561971 0
Current children cumulated CPU time: 1902.09 s
Current children cumulated vsize: 2260104 KiB
Current children cumulated memory: 252508 KiB
[startup+1962.3 s]
/proc/loadavg: 1.00 1.05 1.39 2/181 18884
/proc/meminfo: memFree=20598716/32770624 swapFree=67108688/67108860
[pid=18764] ppid=18761 vsize=2246672 memory=239172 CPUtime=1962.09 cores=1,3,5,7
/proc/18764/stat : 18764 (xcsp_picat) R 18761 18764 12810 0 -1 4202496 311741 0 0 0 195634 575 0 0 20 0 1 0 219818145 2300592128 59793 33554432000 4194304 5849708 140722407010304 140722407009304 139624344358791 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 24846336 140722407015606 140722407015684 140722407015684 140722407018442 0
/proc/18764/statm: 561668 59793 742 405 0 558613 0
Current children cumulated CPU time: 1962.09 s
Current children cumulated vsize: 2246672 KiB
Current children cumulated memory: 239172 KiB
[startup+2022.3 s]
/proc/loadavg: 1.00 1.04 1.36 2/181 18885
/proc/meminfo: memFree=20565796/32770624 swapFree=67108688/67108860
[pid=18764] ppid=18761 vsize=2279440 memory=272016 CPUtime=2022.08 cores=1,3,5,7
/proc/18764/stat : 18764 (xcsp_picat) R 18761 18764 12810 0 -1 4202496 316706 0 0 0 201626 582 0 0 20 0 1 0 219818145 2334146560 68004 33554432000 4194304 5849708 140722407010304 140722407009304 5438212 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 24846336 140722407015606 140722407015684 140722407015684 140722407018442 0
/proc/18764/statm: 569860 68004 742 405 0 566805 0
Current children cumulated CPU time: 2022.08 s
Current children cumulated vsize: 2279440 KiB
Current children cumulated memory: 272016 KiB
[startup+2082.3 s]
/proc/loadavg: 1.00 1.03 1.34 2/181 18886
/proc/meminfo: memFree=20565920/32770624 swapFree=67108688/67108860
[pid=18764] ppid=18761 vsize=2279440 memory=272016 CPUtime=2082.08 cores=1,3,5,7
/proc/18764/stat : 18764 (xcsp_picat) R 18761 18764 12810 0 -1 4202496 316803 0 0 0 207617 591 0 0 20 0 1 0 219818145 2334146560 68004 33554432000 4194304 5849708 140722407010304 140722407009304 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 24846336 140722407015606 140722407015684 140722407015684 140722407018442 0
/proc/18764/statm: 569860 68004 742 405 0 566805 0
Current children cumulated CPU time: 2082.08 s
Current children cumulated vsize: 2279440 KiB
Current children cumulated memory: 272016 KiB
[startup+2142.3 s]
/proc/loadavg: 1.00 1.03 1.32 2/181 18888
/proc/meminfo: memFree=20565912/32770624 swapFree=67108688/67108860
[pid=18764] ppid=18761 vsize=2279440 memory=272016 CPUtime=2142.07 cores=1,3,5,7
/proc/18764/stat : 18764 (xcsp_picat) R 18761 18764 12810 0 -1 4202496 321283 0 0 0 213605 602 0 0 20 0 1 0 219818145 2334146560 68004 33554432000 4194304 5849708 140722407010304 140722407009464 139624344358791 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 24846336 140722407015606 140722407015684 140722407015684 140722407018442 0
/proc/18764/statm: 569860 68004 742 405 0 566805 0
Current children cumulated CPU time: 2142.07 s
Current children cumulated vsize: 2279440 KiB
Current children cumulated memory: 272016 KiB
[startup+2202.3 s]
/proc/loadavg: 1.00 1.02 1.30 2/180 18889
/proc/meminfo: memFree=20566052/32770624 swapFree=67108688/67108860
[pid=18764] ppid=18761 vsize=2279440 memory=272016 CPUtime=2202.07 cores=1,3,5,7
/proc/18764/stat : 18764 (xcsp_picat) R 18761 18764 12810 0 -1 4202496 325762 0 0 0 219597 610 0 0 20 0 1 0 219818145 2334146560 68004 33554432000 4194304 5849708 140722407010304 140722407009304 139624344358791 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 24846336 140722407015606 140722407015684 140722407015684 140722407018442 0
/proc/18764/statm: 569860 68004 742 405 0 566805 0
Current children cumulated CPU time: 2202.07 s
Current children cumulated vsize: 2279440 KiB
Current children cumulated memory: 272016 KiB
[startup+2262.3 s]
/proc/loadavg: 1.00 1.02 1.28 2/180 18897
/proc/meminfo: memFree=20519288/32770624 swapFree=67108688/67108860
[pid=18764] ppid=18761 vsize=2325628 memory=318204 CPUtime=2262.06 cores=1,3,5,7
/proc/18764/stat : 18764 (xcsp_picat) R 18761 18764 12810 0 -1 4202496 332894 0 0 0 225588 618 0 0 20 0 1 0 219818145 2381443072 79551 33554432000 4194304 5849708 140722407010304 140722407009304 5437837 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 24846336 140722407015606 140722407015684 140722407015684 140722407018442 0
/proc/18764/statm: 581407 79551 742 405 0 578352 0
Current children cumulated CPU time: 2262.06 s
Current children cumulated vsize: 2325628 KiB
Current children cumulated memory: 318204 KiB
[startup+2322.3 s]
/proc/loadavg: 1.00 1.01 1.26 2/180 18923
/proc/meminfo: memFree=20504148/32770624 swapFree=67108688/67108860
[pid=18764] ppid=18761 vsize=2339568 memory=332144 CPUtime=2322.06 cores=1,3,5,7
/proc/18764/stat : 18764 (xcsp_picat) R 18761 18764 12810 0 -1 4202496 341384 0 0 0 231577 629 0 0 20 0 1 0 219818145 2395717632 83036 33554432000 4194304 5849708 140722407010304 140722407009464 139624344358791 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 24846336 140722407015606 140722407015684 140722407015684 140722407018442 0
/proc/18764/statm: 584892 83036 742 405 0 581837 0
Current children cumulated CPU time: 2322.06 s
Current children cumulated vsize: 2339568 KiB
Current children cumulated memory: 332144 KiB
[startup+2382.3 s]
/proc/loadavg: 1.00 1.01 1.25 2/180 18924
/proc/meminfo: memFree=20504368/32770624 swapFree=67108688/67108860
[pid=18764] ppid=18761 vsize=2339568 memory=332144 CPUtime=2382.05 cores=1,3,5,7
/proc/18764/stat : 18764 (xcsp_picat) R 18761 18764 12810 0 -1 4202496 349039 0 0 0 237568 637 0 0 20 0 1 0 219818145 2395717632 83036 33554432000 4194304 5849708 140722407010304 140722407009304 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 24846336 140722407015606 140722407015684 140722407015684 140722407018442 0
/proc/18764/statm: 584892 83036 742 405 0 581837 0
Current children cumulated CPU time: 2382.05 s
Current children cumulated vsize: 2339568 KiB
Current children cumulated memory: 332144 KiB
[startup+2442.3 s]
/proc/loadavg: 1.00 1.01 1.23 2/180 18925
/proc/meminfo: memFree=20439008/32770624 swapFree=67108688/67108860
[pid=18764] ppid=18761 vsize=2405104 memory=397680 CPUtime=2442.04 cores=1,3,5,7
/proc/18764/stat : 18764 (xcsp_picat) R 18761 18764 12810 0 -1 4202496 367323 0 0 0 243558 646 0 0 20 0 1 0 219818145 2462826496 99420 33554432000 4194304 5849708 140722407010304 140722407009304 5438244 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 24846336 140722407015606 140722407015684 140722407015684 140722407018442 0
/proc/18764/statm: 601276 99420 742 405 0 598221 0
Current children cumulated CPU time: 2442.04 s
Current children cumulated vsize: 2405104 KiB
Current children cumulated memory: 397680 KiB
[startup+2502.3 s]
/proc/loadavg: 1.00 1.01 1.22 2/180 18926
/proc/meminfo: memFree=20439380/32770624 swapFree=67108688/67108860
[pid=18764] ppid=18761 vsize=2405104 memory=397680 CPUtime=2502.04 cores=1,3,5,7
/proc/18764/stat : 18764 (xcsp_picat) R 18761 18764 12810 0 -1 4202496 377933 0 0 0 249549 655 0 0 20 0 1 0 219818145 2462826496 99420 33554432000 4194304 5849708 140722407010304 140722407009464 5335601 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 24846336 140722407015606 140722407015684 140722407015684 140722407018442 0
/proc/18764/statm: 601276 99420 742 405 0 598221 0
Current children cumulated CPU time: 2502.04 s
Current children cumulated vsize: 2405104 KiB
Current children cumulated memory: 397680 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.00 1.01 1.21 2/180 18926
/proc/meminfo: memFree=20439380/32770624 swapFree=67108688/67108860
[pid=18764] ppid=18761 vsize=2405104 memory=397680 CPUtime=2519.75 cores=1,3,5,7
/proc/18764/stat : 18764 (xcsp_picat) R 18761 18764 12810 0 -1 4202496 379917 0 0 0 251317 658 0 0 20 0 1 0 219818145 2462826496 99420 33554432000 4194304 5849708 140722407010304 140722407009304 5438278 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 24846336 140722407015606 140722407015684 140722407015684 140722407018442 0
/proc/18764/statm: 601276 99420 742 405 0 598221 0
Current children cumulated CPU time: 2519.75 s
Current children cumulated vsize: 2405104 KiB
Current children cumulated memory: 397680 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 18764 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.18 s, system=6.58942 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.76
CPU user time (s): 2513.18
CPU system time (s): 6.58942
CPU usage (%): 99.99
Max. virtual memory (cumulated for all children) (KiB): 2405104
Max. memory (cumulated for all children) (KiB): 397680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.18
system time used= 6.58942
maximum resident set size= 397680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 379917
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= 54
involuntary context switches= 798
# summary of solver processes directly reported to runsolver:
# pid: 18764
# total CPU time (s): 2519.76
# total CPU user time (s): 2513.18
# total CPU system time (s): 6.58942
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0286 second user time and 18.3373 second system time
The end