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 (15036 MiB free)
memory of node 1: 16384 MiB (11860 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293365-1532315640/watcher-4293365-1532315640 -o /tmp/evaluation-result-4293365-1532315640/solver-4293365-1532315640 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532294350-7318 --watchdog 2580 xcsp_picat HOME/instance-4293365-1532315640.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
solver pid=10111, runsolver pid=10108
Current StackSize limit: 8192 KiB
[startup+0.101056 s]*
/proc/loadavg: 2.00 2.01 2.05 3/189 10112
/proc/meminfo: memFree=27528504/32770624 swapFree=67108860/67108860
[pid=10111] ppid=10108 vsize=113304 memory=16820 CPUtime=0.09 cores=0,2,4,6
/proc/10111/stat : 10111 (xcsp_picat) R 10108 10111 7287 0 -1 4202496 1843 0 0 0 9 0 0 0 20 0 1 0 49127243 116023296 4205 33554432000 4194304 5849740 140727515221760 140727515220632 5373283 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 23592960 140727515227318 140727515227396 140727515227396 140727515230154 0
/proc/10111/statm: 28326 4205 676 405 0 25270 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 113304 KiB
Current children cumulated memory: 16820 KiB
[startup+0.209615 s]*
/proc/loadavg: 2.00 2.01 2.05 3/189 10112
/proc/meminfo: memFree=27528504/32770624 swapFree=67108860/67108860
[pid=10111] ppid=10108 vsize=113304 memory=16820 CPUtime=0.2 cores=0,2,4,6
/proc/10111/stat : 10111 (xcsp_picat) R 10108 10111 7287 0 -1 4202496 1847 0 0 0 20 0 0 0 20 0 1 0 49127243 116023296 4205 33554432000 4194304 5849740 140727515221760 140727515220632 5360443 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 23592960 140727515227318 140727515227396 140727515227396 140727515230154 0
/proc/10111/statm: 28326 4205 676 405 0 25270 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 113304 KiB
Current children cumulated memory: 16820 KiB
[startup+0.30885 s]*
/proc/loadavg: 2.00 2.01 2.05 3/189 10112
/proc/meminfo: memFree=27527484/32770624 swapFree=67108860/67108860
[pid=10111] ppid=10108 vsize=114052 memory=17092 CPUtime=0.3 cores=0,2,4,6
/proc/10111/stat : 10111 (xcsp_picat) R 10108 10111 7287 0 -1 4202496 2111 0 0 0 30 0 0 0 20 0 1 0 49127243 116789248 4273 33554432000 4194304 5849740 140727515221760 140727515220712 5416615 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 23592960 140727515227318 140727515227396 140727515227396 140727515230154 0
/proc/10111/statm: 28513 4273 700 405 0 25457 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 114052 KiB
Current children cumulated memory: 17092 KiB
[startup+0.700271 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 10112
/proc/meminfo: memFree=27525996/32770624 swapFree=67108860/67108860
[pid=10111] ppid=10108 vsize=115600 memory=18676 CPUtime=0.68 cores=0,2,4,6
/proc/10111/stat : 10111 (xcsp_picat) R 10108 10111 7287 0 -1 4202496 2502 0 0 0 68 0 0 0 20 0 1 0 49127243 118374400 4669 33554432000 4194304 5849740 140727515221760 140727515220712 4211621 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 23592960 140727515227318 140727515227396 140727515227396 140727515230154 0
/proc/10111/statm: 28900 4669 704 405 0 25844 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 115600 KiB
Current children cumulated memory: 18676 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 10112
/proc/meminfo: memFree=27525996/32770624 swapFree=67108860/67108860
[pid=10111] ppid=10108 vsize=115600 memory=18676 CPUtime=1.48 cores=0,2,4,6
/proc/10111/stat : 10111 (xcsp_picat) R 10108 10111 7287 0 -1 4202496 2502 0 0 0 148 0 0 0 20 0 1 0 49127243 118374400 4669 33554432000 4194304 5849740 140727515221760 140727515219912 4211654 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 23592960 140727515227318 140727515227396 140727515227396 140727515230154 0
/proc/10111/statm: 28900 4669 704 405 0 25844 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 115600 KiB
Current children cumulated memory: 18676 KiB
[startup+3.10918 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 10112
/proc/meminfo: memFree=27524516/32770624 swapFree=67108860/67108860
[pid=10111] ppid=10108 vsize=116948 memory=20348 CPUtime=3.1 cores=0,2,4,6
/proc/10111/stat : 10111 (xcsp_picat) R 10108 10111 7287 0 -1 4202496 3691 0 0 0 307 3 0 0 20 0 1 0 49127243 119754752 5087 33554432000 4194304 5849740 140727515221760 140727515220760 4212035 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 23592960 140727515227318 140727515227396 140727515227396 140727515230154 0
/proc/10111/statm: 29237 5087 708 405 0 26181 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 116948 KiB
Current children cumulated memory: 20348 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 10112
/proc/meminfo: memFree=27521204/32770624 swapFree=67108860/67108860
[pid=10111] ppid=10108 vsize=119408 memory=22868 CPUtime=6.28 cores=0,2,4,6
/proc/10111/stat : 10111 (xcsp_picat) R 10108 10111 7287 0 -1 4202496 9546 0 0 0 619 9 0 0 20 0 1 0 49127243 122273792 5717 33554432000 4194304 5849740 140727515221760 140727515220760 139859770019719 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 23592960 140727515227318 140727515227396 140727515227396 140727515230154 0
/proc/10111/statm: 29852 5717 708 405 0 26796 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 119408 KiB
Current children cumulated memory: 22868 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 10112
/proc/meminfo: memFree=27520812/32770624 swapFree=67108860/67108860
[pid=10111] ppid=10108 vsize=123796 memory=27244 CPUtime=12.69 cores=0,2,4,6
/proc/10111/stat : 10111 (xcsp_picat) R 10108 10111 7287 0 -1 4202496 20428 0 0 0 1249 20 0 0 20 0 1 0 49127243 126767104 6811 33554432000 4194304 5849740 140727515221760 140727515220760 139859770019719 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 23592960 140727515227318 140727515227396 140727515227396 140727515230154 0
/proc/10111/statm: 30949 6811 708 405 0 27893 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 123796 KiB
Current children cumulated memory: 27244 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 10112
/proc/meminfo: memFree=27517324/32770624 swapFree=67108860/67108860
[pid=10111] ppid=10108 vsize=125444 memory=28948 CPUtime=25.48 cores=0,2,4,6
/proc/10111/stat : 10111 (xcsp_picat) R 10108 10111 7287 0 -1 4202496 37340 0 0 0 2509 39 0 0 20 0 1 0 49127243 128454656 7237 33554432000 4194304 5849740 140727515221760 140727515220920 139859770019719 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 23592960 140727515227318 140727515227396 140727515227396 140727515230154 0
/proc/10111/statm: 31361 7237 708 405 0 28305 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 125444 KiB
Current children cumulated memory: 28948 KiB
[startup+51.1094 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 10112
/proc/meminfo: memFree=27495540/32770624 swapFree=67108860/67108860
[pid=10111] ppid=10108 vsize=140252 memory=43708 CPUtime=51.09 cores=0,2,4,6
/proc/10111/stat : 10111 (xcsp_picat) R 10108 10111 7287 0 -1 4202496 64677 0 0 0 5040 69 0 0 20 0 1 0 49127243 143618048 10927 33554432000 4194304 5849740 140727515221760 140727515220248 5392615 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 23592960 140727515227318 140727515227396 140727515227396 140727515230154 0
/proc/10111/statm: 35063 10927 708 405 0 32007 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 140252 KiB
Current children cumulated memory: 43708 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10113
/proc/meminfo: memFree=27498612/32770624 swapFree=67108860/67108860
[pid=10111] ppid=10108 vsize=136484 memory=41688 CPUtime=102.27 cores=0,2,4,6
/proc/10111/stat : 10111 (xcsp_picat) R 10108 10111 7287 0 -1 4202496 104734 0 0 0 10108 119 0 0 20 0 1 0 49127243 139759616 10422 33554432000 4194304 5849740 140727515221760 140727515220760 139859770019719 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 23592960 140727515227318 140727515227396 140727515227396 140727515230154 0
/proc/10111/statm: 34121 10422 708 405 0 31065 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 136484 KiB
Current children cumulated memory: 41688 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10114
/proc/meminfo: memFree=27474656/32770624 swapFree=67108860/67108860
[pid=10111] ppid=10108 vsize=148800 memory=56996 CPUtime=162.26 cores=0,2,4,6
/proc/10111/stat : 10111 (xcsp_picat) R 10108 10111 7287 0 -1 4202496 140441 0 0 0 16060 166 0 0 20 0 1 0 49127243 152371200 14249 33554432000 4194304 5849740 140727515221760 140727515220760 139859770019719 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 23592960 140727515227318 140727515227396 140727515227396 140727515230154 0
/proc/10111/statm: 37200 14249 708 405 0 34144 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 148800 KiB
Current children cumulated memory: 56996 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10115
/proc/meminfo: memFree=27470552/32770624 swapFree=67108860/67108860
[pid=10111] ppid=10108 vsize=151648 memory=59844 CPUtime=222.26 cores=0,2,4,6
/proc/10111/stat : 10111 (xcsp_picat) R 10108 10111 7287 0 -1 4202496 167243 0 0 0 22022 204 0 0 20 0 1 0 49127243 155287552 14961 33554432000 4194304 5849740 140727515221760 140727515220760 139859770019719 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 23592960 140727515227318 140727515227396 140727515227396 140727515230154 0
/proc/10111/statm: 37912 14961 708 405 0 34856 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 151648 KiB
Current children cumulated memory: 59844 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10116
/proc/meminfo: memFree=27440656/32770624 swapFree=67108860/67108860
[pid=10111] ppid=10108 vsize=181104 memory=89320 CPUtime=282.25 cores=0,2,4,6
/proc/10111/stat : 10111 (xcsp_picat) R 10108 10111 7287 0 -1 4202496 191467 0 0 0 27986 239 0 0 20 0 1 0 49127243 185450496 22330 33554432000 4194304 5849740 140727515221760 140727515220632 5355906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 23592960 140727515227318 140727515227396 140727515227396 140727515230154 0
/proc/10111/statm: 45276 22330 708 405 0 42220 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 181104 KiB
Current children cumulated memory: 89320 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10117
/proc/meminfo: memFree=27427344/32770624 swapFree=67108860/67108860
[pid=10111] ppid=10108 vsize=190632 memory=98932 CPUtime=342.24 cores=0,2,4,6
/proc/10111/stat : 10111 (xcsp_picat) R 10108 10111 7287 0 -1 4202496 216572 0 0 0 33960 264 0 0 20 0 1 0 49127243 195207168 24733 33554432000 4194304 5849740 140727515221760 140727515220760 139859770019719 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 23592960 140727515227318 140727515227396 140727515227396 140727515230154 0
/proc/10111/statm: 47658 24733 708 405 0 44602 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 190632 KiB
Current children cumulated memory: 98932 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10125
/proc/meminfo: memFree=27363976/32770624 swapFree=67108860/67108860
[pid=10111] ppid=10108 vsize=269740 memory=178108 CPUtime=402.24 cores=0,2,4,6
/proc/10111/stat : 10111 (xcsp_picat) R 10108 10111 7287 0 -1 4202496 227395 0 0 0 39938 286 0 0 20 0 1 0 49127243 276213760 44527 33554432000 4194304 5849740 140727515221760 140727515220760 5437698 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 23592960 140727515227318 140727515227396 140727515227396 140727515230154 0
/proc/10111/statm: 67435 44527 708 405 0 64379 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 269740 KiB
Current children cumulated memory: 178108 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10126
/proc/meminfo: memFree=27409952/32770624 swapFree=67108860/67108860
[pid=10111] ppid=10108 vsize=201480 memory=109828 CPUtime=462.23 cores=0,2,4,6
/proc/10111/stat : 10111 (xcsp_picat) R 10108 10111 7287 0 -1 4202496 247329 0 0 0 45916 307 0 0 20 0 1 0 49127243 206315520 27457 33554432000 4194304 5849740 140727515221760 140727515220632 5399769 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 23592960 140727515227318 140727515227396 140727515227396 140727515230154 0
/proc/10111/statm: 50370 27457 708 405 0 47314 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 201480 KiB
Current children cumulated memory: 109828 KiB
################
# More data... #
################
Current children cumulated memory: 230424 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10133
/proc/meminfo: memFree=27266228/32770624 swapFree=67108860/67108860
[pid=10111] ppid=10108 vsize=327612 memory=236028 CPUtime=822.17 cores=0,2,4,6
/proc/10111/stat : 10111 (xcsp_picat) R 10108 10111 7287 0 -1 4202496 361868 0 0 0 81809 408 0 0 20 0 1 0 49127243 335474688 59007 33554432000 4194304 5849740 140727515221760 140727515220920 5437808 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 23592960 140727515227318 140727515227396 140727515227396 140727515230154 0
/proc/10111/statm: 81903 59007 708 405 0 78847 0
Current children cumulated CPU time: 822.17 s
Current children cumulated vsize: 327612 KiB
Current children cumulated memory: 236028 KiB
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10135
/proc/meminfo: memFree=27263232/32770624 swapFree=67108860/67108860
[pid=10111] ppid=10108 vsize=327612 memory=236028 CPUtime=882.16 cores=0,2,4,6
/proc/10111/stat : 10111 (xcsp_picat) R 10108 10111 7287 0 -1 4202496 377551 0 0 0 87797 419 0 0 20 0 1 0 49127243 335474688 59007 33554432000 4194304 5849740 140727515221760 140727515220760 5438330 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 23592960 140727515227318 140727515227396 140727515227396 140727515230154 0
/proc/10111/statm: 81903 59007 708 405 0 78847 0
Current children cumulated CPU time: 882.16 s
Current children cumulated vsize: 327612 KiB
Current children cumulated memory: 236028 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10136
/proc/meminfo: memFree=27247496/32770624 swapFree=67108860/67108860
[pid=10111] ppid=10108 vsize=327612 memory=236028 CPUtime=942.14 cores=0,2,4,6
/proc/10111/stat : 10111 (xcsp_picat) R 10108 10111 7287 0 -1 4202496 390172 0 0 0 93785 429 0 0 20 0 1 0 49127243 335474688 59007 33554432000 4194304 5849740 140727515221760 140727515220760 5437709 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 23592960 140727515227318 140727515227396 140727515227396 140727515230154 0
/proc/10111/statm: 81903 59007 708 405 0 78847 0
Current children cumulated CPU time: 942.14 s
Current children cumulated vsize: 327612 KiB
Current children cumulated memory: 236028 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 10145
/proc/meminfo: memFree=27095864/32770624 swapFree=67108860/67108860
[pid=10111] ppid=10108 vsize=481872 memory=390288 CPUtime=1002.12 cores=0,2,4,6
/proc/10111/stat : 10111 (xcsp_picat) R 10108 10111 7287 0 -1 4202496 420950 0 0 0 99767 445 0 0 20 0 1 0 49127243 493436928 97572 33554432000 4194304 5849740 140727515221760 140727515220920 139859770019719 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 23592960 140727515227318 140727515227396 140727515227396 140727515230154 0
/proc/10111/statm: 120468 97572 708 405 0 117412 0
Current children cumulated CPU time: 1002.12 s
Current children cumulated vsize: 481872 KiB
Current children cumulated memory: 390288 KiB
[startup+1062.3 s]
/proc/loadavg: 2.45 2.15 2.09 3/188 10146
/proc/meminfo: memFree=27096788/32770624 swapFree=67108860/67108860
[pid=10111] ppid=10108 vsize=481872 memory=390288 CPUtime=1062.12 cores=0,2,4,6
/proc/10111/stat : 10111 (xcsp_picat) R 10108 10111 7287 0 -1 4202496 422629 0 0 0 105759 453 0 0 20 0 1 0 49127243 493436928 97572 33554432000 4194304 5849740 140727515221760 140727515220760 5413069 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 23592960 140727515227318 140727515227396 140727515227396 140727515230154 0
/proc/10111/statm: 120468 97572 708 405 0 117412 0
Current children cumulated CPU time: 1062.12 s
Current children cumulated vsize: 481872 KiB
Current children cumulated memory: 390288 KiB
[startup+1122.3 s]
/proc/loadavg: 2.16 2.12 2.08 3/187 10147
/proc/meminfo: memFree=27050048/32770624 swapFree=67108860/67108860
[pid=10111] ppid=10108 vsize=514216 memory=422632 CPUtime=1122.12 cores=0,2,4,6
/proc/10111/stat : 10111 (xcsp_picat) R 10108 10111 7287 0 -1 4202496 458151 0 0 0 111748 464 0 0 20 0 1 0 49127243 526557184 105658 33554432000 4194304 5849740 140727515221760 140727515220760 139859770019719 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 23592960 140727515227318 140727515227396 140727515227396 140727515230154 0
/proc/10111/statm: 128554 105658 708 405 0 125498 0
Current children cumulated CPU time: 1122.12 s
Current children cumulated vsize: 514216 KiB
Current children cumulated memory: 422632 KiB
[startup+1182.3 s]
/proc/loadavg: 2.06 2.10 2.08 3/188 10149
/proc/meminfo: memFree=27273144/32770624 swapFree=67108860/67108860
[pid=10111] ppid=10108 vsize=289064 memory=197480 CPUtime=1182.11 cores=0,2,4,6
/proc/10111/stat : 10111 (xcsp_picat) R 10108 10111 7287 0 -1 4202496 506380 0 0 0 117733 478 0 0 20 0 1 0 49127243 296001536 49370 33554432000 4194304 5849740 140727515221760 140727515220760 139859770019719 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 23592960 140727515227318 140727515227396 140727515227396 140727515230154 0
/proc/10111/statm: 72266 49370 708 405 0 69210 0
Current children cumulated CPU time: 1182.11 s
Current children cumulated vsize: 289064 KiB
Current children cumulated memory: 197480 KiB
[startup+1242.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/188 10150
/proc/meminfo: memFree=27265716/32770624 swapFree=67108860/67108860
[pid=10111] ppid=10108 vsize=297860 memory=206276 CPUtime=1242.1 cores=0,2,4,6
/proc/10111/stat : 10111 (xcsp_picat) R 10108 10111 7287 0 -1 4202496 533186 0 0 0 123719 491 0 0 20 0 1 0 49127243 305008640 51569 33554432000 4194304 5849740 140727515221760 140727515220760 139859770019719 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 23592960 140727515227318 140727515227396 140727515227396 140727515230154 0
/proc/10111/statm: 74465 51569 708 405 0 71409 0
Current children cumulated CPU time: 1242.1 s
Current children cumulated vsize: 297860 KiB
Current children cumulated memory: 206276 KiB
[startup+1254.32 s]
# the end of solver process 10111 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1249.17 s, system=4.96353 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1248 s]*
/proc/loadavg: 2.02 2.08 2.07 3/188 10150
/proc/meminfo: memFree=27265468/32770624 swapFree=67108860/67108860
[pid=10111] ppid=10108 vsize=297860 memory=206276 CPUtime=1247.81 cores=0,2,4,6
/proc/10111/stat : 10111 (xcsp_picat) R 10108 10111 7287 0 -1 4202496 533244 0 0 0 124288 493 0 0 20 0 1 0 49127243 305008640 51569 33554432000 4194304 5849740 140727515221760 140727515220760 139859770019719 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 23592960 140727515227318 140727515227396 140727515227396 140727515230154 0
/proc/10111/statm: 74465 51569 708 405 0 71409 0
Current children cumulated CPU time: 1247.81 s
Current children cumulated vsize: 297860 KiB
Current children cumulated memory: 206276 KiB
[startup+1251.2 s]
/proc/loadavg: 2.02 2.08 2.07 3/188 10150
/proc/meminfo: memFree=27264224/32770624 swapFree=67108860/67108860
[pid=10111] ppid=10108 vsize=297860 memory=206276 CPUtime=1251.01 cores=0,2,4,6
/proc/10111/stat : 10111 (xcsp_picat) R 10108 10111 7287 0 -1 4202496 533289 0 0 0 124606 495 0 0 20 0 1 0 49127243 305008640 51569 33554432000 4194304 5849740 140727515221760 140727515220760 139859770019719 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 23592960 140727515227318 140727515227396 140727515227396 140727515230154 0
/proc/10111/statm: 74465 51569 708 405 0 71409 0
Current children cumulated CPU time: 1251.01 s
Current children cumulated vsize: 297860 KiB
Current children cumulated memory: 206276 KiB
[startup+1252.8 s]
/proc/loadavg: 2.02 2.08 2.07 3/188 10150
/proc/meminfo: memFree=27264348/32770624 swapFree=67108860/67108860
[pid=10111] ppid=10108 vsize=297860 memory=206276 CPUtime=1252.6 cores=0,2,4,6
/proc/10111/stat : 10111 (xcsp_picat) R 10108 10111 7287 0 -1 4202496 533304 0 0 0 124765 495 0 0 20 0 1 0 49127243 305008640 51569 33554432000 4194304 5849740 140727515221760 140727515220632 139859770019719 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 23592960 140727515227318 140727515227396 140727515227396 140727515230154 0
/proc/10111/statm: 74465 51569 708 405 0 71409 0
Current children cumulated CPU time: 1252.6 s
Current children cumulated vsize: 297860 KiB
Current children cumulated memory: 206276 KiB
[startup+1253.6 s]
/proc/loadavg: 2.02 2.08 2.07 3/188 10150
/proc/meminfo: memFree=27264348/32770624 swapFree=67108860/67108860
[pid=10111] ppid=10108 vsize=297860 memory=206276 CPUtime=1253.4 cores=0,2,4,6
/proc/10111/stat : 10111 (xcsp_picat) R 10108 10111 7287 0 -1 4202496 533311 0 0 0 124845 495 0 0 20 0 1 0 49127243 305008640 51569 33554432000 4194304 5849740 140727515221760 140727515220760 5437698 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 23592960 140727515227318 140727515227396 140727515227396 140727515230154 0
/proc/10111/statm: 74465 51569 708 405 0 71409 0
Current children cumulated CPU time: 1253.4 s
Current children cumulated vsize: 297860 KiB
Current children cumulated memory: 206276 KiB
[startup+1254 s]*
/proc/loadavg: 2.02 2.08 2.07 3/188 10150
/proc/meminfo: memFree=27264348/32770624 swapFree=67108860/67108860
[pid=10111] ppid=10108 vsize=297860 memory=206276 CPUtime=1253.81 cores=0,2,4,6
/proc/10111/stat : 10111 (xcsp_picat) R 10108 10111 7287 0 -1 4202496 533313 0 0 0 124886 495 0 0 20 0 1 0 49127243 305008640 51569 33554432000 4194304 5849740 140727515221760 140727515220760 5312778 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 23592960 140727515227318 140727515227396 140727515227396 140727515230154 0
/proc/10111/statm: 74465 51569 708 405 0 71409 0
Current children cumulated CPU time: 1253.81 s
Current children cumulated vsize: 297860 KiB
Current children cumulated memory: 206276 KiB
[startup+1254.2 s]
/proc/loadavg: 2.02 2.08 2.07 3/188 10150
/proc/meminfo: memFree=27264348/32770624 swapFree=67108860/67108860
[pid=10111] ppid=10108 vsize=297860 memory=206276 CPUtime=1254 cores=0,2,4,6
/proc/10111/stat : 10111 (xcsp_picat) R 10108 10111 7287 0 -1 4202496 533314 0 0 0 124905 495 0 0 20 0 1 0 49127243 305008640 51569 33554432000 4194304 5849740 140727515221760 140727515220760 5437616 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 23592960 140727515227318 140727515227396 140727515227396 140727515230154 0
/proc/10111/statm: 74465 51569 708 405 0 71409 0
Current children cumulated CPU time: 1254 s
Current children cumulated vsize: 297860 KiB
Current children cumulated memory: 206276 KiB
[startup+1254.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/188 10150
/proc/meminfo: memFree=27264348/32770624 swapFree=67108860/67108860
[pid=10111] ppid=10108 vsize=297860 memory=206276 CPUtime=1254.1 cores=0,2,4,6
/proc/10111/stat : 10111 (xcsp_picat) R 10108 10111 7287 0 -1 4202496 533315 0 0 0 124915 495 0 0 20 0 1 0 49127243 305008640 51569 33554432000 4194304 5849740 140727515221760 140727515220760 5437839 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 23592960 140727515227318 140727515227396 140727515227396 140727515230154 0
/proc/10111/statm: 74465 51569 708 405 0 71409 0
Current children cumulated CPU time: 1254.1 s
Current children cumulated vsize: 297860 KiB
Current children cumulated memory: 206276 KiB
Child status: 0
Real time (s): 1254.32
CPU time (s): 1254.13
CPU user time (s): 1249.17
CPU system time (s): 4.96353
CPU usage (%): 99.9852
Max. virtual memory (cumulated for all children) (KiB): 514216
Max. memory (cumulated for all children) (KiB): 422632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1249.17
system time used= 4.96353
maximum resident set size= 422632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 533394
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= 79
involuntary context switches= 1575
# summary of solver processes directly reported to runsolver:
# pid: 10111
# total CPU time (s): 1254.13
# total CPU user time (s): 1249.17
# total CPU system time (s): 4.96353
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.99878 second user time and 8.9312 second system time
The end