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 (13812 MiB free)
memory of node 1: 16384 MiB (14204 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395352-1568323955/watcher-4395352-1568323955 -o /tmp/evaluation-result-4395352-1568323955/solver-4395352-1568323955 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568323917-28817 --watchdog 2580 xcsp_picat HOME/instance-4395352-1568323955.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=28840, runsolver pid=28834
Current StackSize limit: 8192 KiB
[startup+0.100119 s]*
/proc/loadavg: 0.99 1.58 1.88 3/200 28847
/proc/meminfo: memFree=28646532/32770624 swapFree=67004752/67108860
[pid=28840] ppid=28834 vsize=2043936 memory=30008 CPUtime=0.1 cores=1,3,5,7
/proc/28840/stat : 28840 (xcsp_picat) R 28834 28840 28785 0 -1 4202496 3685 0 0 0 10 0 0 0 20 0 1 0 408663291 2092990464 7436 33554432000 4194304 5870510 140726157614528 140726157613832 140572804282682 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40275968 140726157616159 140726157616237 140726157616237 140726157619146 0
/proc/28840/statm: 510984 7436 886 410 0 506457 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2043936 KiB
Current children cumulated memory: 30008 KiB
[startup+0.209901 s]*
/proc/loadavg: 0.99 1.58 1.88 3/200 28847
/proc/meminfo: memFree=28599216/32770624 swapFree=67004752/67108860
[pid=28840] ppid=28834 vsize=2074968 memory=55324 CPUtime=0.2 cores=1,3,5,7
/proc/28840/stat : 28840 (xcsp_picat) R 28834 28840 28785 0 -1 4202496 10762 0 0 0 19 1 0 0 20 0 1 0 408663291 2124767232 13831 33554432000 4194304 5870510 140726157614528 140726157613832 5333984 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40275968 140726157616159 140726157616237 140726157616237 140726157619146 0
/proc/28840/statm: 518742 13831 890 410 0 514215 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2074968 KiB
Current children cumulated memory: 55324 KiB
[startup+0.309923 s]*
/proc/loadavg: 0.99 1.58 1.88 3/200 28847
/proc/meminfo: memFree=28573484/32770624 swapFree=67004752/67108860
[pid=28840] ppid=28834 vsize=2074968 memory=55324 CPUtime=0.3 cores=1,3,5,7
/proc/28840/stat : 28840 (xcsp_picat) R 28834 28840 28785 0 -1 4202496 10765 0 0 0 29 1 0 0 20 0 1 0 408663291 2124767232 13831 33554432000 4194304 5870510 140726157614528 140726157613832 5337454 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40275968 140726157616159 140726157616237 140726157616237 140726157619146 0
/proc/28840/statm: 518742 13831 890 410 0 514215 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2074968 KiB
Current children cumulated memory: 55324 KiB
[startup+0.700339 s]
/proc/loadavg: 0.99 1.58 1.88 3/200 28847
/proc/meminfo: memFree=28511720/32770624 swapFree=67004752/67108860
[pid=28840] ppid=28834 vsize=2082960 memory=63028 CPUtime=0.69 cores=1,3,5,7
/proc/28840/stat : 28840 (xcsp_picat) R 28834 28840 28785 0 -1 4202496 14234 0 0 0 67 2 0 0 20 0 1 0 408663291 2132951040 15757 33554432000 4194304 5870510 140726157614528 140726157613832 5287642 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40275968 140726157616159 140726157616237 140726157616237 140726157619146 0
/proc/28840/statm: 520740 15757 897 410 0 516213 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2082960 KiB
Current children cumulated memory: 63028 KiB
[startup+1.50034 s]
/proc/loadavg: 0.99 1.58 1.88 3/200 28847
/proc/meminfo: memFree=28504224/32770624 swapFree=67004752/67108860
[pid=28840] ppid=28834 vsize=2108704 memory=85808 CPUtime=1.49 cores=1,3,5,7
/proc/28840/stat : 28840 (xcsp_picat) R 28834 28840 28785 0 -1 4202496 18025 0 0 0 146 3 0 0 20 0 1 0 408663291 2159312896 21452 33554432000 4194304 5870510 140726157614528 140726157612856 5319092 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40275968 140726157616159 140726157616237 140726157616237 140726157619146 0
/proc/28840/statm: 527176 21452 897 410 0 522649 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2108704 KiB
Current children cumulated memory: 85808 KiB
[startup+3.10973 s]
/proc/loadavg: 0.99 1.58 1.88 3/200 28847
/proc/meminfo: memFree=28479868/32770624 swapFree=67004752/67108860
[pid=28840] ppid=28834 vsize=2098304 memory=72536 CPUtime=3.09 cores=1,3,5,7
/proc/28840/stat : 28840 (xcsp_picat) R 28834 28840 28785 0 -1 4202496 37965 0 0 0 303 6 0 0 20 0 1 0 408663291 2148663296 18134 33554432000 4194304 5870510 140726157614528 140726157613336 5337261 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40275968 140726157616159 140726157616237 140726157616237 140726157619146 0
/proc/28840/statm: 524576 18134 926 410 0 520049 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2098304 KiB
Current children cumulated memory: 72536 KiB
[startup+6.30033 s]
/proc/loadavg: 1.07 1.58 1.88 3/200 28847
/proc/meminfo: memFree=28403508/32770624 swapFree=67004752/67108860
[pid=28840] ppid=28834 vsize=2102728 memory=81920 CPUtime=6.28 cores=1,3,5,7
/proc/28840/stat : 28840 (xcsp_picat) R 28834 28840 28785 0 -1 4202496 54567 0 0 0 619 9 0 0 20 0 1 0 408663291 2153193472 20480 33554432000 4194304 5870510 140726157614528 140726157613240 5283094 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40275968 140726157616159 140726157616237 140726157616237 140726157619146 0
/proc/28840/statm: 525682 20480 926 410 0 521155 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2102728 KiB
Current children cumulated memory: 81920 KiB
[startup+12.7003 s]
/proc/loadavg: 1.15 1.59 1.88 3/201 28850
/proc/meminfo: memFree=28355800/32770624 swapFree=67004752/67108860
[pid=28840] ppid=28834 vsize=2102728 memory=90012 CPUtime=12.68 cores=1,3,5,7
/proc/28840/stat : 28840 (xcsp_picat) R 28834 28840 28785 0 -1 4202496 62276 0 0 0 1258 10 0 0 20 0 1 0 408663291 2153193472 22503 33554432000 4194304 5870510 140726157614528 140726157612968 5282464 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40275968 140726157616159 140726157616237 140726157616237 140726157619146 0
/proc/28840/statm: 525682 22503 928 410 0 521155 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2102728 KiB
Current children cumulated memory: 90012 KiB
[startup+25.5003 s]
/proc/loadavg: 1.33 1.61 1.88 3/200 28850
/proc/meminfo: memFree=28452812/32770624 swapFree=67004752/67108860
[pid=28840] ppid=28834 vsize=2098304 memory=81172 CPUtime=25.47 cores=1,3,5,7
/proc/28840/stat : 28840 (xcsp_picat) R 28834 28840 28785 0 -1 4202496 84646 0 0 0 2533 14 0 0 20 0 1 0 408663291 2148663296 20293 33554432000 4194304 5870510 140726157614528 140726157612888 5272920 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40275968 140726157616159 140726157616237 140726157616237 140726157619146 0
/proc/28840/statm: 524576 20293 978 410 0 520049 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 2098304 KiB
Current children cumulated memory: 81172 KiB
[startup+51.1097 s]
/proc/loadavg: 1.56 1.64 1.88 3/200 28850
/proc/meminfo: memFree=28449316/32770624 swapFree=67004752/67108860
[pid=28840] ppid=28834 vsize=2098304 memory=88232 CPUtime=51.08 cores=1,3,5,7
/proc/28840/stat : 28840 (xcsp_picat) R 28834 28840 28785 0 -1 4202496 95116 0 0 0 5093 15 0 0 20 0 1 0 408663291 2148663296 22058 33554432000 4194304 5870510 140726157614528 140726157613640 5298780 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 40275968 140726157616159 140726157616237 140726157616237 140726157619146 0
/proc/28840/statm: 524576 22058 978 410 0 520049 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 2098304 KiB
Current children cumulated memory: 88232 KiB
[startup+102.3 s]
/proc/loadavg: 1.88 1.71 1.89 3/201 28978
/proc/meminfo: memFree=28530356/32770624 swapFree=67004752/67108860
[pid=28840] ppid=28834 vsize=2110192 memory=102036 CPUtime=102.27 cores=1,3,5,7
/proc/28840/stat : 28840 (xcsp_picat) R 28834 28840 28785 0 -1 4202496 99889 0 0 0 10212 15 0 0 20 0 1 0 408663291 2160836608 25509 33554432000 4194304 5870510 140726157614528 140726157613016 5282621 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 40275968 140726157616159 140726157616237 140726157616237 140726157619146 0
/proc/28840/statm: 527548 25509 978 410 0 523021 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2110192 KiB
Current children cumulated memory: 102036 KiB
[startup+162.3 s]
/proc/loadavg: 1.95 1.77 1.90 3/200 29042
/proc/meminfo: memFree=28349148/32770624 swapFree=67004752/67108860
[pid=28840] ppid=28834 vsize=2121776 memory=114348 CPUtime=162.27 cores=1,3,5,7
/proc/28840/stat : 28840 (xcsp_picat) R 28834 28840 28785 0 -1 4202496 106556 0 0 0 16211 16 0 0 20 0 1 0 408663291 2172698624 28587 33554432000 4194304 5870510 140726157614528 140726157613096 5283083 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 40275968 140726157616159 140726157616237 140726157616237 140726157619146 0
/proc/28840/statm: 530444 28587 978 410 0 525917 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2121776 KiB
Current children cumulated memory: 114348 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.81 1.90 3/199 29046
/proc/meminfo: memFree=28336316/32770624 swapFree=67004752/67108860
[pid=28840] ppid=28834 vsize=2128960 memory=122100 CPUtime=222.27 cores=1,3,5,7
/proc/28840/stat : 28840 (xcsp_picat) R 28834 28840 28785 0 -1 4202496 113401 0 0 0 22210 17 0 0 20 0 1 0 408663291 2180055040 30525 33554432000 4194304 5870510 140726157614528 140726157613096 5282606 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 40275968 140726157616159 140726157616237 140726157616237 140726157619146 0
/proc/28840/statm: 532240 30525 978 410 0 527713 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2128960 KiB
Current children cumulated memory: 122100 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.84 1.91 3/201 29053
/proc/meminfo: memFree=28307224/32770624 swapFree=67004752/67108860
[pid=28840] ppid=28834 vsize=2128960 memory=122100 CPUtime=282.27 cores=1,3,5,7
/proc/28840/stat : 28840 (xcsp_picat) R 28834 28840 28785 0 -1 4202496 113557 0 0 0 28210 17 0 0 20 0 1 0 408663291 2180055040 30525 33554432000 4194304 5870510 140726157614528 140726157613096 5282525 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 40275968 140726157616159 140726157616237 140726157616237 140726157619146 0
/proc/28840/statm: 532240 30525 978 410 0 527713 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2128960 KiB
Current children cumulated memory: 122100 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.87 1.91 3/200 29057
/proc/meminfo: memFree=28247904/32770624 swapFree=67004752/67108860
[pid=28840] ppid=28834 vsize=2147636 memory=128672 CPUtime=342.27 cores=1,3,5,7
/proc/28840/stat : 28840 (xcsp_picat) R 28834 28840 28785 0 -1 4202496 119737 0 0 0 34209 18 0 0 20 0 1 0 408663291 2199179264 32168 33554432000 4194304 5870510 140726157614528 140726157612968 5282684 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 40275968 140726157616159 140726157616237 140726157616237 140726157619146 0
/proc/28840/statm: 536909 32168 978 410 0 532382 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2147636 KiB
Current children cumulated memory: 128672 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.89 1.92 3/200 29061
/proc/meminfo: memFree=28295948/32770624 swapFree=67004752/67108860
[pid=28840] ppid=28834 vsize=2147636 memory=134816 CPUtime=402.27 cores=1,3,5,7
/proc/28840/stat : 28840 (xcsp_picat) R 28834 28840 28785 0 -1 4202496 120408 0 0 0 40209 18 0 0 20 0 1 0 408663291 2199179264 33704 33554432000 4194304 5870510 140726157614528 140726157612968 5282588 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 40275968 140726157616159 140726157616237 140726157616237 140726157619146 0
/proc/28840/statm: 536909 33704 978 410 0 532382 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2147636 KiB
Current children cumulated memory: 134816 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.91 1.93 3/201 29067
/proc/meminfo: memFree=28283840/32770624 swapFree=67004752/67108860
[pid=28840] ppid=28834 vsize=2150292 memory=140964 CPUtime=462.28 cores=1,3,5,7
/proc/28840/stat : 28840 (xcsp_picat) R 28834 28840 28785 0 -1 4202496 126639 0 0 0 46209 19 0 0 20 0 1 0 408663291 2201899008 35241 33554432000 4194304 5870510 140726157614528 140726157613016 5272958 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 40275968 140726157616159 140726157616237 140726157616237 140726157619146 0
/proc/28840/statm: 537573 35241 978 410 0 533046 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 2150292 KiB
Current children cumulated memory: 140964 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 1.93 1.93 3/201 29079
/proc/meminfo: memFree=28276548/32770624 swapFree=67004752/67108860
[pid=28840] ppid=28834 vsize=2150292 memory=140964 CPUtime=522.28 cores=1,3,5,7
/proc/28840/stat : 28840 (xcsp_picat) R 28834 28840 28785 0 -1 4202496 126655 0 0 0 52209 19 0 0 20 0 1 0 408663291 2201899008 35241 33554432000 4194304 5870510 140726157614528 140726157613016 5283106 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 40275968 140726157616159 140726157616237 140726157616237 140726157619146 0
/proc/28840/statm: 537573 35241 978 410 0 533046 0
Current children cumulated CPU time: 522.28 s
Current children cumulated vsize: 2150292 KiB
Current children cumulated memory: 140964 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 1.94 1.94 3/200 29083
/proc/meminfo: memFree=28222092/32770624 swapFree=67004752/67108860
[pid=28840] ppid=28834 vsize=2150292 memory=141408 CPUtime=582.28 cores=1,3,5,7
/proc/28840/stat : 28840 (xcsp_picat) R 28834 28840 28785 0 -1 4202496 132547 0 0 0 58208 20 0 0 20 0 1 0 408663291 2201899008 35352 33554432000 4194304 5870510 140726157614528 140726157613016 5282606 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 40275968 140726157616159 140726157616237 140726157616237 140726157619146 0
/proc/28840/statm: 537573 35352 978 410 0 533046 0
Current children cumulated CPU time: 582.28 s
Current children cumulated vsize: 2150292 KiB
Current children cumulated memory: 141408 KiB
[startup+642.3 s]
/proc/loadavg: 2.00 1.95 1.94 3/201 29089
/proc/meminfo: memFree=28255508/32770624 swapFree=67004752/67108860
[pid=28840] ppid=28834 vsize=2150292 memory=141932 CPUtime=642.28 cores=1,3,5,7
/proc/28840/stat : 28840 (xcsp_picat) R 28834 28840 28785 0 -1 4202496 132920 0 0 0 64208 20 0 0 20 0 1 0 408663291 2201899008 35483 33554432000 4194304 5870510 140726157614528 140726157613016 5283135 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 40275968 140726157616159 140726157616237 140726157616237 140726157619146 0
/proc/28840/statm: 537573 35483 978 410 0 533046 0
Current children cumulated CPU time: 642.28 s
Current children cumulated vsize: 2150292 KiB
Current children cumulated memory: 141932 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 1.96 1.95 3/200 29093
/proc/meminfo: memFree=28230636/32770624 swapFree=67004752/67108860
[pid=28840] ppid=28834 vsize=2150292 memory=143008 CPUtime=702.28 cores=1,3,5,7
/proc/28840/stat : 28840 (xcsp_picat) R 28834 28840 28785 0 -1 4202496 139619 0 0 0 70207 21 0 0 20 0 1 0 408663291 2201899008 35752 33554432000 4194304 5870510 140726157614528 140726157613016 5283052 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 40275968 140726157616159 140726157616237 140726157616237 140726157619146 0
/proc/28840/statm: 537573 35752 978 410 0 533046 0
Current children cumulated CPU time: 702.28 s
Current children cumulated vsize: 2150292 KiB
Current children cumulated memory: 143008 KiB
[startup+736.79 s]
# the end of solver process 28840 was just reported to runsolver
# cumulated CPU time of all completed processes: user=736.539 s, system=0.237 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+716.8 s]
/proc/loadavg: 2.00 1.96 1.95 3/200 29093
/proc/meminfo: memFree=28250236/32770624 swapFree=67004752/67108860
[pid=28840] ppid=28834 vsize=2160256 memory=148968 CPUtime=716.78 cores=1,3,5,7
/proc/28840/stat : 28840 (xcsp_picat) R 28834 28840 28785 0 -1 4202496 140731 0 0 0 71657 21 0 0 20 0 1 0 408663291 2212102144 37242 33554432000 4194304 5870510 140726157614528 140726157613016 5283119 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 40275968 140726157616159 140726157616237 140726157616237 140726157619146 0
/proc/28840/statm: 540064 37242 978 410 0 535537 0
Current children cumulated CPU time: 716.78 s
Current children cumulated vsize: 2160256 KiB
Current children cumulated memory: 148968 KiB
[startup+729.6 s]
/proc/loadavg: 2.00 1.96 1.95 3/200 29094
/proc/meminfo: memFree=28248064/32770624 swapFree=67004752/67108860
[pid=28840] ppid=28834 vsize=2160256 memory=149152 CPUtime=729.58 cores=1,3,5,7
/proc/28840/stat : 28840 (xcsp_picat) R 28834 28840 28785 0 -1 4202496 140751 0 0 0 72937 21 0 0 20 0 1 0 408663291 2212102144 37288 33554432000 4194304 5870510 140726157614528 140726157613016 5282464 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 40275968 140726157616159 140726157616237 140726157616237 140726157619146 0
/proc/28840/statm: 540064 37288 978 410 0 535537 0
Current children cumulated CPU time: 729.58 s
Current children cumulated vsize: 2160256 KiB
Current children cumulated memory: 149152 KiB
[startup+732.8 s]
/proc/loadavg: 2.00 1.96 1.95 3/201 29096
/proc/meminfo: memFree=28243640/32770624 swapFree=67004752/67108860
[pid=28840] ppid=28834 vsize=2098304 memory=80780 CPUtime=732.78 cores=1,3,5,7
/proc/28840/stat : 28840 (xcsp_picat) R 28834 28840 28785 0 -1 4202496 149523 0 0 0 73255 23 0 0 20 0 1 0 408663291 2148663296 20195 33554432000 4194304 5870510 140726157614528 140726157612888 5325349 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 40275968 140726157616159 140726157616237 140726157616237 140726157619146 0
/proc/28840/statm: 524576 20195 978 410 0 520049 0
Current children cumulated CPU time: 732.78 s
Current children cumulated vsize: 2098304 KiB
Current children cumulated memory: 80780 KiB
[startup+734.4 s]
/proc/loadavg: 2.00 1.96 1.95 3/201 29096
/proc/meminfo: memFree=28306772/32770624 swapFree=67004752/67108860
[pid=28840] ppid=28834 vsize=2098304 memory=84340 CPUtime=734.38 cores=1,3,5,7
/proc/28840/stat : 28840 (xcsp_picat) R 28834 28840 28785 0 -1 4202496 149928 0 0 0 73415 23 0 0 20 0 1 0 408663291 2148663296 21085 33554432000 4194304 5870510 140726157614528 140726157612888 5282747 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 40275968 140726157616159 140726157616237 140726157616237 140726157619146 0
/proc/28840/statm: 524576 21085 978 410 0 520049 0
Current children cumulated CPU time: 734.38 s
Current children cumulated vsize: 2098304 KiB
Current children cumulated memory: 84340 KiB
[startup+736 s]*
/proc/loadavg: 2.00 1.96 1.95 3/201 29096
/proc/meminfo: memFree=28302552/32770624 swapFree=67004752/67108860
[pid=28840] ppid=28834 vsize=2098304 memory=84340 CPUtime=735.99 cores=1,3,5,7
/proc/28840/stat : 28840 (xcsp_picat) R 28834 28840 28785 0 -1 4202496 149928 0 0 0 73576 23 0 0 20 0 1 0 408663291 2148663296 21085 33554432000 4194304 5870510 140726157614528 140726157612888 5288874 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 40275968 140726157616159 140726157616237 140726157616237 140726157619146 0
/proc/28840/statm: 524576 21085 978 410 0 520049 0
Current children cumulated CPU time: 735.99 s
Current children cumulated vsize: 2098304 KiB
Current children cumulated memory: 84340 KiB
[startup+736.4 s]
/proc/loadavg: 2.00 1.96 1.95 3/201 29096
/proc/meminfo: memFree=28302552/32770624 swapFree=67004752/67108860
[pid=28840] ppid=28834 vsize=2098304 memory=84340 CPUtime=736.38 cores=1,3,5,7
/proc/28840/stat : 28840 (xcsp_picat) R 28834 28840 28785 0 -1 4202496 149928 0 0 0 73615 23 0 0 20 0 1 0 408663291 2148663296 21085 33554432000 4194304 5870510 140726157614528 140726157612888 5272880 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 40275968 140726157616159 140726157616237 140726157616237 140726157619146 0
/proc/28840/statm: 524576 21085 978 410 0 520049 0
Current children cumulated CPU time: 736.38 s
Current children cumulated vsize: 2098304 KiB
Current children cumulated memory: 84340 KiB
[startup+736.6 s]
/proc/loadavg: 2.00 1.96 1.95 3/201 29096
/proc/meminfo: memFree=28302552/32770624 swapFree=67004752/67108860
[pid=28840] ppid=28834 vsize=2098304 memory=84340 CPUtime=736.58 cores=1,3,5,7
/proc/28840/stat : 28840 (xcsp_picat) R 28834 28840 28785 0 -1 4202496 149928 0 0 0 73635 23 0 0 20 0 1 0 408663291 2148663296 21085 33554432000 4194304 5870510 140726157614528 140726157612888 5283119 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 40275968 140726157616159 140726157616237 140726157616237 140726157619146 0
/proc/28840/statm: 524576 21085 978 410 0 520049 0
Current children cumulated CPU time: 736.58 s
Current children cumulated vsize: 2098304 KiB
Current children cumulated memory: 84340 KiB
[startup+736.7 s]
/proc/loadavg: 2.00 1.96 1.95 3/201 29096
/proc/meminfo: memFree=28302552/32770624 swapFree=67004752/67108860
[pid=28840] ppid=28834 vsize=2098304 memory=84340 CPUtime=736.68 cores=1,3,5,7
/proc/28840/stat : 28840 (xcsp_picat) R 28834 28840 28785 0 -1 4202496 149928 0 0 0 73645 23 0 0 20 0 1 0 408663291 2148663296 21085 33554432000 4194304 5870510 140726157614528 140726157612888 5282475 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 40275968 140726157616159 140726157616237 140726157616237 140726157619146 0
/proc/28840/statm: 524576 21085 978 410 0 520049 0
Current children cumulated CPU time: 736.68 s
Current children cumulated vsize: 2098304 KiB
Current children cumulated memory: 84340 KiB
Child status: 0
Real time (s): 736.79
CPU time (s): 736.776
CPU user time (s): 736.539
CPU system time (s): 0.237
CPU usage (%): 99.9982
Max. virtual memory (cumulated for all children) (KiB): 2160256
Max. memory (cumulated for all children) (KiB): 149152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 736.539
system time used= 0.237
maximum resident set size= 149152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149950
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= 22
involuntary context switches= 336
# summary of solver processes directly reported to runsolver:
# pid: 28840
# total CPU time (s): 736.776
# total CPU user time (s): 736.539
# total CPU system time (s): 0.237
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.91355 second user time and 5.49688 second system time
The end