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 (12669 MiB free)
memory of node 1: 16384 MiB (15375 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293667-1532325667/watcher-4293667-1532325667 -o /tmp/evaluation-result-4293667-1532325667/solver-4293667-1532325667 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532297650-6631 --watchdog 2580 xcsp_picat HOME/instance-4293667-1532325667.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=9886, runsolver pid=9883
Current StackSize limit: 8192 KiB
[startup+0.10016 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 9887
/proc/meminfo: memFree=28699316/32770624 swapFree=67108796/67108860
[pid=9886] ppid=9883 vsize=114424 memory=21168 CPUtime=0.1 cores=1,3,5,7
/proc/9886/stat : 9886 (xcsp_picat) R 9883 9886 6599 0 -1 4202496 2838 0 0 0 10 0 0 0 20 0 1 0 50129876 117170176 5292 33554432000 4194304 5849740 140721932600464 140721932600464 5359888 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 43114496 140721932608694 140721932608772 140721932608772 140721932611530 0
/proc/9886/statm: 28606 5292 669 405 0 25550 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 114424 KiB
Current children cumulated memory: 21168 KiB
[startup+0.209628 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 9887
/proc/meminfo: memFree=28698572/32770624 swapFree=67108796/67108860
[pid=9886] ppid=9883 vsize=115428 memory=21908 CPUtime=0.21 cores=1,3,5,7
/proc/9886/stat : 9886 (xcsp_picat) R 9883 9886 6599 0 -1 4202496 3110 0 0 0 21 0 0 0 20 0 1 0 50129876 118198272 5477 33554432000 4194304 5849740 140721932600464 140721932600464 5308439 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 43114496 140721932608694 140721932608772 140721932608772 140721932611530 0
/proc/9886/statm: 28857 5477 677 405 0 25801 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 115428 KiB
Current children cumulated memory: 21908 KiB
[startup+0.308953 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 9887
/proc/meminfo: memFree=28698268/32770624 swapFree=67108796/67108860
[pid=9886] ppid=9883 vsize=115428 memory=21908 CPUtime=0.3 cores=1,3,5,7
/proc/9886/stat : 9886 (xcsp_picat) R 9883 9886 6599 0 -1 4202496 3110 0 0 0 30 0 0 0 20 0 1 0 50129876 118198272 5477 33554432000 4194304 5849740 140721932600464 140721932600464 5330036 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 43114496 140721932608694 140721932608772 140721932608772 140721932611530 0
/proc/9886/statm: 28857 5477 677 405 0 25801 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 115428 KiB
Current children cumulated memory: 21908 KiB
[startup+0.700277 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9887
/proc/meminfo: memFree=28698268/32770624 swapFree=67108796/67108860
[pid=9886] ppid=9883 vsize=115768 memory=22340 CPUtime=0.69 cores=1,3,5,7
/proc/9886/stat : 9886 (xcsp_picat) R 9883 9886 6599 0 -1 4202496 3195 0 0 0 69 0 0 0 20 0 1 0 50129876 118546432 5585 33554432000 4194304 5849740 140721932600464 140721932600464 5306994 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 43114496 140721932608694 140721932608772 140721932608772 140721932611530 0
/proc/9886/statm: 28942 5585 678 405 0 25886 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 115768 KiB
Current children cumulated memory: 22340 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9887
/proc/meminfo: memFree=28699508/32770624 swapFree=67108796/67108860
[pid=9886] ppid=9883 vsize=115288 memory=21956 CPUtime=1.49 cores=1,3,5,7
/proc/9886/stat : 9886 (xcsp_picat) R 9883 9886 6599 0 -1 4202496 4216 0 0 0 149 0 0 0 20 0 1 0 50129876 118054912 5489 33554432000 4194304 5849740 140721932600464 140721932598952 4204904 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 43114496 140721932608694 140721932608772 140721932608772 140721932611530 0
/proc/9886/statm: 28822 5489 692 405 0 25766 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 115288 KiB
Current children cumulated memory: 21956 KiB
[startup+3.10918 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9887
/proc/meminfo: memFree=28698444/32770624 swapFree=67108796/67108860
[pid=9886] ppid=9883 vsize=114576 memory=21428 CPUtime=3.1 cores=1,3,5,7
/proc/9886/stat : 9886 (xcsp_picat) R 9883 9886 6599 0 -1 4202496 7433 0 0 0 309 1 0 0 20 0 1 0 50129876 117325824 5357 33554432000 4194304 5849740 140721932600464 140721932599464 5361726 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 43114496 140721932608694 140721932608772 140721932608772 140721932611530 0
/proc/9886/statm: 28644 5357 694 405 0 25588 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 114576 KiB
Current children cumulated memory: 21428 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9887
/proc/meminfo: memFree=28697188/32770624 swapFree=67108796/67108860
[pid=9886] ppid=9883 vsize=116892 memory=22844 CPUtime=6.29 cores=1,3,5,7
/proc/9886/stat : 9886 (xcsp_picat) R 9883 9886 6599 0 -1 4202496 10346 0 0 0 626 3 0 0 20 0 1 0 50129876 119697408 5711 33554432000 4194304 5849740 140721932600464 140721932598952 140172351217543 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 43114496 140721932608694 140721932608772 140721932608772 140721932611530 0
/proc/9886/statm: 29223 5711 694 405 0 26167 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 116892 KiB
Current children cumulated memory: 22844 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9887
/proc/meminfo: memFree=28692352/32770624 swapFree=67108796/67108860
[pid=9886] ppid=9883 vsize=123208 memory=29932 CPUtime=12.69 cores=1,3,5,7
/proc/9886/stat : 9886 (xcsp_picat) R 9883 9886 6599 0 -1 4202496 14868 0 0 0 1256 13 0 0 20 0 1 0 50129876 126164992 7483 33554432000 4194304 5849740 140721932600464 140721932599464 140172351217543 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 43114496 140721932608694 140721932608772 140721932608772 140721932611530 0
/proc/9886/statm: 30802 7483 694 405 0 27746 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 123208 KiB
Current children cumulated memory: 29932 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9887
/proc/meminfo: memFree=28686164/32770624 swapFree=67108796/67108860
[pid=9886] ppid=9883 vsize=128584 memory=35240 CPUtime=25.49 cores=1,3,5,7
/proc/9886/stat : 9886 (xcsp_picat) R 9883 9886 6599 0 -1 4202496 22939 0 0 0 2521 28 0 0 20 0 1 0 50129876 131670016 8810 33554432000 4194304 5849740 140721932600464 140721932599464 140172351217543 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 43114496 140721932608694 140721932608772 140721932608772 140721932611530 0
/proc/9886/statm: 32146 8810 694 405 0 29090 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 128584 KiB
Current children cumulated memory: 35240 KiB
[startup+51.1094 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9887
/proc/meminfo: memFree=28681736/32770624 swapFree=67108796/67108860
[pid=9886] ppid=9883 vsize=134040 memory=37596 CPUtime=51.1 cores=1,3,5,7
/proc/9886/stat : 9886 (xcsp_picat) R 9883 9886 6599 0 -1 4202496 40100 0 0 0 5060 50 0 0 20 0 1 0 50129876 137256960 9399 33554432000 4194304 5849740 140721932600464 140721932599336 140172351217543 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 43114496 140721932608694 140721932608772 140721932608772 140721932611530 0
/proc/9886/statm: 33510 9399 694 405 0 30454 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 134040 KiB
Current children cumulated memory: 37596 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9888
/proc/meminfo: memFree=28675676/32770624 swapFree=67108796/67108860
[pid=9886] ppid=9883 vsize=142044 memory=45636 CPUtime=102.29 cores=1,3,5,7
/proc/9886/stat : 9886 (xcsp_picat) R 9883 9886 6599 0 -1 4202496 49466 0 0 0 10119 110 0 0 20 0 1 0 50129876 145453056 11409 33554432000 4194304 5849740 140721932600464 140721932598952 4205083 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 43114496 140721932608694 140721932608772 140721932608772 140721932611530 0
/proc/9886/statm: 35511 11409 694 405 0 32455 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 142044 KiB
Current children cumulated memory: 45636 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9889
/proc/meminfo: memFree=28647092/32770624 swapFree=67108796/67108860
[pid=9886] ppid=9883 vsize=163244 memory=69724 CPUtime=162.28 cores=1,3,5,7
/proc/9886/stat : 9886 (xcsp_picat) R 9883 9886 6599 0 -1 4202496 63455 0 0 0 16057 171 0 0 20 0 1 0 50129876 167161856 17431 33554432000 4194304 5849740 140721932600464 140721932599464 5312778 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 43114496 140721932608694 140721932608772 140721932608772 140721932611530 0
/proc/9886/statm: 40811 17431 694 405 0 37755 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 163244 KiB
Current children cumulated memory: 69724 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9890
/proc/meminfo: memFree=28593144/32770624 swapFree=67108796/67108860
[pid=9886] ppid=9883 vsize=205168 memory=115496 CPUtime=222.28 cores=1,3,5,7
/proc/9886/stat : 9886 (xcsp_picat) R 9883 9886 6599 0 -1 4202496 70863 0 0 0 22029 199 0 0 20 0 1 0 50129876 210092032 28874 33554432000 4194304 5849740 140721932600464 140721932599336 5395854 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 43114496 140721932608694 140721932608772 140721932608772 140721932611530 0
/proc/9886/statm: 51292 28874 694 405 0 48236 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 205168 KiB
Current children cumulated memory: 115496 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9891
/proc/meminfo: memFree=28601384/32770624 swapFree=67108796/67108860
[pid=9886] ppid=9883 vsize=200748 memory=111108 CPUtime=282.28 cores=1,3,5,7
/proc/9886/stat : 9886 (xcsp_picat) R 9883 9886 6599 0 -1 4202496 86201 0 0 0 28008 220 0 0 20 0 1 0 50129876 205565952 27777 33554432000 4194304 5849740 140721932600464 140721932599464 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 43114496 140721932608694 140721932608772 140721932608772 140721932611530 0
/proc/9886/statm: 50187 27777 694 405 0 47131 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 200748 KiB
Current children cumulated memory: 111108 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9892
/proc/meminfo: memFree=28572796/32770624 swapFree=67108796/67108860
[pid=9886] ppid=9883 vsize=230728 memory=139288 CPUtime=342.27 cores=1,3,5,7
/proc/9886/stat : 9886 (xcsp_picat) R 9883 9886 6599 0 -1 4202496 100253 0 0 0 33988 239 0 0 20 0 1 0 50129876 236265472 34822 33554432000 4194304 5849740 140721932600464 140721932599464 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 43114496 140721932608694 140721932608772 140721932608772 140721932611530 0
/proc/9886/statm: 57682 34822 694 405 0 54626 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 230728 KiB
Current children cumulated memory: 139288 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9893
/proc/meminfo: memFree=28661020/32770624 swapFree=67108796/67108860
[pid=9886] ppid=9883 vsize=143588 memory=51520 CPUtime=402.27 cores=1,3,5,7
/proc/9886/stat : 9886 (xcsp_picat) R 9883 9886 6599 0 -1 4202496 103122 0 0 0 39928 299 0 0 20 0 1 0 50129876 147034112 12880 33554432000 4194304 5849740 140721932600464 140721932599464 140172351217543 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 43114496 140721932608694 140721932608772 140721932608772 140721932611530 0
/proc/9886/statm: 35897 12880 694 405 0 32841 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 143588 KiB
Current children cumulated memory: 51520 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9894
/proc/meminfo: memFree=28608696/32770624 swapFree=67108796/67108860
[pid=9886] ppid=9883 vsize=197000 memory=107408 CPUtime=462.28 cores=1,3,5,7
/proc/9886/stat : 9886 (xcsp_picat) R 9883 9886 6599 0 -1 4202496 108478 0 0 0 45891 337 0 0 20 0 1 0 50129876 201728000 26852 33554432000 4194304 5849740 140721932600464 140721932599464 5335585 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 43114496 140721932608694 140721932608772 140721932608772 140721932611530 0
/proc/9886/statm: 49250 26852 694 405 0 46194 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 197000 KiB
Current children cumulated memory: 107408 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9895
/proc/meminfo: memFree=28583000/32770624 swapFree=67108796/67108860
[pid=9886] ppid=9883 vsize=221080 memory=131268 CPUtime=522.27 cores=1,3,5,7
/proc/9886/stat : 9886 (xcsp_picat) R 9883 9886 6599 0 -1 4202496 113399 0 0 0 51864 363 0 0 20 0 1 0 50129876 226385920 32817 33554432000 4194304 5849740 140721932600464 140721932599464 5437620 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 43114496 140721932608694 140721932608772 140721932608772 140721932611530 0
/proc/9886/statm: 55270 32817 694 405 0 52214 0
Current children cumulated CPU time: 522.27 s
Current children cumulated vsize: 221080 KiB
Current children cumulated memory: 131268 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9903
/proc/meminfo: memFree=28649724/32770624 swapFree=67108796/67108860
[pid=9886] ppid=9883 vsize=150448 memory=60844 CPUtime=582.28 cores=1,3,5,7
/proc/9886/stat : 9886 (xcsp_picat) R 9883 9886 6599 0 -1 4202496 121430 0 0 0 57818 410 0 0 20 0 1 0 50129876 154058752 15211 33554432000 4194304 5849740 140721932600464 140721932599336 5335598 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 43114496 140721932608694 140721932608772 140721932608772 140721932611530 0
/proc/9886/statm: 37612 15211 694 405 0 34556 0
Current children cumulated CPU time: 582.28 s
Current children cumulated vsize: 150448 KiB
Current children cumulated memory: 60844 KiB
[startup+642.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9904
/proc/meminfo: memFree=28559124/32770624 swapFree=67108796/67108860
[pid=9886] ppid=9883 vsize=242228 memory=152600 CPUtime=642.27 cores=1,3,5,7
/proc/9886/stat : 9886 (xcsp_picat) R 9883 9886 6599 0 -1 4202496 129026 0 0 0 63782 445 0 0 20 0 1 0 50129876 248041472 38150 33554432000 4194304 5849740 140721932600464 140721932599464 5335568 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 43114496 140721932608694 140721932608772 140721932608772 140721932611530 0
/proc/9886/statm: 60557 38150 694 405 0 57501 0
Current children cumulated CPU time: 642.27 s
Current children cumulated vsize: 242228 KiB
Current children cumulated memory: 152600 KiB
[startup+702.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 9905
/proc/meminfo: memFree=28558224/32770624 swapFree=67108796/67108860
[pid=9886] ppid=9883 vsize=242228 memory=152624 CPUtime=702.26 cores=1,3,5,7
/proc/9886/stat : 9886 (xcsp_picat) R 9883 9886 6599 0 -1 4202496 137408 0 0 0 69759 467 0 0 20 0 1 0 50129876 248041472 38156 33554432000 4194304 5849740 140721932600464 140721932599464 5359083 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 43114496 140721932608694 140721932608772 140721932608772 140721932611530 0
/proc/9886/statm: 60557 38156 694 405 0 57501 0
Current children cumulated CPU time: 702.26 s
Current children cumulated vsize: 242228 KiB
Current children cumulated memory: 152624 KiB
[startup+762.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 9906
/proc/meminfo: memFree=28516816/32770624 swapFree=67108796/67108860
[pid=9886] ppid=9883 vsize=270100 memory=180544 CPUtime=762.27 cores=1,3,5,7
/proc/9886/stat : 9886 (xcsp_picat) R 9883 9886 6599 0 -1 4202496 144411 0 0 0 75744 483 0 0 20 0 1 0 50129876 276582400 45136 33554432000 4194304 5849740 140721932600464 140721932599624 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 43114496 140721932608694 140721932608772 140721932608772 140721932611530 0
/proc/9886/statm: 67525 45136 694 405 0 64469 0
Current children cumulated CPU time: 762.27 s
Current children cumulated vsize: 270100 KiB
Current children cumulated memory: 180544 KiB
[startup+810.468 s]
# the end of solver process 9886 was just reported to runsolver
# cumulated CPU time of all completed processes: user=805.441 s, system=5.00289 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+768 s]*
/proc/loadavg: 2.01 2.02 2.05 3/187 9906
/proc/meminfo: memFree=28516816/32770624 swapFree=67108796/67108860
[pid=9886] ppid=9883 vsize=270100 memory=180544 CPUtime=767.98 cores=1,3,5,7
/proc/9886/stat : 9886 (xcsp_picat) R 9883 9886 6599 0 -1 4202496 144414 0 0 0 76314 484 0 0 20 0 1 0 50129876 276582400 45136 33554432000 4194304 5849740 140721932600464 140721932599464 140172351217543 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 43114496 140721932608694 140721932608772 140721932608772 140721932611530 0
/proc/9886/statm: 67525 45136 694 405 0 64469 0
Current children cumulated CPU time: 767.98 s
Current children cumulated vsize: 270100 KiB
Current children cumulated memory: 180544 KiB
[startup+793.6 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 9907
/proc/meminfo: memFree=28488328/32770624 swapFree=67108796/67108860
[pid=9886] ppid=9883 vsize=302868 memory=213312 CPUtime=793.57 cores=1,3,5,7
/proc/9886/stat : 9886 (xcsp_picat) R 9883 9886 6599 0 -1 4202496 148901 0 0 0 78864 493 0 0 20 0 1 0 50129876 310136832 53328 33554432000 4194304 5849740 140721932600464 140721932599464 5335598 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 43114496 140721932608694 140721932608772 140721932608772 140721932611530 0
/proc/9886/statm: 75717 53328 694 405 0 72661 0
Current children cumulated CPU time: 793.57 s
Current children cumulated vsize: 302868 KiB
Current children cumulated memory: 213312 KiB
[startup+800 s]*
/proc/loadavg: 2.01 2.02 2.05 3/187 9907
/proc/meminfo: memFree=28488408/32770624 swapFree=67108796/67108860
[pid=9886] ppid=9883 vsize=302868 memory=213312 CPUtime=799.98 cores=1,3,5,7
/proc/9886/stat : 9886 (xcsp_picat) R 9883 9886 6599 0 -1 4202496 148902 0 0 0 79503 495 0 0 20 0 1 0 50129876 310136832 53328 33554432000 4194304 5849740 140721932600464 140721932599464 5392379 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 43114496 140721932608694 140721932608772 140721932608772 140721932611530 0
/proc/9886/statm: 75717 53328 694 405 0 72661 0
Current children cumulated CPU time: 799.98 s
Current children cumulated vsize: 302868 KiB
Current children cumulated memory: 213312 KiB
[startup+806.4 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 9907
/proc/meminfo: memFree=28520740/32770624 swapFree=67108796/67108860
[pid=9886] ppid=9883 vsize=270100 memory=180544 CPUtime=806.37 cores=1,3,5,7
/proc/9886/stat : 9886 (xcsp_picat) R 9883 9886 6599 0 -1 4202496 148972 0 0 0 80140 497 0 0 20 0 1 0 50129876 276582400 45136 33554432000 4194304 5849740 140721932600464 140721932599464 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 43114496 140721932608694 140721932608772 140721932608772 140721932611530 0
/proc/9886/statm: 67525 45136 694 405 0 64469 0
Current children cumulated CPU time: 806.37 s
Current children cumulated vsize: 270100 KiB
Current children cumulated memory: 180544 KiB
[startup+808 s]*
/proc/loadavg: 2.01 2.02 2.05 3/187 9907
/proc/meminfo: memFree=28520740/32770624 swapFree=67108796/67108860
[pid=9886] ppid=9883 vsize=270100 memory=180544 CPUtime=807.98 cores=1,3,5,7
/proc/9886/stat : 9886 (xcsp_picat) R 9883 9886 6599 0 -1 4202496 148972 0 0 0 80300 498 0 0 20 0 1 0 50129876 276582400 45136 33554432000 4194304 5849740 140721932600464 140721932599464 5438245 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 43114496 140721932608694 140721932608772 140721932608772 140721932611530 0
/proc/9886/statm: 67525 45136 694 405 0 64469 0
Current children cumulated CPU time: 807.98 s
Current children cumulated vsize: 270100 KiB
Current children cumulated memory: 180544 KiB
[startup+809.6 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 9907
/proc/meminfo: memFree=28520740/32770624 swapFree=67108796/67108860
[pid=9886] ppid=9883 vsize=270100 memory=180544 CPUtime=809.56 cores=1,3,5,7
/proc/9886/stat : 9886 (xcsp_picat) R 9883 9886 6599 0 -1 4202496 148972 0 0 0 80458 498 0 0 20 0 1 0 50129876 276582400 45136 33554432000 4194304 5849740 140721932600464 140721932599464 5312827 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 43114496 140721932608694 140721932608772 140721932608772 140721932611530 0
/proc/9886/statm: 67525 45136 694 405 0 64469 0
Current children cumulated CPU time: 809.56 s
Current children cumulated vsize: 270100 KiB
Current children cumulated memory: 180544 KiB
[startup+810 s]*
/proc/loadavg: 2.01 2.02 2.05 3/187 9907
/proc/meminfo: memFree=28520740/32770624 swapFree=67108796/67108860
[pid=9886] ppid=9883 vsize=270100 memory=180544 CPUtime=809.98 cores=1,3,5,7
/proc/9886/stat : 9886 (xcsp_picat) R 9883 9886 6599 0 -1 4202496 148972 0 0 0 80499 499 0 0 20 0 1 0 50129876 276582400 45136 33554432000 4194304 5849740 140721932600464 140721932599464 140172351217543 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 43114496 140721932608694 140721932608772 140721932608772 140721932611530 0
/proc/9886/statm: 67525 45136 694 405 0 64469 0
Current children cumulated CPU time: 809.98 s
Current children cumulated vsize: 270100 KiB
Current children cumulated memory: 180544 KiB
[startup+810.4 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 9907
/proc/meminfo: memFree=28520740/32770624 swapFree=67108796/67108860
[pid=9886] ppid=9883 vsize=270100 memory=180544 CPUtime=810.36 cores=1,3,5,7
/proc/9886/stat : 9886 (xcsp_picat) R 9883 9886 6599 0 -1 4202496 148972 0 0 0 80537 499 0 0 20 0 1 0 50129876 276582400 45136 33554432000 4194304 5849740 140721932600464 140721932599464 140172351217543 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 43114496 140721932608694 140721932608772 140721932608772 140721932611530 0
/proc/9886/statm: 67525 45136 694 405 0 64469 0
Current children cumulated CPU time: 810.36 s
Current children cumulated vsize: 270100 KiB
Current children cumulated memory: 180544 KiB
Child status: 0
Real time (s): 810.468
CPU time (s): 810.444
CPU user time (s): 805.441
CPU system time (s): 5.00289
CPU usage (%): 99.9971
Max. virtual memory (cumulated for all children) (KiB): 302868
Max. memory (cumulated for all children) (KiB): 213312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 805.441
system time used= 5.00289
maximum resident set size= 213312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149005
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= 14
involuntary context switches= 325
# summary of solver processes directly reported to runsolver:
# pid: 9886
# total CPU time (s): 810.444
# total CPU user time (s): 805.441
# total CPU system time (s): 5.00289
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.79059 second user time and 4.25816 second system time
The end