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 (13782 MiB free)
memory of node 1: 16384 MiB (12234 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395294-1568346763/watcher-4395294-1568346763 -o /tmp/evaluation-result-4395294-1568346763/solver-4395294-1568346763 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568323917-28816 --watchdog 2580 xcsp_picat HOME/instance-4395294-1568346763.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=2259, runsolver pid=2256
[startup+0.100117 s]*
/proc/loadavg: 2.15 2.06 2.06 3/200 2260
/proc/meminfo: memFree=26622332/32770624 swapFree=67004752/67108860
[pid=2259] ppid=2256 vsize=2031716 memory=24496 CPUtime=0.1 cores=0,2,4,6
/proc/2259/stat : 2259 (xcsp_picat) R 2256 2259 28785 0 -1 4202496 1726 0 0 0 10 0 0 0 20 0 1 0 410944159 2080477184 6124 33554432000 4194304 5870510 140735154988096 140735154985240 4460195 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18374656 140735154992159 140735154992237 140735154992237 140735154995146 0
/proc/2259/statm: 507929 6124 862 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 24496 KiB
[startup+0.209964 s]*
/proc/loadavg: 2.13 2.06 2.05 3/200 2260
/proc/meminfo: memFree=26587500/32770624 swapFree=67004752/67108860
[pid=2259] ppid=2256 vsize=2031716 memory=59556 CPUtime=0.21 cores=0,2,4,6
/proc/2259/stat : 2259 (xcsp_picat) R 2256 2259 28785 0 -1 4202496 1760 0 0 0 20 1 0 0 20 0 1 0 410944159 2080477184 14889 33554432000 4194304 5870510 140735154988096 140735154987400 4462355 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18374656 140735154992159 140735154992237 140735154992237 140735154995146 0
/proc/2259/statm: 507929 14889 891 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 59556 KiB
[startup+0.309594 s]*
/proc/loadavg: 2.13 2.06 2.05 3/200 2260
/proc/meminfo: memFree=26564848/32770624 swapFree=67004752/67108860
[pid=2259] ppid=2256 vsize=2031716 memory=82084 CPUtime=0.31 cores=0,2,4,6
/proc/2259/stat : 2259 (xcsp_picat) R 2256 2259 28785 0 -1 4202496 1771 0 0 0 30 1 0 0 20 0 1 0 410944159 2080477184 20521 33554432000 4194304 5870510 140735154988096 140735154987400 4491000 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18374656 140735154992159 140735154992237 140735154992237 140735154995146 0
/proc/2259/statm: 507929 20521 891 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 82084 KiB
[startup+0.700302 s]
/proc/loadavg: 2.13 2.06 2.05 3/200 2260
/proc/meminfo: memFree=26534596/32770624 swapFree=67004752/67108860
[pid=2259] ppid=2256 vsize=2072216 memory=120160 CPUtime=0.69 cores=0,2,4,6
/proc/2259/stat : 2259 (xcsp_picat) R 2256 2259 28785 0 -1 4202496 10313 0 0 0 67 2 0 0 20 0 1 0 410944159 2121949184 30040 33554432000 4194304 5870510 140735154988096 140735154986984 5337028 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18374656 140735154992159 140735154992237 140735154992237 140735154995146 0
/proc/2259/statm: 518054 30040 967 410 0 513527 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2072216 KiB
Current children cumulated memory: 120160 KiB
[startup+1.50031 s]
/proc/loadavg: 2.13 2.06 2.05 4/200 2260
/proc/meminfo: memFree=26524672/32770624 swapFree=67004752/67108860
[pid=2259] ppid=2256 vsize=2072572 memory=120932 CPUtime=1.49 cores=0,2,4,6
/proc/2259/stat : 2259 (xcsp_picat) R 2256 2259 28785 0 -1 4202496 10481 0 0 0 147 2 0 0 20 0 1 0 410944159 2122313728 30233 33554432000 4194304 5870510 140735154988096 140735154986984 5337589 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18374656 140735154992159 140735154992237 140735154992237 140735154995146 0
/proc/2259/statm: 518143 30233 973 410 0 513616 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2072572 KiB
Current children cumulated memory: 120932 KiB
[startup+3.10948 s]
/proc/loadavg: 2.13 2.06 2.05 5/200 2260
/proc/meminfo: memFree=26523840/32770624 swapFree=67004752/67108860
[pid=2259] ppid=2256 vsize=2069708 memory=119744 CPUtime=3.1 cores=0,2,4,6
/proc/2259/stat : 2259 (xcsp_picat) R 2256 2259 28785 0 -1 4202496 15260 0 0 0 307 3 0 0 20 0 1 0 410944159 2119380992 29936 33554432000 4194304 5870510 140735154988096 140735154987352 5262735 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18374656 140735154992159 140735154992237 140735154992237 140735154995146 0
/proc/2259/statm: 517427 29936 995 410 0 512900 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2069708 KiB
Current children cumulated memory: 119744 KiB
[startup+6.30029 s]
/proc/loadavg: 2.12 2.06 2.05 4/200 2260
/proc/meminfo: memFree=26518376/32770624 swapFree=67004752/67108860
[pid=2259] ppid=2256 vsize=2088564 memory=127336 CPUtime=6.29 cores=0,2,4,6
/proc/2259/stat : 2259 (xcsp_picat) R 2256 2259 28785 0 -1 4202496 21498 0 0 0 626 3 0 0 20 0 1 0 410944159 2138689536 31834 33554432000 4194304 5870510 140735154988096 140735154987048 5262797 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18374656 140735154992159 140735154992237 140735154992237 140735154995146 0
/proc/2259/statm: 522141 31834 995 410 0 517614 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2088564 KiB
Current children cumulated memory: 127336 KiB
[startup+12.7003 s]
/proc/loadavg: 2.11 2.06 2.05 4/200 2260
/proc/meminfo: memFree=26497760/32770624 swapFree=67004752/67108860
[pid=2259] ppid=2256 vsize=2107740 memory=148860 CPUtime=12.69 cores=0,2,4,6
/proc/2259/stat : 2259 (xcsp_picat) R 2256 2259 28785 0 -1 4202496 28735 0 0 0 1265 4 0 0 20 0 1 0 410944159 2158325760 37215 33554432000 4194304 5870510 140735154988096 140735154986456 5282767 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18374656 140735154992159 140735154992237 140735154992237 140735154995146 0
/proc/2259/statm: 526935 37215 995 410 0 522408 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2107740 KiB
Current children cumulated memory: 148860 KiB
[startup+25.5003 s]
/proc/loadavg: 2.10 2.06 2.05 5/200 2262
/proc/meminfo: memFree=26508820/32770624 swapFree=67004752/67108860
[pid=2259] ppid=2256 vsize=2081656 memory=127800 CPUtime=25.49 cores=0,2,4,6
/proc/2259/stat : 2259 (xcsp_picat) R 2256 2259 28785 0 -1 4202496 52971 0 0 0 2542 7 0 0 20 0 1 0 410944159 2131615744 31950 33554432000 4194304 5870510 140735154988096 140735154987272 5262964 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18374656 140735154992159 140735154992237 140735154992237 140735154995146 0
/proc/2259/statm: 520414 31950 1002 410 0 515887 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2081656 KiB
Current children cumulated memory: 127800 KiB
[startup+51.1095 s]
/proc/loadavg: 2.06 2.05 2.05 5/200 2262
/proc/meminfo: memFree=26422488/32770624 swapFree=67004752/67108860
[pid=2259] ppid=2256 vsize=2193208 memory=220972 CPUtime=51.09 cores=0,2,4,6
/proc/2259/stat : 2259 (xcsp_picat) R 2256 2259 28785 0 -1 4202496 68730 0 0 0 5100 9 0 0 20 0 1 0 410944159 2245844992 55243 33554432000 4194304 5870510 140735154988096 140735154987048 5262779 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18374656 140735154992159 140735154992237 140735154992237 140735154995146 0
/proc/2259/statm: 548302 55243 1004 410 0 543775 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2193208 KiB
Current children cumulated memory: 220972 KiB
[startup+102.3 s]
/proc/loadavg: 2.03 2.04 2.05 4/200 2266
/proc/meminfo: memFree=26314612/32770624 swapFree=67004752/67108860
[pid=2259] ppid=2256 vsize=2274596 memory=320608 CPUtime=102.27 cores=0,2,4,6
/proc/2259/stat : 2259 (xcsp_picat) R 2256 2259 28785 0 -1 4202496 75873 0 0 0 10215 12 0 0 20 0 1 0 410944159 2329186304 80152 33554432000 4194304 5870510 140735154988096 140735154987048 5262777 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18374656 140735154992159 140735154992237 140735154992237 140735154995146 0
/proc/2259/statm: 568649 80152 1004 410 0 564122 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2274596 KiB
Current children cumulated memory: 320608 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.04 2.05 5/200 2272
/proc/meminfo: memFree=26449348/32770624 swapFree=67004752/67108860
[pid=2259] ppid=2256 vsize=2143516 memory=185256 CPUtime=162.27 cores=0,2,4,6
/proc/2259/stat : 2259 (xcsp_picat) R 2256 2259 28785 0 -1 4202496 97112 0 0 0 16208 19 0 0 20 0 1 0 410944159 2194960384 46314 33554432000 4194304 5870510 140735154988096 140735154986456 5262777 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18374656 140735154992159 140735154992237 140735154992237 140735154995146 0
/proc/2259/statm: 535879 46314 1004 410 0 531352 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2143516 KiB
Current children cumulated memory: 185256 KiB
[startup+222.3 s]
/proc/loadavg: 2.04 2.04 2.05 4/199 2277
/proc/meminfo: memFree=26409980/32770624 swapFree=67004752/67108860
[pid=2259] ppid=2256 vsize=2193208 memory=226204 CPUtime=222.25 cores=0,2,4,6
/proc/2259/stat : 2259 (xcsp_picat) R 2256 2259 28785 0 -1 4202496 113599 0 0 0 22197 28 0 0 20 0 1 0 410944159 2245844992 56551 33554432000 4194304 5870510 140735154988096 140735154987048 5262777 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 18374656 140735154992159 140735154992237 140735154992237 140735154995146 0
/proc/2259/statm: 548302 56551 1004 410 0 543775 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 2193208 KiB
Current children cumulated memory: 226204 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.04 2.05 4/199 2281
/proc/meminfo: memFree=26574768/32770624 swapFree=67004752/67108860
[pid=2259] ppid=2256 vsize=2112300 memory=156096 CPUtime=282.25 cores=0,2,4,6
/proc/2259/stat : 2259 (xcsp_picat) R 2256 2259 28785 0 -1 4202496 124091 0 0 0 28189 36 0 0 20 0 1 0 410944159 2162995200 39024 33554432000 4194304 5870510 140735154988096 140735154987048 5262672 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18374656 140735154992159 140735154992237 140735154992237 140735154995146 0
/proc/2259/statm: 528075 39024 1004 410 0 523548 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 2112300 KiB
Current children cumulated memory: 156096 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.03 2.05 4/199 2287
/proc/meminfo: memFree=26576292/32770624 swapFree=67004752/67108860
[pid=2259] ppid=2256 vsize=2093040 memory=138588 CPUtime=342.25 cores=0,2,4,6
/proc/2259/stat : 2259 (xcsp_picat) R 2256 2259 28785 0 -1 4202496 131452 0 0 0 34185 40 0 0 20 0 1 0 410944159 2143272960 34647 33554432000 4194304 5870510 140735154988096 140735154986456 5304205 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18374656 140735154992159 140735154992237 140735154992237 140735154995146 0
/proc/2259/statm: 523260 34647 1004 410 0 518733 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 2093040 KiB
Current children cumulated memory: 138588 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 4/199 2292
/proc/meminfo: memFree=26568380/32770624 swapFree=67004752/67108860
[pid=2259] ppid=2256 vsize=2112300 memory=160192 CPUtime=402.25 cores=0,2,4,6
/proc/2259/stat : 2259 (xcsp_picat) R 2256 2259 28785 0 -1 4202496 147642 0 0 0 40174 51 0 0 20 0 1 0 410944159 2162995200 40048 33554432000 4194304 5870510 140735154988096 140735154987048 5282747 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18374656 140735154992159 140735154992237 140735154992237 140735154995146 0
/proc/2259/statm: 528075 40048 1004 410 0 523548 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 2112300 KiB
Current children cumulated memory: 160192 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/199 2296
/proc/meminfo: memFree=26413276/32770624 swapFree=67004752/67108860
[pid=2259] ppid=2256 vsize=2274596 memory=312284 CPUtime=462.25 cores=0,2,4,6
/proc/2259/stat : 2259 (xcsp_picat) R 2256 2259 28785 0 -1 4202496 150446 0 0 0 46169 56 0 0 20 0 1 0 410944159 2329186304 78071 33554432000 4194304 5870510 140735154988096 140735154987048 5262944 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18374656 140735154992159 140735154992237 140735154992237 140735154995146 0
/proc/2259/statm: 568649 78071 1004 410 0 564122 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 2274596 KiB
Current children cumulated memory: 312284 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/201 2311
/proc/meminfo: memFree=26435584/32770624 swapFree=67004752/67108860
[pid=2259] ppid=2256 vsize=2275740 memory=270988 CPUtime=522.25 cores=0,2,4,6
/proc/2259/stat : 2259 (xcsp_picat) R 2256 2259 28785 0 -1 4202496 151810 0 0 0 52165 60 0 0 20 0 1 0 410944159 2330357760 67747 33554432000 4194304 5870510 140735154988096 140735154986392 5262768 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18374656 140735154992159 140735154992237 140735154992237 140735154995146 0
/proc/2259/statm: 568935 67747 1004 410 0 564408 0
Current children cumulated CPU time: 522.25 s
Current children cumulated vsize: 2275740 KiB
Current children cumulated memory: 270988 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/201 2338
/proc/meminfo: memFree=26314548/32770624 swapFree=67004752/67108860
[pid=2259] ppid=2256 vsize=2411628 memory=409820 CPUtime=582.25 cores=0,2,4,6
/proc/2259/stat : 2259 (xcsp_picat) R 2256 2259 28785 0 -1 4202496 158462 0 0 0 58162 63 0 0 20 0 1 0 410944159 2469507072 102455 33554432000 4194304 5870510 140735154988096 140735154986392 5282642 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18374656 140735154992159 140735154992237 140735154992237 140735154995146 0
/proc/2259/statm: 602907 102455 1004 410 0 598380 0
Current children cumulated CPU time: 582.25 s
Current children cumulated vsize: 2411628 KiB
Current children cumulated memory: 409820 KiB
[startup+619.71 s]
# the end of solver process 2259 was just reported to runsolver
# cumulated CPU time of all completed processes: user=618.981 s, system=0.679951 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+588.8 s]
/proc/loadavg: 2.00 2.01 2.05 4/201 2338
/proc/meminfo: memFree=26483392/32770624 swapFree=67004752/67108860
[pid=2259] ppid=2256 vsize=2198320 memory=238152 CPUtime=588.75 cores=0,2,4,6
/proc/2259/stat : 2259 (xcsp_picat) R 2256 2259 28785 0 -1 4202496 159398 0 0 0 58810 65 0 0 20 0 1 0 410944159 2251079680 59538 33554432000 4194304 5870510 140735154988096 140735154987112 5275364 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18374656 140735154992159 140735154992237 140735154992237 140735154995146 0
/proc/2259/statm: 549580 59538 1004 410 0 545053 0
Current children cumulated CPU time: 588.75 s
Current children cumulated vsize: 2198320 KiB
Current children cumulated memory: 238152 KiB
[startup+601.6 s]
/proc/loadavg: 2.00 2.01 2.05 4/201 2340
/proc/meminfo: memFree=26458348/32770624 swapFree=67004752/67108860
[pid=2259] ppid=2256 vsize=2279844 memory=263456 CPUtime=601.55 cores=0,2,4,6
/proc/2259/stat : 2259 (xcsp_picat) R 2256 2259 28785 0 -1 4202496 160560 0 0 0 60089 66 0 0 20 0 1 0 410944159 2334560256 65864 33554432000 4194304 5870510 140735154988096 140735154986632 5258735 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18374656 140735154992159 140735154992237 140735154992237 140735154995146 0
/proc/2259/statm: 569961 65864 1004 410 0 565434 0
Current children cumulated CPU time: 601.55 s
Current children cumulated vsize: 2279844 KiB
Current children cumulated memory: 263456 KiB
[startup+608 s]*
/proc/loadavg: 2.00 2.01 2.05 4/202 2342
/proc/meminfo: memFree=26442764/32770624 swapFree=67004752/67108860
[pid=2259] ppid=2256 vsize=2279976 memory=273836 CPUtime=607.96 cores=0,2,4,6
/proc/2259/stat : 2259 (xcsp_picat) R 2256 2259 28785 0 -1 4202496 160771 0 0 0 60730 66 0 0 20 0 1 0 410944159 2334695424 68459 33554432000 4194304 5870510 140735154988096 140735154986632 5262777 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18374656 140735154992159 140735154992237 140735154992237 140735154995146 0
/proc/2259/statm: 569994 68459 1004 410 0 565467 0
Current children cumulated CPU time: 607.96 s
Current children cumulated vsize: 2279976 KiB
Current children cumulated memory: 273836 KiB
[startup+614.4 s]
/proc/loadavg: 2.00 2.01 2.05 5/201 2342
/proc/meminfo: memFree=26428036/32770624 swapFree=67004752/67108860
[pid=2259] ppid=2256 vsize=2280684 memory=286916 CPUtime=614.35 cores=0,2,4,6
/proc/2259/stat : 2259 (xcsp_picat) R 2256 2259 28785 0 -1 4202496 160998 0 0 0 61369 66 0 0 20 0 1 0 410944159 2335420416 71729 33554432000 4194304 5870510 140735154988096 140735154986648 5262770 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18374656 140735154992159 140735154992237 140735154992237 140735154995146 0
/proc/2259/statm: 570171 71729 1004 410 0 565644 0
Current children cumulated CPU time: 614.35 s
Current children cumulated vsize: 2280684 KiB
Current children cumulated memory: 286916 KiB
[startup+617.6 s]
/proc/loadavg: 2.00 2.01 2.05 4/201 2342
/proc/meminfo: memFree=26415632/32770624 swapFree=67004752/67108860
[pid=2259] ppid=2256 vsize=2281372 memory=299912 CPUtime=617.54 cores=0,2,4,6
/proc/2259/stat : 2259 (xcsp_picat) R 2256 2259 28785 0 -1 4202496 161180 0 0 0 61688 66 0 0 20 0 1 0 410944159 2336124928 74978 33554432000 4194304 5870510 140735154988096 140735154986648 5262793 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18374656 140735154992159 140735154992237 140735154992237 140735154995146 0
/proc/2259/statm: 570343 74978 1004 410 0 565816 0
Current children cumulated CPU time: 617.54 s
Current children cumulated vsize: 2281372 KiB
Current children cumulated memory: 299912 KiB
[startup+618.4 s]
/proc/loadavg: 2.00 2.01 2.05 5/201 2342
/proc/meminfo: memFree=26411288/32770624 swapFree=67004752/67108860
[pid=2259] ppid=2256 vsize=2281564 memory=301960 CPUtime=618.34 cores=0,2,4,6
/proc/2259/stat : 2259 (xcsp_picat) R 2256 2259 28785 0 -1 4202496 161219 0 0 0 61768 66 0 0 20 0 1 0 410944159 2336321536 75490 33554432000 4194304 5870510 140735154988096 140735154986648 5282736 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18374656 140735154992159 140735154992237 140735154992237 140735154995146 0
/proc/2259/statm: 570391 75490 1004 410 0 565864 0
Current children cumulated CPU time: 618.34 s
Current children cumulated vsize: 2281564 KiB
Current children cumulated memory: 301960 KiB
[startup+619.2 s]
/proc/loadavg: 2.00 2.01 2.05 4/201 2342
/proc/meminfo: memFree=26407068/32770624 swapFree=67004752/67108860
[pid=2259] ppid=2256 vsize=2281712 memory=308332 CPUtime=619.14 cores=0,2,4,6
/proc/2259/stat : 2259 (xcsp_picat) R 2256 2259 28785 0 -1 4202496 161271 0 0 0 61848 66 0 0 20 0 1 0 410944159 2336473088 77083 33554432000 4194304 5870510 140735154988096 140735154986648 5262777 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18374656 140735154992159 140735154992237 140735154992237 140735154995146 0
/proc/2259/statm: 570428 77083 1004 410 0 565901 0
Current children cumulated CPU time: 619.14 s
Current children cumulated vsize: 2281712 KiB
Current children cumulated memory: 308332 KiB
[startup+619.6 s]
/proc/loadavg: 2.00 2.01 2.05 4/201 2342
/proc/meminfo: memFree=26407068/32770624 swapFree=67004752/67108860
[pid=2259] ppid=2256 vsize=2281852 memory=310380 CPUtime=619.54 cores=0,2,4,6
/proc/2259/stat : 2259 (xcsp_picat) R 2256 2259 28785 0 -1 4202496 161307 0 0 0 61888 66 0 0 20 0 1 0 410944159 2336616448 77595 33554432000 4194304 5870510 140735154988096 140735154986648 5262731 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18374656 140735154992159 140735154992237 140735154992237 140735154995146 0
/proc/2259/statm: 570463 77595 1004 410 0 565936 0
Current children cumulated CPU time: 619.54 s
Current children cumulated vsize: 2281852 KiB
Current children cumulated memory: 310380 KiB
[startup+619.7 s]*
/proc/loadavg: 2.00 2.01 2.05 3/201 2342
/proc/meminfo: memFree=26492308/32770624 swapFree=67004752/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 619.71
CPU time (s): 619.661
CPU user time (s): 618.981
CPU system time (s): 0.679951
CPU usage (%): 99.992
Max. virtual memory (cumulated for all children) (KiB): 2619300
Max. memory (cumulated for all children) (KiB): 513456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 618.981
system time used= 0.679951
maximum resident set size= 581040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161439
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= 4
involuntary context switches= 791
# summary of solver processes directly reported to runsolver:
# pid: 2259
# total CPU time (s): 619.661
# total CPU user time (s): 618.981
# total CPU system time (s): 0.679951
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.44832 second user time and 4.61555 second system time
The end