runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4268276-1502511945/watcher-4268276-1502511945 -o /tmp/evaluation-result-4268276-1502511945/solver-4268276-1502511945 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502500286-31839 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268276-1502511945.xml
pid=4917
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.04 2.02 1/180 4920
/proc/meminfo: memFree=31568736/32770624 swapFree=0/416164
[pid=4920] ppid=4917 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/4920/stat : 4920 (runsolver) D 4917 4920 31775 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 39535174 24240128 108 18446744073709551615 4194304 4338465 140721587826928 140721587824568 140081905259223 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 37433344 140721587835073 140721587835465 140721587835465 140721587838922 0
/proc/4920/statm: 5918 108 54 36 0 2156 0
[startup+0.100156 s]
/proc/loadavg: 2.04 2.04 2.02 1/180 4920
/proc/meminfo: memFree=31568736/32770624 swapFree=0/416164
[pid=4920] ppid=4917 vsize=28844 CPUtime=0.01 cores=1,3,5,7
/proc/4920/stat : 4920 (cosoco) R 4917 4920 31775 0 -1 4202496 1452 0 0 0 1 0 0 0 20 0 1 0 39535174 29536256 1228 18446744073709551615 4194304 5972588 140735822634992 140735822631640 140492274818021 0 0 1 0 0 0 0 17 3 0 0 8 0 0 8070896 8075904 35307520 140735822643694 140735822643789 140735822643789 140735822647246 0
/proc/4920/statm: 7211 1228 689 435 0 574 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 28844
[startup+0.200271 s]
/proc/loadavg: 2.04 2.04 2.02 1/180 4920
/proc/meminfo: memFree=31568736/32770624 swapFree=0/416164
[pid=4920] ppid=4917 vsize=29512 CPUtime=0.11 cores=1,3,5,7
/proc/4920/stat : 4920 (cosoco) R 4917 4920 31775 0 -1 4202496 1672 0 0 0 11 0 0 0 20 0 1 0 39535174 30220288 1502 18446744073709551615 4194304 5972588 140735822634992 140735822631640 140492274818021 0 0 1 0 0 0 0 17 3 0 0 8 0 0 8070896 8075904 35307520 140735822643694 140735822643789 140735822643789 140735822647246 0
/proc/4920/statm: 7378 1502 782 435 0 741 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 29512
[startup+0.300243 s]
/proc/loadavg: 2.04 2.04 2.02 1/180 4920
/proc/meminfo: memFree=31568736/32770624 swapFree=0/416164
[pid=4920] ppid=4917 vsize=30372 CPUtime=0.21 cores=1,3,5,7
/proc/4920/stat : 4920 (cosoco) R 4917 4920 31775 0 -1 4202496 1859 0 0 0 21 0 0 0 20 0 1 0 39535174 31100928 1701 18446744073709551615 4194304 5972588 140735822634992 140735822631640 140492275278828 0 0 1 0 0 0 0 17 3 0 0 8 0 0 8070896 8075904 35307520 140735822643694 140735822643789 140735822643789 140735822647246 0
/proc/4920/statm: 7593 1701 782 435 0 956 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 30372
[startup+0.700221 s]
/proc/loadavg: 2.04 2.04 2.02 1/180 4920
/proc/meminfo: memFree=31568736/32770624 swapFree=0/416164
[pid=4920] ppid=4917 vsize=33264 CPUtime=0.61 cores=1,3,5,7
/proc/4920/stat : 4920 (cosoco) R 4917 4920 31775 0 -1 4202496 2608 0 0 0 61 0 0 0 20 0 1 0 39535174 34062336 2422 18446744073709551615 4194304 5972588 140735822634992 140735822628792 140492274818021 0 0 1 0 0 0 0 17 3 0 0 8 0 0 8070896 8075904 35307520 140735822643694 140735822643789 140735822643789 140735822647246 0
/proc/4920/statm: 8316 2422 782 435 0 1679 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 33264
[startup+1.50021 s]
/proc/loadavg: 2.04 2.04 2.02 3/185 4941
/proc/meminfo: memFree=31555680/32770624 swapFree=0/416156
[pid=4920] ppid=4917 vsize=39260 CPUtime=1.4 cores=1,3,5,7
/proc/4920/stat : 4920 (cosoco) R 4917 4920 31775 0 -1 4202496 4094 0 0 0 140 0 0 0 20 0 1 0 39535174 40202240 3921 18446744073709551615 4194304 5972588 140735822634992 140735822628792 140492274818021 0 0 1 0 0 0 0 17 3 0 0 8 0 0 8070896 8075904 35307520 140735822643694 140735822643789 140735822643789 140735822647246 0
/proc/4920/statm: 9815 3921 782 435 0 3178 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 39260
[startup+3.10022 s]
/proc/loadavg: 2.04 2.04 2.02 3/185 4941
/proc/meminfo: memFree=31538236/32770624 swapFree=0/416148
[pid=4920] ppid=4917 vsize=51128 CPUtime=3 cores=1,3,5,7
/proc/4920/stat : 4920 (cosoco) R 4917 4920 31775 0 -1 4202496 7530 0 0 0 299 1 0 0 20 0 1 0 39535174 52355072 6889 18446744073709551615 4194304 5972588 140735822634992 140735822628792 140492274818021 0 0 1 0 0 0 0 17 3 0 0 8 0 0 8070896 8075904 35307520 140735822643694 140735822643789 140735822643789 140735822647246 0
/proc/4920/statm: 12782 6889 782 435 0 6145 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 51128
[startup+6.30023 s]
/proc/loadavg: 2.04 2.04 2.02 3/185 4941
/proc/meminfo: memFree=31479996/32770624 swapFree=0/416148
[pid=4920] ppid=4917 vsize=71896 CPUtime=6.2 cores=1,3,5,7
/proc/4920/stat : 4920 (cosoco) R 4917 4920 31775 0 -1 4202496 19038 0 0 0 618 2 0 0 20 0 1 0 39535174 73621504 12088 18446744073709551615 4194304 5972588 140735822634992 140735822628792 5070704 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 35307520 140735822643694 140735822643789 140735822643789 140735822647246 0
/proc/4920/statm: 17974 12088 823 435 0 11337 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 71896
[startup+12.7002 s]
/proc/loadavg: 2.11 2.05 2.03 3/185 4941
/proc/meminfo: memFree=31478856/32770624 swapFree=0/416148
[pid=4920] ppid=4917 vsize=71896 CPUtime=12.6 cores=1,3,5,7
/proc/4920/stat : 4920 (cosoco) R 4917 4920 31775 0 -1 4202496 21035 0 0 0 1257 3 0 0 20 0 1 0 39535174 73621504 12136 18446744073709551615 4194304 5972588 140735822634992 140735822632296 4909660 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 35307520 140735822643694 140735822643789 140735822643789 140735822647246 0
/proc/4920/statm: 17974 12136 825 435 0 11337 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 71896
[startup+25.5003 s]
/proc/loadavg: 2.09 2.05 2.03 3/182 4941
/proc/meminfo: memFree=31481660/32770624 swapFree=0/416156
[pid=4920] ppid=4917 vsize=71896 CPUtime=25.4 cores=1,3,5,7
/proc/4920/stat : 4920 (cosoco) R 4917 4920 31775 0 -1 4202496 22687 0 0 0 2537 3 0 0 20 0 1 0 39535174 73621504 12136 18446744073709551615 4194304 5972588 140735822634992 140735822632296 4909694 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 35307520 140735822643694 140735822643789 140735822643789 140735822647246 0
/proc/4920/statm: 17974 12136 825 435 0 11337 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 71896
[startup+51.1003 s]
/proc/loadavg: 2.06 2.05 2.03 3/182 4942
/proc/meminfo: memFree=31481612/32770624 swapFree=0/416144
[pid=4920] ppid=4917 vsize=71896 CPUtime=50.99 cores=1,3,5,7
/proc/4920/stat : 4920 (cosoco) R 4917 4920 31775 0 -1 4202496 22873 0 0 0 5096 3 0 0 20 0 1 0 39535174 73621504 12136 18446744073709551615 4194304 5972588 140735822634992 140735822632296 4965342 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 35307520 140735822643694 140735822643789 140735822643789 140735822647246 0
/proc/4920/statm: 17974 12136 825 435 0 11337 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 71896
[startup+102.3 s]
/proc/loadavg: 1.98 2.02 2.02 3/182 5064
/proc/meminfo: memFree=31521160/32770624 swapFree=0/420096
[pid=4920] ppid=4917 vsize=71896 CPUtime=102.2 cores=1,3,5,7
/proc/4920/stat : 4920 (cosoco) R 4917 4920 31775 0 -1 4202496 23050 0 0 0 10217 3 0 0 20 0 1 0 39535174 73621504 12136 18446744073709551615 4194304 5972588 140735822634992 140735822632296 5099664 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 35307520 140735822643694 140735822643789 140735822643789 140735822647246 0
/proc/4920/statm: 17974 12136 825 435 0 11337 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 71896
[startup+162.3 s]
/proc/loadavg: 1.92 2.00 2.02 3/182 5188
/proc/meminfo: memFree=31517200/32770624 swapFree=0/420208
[pid=4920] ppid=4917 vsize=71896 CPUtime=162.19 cores=1,3,5,7
/proc/4920/stat : 4920 (cosoco) R 4917 4920 31775 0 -1 4202496 23219 0 0 0 16216 3 0 0 20 0 1 0 39535174 73621504 12136 18446744073709551615 4194304 5972588 140735822634992 140735822632296 4965583 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 35307520 140735822643694 140735822643789 140735822643789 140735822647246 0
/proc/4920/statm: 17974 12136 825 435 0 11337 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 71896
[startup+222.306 s]
/proc/loadavg: 1.93 1.99 2.01 3/181 5250
/proc/meminfo: memFree=31360316/32770624 swapFree=0/420240
[pid=4920] ppid=4917 vsize=71896 CPUtime=222.2 cores=1,3,5,7
/proc/4920/stat : 4920 (cosoco) R 4917 4920 31775 0 -1 4202496 23386 0 0 0 22217 3 0 0 20 0 1 0 39535174 73621504 12136 18446744073709551615 4194304 5972588 140735822634992 140735822632296 5071049 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 35307520 140735822643694 140735822643789 140735822643789 140735822647246 0
/proc/4920/statm: 17974 12136 825 435 0 11337 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 71896
[startup+282.3 s]
/proc/loadavg: 2.03 2.00 2.02 3/181 5252
/proc/meminfo: memFree=31359340/32770624 swapFree=0/420244
[pid=4920] ppid=4917 vsize=71896 CPUtime=282.19 cores=1,3,5,7
/proc/4920/stat : 4920 (cosoco) R 4917 4920 31775 0 -1 4202496 23555 0 0 0 28216 3 0 0 20 0 1 0 39535174 73621504 12136 18446744073709551615 4194304 5972588 140735822634992 140735822632296 4965880 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 35307520 140735822643694 140735822643789 140735822643789 140735822647246 0
/proc/4920/statm: 17974 12136 825 435 0 11337 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 71896
[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.02 3/181 5254
/proc/meminfo: memFree=31359080/32770624 swapFree=0/420268
[pid=4920] ppid=4917 vsize=71896 CPUtime=342.19 cores=1,3,5,7
/proc/4920/stat : 4920 (cosoco) R 4917 4920 31775 0 -1 4202496 23734 0 0 0 34216 3 0 0 20 0 1 0 39535174 73621504 12136 18446744073709551615 4194304 5972588 140735822634992 140735822632296 4965342 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 35307520 140735822643694 140735822643789 140735822643789 140735822647246 0
/proc/4920/statm: 17974 12136 825 435 0 11337 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 71896
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/181 5256
/proc/meminfo: memFree=31359128/32770624 swapFree=0/420296
[pid=4920] ppid=4917 vsize=71896 CPUtime=402.2 cores=1,3,5,7
/proc/4920/stat : 4920 (cosoco) R 4917 4920 31775 0 -1 4202496 23912 0 0 0 40217 3 0 0 20 0 1 0 39535174 73621504 12136 18446744073709551615 4194304 5972588 140735822634992 140735822632296 5071040 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 35307520 140735822643694 140735822643789 140735822643789 140735822647246 0
/proc/4920/statm: 17974 12136 825 435 0 11337 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 71896
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/181 5258
/proc/meminfo: memFree=31359452/32770624 swapFree=0/420312
[pid=4920] ppid=4917 vsize=71896 CPUtime=462.2 cores=1,3,5,7
/proc/4920/stat : 4920 (cosoco) R 4917 4920 31775 0 -1 4202496 24090 0 0 0 46217 3 0 0 20 0 1 0 39535174 73621504 12136 18446744073709551615 4194304 5972588 140735822634992 140735822632296 4965342 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 35307520 140735822643694 140735822643789 140735822643789 140735822647246 0
/proc/4920/statm: 17974 12136 825 435 0 11337 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 71896
[startup+522.3 s]
/proc/loadavg: 2.19 2.05 2.04 3/184 5274
/proc/meminfo: memFree=31353964/32770624 swapFree=0/420352
[pid=4920] ppid=4917 vsize=71896 CPUtime=522.2 cores=1,3,5,7
/proc/4920/stat : 4920 (cosoco) R 4917 4920 31775 0 -1 4202496 24269 0 0 0 52217 3 0 0 20 0 1 0 39535174 73621504 12136 18446744073709551615 4194304 5972588 140735822634992 140735822632296 5071056 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 35307520 140735822643694 140735822643789 140735822643789 140735822647246 0
/proc/4920/statm: 17974 12136 825 435 0 11337 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 71896
[startup+582.3 s]
/proc/loadavg: 2.07 2.04 2.04 3/184 5276
/proc/meminfo: memFree=31354316/32770624 swapFree=0/420384
[pid=4920] ppid=4917 vsize=71896 CPUtime=582.2 cores=1,3,5,7
/proc/4920/stat : 4920 (cosoco) R 4917 4920 31775 0 -1 4202496 24433 0 0 0 58217 3 0 0 20 0 1 0 39535174 73621504 12136 18446744073709551615 4194304 5972588 140735822634992 140735822632296 5053094 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 35307520 140735822643694 140735822643789 140735822643789 140735822647246 0
/proc/4920/statm: 17974 12136 825 435 0 11337 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 71896
[startup+642.3 s]
/proc/loadavg: 2.11 2.05 2.04 3/181 5278
/proc/meminfo: memFree=31357196/32770624 swapFree=0/420392
[pid=4920] ppid=4917 vsize=71896 CPUtime=642.2 cores=1,3,5,7
/proc/4920/stat : 4920 (cosoco) R 4917 4920 31775 0 -1 4202496 24600 0 0 0 64217 3 0 0 20 0 1 0 39535174 73621504 12136 18446744073709551615 4194304 5972588 140735822634992 140735822632296 5099664 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 35307520 140735822643694 140735822643789 140735822643789 140735822647246 0
/proc/4920/statm: 17974 12136 825 435 0 11337 0
Current children cumulated CPU time (s) 642.2
Current children cumulated vsize (KiB) 71896
[startup+702.3 s]
/proc/loadavg: 2.08 2.06 2.05 3/181 5280
/proc/meminfo: memFree=31357940/32770624 swapFree=0/420400
[pid=4920] ppid=4917 vsize=71896 CPUtime=702.2 cores=1,3,5,7
/proc/4920/stat : 4920 (cosoco) R 4917 4920 31775 0 -1 4202496 24768 0 0 0 70217 3 0 0 20 0 1 0 39535174 73621504 12136 18446744073709551615 4194304 5972588 140735822634992 140735822632296 5053097 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 35307520 140735822643694 140735822643789 140735822643789 140735822647246 0
/proc/4920/statm: 17974 12136 825 435 0 11337 0
Current children cumulated CPU time (s) 702.2
Current children cumulated vsize (KiB) 71896
[startup+762.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/181 5282
/proc/meminfo: memFree=31357568/32770624 swapFree=0/420420
[pid=4920] ppid=4917 vsize=71896 CPUtime=762.2 cores=1,3,5,7
/proc/4920/stat : 4920 (cosoco) R 4917 4920 31775 0 -1 4202496 24935 0 0 0 76217 3 0 0 20 0 1 0 39535174 73621504 12136 18446744073709551615 4194304 5972588 140735822634992 140735822632296 5070704 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 35307520 140735822643694 140735822643789 140735822643789 140735822647246 0
/proc/4920/statm: 17974 12136 825 435 0 11337 0
Current children cumulated CPU time (s) 762.2
Current children cumulated vsize (KiB) 71896
[startup+822.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/181 5285
/proc/meminfo: memFree=31357420/32770624 swapFree=0/420448
[pid=4920] ppid=4917 vsize=71896 CPUtime=822.2 cores=1,3,5,7
/proc/4920/stat : 4920 (cosoco) R 4917 4920 31775 0 -1 4202496 25102 0 0 0 82217 3 0 0 20 0 1 0 39535174 73621504 12136 18446744073709551615 4194304 5972588 140735822634992 140735822632296 4965453 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 35307520 140735822643694 140735822643789 140735822643789 140735822647246 0
/proc/4920/statm: 17974 12136 825 435 0 11337 0
Current children cumulated CPU time (s) 822.2
Current children cumulated vsize (KiB) 71896
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4920 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+822.4 s]
/proc/loadavg: 2.01 2.04 2.05 3/181 5285
/proc/meminfo: memFree=31357420/32770624 swapFree=0/420448
[pid=4920] ppid=4917 vsize=71896 CPUtime=822.3 cores=1,3,5,7
/proc/4920/stat : 4920 (cosoco) R 4917 4920 31775 0 -1 4202496 25102 0 0 0 82227 3 0 0 20 0 1 0 39535174 73621504 12136 18446744073709551615 4194304 5972588 140735822634992 140735822632296 5071078 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 35307520 140735822643694 140735822643789 140735822643789 140735822647246 0
/proc/4920/statm: 17974 12136 825 435 0 11337 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 71896
[startup+823.2 s]
/proc/loadavg: 2.01 2.04 2.05 3/181 5285
/proc/meminfo: memFree=31357420/32770624 swapFree=0/420448
[pid=4920] ppid=4917 vsize=71896 CPUtime=823.1 cores=1,3,5,7
/proc/4920/stat : 4920 (cosoco) R 4917 4920 31775 0 -1 4202496 25102 0 0 0 82307 3 0 0 20 0 1 0 39535174 73621504 12136 18446744073709551615 4194304 5972588 140735822634992 140735822632296 5053069 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 35307520 140735822643694 140735822643789 140735822643789 140735822647246 0
/proc/4920/statm: 17974 12136 825 435 0 11337 0
Current children cumulated CPU time (s) 823.1
Current children cumulated vsize (KiB) 71896
[startup+823.6 s]
/proc/loadavg: 2.01 2.04 2.05 3/181 5285
/proc/meminfo: memFree=31357420/32770624 swapFree=0/420448
[pid=4920] ppid=4917 vsize=71896 CPUtime=823.5 cores=1,3,5,7
/proc/4920/stat : 4920 (cosoco) R 4917 4920 31775 0 -1 4202496 25102 0 0 0 82347 3 0 0 20 0 1 0 39535174 73621504 12136 18446744073709551615 4194304 5972588 140735822634992 140735822632296 4965365 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 35307520 140735822643694 140735822643789 140735822643789 140735822647246 0
/proc/4920/statm: 17974 12136 825 435 0 11337 0
Current children cumulated CPU time (s) 823.5
Current children cumulated vsize (KiB) 71896
Child status: 0
Real time (s): 823.689
CPU time (s): 823.597
CPU user time (s): 823.564
CPU system time (s): 0.033
CPU usage (%): 99.9888
Max. virtual memory (cumulated for all children) (KiB): 71896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 823.564
system time used= 0.033
maximum resident set size= 48616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25149
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= 30
involuntary context switches= 213
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.84457 second user time and 2.80821 second system time
The end