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 (3778 MiB free)
memory of node 1: 16384 MiB (7132 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295977-1532594747/watcher-4295977-1532594747 -o /tmp/evaluation-result-4295977-1532594747/solver-4295977-1532594747 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532594747-28432 --watchdog 2580 xcsp_picat HOME/instance-4295977-1532594747.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
solver pid=28458, runsolver pid=28454
Starting watchdog thread
Current StackSize limit: 8192 KiB
[startup+0.100824 s]*
/proc/loadavg: 0.83 1.31 1.51 3/188 28464
/proc/meminfo: memFree=11145708/32770624 swapFree=67108860/67108860
[pid=28458] ppid=28454 vsize=112236 memory=18772 CPUtime=0.1 cores=0,2,4,6
/proc/28458/stat : 28458 (xcsp_picat) R 28454 28458 26989 0 -1 4202496 1822 0 0 0 9 1 0 0 20 0 1 0 77037833 114929664 4693 33554432000 4194304 5849740 140736151923776 140736151922520 140496868896647 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 37478400 140736151930038 140736151930116 140736151930116 140736151932874 0
/proc/28458/statm: 28059 4693 705 405 0 25003 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 112236 KiB
Current children cumulated memory: 18772 KiB
[startup+0.209661 s]*
/proc/loadavg: 0.83 1.31 1.51 3/188 28464
/proc/meminfo: memFree=11145336/32770624 swapFree=67108860/67108860
[pid=28458] ppid=28454 vsize=112624 memory=19032 CPUtime=0.2 cores=0,2,4,6
/proc/28458/stat : 28458 (xcsp_picat) R 28454 28458 26989 0 -1 4202496 1951 0 0 0 19 1 0 0 20 0 1 0 77037833 115326976 4758 33554432000 4194304 5849740 140736151923776 140736151922520 140496868896647 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 37478400 140736151930038 140736151930116 140736151930116 140736151932874 0
/proc/28458/statm: 28156 4758 705 405 0 25100 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 112624 KiB
Current children cumulated memory: 19032 KiB
[startup+0.309025 s]*
/proc/loadavg: 0.83 1.31 1.51 3/188 28464
/proc/meminfo: memFree=11145336/32770624 swapFree=67108860/67108860
[pid=28458] ppid=28454 vsize=112624 memory=19032 CPUtime=0.3 cores=0,2,4,6
/proc/28458/stat : 28458 (xcsp_picat) R 28454 28458 26989 0 -1 4202496 1951 0 0 0 29 1 0 0 20 0 1 0 77037833 115326976 4758 33554432000 4194304 5849740 140736151923776 140736151922520 140496868896647 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 37478400 140736151930038 140736151930116 140736151930116 140736151932874 0
/proc/28458/statm: 28156 4758 705 405 0 25100 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 112624 KiB
Current children cumulated memory: 19032 KiB
[startup+0.70024 s]
/proc/loadavg: 0.83 1.31 1.51 3/188 28464
/proc/meminfo: memFree=11144364/32770624 swapFree=67108860/67108860
[pid=28458] ppid=28454 vsize=114928 memory=21356 CPUtime=0.69 cores=0,2,4,6
/proc/28458/stat : 28458 (xcsp_picat) R 28454 28458 26989 0 -1 4202496 2527 0 0 0 65 4 0 0 20 0 1 0 77037833 117686272 5339 33554432000 4194304 5849740 140736151923776 140736151922520 5471899 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 37478400 140736151930038 140736151930116 140736151930116 140736151932874 0
/proc/28458/statm: 28732 5339 705 405 0 25676 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 114928 KiB
Current children cumulated memory: 21356 KiB
[startup+1.5003 s]
/proc/loadavg: 0.93 1.32 1.51 3/188 28464
/proc/meminfo: memFree=11142132/32770624 swapFree=67108860/67108860
[pid=28458] ppid=28454 vsize=118000 memory=24428 CPUtime=1.48 cores=0,2,4,6
/proc/28458/stat : 28458 (xcsp_picat) R 28454 28458 26989 0 -1 4202496 3295 0 0 0 142 6 0 0 20 0 1 0 77037833 120832000 6107 33554432000 4194304 5849740 140736151923776 140736151922888 140496868896647 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 37478400 140736151930038 140736151930116 140736151930116 140736151932874 0
/proc/28458/statm: 29500 6107 705 405 0 26444 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 118000 KiB
Current children cumulated memory: 24428 KiB
[startup+3.10959 s]
/proc/loadavg: 0.93 1.32 1.51 3/188 28464
/proc/meminfo: memFree=11143164/32770624 swapFree=67108860/67108860
[pid=28458] ppid=28454 vsize=114580 memory=21216 CPUtime=3.1 cores=0,2,4,6
/proc/28458/stat : 28458 (xcsp_picat) R 28454 28458 26989 0 -1 4202496 7235 0 0 0 300 10 0 0 20 0 1 0 77037833 117329920 5304 33554432000 4194304 5849740 140736151923776 140736151922648 140496868896647 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 37478400 140736151930038 140736151930116 140736151930116 140736151932874 0
/proc/28458/statm: 28645 5304 746 405 0 25589 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 114580 KiB
Current children cumulated memory: 21216 KiB
[startup+6.30024 s]
/proc/loadavg: 1.09 1.35 1.52 4/201 28493
/proc/meminfo: memFree=11106476/32770624 swapFree=67108860/67108860
[pid=28458] ppid=28454 vsize=127896 memory=32848 CPUtime=6.28 cores=0,2,4,6
/proc/28458/stat : 28458 (xcsp_picat) R 28454 28458 26989 0 -1 4202496 10171 0 0 0 613 15 0 0 20 0 1 0 77037833 130965504 8212 33554432000 4194304 5849740 140736151923776 140736151922776 5312657 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 37478400 140736151930038 140736151930116 140736151930116 140736151932874 0
/proc/28458/statm: 31974 8212 746 405 0 28918 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 127896 KiB
Current children cumulated memory: 32848 KiB
[startup+12.7003 s]
/proc/loadavg: 1.17 1.36 1.52 3/188 28528
/proc/meminfo: memFree=11096444/32770624 swapFree=67108860/67108860
[pid=28458] ppid=28454 vsize=131992 memory=38436 CPUtime=12.69 cores=0,2,4,6
/proc/28458/stat : 28458 (xcsp_picat) R 28454 28458 26989 0 -1 4202496 13987 0 0 0 1243 26 0 0 20 0 1 0 77037833 135159808 9609 33554432000 4194304 5849740 140736151923776 140736151922936 5437839 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 37478400 140736151930038 140736151930116 140736151930116 140736151932874 0
/proc/28458/statm: 32998 9609 746 405 0 29942 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 131992 KiB
Current children cumulated memory: 38436 KiB
[startup+25.5003 s]
/proc/loadavg: 1.29 1.38 1.52 3/188 28528
/proc/meminfo: memFree=11079284/32770624 swapFree=67108860/67108860
[pid=28458] ppid=28454 vsize=134688 memory=45424 CPUtime=25.48 cores=0,2,4,6
/proc/28458/stat : 28458 (xcsp_picat) R 28454 28458 26989 0 -1 4202496 18517 0 0 0 2508 40 0 0 20 0 1 0 77037833 137920512 11356 33554432000 4194304 5849740 140736151923776 140736151922776 5437607 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 37478400 140736151930038 140736151930116 140736151930116 140736151932874 0
/proc/28458/statm: 33672 11356 746 405 0 30616 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 134688 KiB
Current children cumulated memory: 45424 KiB
[startup+51.1095 s]
/proc/loadavg: 1.57 1.44 1.54 3/188 28528
/proc/meminfo: memFree=11081564/32770624 swapFree=67108860/67108860
[pid=28458] ppid=28454 vsize=129908 memory=38892 CPUtime=51.09 cores=0,2,4,6
/proc/28458/stat : 28458 (xcsp_picat) R 28454 28458 26989 0 -1 4202496 25614 0 0 0 5036 73 0 0 20 0 1 0 77037833 133025792 9723 33554432000 4194304 5849740 140736151923776 140736151922776 5438352 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 37478400 140736151930038 140736151930116 140736151930116 140736151932874 0
/proc/28458/statm: 32477 9723 746 405 0 29421 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 129908 KiB
Current children cumulated memory: 38892 KiB
[startup+102.3 s]
/proc/loadavg: 1.81 1.52 1.56 3/188 28529
/proc/meminfo: memFree=11040568/32770624 swapFree=67108860/67108860
[pid=28458] ppid=28454 vsize=156712 memory=67220 CPUtime=102.27 cores=0,2,4,6
/proc/28458/stat : 28458 (xcsp_picat) R 28454 28458 26989 0 -1 4202496 37498 0 0 0 10102 125 0 0 20 0 1 0 77037833 160473088 16805 33554432000 4194304 5849740 140736151923776 140736151922504 5360437 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 37478400 140736151930038 140736151930116 140736151930116 140736151932874 0
/proc/28458/statm: 39178 16805 746 405 0 36122 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 156712 KiB
Current children cumulated memory: 67220 KiB
[startup+162.3 s]
/proc/loadavg: 1.93 1.61 1.59 3/188 28530
/proc/meminfo: memFree=10991824/32770624 swapFree=67108860/67108860
[pid=28458] ppid=28454 vsize=181568 memory=92304 CPUtime=162.26 cores=0,2,4,6
/proc/28458/stat : 28458 (xcsp_picat) R 28454 28458 26989 0 -1 4202496 62374 0 0 0 16060 166 0 0 20 0 1 0 77037833 185925632 23076 33554432000 4194304 5849740 140736151923776 140736151922776 5438335 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 37478400 140736151930038 140736151930116 140736151930116 140736151932874 0
/proc/28458/statm: 45392 23076 746 405 0 42336 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 181568 KiB
Current children cumulated memory: 92304 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.68 1.62 3/188 28531
/proc/meminfo: memFree=10995152/32770624 swapFree=67108860/67108860
[pid=28458] ppid=28454 vsize=208752 memory=119460 CPUtime=222.24 cores=0,2,4,6
/proc/28458/stat : 28458 (xcsp_picat) R 28454 28458 26989 0 -1 4202496 80601 0 0 0 22027 197 0 0 20 0 1 0 77037833 213762048 29865 33554432000 4194304 5849740 140736151923776 140736151922776 140496868896647 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 37478400 140736151930038 140736151930116 140736151930116 140736151932874 0
/proc/28458/statm: 52188 29865 746 405 0 49132 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 208752 KiB
Current children cumulated memory: 119460 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.74 1.64 3/189 28540
/proc/meminfo: memFree=10948504/32770624 swapFree=67108860/67108860
[pid=28458] ppid=28454 vsize=241444 memory=152180 CPUtime=282.22 cores=0,2,4,6
/proc/28458/stat : 28458 (xcsp_picat) R 28454 28458 26989 0 -1 4202496 95031 0 0 0 28001 221 0 0 20 0 1 0 77037833 247238656 38045 33554432000 4194304 5849740 140736151923776 140736151922424 5397364 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 37478400 140736151930038 140736151930116 140736151930116 140736151932874 0
/proc/28458/statm: 60361 38045 746 405 0 57305 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 241444 KiB
Current children cumulated memory: 152180 KiB
[startup+342.3 s]
/proc/loadavg: 2.06 1.81 1.67 3/188 28541
/proc/meminfo: memFree=10947992/32770624 swapFree=67108860/67108860
[pid=28458] ppid=28454 vsize=222668 memory=133404 CPUtime=342.21 cores=0,2,4,6
/proc/28458/stat : 28458 (xcsp_picat) R 28454 28458 26989 0 -1 4202496 108923 0 0 0 33984 237 0 0 20 0 1 0 77037833 228012032 33351 33554432000 4194304 5849740 140736151923776 140736151922776 140496868896647 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 37478400 140736151930038 140736151930116 140736151930116 140736151932874 0
/proc/28458/statm: 55667 33351 746 405 0 52611 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 222668 KiB
Current children cumulated memory: 133404 KiB
[startup+402.3 s]
/proc/loadavg: 2.02 1.85 1.69 3/188 28542
/proc/meminfo: memFree=10889524/32770624 swapFree=67108860/67108860
[pid=28458] ppid=28454 vsize=248348 memory=159212 CPUtime=402.2 cores=0,2,4,6
/proc/28458/stat : 28458 (xcsp_picat) R 28454 28458 26989 0 -1 4202496 122615 0 0 0 39961 259 0 0 20 0 1 0 77037833 254308352 39803 33554432000 4194304 5849740 140736151923776 140736151922776 5437698 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 37478400 140736151930038 140736151930116 140736151930116 140736151932874 0
/proc/28458/statm: 62087 39803 746 405 0 59031 0
Current children cumulated CPU time: 402.2 s
Current children cumulated vsize: 248348 KiB
Current children cumulated memory: 159212 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 1.88 1.71 3/188 28543
/proc/meminfo: memFree=10834048/32770624 swapFree=67108860/67108860
[pid=28458] ppid=28454 vsize=304356 memory=214972 CPUtime=462.19 cores=0,2,4,6
/proc/28458/stat : 28458 (xcsp_picat) R 28454 28458 26989 0 -1 4202496 139103 0 0 0 45943 276 0 0 20 0 1 0 77037833 311660544 53743 33554432000 4194304 5849740 140736151923776 140736151922776 5376044 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 37478400 140736151930038 140736151930116 140736151930116 140736151932874 0
/proc/28458/statm: 76089 53743 746 405 0 73033 0
Current children cumulated CPU time: 462.19 s
Current children cumulated vsize: 304356 KiB
Current children cumulated memory: 214972 KiB
################
# More data... #
################
/proc/28458/statm: 112406 90090 746 405 0 109350 0
Current children cumulated CPU time: 1722.09 s
Current children cumulated vsize: 449624 KiB
Current children cumulated memory: 360360 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.06 1.96 3/187 28605
/proc/meminfo: memFree=10140364/32770624 swapFree=67108860/67108860
[pid=28458] ppid=28454 vsize=449624 memory=360360 CPUtime=1782.1 cores=0,2,4,6
/proc/28458/stat : 28458 (xcsp_picat) R 28454 28458 26989 0 -1 4202496 402055 0 0 0 177633 577 0 0 20 0 1 0 77037833 460414976 90090 33554432000 4194304 5849740 140736151923776 140736151922776 5312867 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37478400 140736151930038 140736151930116 140736151930116 140736151932874 0
/proc/28458/statm: 112406 90090 746 405 0 109350 0
Current children cumulated CPU time: 1782.1 s
Current children cumulated vsize: 449624 KiB
Current children cumulated memory: 360360 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.05 1.96 3/187 28606
/proc/meminfo: memFree=9984432/32770624 swapFree=67108860/67108860
[pid=28458] ppid=28454 vsize=609012 memory=515200 CPUtime=1842.12 cores=0,2,4,6
/proc/28458/stat : 28458 (xcsp_picat) R 28454 28458 26989 0 -1 4202496 407805 0 0 0 183623 589 0 0 20 0 1 0 77037833 623628288 128800 33554432000 4194304 5849740 140736151923776 140736151922936 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37478400 140736151930038 140736151930116 140736151930116 140736151932874 0
/proc/28458/statm: 152253 128800 746 405 0 149197 0
Current children cumulated CPU time: 1842.12 s
Current children cumulated vsize: 609012 KiB
Current children cumulated memory: 515200 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 1.96 3/187 28607
/proc/meminfo: memFree=9983780/32770624 swapFree=67108860/67108860
[pid=28458] ppid=28454 vsize=609012 memory=515224 CPUtime=1902.13 cores=0,2,4,6
/proc/28458/stat : 28458 (xcsp_picat) R 28454 28458 26989 0 -1 4202496 417218 0 0 0 189615 598 0 0 20 0 1 0 77037833 623628288 128806 33554432000 4194304 5849740 140736151923776 140736151922648 5437821 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37478400 140736151930038 140736151930116 140736151930116 140736151932874 0
/proc/28458/statm: 152253 128806 746 405 0 149197 0
Current children cumulated CPU time: 1902.13 s
Current children cumulated vsize: 609012 KiB
Current children cumulated memory: 515224 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 1.96 3/187 28608
/proc/meminfo: memFree=10205972/32770624 swapFree=67108860/67108860
[pid=28458] ppid=28454 vsize=674548 memory=580684 CPUtime=1962.13 cores=0,2,4,6
/proc/28458/stat : 28458 (xcsp_picat) R 28454 28458 26989 0 -1 4202496 458995 0 0 0 195604 609 0 0 20 0 1 0 77037833 690737152 145171 33554432000 4194304 5849740 140736151923776 140736151922776 5437825 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37478400 140736151930038 140736151930116 140736151930116 140736151932874 0
/proc/28458/statm: 168637 145171 746 405 0 165581 0
Current children cumulated CPU time: 1962.13 s
Current children cumulated vsize: 674548 KiB
Current children cumulated memory: 580684 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 1.96 3/187 28609
/proc/meminfo: memFree=10145600/32770624 swapFree=67108860/67108860
[pid=28458] ppid=28454 vsize=709368 memory=615800 CPUtime=2022.13 cores=0,2,4,6
/proc/28458/stat : 28458 (xcsp_picat) R 28454 28458 26989 0 -1 4202496 474062 0 0 0 201589 624 0 0 20 0 1 0 77037833 726392832 153950 33554432000 4194304 5849740 140736151923776 140736151922776 140496868896647 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37478400 140736151930038 140736151930116 140736151930116 140736151932874 0
/proc/28458/statm: 177342 153950 746 405 0 174286 0
Current children cumulated CPU time: 2022.13 s
Current children cumulated vsize: 709368 KiB
Current children cumulated memory: 615800 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/187 28617
/proc/meminfo: memFree=10154908/32770624 swapFree=67108860/67108860
[pid=28458] ppid=28454 vsize=643832 memory=550380 CPUtime=2082.15 cores=0,2,4,6
/proc/28458/stat : 28458 (xcsp_picat) R 28454 28458 26989 0 -1 4202496 506632 0 0 0 207579 636 0 0 20 0 1 0 77037833 659283968 137595 33554432000 4194304 5849740 140736151923776 140736151922776 5335529 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37478400 140736151930038 140736151930116 140736151930116 140736151932874 0
/proc/28458/statm: 160958 137595 746 405 0 157902 0
Current children cumulated CPU time: 2082.15 s
Current children cumulated vsize: 643832 KiB
Current children cumulated memory: 550380 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/187 28618
/proc/meminfo: memFree=10153456/32770624 swapFree=67108860/67108860
[pid=28458] ppid=28454 vsize=643832 memory=550796 CPUtime=2142.13 cores=0,2,4,6
/proc/28458/stat : 28458 (xcsp_picat) R 28454 28458 26989 0 -1 4202496 531132 0 0 0 213567 646 0 0 20 0 1 0 77037833 659283968 137699 33554432000 4194304 5849740 140736151923776 140736151922936 5438293 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37478400 140736151930038 140736151930116 140736151930116 140736151932874 0
/proc/28458/statm: 160958 137699 746 405 0 157902 0
Current children cumulated CPU time: 2142.13 s
Current children cumulated vsize: 643832 KiB
Current children cumulated memory: 550796 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 28619
/proc/meminfo: memFree=10089084/32770624 swapFree=67108860/67108860
[pid=28458] ppid=28454 vsize=709368 memory=616332 CPUtime=2202.11 cores=0,2,4,6
/proc/28458/stat : 28458 (xcsp_picat) R 28454 28458 26989 0 -1 4202496 566345 0 0 0 219555 656 0 0 20 0 1 0 77037833 726392832 154083 33554432000 4194304 5849740 140736151923776 140736151922776 5335568 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37478400 140736151930038 140736151930116 140736151930116 140736151932874 0
/proc/28458/statm: 177342 154083 746 405 0 174286 0
Current children cumulated CPU time: 2202.11 s
Current children cumulated vsize: 709368 KiB
Current children cumulated memory: 616332 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 28620
/proc/meminfo: memFree=10661708/32770624 swapFree=67108860/67108860
[pid=28458] ppid=28454 vsize=134472 memory=45080 CPUtime=2262.11 cores=0,2,4,6
/proc/28458/stat : 28458 (xcsp_picat) R 28454 28458 26989 0 -1 4202496 583485 0 0 0 225510 701 0 0 20 0 1 0 77037833 137699328 11270 33554432000 4194304 5849740 140736151923776 140736151922776 140496868896647 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37478400 140736151930038 140736151930116 140736151930116 140736151932874 0
/proc/28458/statm: 33618 11270 746 405 0 30562 0
Current children cumulated CPU time: 2262.11 s
Current children cumulated vsize: 134472 KiB
Current children cumulated memory: 45080 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 28621
/proc/meminfo: memFree=10584588/32770624 swapFree=67108860/67108860
[pid=28458] ppid=28454 vsize=212340 memory=123076 CPUtime=2322.11 cores=0,2,4,6
/proc/28458/stat : 28458 (xcsp_picat) R 28454 28458 26989 0 -1 4202496 593469 0 0 0 231469 742 0 0 20 0 1 0 77037833 217436160 30769 33554432000 4194304 5849740 140736151923776 140736151922776 140496868896647 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37478400 140736151930038 140736151930116 140736151930116 140736151932874 0
/proc/28458/statm: 53085 30769 746 405 0 50029 0
Current children cumulated CPU time: 2322.11 s
Current children cumulated vsize: 212340 KiB
Current children cumulated memory: 123076 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 28623
/proc/meminfo: memFree=10496788/32770624 swapFree=67108860/67108860
[pid=28458] ppid=28454 vsize=197004 memory=107740 CPUtime=2382.12 cores=0,2,4,6
/proc/28458/stat : 28458 (xcsp_picat) R 28454 28458 26989 0 -1 4202496 600239 0 0 0 237446 766 0 0 20 0 1 0 77037833 201732096 26935 33554432000 4194304 5849740 140736151923776 140736151922776 140496868896647 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37478400 140736151930038 140736151930116 140736151930116 140736151932874 0
/proc/28458/statm: 49251 26935 746 405 0 46195 0
Current children cumulated CPU time: 2382.12 s
Current children cumulated vsize: 197004 KiB
Current children cumulated memory: 107740 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 28624
/proc/meminfo: memFree=10417016/32770624 swapFree=67108860/67108860
[pid=28458] ppid=28454 vsize=206812 memory=117548 CPUtime=2442.13 cores=0,2,4,6
/proc/28458/stat : 28458 (xcsp_picat) R 28454 28458 26989 0 -1 4202496 604205 0 0 0 243426 787 0 0 20 0 1 0 77037833 211775488 29387 33554432000 4194304 5849740 140736151923776 140736151922776 5437611 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37478400 140736151930038 140736151930116 140736151930116 140736151932874 0
/proc/28458/statm: 51703 29387 746 405 0 48647 0
Current children cumulated CPU time: 2442.13 s
Current children cumulated vsize: 206812 KiB
Current children cumulated memory: 117548 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 28625
/proc/meminfo: memFree=10455748/32770624 swapFree=67108860/67108860
[pid=28458] ppid=28454 vsize=169660 memory=80396 CPUtime=2502.15 cores=0,2,4,6
/proc/28458/stat : 28458 (xcsp_picat) R 28454 28458 26989 0 -1 4202496 611646 0 0 0 249364 851 0 0 20 0 1 0 77037833 173731840 20099 33554432000 4194304 5849740 140736151923776 140736151922648 140496868896647 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37478400 140736151930038 140736151930116 140736151930116 140736151932874 0
/proc/28458/statm: 42415 20099 746 405 0 39359 0
Current children cumulated CPU time: 2502.15 s
Current children cumulated vsize: 169660 KiB
Current children cumulated memory: 80396 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.96 3/187 28625
/proc/meminfo: memFree=10366852/32770624 swapFree=67108860/67108860
[pid=28458] ppid=28454 vsize=193104 memory=103840 CPUtime=2519.85 cores=0,2,4,6
/proc/28458/stat : 28458 (xcsp_picat) R 28454 28458 26989 0 -1 4202496 615518 0 0 0 251125 860 0 0 20 0 1 0 77037833 197738496 25960 33554432000 4194304 5849740 140736151923776 140736151922648 5395153 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 37478400 140736151930038 140736151930116 140736151930116 140736151932874 0
/proc/28458/statm: 48276 25960 746 405 0 45220 0
Current children cumulated CPU time: 2519.85 s
Current children cumulated vsize: 193104 KiB
Current children cumulated memory: 103840 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 28458 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2511.25 s, system=8.61191 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.01
CPU time (s): 2519.87
CPU user time (s): 2511.25
CPU system time (s): 8.61191
CPU usage (%): 99.9942
Max. virtual memory (cumulated for all children) (KiB): 709368
Max. memory (cumulated for all children) (KiB): 616332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.25
system time used= 8.61191
maximum resident set size= 616332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 615518
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= 175
involuntary context switches= 1742
# summary of solver processes directly reported to runsolver:
# pid: 28458
# total CPU time (s): 2519.87
# total CPU user time (s): 2511.25
# total CPU system time (s): 8.61191
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.74532 second user time and 18.4388 second system time
The end