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 (10916 MiB free)
memory of node 1: 16384 MiB (9147 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292908-1532296871/watcher-4292908-1532296871 -o /tmp/evaluation-result-4292908-1532296871/solver-4292908-1532296871 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532294350-7319 --watchdog 2580 xcsp_picat HOME/instance-4292908-1532296871.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=7587, runsolver pid=7582
Current StackSize limit: 8192 KiB
[startup+0.100157 s]*
/proc/loadavg: 2.00 2.01 1.95 3/189 7598
/proc/meminfo: memFree=20510764/32770624 swapFree=67108860/67108860
[pid=7587] ppid=7582 vsize=111688 memory=18532 CPUtime=0.1 cores=1,3,5,7
/proc/7587/stat : 7587 (xcsp_picat) R 7582 7587 7287 0 -1 4202496 1761 0 0 0 10 0 0 0 20 0 1 0 47250292 114368512 4633 33554432000 4194304 5849740 140734647825264 140734647825264 4818272 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36753408 140734647833782 140734647833860 140734647833860 140734647836618 0
/proc/7587/statm: 27922 4633 656 405 0 24866 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 18532 KiB
[startup+0.209918 s]*
/proc/loadavg: 2.00 2.01 1.95 3/189 7598
/proc/meminfo: memFree=20506248/32770624 swapFree=67108860/67108860
[pid=7587] ppid=7582 vsize=111688 memory=20580 CPUtime=0.21 cores=1,3,5,7
/proc/7587/stat : 7587 (xcsp_picat) R 7582 7587 7287 0 -1 4202496 1762 0 0 0 21 0 0 0 20 0 1 0 47250292 114368512 5145 33554432000 4194304 5849740 140734647825264 140734647825264 4677632 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36753408 140734647833782 140734647833860 140734647833860 140734647836618 0
/proc/7587/statm: 27922 5145 656 405 0 24866 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 20580 KiB
[startup+0.309337 s]*
/proc/loadavg: 2.00 2.01 1.95 3/189 7598
/proc/meminfo: memFree=20499732/32770624 swapFree=67108860/67108860
[pid=7587] ppid=7582 vsize=111844 memory=27464 CPUtime=0.3 cores=1,3,5,7
/proc/7587/stat : 7587 (xcsp_picat) R 7582 7587 7287 0 -1 4202496 1913 0 0 0 30 0 0 0 20 0 1 0 47250292 114528256 6866 33554432000 4194304 5849740 140734647825264 140734647825264 5606222 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36753408 140734647833782 140734647833860 140734647833860 140734647836618 0
/proc/7587/statm: 27961 6866 718 405 0 24905 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 111844 KiB
Current children cumulated memory: 27464 KiB
[startup+0.700279 s]
/proc/loadavg: 2.00 2.01 1.95 3/189 7598
/proc/meminfo: memFree=20497872/32770624 swapFree=67108860/67108860
[pid=7587] ppid=7582 vsize=113860 memory=29304 CPUtime=0.7 cores=1,3,5,7
/proc/7587/stat : 7587 (xcsp_picat) R 7582 7587 7287 0 -1 4202496 2480 0 0 0 69 1 0 0 20 0 1 0 47250292 116592640 7326 33554432000 4194304 5849740 140734647825264 140734647825264 5472975 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36753408 140734647833782 140734647833860 140734647833860 140734647836618 0
/proc/7587/statm: 28465 7326 720 405 0 25409 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 113860 KiB
Current children cumulated memory: 29304 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 1.95 3/189 7598
/proc/meminfo: memFree=20496864/32770624 swapFree=67108860/67108860
[pid=7587] ppid=7582 vsize=113860 memory=29304 CPUtime=1.5 cores=1,3,5,7
/proc/7587/stat : 7587 (xcsp_picat) R 7582 7587 7287 0 -1 4202496 2480 0 0 0 149 1 0 0 20 0 1 0 47250292 116592640 7326 33554432000 4194304 5849740 140734647825264 140734647824360 140425155415943 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36753408 140734647833782 140734647833860 140734647833860 140734647836618 0
/proc/7587/statm: 28465 7326 720 405 0 25409 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 113860 KiB
Current children cumulated memory: 29304 KiB
[startup+3.1092 s]
/proc/loadavg: 2.00 2.01 1.95 3/189 7598
/proc/meminfo: memFree=20495840/32770624 swapFree=67108860/67108860
[pid=7587] ppid=7582 vsize=115396 memory=30856 CPUtime=3.1 cores=1,3,5,7
/proc/7587/stat : 7587 (xcsp_picat) R 7582 7587 7287 0 -1 4202496 3159 0 0 0 309 1 0 0 20 0 1 0 47250292 118165504 7714 33554432000 4194304 5849740 140734647825264 140734647824360 5471224 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36753408 140734647833782 140734647833860 140734647833860 140734647836618 0
/proc/7587/statm: 28849 7714 720 405 0 25793 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 115396 KiB
Current children cumulated memory: 30856 KiB
[startup+6.30026 s]
/proc/loadavg: 2.00 2.01 1.95 3/189 7598
/proc/meminfo: memFree=20493296/32770624 swapFree=67108860/67108860
[pid=7587] ppid=7582 vsize=116420 memory=32120 CPUtime=6.29 cores=1,3,5,7
/proc/7587/stat : 7587 (xcsp_picat) R 7582 7587 7287 0 -1 4202496 3950 0 0 0 628 1 0 0 20 0 1 0 47250292 119214080 8030 33554432000 4194304 5849740 140734647825264 140734647824360 5520256 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36753408 140734647833782 140734647833860 140734647833860 140734647836618 0
/proc/7587/statm: 29105 8030 720 405 0 26049 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 116420 KiB
Current children cumulated memory: 32120 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 1.95 3/189 7598
/proc/meminfo: memFree=20482692/32770624 swapFree=67108860/67108860
[pid=7587] ppid=7582 vsize=126404 memory=42016 CPUtime=12.69 cores=1,3,5,7
/proc/7587/stat : 7587 (xcsp_picat) R 7582 7587 7287 0 -1 4202496 8300 0 0 0 1267 2 0 0 20 0 1 0 47250292 129437696 10504 33554432000 4194304 5849740 140734647825264 140734647824360 4212502 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36753408 140734647833782 140734647833860 140734647833860 140734647836618 0
/proc/7587/statm: 31601 10504 748 405 0 28545 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 126404 KiB
Current children cumulated memory: 42016 KiB
[startup+25.5003 s]
/proc/loadavg: 1.92 2.00 1.95 3/189 7662
/proc/meminfo: memFree=20479216/32770624 swapFree=67108860/67108860
[pid=7587] ppid=7582 vsize=125684 memory=42684 CPUtime=25.49 cores=1,3,5,7
/proc/7587/stat : 7587 (xcsp_picat) R 7582 7587 7287 0 -1 4202496 14324 0 0 0 2544 5 0 0 20 0 1 0 47250292 128700416 10671 33554432000 4194304 5849740 140734647825264 140734647824360 5520515 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36753408 140734647833782 140734647833860 140734647833860 140734647836618 0
/proc/7587/statm: 31421 10671 761 405 0 28365 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 125684 KiB
Current children cumulated memory: 42684 KiB
[startup+51.1092 s]
/proc/loadavg: 1.95 2.00 1.95 3/189 7662
/proc/meminfo: memFree=20484780/32770624 swapFree=67108860/67108860
[pid=7587] ppid=7582 vsize=117860 memory=37032 CPUtime=51.09 cores=1,3,5,7
/proc/7587/stat : 7587 (xcsp_picat) R 7582 7587 7287 0 -1 4202496 18925 0 0 0 5088 21 0 0 20 0 1 0 47250292 120688640 9258 33554432000 4194304 5849740 140734647825264 140734647824360 5472743 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36753408 140734647833782 140734647833860 140734647833860 140734647836618 0
/proc/7587/statm: 29465 9258 761 405 0 26409 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 117860 KiB
Current children cumulated memory: 37032 KiB
[startup+102.3 s]
/proc/loadavg: 1.91 1.98 1.95 3/189 7726
/proc/meminfo: memFree=20449960/32770624 swapFree=67108860/67108860
[pid=7587] ppid=7582 vsize=138504 memory=57284 CPUtime=102.29 cores=1,3,5,7
/proc/7587/stat : 7587 (xcsp_picat) R 7582 7587 7287 0 -1 4202496 25350 0 0 0 10176 53 0 0 20 0 1 0 47250292 141828096 14321 33554432000 4194304 5849740 140734647825264 140734647824264 140425155415943 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36753408 140734647833782 140734647833860 140734647833860 140734647836618 0
/proc/7587/statm: 34626 14321 761 405 0 31570 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 138504 KiB
Current children cumulated memory: 57284 KiB
[startup+162.3 s]
/proc/loadavg: 1.97 1.99 1.95 3/189 7727
/proc/meminfo: memFree=20449296/32770624 swapFree=67108860/67108860
[pid=7587] ppid=7582 vsize=144296 memory=63384 CPUtime=162.29 cores=1,3,5,7
/proc/7587/stat : 7587 (xcsp_picat) R 7582 7587 7287 0 -1 4202496 33315 0 0 0 16137 92 0 0 20 0 1 0 47250292 147759104 15846 33554432000 4194304 5849740 140734647825264 140734647823752 4212035 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36753408 140734647833782 140734647833860 140734647833860 140734647836618 0
/proc/7587/statm: 36074 15846 761 405 0 33018 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 144296 KiB
Current children cumulated memory: 63384 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.95 3/189 7728
/proc/meminfo: memFree=20450980/32770624 swapFree=67108860/67108860
[pid=7587] ppid=7582 vsize=135324 memory=54224 CPUtime=222.29 cores=1,3,5,7
/proc/7587/stat : 7587 (xcsp_picat) R 7582 7587 7287 0 -1 4202496 42274 0 0 0 22099 130 0 0 20 0 1 0 47250292 138571776 13556 33554432000 4194304 5849740 140734647825264 140734647823752 140425155415943 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36753408 140734647833782 140734647833860 140734647833860 140734647836618 0
/proc/7587/statm: 33831 13556 761 405 0 30775 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 135324 KiB
Current children cumulated memory: 54224 KiB
[startup+282.3 s]
/proc/loadavg: 2.28 2.06 1.98 3/188 7793
/proc/meminfo: memFree=20442424/32770624 swapFree=67108860/67108860
[pid=7587] ppid=7582 vsize=137200 memory=56244 CPUtime=282.28 cores=1,3,5,7
/proc/7587/stat : 7587 (xcsp_picat) R 7582 7587 7287 0 -1 4202496 49467 0 0 0 28058 170 0 0 20 0 1 0 47250292 140492800 14061 33554432000 4194304 5849740 140734647825264 140734647824264 140425155415943 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36753408 140734647833782 140734647833860 140734647833860 140734647836618 0
/proc/7587/statm: 34300 14061 761 405 0 31244 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 137200 KiB
Current children cumulated memory: 56244 KiB
[startup+342.3 s]
/proc/loadavg: 2.10 2.05 1.98 3/187 7794
/proc/meminfo: memFree=20409076/32770624 swapFree=67108860/67108860
[pid=7587] ppid=7582 vsize=151608 memory=70464 CPUtime=342.27 cores=1,3,5,7
/proc/7587/stat : 7587 (xcsp_picat) R 7582 7587 7287 0 -1 4202496 52829 0 0 0 34023 204 0 0 20 0 1 0 47250292 155246592 17616 33554432000 4194304 5849740 140734647825264 140734647823752 4211671 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36753408 140734647833782 140734647833860 140734647833860 140734647836618 0
/proc/7587/statm: 37902 17616 761 405 0 34846 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 151608 KiB
Current children cumulated memory: 70464 KiB
[startup+402.3 s]
/proc/loadavg: 2.04 2.04 1.98 3/187 7795
/proc/meminfo: memFree=20431560/32770624 swapFree=67108860/67108860
[pid=7587] ppid=7582 vsize=135208 memory=54240 CPUtime=402.27 cores=1,3,5,7
/proc/7587/stat : 7587 (xcsp_picat) R 7582 7587 7287 0 -1 4202496 59750 0 0 0 39979 248 0 0 20 0 1 0 47250292 138452992 13560 33554432000 4194304 5849740 140734647825264 140734647824264 140425155415943 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36753408 140734647833782 140734647833860 140734647833860 140734647836618 0
/proc/7587/statm: 33802 13560 761 405 0 30746 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 135208 KiB
Current children cumulated memory: 54240 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.04 1.98 3/187 7797
/proc/meminfo: memFree=20416732/32770624 swapFree=67108860/67108860
[pid=7587] ppid=7582 vsize=135280 memory=54108 CPUtime=462.27 cores=1,3,5,7
/proc/7587/stat : 7587 (xcsp_picat) R 7582 7587 7287 0 -1 4202496 64916 0 0 0 45940 287 0 0 20 0 1 0 47250292 138526720 13527 33554432000 4194304 5849740 140734647825264 140734647823160 4211581 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36753408 140734647833782 140734647833860 140734647833860 140734647836618 0
/proc/7587/statm: 33820 13527 761 405 0 30764 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 135280 KiB
Current children cumulated memory: 54108 KiB
[startup+498.439 s]
# the end of solver process 7587 was just reported to runsolver
# cumulated CPU time of all completed processes: user=495.284 s, system=3.13389 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+473.6 s]
/proc/loadavg: 2.01 2.04 1.98 3/187 7797
/proc/meminfo: memFree=20418144/32770624 swapFree=67108860/67108860
[pid=7587] ppid=7582 vsize=135280 memory=54108 CPUtime=473.57 cores=1,3,5,7
/proc/7587/stat : 7587 (xcsp_picat) R 7582 7587 7287 0 -1 4202496 64916 0 0 0 47063 294 0 0 20 0 1 0 47250292 138526720 13527 33554432000 4194304 5849740 140734647825264 140734647824264 5375965 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36753408 140734647833782 140734647833860 140734647833860 140734647836618 0
/proc/7587/statm: 33820 13527 761 405 0 30764 0
Current children cumulated CPU time: 473.57 s
Current children cumulated vsize: 135280 KiB
Current children cumulated memory: 54108 KiB
[startup+486.4 s]
/proc/loadavg: 2.01 2.03 1.98 3/187 7797
/proc/meminfo: memFree=20418636/32770624 swapFree=67108860/67108860
[pid=7587] ppid=7582 vsize=135280 memory=54324 CPUtime=486.37 cores=1,3,5,7
/proc/7587/stat : 7587 (xcsp_picat) R 7582 7587 7287 0 -1 4202496 68423 0 0 0 48336 301 0 0 20 0 1 0 47250292 138526720 13581 33554432000 4194304 5849740 140734647825264 140734647823752 4211646 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36753408 140734647833782 140734647833860 140734647833860 140734647836618 0
/proc/7587/statm: 33820 13581 761 405 0 30764 0
Current children cumulated CPU time: 486.37 s
Current children cumulated vsize: 135280 KiB
Current children cumulated memory: 54324 KiB
[startup+492.8 s]
/proc/loadavg: 2.01 2.03 1.98 3/187 7797
/proc/meminfo: memFree=20412808/32770624 swapFree=67108860/67108860
[pid=7587] ppid=7582 vsize=135280 memory=54324 CPUtime=492.77 cores=1,3,5,7
/proc/7587/stat : 7587 (xcsp_picat) R 7582 7587 7287 0 -1 4202496 68423 0 0 0 48971 306 0 0 20 0 1 0 47250292 138526720 13581 33554432000 4194304 5849740 140734647825264 140734647824264 140425155415943 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36753408 140734647833782 140734647833860 140734647833860 140734647836618 0
/proc/7587/statm: 33820 13581 761 405 0 30764 0
Current children cumulated CPU time: 492.77 s
Current children cumulated vsize: 135280 KiB
Current children cumulated memory: 54324 KiB
[startup+496 s]*
/proc/loadavg: 2.01 2.03 1.98 3/187 7797
/proc/meminfo: memFree=20412808/32770624 swapFree=67108860/67108860
[pid=7587] ppid=7582 vsize=135280 memory=54324 CPUtime=495.98 cores=1,3,5,7
/proc/7587/stat : 7587 (xcsp_picat) R 7582 7587 7287 0 -1 4202496 68423 0 0 0 49288 310 0 0 20 0 1 0 47250292 138526720 13581 33554432000 4194304 5849740 140734647825264 140734647824264 140425155415943 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36753408 140734647833782 140734647833860 140734647833860 140734647836618 0
/proc/7587/statm: 33820 13581 761 405 0 30764 0
Current children cumulated CPU time: 495.98 s
Current children cumulated vsize: 135280 KiB
Current children cumulated memory: 54324 KiB
[startup+497.6 s]
/proc/loadavg: 2.01 2.03 1.98 3/187 7797
/proc/meminfo: memFree=20412808/32770624 swapFree=67108860/67108860
[pid=7587] ppid=7582 vsize=135280 memory=54324 CPUtime=497.57 cores=1,3,5,7
/proc/7587/stat : 7587 (xcsp_picat) R 7582 7587 7287 0 -1 4202496 68559 0 0 0 49445 312 0 0 20 0 1 0 47250292 138526720 13581 33554432000 4194304 5849740 140734647825264 140734647824264 140425155415943 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36753408 140734647833782 140734647833860 140734647833860 140734647836618 0
/proc/7587/statm: 33820 13581 761 405 0 30764 0
Current children cumulated CPU time: 497.57 s
Current children cumulated vsize: 135280 KiB
Current children cumulated memory: 54324 KiB
[startup+498 s]*
/proc/loadavg: 2.01 2.03 1.98 3/187 7797
/proc/meminfo: memFree=20412808/32770624 swapFree=67108860/67108860
[pid=7587] ppid=7582 vsize=135280 memory=54324 CPUtime=497.98 cores=1,3,5,7
/proc/7587/stat : 7587 (xcsp_picat) R 7582 7587 7287 0 -1 4202496 68559 0 0 0 49486 312 0 0 20 0 1 0 47250292 138526720 13581 33554432000 4194304 5849740 140734647825264 140734647824264 140425155415943 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36753408 140734647833782 140734647833860 140734647833860 140734647836618 0
/proc/7587/statm: 33820 13581 761 405 0 30764 0
Current children cumulated CPU time: 497.98 s
Current children cumulated vsize: 135280 KiB
Current children cumulated memory: 54324 KiB
[startup+498.4 s]
/proc/loadavg: 2.01 2.03 1.98 3/187 7797
/proc/meminfo: memFree=20412808/32770624 swapFree=67108860/67108860
[pid=7587] ppid=7582 vsize=135280 memory=54324 CPUtime=498.37 cores=1,3,5,7
/proc/7587/stat : 7587 (xcsp_picat) R 7582 7587 7287 0 -1 4202496 68559 0 0 0 49524 313 0 0 20 0 1 0 47250292 138526720 13581 33554432000 4194304 5849740 140734647825264 140734647824264 140425155415943 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 36753408 140734647833782 140734647833860 140734647833860 140734647836618 0
/proc/7587/statm: 33820 13581 761 405 0 30764 0
Current children cumulated CPU time: 498.37 s
Current children cumulated vsize: 135280 KiB
Current children cumulated memory: 54324 KiB
Child status: 0
Real time (s): 498.439
CPU time (s): 498.418
CPU user time (s): 495.284
CPU system time (s): 3.13389
CPU usage (%): 99.9959
Max. virtual memory (cumulated for all children) (KiB): 154892
Max. memory (cumulated for all children) (KiB): 73720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 495.284
system time used= 3.13389
maximum resident set size= 73720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68661
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= 7
involuntary context switches= 180
# summary of solver processes directly reported to runsolver:
# pid: 7587
# total CPU time (s): 498.418
# total CPU user time (s): 495.284
# total CPU system time (s): 3.13389
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.88882 second user time and 3.43252 second system time
The end