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 (1661 MiB free)
memory of node 1: 16384 MiB (2063 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303952-1534029586/watcher-4303952-1534029586 -o /tmp/evaluation-result-4303952-1534029586/solver-4303952-1534029586 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534024476-11661 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 797429603 HOME/instance-4303952-1534029586.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=12336, runsolver pid=12333
[startup+0.10029 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 12337
/proc/meminfo: memFree=3780556/32770624 swapFree=67108860/67108860
[pid=12336] ppid=12333 vsize=62836 memory=37564 CPUtime=0.09 cores=0,2,4,6
/proc/12336/stat : 12336 (MistralXCSP) R 12333 12336 11630 0 -1 4202496 9903 0 0 0 8 1 0 0 20 0 1 0 220521725 64344064 9391 33554432000 4194304 7499544 140721921223424 140721921213256 140548422888421 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 43130880 140721921229934 140721921230083 140721921230083 140721921232841 0
/proc/12336/statm: 15709 9391 751 807 0 8700 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 62836 KiB
Current children cumulated memory: 37564 KiB
[startup+0.209592 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 12337
/proc/meminfo: memFree=3771924/32770624 swapFree=67108860/67108860
[pid=12336] ppid=12333 vsize=72136 memory=47068 CPUtime=0.21 cores=0,2,4,6
/proc/12336/stat : 12336 (MistralXCSP) R 12333 12336 11630 0 -1 4202496 12287 0 0 0 19 2 0 0 20 0 1 0 220521725 73867264 11767 33554432000 4194304 7499544 140721921223424 140721921213256 140548422888421 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 43130880 140721921229934 140721921230083 140721921230083 140721921232841 0
/proc/12336/statm: 18034 11767 791 807 0 11025 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 72136 KiB
Current children cumulated memory: 47068 KiB
[startup+0.309647 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 12337
/proc/meminfo: memFree=3766248/32770624 swapFree=67108860/67108860
[pid=12336] ppid=12333 vsize=76352 memory=51184 CPUtime=0.31 cores=0,2,4,6
/proc/12336/stat : 12336 (MistralXCSP) R 12333 12336 11630 0 -1 4202496 13168 0 0 0 29 2 0 0 20 0 1 0 220521725 78184448 12796 33554432000 4194304 7499544 140721921223424 140721921213256 5703712 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 43130880 140721921229934 140721921230083 140721921230083 140721921232841 0
/proc/12336/statm: 19088 12796 791 807 0 12079 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 76352 KiB
Current children cumulated memory: 51184 KiB
[startup+0.700422 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12337
/proc/meminfo: memFree=3765604/32770624 swapFree=67108860/67108860
[pid=12336] ppid=12333 vsize=77672 memory=52768 CPUtime=0.69 cores=0,2,4,6
/proc/12336/stat : 12336 (MistralXCSP) R 12333 12336 11630 0 -1 4202496 13521 0 0 0 67 2 0 0 20 0 1 0 220521725 79536128 13192 33554432000 4194304 7499544 140721921223424 140721921217960 5791056 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 43130880 140721921229934 140721921230083 140721921230083 140721921232841 0
/proc/12336/statm: 19418 13192 793 807 0 12409 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 77672 KiB
Current children cumulated memory: 52768 KiB
[startup+1.50042 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 12337
/proc/meminfo: memFree=3764488/32770624 swapFree=67108860/67108860
[pid=12336] ppid=12333 vsize=78464 memory=53560 CPUtime=1.49 cores=0,2,4,6
/proc/12336/stat : 12336 (MistralXCSP) R 12333 12336 11630 0 -1 4202496 13719 0 0 0 147 2 0 0 20 0 1 0 220521725 80347136 13390 33554432000 4194304 7499544 140721921223424 140721921217992 5791192 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 43130880 140721921229934 140721921230083 140721921230083 140721921232841 0
/proc/12336/statm: 19616 13390 793 807 0 12607 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 78464 KiB
Current children cumulated memory: 53560 KiB
[startup+3.10948 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12337
/proc/meminfo: memFree=3763564/32770624 swapFree=67108860/67108860
[pid=12336] ppid=12333 vsize=78728 memory=53708 CPUtime=3.09 cores=0,2,4,6
/proc/12336/stat : 12336 (MistralXCSP) R 12333 12336 11630 0 -1 4202496 20851 0 0 0 307 2 0 0 20 0 1 0 220521725 80617472 13427 33554432000 4194304 7499544 140721921223424 140721921217704 4579874 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 43130880 140721921229934 140721921230083 140721921230083 140721921232841 0
/proc/12336/statm: 19682 13427 793 807 0 12673 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 78728 KiB
Current children cumulated memory: 53708 KiB
[startup+6.30034 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 12337
/proc/meminfo: memFree=3763124/32770624 swapFree=67108860/67108860
[pid=12336] ppid=12333 vsize=78992 memory=53924 CPUtime=6.28 cores=0,2,4,6
/proc/12336/stat : 12336 (MistralXCSP) R 12333 12336 11630 0 -1 4202496 28078 0 0 0 626 2 0 0 20 0 1 0 220521725 80887808 13481 33554432000 4194304 7499544 140721921223424 140721921217992 4249719 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 43130880 140721921229934 140721921230083 140721921230083 140721921232841 0
/proc/12336/statm: 19748 13481 793 807 0 12739 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 78992 KiB
Current children cumulated memory: 53924 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12337
/proc/meminfo: memFree=3763256/32770624 swapFree=67108860/67108860
[pid=12336] ppid=12333 vsize=78992 memory=54068 CPUtime=12.69 cores=0,2,4,6
/proc/12336/stat : 12336 (MistralXCSP) R 12333 12336 11630 0 -1 4202496 35310 0 0 0 1266 3 0 0 20 0 1 0 220521725 80887808 13517 33554432000 4194304 7499544 140721921223424 140721921217704 5585339 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 43130880 140721921229934 140721921230083 140721921230083 140721921232841 0
/proc/12336/statm: 19748 13517 793 807 0 12739 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 78992 KiB
Current children cumulated memory: 54068 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 12345
/proc/meminfo: memFree=3762520/32770624 swapFree=67108860/67108860
[pid=12336] ppid=12333 vsize=79124 memory=54136 CPUtime=25.49 cores=0,2,4,6
/proc/12336/stat : 12336 (MistralXCSP) R 12333 12336 11630 0 -1 4202496 46890 0 0 0 2545 4 0 0 20 0 1 0 220521725 81022976 13534 33554432000 4194304 7499544 140721921223424 140721921218088 5790896 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 43130880 140721921229934 140721921230083 140721921230083 140721921232841 0
/proc/12336/statm: 19781 13534 793 807 0 12772 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 79124 KiB
Current children cumulated memory: 54136 KiB
[startup+51.1094 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 12345
/proc/meminfo: memFree=3762424/32770624 swapFree=67108860/67108860
[pid=12336] ppid=12333 vsize=79124 memory=54176 CPUtime=51.09 cores=0,2,4,6
/proc/12336/stat : 12336 (MistralXCSP) R 12333 12336 11630 0 -1 4202496 57078 0 0 0 5105 4 0 0 20 0 1 0 220521725 81022976 13544 33554432000 4194304 7499544 140721921223424 140721921218088 5790974 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 43130880 140721921229934 140721921230083 140721921230083 140721921232841 0
/proc/12336/statm: 19781 13544 793 807 0 12772 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 79124 KiB
Current children cumulated memory: 54176 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 12346
/proc/meminfo: memFree=3762376/32770624 swapFree=67108860/67108860
[pid=12336] ppid=12333 vsize=79256 memory=54260 CPUtime=102.26 cores=0,2,4,6
/proc/12336/stat : 12336 (MistralXCSP) R 12333 12336 11630 0 -1 4202496 58806 0 0 0 10222 4 0 0 20 0 1 0 220521725 81158144 13565 33554432000 4194304 7499544 140721921223424 140721921217704 5701653 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 43130880 140721921229934 140721921230083 140721921230083 140721921232841 0
/proc/12336/statm: 19814 13565 793 807 0 12805 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 79256 KiB
Current children cumulated memory: 54260 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 12347
/proc/meminfo: memFree=3762148/32770624 swapFree=67108860/67108860
[pid=12336] ppid=12333 vsize=79256 memory=54308 CPUtime=162.25 cores=0,2,4,6
/proc/12336/stat : 12336 (MistralXCSP) R 12333 12336 11630 0 -1 4202496 59582 0 0 0 16221 4 0 0 20 0 1 0 220521725 81158144 13577 33554432000 4194304 7499544 140721921223424 140721921217704 4579688 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 43130880 140721921229934 140721921230083 140721921230083 140721921232841 0
/proc/12336/statm: 19814 13577 793 807 0 12805 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 79256 KiB
Current children cumulated memory: 54308 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 12348
/proc/meminfo: memFree=3761528/32770624 swapFree=67108860/67108860
[pid=12336] ppid=12333 vsize=79388 memory=54356 CPUtime=222.25 cores=0,2,4,6
/proc/12336/stat : 12336 (MistralXCSP) R 12333 12336 11630 0 -1 4202496 60357 0 0 0 22221 4 0 0 20 0 1 0 220521725 81293312 13589 33554432000 4194304 7499544 140721921223424 140721921217960 5702067 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 43130880 140721921229934 140721921230083 140721921230083 140721921232841 0
/proc/12336/statm: 19847 13589 793 807 0 12838 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 79388 KiB
Current children cumulated memory: 54356 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 12349
/proc/meminfo: memFree=3761452/32770624 swapFree=67108860/67108860
[pid=12336] ppid=12333 vsize=79388 memory=54364 CPUtime=282.24 cores=0,2,4,6
/proc/12336/stat : 12336 (MistralXCSP) R 12333 12336 11630 0 -1 4202496 60805 0 0 0 28220 4 0 0 20 0 1 0 220521725 81293312 13591 33554432000 4194304 7499544 140721921223424 140721921217960 4320871 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 43130880 140721921229934 140721921230083 140721921230083 140721921232841 0
/proc/12336/statm: 19847 13591 793 807 0 12838 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 79388 KiB
Current children cumulated memory: 54364 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12351
/proc/meminfo: memFree=3761776/32770624 swapFree=67108860/67108860
[pid=12336] ppid=12333 vsize=79388 memory=54380 CPUtime=342.24 cores=0,2,4,6
/proc/12336/stat : 12336 (MistralXCSP) R 12333 12336 11630 0 -1 4202496 61616 0 0 0 34220 4 0 0 20 0 1 0 220521725 81293312 13595 33554432000 4194304 7499544 140721921223424 140721921217960 5684111 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 43130880 140721921229934 140721921230083 140721921230083 140721921232841 0
/proc/12336/statm: 19847 13595 793 807 0 12838 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 79388 KiB
Current children cumulated memory: 54380 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12352
/proc/meminfo: memFree=3761776/32770624 swapFree=67108860/67108860
[pid=12336] ppid=12333 vsize=79388 memory=54384 CPUtime=402.23 cores=0,2,4,6
/proc/12336/stat : 12336 (MistralXCSP) R 12333 12336 11630 0 -1 4202496 62408 0 0 0 40219 4 0 0 20 0 1 0 220521725 81293312 13596 33554432000 4194304 7499544 140721921223424 140721921217960 5790974 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 43130880 140721921229934 140721921230083 140721921230083 140721921232841 0
/proc/12336/statm: 19847 13596 793 807 0 12838 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 79388 KiB
Current children cumulated memory: 54384 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12353
/proc/meminfo: memFree=3761652/32770624 swapFree=67108860/67108860
[pid=12336] ppid=12333 vsize=79388 memory=54432 CPUtime=462.24 cores=0,2,4,6
/proc/12336/stat : 12336 (MistralXCSP) R 12333 12336 11630 0 -1 4202496 62902 0 0 0 46219 5 0 0 20 0 1 0 220521725 81293312 13608 33554432000 4194304 7499544 140721921223424 140721921217960 5701224 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 43130880 140721921229934 140721921230083 140721921230083 140721921232841 0
/proc/12336/statm: 19847 13608 793 807 0 12838 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 79388 KiB
Current children cumulated memory: 54432 KiB
################
# More data... #
################
/proc/12336/statm: 19880 13628 793 807 0 12871 0
Current children cumulated CPU time: 1722 s
Current children cumulated vsize: 79520 KiB
Current children cumulated memory: 54512 KiB
[startup+1782.3 s]
/proc/loadavg: 2.02 2.16 2.13 3/187 12392
/proc/meminfo: memFree=3757540/32770624 swapFree=67108860/67108860
[pid=12336] ppid=12333 vsize=79520 memory=54520 CPUtime=1781.99 cores=0,2,4,6
/proc/12336/stat : 12336 (MistralXCSP) R 12333 12336 11630 0 -1 4202496 74893 0 0 0 178193 6 0 0 20 0 1 0 220521725 81428480 13630 33554432000 4194304 7499544 140721921223424 140721921217704 5703753 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 43130880 140721921229934 140721921230083 140721921230083 140721921232841 0
/proc/12336/statm: 19880 13630 793 807 0 12871 0
Current children cumulated CPU time: 1781.99 s
Current children cumulated vsize: 79520 KiB
Current children cumulated memory: 54520 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.13 2.12 3/188 12401
/proc/meminfo: memFree=3756420/32770624 swapFree=67108860/67108860
[pid=12336] ppid=12333 vsize=79520 memory=54520 CPUtime=1841.98 cores=0,2,4,6
/proc/12336/stat : 12336 (MistralXCSP) R 12333 12336 11630 0 -1 4202496 75408 0 0 0 184192 6 0 0 20 0 1 0 220521725 81428480 13630 33554432000 4194304 7499544 140721921223424 140721921217704 5648129 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 43130880 140721921229934 140721921230083 140721921230083 140721921232841 0
/proc/12336/statm: 19880 13630 793 807 0 12871 0
Current children cumulated CPU time: 1841.98 s
Current children cumulated vsize: 79520 KiB
Current children cumulated memory: 54520 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.11 2.11 3/188 12402
/proc/meminfo: memFree=3757040/32770624 swapFree=67108860/67108860
[pid=12336] ppid=12333 vsize=79520 memory=54520 CPUtime=1901.96 cores=0,2,4,6
/proc/12336/stat : 12336 (MistralXCSP) R 12333 12336 11630 0 -1 4202496 75929 0 0 0 190190 6 0 0 20 0 1 0 220521725 81428480 13630 33554432000 4194304 7499544 140721921223424 140721921217704 4253248 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 43130880 140721921229934 140721921230083 140721921230083 140721921232841 0
/proc/12336/statm: 19880 13630 793 807 0 12871 0
Current children cumulated CPU time: 1901.96 s
Current children cumulated vsize: 79520 KiB
Current children cumulated memory: 54520 KiB
[startup+1962.3 s]
/proc/loadavg: 2.07 2.10 2.11 3/188 12403
/proc/meminfo: memFree=3757164/32770624 swapFree=67108860/67108860
[pid=12336] ppid=12333 vsize=79520 memory=54520 CPUtime=1961.95 cores=0,2,4,6
/proc/12336/stat : 12336 (MistralXCSP) R 12333 12336 11630 0 -1 4202496 76441 0 0 0 196189 6 0 0 20 0 1 0 220521725 81428480 13630 33554432000 4194304 7499544 140721921223424 140721921217704 4246863 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 43130880 140721921229934 140721921230083 140721921230083 140721921232841 0
/proc/12336/statm: 19880 13630 793 807 0 12871 0
Current children cumulated CPU time: 1961.95 s
Current children cumulated vsize: 79520 KiB
Current children cumulated memory: 54520 KiB
[startup+2022.3 s]
/proc/loadavg: 2.03 2.09 2.11 3/188 12404
/proc/meminfo: memFree=3757272/32770624 swapFree=67108860/67108860
[pid=12336] ppid=12333 vsize=79520 memory=54520 CPUtime=2021.94 cores=0,2,4,6
/proc/12336/stat : 12336 (MistralXCSP) R 12333 12336 11630 0 -1 4202496 76951 0 0 0 202188 6 0 0 20 0 1 0 220521725 81428480 13630 33554432000 4194304 7499544 140721921223424 140721921217704 4257864 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 43130880 140721921229934 140721921230083 140721921230083 140721921232841 0
/proc/12336/statm: 19880 13630 793 807 0 12871 0
Current children cumulated CPU time: 2021.94 s
Current children cumulated vsize: 79520 KiB
Current children cumulated memory: 54520 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.07 2.10 3/188 12405
/proc/meminfo: memFree=3757508/32770624 swapFree=67108860/67108860
[pid=12336] ppid=12333 vsize=79520 memory=54520 CPUtime=2081.93 cores=0,2,4,6
/proc/12336/stat : 12336 (MistralXCSP) R 12333 12336 11630 0 -1 4202496 77471 0 0 0 208187 6 0 0 20 0 1 0 220521725 81428480 13630 33554432000 4194304 7499544 140721921223424 140721921217704 4541830 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 43130880 140721921229934 140721921230083 140721921230083 140721921232841 0
/proc/12336/statm: 19880 13630 793 807 0 12871 0
Current children cumulated CPU time: 2081.93 s
Current children cumulated vsize: 79520 KiB
Current children cumulated memory: 54520 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.06 2.10 3/187 12407
/proc/meminfo: memFree=3756840/32770624 swapFree=67108860/67108860
[pid=12336] ppid=12333 vsize=79520 memory=54520 CPUtime=2141.92 cores=0,2,4,6
/proc/12336/stat : 12336 (MistralXCSP) R 12333 12336 11630 0 -1 4202496 77996 0 0 0 214185 7 0 0 20 0 1 0 220521725 81428480 13630 33554432000 4194304 7499544 140721921223424 140721921217704 5838144 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 43130880 140721921229934 140721921230083 140721921230083 140721921232841 0
/proc/12336/statm: 19880 13630 793 807 0 12871 0
Current children cumulated CPU time: 2141.92 s
Current children cumulated vsize: 79520 KiB
Current children cumulated memory: 54520 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.05 2.09 3/187 12408
/proc/meminfo: memFree=3756640/32770624 swapFree=67108860/67108860
[pid=12336] ppid=12333 vsize=79520 memory=54520 CPUtime=2201.91 cores=0,2,4,6
/proc/12336/stat : 12336 (MistralXCSP) R 12333 12336 11630 0 -1 4202496 78510 0 0 0 220184 7 0 0 20 0 1 0 220521725 81428480 13630 33554432000 4194304 7499544 140721921223424 140721921217704 4579518 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 43130880 140721921229934 140721921230083 140721921230083 140721921232841 0
/proc/12336/statm: 19880 13630 793 807 0 12871 0
Current children cumulated CPU time: 2201.91 s
Current children cumulated vsize: 79520 KiB
Current children cumulated memory: 54520 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.04 2.08 3/187 12409
/proc/meminfo: memFree=3756624/32770624 swapFree=67108860/67108860
[pid=12336] ppid=12333 vsize=79520 memory=54520 CPUtime=2261.9 cores=0,2,4,6
/proc/12336/stat : 12336 (MistralXCSP) R 12333 12336 11630 0 -1 4202496 79028 0 0 0 226183 7 0 0 20 0 1 0 220521725 81428480 13630 33554432000 4194304 7499544 140721921223424 140721921217704 5701321 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 43130880 140721921229934 140721921230083 140721921230083 140721921232841 0
/proc/12336/statm: 19880 13630 793 807 0 12871 0
Current children cumulated CPU time: 2261.9 s
Current children cumulated vsize: 79520 KiB
Current children cumulated memory: 54520 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.08 3/187 12411
/proc/meminfo: memFree=3756848/32770624 swapFree=67108860/67108860
[pid=12336] ppid=12333 vsize=79520 memory=54520 CPUtime=2321.88 cores=0,2,4,6
/proc/12336/stat : 12336 (MistralXCSP) R 12333 12336 11630 0 -1 4202496 79543 0 0 0 232181 7 0 0 20 0 1 0 220521725 81428480 13630 33554432000 4194304 7499544 140721921223424 140721921217704 5790971 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 43130880 140721921229934 140721921230083 140721921230083 140721921232841 0
/proc/12336/statm: 19880 13630 793 807 0 12871 0
Current children cumulated CPU time: 2321.88 s
Current children cumulated vsize: 79520 KiB
Current children cumulated memory: 54520 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.07 3/187 12412
/proc/meminfo: memFree=3756500/32770624 swapFree=67108860/67108860
[pid=12336] ppid=12333 vsize=79520 memory=54520 CPUtime=2381.87 cores=0,2,4,6
/proc/12336/stat : 12336 (MistralXCSP) R 12333 12336 11630 0 -1 4202496 80362 0 0 0 238180 7 0 0 20 0 1 0 220521725 81428480 13630 33554432000 4194304 7499544 140721921223424 140721921217704 5629225 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 43130880 140721921229934 140721921230083 140721921230083 140721921232841 0
/proc/12336/statm: 19880 13630 793 807 0 12871 0
Current children cumulated CPU time: 2381.87 s
Current children cumulated vsize: 79520 KiB
Current children cumulated memory: 54520 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.07 3/187 12420
/proc/meminfo: memFree=3755632/32770624 swapFree=67108860/67108860
[pid=12336] ppid=12333 vsize=79520 memory=54524 CPUtime=2441.86 cores=0,2,4,6
/proc/12336/stat : 12336 (MistralXCSP) R 12333 12336 11630 0 -1 4202496 80852 0 0 0 244179 7 0 0 20 0 1 0 220521725 81428480 13631 33554432000 4194304 7499544 140721921223424 140721921217704 5838066 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 43130880 140721921229934 140721921230083 140721921230083 140721921232841 0
/proc/12336/statm: 19880 13631 793 807 0 12871 0
Current children cumulated CPU time: 2441.86 s
Current children cumulated vsize: 79520 KiB
Current children cumulated memory: 54524 KiB
[startup+2502.3 s]
/proc/loadavg: 2.06 2.03 2.07 3/187 12507
/proc/meminfo: memFree=3740980/32770624 swapFree=67108860/67108860
[pid=12336] ppid=12333 vsize=79520 memory=54524 CPUtime=2501.85 cores=0,2,4,6
/proc/12336/stat : 12336 (MistralXCSP) R 12333 12336 11630 0 -1 4202496 81330 0 0 0 250178 7 0 0 20 0 1 0 220521725 81428480 13631 33554432000 4194304 7499544 140721921223424 140721921217704 5585376 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 43130880 140721921229934 140721921230083 140721921230083 140721921232841 0
/proc/12336/statm: 19880 13631 793 807 0 12871 0
Current children cumulated CPU time: 2501.85 s
Current children cumulated vsize: 79520 KiB
Current children cumulated memory: 54524 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.05 2.03 2.06 3/187 12507
/proc/meminfo: memFree=3740724/32770624 swapFree=67108860/67108860
[pid=12336] ppid=12333 vsize=79520 memory=54524 CPUtime=2519.55 cores=0,2,4,6
/proc/12336/stat : 12336 (MistralXCSP) R 12333 12336 11630 0 -1 4202496 81799 0 0 0 251948 7 0 0 20 0 1 0 220521725 81428480 13631 33554432000 4194304 7499544 140721921223424 140721921217704 5790971 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 43130880 140721921229934 140721921230083 140721921230083 140721921232841 0
/proc/12336/statm: 19880 13631 793 807 0 12871 0
Current children cumulated CPU time: 2519.55 s
Current children cumulated vsize: 79520 KiB
Current children cumulated memory: 54524 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 12336 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.49 s, system=0.074987 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520.01
CPU time (s): 2519.56
CPU user time (s): 2519.49
CPU system time (s): 0.074987
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 79520
Max. memory (cumulated for all children) (KiB): 54524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.49
system time used= 0.074987
maximum resident set size= 54544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81834
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= 28
involuntary context switches= 2620
# summary of solver processes directly reported to runsolver:
# pid: 12336
# total CPU time (s): 2519.56
# total CPU user time (s): 2519.49
# total CPU system time (s): 0.074987
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.95408 second user time and 18.1028 second system time
The end